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
| "validation_id","check_group","check_name","comparator","expected","actual","status","evidence_ref"
| "COVR2DVAL-001","GENERATOR","node check","EQ","PASS","PASS","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_transition_gap_authority_generator_repair002_20260729.mjs"
| "COVR2DVAL-002","GENERATOR","self test counts","EQ","307/2763/1914/78","307/2763/1914/78","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_transition_gap_authority_generator_repair002_20260729.mjs"
| "COVR2DVAL-003","TRANSITION","rows","EQ","307","307","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-004","TRANSITION","company unique","EQ","307","307","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-005","TRANSITION","reviewed count","EQ","190","190","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-006","TRANSITION","source-only count","EQ","117","117","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-007","TRANSITION","reviewed exact after mapping mismatch","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-008","TRANSITION","source-only exact source identity mismatch","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-009","FIELD","rows","EQ","2763","2763","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair002_20260729.csv"
| "COVR2DVAL-010","FIELD","composite unique","EQ","2763","2763","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair002_20260729.csv"
| "COVR2DVAL-011","FIELD","nine fields per company","EQ","307","307","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_transition_field_universe_repair002_20260729.csv"
| "COVR2DVAL-012","GAP","rows","EQ","1914","1914","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_gap_source_field_universe_repair002_20260729.csv"
| "COVR2DVAL-013","GAP","composite unique","EQ","1914","1914","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_gap_source_field_universe_repair002_20260729.csv"
| "COVR2DVAL-014","CONTROL","rows","EQ","78","78","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_control_enum_condition_authority_repair002_20260729.csv"
| "COVR2DVAL-015","CONTROL","required fields missing","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_control_enum_condition_authority_repair002_20260729.csv"
| "COVR2DVAL-016","SCHEMA","rows and unique","EQ","11/11","11/11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_schema_authority_repair002_20260729.csv"
| "COVR2DVAL-017","CHECKS","rows and unique","EQ","54/54","54/54","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_stage1_validation_check_authority_repair002_20260729.csv"
| "COVR2DVAL-018","STAGE_SET","rows and paths unique","EQ","11/11","11/11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_stage1_execution_artifact_set_repair002_20260729.csv"
| "COVR2DVAL-019","STAGE_SET","order sequence","EQ","1,2,3,4,5,6,7,8,9,10,11","1,2,3,4,5,6,7,8,9,10,11","PASS","Stage1 exact set"
| "COVR2DVAL-020","PACKAGE_SET","rows and paths unique","EQ","12/12","12/12","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair002_artifact_set_20260729.csv"
| "COVR2DVAL-021","PACKAGE_SET","orders1-11 exist before validation","EQ","11","11","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\coverage_first_design_repair002_artifact_set_20260729.csv"
| "COVR2DVAL-022","MANIFEST","current data rows before append","EQ","819","819","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR2DVAL-023","MANIFEST","prefix bytes","EQ","277745","277745","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR2DVAL-024","MANIFEST","prefix sha256","EQ","ae5c6fb5c5ce00f5021244af0ca86ccec1749af185269cd2e09c59348809bf00","ae5c6fb5c5ce00f5021244af0ca86ccec1749af185269cd2e09c59348809bf00","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR2DVAL-025","MANIFEST","repair001 run rows","EQ","9","9","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR2DVAL-026","RESERVED","Stage1 manifest rows","EQ","0","0","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\manifest\artifact_manifest.csv"
| "COVR2DVAL-027","RESERVED","Stage1 paths existing","EQ","0","0","PASS","Stage1 exact set"
| "COVR2DVAL-028","BOUNDARY","formal pool effects","EQ","1","1","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-029","BOUNDARY","formal pool literal","EQ","NO_AUTOMATIC_FORMAL_POOL_CHANGE","NO_AUTOMATIC_FORMAL_POOL_CHANGE","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-030","BOUNDARY","strength cap literal","EQ","PENDING_VERIFICATION","PENDING_VERIFICATION","PASS","ana-data\cases\机器人案例\ANA-ROBOT-INDUSTRY-001\evidence\coverage_first_company_transition_authority_repair002_20260729.csv"
| "COVR2DVAL-031","DOCS","baseline formal sections","EQ","6","6","PASS","baseline append-stable entries"
| "COVR2DVAL-032","FINAL","ordinary fail count","EQ","0","0","PASS","this validation"
| "COVR2DVAL-033","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_repair002_validation_20260729.csv"
|
|