{"id": "c939", "title": "C939 — Classify the regular total without choosing its split", "filename": "C939.md", "role": "Research action", "step": 939, "sha256": "3e61f8b63b15e7d80ceec30e0c71156889fcbcf42cebb7fbdf564ad30ef805da", "bytes": 1319, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C939"], "download": "/sources/3e61f8b63b15e7d80ceec30e0c71156889fcbcf42cebb7fbdf564ad30ef805da.md", "format": "md", "derived": true, "tags": ["Regular", "Cumulative"], "excerpt": "What follows from2700 and two three-digit nonzero-ended cores alone?", "content": "# C939 — Classify the regular total without choosing its split\n\n## Question\n\nWhat follows from2700 and two three-digit nonzero-ended cores alone?\n\n## Inputs\n\n```json\n{\n  \"scaled_total\": 270,\n  \"H_range\": [\n    2,\n    18\n  ],\n  \"T_range\": [\n    0,\n    18\n  ],\n  \"U_range\": [\n    2,\n    18\n  ]\n}\n```\n\n## Sources\n\n```json\n[\n  \"C938 fixed register\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:38:09.482620+00:00\n\n## Results\n\n```json\n{\n  \"aggregate_solutions\": [\n    [\n      2,\n      6,\n      10\n    ]\n  ],\n  \"theorem\": {\n    \"path\": \"model/regular_total_register_theorem.json\",\n    \"sha256\": \"f9d187f9c7b11dc28a628fe305a5255b2b8cceace0f6aefb9afbc0d0c91fba36\",\n    \"bytes\": 290\n  }\n}\n```\n\n## Finding\n\nThe regular total2700 forces aggregate digits(2,6,10) throughout the specified two-component register class, hence transformed total10620. The source Flood breakpoint is not needed to determine this outer total, although it still determines the internal path.\n\n## Reassessment\n\nClassify the cumulative12600 total on the same declared register class.\n\n## Checks\n\n```json\n{\n  \"unique\": true,\n  \"outer\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:38:09.483253+00:00\n\n## Record provenance\n\nExact record hash: `67392e7b933a5687aba6374b7921d0b9102f79d50774e64c7ef93e3edcba47c3`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-f9d187f9c7b11dc2", "title": "model/regular_total_register_theorem.json"}]}