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
| "contract_id","scope","artifact_or_field","required","authority_or_enum","validation","blocking_effect"
| "LEGRECON-001","INPUT","external_input_policy","YES","FROZEN_LOCAL_INPUTS_ONLY;network=false;database=false","exact constant","HELD"
| "LEGRECON-002","BASELINE","four-row baseline","YES","reuse sha256 0270260c...;no overwrite","identity recompute mismatch=0","HELD"
| "LEGRECON-003","RESULT_PATCH","target patch row","YES","LEGPATCH-001 only","PK and exact one row","FAIL"
| "LEGRECON-004","RESULT_PATCH","before identity","YES","7b7a1565bf9dca1c8db0582f76d86d173c4e17bc67c8241e775c36231a9ad449/58625/495","recompute before execution","HELD"
| "LEGRECON-005","RESULT_PATCH","before line","YES","- [本轮读出](../../../cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/readout.md)","line25 exact text+hash+link target","FAIL"
| "LEGRECON-006","RESULT_PATCH","action","YES","DELETE_EXACT_ONE_LINE_NO_REPLACEMENT","constant","FAIL"
| "LEGRECON-007","RESULT_PATCH","after identity","YES","c6c0bab5b9e4a148e3a128fbd0c4d972d6d524c98795984878e791f85bbd2426/58533/494","final file byte equality","FAIL"
| "LEGRECON-008","RESULT_PATCH","non-target invariant","YES","after bytes equal precomputed before-minus-target-line","exact final sha256/bytes/lines","FAIL"
| "LEGRECON-009","RESULT_PATCH","canonical report links","YES","2 before/2 after;no added duplicate","exact occurrences and bytes preserved","FAIL"
| "LEGRECON-010","REDIRECT","exact two legacy paths","YES","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/summary.md;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/outputs/readout.md","bidirectional set equality","FAIL"
| "LEGRECON-011","REDIRECT","exact template","YES","LEGTMPL-001/002 exact UTF-8 LF base64 bytes","final sha256/bytes/lines equality","FAIL"
| "LEGRECON-012","REDIRECT","old run zero","YES","RUN-ANA-ROBOT-THREEPIECE-FREEZE-001","match count=0 each","FAIL"
| "LEGRECON-013","REDIRECT","old batch zero","YES","BATCH-ANA-ROBOT-MIGRATION-001","match count=0 each","FAIL"
| "LEGRECON-014","REDIRECT","stale statuses zero","YES","THREEPIECE_FROZEN_AND_BATCH001_MIGRATED;PENDING_EXECUTION_REVIEW","match count=0 each","FAIL"
| "LEGRECON-015","REDIRECT","allowed link target exact set","YES","../../../../result/机器人案例/ANA-ROBOT-INDUSTRY-001/result_index.md;核心文档/机器人报告索引.md","link count=2;set diff=0/0;extra=0","FAIL"
| "LEGRECON-016","REDIRECT","broken links","YES","0","resolve both targets","FAIL"
| "LEGRECON-017","REDIRECT","current result claims","YES","NO_CURRENT_PASS_COMPLETION_COVERAGE_OR_DELIVERY_CLAIM_EXACT_TEMPLATE_ENFORCED","exact template plus semantic review","FAIL"
| "LEGRECON-018","FILESYSTEM","path preservation","YES","rewrite in place;no delete/move/rename","same exact paths exist","FAIL"
| "LEGRECON-019","LEDGER","exact schema","YES","artifact_path;baseline_sha256;baseline_bytes;baseline_lines;after_sha256;after_bytes;after_lines;legacy_status;disposition_action;canonical_report_target;canonical_result_target;markdown_link_count;allowed_link_target_set_status;extra_link_count;broken_link_count;old_run_match_count;old_batch_match_count;stale_status_match_count;path_preserved;filesystem_action;boundary_status;review_status","22 columns exact order","FAIL"
| "LEGRECON-020","LEDGER","primary key and rows","YES","artifact_path unique;exact 2 rows","bidirectional anti-join","FAIL"
| "LEGRECON-021","LEDGER","before identity inheritance","YES","LEGBASE-001/002","field mismatch=0","FAIL"
| "LEGRECON-022","LEDGER","after identity inheritance","YES","LEGTMPL-001/002 and final files","field mismatch=0","FAIL"
| "LEGRECON-023","LEDGER","enums and conditions","YES","schema authority 22/22","null/enum/conditional mismatch=0","FAIL"
| "LEGRECON-024","ORDER","outputs before ledger","YES","summary=1;readout=2;result=3;ledger=4","generation order exact","FAIL"
| "LEGRECON-025","CANONICAL","report index identity","YES","1e0b6823.../10107/125","post-execution mismatch=0","HELD"
| "LEGRECON-026","PROTECTED","protected30","YES","identity mismatch=0","recompute","HELD"
| "LEGRECON-027","PROTECTED","formal evidence map/migration","YES","NO_CHANGE","sha256 mismatch=0","HELD"
| "LEGRECON-028","BOUNDARY","company/database/evidence strength","YES","NO_FORMAL_POOL_CHANGE;NO_DATABASE_WRITE;NO_STRENGTH_UPGRADE","protected drift=0","HELD"
| "LEGRECON-029","MANIFEST","formal schema","YES","case_id,run_id,batch_id,artifact_path,sha256,bytes,mtime","header exact","FAIL"
| "LEGRECON-030","MANIFEST","design repair prefix","YES","591 rows/198955 bytes/6cd2a47e...","byte prefix equality","HELD"
| "LEGRECON-031","MANIFEST","execution exact set","YES","10 unique paths/order1..10","bidirectional exact set+identity","FAIL"
| "LEGRECON-032","VALIDATION","self reference","YES","SELF_REFERENCE_EXCLUDED;external final identity;no writeback","INFO+external recompute","FAIL"
| "LEGRECON-033","TIMING","evidence before handoff","YES","all artifacts/log/parent before handoff","filesystem mtime","FAIL"
| "LEGRECON-034","REVIEW","independent design rereview","YES","case_analysis.reviewer.cai PASS required","no self review","HELD"
| "LEGRECON-035","RELEASE","reserved execution","YES","NOT_ALLOWED_PENDING_DESIGN_REREVIEW_PASS","reserved run manifest rows=0","HELD"
| "LEGRECON-036","FINAL_GATE","completion/delivery","YES","NEXT-ROBOT-037 HELD;completion/delivery NOT_RELEASED","constants","FAIL"
|
|
