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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
| "validation_id","check_group","check_name","comparator","expected","actual","status","evidence_ref"
| "COVR4VAL-001","AUTHORITY","all frozen paths exist and identities match","HASH_BYTES_ROWS_EQ","identity_mismatch=0","identity_mismatch=0","PASS","repair002 baseline"
| "COVR4VAL-002","AUTHORITY","exact corrected paths rows bytes sha256","HASH_BYTES_ROWS_EQ","mismatch=0/2","mismatch=0/2","PASS","repair002 baseline"
| "COVR4VAL-003","AUTHORITY","current audited snapshot identities unchanged","HASH_BYTES_ROWS_EQ","mismatch=0/2","mismatch=0/2","PASS","FG-OUT-042/047"
| "COVR4VAL-004","AUTHORITY","NEXT034 repaired classification identity and rows exact","HASH_BYTES_ROWS_EQ","mismatch=0/190","mismatch=0/190","PASS","NEXT034 repair002"
| "COVR4VAL-005","TRANSITION","307 unique nonempty company_id and authority_id","UNIQUE_EQ","307","307","PASS","transition authority repair002"
| "COVR4VAL-006","TRANSITION","counts 190 and 117; union diff0/0; intersection0","COUNT_AND_SET_EQ","190/117/0/0","190/117/0/0","PASS","transition authority repair002"
| "COVR4VAL-007","TRANSITION","expected and actual equal NEXT034 universe_layer row-for-row","ROW_FIELD_EQ","mismatch=0/190","mismatch=0/190","PASS","transition authority + NEXT034 classification"
| "COVR4VAL-008","TRANSITION","expected and actual equal NEXT034 priority_bucket row-for-row","ROW_FIELD_EQ","mismatch=0/190","mismatch=0/190","PASS","transition authority + NEXT034 classification"
| "COVR4VAL-009","TRANSITION","classification_source_item_id equals raw_profile_id","ROW_FIELD_EQ","mismatch=0/190","mismatch=0/190","PASS","transition authority + NEXT034 classification"
| "COVR4VAL-010","TRANSITION","classification_rule_id equals NEXT034 classification_rule_id","ROW_FIELD_EQ","mismatch=0/190","mismatch=0/190","PASS","transition authority + NEXT034 classification"
| "COVR4VAL-011","TRANSITION","source_item_fk equals snapshot row id and normalized sha256 exact","FK_AND_HASH_EQ","missing_or_mismatch=0/117","missing_or_mismatch=0/117","PASS","transition authority + source snapshot"
| "COVR4VAL-012","TRANSITION","FULL_DOCUMENT_NORMALIZED_TEXT and normalized hash; narrower execution locator required for populated classification","CONDITIONAL_ALL_PASS","errors=0/117","errors=0/117","PASS","transition authority"
| "COVR4VAL-013","FIELD_UNIVERSE","307x9 and company_id+field_name unique","UNIQUE_EQ","2763","2763","PASS","transition field universe repair003"
| "COVR4VAL-014","FIELD_UNIVERSE","field-universe company set equals company master","SET_EQ_BIDIRECTIONAL","0/0","0/0","PASS","transition field universe repair003 + company master"
| "COVR4VAL-015","FIELD_UNIVERSE","source-minus-ledger=0 and ledger-minus-source=0 for exact2763","SET_EQ_BIDIRECTIONAL","0/0","0/0","PASS","transition field universe repair003 + Stage1 transition ledger"
| "COVR4VAL-016","FIELD_UNIVERSE","authority/source FK/hash and before identity match","ROW_FIELD_EQ","mismatch=0/2763","mismatch=0/2763","PASS","transition field universe repair003 + Stage1 transition ledger"
| "COVR4VAL-017","FIELD_UNIVERSE","non-inherited values have exact narrower locator text hash rule and reason","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","transition field universe repair003 + Stage1 transition ledger"
| "COVR4VAL-018","COMPANY_VERSION","20 protected original fields mismatch0","ANTI_JOIN_ZERO","0","0","PASS","canonical + versioned company"
| "COVR4VAL-019","COMPANY_VERSION","four reviewed after fields equal transition authority","ROW_FIELDS_EQ","mismatch=0/190x4","mismatch=0/190x4","PASS","versioned company + transition authority"
| "COVR4VAL-020","TOPIC_VERSION","header exact schema authority and rows24","HEADER_ROWS_EQ","19/24","19/24","PASS","schema authority + versioned topic"
| "COVR4VAL-021","TOPIC_VERSION","canonical14 mismatch0","ANTI_JOIN_ZERO","0","0","PASS","canonical + versioned topic"
| "COVR4VAL-022","ENUM","pending review/no automatic pool/no upgrade only","FIXED_VALUE_ALL_ROWS","invalid=0","invalid=0","PASS","control enum authority"
| "COVR4VAL-023","RELATION","all link pairs in relation authority","PAIRING_SUBSET","invalid=0","invalid=0","PASS","relation authority repair001"
| "COVR4VAL-024","RELATION","allowed candidate evidence and no strength upgrade","ENUM_SUBSET","invalid=0","invalid=0","PASS","relation authority repair001"
| "COVR4VAL-025","RELATION","all link FKs resolve to versioned masters","ANTI_JOIN_ZERO","0","0","PASS","company links + versioned masters"
| "COVR4VAL-026","LINK_GAP","for each company valid_link_count>=1 and no_link_gap_count=0","PER_OBJECT_COUNT_CONDITION","errors=0","errors=0","PASS","company coverage + links + gap register"
| "COVR4VAL-027","LINK_GAP","for each company valid_link_count=0 and no_link_gap_count=1","PER_OBJECT_COUNT_CONDITION","errors=0","errors=0","PASS","company coverage + links + gap register"
| "COVR4VAL-028","LINK_GAP","307 companies each satisfy exactly one closure branch","SET_EQ_AND_EXCLUSIVE","307/0","307/0","PASS","company master + coverage + links + gaps"
| "COVR4VAL-029","LINK_GAP","every actual link gap_status=NONE and gap_reason empty","FIXED_VALUE_ALL_ROWS","NONE","NONE","PASS","company links"
| "COVR4VAL-030","TOPOLOGY","chain levels and relations valid","ENUM_AND_PAIRING_SUBSET","invalid=0","invalid=0","PASS","relation authority repair001"
| "COVR4VAL-031","TOPOLOGY","for each topic valid_topology_count>=1 and no_topology_gap_count=0","PER_OBJECT_COUNT_CONDITION","errors=0","errors=0","PASS","topic coverage + topology + gaps"
| "COVR4VAL-032","TOPOLOGY","for each topic valid_topology_count=0 and no_topology_gap_count=1","PER_OBJECT_COUNT_CONDITION","errors=0","errors=0","PASS","topic coverage + topology + gaps"
| "COVR4VAL-033","TOPOLOGY","24 topics each satisfy exactly one closure branch","SET_EQ_AND_EXCLUSIVE","24/0","24/0","PASS","topic master + coverage + topology + gaps"
| "COVR4VAL-034","PROTECTED","all protected49 identities unchanged","HASH_BYTES_ROWS_EQ","mismatch=0/49","mismatch=0/49","PASS","final gate output inventory"
| "COVR4VAL-035","PROTECTED","canonical master identities unchanged","HASH_BYTES_ROWS_EQ","mismatch=0/2","mismatch=0/2","PASS","FG-OUT-042/047"
| "COVR4VAL-036","AUTHORITY","all frozen paths exact","HASH_BYTES_ROWS_EQ","mismatch=0","mismatch=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-037","PAIR","84 unique pair_id","UNIQUE_EQ","84","84","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-038","PAIR","no symbolic pair name in value columns","ANTI_JOIN_ZERO","0","0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-039","PAIR","all layer priority tuples exact","PAIRING_SUBSET","invalid=0","invalid=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-040","PAIR","five status fields exact gap semantics","PAIRING_SUBSET","invalid=0","invalid=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-041","PAIR","card/formal tuple exact","PAIRING_SUBSET","invalid=0","invalid=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-042","PAIR","source/project/human tuple exact","PAIRING_SUBSET","invalid=0","invalid=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-043","NOT_APPLICABLE","NOT_APPLICABLE has no gap register row","ANTI_JOIN_ZERO","0","0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-044","NOT_APPLICABLE","NOT_APPLICABLE has empty gap reason","ANTI_JOIN_ZERO","0","0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-045","FIELD","307x9 unique","UNIQUE_EQ","2763","2763","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-046","FIELD","exact2763 coverage","SET_EQ_BIDIRECTIONAL","0/0","0/0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-047","FIELD","resolved or exact gap per field","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-048","FIELD","blank requires pending+gap or notapp+no gap","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-049","FIELD","pending fields have exact gaps","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-050","FIELD","source identities exact no gap substitute","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-051","GAP","exact source table row field keys","UNIQUE_EQ","3166","3166","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-052","GAP","every actual value resolves exact pair","FK_ALL_RESOLVE","missing=0","missing=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-053","GAP","required-minus-register/register-minus-required zero","SET_EQ_BIDIRECTIONAL","0/0","0/0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-054","GAP","each register row exact authority tuple","PAIRING_SUBSET","invalid=0","invalid=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-055","LINK","307 exact branch conditions","PER_OBJECT_COUNT_CONDITION","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-056","TOPOLOGY","24 exact branch conditions","PER_OBJECT_COUNT_CONDITION","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-057","HUMAN_OUTPUT","CARD_PENDING_STAGE3 exact gap","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-058","HUMAN_OUTPUT","SOURCE_INPUT_ONLY pending exact gap","CONDITIONAL_ALL_PASS","errors=0","errors=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-059","NEGATIVE_TEST","exact10 cases","EQ","10","10","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-060","NEGATIVE_TEST","all cases match expected result/code","EQ","10/10","10/10","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-061","NEGATIVE_TEST","invalid pair rejected","EQ","1/1","1/1","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-062","NEGATIVE_TEST","no-gap accepted and gap rejected","EQ","2/2","2/2","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-063","NEGATIVE_TEST","gap type object source tamper rejected","EQ","3/3","3/3","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-064","NEGATIVE_TEST","missing bridge reject correct bridge accept","EQ","2/2","2/2","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-065","SCHEMA","exact11 schemas","EQ","11","11","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-066","COMPANY","detail_track_status included","HEADER_ROWS_EQ","32/307","32/307","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-067","TOPIC","canonical14 protected","HEADER_ROWS_EQ","19/24","19/24","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-068","PROTECTED","identities unchanged","HASH_BYTES_ROWS_EQ","mismatch=0","mismatch=0","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-069","PROTECTED","identities unchanged","HASH_BYTES_ROWS_EQ","mismatch=0/2","mismatch=0/2","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-070","BOUNDARY","all company rows","FIXED_VALUE_ALL_ROWS","NO_AUTOMATIC_FORMAL_POOL_CHANGE","NO_AUTOMATIC_FORMAL_POOL_CHANGE","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-071","BOUNDARY","all ledger rows","FIXED_VALUE_ALL_ROWS","NO_UPGRADE","NO_UPGRADE","PASS","REPAIR003_EXACT_AUTHORITIES"
| "COVR4VAL-072","PAIR","every actual tuple is an allowed exact tuple; unused allowed tuples are permitted","ANTI_JOIN_ZERO","actual_minus_allowed=0","actual_minus_allowed=0","PASS","exact pair authority repair003 + Stage1 outputs"
| "COVR4VAL-073","OBJECT_MAPPING","each company actual coverage_universe_layer and coverage_priority_bucket equals its exact transition-authority outcome; reviewed190 swaps fail","ROW_FIELDS_EQ","mismatch=0/307x2","mismatch=0/307x2","PASS","transition authority repair002 + versioned company"
| "COVR4VAL-074","OBJECT_MAPPING","layer priority source item and rule remain exact per company","ROW_FIELDS_EQ","mismatch=0/190x4","mismatch=0/190x4","PASS","transition authority repair002 + NEXT034 classification + versioned company"
| "COVR4VAL-075","SOURCE_IDENTITY","every source-only row retains exact snapshot FK path locator policy and normalized text hash","FK_HASH_AND_LOCATOR_EQ","mismatch=0/117","mismatch=0/117","PASS","transition authority repair002 + source snapshot"
| "COVR4VAL-076","CANONICAL_INHERITANCE","all protected canonical fields inherit row-for-row","ROW_FIELDS_EQ","mismatch=0/307x20;0/24x14","mismatch=0/307x20;0/24x14","PASS","canonical masters + versioned outputs"
| "COVR4VAL-077","RELATION","every link pair and evidence side is allowed by relation authority","PAIR_AND_ENUM_SUBSET","invalid=0","invalid=0","PASS","relation authority repair001 + company links"
| "COVR4VAL-078","FK","every link resolves to exact versioned company and topic masters","ANTI_JOIN_ZERO","missing=0","missing=0","PASS","company links + versioned masters"
| "COVR4VAL-079","REGRESSION_NEGATIVE","步科股份 and Tesla Optimus layer/priority swap must fail even though both tuples are allowed","EQ","REJECT/EXACT_REVIEWED_AFTER_MISMATCH","REJECT/EXACT_REVIEWED_AFTER_MISMATCH","PASS","repair004 regression negative cases"
| "COVR4VAL-080","REGRESSION_NEGATIVE","company canonical20 or topic canonical14 mutation must fail","EQ","2/2 REJECT","2/2 REJECT","PASS","repair004 regression negative cases"
| "COVR4VAL-081","REGRESSION_NEGATIVE","invalid relation/evidence/FK/source hash mutations must fail","EQ","5/5 REJECT","5/5 REJECT","PASS","repair004 regression negative cases"
| "COVR4VAL-082","VALIDATION_AUTHORITY","all 54 COVR2 and 43 COVR3 checks map exactly once to this final universe","SET_EQ_BIDIRECTIONAL","97/97/0/0","97/97/0/0","PASS","repair004 supersession matrix"
| "COVR4VAL-083","VALIDATION_AUTHORITY","the runtime validation result contains exactly one result for every final check id plus one self-reference INFO","UNIQUE_AND_EXACT","unique;anti_join=0/0","unique;anti_join=0/0","PASS","repair004 final validation authority + Stage1 validation"
| "COVR4VAL-084","ARTIFACT_SET","exact repair004 Stage1 artifact paths and generation order","UNIQUE_ORDER_EQ","11/order1..11","11/order1..11","PASS","Stage1 artifact set repair004"
| "COVR4VAL-085","MANIFEST","first843 data rows and 286498 bytes remain exact","PREFIX_EQ","843rows/286498bytes/3d6e0c6b...","843rows/286498bytes/3d6e0c6b...","PASS","artifact_manifest.csv"
| "COVR4VAL-086","MANIFEST","rows after the 843-row prefix for this design run equal the repair004 design exact set and real identities","SET_AND_IDENTITY_EQ","diff0/0;mismatch0","diff0/0;mismatch0","PASS","artifact_manifest.csv + repair004 artifact set"
| "COVR4VAL-087","MANIFEST","reserved Stage1 run equals repair004 exact set with unique paths and real sha256/bytes/mtime","SET_AND_IDENTITY_EQ","diff0/0;mismatch0/11","diff0/0;mismatch0/11","PASS","artifact_manifest.csv + Stage1 artifact set repair004"
| "COVR4VAL-088","SELF_REFERENCE","exactly one self-reference INFO and no other INFO","EQ","INFO/SELF_REFERENCE_EXCLUDED=1","INFO/SELF_REFERENCE_EXCLUDED=1","PASS","Stage1 validation"
| "COVR4VAL-089","FINAL","every final check evaluated with its declared comparator; unknown comparator or expected/actual mismatch fails closed","CONDITIONAL_ALL_PASS","FAIL=0/HELD=0","FAIL=0/HELD=0","PASS","Stage1 validation"
| "COVR4VAL-SELF","SELF_REFERENCE","validation final file identity","EQ","INFO/SELF_REFERENCE_EXCLUDED","INFO/SELF_REFERENCE_EXCLUDED","INFO","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/coverage_first_stage1_validation_20260729.csv"
|
|
