C613 — Declare the source cost of the compact model

Question

Which inputs remain necessary after whole-family compression?

Inputs

{
  "basis_policy": "retain supplied anchors, counts, phases, roles and interval data; distinguish formulas from inputs"
}

Sources

[
  "C532–C612; C531 synthesis"
]

Opened utc

2026-09-28T00:30:48.023596+00:00

Results

{
  "families": [
    "Covenant",
    "Cumulative_root",
    "Carrier",
    "Enoch_cells",
    "Enoch_grid",
    "Rounded_prior"
  ],
  "basis_artifact": {
    "path": "model/source_basis.json",
    "sha256": "c987727ba37f42d6329b321fece7ad924dc564527c6b37619c7982a0acbd3109",
    "bytes": 1913
  },
  "minimality_status": "compact candidate; no global minimum claim"
}

Finding

The compact model still pays for its source data and role selections. Explicitly including Ishmael’s137-year lifespan resolves the C551 input-label omission. Formula reuse reduces repeated construction, not the need for source premises.

Reassessment

Record the exact interfaces linking these family modules.

Checks

{
  "family_count": true,
  "equal_life_explicit": true
}

Closed utc

2026-09-28T00:30:48.024069+00:00

Record provenance

Exact record hash: c677b0b3f550f67d06e22fe3d9d58494e5f6dc744e722c2343a3a7b7d7ff9efb

Source journal: Research_Cycles/C0532_C0631/journal.json