{
  "step": "C357",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Source constants and context controls for the three-row E pattern",
  "previous_certificate_sha256": "4011639482a362a9a5257a33dc50ab97443cfb47ffede991717611c66faf4cd6",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C357_Three_Row_E_Normal_Form_and_Context_Census_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C357_20260924.md",
    "data": "evidence/DATA.json",
    "results": "evidence/RESULTS.json",
    "calculation": "evidence/CALCULATION.py",
    "verifier": "evidence/check.py",
    "next_step_decision": "NEXT_STEP_DECISION.json",
    "replay": "REPLAY.json",
    "control_integrity": "CONTROL_INTEGRITY.json",
    "readme": "README.md"
  },
  "step_sha256": "36b9eda61458e4c4ed088563217d707a3a06f887798bd7f0a602cad9d8e56a1b",
  "source_manifest_sha256": "e137a63382f9c2831d0a390ff8aae88d8be7e3af54444ae8f67c63317f38245a",
  "report_sha256": "a2f624b48f5d58cbe8aa59906fe4bb60e0169988c870142f74d552e7f4b971f7",
  "checkpoint_sha256": "5cfe22d400c2ef084db54babea35684b38876554fb50e4b5ea87a0da593c6857",
  "data_sha256": "a3a725426326a6a0804f9f9d6df4e8396e44ba10f02850e0be1c3c29a18bbe96",
  "results_sha256": "98eb416c1b95c170a2b7df80866316f51ba0d95338f14983dded8ebed5e53a00",
  "calculation_sha256": "2c27a78bb3735556d48caff3c77f7ecdd6d3a42bd086446e9b560b45ed57e8ab",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "30ad7647dfe88c8a172bda95ca68940fdcb49335c117365e83860260808e34ce",
  "replay_sha256": "d3c15883f62cb4646bca5e4662724f4adf9a105d894d24997c8fa91efb8b33a4",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "445723c56542abc4a8508de4b5edd864d40bd3118776a546caec127fe2b4479e",
  "assertions_passed": 405,
  "source_checks_passed": 14,
  "main_result": "The three460→500 rows reduce to650−130−60=460 and650−(500+600−950)=500. Six of384 source-context controls pass: primary SP, MT Cainan ON/Terah60 relative to SP OFF/base, common sojourn, three Gears. Companions produce500/501/499 outputs and do not pass all three.",
  "limits": "The context and Gear repetitions share source constants. Six admitted instances do not establish independent witnesses, a prescribed paired selector, or new complete529 rectangles.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "review_provenance": "Root-agent analysis and deterministic replay; no new independent-agent review",
  "next_proposed_step": "Apply the three-row criterion to all20 existing C319 controls. Distinguish having the local structure from requiring its same-Gear MT Flood input to equal the rectangle’s selected R, then compare the surviving controls with2K and17K.",
  "next_step_executed": false
}