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
| check_id,"check_group","assertion","actual","expected","status","failure_effect","evidence_path"
| N036R2VAL-001,"REVIEW","source audit exists","1","1","PASS","FAIL","ana-doc/机器人案例/案例审计报告.md"
| N036R2VAL-002,"REVIEW","closed issues retained","2","2","PASS","FAIL","ana-doc/机器人案例/案例审计报告.md"
| N036R2VAL-003,"BRIDGE","authority rows","15","15","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_credential_bridge_authority_repair002_20260726.csv"
| N036R2VAL-004,"BRIDGE","source secret env contract","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_credential_bridge_authority_repair002_20260726.csv"
| N036R2VAL-005,"BRIDGE","child-only MYSQL_PWD code","4","4","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-006,"BRIDGE","parent MYSQL_PWD direct assignment","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-007,"BRIDGE","password argument literal occurrence","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-008,"BRIDGE","SQL supplied through stdin","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-009,"BRIDGE","fixed charset and read-only init","2","2","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-010,"BRIDGE","raw preflight 11-row gate","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-011,"BRIDGE","missing-secret dry-run held","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-012,"BRIDGE","dry-run output created","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair002_20260726.mjs"
| N036R2VAL-013,"SCHEMA","live_verification_required_rows","11","11","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036R2VAL-014,"SCHEMA","live_verification_non_yes_rows","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036R2VAL-015,"SCHEMA","design-stage live preflight","NOT_EXECUTED_AT_DESIGN_STAGE","NOT_EXECUTED_AT_DESIGN_STAGE","INFO","NO_DESIGN_FAILURE_EXECUTION_GATE_REMAINS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_design_repair002_contract_20260726.csv"
| N036R2VAL-016,"CONTRACT","repair002 rows","13","13","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_design_repair002_contract_20260726.csv"
| N036R2VAL-017,"CONTRACT","unambiguous schema assertions","3","3","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_design_repair002_contract_20260726.csv"
| N036R2VAL-018,"ARTIFACT","exact-set rows","15","15","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair002_20260726.csv"
| N036R2VAL-019,"ARTIFACT","unique paths","15","15","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair002_20260726.csv"
| N036R2VAL-020,"ARTIFACT","manifest order 1..15","1|2|3|4|5|6|7|8|9|10|11|12|13|14|15","1|2|3|4|5|6|7|8|9|10|11|12|13|14|15","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair002_20260726.csv"
| N036R2VAL-021,"ARTIFACT","readonly launcher rows","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair002_20260726.csv"
| N036R2VAL-022,"CANONICAL","canonical result artifact rows","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair002_20260726.csv"
| N036R2VAL-023,"CANONICAL","wrong secondary artifact rows","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair002_20260726.csv"
| N036R2VAL-024,"CANONICAL","canonical result exists","58533","58533","PASS","FAIL","ana-data/result/机器人案例/ANA-ROBOT-INDUSTRY-001/result_index.md"
| N036R2VAL-025,"CANONICAL","canonical result sha256","c6c0bab5b9e4a148e3a128fbd0c4d972d6d524c98795984878e791f85bbd2426","c6c0bab5b9e4a148e3a128fbd0c4d972d6d524c98795984878e791f85bbd2426","PASS","FAIL","ana-data/result/机器人案例/ANA-ROBOT-INDUSTRY-001/result_index.md"
| N036R2VAL-026,"CANONICAL","wrong secondary path exists","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/result_index.md"
| N036R2VAL-027,"MANIFEST","641-row prefix rows","641","641","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036R2VAL-028,"MANIFEST","641-row prefix bytes","215629","215629","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036R2VAL-029,"MANIFEST","641-row prefix sha256","dbcb407c1489dc745c0c89d76648391cfdb0e16607bc393aa52a3862a3ce148c","dbcb407c1489dc745c0c89d76648391cfdb0e16607bc393aa52a3862a3ce148c","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036R2VAL-030,"MANIFEST","627-row subprefix sha256","4c19a61a0bfd5ef7182cdebbbedd96de0a203be92e22c545c11f08a81697e818","4c19a61a0bfd5ef7182cdebbbedd96de0a203be92e22c545c11f08a81697e818","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036R2VAL-031,"MANIFEST","613-row subprefix sha256","a0a0aa1ed1cbddd64080ec8782cbd468dd337f630aa042e51f1406ca009cbc97","a0a0aa1ed1cbddd64080ec8782cbd468dd337f630aa042e51f1406ca009cbc97","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036R2VAL-032,"MANIFEST","reserved execution rows","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036R2VAL-033,"PROTECTED","protected identity mismatch","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/final_output_human_layer_protected_identity_20260725.csv"
| N036R2VAL-034,"PROTECTED","formal evidence map sha256","e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84","e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/case_evidence_map.csv"
| N036R2VAL-035,"PROTECTED","migration manifest sha256","88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f","88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/migration_manifest.csv"
| N036R2VAL-036,"RELEASE","execution release","NOT_ALLOWED_PENDING_DESIGN_REPAIR002_REREVIEW_PASS","NOT_ALLOWED_PENDING_DESIGN_REPAIR002_REREVIEW_PASS","PASS","FAIL","ana-doc/机器人案例/案例分析设计.md"
| N036R2VAL-037,"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_repair002_validation_20260726.csv"
|
|
