validation_id,check_name,expected,actual,status,evidence
EMAPR1VAL-001,repair_scope_blockers,3,3,PASS,audit_stability;ledger_schema;byte_generation
EMAPR1VAL-002,repair_baseline_rows_unique,9/9,9/9,PASS,formal_evidence_map_alignment_design_repair001_baseline_20260728.csv
EMAPR1VAL-003,repair_baseline_identity_mismatch,0,0,PASS,sha256_bytes_lines_recomputed
EMAPR1VAL-004,passed_baseline_target_set,41/45,41/45,PASS,original_semantic_authorities_reused
EMAPR1VAL-005,database_observation_rows_and_boundary,4/0_errors,4/0_errors,PASS,as_of_2026-07-24;market_observation_only;no_pool_change
EMAPR1VAL-006,repaired_audit_authority_rows_unique_groups,7/7,7/7,PASS,formal_evidence_map_alignment_audit_authority_repair001_20260728.csv
EMAPR1VAL-007,audit_entry_normalization_spec,UTF8_NO_BOM_LF_JOIN_LINES_WITH_TERMINAL_LF_V1,UTF8_NO_BOM_LF_JOIN_LINES_WITH_TERMINAL_LF_V1,PASS,7_of_7
EMAPR1VAL-008,audit_entry_line_hash_bytes_identity_mismatch,0,0,PASS,seven_append_stable_entry_slices
EMAPR1VAL-009,whole_report_snapshot_role_nonmatch,0,0,PASS,INFO_SUBMISSION_TIME_SNAPSHOT_NOT_EXECUTION_GATE_7_of_7
EMAPR1VAL-010,whole_report_submission_snapshot_sha256,520f0708528f321bf205bdaa4fdeaba9fe76cf78018473025bd546b88a2b55de,520f0708528f321bf205bdaa4fdeaba9fe76cf78018473025bd546b88a2b55de,PASS,submission_time_info_only_not_execution_gate
EMAPR1VAL-011,formal_audit_conclusion_literal_values,PASS|CONDITIONALLY_PASSED,PASS|CONDITIONALLY_PASSED,PASS,split_literal_column
EMAPR1VAL-012,applicable_status_boundary_values,CONDITIONALLY_PASSED_AS_EVIDENCE_INPUT|PASS_WITH_MARKET_OBSERVATION_BOUNDARY|PASS_WITH_RETAINED_GAPS,CONDITIONALLY_PASSED_AS_EVIDENCE_INPUT|PASS_WITH_MARKET_OBSERVATION_BOUNDARY|PASS_WITH_RETAINED_GAPS,PASS,split_boundary_column
EMAPR1VAL-013,target_audit_and_boundary_mapping_mismatch,0,0,PASS,45_target_rows_vs_7_repaired_authorities
EMAPR1VAL-014,status_mapping_rule_empty_or_duplicate_group,0/0,0/0,PASS,one_deterministic_rule_per_group
EMAPR1VAL-015,ledger_schema_rows_unique_names,32/32,32/32,PASS,formal_evidence_map_alignment_change_ledger_schema_repair001_20260728.csv
EMAPR1VAL-016,ledger_schema_order,1..32,1..32,PASS,no_gap_or_duplicate
EMAPR1VAL-017,ledger_primary_key_contract,EMAPCHG-001..045_to_EMAP-001..045,EMAPCHG-001..045_to_EMAP-001..045,PASS,one_to_one
EMAPR1VAL-018,existing_before_after_contract,41_nonempty_before_and_immutable_equal,41_nonempty_before_and_immutable_equal,PASS,frozen_generator_source_checks
EMAPR1VAL-019,new_database_before_after_contract,4_empty_before_and_nonempty_after,4_empty_before_and_nonempty_after,PASS,frozen_generator_source_checks
EMAPR1VAL-020,ledger_enum_condition_contract_errors,0,0,PASS,row_kind_changed_fields_reason_status_no_upgrade
EMAPR1VAL-021,serialization_authority_rows_unique,24/24,24/24,PASS,formal_evidence_map_alignment_serialization_authority_repair001_20260728.csv
EMAPR1VAL-022,generator_sha256,93deb74f2c5acd29135f11192d4bcab578347cf212d24398edfc71625d14c565,93deb74f2c5acd29135f11192d4bcab578347cf212d24398edfc71625d14c565,PASS,frozen_generator_identity
EMAPR1VAL-023,generator_node_check,PASS,PASS,PASS,node_check
EMAPR1VAL-024,generator_self_test,PASS,PASS,PASS,no_BOM_CRLF_all_quote_escape_terminal_CRLF_parse
EMAPR1VAL-025,generator_preview_map_identity,45/42625/0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,45/42625/0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,PASS,no_write_preview
EMAPR1VAL-026,generator_preview_ledger_identity,45/109637/cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,45/109637/cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,PASS,no_write_preview
EMAPR1VAL-027,preview_formal_map_write_effect,0,0,PASS,formal_map_sha_unchanged
EMAPR1VAL-028,preview_ledger_write_effect,0,0,PASS,change_ledger_path_absent
EMAPR1VAL-029,formal_map_design_repair_identity,41/e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,41/e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,PASS,not_modified
EMAPR1VAL-030,execution_artifact_set_rows_unique_order,9/9/1..9,9/9/1..9,PASS,original_passed_exact_set_reused
EMAPR1VAL-031,design_repair_artifact_set_rows_unique_order,15/15/1..15,15/15/1..15,PASS,formal_evidence_map_alignment_design_repair001_artifact_set_20260728.csv
EMAPR1VAL-032,migration_manifest_sha256,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,PASS,unchanged
EMAPR1VAL-033,protected_identity_authority_sha256,a5629c5abc01c367585c2c62ecb6b76c5ac713379f7417de4bff5bce68f45537,a5629c5abc01c367585c2c62ecb6b76c5ac713379f7417de4bff5bce68f45537,PASS,protected30_unchanged
EMAPR1VAL-034,repair_contract_rows_unique,30/30,30/30,PASS,formal_evidence_map_alignment_contract_repair001_20260728.csv
EMAPR1VAL-035,manifest_history_before_repair_append,753/477223a89fafca46e902c49506e19e6e5cb64641c3d57101b4dd4b4e179ff218,753/477223a89fafca46e902c49506e19e6e5cb64641c3d57101b4dd4b4e179ff218,PASS,prior_design_history_prefix
EMAPR1VAL-036,reserved_execution_manifest_rows,0,0,PASS,RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001
EMAPR1VAL-037,design_rereview_request_preclaims_result,0,0,PASS,review_request_only
EMAPR1VAL-038,final_gate_or_delivery_release_claim,0,0,PASS,NEXT_ROBOT_037_remains_HELD
EMAPR1VAL-039,validation_self_reference,SELF_REFERENCE_EXCLUDED,SELF_REFERENCE_EXCLUDED,INFO,final_sha256_bytes_mtime_computed_outside_file_then_manifest_append