{"id": "c944", "title": "C944 — Bounded aggregate identifiability", "filename": "C944.md", "role": "Research action", "step": 944, "sha256": "ce1cbd3aad98d8321b7d848277756e3c20bc93290e9d91bc11bae1ebb63f1630", "bytes": 1151, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C944"], "download": "/sources/ce1cbd3aad98d8321b7d848277756e3c20bc93290e9d91bc11bae1ebb63f1630.md", "format": "md", "derived": true, "tags": [], "excerpt": "Can distinct admissible integer aggregates have both measurements equal?", "content": "# C944 — Bounded aggregate identifiability\n\n## Question\n\nCan distinct admissible integer aggregates have both measurements equal?\n\n## Inputs\n\n```json\n{\n  \"digit_bounds\": {\n    \"H\": [\n      2,\n      18\n    ],\n    \"T\": [\n      0,\n      18\n    ],\n    \"U\": [\n      2,\n      18\n    ]\n  },\n  \"kernel\": [\n    10,\n    -101,\n    10\n  ]\n}\n```\n\n## Sources\n\n```json\n[\n  \"C939\",\n  \"C940\",\n  \"C943\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:42:54.396310+00:00\n\n## Results\n\n```json\n{\n  \"largest_allowed_tens_difference\": 18,\n  \"smallest_nonzero_kernel_tens_difference\": 101,\n  \"aggregate_unique_given_both_totals\": true\n}\n```\n\n## Finding\n\nWithin this register, the finite digit box eliminates every nonzero integer kernel move: both totals uniquely identify the aggregate columns.\n\n## Reassessment\n\nDetermine which individual component details the aggregate still loses.\n\n## Checks\n\n```json\n{\n  \"kernel_excluded\": true,\n  \"primitive_kernel\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:42:54.396566+00:00\n\n## Record provenance\n\nExact record hash: `41e0234de2c176374e8975c00d2d72b5e93761d57c45b256f5eec6a884ae0161`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json"}