{
  "step": "C401",
  "status": "completed",
  "date": "2026-09-24",
  "title": "Circuit source domain and529-lattice obstruction",
  "previous_certificate_sha256": "41a8cf8208d63a702a2636a13f8b94f9c4c0ce851c8ad6305ab052119276ab0a",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C401_Circuit_Source_Domain_and_529_Lattice_Obstruction_20260924.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C401_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": "ff870e6e4750bfc2ec85c44e9dc478072dbb4687bf7b20a82f18da6d915574b5",
  "source_manifest_sha256": "1c698f7dccf926452d7b19efd9ab9dd86bb53a2b266d5fdec834ea8f4b53f516",
  "report_sha256": "51308ab8c1d7cf4690b0e28fdf590c3e53c561df1dcee936f623767cf9783684",
  "checkpoint_sha256": "758276cb8e90156ec45e76fe00ca891b256ca65e5c7f1080b3846d7c191f4bfb",
  "data_sha256": "e59b1490c2d298c5050039bab06364bdfaa035cbc8ea646b7421aa80d06d1981",
  "results_sha256": "80b07ae8977d873da363860c3fa66d40f6b9d4f19daf01f75e8f6ae6c55510cb",
  "calculation_sha256": "86b7133703f3d67ff8691a21b786b4e7974c29b691795c1b4177c02d87c897ee",
  "verifier_sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
  "next_step_decision_sha256": "ac377fa7455dea62bdf8fe667a0deb8cdc2c8dc57c46d7292d84dc0e313703cc",
  "replay_sha256": "332b061c2b9fd5a2d1e6edc9e75e76f08b2726f74cbd44a8b66a7de632481c33",
  "control_integrity_sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
  "readme_sha256": "faccca00c3a2742ee6da3717ffc8925a13e5a822fa375826a73c2e003478559e",
  "assertions_passed": 21,
  "source_checks_passed": 14,
  "main_result": "Across2238 generator/input trials, each of the six circuit maps retains only its fixed source basepoint. Reduced denominators prove the same for every nonempty positive circuit.2K/17K spans become fractional; the529 lattice is not preserved. The three-vertex path grammar remains a local source comparison, not a global chronology action.",
  "limits": "The lattice calculations supply no new dates or anchors. A coordinate-affine map can be mathematically defined beyond its admitted source path without those additional images becoming source records.",
  "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": "Reconstruct the six source loop configurations from the current table, variant and Flood-boundary rules, and audit which parts of the new operator grammar are explicitly sourced versus algebraically derived. Preserve LXX Cainan-removal and SP companion qualifications.",
  "next_step_executed": false
}