C984 — Freeze Key constraints and exact algebra

Question

Which source relations enter the new Key dependency analysis?

Inputs

{}

Sources

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

Opened utc

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

Results

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

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