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
| "validation_id","check_group","check_name","comparator","expected","actual","status","evidence_ref"
| "COVR4DVAL-001","GENERATOR","node check","EQ","PASS","PASS","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_validation_consolidator_repair004_20260729.mjs"
| "COVR4DVAL-002","GENERATOR","self test","EQ","SELF_TEST_PASS","SELF_TEST_PASS","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_validation_consolidator_repair004_20260729.mjs"
| "COVR4DVAL-003","SUPERSESSION","prior rows","EQ","97","97","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair004_20260729.csv"
| "COVR4DVAL-004","SUPERSESSION","prior unique","EQ","97","97","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair004_20260729.csv"
| "COVR4DVAL-005","SUPERSESSION","prior minus matrix","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair004_20260729.csv"
| "COVR4DVAL-006","SUPERSESSION","matrix minus prior","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair004_20260729.csv"
| "COVR4DVAL-007","SUPERSESSION","unresolved final ids","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair004_20260729.csv"
| "COVR4DVAL-008","FINAL_AUTHORITY","rows","EQ","89","89","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-009","FINAL_AUTHORITY","unique ids","EQ","89","89","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-010","FINAL_AUTHORITY","required retained origins missing","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-011","PAIR","actual tuple comparator","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-012","PAIR","bad bidirectional actual comparator","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-013","MAPPING","all307 expected object mapping","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-014","MAPPING","reviewed190 exact after retained","EQ","4","4","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-015","SOURCE","source-only identity gates retained","EQ","2","2","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-016","CANONICAL","company/topic inheritance retained","EQ","3","3","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-017","RELATION","relation/evidence/FK retained","EQ","3","3","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-018","CLOSURE","link/topology retained","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-019","REGRESSION","cases","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_negative_cases_repair004_20260729.csv"
| "COVR4DVAL-020","REGRESSION","unique ids","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_negative_cases_repair004_20260729.csv"
| "COVR4DVAL-021","REGRESSION","expected reject","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_negative_cases_repair004_20260729.csv"
| "COVR4DVAL-022","REGRESSION","tuple swap case","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_negative_cases_repair004_20260729.csv"
| "COVR4DVAL-023","STAGE_SET","rows/unique/order","EQ","11/11/11","11/11/11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair004_20260729.csv"
| "COVR4DVAL-024","STAGE_SET","consolidated validation policy","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair004_20260729.csv"
| "COVR4DVAL-025","PACKAGE_SET","rows/unique/order","EQ","9/9/9","9/9/9","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair004_artifact_set_20260729.csv"
| "COVR4DVAL-026","PACKAGE_SET","nonvalidation artifacts exist","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair004_artifact_set_20260729.csv"
| "COVR4DVAL-027","MANIFEST","rows before append","EQ","843","843","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR4DVAL-028","MANIFEST","prefix bytes","EQ","286498","286498","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR4DVAL-029","MANIFEST","prefix sha","EQ","3d6e0c6bb03a0fe652ae25c63d64efb60d61af257fb0a2d5afa43d70317c6a99","3d6e0c6bb03a0fe652ae25c63d64efb60d61af257fb0a2d5afa43d70317c6a99","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR4DVAL-030","MANIFEST","repair004 run rows before append","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR4DVAL-031","RESERVED","Stage1 manifest rows","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR4DVAL-032","RESERVED","Stage1 artifacts existing","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair004_20260729.csv"
| "COVR4DVAL-033","BOUNDARY","NO_AUTOMATIC_FORMAL_POOL_CHANGE check present","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-034","BOUNDARY","NO_UPGRADE check present","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR4DVAL-035","FINAL","ordinary failures","EQ","0","0","PASS","this validation"
| "COVR4DVAL-036","SELF_REFERENCE","validation final identity","EQ","INFO/SELF_REFERENCE_EXCLUDED","INFO/SELF_REFERENCE_EXCLUDED","INFO","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair004_validation_20260729.csv"
|
|
