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
44
45
46
47
48
49
| check_id,check_group,assertion,actual,expected,status,failure_effect,evidence_path
| N036R3VAL-001,REVIEW,source audit exists,1,1,PASS,FAIL,ana-doc/机器人案例/案例审计报告.md
| N036R3VAL-002,REVIEW,REPAIR002 closed issues retained,2,2,PASS,FAIL,ana-doc/机器人案例/案例审计报告.md
| N036R3VAL-003,BRIDGE,enforcement authority rows,20,20,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_credential_bridge_enforcement_authority_repair003_20260726.csv
| N036R3VAL-004,BRIDGE,enforcement authority unique IDs,20,20,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_credential_bridge_enforcement_authority_repair003_20260726.csv
| N036R3VAL-005,LAUNCHER,node syntax check,1,1,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-006,CLIENT,client path exists and is file,1,1,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-007,CLIENT,client actual bytes,7127104,7127104,PASS,FAIL,D:/mysql-8.0.40-winx64/bin/mysql.exe
| N036R3VAL-008,CLIENT,client actual sha256,5231b429b025fabb90e7b09f40309011c7ff8194380c626d400b0e136ad498be,5231b429b025fabb90e7b09f40309011c7ff8194380c626d400b0e136ad498be,PASS,FAIL,D:/mysql-8.0.40-winx64/bin/mysql.exe
| N036R3VAL-009,CLIENT,client actual version signature matches,1,1,PASS,FAIL,D:/mysql-8.0.40-winx64/bin/mysql.exe
| N036R3VAL-010,ORDER,client path gate before first secret read,47<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-011,ORDER,client bytes gate before first secret read,48-49<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-012,ORDER,client sha256 gate before first secret read,50-51<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-013,ORDER,client version gate before first secret read,56-57<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-014,ORDER,version probe custom secret key excluded before value read,54<56,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-015,ORDER,version probe MYSQL_PWD key excluded before value read,54<56,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-016,ORDER,fixed args before first secret read,59<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-017,ORDER,SQL read before first secret read,61<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-018,CLEANUP,try begins before first secret read,66<67,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-019,CLEANUP,child env creation inside try before finally,69<73,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-020,CLEANUP,database spawn inside try before finally,72<73,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-021,CLEANUP,child MYSQL_PWD delete inside finally,75>73,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-022,CLEANUP,child custom secret delete inside finally,76>73,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-023,CLEANUP,local secret clear inside finally,78>73,TRUE,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-024,SCOPE,database spawn occurrences,1,1,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-025,SCOPE,password option in fixed args,0,0,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-026,SCOPE,parent MYSQL_PWD direct assignment,0,0,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-027,DRYRUN,missing secret marker observed,1,1,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-028,DRYRUN,missing secret process exit,1,1,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-029,DRYRUN,dry-run output created,0,0,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_readonly_launcher_repair003_20260726.mjs
| N036R3VAL-030,CONTRACT,repair003 contract rows,12,12,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_design_repair003_contract_20260726.csv
| N036R3VAL-031,CONTRACT,repair003 contract unique IDs,12,12,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_design_repair003_contract_20260726.csv
| N036R3VAL-032,ARTIFACT,execution exact-set rows,15,15,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair003_20260726.csv
| N036R3VAL-033,ARTIFACT,execution exact-set unique paths,15,15,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair003_20260726.csv
| N036R3VAL-034,ARTIFACT,repair003 launcher path rows,1,1,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair003_20260726.csv
| N036R3VAL-035,ARTIFACT,repair002 launcher path rows,0,0,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_repair003_20260726.csv
| N036R3VAL-036,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_repair003_20260726.csv
| N036R3VAL-037,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_repair003_20260726.csv
| N036R3VAL-038,CANONICAL,canonical result sha256,c6c0bab5b9e4a148e3a128fbd0c4d972d6d524c98795984878e791f85bbd2426,c6c0bab5b9e4a148e3a128fbd0c4d972d6d524c98795984878e791f85bbd2426,PASS,FAIL,ana-data/result/机器人案例/ANA-ROBOT-INDUSTRY-001/result_index.md
| N036R3VAL-039,MANIFEST,652-row prefix rows,652,652,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv
| N036R3VAL-040,MANIFEST,652-row prefix bytes,219331,219331,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv
| N036R3VAL-041,MANIFEST,652-row prefix sha256,18f0a00117a5349d983c548cf37cd4276e99c3286e63f3707ed35c09add5cf3f,18f0a00117a5349d983c548cf37cd4276e99c3286e63f3707ed35c09add5cf3f,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv
| N036R3VAL-042,MANIFEST,reserved execution rows,0,0,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv
| N036R3VAL-043,PROTECTED,protected identity mismatch,0,0,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/final_output_human_layer_protected_identity_20260725.csv
| N036R3VAL-044,PROTECTED,formal evidence map sha256,e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/case_evidence_map.csv
| N036R3VAL-045,PROTECTED,migration manifest sha256,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,PASS,FAIL,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/migration_manifest.csv
| N036R3VAL-046,RELEASE,execution release,NOT_ALLOWED_PENDING_DESIGN_REPAIR003_REREVIEW_PASS,NOT_ALLOWED_PENDING_DESIGN_REPAIR003_REREVIEW_PASS,PASS,FAIL,ana-doc/机器人案例/案例分析设计.md
| N036R3VAL-047,BOUNDARY,live database connection at design stage,NOT_EXECUTED,NOT_EXECUTED,INFO,NO_DESIGN_FAILURE_EXECUTION_GATE_REMAINS,ana-doc/机器人案例/案例执行日志.md
| N036R3VAL-048,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_repair003_validation_20260726.csv
|
|
