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
| "contract_id","scope","artifact_or_field","required","authority_or_enum","validation","blocking_effect"
| "LEGCON-001","INPUT","external_input_policy","YES","FROZEN_LOCAL_INPUTS_ONLY;network=false;database=false","exact constant","HELD"
| "LEGCON-002","SCOPE","legacy exact path set","YES","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/summary.md;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/readout.md","bidirectional set equality;unique=2","FAIL"
| "LEGCON-003","IDENTITY","legacy baseline identity","YES","LEGBASE-001;LEGBASE-002 sha256/bytes/lines","pre-execution recompute mismatch=0","HELD"
| "LEGCON-004","IDENTITY","canonical baseline identity","YES","LEGBASE-003;LEGBASE-004 sha256/bytes/lines","pre-execution recompute mismatch=0","HELD"
| "LEGCON-005","DUPLICATE","legacy duplicate group","YES","LEGACY-DUP-001;summary bytes equal readout bytes","byte equality","FAIL"
| "LEGCON-006","DISPOSITION","legacy_status","YES","LEGACY_PRE_STAGE_C_DUPLICATE_NOT_CANONICAL_DELIVERY","constant for both rows","FAIL"
| "LEGCON-007","DISPOSITION","disposition_action","YES","CONTROLLED_REDIRECT_NOT_CANONICAL_DELIVERY","constant for both rows","FAIL"
| "LEGCON-008","FILESYSTEM","path preservation","YES","no delete;no move;no rename;same exact two paths","existence and path equality","FAIL"
| "LEGCON-009","REDIRECT","required visible label","YES","历史兼容入口（非当前读出、非正式交付）","present in both redirect pages","FAIL"
| "LEGCON-010","REDIRECT","canonical report target","YES","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/核心文档/机器人报告索引.md","relative link resolves in both pages","FAIL"
| "LEGCON-011","REDIRECT","canonical result target","YES","ana-data/result/机器人案例/ANA-ROBOT-INDUSTRY-001/result_index.md","relative link resolves in both pages","FAIL"
| "LEGCON-012","REDIRECT","forbidden stale status","YES","THREEPIECE_FROZEN_AND_BATCH001_MIGRATED;PENDING_EXECUTION_REVIEW","occurrences=0 in both pages","FAIL"
| "LEGCON-013","REDIRECT","current conclusion claims","YES","no current pass/completion/delivery/coverage claim","semantic review plus forbidden marker scan","FAIL"
| "LEGCON-014","CANONICAL_NAV","direct legacy links","YES","summary.md=0;readout.md=0 in result_index canonical navigation","exact occurrence check","FAIL"
| "LEGCON-015","CANONICAL_NAV","canonical report link","YES","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/核心文档/机器人报告索引.md","at least one resolvable local link in result_index","FAIL"
| "LEGCON-016","CANONICAL_NAV","report index identity","YES","LEGBASE-004 exact sha256/bytes/lines unchanged","post-execution recompute mismatch=0","HELD"
| "LEGCON-017","LEDGER","disposition ledger primary key","YES","artifact_path unique;exact two rows","PK and bidirectional anti-join","FAIL"
| "LEGCON-018","LEDGER","baseline identity inheritance","YES","sha256_before/bytes_before/lines_before from LEGBASE-001/002","field mismatch=0","FAIL"
| "LEGCON-019","LEDGER","redirect identity","YES","sha256_after/bytes_after/lines_after nonempty and match files","recompute mismatch=0","FAIL"
| "LEGCON-020","BOUNDARY","formal evidence strength","YES","NO_CHANGE","formal evidence map and migration manifest drift=0","HELD"
| "LEGCON-021","BOUNDARY","company and database state","YES","NO_FORMAL_POOL_CHANGE;NO_DATABASE_WRITE","protected identity drift=0","HELD"
| "LEGCON-022","MANIFEST","formal schema","YES","case_id,run_id,batch_id,artifact_path,sha256,bytes,mtime","header exact","FAIL"
| "LEGCON-023","MANIFEST","append-only history","YES","581-row/195636-byte/0e6b3ccb... prefix","byte-prefix equality","HELD"
| "LEGCON-024","MANIFEST","execution exact artifact set","YES","10 unique paths;generation_order=1..10","bidirectional set equality;path unique","FAIL"
| "LEGCON-025","VALIDATION","self identity","YES","SELF_REFERENCE_EXCLUDED;final identity registered externally;no writeback","INFO row and external recompute","FAIL"
| "LEGCON-026","TIMING","evidence before handoff","YES","all formal artifacts/log/parent mtimes earlier than request created_at","external recompute","FAIL"
| "LEGCON-027","REVIEW","independent execution/output review","YES","case_analysis.reviewer.cai PASS required","no self-review","HELD"
| "LEGCON-028","FINAL_GATE","release boundary","YES","NEXT-ROBOT-037=HELD;case completion=NOT_RELEASED;external delivery=NOT_RELEASED","constants","FAIL"
|
|
