# C949 — Junction premise ledger

## Question

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

## Inputs

```json
{}
```

## Sources

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

## Opened utc

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

## Results

```json
{
  "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

```json
{
  "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`