{"id": "c941", "title": "C941 — Identify the cumulative carry condition", "filename": "C941.md", "role": "Research action", "step": 941, "sha256": "9e98bb7d2d3a2c37f15b7b1f3bc51f8af46870460aab28e73dfb70458ca5d60f", "bytes": 1120, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C941"], "download": "/sources/9e98bb7d2d3a2c37f15b7b1f3bc51f8af46870460aab28e73dfb70458ca5d60f.md", "format": "md", "derived": true, "tags": ["Cumulative"], "excerpt": "Which source feature chooses the convergent branch?", "content": "# C941 — Identify the cumulative carry condition\n\n## Question\n\nWhich source feature chooses the convergent branch?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C938–940\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:38:57.864024+00:00\n\n## Results\n\n```json\n{\n  \"source_carry\": [\n    1,\n    0\n  ],\n  \"condition\": {\n    \"path\": \"model/cumulative_branch_condition.json\",\n    \"sha256\": \"3f78df424cb42b90e957a9442344a88de8b55ec16066738f53b2274a6e0d4c70\",\n    \"bytes\": 308\n  }\n}\n```\n\n## Finding\n\nAt fixed total12600 and this register, convergence is equivalent to no tens-to-hundreds carry in the original two-core addition. The source917+343 has tens sum5 and selects that branch. Its exact breakpoint contains more information than the outer equality requires.\n\n## Reassessment\n\nDerive the exact990 displacement from the single carry exchange.\n\n## Checks\n\n```json\n{\n  \"branch\": true,\n  \"carry\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:38:57.864383+00:00\n\n## Record provenance\n\nExact record hash: `0ad08745f84361dcb1ff5acb3f543ac1904d1b618e6158a60658db668ce4a7e2`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-3f78df424cb42b90", "title": "model/cumulative_branch_condition.json"}]}