# C613 — Declare the source cost of the compact model

## Question

Which inputs remain necessary after whole-family compression?

## Inputs

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

## Sources

```json
[
  "C532–C612; C531 synthesis"
]
```

## Opened utc

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

## Results

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

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