1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
| "check_id","scope","rule","expected","actual","status","evidence"
| "CUVAL-001","BASELINE","raw profile count","190","190","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_design_baseline_20260726.csv"
| "CUVAL-002","BASELINE","raw_profile_id unique","190","190","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_design_baseline_20260726.csv"
| "CUVAL-003","BASELINE","source path unique","190","190","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_design_baseline_20260726.csv"
| "CUVAL-004","BASELINE","company mapping present","0","0","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_design_baseline_20260726.csv"
| "CUVAL-005","NEXT033","candidate count","13","13","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_candidate_recheck_set_20260726.csv"
| "CUVAL-006","NEXT033","candidate id unique","13","13","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_candidate_recheck_set_20260726.csv"
| "CUVAL-007","NEXT033","exact company set diff","0","0","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_candidate_recheck_set_20260726.csv"
| "CUVAL-008","NEXT033","formal pool effect","0","0","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_candidate_recheck_set_20260726.csv"
| "CUVAL-009","CONTRACT","contract rows","24","24","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_contract_20260726.csv"
| "CUVAL-010","IDENTITY","frozen input identity mismatch","0","0","PASS","six frozen inputs"
| "CUVAL-011","PROTECTED","protected object identity mismatch","0","0","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/final_output_human_layer_protected_identity_20260725.csv"
| "CUVAL-012","GATE","NEXT033 exact execution identity","BATCH-ANA-ROBOT-COMPANY-UNIVERSE-NEXT033-001/RUN-ANA-ROBOT-COMPANY-UNIVERSE-NEXT033-001","MATCH","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_contract_20260726.csv"
| "CUVAL-013","GATE","NEXT034 release before NEXT033 PASS","NOT_ALLOWED","NOT_ALLOWED","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_contract_20260726.csv"
| "CUVAL-014","BOUNDARY","external input policy","FROZEN_LOCAL_INPUTS_ONLY","FROZEN_LOCAL_INPUTS_ONLY","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_033_034_company_universe_contract_20260726.csv"
| "CUVAL-015","BOUNDARY","network/database/formal pool writes","0","0","PASS","ana-doc/机器人案例/案例分析设计.md"
| "CUVAL-016","FINAL_GATE","NEXT-ROBOT-037","HELD_PREREQUISITES_INCOMPLETE","HELD_PREREQUISITES_INCOMPLETE","PASS","ana-doc/机器人案例/案例分析设计.md"
| "CUVAL-017","MANIFEST","formal schema","case_id,run_id,batch_id,artifact_path,sha256,bytes,mtime","case_id,run_id,batch_id,artifact_path,sha256,bytes,mtime","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| "CUVAL-018","MANIFEST","history prefix rows/bytes/hash","524/177027/5ef5c841...","524/177027/5ef5c841...","PASS","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| "CUVAL-019","VALIDATION","self final identity","SELF_REFERENCE_EXCLUDED","SELF_REFERENCE_EXCLUDED","INFO","final sha256/bytes recorded externally after freeze; no writeback"
|
|
