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
38
39
40
41
42
43
44
45
| "validation_id","check_group","check_name","comparator","expected","actual","status","evidence_ref"
| "COVREPVAL-001","SOURCE_AUDIT","source_audit_entry_identity","HASH_BYTES_ROWS_EQ","L5306-L5413/108/13128/046b09d4...","L5306-L5413/108/13128/046b09d4...","PASS","coverage_first_design_repair001_baseline_20260729.csv"
| "COVREPVAL-002","AUTHORITY","corrected_snapshot_path_exists","EQ","true","true","PASS","ana-data/cases/机器人案例/manifest/robot_source_snapshot_CMP-ANA-ROBOT-INDUSTRY-20260723-001.csv"
| "COVREPVAL-003","AUTHORITY","corrected_snapshot_identity","HASH_BYTES_ROWS_EQ","690/397725/f9dd706c...","690/397725/f9dd706c...","PASS","COVREPBASE-007"
| "COVREPVAL-004","AUTHORITY","corrected_delta_path_exists","EQ","true","true","PASS","ana-data/cases/机器人案例/manifest/robot_source_delta_CMP-ANA-ROBOT-INDUSTRY-20260723-001.csv"
| "COVREPVAL-005","AUTHORITY","corrected_delta_identity","HASH_BYTES_ROWS_EQ","411/177155/e5a631b3...","411/177155/e5a631b3...","PASS","COVREPBASE-008"
| "COVREPVAL-006","CANONICAL","canonical_company_read_only_identity","HASH_BYTES_ROWS_EQ","307/141865/b7b9797e...","307/141865/b7b9797e...","PASS","FG-OUT-042"
| "COVREPVAL-007","CANONICAL","canonical_topic_read_only_identity","HASH_BYTES_ROWS_EQ","24/8541/2f6e08de...","24/8541/2f6e08de...","PASS","FG-OUT-047"
| "COVREPVAL-008","CANONICAL","versioned_target_paths_in_exact_set","EQ","2","2","PASS","coverage_first_stage1_execution_artifact_set_repair001_20260729.csv"
| "COVREPVAL-009","CANONICAL","canonical_master_paths_in_execution_exact_set","EQ","0","0","PASS","coverage_first_stage1_execution_artifact_set_repair001_20260729.csv"
| "COVREPVAL-010","TRANSITION","generator_node_check","EQ","PASS","PASS","PASS","coverage_first_company_transition_authority_generator_repair001_20260729.mjs"
| "COVREPVAL-011","TRANSITION","generator_self_test","EQ","SELF_TEST_PASS rows=307","SELF_TEST_PASS rows=307","PASS","transition authority generator"
| "COVREPVAL-012","TRANSITION","authority_rows","EQ","307","307","PASS","coverage_first_company_transition_authority_repair001_20260729.csv"
| "COVREPVAL-013","TRANSITION","authority_unique_company_id","UNIQUE_EQ","307","307","PASS","transition authority"
| "COVREPVAL-014","TRANSITION","reviewed_cohort","EQ","190","190","PASS","transition authority"
| "COVREPVAL-015","TRANSITION","source_only_cohort","EQ","117","117","PASS","transition authority"
| "COVREPVAL-016","TRANSITION","cohort_union","SET_EQ_BIDIRECTIONAL","0/0","0/0","PASS","company master vs transition authority"
| "COVREPVAL-017","TRANSITION","cohort_overlap","ANTI_JOIN_ZERO","0","0","PASS","transition authority"
| "COVREPVAL-018","TRANSITION","source_item_or_locator_missing","ANTI_JOIN_ZERO","0","0","PASS","transition authority"
| "COVREPVAL-019","TOPOLOGY","topology_schema_rows","EQ","1","1","PASS","COVSCHEMA-004"
| "COVREPVAL-020","TOPOLOGY","topic_chain_level_enum_rows","EQ","9","9","PASS","relation enum authority"
| "COVREPVAL-021","TOPOLOGY","topic_relation_enum_rows","EQ","7","7","PASS","relation enum authority"
| "COVREPVAL-022","RELATION","company_topic_pairing_rows","EQ","10","10","PASS","relation enum authority"
| "COVREPVAL-023","RELATION","evidence_side_enum_rows","EQ","6","6","PASS","relation enum authority"
| "COVREPVAL-024","CLOSURE","company_link_closure_enum_rows","EQ","2","2","PASS","relation enum authority"
| "COVREPVAL-025","CLOSURE","topic_topology_closure_enum_rows","EQ","2","2","PASS","relation enum authority"
| "COVREPVAL-026","SCHEMA","stage1_schema_authority_rows","EQ","11","11","PASS","coverage_first_stage1_schema_authority_repair001_20260729.csv"
| "COVREPVAL-027","SCHEMA","stage1_schema_ids_unique","UNIQUE_EQ","11","11","PASS","schema authority"
| "COVREPVAL-028","VALIDATION_CONTRACT","validation_check_authority_rows","EQ","42","42","PASS","coverage_first_stage1_validation_check_authority_repair001_20260729.csv"
| "COVREPVAL-029","VALIDATION_CONTRACT","validation_check_ids_unique","UNIQUE_EQ","42","42","PASS","validation check authority"
| "COVREPVAL-030","VALIDATION_CONTRACT","invalid_comparator_rows","ANTI_JOIN_ZERO","0","0","PASS","validation check authority"
| "COVREPVAL-031","PROTECTED","protected_inventory_rows","EQ","49","49","PASS","final_gate_output_inventory_rebuild_repair001_20260728.csv"
| "COVREPVAL-032","PROTECTED","protected_inventory_identity_mismatch","ANTI_JOIN_ZERO","0","0","PASS","49 current artifacts"
| "COVREPVAL-033","ARTIFACT_SET","revised_stage1_exact_set","UNIQUE_EQ","11","11","PASS","coverage_first_stage1_execution_artifact_set_repair001_20260729.csv"
| "COVREPVAL-034","ARTIFACT_SET","revised_stage1_order","EQ","1..11","1..11","PASS","execution artifact set"
| "COVREPVAL-035","EXECUTION_BOUNDARY","stage1_execution_artifacts_exist_before_release","EQ","0","0","PASS","revised Stage1 exact paths"
| "COVREPVAL-036","MANIFEST","manifest_history_prefix","PREFIX_EQ","810/d55967ed...","810/d55967ed...","PASS","artifact_manifest.csv"
| "COVREPVAL-037","MANIFEST","reserved_stage1_manifest_rows","EQ","0","0","PASS","artifact_manifest.csv"
| "COVREPVAL-038","PACKAGE","repair_baseline_rows","EQ","19","19","PASS","coverage_first_design_repair001_baseline_20260729.csv"
| "COVREPVAL-039","PACKAGE","repair_exact_set_paths","UNIQUE_EQ","9","9","PASS","coverage_first_design_repair001_artifact_set_20260729.csv"
| "COVREPVAL-040","PACKAGE","repair_generation_order","EQ","1..9","1..9","PASS","repair artifact set"
| "COVREPVAL-041","BOUNDARY","formal_pool_effect","EQ","NO_AUTOMATIC_FORMAL_POOL_CHANGE","NO_AUTOMATIC_FORMAL_POOL_CHANGE","PASS","repair design"
| "COVREPVAL-042","BOUNDARY","evidence_strength_effect","EQ","NO_UPGRADE","NO_UPGRADE","PASS","repair design"
| "COVREPVAL-043","BOUNDARY","stage2_stage3_cutover_release","EQ","NOT_ALLOWED","NOT_ALLOWED","PASS","repair design"
| "COVREPVAL-044","SELF_REFERENCE","validation_final_identity","EQ","INFO/SELF_REFERENCE_EXCLUDED","INFO/SELF_REFERENCE_EXCLUDED","INFO","computed externally after freeze"
|
|
