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
| "contract_id","scope","rule","required_value_or_rule","evidence_path","failure_effect","notes"
| "COVS2-CON-001","TOPIC_UNIVERSE","EXACT_ROWS_UNIQUE_TOPIC_ID","17","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_topic_pair_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-002","TARGET_UNIVERSE","EXACT_PATHS_UNIQUE_ABSENT_BEFORE_EXECUTION","34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_topic_pair_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-003","SOURCE_DOCUMENT_UNIVERSE","EXACT_ROWS_UNIQUE_SOURCE_SNAPSHOT_ID","34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_source_document_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-004","SOURCE_LINE_UNIVERSE","EVERY_PHYSICAL_LINE_EXACTLY_ONCE","5679","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_source_line_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-005","SOURCE_IDENTITY","CURRENT_RAW_SHA256_BYTES_LINES_FROZEN","34/34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_source_document_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-006","SOURCE_SNAPSHOT_DRIFT","OLD_SNAPSHOT_AND_CURRENT_RAW_IDENTITIES_BOTH_VISIBLE","34/34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_source_document_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-007","SOURCE_POLICY","FROZEN_LOCAL_INPUTS_ONLY","34/34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_source_document_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-008","PAGE_SCHEMA","TWO_ROLES_FIVE_FIRST20_MARKERS_EIGHT_H2_EACH","26","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_page_schema_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-009","PAGE_TITLE","EXACT_TOPIC_SPECIFIC_TITLE","34/34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_topic_pair_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-010","SOURCE_DISPOSITION","EVERY_SOURCE_LINE_EXACTLY_ONE_DISPOSITION","5679","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_source_line_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-011","SOURCE_DISPOSITION_USED","USED_OR_GAP_REQUIRES_OUTPUT_LOCATOR_HASH_AND_PENDING","STRICT","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_execution_ledger_schema_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-012","SOURCE_DISPOSITION_EXCLUDED","EXCLUDED_REQUIRES_REASON_AND_EMPTY_OUTPUT_LOCATOR","STRICT","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_execution_ledger_schema_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-013","VISIBLE_CLAIM_TRACE","EVERY_NONSTRUCTURAL_VISIBLE_LINE_EXACTLY_ONE_TRACE","BIDIRECTIONAL_ANTI_JOIN_ZERO","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_execution_ledger_schema_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-014","CLAIM_STRENGTH","ALL_VISIBLE_CLAIMS_PENDING_VERIFICATION","100%","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_execution_ledger_schema_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-015","FORMAL_POOL","NO_AUTOMATIC_FORMAL_POOL_CHANGE","100%","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_contract_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-016","EVIDENCE_STRENGTH","NO_UPGRADE","100%","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_contract_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-017","PROCESS_LAYER","NO_RUN_BATCH_AUDIT_NEXT_MARKERS_IN_PAGE_BODY","0","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_page_schema_authority_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-018","MARKDOWN_QUALITY","BROKEN_LOCAL_LINKS_AND_TABLE_ERRORS","0/0","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_execution_ledger_schema_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-019","COVERAGE_INDEX","ONE_ROW_PER_TARGET_PAGE","34","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage2_execution_ledger_schema_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-020","EXECUTION_EXACT_SET","EXACT_PATHS_UNIQUE_ORDER_VALIDATION_LAST","41","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/coverage_first_stage2_execution_artifact_set_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-021","MANIFEST","APPEND_ONLY_FORMAL_SEVEN_COLUMNS","EXACT_41_ROWS_AFTER_EXECUTION","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/coverage_first_stage2_execution_artifact_set_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-022","PROTECTED_OUTPUTS","PROTECTED49_SHA256_BYTES_UNCHANGED","49/49","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/final_gate_output_inventory_rebuild_repair001_20260728.csv","FAIL_OR_HELD",""
| "COVS2-CON-023","CANONICAL_MASTERS","CURRENT_CANONICAL_FILES_READ_ONLY","NO_CUTOVER","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/数据表/robot_subindustry_master_coverage_v03_20260729.csv|ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/robot_chain_topic_coverage_status_semantic_repair003_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-024","STAGE1_INPUTS","LINK_TOPOLOGY_COVERAGE_GAP_LEDGER_UNCHANGED","NO_DRIFT","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/数据表/robot_company_chain_link_coverage_v03_semantic_repair003_20260729.csv|ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/数据表/robot_topic_topology_coverage_v03_semantic_repair003_20260729.csv|ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/robot_chain_topic_coverage_status_semantic_repair003_20260729.csv|ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/robot_coverage_gap_register_semantic_repair003_20260729.csv|ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/coverage_first_stage1_semantic_repair_application_ledger_repair003_20260729.csv","FAIL_OR_HELD",""
| "COVS2-CON-025","FORMAL_EVIDENCE","CASE_EVIDENCE_MAP_AND_MIGRATION_UNCHANGED","NO_DRIFT","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/case_evidence_map.csv|ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/migration_manifest.csv","FAIL_OR_HELD",""
| "COVS2-CON-026","REVIEW_GATE","STAGE2_EXECUTION_REQUIRES_INDEPENDENT_DESIGN_PASS_AND_EXPLICIT_RELEASE","NOT_RELEASED_BY_DESIGN_PREPARATION","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/review_request_coverage_first_stage2_design_20260729.md","FAIL_OR_HELD",""
| "COVS2-CON-027","FOLLOWING_STAGE","STAGE3_AND_CANONICAL_CUTOVER_NOT_ALLOWED","NOT_ALLOWED","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/review_request_coverage_first_stage2_design_20260729.md","FAIL_OR_HELD",""
|
|
