1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
| check_id,"check_group","assertion","actual","expected","status","failure_effect","evidence_path"
| N036RVAL-001,"REVIEW","source audit exists","1","1","PASS","FAIL","ana-doc/机器人案例/案例审计报告.md"
| N036RVAL-002,"REVIEW","four repair blockers represented","4","4","PASS","FAIL","ana-doc/机器人案例/案例审计报告.md"
| N036RVAL-003,"INPUT","universe rows","100","100","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036RVAL-004,"INPUT","unique symbol","100","100","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036RVAL-005,"INPUT","formal pool effect mismatch","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036RVAL-006,"SCHEMA","authority rows","11","11","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036RVAL-007,"SCHEMA","live verification required","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036RVAL-008,"CONNECTION","authority rows","17","17","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_connection_dialect_authority_repair_20260726.csv"
| N036RVAL-009,"CONNECTION","source user","root","root","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_connection_dialect_authority_repair_20260726.csv"
| N036RVAL-010,"CONNECTION","client bytes","7127104","7127104","PASS","FAIL","D:/mysql-8.0.40-winx64/bin/mysql.exe"
| N036RVAL-011,"CONNECTION","client sha256","5231b429b025fabb90e7b09f40309011c7ff8194380c626d400b0e136ad498be","5231b429b025fabb90e7b09f40309011c7ff8194380c626d400b0e136ad498be","PASS","FAIL","D:/mysql-8.0.40-winx64/bin/mysql.exe"
| N036RVAL-012,"CONNECTION","client version","Ver 8.0.40","Ver 8.0.40","PASS","FAIL","D:/mysql-8.0.40-winx64/bin/mysql.exe"
| N036RVAL-013,"CONNECTION","read-only init","SET SESSION TRANSACTION READ ONLY","SET SESSION TRANSACTION READ ONLY","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_connection_dialect_authority_repair_20260726.csv"
| N036RVAL-014,"CONNECTION","server major gate",">=8",">=8","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_connection_dialect_authority_repair_20260726.csv"
| N036RVAL-015,"SQL","preflight read-only statement","true","true","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_preflight_query_repair_20260726.sql"
| N036RVAL-016,"SQL","preflight connection capability fields","6","6","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_preflight_query_repair_20260726.sql"
| N036RVAL-017,"SQL","preflight exact currentity gate","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_preflight_query_repair_20260726.sql"
| N036RVAL-018,"SQL","raw read-only single statement","true","true","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_snapshot_query_repair_20260726.sql"
| N036RVAL-019,"SQL","raw lookback and analysis windows","5","5","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_snapshot_query_repair_20260726.sql"
| N036RVAL-020,"SUMMARY","derivation contract rows","20","20","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_summary_derivation_contract_repair_20260726.csv"
| N036RVAL-021,"SUMMARY","completeness enum","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_summary_derivation_contract_repair_20260726.csv"
| N036RVAL-022,"SUMMARY","script raw-only identity","4","4","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_summary_derivation_repair_20260726.mjs"
| N036RVAL-023,"SUMMARY","script contains database client access","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_summary_derivation_repair_20260726.mjs"
| N036RVAL-024,"CONTRACT","repair contract rows","44","44","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_execution_contract_repair_20260726.csv"
| N036RVAL-025,"CONTRACT","unique contract id","44","44","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_execution_contract_repair_20260726.csv"
| N036RVAL-026,"ORDER","baseline before preflight","10<20","10<20","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair_20260726.csv"
| N036RVAL-027,"ORDER","preflight before raw before summary","20<30<40","20<30<40","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair_20260726.csv"
| N036RVAL-028,"ARTIFACT","execution exact-set rows","14","14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair_20260726.csv"
| N036RVAL-029,"ARTIFACT","unique execution paths","14","14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair_20260726.csv"
| N036RVAL-030,"ARTIFACT","manifest order 1..14","1|2|3|4|5|6|7|8|9|10|11|12|13|14","1|2|3|4|5|6|7|8|9|10|11|12|13|14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair_20260726.csv"
| N036RVAL-031,"MANIFEST","current prefix rows","627","627","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036RVAL-032,"MANIFEST","current prefix bytes","210835","210835","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036RVAL-033,"MANIFEST","current prefix sha256","4c19a61a0bfd5ef7182cdebbbedd96de0a203be92e22c545c11f08a81697e818","4c19a61a0bfd5ef7182cdebbbedd96de0a203be92e22c545c11f08a81697e818","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036RVAL-034,"MANIFEST","original 613-row byte prefix","a0a0aa1ed1cbddd64080ec8782cbd468dd337f630aa042e51f1406ca009cbc97","a0a0aa1ed1cbddd64080ec8782cbd468dd337f630aa042e51f1406ca009cbc97","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036RVAL-035,"MANIFEST","first design run rows","14","14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036RVAL-036,"MANIFEST","reserved execution rows","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036RVAL-037,"PROTECTED","protected identity mismatch","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/final_output_human_layer_protected_identity_20260725.csv"
| N036RVAL-038,"PROTECTED","formal evidence map sha256","e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84","e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/case_evidence_map.csv"
| N036RVAL-039,"PROTECTED","migration manifest sha256","88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f","88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/migration_manifest.csv"
| N036RVAL-040,"RELEASE","execution release","NOT_ALLOWED_PENDING_DESIGN_REPAIR_REREVIEW_PASS","NOT_ALLOWED_PENDING_DESIGN_REPAIR_REREVIEW_PASS","PASS","FAIL","ana-doc/机器人案例/案例分析设计.md"
| N036RVAL-041,"ENV","secure credential present","NO","REQUIRED_ONLY_AT_RELEASED_EXECUTION","INFO","HELD_AT_EXECUTION_IF_ABSENT","KLINE_SOURCE_MYSQL_PASSWORD"
| N036RVAL-042,"VALIDATION","self final identity","","SELF_REFERENCE_EXCLUDED","INFO","EXTERNAL_FINAL_CHECK","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_design_repair_validation_20260726.csv"
|
|
