{
  "step": "C274",
  "date": "2026-09-24",
  "status": "completed",
  "title": "529 placement-premise omission audit",
  "previous_certificate_sha256": "c6217745a9340e2380f0a4ec53e9f8e4ebe3b2b16090de2120b00927d92abc23",
  "source_manifest_sha256": "fd9eed4d027a47f674ff7019da8d7531a454f8bb58d4b4b8de9e22d84bfeeb8a",
  "scope_sha256": "b7113d77e439d7b42ddfd689c3af229c458e417571a6c5796934188fac43478a",
  "report_sha256": "df9d1f1bb50dfcd6ac856d8435b080be1ebaf35cbef0399c4b380d9ba1495152",
  "checkpoint_sha256": "e4b31a9e95b043f5a8166e6df274fb632bc60527da41c4d4b5fb78422dcba794",
  "results_sha256": "1444c4a3928a0f344dc5c69b50de9616c7d7011128a24c7042444ba4bdc7a5ab",
  "verifier_sha256": "529f49e1172202d69a06505eae27b06be8b6022a1e6b3d297cb612d50fb9c02a",
  "author_review_sha256": "a4acd5ea7838e96c98463b5d17525b9d5219cc7bbe9353ab433aa35ca9a2813f",
  "replay_sha256": "a1bedad05fbcf32c1c51740d3317fd57d5a0c8bc79014eb4093c3eaa9b294276",
  "control_integrity_sha256": "0d2082a3a3c463e7f96c99904ffcc00a75bcc0660509bb759a945306e3be8e21",
  "assertions_passed": 139,
  "replayed_output_files": 6,
  "frozen_inputs": 15,
  "case_count": 4,
  "case_ranks": [
    3,
    2,
    2,
    2
  ],
  "case_degrees_of_freedom": [
    0,
    1,
    1,
    1
  ],
  "controls_modified": false,
  "graph_modified": false,
  "free_parameters_selected_or_fitted": false,
  "new_source_event_identities_asserted": false,
  "new_independent_review": false,
  "review_type": "author consistency review",
  "main_result": "A/B/C are an irredundant sufficient set for the fixed three-variable affine placement system. Removing any one leaves one free parameter. Local J1 and source bindings survive all omissions. Removing the cumulative SP reflection premise leaves regular SP local radii fixed because their maps depend on LXX, not on the cumulative SP translation.",
  "scientific_limits": [
    "Restricted algebraic irredundance is not historical necessity or global axiom minimality.",
    "The source 600 and assigned translation increment 598 are held fixed; their necessity is not tested.",
    "Formal free families are not new historical states; annual-center admissibility retains integer parameters.",
    "Selected endpoint radii must not be silently relabeled as full-field outer radii.",
    "The regular source match counts are inherited through a universal residual identity, not a historical campaign rerun.",
    "No chart re-fit, changed-placement chart scan or new source-provenance audit was performed."
  ],
  "regular_Gear_scope": [
    "Noah",
    "Shem",
    "Flood"
  ],
  "next_proposed_step": "C275: finite provenance audit of A/B/C in the supplied Mirror/529 sources",
  "next_step_executed": false
}