C470 CERTIFICATE.json

{
  "step": "C470",
  "status": "completed",
  "title": "All Sourced 1150 Intervals and Fixed-Pivot Expansion to 1250",
  "previous_certificate_sha256": "5bf8a1ee45e16a9adc59aac4301423cac7d282d56c745309680daf2055a347ec",
  "bindings": {
    "step": "STEP.json",
    "source_manifest": "SOURCE_MANIFEST.json",
    "report": "490d_C470_Complete_1150_to_1250_Fixed_Pivot_Census_20260925.md",
    "checkpoint": "490d_Mirror_Checkpoint_After_C470_20260925.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": "812bbf1cbb62ddff444b53d6f9fb7d3ddad0fa5b70c56e2de26eb73a87d1bfe8",
  "source_manifest_sha256": "7b80f61de9057aa83573b8e2aa14b606f169b4311ac9c17662295da2efdad685",
  "report_sha256": "5ba9e06c7ee25c885bb990524305f4defb12ea8c4f47e36c61a76133051ce236",
  "checkpoint_sha256": "981ac1008b5cc50e4edfd5e88aa343439c3f10ba629a6f9d3842fadbe0818886",
  "data_sha256": "2ad6c614fa13487ad7a9bbf817f98908c8975771e5de5badd71de1d9f176c670",
  "results_sha256": "6aa8bfdd0a110694ae5ee4fc57ef9089e4d70a5935cf89208c05a98315f23414",
  "calculation_sha256": "13f08a049cf04989527a5eb995d2825e15a51b637d4a40b752117a14c9bb0f5b",
  "verifier_sha256": "522dc3d500a35472af7081298ec2b8c67e7c247ee8911c7ca17899c64f6cda87",
  "next_step_decision_sha256": "abe8735c94490df301abcf9256a9f4c26fedf4cea8543355fec88f1e0af1520c",
  "replay_sha256": "8ece7780d5f0c4dbbd97bc039cf6d0c98abc6274c74641934ce045abdfabc9e6",
  "control_integrity_sha256": "fef440ea1666c3c54d1a296e66d87da22a5fe1fcc3a83fe6e4412ad206c5665c",
  "readme_sha256": "3af99c58f63b16d740cb072353d721f0b855a8c3d4c34854ddf76c15b9ba04cc",
  "assertions_passed": 432,
  "source_checks_passed": 21,
  "main_result": "All 51 sourced 1150-year coordinate pairs (101 label pairs) produce 408 fixed-pivot E trials: 16 have integer outputs and three have both outputs sourced. The admitted pairs are1955/3105→1805/3055 at3680,2020/3170→1956/3206 at2756, and2148/3298→2020/3270 at3620. Only the middle case has a complete sourced2K predecessor,2148/3206 at3620.",
  "limits": "All absence and completeness claims are limited to the528-record,373-coordinate register and eight fixed pivots. No new source coordinate, pivot, phase or global axis is introduced.",
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false,
  "next_step_executed": false,
  "next_proposed_step": "Resolve all three admitted1150→1250 expansions into source-role and context changes, classify the two missing2K ancestries by exact inverse congruence and source membership, and identify their common output binding."
}