{"id": "c940", "title": "C940 — Classify the cumulative total without choosing its split", "filename": "C940.md", "role": "Research action", "step": 940, "sha256": "1d27317ed5cbc8b3f2f7ae471b565788a4c131fe55986c02060bf6b9976d11c0", "bytes": 1344, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C940"], "download": "/sources/1d27317ed5cbc8b3f2f7ae471b565788a4c131fe55986c02060bf6b9976d11c0.md", "format": "md", "derived": true, "tags": ["Regular", "Cumulative"], "excerpt": "Does12600 force the same transformed total as2700?", "content": "# C940 — Classify the cumulative total without choosing its split\n\n## Question\n\nDoes12600 force the same transformed total as2700?\n\n## Inputs\n\n```json\n{\n  \"scaled_total\": 1260\n}\n```\n\n## Sources\n\n```json\n[\n  \"C938 fixed register\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:38:22.647394+00:00\n\n## Results\n\n```json\n{\n  \"branches\": [\n    {\n      \"aggregate\": [\n        11,\n        15,\n        10\n      ],\n      \"transformed\": 11610\n    },\n    {\n      \"aggregate\": [\n        12,\n        5,\n        10\n      ],\n      \"transformed\": 10620\n    }\n  ],\n  \"artifact\": {\n    \"path\": \"model/cumulative_total_register_theorem.json\",\n    \"sha256\": \"42af6707e19f66e32dd460e5e47a6ecd99fe9de8cba5d43f2233581bb8c126f2\",\n    \"bytes\": 381\n  }\n}\n```\n\n## Finding\n\nThe same register class at cumulative total12600 has two possible aggregate branches, producing10620 or11610. Thus the regular result is forced by total and register; cumulative convergence still selects one decimal-carry branch.\n\n## Reassessment\n\nIdentify the exact additional condition selected by the source cumulative breakpoint.\n\n## Checks\n\n```json\n{\n  \"two\": true,\n  \"gap\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:38:22.647963+00:00\n\n## Record provenance\n\nExact record hash: `57467b01558040540cf1031f163da9d8879f93755b72145d919f77f1d0b91cc9`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-42af6707e19f66e3", "title": "model/cumulative_total_register_theorem.json"}]}