{"id": "c772", "title": "C772 — Define the finite source configuration", "filename": "C772.md", "role": "Research action", "step": 772, "sha256": "828bfdf8143a7077b7dd2453f6cc2779a8df0cb53e61799c47cf95fa97c6e0fe", "bytes": 1371, "origins": ["C480–C1634/Research_Cycles/C0732_C0831/journal.json#C772"], "download": "/sources/828bfdf8143a7077b7dd2453f6cc2779a8df0cb53e61799c47cf95fa97c6e0fe.md", "format": "md", "derived": true, "tags": ["Regular", "Covenant"], "excerpt": "What is the smallest regular birth-state formula consistent with the declared variant domains?", "content": "# C772 — Define the finite source configuration\n\n## Question\n\nWhat is the smallest regular birth-state formula consistent with the declared variant domains?\n\n## Inputs\n\n```json\n{\n  \"s\": \"0/1 minimum/full430\",\n  \"t\": \"0/1 baseline/+60 Terah\",\n  \"c\": \"0/1 Cainan OFF/ON\"\n}\n```\n\n## Sources\n\n```json\n[\n  \"File18 §§1.3–1.6; model/variant_inputs.json\"\n]\n```\n\n## Opened utc\n\n2026-09-28T01:59:36.002851+00:00\n\n## Results\n\n```json\n{\n  \"rule\": {\n    \"path\": \"model/variant_rule.json\",\n    \"sha256\": \"58ac54c59156d94eeedd4313111bbd2ec5edcb91af5eab442f2e2251878fb5b5\",\n    \"bytes\": 516\n  },\n  \"masks\": {\n    \"Adam–Arphaxad\": [\n      1,\n      1,\n      1\n    ],\n    \"Shelah–Terah\": [\n      1,\n      1,\n      0\n    ],\n    \"Abraham–Joseph/Levi\": [\n      1,\n      0,\n      0\n    ],\n    \"Aaron/Moses terminal\": [\n      0,\n      0,\n      0\n    ]\n  }\n}\n```\n\n## Finding\n\nThree finite choices have nested supports. The rule predicts placements within each source domain while preserving native LXX Cainan and unassigned regular births.\n\n## Reassessment\n\nRecover the four literal Terah states before extending the rule.\n\n## Checks\n\n```json\n{\n  \"nested\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T01:59:36.003316+00:00\n\n## Record provenance\n\nExact record hash: `3af63638f3027a8078f580010e6f0b62199336c09a6fbfdbcba020353820bc16`\n\nSource journal: `Research_Cycles/C0732_C0831/journal.json`", "journalDownload": "/sources/8ea2b882289fbcea5cf11177923617f0c1d1ad7e6eaa3bffb174c6f89699d97d.json", "evidenceLinks": [{"id": "d-58ac54c59156d94e", "title": "model/variant_rule.json"}, {"id": "d-637ee29c7bcb34fb", "title": "model/variant_inputs.json"}, {"id": "d-68301ab760bfbe2e", "title": "File 18"}]}