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
38
39
40
41
42
43
| validation_id,check_name,expected,actual,status,evidence
| EMAPEXECVAL-001,execution_identity,BATCH-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001/RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001,BATCH-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001/RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001,PASS,frozen_exact_run
| EMAPEXECVAL-002,execution_release_audit,AUDIT-ANA-ROBOT-FORMAL-EVIDENCE-MAP-CONTROLLED-ALIGNMENT-DESIGN-REPAIR001-REREVIEW-001=PASS,AUDIT-ANA-ROBOT-FORMAL-EVIDENCE-MAP-CONTROLLED-ALIGNMENT-DESIGN-REPAIR001-REREVIEW-001=PASS,PASS,explicit_exact_run_release
| EMAPEXECVAL-003,execution_baseline_rows_unique,12/12,12/12,PASS,formal_evidence_map_alignment_execution_baseline_20260728.csv
| EMAPEXECVAL-004,execution_baseline_file_identity_mismatch,0,0,PASS,11_file_rows_sha256_bytes_lines_recomputed
| EMAPEXECVAL-005,release_audit_entry_normalized_identity,9631/5a22bd8ce2fd2e41e9ed60991cc036df540da2c3d443b1167e365dcdcd9a518c,9631/5a22bd8ce2fd2e41e9ed60991cc036df540da2c3d443b1167e365dcdcd9a518c,PASS,L4891-L4961_UTF8_NO_BOM_LF_TERMINAL_LF
| EMAPEXECVAL-006,pre_execution_formal_map_identity,41/e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,41/e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,PASS,baseline_before_generator
| EMAPEXECVAL-007,pre_execution_change_ledger_exists,false,false,PASS,baseline_before_generator
| EMAPEXECVAL-008,generator_execution_command_count,1,1,PASS,approved_project_root_command_only
| EMAPEXECVAL-009,generator_sha256,93deb74f2c5acd29135f11192d4bcab578347cf212d24398edfc71625d14c565,93deb74f2c5acd29135f11192d4bcab578347cf212d24398edfc71625d14c565,PASS,frozen_generator_identity
| EMAPEXECVAL-010,generator_node_check,PASS,PASS,PASS,node_check_after_execution
| EMAPEXECVAL-011,generator_self_test,PASS,PASS,PASS,SELF_TEST_PASS
| EMAPEXECVAL-012,byte_regenerated_map_identity,45/42625/0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,45/42625/0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,PASS,post_execution_preview_byte_identity
| EMAPEXECVAL-013,byte_regenerated_ledger_identity,45/109637/cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,45/109637/cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,PASS,post_execution_preview_byte_identity
| EMAPEXECVAL-014,formal_map_final_identity,45/42625/0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,45/42625/0de74a521546885a4d6b29ca461e60b203aacfeaa4b0770f021e31437d7d6e1d,PASS,case_evidence_map.csv
| EMAPEXECVAL-015,change_ledger_final_identity,45/109637/cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,45/109637/cd8dc0d09d863ca73be5b13883315e176a10913a948e7f52f29b3cf1f8a886f0,PASS,formal_evidence_map_alignment_change_ledger_20260728.csv
| EMAPEXECVAL-016,map_serialization_contract,UTF8_NO_BOM_CRLF_ALL_FIELDS_QUOTED_ONE_TERMINAL_CRLF,UTF8_NO_BOM_CRLF_ALL_FIELDS_QUOTED_ONE_TERMINAL_CRLF,PASS,bom0_bare_lf0_crlf46
| EMAPEXECVAL-017,ledger_serialization_contract,UTF8_NO_BOM_CRLF_ALL_FIELDS_QUOTED_ONE_TERMINAL_CRLF,UTF8_NO_BOM_CRLF_ALL_FIELDS_QUOTED_ONE_TERMINAL_CRLF,PASS,bom0_bare_lf0_crlf46
| EMAPEXECVAL-018,map_schema_rows_unique_artifacts,8_columns/45_rows/45_unique,8_columns/45_rows/45_unique,PASS,exact_map_schema
| EMAPEXECVAL-019,ledger_schema_rows,32_columns/45_rows,32_columns/45_rows,PASS,exact_ledger_schema
| EMAPEXECVAL-020,ledger_primary_keys,45_change_id/45_target_row_id,45_change_id/45_target_row_id,PASS,EMAPCHG001_045_to_EMAP001_045
| EMAPEXECVAL-021,ledger_row_kind_counts,EXISTING41/NEW_DATABASE4,EXISTING41/NEW_DATABASE4,PASS,one_row_per_target
| EMAPEXECVAL-022,ledger_after_vs_map_cell_mismatch,0,0,PASS,45_rows_eight_after_fields
| EMAPEXECVAL-023,existing_before_and_immutable_errors,0,0,PASS,41_rows_nonempty_before_and_five_immutable_fields
| EMAPEXECVAL-024,new_database_before_after_errors,0,0,PASS,4_rows_empty_before_nonempty_after
| EMAPEXECVAL-025,target_audit_boundary_link_mismatch,0,0,PASS,45_target_rows_vs_7_audit_groups
| EMAPEXECVAL-026,formal_audit_literal_distribution,PASS37/CONDITIONALLY_PASSED8,PASS37/CONDITIONALLY_PASSED8,PASS,literal_not_boundary
| EMAPEXECVAL-027,applicable_boundary_distribution,PASS_WITH_RETAINED_GAPS33/CONDITIONALLY_PASSED_AS_EVIDENCE_INPUT8/PASS_WITH_MARKET_OBSERVATION_BOUNDARY4,PASS_WITH_RETAINED_GAPS33/CONDITIONALLY_PASSED_AS_EVIDENCE_INPUT8/PASS_WITH_MARKET_OBSERVATION_BOUNDARY4,PASS,derived_boundary_not_literal
| EMAPEXECVAL-028,evidence_strength_effect_errors,0,0,PASS,NO_UPGRADE45_of_45
| EMAPEXECVAL-029,database_observation_boundary_errors,0,0,PASS,4_rows_as_of_2026-07-24_market_observation_only_no_pool_change
| EMAPEXECVAL-030,migration_manifest_sha256,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,PASS,unchanged
| EMAPEXECVAL-031,protected_non_target_identity_mismatch,0_of_29,0_of_29,PASS,protected_authority_excluding_authorized_formal_map_target
| EMAPEXECVAL-032,authorized_formal_map_target_rows,1,1,PASS,FOHLPROT001_changed_only_by_released_alignment_run
| EMAPEXECVAL-033,execution_status_record,EXECUTED_PENDING_INDEPENDENT_EXECUTION_AND_OUTPUT_QUALITY_REVIEW,EXECUTED_PENDING_INDEPENDENT_EXECUTION_AND_OUTPUT_QUALITY_REVIEW,PASS,execution_log_and_parent_status
| EMAPEXECVAL-034,next_action_status,HELD_EVIDENCE_MAP_ALIGNMENT_EXECUTION_REVIEW_PENDING_NOT_CASE_COMPLETE,HELD_EVIDENCE_MAP_ALIGNMENT_EXECUTION_REVIEW_PENDING_NOT_CASE_COMPLETE,PASS,NEXT_ROBOT_037_row
| EMAPEXECVAL-035,final_gate_completion_delivery_release,HELD/NOT_RELEASED/NOT_RELEASED,HELD/NOT_RELEASED/NOT_RELEASED,PASS,no_release_claim
| EMAPEXECVAL-036,execution_artifact_set_rows_unique_order,9/9/1..9,9/9/1..9,PASS,formal_evidence_map_alignment_execution_artifact_set_20260728.csv
| EMAPEXECVAL-037,artifacts_1_through_8_exist,8,8,PASS,exact_relative_paths
| EMAPEXECVAL-038,artifacts_1_through_8_identity_snapshot,0_missing,0_missing,PASS,identities_frozen_before_validation
| EMAPEXECVAL-039,review_request_validation_result_preclaim,0,0,PASS,request_only_no_self_review
| EMAPEXECVAL-040,manifest_history_before_execution_append,768/e0faf9b81525a2293d17fb5164699491ed35f6a9378dccdc17761fe83c9bc570,768/e0faf9b81525a2293d17fb5164699491ed35f6a9378dccdc17761fe83c9bc570,PASS,design_repair_history_prefix
| EMAPEXECVAL-041,reserved_execution_manifest_rows_before_append,0,0,PASS,RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001
| EMAPEXECVAL-042,validation_self_reference,SELF_REFERENCE_EXCLUDED,SELF_REFERENCE_EXCLUDED,INFO,final_sha256_bytes_mtime_computed_outside_file_then_manifest_append
|
|
