{"id": "c949", "title": "C949 — Junction premise ledger", "filename": "C949.md", "role": "Research action", "step": 949, "sha256": "955517a45a3346c459a52f316746dde3023b8b5f3fcde3b995bf53a82900f321", "bytes": 1153, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C949"], "download": "/sources/955517a45a3346c459a52f316746dde3023b8b5f3fcde3b995bf53a82900f321.md", "format": "md", "derived": true, "tags": [], "excerpt": "What must be retained to explain the junction with fewer independent claims?", "content": "# C949 — Junction premise ledger\n\n## Question\n\nWhat must be retained to explain the junction with fewer independent claims?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C932\",\n  \"C939\",\n  \"C941\",\n  \"C944\",\n  \"C945\",\n  \"C948\"\n]\n```\n\n## Opened utc\n\n2026-09-28T03:43:50.898235+00:00\n\n## Results\n\n```json\n{\n  \"ledger\": {\n    \"path\": \"model/junction_premise_ledger.json\",\n    \"sha256\": \"090dcf9d8d2bcbc94b7825775fd32901dc5c457eee61fa5d923b2fef1b68ce8a\",\n    \"bytes\": 729\n  },\n  \"retained_categories\": 5,\n  \"derived_claims\": 5\n}\n```\n\n## Finding\n\nThe explanation can be compressed into totals, register, selected carry branch, state shifts, and placement; exact source partitions remain necessary for interpretation.\n\n## Reassessment\n\nCheck that this compression retains all original junction outputs without reintroducing them as premises.\n\n## Checks\n\n```json\n{\n  \"no_causal_claim\": true,\n  \"input_categories_corrected\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T03:43:50.898547+00:00\n\n## Record provenance\n\nExact record hash: `aa06dea6fa2d45fd8951011a046e156d11dbe4f6c9d7f2353bb1600c86f13956`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-090dcf9d8d2bcbc9", "title": "model/junction_premise_ledger.json"}]}