{"id": "c1038", "title": "C1038 — Joseph double-span constraint", "filename": "C1038.md", "role": "Research action", "step": 1038, "sha256": "4a9b3ae2b61ecad995d8f689e56476ac588de56792eadf32f7d4dcd538bcf0d2", "bytes": 954, "origins": ["C480–C1634/Research_Cycles/C0932_C1131/journal.json#C1038"], "download": "/sources/4a9b3ae2b61ecad995d8f689e56476ac588de56792eadf32f7d4dcd538bcf0d2.md", "format": "md", "derived": true, "tags": [], "excerpt": "What source condition joins Joseph’s birth to the retained terminal?", "content": "# C1038 — Joseph double-span constraint\n\n## Question\n\nWhat source condition joins Joseph’s birth to the retained terminal?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"File60 §2.5\",\n  \"C1037\"\n]\n```\n\n## Opened utc\n\n2026-09-28T04:04:08.421367+00:00\n\n## Results\n\n```json\n{\n  \"Joseph_to_terminal\": 294,\n  \"twice_Jacob_life\": 294,\n  \"rank_before\": 4,\n  \"rank_after\": 5\n}\n```\n\n## Finding\n\nJoseph’s294 span adds a source constraint to the preceding same-side relations in this local parameterization. Its contribution will be tested in the complete pattern system.\n\n## Reassessment\n\nCheck whether the household-middle equality is already forced by those relations.\n\n## Checks\n\n```json\n{\n  \"span\": true,\n  \"adds_rank\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T04:04:08.423475+00:00\n\n## Record provenance\n\nExact record hash: `da6cae30a571c67d6f2c86870e487e13d9a5803cad85c8109ba2aade3b68778b`\n\nSource journal: `Research_Cycles/C0932_C1131/journal.json`", "journalDownload": "/sources/f6bdc7aaaaa4fd40f1151b367204ddee7f0f9b77a9c43ae8764831b52d862670.json", "evidenceLinks": [{"id": "d-12a48221b7fdcdcd", "title": "File 60"}]}