{"id": "c643", "title": "C643 — Solve the source-state correction congruence", "filename": "C643.md", "role": "Research action", "step": 643, "sha256": "e2f8521ba0bfd38797b4be94b54210f039b1f76b1507f2fe5056fe09d3c8683a", "bytes": 1312, "origins": ["C480–C1634/Research_Cycles/C0632_C0731/journal.json#C643"], "download": "/sources/e2f8521ba0bfd38797b4be94b54210f039b1f76b1507f2fe5056fe09d3c8683a.md", "format": "md", "derived": true, "tags": ["Regular", "Calendar Keys"], "excerpt": "Given the standard2236 vector, what correction first enters the complete calendar-compatible class?", "content": "# C643 — Solve the source-state correction congruence\n\n## Question\n\nGiven the standard2236 vector, what correction first enters the complete calendar-compatible class?\n\n## Inputs\n\n```json\n{\n  \"standard_vector\": 2236,\n  \"compatible_class\": \"2366+32760q\",\n  \"permitted_test\": \"nonnegative integer correction to Creation rail only\"\n}\n```\n\n## Sources\n\n```json\n[\n  \"C640,C642; File70 regular Cainan comparison\"\n]\n```\n\n## Opened utc\n\n2026-09-28T00:59:50.845969+00:00\n\n## Results\n\n```json\n{\n  \"correction_class\": \"130+32760q\",\n  \"least_nonnegative\": 130,\n  \"examples\": [\n    130,\n    32890,\n    65650\n  ],\n  \"source_regular_Cainan\": 130\n}\n```\n\n## Finding\n\nWith the standard vector and the14/26 offsets fixed, the least nonnegative correction satisfying all three calendar conditions is130. This recovers the supplied regular-Cainan increment conditionally; it does not infer an insertion history or change the frozen MT state.\n\n## Reassessment\n\nUse the supplied Enoch close to reconstruct the Priestly minimum’s internal partition.\n\n## Checks\n\n```json\n{\n  \"least\": true,\n  \"compatible\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T00:59:50.846140+00:00\n\n## Record provenance\n\nExact record hash: `2d76bad693f618f2534e23e922c8d6ae92c4cca38f6b11bd4c7b6dc807d3a113`\n\nSource journal: `Research_Cycles/C0632_C0731/journal.json`", "journalDownload": "/sources/f0643e934c6a7443706351fa40040684d915ed0ae25c0f9188a4c4dba12814ff.json", "evidenceLinks": [{"id": "d-0fa80217c94b3951", "title": "File 70"}]}