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
| contract_id,category,requirement,validation_rule,failure_state
| EMAPR1CON-001,IDENTITY,repair design fixed,DESIGN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-CONTROLLED-ALIGNMENT-REPAIR-001,HELD
| EMAPR1CON-002,IDENTITY,reserved execution unchanged,BATCH-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001 / RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001,HELD
| EMAPR1CON-003,SCOPE,passed 41/45 set reused,baseline41 target45 database4 group_counts3/2/15/13/3/5/4 drift=0,HELD
| EMAPR1CON-004,AUDIT,stable entry authority exact,7 rows unique group and audit_id; normalized entry hash/bytes/line range mismatch=0,HELD
| EMAPR1CON-005,AUDIT,entry normalization exact,UTF8_NO_BOM_LF_JOIN_LINES_WITH_TERMINAL_LF_V1,HELD
| EMAPR1CON-006,AUDIT,whole report snapshot informational only,whole_report_snapshot_role=INFO_SUBMISSION_TIME_SNAPSHOT_NOT_EXECUTION_GATE 7/7,HELD
| EMAPR1CON-007,AUDIT,literal conclusion split,formal_audit_conclusion_literal in PASS|CONDITIONALLY_PASSED and exact source locator text,HELD
| EMAPR1CON-008,AUDIT,applicable boundary split,applicable_status_boundary exact equals target legacy audit_conclusion 45/45,HELD
| EMAPR1CON-009,AUDIT,status mapping deterministic,formal literal plus explicit scope text maps to one frozen applicable boundary per group,HELD
| EMAPR1CON-010,LEDGER,exact schema,32 ordered columns and unique column_name 32/32,HELD
| EMAPR1CON-011,LEDGER,exact primary key,change_id EMAPCHG-001..045 unique and target_row_id EMAP-001..045 one-to-one,HELD
| EMAPR1CON-012,LEDGER,existing before rule,EXISTING 41 rows all before fields nonempty and exact baseline; immutable before/after fields equal,HELD
| EMAPR1CON-013,LEDGER,new before rule,NEW_DATABASE 4 rows before fields all empty and after fields all nonempty,HELD
| EMAPR1CON-014,LEDGER,after map rule,after eight fields exactly equal generated map eight fields 45/45,HELD
| EMAPR1CON-015,LEDGER,enum and condition rules,all row_kind changed_fields reason status and NO_UPGRADE conditions match schema authority,HELD
| EMAPR1CON-016,SERIALIZATION,frozen generator identity,sha256=93deb74f2c5acd29135f11192d4bcab578347cf212d24398edfc71625d14c565 and node_check/self_test/preview PASS,HELD
| EMAPR1CON-017,SERIALIZATION,map byte contract,UTF8 no BOM CRLF all fields quoted doubled quote exact one terminal CRLF and exact8 columns,HELD
| EMAPR1CON-018,SERIALIZATION,ledger byte contract,same serialization plus exact32 columns and exact45 rows,HELD
| EMAPR1CON-019,SERIALIZATION,case and row order,case_id fixed and EMAP-001..045 lexical ascending without gap,HELD
| EMAPR1CON-020,REPRODUCIBILITY,byte regeneration required,frozen generator plus frozen inputs reproduces ledger and map byte-identically,HELD
| EMAPR1CON-021,PROTECTION,formal map unchanged at design repair,sha256=e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,HELD
| EMAPR1CON-022,PROTECTION,migration and protected outputs unchanged,migration sha256=88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f and protected authority sha256=a5629c5abc01c367585c2c62ecb6b76c5ac713379f7417de4bff5bce68f45537,HELD
| EMAPR1CON-023,EXECUTION,execution generation order,baseline then generator creates ledger/map then logs/status/request then validation last then external manifest append,HELD
| EMAPR1CON-024,EXECUTION,exact-set unchanged,execution direct artifact paths remain exact9 unique order1..9,HELD
| EMAPR1CON-025,REVIEW,design rereview required,no execution until reviewer PASS and explicit exact batch/run release,HELD
| EMAPR1CON-026,REVIEW,execution review required,no blocker closure until independent execution/output-quality PASS,HELD
| EMAPR1CON-027,BOUNDARY,no semantic upgrade,database and retained gaps unchanged;NO_UPGRADE 45/45,HELD
| EMAPR1CON-028,FINAL_GATE,final gate remains held,no NEXT-ROBOT-037 case completion or external delivery claim,HELD
| EMAPR1CON-029,PREVIEW,expected deterministic map identity,45 rows / 42625 bytes / 0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,HELD
| EMAPR1CON-030,PREVIEW,expected deterministic ledger identity,45 rows / 109637 bytes / cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,HELD
|
|
