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
| "validation_id","check_group","check_name","comparator","expected","actual","status","evidence_ref"
| "COVR3DVAL-001","GENERATOR","node check","EQ","PASS","PASS","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_exact_pair_contract_generator_repair003_20260729.mjs"
| "COVR3DVAL-002","GENERATOR","self test","EQ","84/2763/3166/10of10","84/2763/3166/10of10","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_exact_pair_contract_generator_repair003_20260729.mjs"
| "COVR3DVAL-003","PAIR","rows","EQ","84","84","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_exact_value_pair_authority_repair003_20260729.csv"
| "COVR3DVAL-004","PAIR","unique ids","EQ","84","84","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_exact_value_pair_authority_repair003_20260729.csv"
| "COVR3DVAL-005","PAIR","symbolic values","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_exact_value_pair_authority_repair003_20260729.csv"
| "COVR3DVAL-006","PAIR","NOT_APPLICABLE semantic errors","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_exact_value_pair_authority_repair003_20260729.csv"
| "COVR3DVAL-007","FIELD","rows","EQ","2763","2763","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair003_20260729.csv"
| "COVR3DVAL-008","FIELD","composite unique","EQ","2763","2763","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair003_20260729.csv"
| "COVR3DVAL-009","FIELD","detail rows","EQ","307","307","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair003_20260729.csv"
| "COVR3DVAL-010","FIELD","detail bridge errors","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair003_20260729.csv"
| "COVR3DVAL-011","FIELD","source identity gap forbidden","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair003_20260729.csv"
| "COVR3DVAL-012","GAP","source keys","EQ","3166","3166","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_gap_source_field_universe_repair003_20260729.csv"
| "COVR3DVAL-013","GAP","unique register keys","EQ","3166","3166","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_gap_source_field_universe_repair003_20260729.csv"
| "COVR3DVAL-014","GAP","pair family FK missing","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_gap_source_field_universe_repair003_20260729.csv"
| "COVR3DVAL-015","NEGATIVE","cases","EQ","10","10","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_pairing_negative_selftest_cases_repair003_20260729.csv"
| "COVR3DVAL-016","NEGATIVE","expected accept/reject nonempty","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_pairing_negative_selftest_cases_repair003_20260729.csv"
| "COVR3DVAL-017","SCHEMA","rows","EQ","11","11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_schema_authority_repair003_20260729.csv"
| "COVR3DVAL-018","SCHEMA","company detail status","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_schema_authority_repair003_20260729.csv"
| "COVR3DVAL-019","CHECKS","rows","EQ","43","43","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair003_20260729.csv"
| "COVR3DVAL-020","STAGE_SET","rows/unique","EQ","11/11","11/11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair003_20260729.csv"
| "COVR3DVAL-021","PACKAGE_SET","rows/unique","EQ","12/12","12/12","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair003_artifact_set_20260729.csv"
| "COVR3DVAL-022","PACKAGE_SET","orders1-11 exist","EQ","11","11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair003_artifact_set_20260729.csv"
| "COVR3DVAL-023","MANIFEST","rows before append","EQ","831","831","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR3DVAL-024","MANIFEST","prefix bytes","EQ","282126","282126","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR3DVAL-025","MANIFEST","prefix sha","EQ","022f9edce89ae2cfc9f8a41005996e3924fe1029fde187742996a1cfc92abf64","022f9edce89ae2cfc9f8a41005996e3924fe1029fde187742996a1cfc92abf64","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR3DVAL-026","MANIFEST","repair002 run rows","EQ","12","12","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR3DVAL-027","RESERVED","manifest rows","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR3DVAL-028","RESERVED","artifact paths existing","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair003_20260729.csv"
| "COVR3DVAL-029","BOUNDARY","pair formal pool effects","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_exact_value_pair_authority_repair003_20260729.csv"
| "COVR3DVAL-030","FINAL","ordinary failures","EQ","0","0","PASS","this validation"
| "COVR3DVAL-031","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_repair003_validation_20260729.csv"
|
|
