{"id": "c613", "title": "C613 — Declare the source cost of the compact model", "filename": "C613.md", "role": "Research action", "step": 613, "sha256": "ecf56e5da4f9027acd1c1d6a7e6d2c80b5ecc6b06c077edfbc30019198ac7e51", "bytes": 1411, "origins": ["C480–C1634/Research_Cycles/C0532_C0631/journal.json#C613"], "download": "/sources/ecf56e5da4f9027acd1c1d6a7e6d2c80b5ecc6b06c077edfbc30019198ac7e51.md", "format": "md", "derived": true, "tags": ["Cumulative", "Rounded", "Covenant"], "excerpt": "Which inputs remain necessary after whole-family compression?", "content": "# C613 — Declare the source cost of the compact model\n\n## Question\n\nWhich inputs remain necessary after whole-family compression?\n\n## Inputs\n\n```json\n{\n  \"basis_policy\": \"retain supplied anchors, counts, phases, roles and interval data; distinguish formulas from inputs\"\n}\n```\n\n## Sources\n\n```json\n[\n  \"C532–C612; C531 synthesis\"\n]\n```\n\n## Opened utc\n\n2026-09-28T00:30:48.023596+00:00\n\n## Results\n\n```json\n{\n  \"families\": [\n    \"Covenant\",\n    \"Cumulative_root\",\n    \"Carrier\",\n    \"Enoch_cells\",\n    \"Enoch_grid\",\n    \"Rounded_prior\"\n  ],\n  \"basis_artifact\": {\n    \"path\": \"model/source_basis.json\",\n    \"sha256\": \"c987727ba37f42d6329b321fece7ad924dc564527c6b37619c7982a0acbd3109\",\n    \"bytes\": 1913\n  },\n  \"minimality_status\": \"compact candidate; no global minimum claim\"\n}\n```\n\n## Finding\n\nThe 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.\n\n## Reassessment\n\nRecord the exact interfaces linking these family modules.\n\n## Checks\n\n```json\n{\n  \"family_count\": true,\n  \"equal_life_explicit\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T00:30:48.024069+00:00\n\n## Record provenance\n\nExact record hash: `c677b0b3f550f67d06e22fe3d9d58494e5f6dc744e722c2343a3a7b7d7ff9efb`\n\nSource journal: `Research_Cycles/C0532_C0631/journal.json`", "journalDownload": "/sources/7a2e1117efc741218b68e2db8bb20eadd33cab34e00384e9b903708031da1d2d.json", "evidenceLinks": [{"id": "d-c987727ba37f42d6", "title": "model/source_basis.json"}]}