# C984 — Freeze Key constraints and exact algebra

## Question

Which source relations enter the new Key dependency analysis?

## Inputs

```json
{}
```

## Sources

```json
[
  "File12",
  "File63",
  "File46",
  "File60",
  "SupplementA",
  "prep/key_constraints/sourcepacket.json"
]
```

## Opened utc

2026-09-28T03:52:33.289519+00:00

## Results

```json
{
  "inputs": {
    "path": "model/key_constraint_inputs.json",
    "sha256": "1064b340647501b6dfb4ae391459166926ebeaedf9a0f70f2275033b99e3f6f3",
    "bytes": 554
  },
  "exact_algebra_helper": {
    "path": "evidence/algebra.py",
    "sha256": "5ee97feebb041bfd8bf679e44e541c1fd3ca5cf49abc5aa81d8d4fc8ccbff40c",
    "bytes": 3166
  }
}
```

## Finding

Calendar measures, source partitions, prior completion identities and fixed pivots are explicit. Reverse-solving identities already proved with Keys will be treated as equivalent description, not new evidence for those Keys.

## Reassessment

Solve the first calibration/allocation pair exactly.

## Checks

```json
{
  "output_ratios_not_stored": true,
  "helper_exact": true
}
```

## Closed utc

2026-09-28T03:52:33.290026+00:00

## Record provenance

Exact record hash: `dc92b1a4d39cb1aea2af0a68016c974f54ba1c928e6014ef9b266758f2b6dc22`

Source journal: `Research_Cycles/C0932_C1131/journal.json`