validation_id,check_name,expected,actual,status,evidence
EMAPDVAL-001,case_id,ANA-ROBOT-INDUSTRY-001,ANA-ROBOT-INDUSTRY-001,PASS,formal_design
EMAPDVAL-002,formal_map_data_rows_before_design,41,41,PASS,case_evidence_map.csv
EMAPDVAL-003,formal_map_sha256_before_design,e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,e2ac9738a143fbf63d6e4b69cd9789fcebc707e355c9ca4a52d67b946362af84,PASS,formal_map_unchanged
EMAPDVAL-004,baseline_rows,41,41,PASS,formal_evidence_map_alignment_baseline_20260728.csv
EMAPDVAL-005,baseline_unique_artifacts,41,41,PASS,duplicate_artifact_count_0
EMAPDVAL-006,baseline_artifact_identity_mismatch,0,0,PASS,sha256_bytes_lines_recomputed
EMAPDVAL-007,target_authority_rows,45,45,PASS,formal_evidence_map_alignment_target_authority_20260728.csv
EMAPDVAL-008,target_unique_row_ids,45,45,PASS,duplicate_target_row_id_0
EMAPDVAL-009,target_unique_artifacts,45,45,PASS,duplicate_target_artifact_0
EMAPDVAL-010,target_group_counts,THREEPIECE3;SAMPLE2;COMPANY1615;SUBINDUSTRY1313;PARAGRAPH3;SNAPSHOT5;DATABASE4,THREEPIECE3;SAMPLE2;COMPANY1615;SUBINDUSTRY1313;PARAGRAPH3;SNAPSHOT5;DATABASE4,PASS,45_rows_exact
EMAPDVAL-011,existing41_bidirectional_set_diff,0/0,0/0,PASS,baseline_vs_target_existing
EMAPDVAL-012,new_database_row_ids,EMAP-042..045,EMAP-042..045,PASS,exact_four_new_rows
EMAPDVAL-013,existing_immutable_field_mismatch,0,0,PASS,source_rel_source_binding_ref_evidence_fact_plan_ref
EMAPDVAL-014,existing_evidence_entry_prefix_mismatch,0,0,PASS,original_entry_preserved_as_prefix
EMAPDVAL-015,audit_authority_rows,7,7,PASS,formal_evidence_map_alignment_audit_authority_20260728.csv
EMAPDVAL-016,target_unique_latest_audit_ids,7,7,PASS,one_per_authority_group
EMAPDVAL-017,audit_heading_line_identity_mismatch,0,0,PASS,seven_frozen_heading_lines
EMAPDVAL-018,target_missing_exact_audit_reference,0,0,PASS,all45_target_evidence_entry_contains_latest_audit_id
EMAPDVAL-019,audit_conclusion_authority_mismatch,0,0,PASS,target_vs_audit_authority
EMAPDVAL-020,status_pair_count_by_authority_group,7,7,PASS,one_pair_per_group
EMAPDVAL-021,evidence_strength_upgrade_rows,0,0,PASS,NO_UPGRADE_45_of_45
EMAPDVAL-022,retained_gap_empty_rows,0,0,PASS,retained_gap_boundary_nonempty_45_of_45
EMAPDVAL-023,threepiece_retained_gap_boundary_errors,0,0,PASS,threepiece3_PASS_WITH_RETAINED_GAPS
EMAPDVAL-024,company_subindustry_retained_gap_boundary_errors,0,0,PASS,company15_subindustry13
EMAPDVAL-025,database_market_observation_boundary_errors,0,0,PASS,as_of_2026-07-24;MARKET_OBSERVATION_ONLY_NOT_INVESTMENT_CONCLUSION;NO_AUTOMATIC_FORMAL_POOL_CHANGE
EMAPDVAL-026,database_observation_artifact_missing,0,0,PASS,four_currentity_execution_artifacts_exist
EMAPDVAL-027,migration_manifest_sha256,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,88f4e3aaa49f6acd4211a0b4a49d4235e52dd7a6830f289e4373d5da8b208a1f,PASS,protected_unchanged
EMAPDVAL-028,protected_identity_authority_sha256,a5629c5abc01c367585c2c62ecb6b76c5ac713379f7417de4bff5bce68f45537,a5629c5abc01c367585c2c62ecb6b76c5ac713379f7417de4bff5bce68f45537,PASS,protected30_unchanged
EMAPDVAL-029,alignment_contract_rows_unique,30/30,30/30,PASS,formal_evidence_map_alignment_contract_20260728.csv
EMAPDVAL-030,execution_artifact_set_rows_unique_order,9/9/1..9,9/9/1..9,PASS,formal_evidence_map_alignment_execution_artifact_set_20260728.csv
EMAPDVAL-031,design_artifact_set_rows_unique_order,13/13/1..13,13/13/1..13,PASS,formal_evidence_map_alignment_design_artifact_set_20260728.csv
EMAPDVAL-032,reserved_execution_manifest_rows,0,0,PASS,RUN-ANA-ROBOT-FORMAL-EVIDENCE-MAP-ALIGNMENT-EXECUTION-001
EMAPDVAL-033,design_review_request_preclaims_pass,0,0,PASS,design_review_only_no_execution_release_claim
EMAPDVAL-034,stale_currentity_2026-07-21_statement_occurrences_in_alignment_design,0,0,PASS,obsolete_gate_removed
EMAPDVAL-035,validation_self_reference,SELF_REFERENCE_EXCLUDED,SELF_REFERENCE_EXCLUDED,INFO,final_sha256_bytes_mtime_computed_outside_file_then_manifest_append