C949 — Junction premise ledger

Question

What must be retained to explain the junction with fewer independent claims?

Inputs

{}

Sources

[
  "C932",
  "C939",
  "C941",
  "C944",
  "C945",
  "C948"
]

Opened utc

2026-09-28T03:43:50.898235+00:00

Results

{
  "ledger": {
    "path": "model/junction_premise_ledger.json",
    "sha256": "090dcf9d8d2bcbc94b7825775fd32901dc5c457eee61fa5d923b2fef1b68ce8a",
    "bytes": 729
  },
  "retained_categories": 5,
  "derived_claims": 5
}

Finding

The explanation can be compressed into totals, register, selected carry branch, state shifts, and placement; exact source partitions remain necessary for interpretation.

Reassessment

Check that this compression retains all original junction outputs without reintroducing them as premises.

Checks

{
  "no_causal_claim": true,
  "input_categories_corrected": true
}

Closed utc

2026-09-28T03:43:50.898547+00:00

Record provenance

Exact record hash: aa06dea6fa2d45fd8951011a046e156d11dbe4f6c9d7f2353bb1600c86f13956

Source journal: Research_Cycles/C0932_C1131/journal.json