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
| "validation_id","check_group","check_name","comparator","expected","actual","status","evidence_ref"
| "COVR5DVAL-001","HARNESS","actual invocation status","EQ","SELF_TEST_PASS","SELF_TEST_PASS","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_validation_regression_harness_repair005_20260729.mjs"
| "COVR5DVAL-002","HARNESS","clean runtime","EQ","PASS","PASS","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_validation_regression_harness_repair005_20260729.mjs"
| "COVR5DVAL-003","HARNESS","actual invoked cases","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_validation_regression_harness_repair005_20260729.mjs"
| "COVR5DVAL-004","HARNESS","actual passed cases","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_validation_regression_harness_repair005_20260729.mjs"
| "COVR5DVAL-005","MATRIX","rows/unique","EQ","97/97","97/97","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair005_20260729.csv"
| "COVR5DVAL-006","MATRIX","changed rows","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair005_20260729.csv"
| "COVR5DVAL-007","MATRIX","changes outside exact row/fields","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair005_20260729.csv"
| "COVR5DVAL-008","MATRIX","exact corrected target","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_supersession_matrix_repair005_20260729.csv"
| "COVR5DVAL-009","MATRIX","target semantic identity","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR5DVAL-010","RESULT","rows/unique","EQ","8/8","8/8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_results_repair005_20260729.csv"
| "COVR5DVAL-011","RESULT","mutation applied","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_results_repair005_20260729.csv"
| "COVR5DVAL-012","RESULT","runtime oracle","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_results_repair005_20260729.csv"
| "COVR5DVAL-013","RESULT","actual reject and pass","EQ","8","8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_results_repair005_20260729.csv"
| "COVR5DVAL-014","RESULT","tuple swap mismatch count","EQ","4","4","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_results_repair005_20260729.csv"
| "COVR5DVAL-015","RESULT","other exact single errors","EQ","7","7","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_regression_results_repair005_20260729.csv"
| "COVR5DVAL-016","FINAL89","identity rows/hash","EQ","89/8a4ea85630bfc0082b923b1066d6c2d5a688f5c82963deb7ace586c1c8d73363","89/8a4ea85630bfc0082b923b1066d6c2d5a688f5c82963deb7ace586c1c8d73363","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair004_20260729.csv"
| "COVR5DVAL-017","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_repair005_20260729.csv"
| "COVR5DVAL-018","STAGE_SET","harness binding policy","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair005_20260729.csv"
| "COVR5DVAL-019","PACKAGE_SET","rows/unique/order","EQ","8/8/8","8/8/8","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair005_artifact_set_20260729.csv"
| "COVR5DVAL-020","PACKAGE_SET","nonvalidation artifacts exist","EQ","7","7","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair005_artifact_set_20260729.csv"
| "COVR5DVAL-021","MANIFEST","rows before append","EQ","852","852","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR5DVAL-022","MANIFEST","prefix bytes","EQ","289772","289772","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR5DVAL-023","MANIFEST","prefix sha","EQ","999e3a7a039680abcb1ad2337c186969fda8005713f14b71e34356600c7f0b3b","999e3a7a039680abcb1ad2337c186969fda8005713f14b71e34356600c7f0b3b","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR5DVAL-024","MANIFEST","repair005 rows before append","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR5DVAL-025","RESERVED","Stage1 manifest rows","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR5DVAL-026","RESERVED","Stage1 artifacts existing","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair005_20260729.csv"
| "COVR5DVAL-027","FINAL","ordinary failures","EQ","0","0","PASS","this validation"
| "COVR5DVAL-028","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_repair005_validation_20260729.csv"
|
|
