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
| rule_id,artifact_scope,property,required_value,failure_state
| EMAPSER-001,GENERATOR,generator_path,ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/formal_evidence_map_alignment_generator_repair001_20260728.mjs,HELD
| EMAPSER-002,GENERATOR,generator_sha256,93deb74f2c5acd29135f11192d4bcab578347cf212d24398edfc71625d14c565,HELD
| EMAPSER-003,GENERATOR,exact_invocation_from_project_root,node ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/formal_evidence_map_alignment_generator_repair001_20260728.mjs --execute,HELD
| EMAPSER-004,GENERATOR,case_id_injection,ANA-ROBOT-INDUSTRY-001,HELD
| EMAPSER-005,GENERATOR,reserved_batch_id,BATCH-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001,HELD
| EMAPSER-006,GENERATOR,reserved_run_id,RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001,HELD
| EMAPSER-007,MAP,column_order,case_id|artifact|source_rel|evidence_status|evidence_entry|source_binding_ref|evidence_fact_plan_ref|review_status,HELD
| EMAPSER-008,MAP,row_order,EMAP-001..045 lexical ascending with no gap,HELD
| EMAPSER-009,MAP,encoding,UTF-8 without BOM,HELD
| EMAPSER-010,MAP,line_ending,CRLF only,HELD
| EMAPSER-011,MAP,quoting,all fields double-quoted including header and empty values,HELD
| EMAPSER-012,MAP,escaping,embedded double quote doubled per RFC4180,HELD
| EMAPSER-013,MAP,terminal_newline,exactly one terminal CRLF,HELD
| EMAPSER-014,LEDGER,column_order_authority,formal_evidence_map_alignment_change_ledger_schema_repair001_20260728.csv orders 1..32,HELD
| EMAPSER-015,LEDGER,row_order,EMAPCHG-001..045 aligned one-to-one with EMAP-001..045,HELD
| EMAPSER-016,LEDGER,encoding_line_quoting,UTF-8 without BOM;CRLF only;all fields double-quoted;embedded quote doubled;one terminal CRLF,HELD
| EMAPSER-017,INPUT,audit_status_mapping,target audit_conclusion is legacy boundary carrier and must equal repaired audit authority applicable_status_boundary;formal literal comes only from formal_audit_conclusion_literal,HELD
| EMAPSER-018,VALIDATION,map_reproduction,re-run frozen generator from frozen inputs and require byte-identical formal map plus exact 8-column 45-row semantic equality,HELD
| EMAPSER-019,VALIDATION,ledger_reproduction,re-run frozen generator from frozen inputs and require byte-identical ledger plus exact 32-column 45-row semantic equality,HELD
| EMAPSER-020,SAFETY,write_scope,only formal_evidence_map_alignment_change_ledger_20260728.csv new-create and case_evidence_map.csv controlled-overwrite;database_write=0,HELD
| EMAPSER-021,PREVIEW,exact_preview_invocation,node ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/formal_evidence_map_alignment_generator_repair001_20260728.mjs --preview,HELD
| EMAPSER-022,PREVIEW,expected_map_identity,45 rows;42625 bytes;sha256=0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,HELD
| EMAPSER-023,PREVIEW,expected_ledger_identity,45 rows;109637 bytes;sha256=cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,HELD
| EMAPSER-024,PREVIEW,write_effect,zero output create or overwrite,HELD
|
|
