{"id": "c946", "title": "C946 — Regular allocation formula", "filename": "C946.md", "role": "Research action", "step": 946, "sha256": "0b9eb65bcd4de40d7f957b4bc8b4d5a0781cd8ee47a276c54f77b6b199ad5819", "bytes": 1104, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C946"], "download": "/sources/0b9eb65bcd4de40d7f957b4bc8b4d5a0781cd8ee47a276c54f77b6b199ad5819.md", "format": "md", "derived": true, "tags": ["Regular", "Cumulative"], "excerpt": "Which two-core allocations preserve the forced regular aggregate?", "content": "# C946 — Regular allocation formula\n\n## Question\n\nWhich two-core allocations preserve the forced regular aggregate?\n\n## Inputs\n\n```json\n{\n  \"H\": 2,\n  \"T\": 6,\n  \"U\": 10\n}\n```\n\n## Sources\n\n```json\n[\n  \"C939\",\n  \"C945\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:43:14.703926+00:00\n\n## Results\n\n```json\n{\n  \"first_core\": \"100 + 10t + u\",\n  \"second_core\": \"100 + 10(6−t) + (10−u)\",\n  \"bounds\": \"0≤t≤6; 1≤u≤9; integers\",\n  \"status\": \"algebraic diagnostic, not chronology admission\"\n}\n```\n\n## Finding\n\nThe aggregate fixes both hundreds digits and the sums of tens and units, while allowing internal digit allocation. The source-appointed boundary supplies information absent from the two totals.\n\n## Reassessment\n\nCheck whether weighted conservation alone forces the same cumulative branch.\n\n## Checks\n\n```json\n{\n  \"entire_parameterization_valid\": true,\n  \"source_recovered\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:43:14.704347+00:00\n\n## Record provenance\n\nExact record hash: `ec809a4c419f2a83b6888cda86cd49986fbde7085eda640d059057703688bf38`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json"}