{
  "schema_version": "wave-3-evidence-public.v1",
  "generated_at": "2026-09-30",
  "scope": "Compact, public-safe evidence supplement for the deterministic cellular-automaton wave-3 census. It binds the published aggregate to the locked protocol, active tables, matched comparisons, mechanism witness, validation, and source hashes. Full per-case ledgers remain omitted because they are large; their exact hashes and row counts are retained.",
  "claim_boundary": "Finite digital rule-experiment evidence only. The results do not establish biological mechanism, cognition, learning, intention, or generalization beyond the stated board, rules, cases, boundaries, and endpoints.",
  "clock": {
    "damage_absolute_generations": [
      8,
      9,
      10,
      11
    ],
    "eligibility_gate_through_absolute_generation": 64,
    "early_updates_after_damage": 32,
    "primary_updates_after_damage": 64,
    "secondary_updates_after_damage": 256,
    "primary_endpoint_absolute_generations_by_damage_phase": [
      72,
      73,
      74,
      75
    ],
    "interpretation": "The endpoint value 64 is updates after the one-cell damage, not absolute generation 64. Absolute generation 64 is a separate intact-baseline eligibility gate."
  },
  "protocol": {
    "protocol_id": "levin-systematic-recovery-wave3/v1",
    "board": {
      "width": 64,
      "height": 40,
      "synchronous": true,
      "rule": "B3/S23",
      "neighborhood": "3x3 Moore neighborhood; row-major bits with top-left as least-significant bit and center included"
    },
    "orientations": [
      "R0",
      "R90",
      "R180",
      "R270",
      "FX",
      "FXR90",
      "FXR180",
      "FXR270"
    ],
    "orientation_count": 8,
    "phases": [
      0,
      1,
      2,
      3
    ],
    "boundaries": [
      "wrap",
      "dead"
    ],
    "seed_center_xy": [
      31,
      19
    ],
    "eligibility": {
      "intact_motion_required_from_generation": 0,
      "intact_motion_required_through_absolute_generation": 64,
      "pre_damage_bitmap_must_equal_exact_control": true,
      "motion_window_frames": 17,
      "required_live_population": 5,
      "site_order": "row-major y then x in the exact phase bounding box expanded by one cell on every side",
      "sites_per_eligible_group": 25,
      "removals_per_group": 5,
      "additions_per_group": 20
    },
    "saved_frames_per_group": 257,
    "longrun_updates_after_damage": 2000,
    "longrun_max_cases_per_table": 8,
    "provider_calls": 0,
    "site_calls": 0
  },
  "active_tables": [
    {
      "id": "exact",
      "background": "exact",
      "changed_ids": [],
      "changed_id_count": 0,
      "table_sha256": "0ea2e608e78e4422f689396592fa487781af38bfd214172a8e277c628b77c862",
      "bitstring_sha256": "e4a2b75a14cba5daa15056bd641401782a642f27acd2b562b1ef06ce078127d9"
    },
    {
      "id": "exact-plus-raw-ID9",
      "background": "exact",
      "changed_ids": [
        9
      ],
      "changed_id_count": 1,
      "table_sha256": "ced04c10a7312f9fbad503c2b16223c9ebc5fbf6a27a864e8d761d4591f7cafc",
      "bitstring_sha256": "a2c22b049508e95e09d4be9eb96bd769a330e900c27184c605eed6dc616c76d7"
    },
    {
      "id": "raw-plus-canonical-ten-corrections",
      "background": "raw",
      "changed_ids": [
        9,
        11,
        48,
        181,
        208,
        241,
        290,
        352,
        388,
        392
      ],
      "changed_id_count": 10,
      "table_sha256": "321499a2fa66a0a8ee95e6f30a4bd71b167598e66ae3317d2e5bc14b5c1bd1b2",
      "bitstring_sha256": "841ade5de6e82478991982f0bd17bbcb78d1bbfb55f72f5966aa65a6d3bc3825"
    },
    {
      "id": "raw-plus-all-D4-support-corrections",
      "background": "raw",
      "changed_ids": [
        9,
        11,
        13,
        14,
        18,
        24,
        35,
        37,
        43,
        46,
        48,
        67,
        74,
        107,
        115,
        137,
        139,
        157,
        164,
        166,
        181,
        193,
        208,
        224,
        233,
        241,
        262,
        286,
        290,
        328,
        344,
        346,
        352,
        368,
        370,
        388,
        392,
        400,
        404,
        416,
        448
      ],
      "changed_id_count": 41,
      "union_support_id_count": 117,
      "table_sha256": "467f0f338f41bfe19f69d70a2a9974014c0e2a70658b58394657b70a28661f43",
      "bitstring_sha256": "18af58a77f729f659dd234507e73b591e80056af42730f2e9b5ad4524e2f70e1"
    }
  ],
  "eligibility_census": {
    "labelled_eligibility_cases": 256,
    "eligible_groups": 160,
    "one_cell_damage_cases": 4000,
    "groups_per_boundary": {
      "exact": 32,
      "exact-plus-raw-ID9": 8,
      "raw-plus-canonical-ten-corrections": 8,
      "raw-plus-all-D4-support-corrections": 32
    },
    "orientations_by_table": {
      "exact": "all 8",
      "exact-plus-raw-ID9": [
        "R180",
        "FXR270"
      ],
      "raw-plus-canonical-ten-corrections": [
        "R0",
        "FXR90"
      ],
      "raw-plus-all-D4-support-corrections": "all 8"
    },
    "boundary_note": "Each listed group is assessed under both wrap and dead boundaries; the aggregate contains 800, 200, 200, and 800 damage cases per boundary for the four active tables respectively."
  },
  "endpoint_64_census": [
    {
      "rule": "exact",
      "boundary": "wrap",
      "operation": "all",
      "n": 800,
      "selected_glider": 32,
      "any_glider": 32,
      "same_rule_coalesced": 32,
      "extinct": 304,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 76
    },
    {
      "rule": "exact",
      "boundary": "wrap",
      "operation": "removal",
      "n": 160,
      "selected_glider": 0,
      "any_glider": 0,
      "same_rule_coalesced": 0,
      "extinct": 48,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 0
    },
    {
      "rule": "exact",
      "boundary": "wrap",
      "operation": "addition",
      "n": 640,
      "selected_glider": 32,
      "any_glider": 32,
      "same_rule_coalesced": 32,
      "extinct": 256,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 76
    },
    {
      "rule": "exact",
      "boundary": "dead",
      "operation": "all",
      "n": 800,
      "selected_glider": 24,
      "any_glider": 24,
      "same_rule_coalesced": 32,
      "extinct": 304,
      "dead_boundary_censored": 200,
      "candidate_edge_exposed": 76
    },
    {
      "rule": "exact",
      "boundary": "dead",
      "operation": "removal",
      "n": 160,
      "selected_glider": 0,
      "any_glider": 0,
      "same_rule_coalesced": 0,
      "extinct": 48,
      "dead_boundary_censored": 40,
      "candidate_edge_exposed": 0
    },
    {
      "rule": "exact",
      "boundary": "dead",
      "operation": "addition",
      "n": 640,
      "selected_glider": 24,
      "any_glider": 24,
      "same_rule_coalesced": 32,
      "extinct": 256,
      "dead_boundary_censored": 160,
      "candidate_edge_exposed": 76
    },
    {
      "rule": "exact-plus-raw-ID9",
      "boundary": "wrap",
      "operation": "all",
      "n": 200,
      "selected_glider": 10,
      "any_glider": 10,
      "same_rule_coalesced": 10,
      "extinct": 46,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 32
    },
    {
      "rule": "exact-plus-raw-ID9",
      "boundary": "wrap",
      "operation": "removal",
      "n": 40,
      "selected_glider": 2,
      "any_glider": 2,
      "same_rule_coalesced": 2,
      "extinct": 12,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 2
    },
    {
      "rule": "exact-plus-raw-ID9",
      "boundary": "wrap",
      "operation": "addition",
      "n": 160,
      "selected_glider": 8,
      "any_glider": 8,
      "same_rule_coalesced": 8,
      "extinct": 34,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 30
    },
    {
      "rule": "exact-plus-raw-ID9",
      "boundary": "dead",
      "operation": "all",
      "n": 200,
      "selected_glider": 5,
      "any_glider": 5,
      "same_rule_coalesced": 10,
      "extinct": 46,
      "dead_boundary_censored": 100,
      "candidate_edge_exposed": 32
    },
    {
      "rule": "exact-plus-raw-ID9",
      "boundary": "dead",
      "operation": "removal",
      "n": 40,
      "selected_glider": 1,
      "any_glider": 1,
      "same_rule_coalesced": 2,
      "extinct": 12,
      "dead_boundary_censored": 20,
      "candidate_edge_exposed": 2
    },
    {
      "rule": "exact-plus-raw-ID9",
      "boundary": "dead",
      "operation": "addition",
      "n": 160,
      "selected_glider": 4,
      "any_glider": 4,
      "same_rule_coalesced": 8,
      "extinct": 34,
      "dead_boundary_censored": 80,
      "candidate_edge_exposed": 30
    },
    {
      "rule": "raw-plus-canonical-ten-corrections",
      "boundary": "wrap",
      "operation": "all",
      "n": 200,
      "selected_glider": 20,
      "any_glider": 20,
      "same_rule_coalesced": 20,
      "extinct": 0,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 153
    },
    {
      "rule": "raw-plus-canonical-ten-corrections",
      "boundary": "wrap",
      "operation": "removal",
      "n": 40,
      "selected_glider": 0,
      "any_glider": 0,
      "same_rule_coalesced": 0,
      "extinct": 0,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 16
    },
    {
      "rule": "raw-plus-canonical-ten-corrections",
      "boundary": "wrap",
      "operation": "addition",
      "n": 160,
      "selected_glider": 20,
      "any_glider": 20,
      "same_rule_coalesced": 20,
      "extinct": 0,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 137
    },
    {
      "rule": "raw-plus-canonical-ten-corrections",
      "boundary": "dead",
      "operation": "all",
      "n": 200,
      "selected_glider": 20,
      "any_glider": 20,
      "same_rule_coalesced": 20,
      "extinct": 0,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 153
    },
    {
      "rule": "raw-plus-canonical-ten-corrections",
      "boundary": "dead",
      "operation": "removal",
      "n": 40,
      "selected_glider": 0,
      "any_glider": 0,
      "same_rule_coalesced": 0,
      "extinct": 0,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 16
    },
    {
      "rule": "raw-plus-canonical-ten-corrections",
      "boundary": "dead",
      "operation": "addition",
      "n": 160,
      "selected_glider": 20,
      "any_glider": 20,
      "same_rule_coalesced": 20,
      "extinct": 0,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 137
    },
    {
      "rule": "raw-plus-all-D4-support-corrections",
      "boundary": "wrap",
      "operation": "all",
      "n": 800,
      "selected_glider": 4,
      "any_glider": 4,
      "same_rule_coalesced": 4,
      "extinct": 28,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 636
    },
    {
      "rule": "raw-plus-all-D4-support-corrections",
      "boundary": "wrap",
      "operation": "removal",
      "n": 160,
      "selected_glider": 0,
      "any_glider": 0,
      "same_rule_coalesced": 0,
      "extinct": 8,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 68
    },
    {
      "rule": "raw-plus-all-D4-support-corrections",
      "boundary": "wrap",
      "operation": "addition",
      "n": 640,
      "selected_glider": 4,
      "any_glider": 4,
      "same_rule_coalesced": 4,
      "extinct": 20,
      "dead_boundary_censored": 0,
      "candidate_edge_exposed": 568
    },
    {
      "rule": "raw-plus-all-D4-support-corrections",
      "boundary": "dead",
      "operation": "all",
      "n": 800,
      "selected_glider": 1,
      "any_glider": 1,
      "same_rule_coalesced": 4,
      "extinct": 28,
      "dead_boundary_censored": 200,
      "candidate_edge_exposed": 636
    },
    {
      "rule": "raw-plus-all-D4-support-corrections",
      "boundary": "dead",
      "operation": "removal",
      "n": 160,
      "selected_glider": 0,
      "any_glider": 0,
      "same_rule_coalesced": 0,
      "extinct": 8,
      "dead_boundary_censored": 40,
      "candidate_edge_exposed": 68
    },
    {
      "rule": "raw-plus-all-D4-support-corrections",
      "boundary": "dead",
      "operation": "addition",
      "n": 640,
      "selected_glider": 1,
      "any_glider": 1,
      "same_rule_coalesced": 4,
      "extinct": 20,
      "dead_boundary_censored": 160,
      "candidate_edge_exposed": 568
    }
  ],
  "matched_endpoint_64_wrap": {
    "no_new_trials": true,
    "comparison_rule": "Only identical labelled damaged bitmaps in shared eligible orientations are compared; global denominators differ across conditions.",
    "matched_to_exact": [
      {
        "candidate_rule": "exact-plus-raw-ID9",
        "n": 200,
        "initial_bitmaps_identical": true,
        "candidate_motion": 10,
        "exact_motion": 8,
        "outcome_pairs": {
          "candidate0_exact0": 190,
          "candidate1_exact1": 8,
          "candidate1_exact0": 2
        },
        "dead_reference_censored": 0
      },
      {
        "candidate_rule": "raw-plus-canonical-ten-corrections",
        "n": 200,
        "initial_bitmaps_identical": true,
        "candidate_motion": 20,
        "exact_motion": 8,
        "outcome_pairs": {
          "candidate0_exact1": 8,
          "candidate0_exact0": 172,
          "candidate1_exact0": 20
        },
        "dead_reference_censored": 0
      },
      {
        "candidate_rule": "raw-plus-all-D4-support-corrections",
        "n": 800,
        "initial_bitmaps_identical": true,
        "candidate_motion": 4,
        "exact_motion": 32,
        "outcome_pairs": {
          "candidate0_exact1": 32,
          "candidate0_exact0": 764,
          "candidate1_exact0": 4
        },
        "dead_reference_censored": 0
      }
    ],
    "matched_between_repair_tables": [
      {
        "source_rule": "exact-plus-raw-ID9",
        "matched_rule": "raw-plus-all-D4-support-corrections",
        "n": 200,
        "initial_bitmaps_identical": true,
        "source_motion": 10,
        "matched_motion": 4,
        "outcome_pairs": {
          "source0_matched0": 186,
          "source1_matched0": 10,
          "source0_matched1": 4
        }
      },
      {
        "source_rule": "raw-plus-canonical-ten-corrections",
        "matched_rule": "raw-plus-all-D4-support-corrections",
        "n": 200,
        "initial_bitmaps_identical": true,
        "source_motion": 20,
        "matched_motion": 0,
        "outcome_pairs": {
          "source0_matched0": 180,
          "source1_matched0": 20
        }
      }
    ]
  },
  "mechanism_witness": {
    "source_logical_name": "mechanism-context-check.json",
    "source_sha256": "5800dac078bb69cc30d7cd0a624c7a17fbcf34f853c4aac9ec60c34a80525b63",
    "status": "passed",
    "independent_stepper": true,
    "new_simulation_trials": 0,
    "replayed_saved_transitions": 3,
    "healthy_context": {
      "coordinate": [
        33,
        20
      ],
      "neighborhood_id": 9,
      "required_next_output_to_preserve_exact": 0
    },
    "removed_cell": {
      "coordinate": [
        30,
        17
      ],
      "damaged_id": 1,
      "undamaged_id": 17,
      "desired_next_output": 0,
      "exact_next_output": 0,
      "mutant_next_output": 0
    },
    "restoring_birth": {
      "coordinate": [
        29,
        18
      ],
      "damaged_id": 9,
      "undamaged_id": 13,
      "desired_next_output": 1,
      "exact_next_output": 0,
      "mutant_next_output": 1
    },
    "full_mutant_next_equals_undamaged_exact_control": true,
    "exact_on_damaged_input_differs_only_at_neighboring_birth": true,
    "conflicting_required_outputs_for_input9": [
      0,
      1
    ],
    "conclusion": "A fixed deterministic memoryless 3x3 table cannot both preserve the healthy R0 next state exactly and restore the damaged FXR270 next state exactly in one update.",
    "limits": "This is an exact one-update conflict. It does not exclude later recovery, other injuries, larger spatial context, or temporal memory."
  },
  "validation": {
    "source_logical_name": "validation.json",
    "source_sha256": "9e85849bd785f4a94781fcaf4db5b933802098a67b803f2024cbb51c3ecb88f5",
    "status": "passed",
    "sham_frame_comparisons": 57128,
    "all_shams_equal": true,
    "one_cell_and_cross_rule_bitmap_checks": 4000,
    "all_initial_edits_one_cell": true,
    "all_eligible_pre_damage_bitmaps_equal_exact": true,
    "all_same_rule_rejoin_absorbing": true,
    "longrun_prefixes_match_census": true,
    "locked_inputs_unchanged": true,
    "integrity": {
      "source_logical_name": "integrity-verification.json",
      "source_sha256": "a39ab9c061352794df03877eb0c74c3c925282a143c33f294f5773ab9ec6f7ce",
      "included_file_count": 243,
      "mismatches": [],
      "all_three_report_replays_pass": true,
      "all_three_normalizer_checks_pass": true,
      "all_three_report_file_hashes_match_ledger": true,
      "root_all_four_tables_match": true,
      "partner_three_shared_tables_match": true,
      "completed_damage_cases": 4000,
      "completed_2000_update_representatives": 8,
      "mechanism_context_check_pass": true,
      "all_prior_archived_trajectories_and_conditions_unchanged": true
    }
  },
  "runtime": {
    "source_logical_name": "runtime.json",
    "source_sha256": "716678d613e2f276bd229081408dd6eec4510d014c2f683338abda53e5c7752e",
    "status": "complete",
    "script_sha256": "160a28e356675c729e7934a8cf3af749bd728643d559ce0f01bd102393bc99dc",
    "provider_calls": 0,
    "site_calls": 0,
    "cpu_limit_seconds": 1200,
    "elapsed_seconds": 163.5307252999919,
    "planned_groups": 160,
    "completed_groups": 160,
    "damage_cases": 4000,
    "longrun_selected": 8,
    "longrun_completed": 8,
    "budget_stop": false
  },
  "source_files": [
    {
      "logical_name": "wave3/case-results.json",
      "bytes": 13889947,
      "sha256": "8cb4b32378292fef62065d609b42377d89eec1e719ee34580e211d6e3f6ea119",
      "embedded": false,
      "note": "4000 per-case rows; full ledger retained by hash"
    },
    {
      "logical_name": "wave3/outcome-annotations.json",
      "bytes": 5670040,
      "sha256": "3ebd8f813fad7755e3c770a5d1908f20f4a1991b3f22b1cf8584dc345f9eadaa",
      "embedded": false,
      "note": "Full annotations retained by hash"
    },
    {
      "logical_name": "wave3/aggregate.json",
      "bytes": 35307,
      "sha256": "05f63f467bd9b47479ca7ee982fda31e433a00907587fa1205ade0f5b3c6ae99",
      "embedded": false
    },
    {
      "logical_name": "wave3/aggregate.csv",
      "bytes": 4443,
      "sha256": "64a732b18f3110894e776146a8adbe57143bc3940b5e99792d42253f5109a4f2",
      "embedded": false
    },
    {
      "logical_name": "wave3/preregistration.md",
      "bytes": 5803,
      "sha256": "d037579bd0a0372009a7605a75e4ef5e0598a2e4f29240d6242887267007d730",
      "embedded": false
    },
    {
      "logical_name": "wave3/preregistration-lock.json",
      "bytes": 1052,
      "sha256": "b2de2995025658e124605296e57e4d27510e2972ba25a876f49d9341a61f0892",
      "embedded": false
    },
    {
      "logical_name": "wave3/settings.json",
      "bytes": 1411,
      "sha256": "455fe9719b138ae5f2fb14c27b613a27ce3598fbb1a01a5ea56dd17405bbfbe3",
      "embedded": false
    },
    {
      "logical_name": "wave3/tables.json",
      "bytes": 30484,
      "sha256": "3de8199bfe096cbcaa6b90d209917fb140d9b2efb31f3284d0d28e50ebc09731",
      "embedded": false
    },
    {
      "logical_name": "wave3/validation.json",
      "bytes": 388,
      "sha256": "9e85849bd785f4a94781fcaf4db5b933802098a67b803f2024cbb51c3ecb88f5",
      "embedded": false
    },
    {
      "logical_name": "wave3/runtime.json",
      "bytes": 661,
      "sha256": "716678d613e2f276bd229081408dd6eec4510d014c2f683338abda53e5c7752e",
      "embedded": false
    },
    {
      "logical_name": "wave3/source-provenance.json",
      "bytes": 1250,
      "sha256": "809620ac6bcaa59dab15bbeb09ab6eba0909a55855ade2173acd76dbe04a51af",
      "embedded": false,
      "note": "Only hash is exposed here; provenance content is sanitized"
    },
    {
      "logical_name": "wave3/matched-rule-comparison.json",
      "bytes": 8269,
      "sha256": "7aabe0b5614d8683ebcab9ca5958ccc65f232c456bf8eeb2662dc80acaaccf37",
      "embedded": false
    },
    {
      "logical_name": "wave3/paired-boundary-comparison.json",
      "bytes": 1134468,
      "sha256": "f7bbda8ed2e802591d0bbbb80a400421b1320412a79981e260c93301c3e83b41",
      "embedded": false
    },
    {
      "logical_name": "wave3/duplicate-trajectories.json",
      "bytes": 214436,
      "sha256": "6301fa04cc59606950874a4157363592cc9d92e8a0c68eec26008555beac76af",
      "embedded": false
    },
    {
      "logical_name": "wave3/longrun-results.json",
      "bytes": 33756,
      "sha256": "c9a17af4f08ecbee842fe24a1bed6983fd4046b713db446d2b91225ceb4f282e",
      "embedded": false
    },
    {
      "logical_name": "wave3/longrun-selection.json",
      "bytes": 1639,
      "sha256": "bb3aecd087b1c2a23629e5625861d98ee373b2d5fbede9b82c5d51120868c443",
      "embedded": false
    },
    {
      "logical_name": "wave3/mechanism-context-check.json",
      "bytes": 2504,
      "sha256": "5800dac078bb69cc30d7cd0a624c7a17fbcf34f853c4aac9ec60c34a80525b63",
      "embedded": false
    },
    {
      "logical_name": "wave3/support-and-ten-proof.json",
      "bytes": 11034,
      "sha256": "13705f31d9b3a7caa3beb640914a063a4677628e033d91d9d5103a8663ce6866",
      "embedded": false
    },
    {
      "logical_name": "wave3/integrity-verification.json",
      "bytes": 1608,
      "sha256": "a39ab9c061352794df03877eb0c74c3c925282a143c33f294f5773ab9ec6f7ce",
      "embedded": false
    },
    {
      "logical_name": "wave3/results.md",
      "bytes": 11690,
      "sha256": "4646a5af588ca4794ac3f05ed97628f73c302c2b933735966d6a65cfc8cd6e7a",
      "embedded": false
    },
    {
      "logical_name": "wave3/run_wave3.py",
      "bytes": 18865,
      "sha256": "160a28e356675c729e7934a8cf3af749bd728643d559ce0f01bd102393bc99dc",
      "embedded": false
    }
  ],
  "omitted_artifacts": [
    {
      "logical_name": "wave3/case-results.json",
      "reason": "13.9 MB full ledger; retained by exact SHA-256 and row count"
    },
    {
      "logical_name": "wave3/outcome-annotations.json",
      "reason": "5.7 MB annotation ledger; retained by exact SHA-256"
    },
    {
      "logical_name": "wave3/trajectories/",
      "reason": "Per-group frame archives are not copied into this compact supplement"
    },
    {
      "logical_name": "wave3/table-values-and-bitstrings",
      "reason": "Full 512-entry tables are represented by active-table hashes and change IDs"
    }
  ],
  "interpretation_limits": [
    "Counts are labelled deterministic census cases, not independent samples or probability estimates.",
    "The active conditions have different eligibility denominators; matched comparisons use identical damaged bitmaps.",
    "Dead-boundary movement at primary64 is censored when the exact reference itself has lost the full-grid motion signature; the census retains that censor count.",
    "A selected eight-case 2000-update run is illustrative and was locked before long-run outcomes; it is not an unbiased robustness sample.",
    "The mechanism witness is a saved-transition replay and exact one-update conflict check; it does not prove a universal impossibility theorem for richer spatial or temporal rules."
  ]
}
