{"id": "c1257", "title": "C1257 — Distinguish the two four-state source fields", "filename": "C1257.md", "role": "Research action", "step": 1257, "sha256": "fdebe1f5a672fca8e33734d8c926362e3f887834935459820f0a71640e0114a7", "bytes": 1214, "origins": ["C480–C1634/Research_Cycles/C1132_C1431_Recovered/journal.json#C1257"], "download": "/sources/fdebe1f5a672fca8e33734d8c926362e3f887834935459820f0a71640e0114a7.md", "format": "md", "derived": true, "tags": ["Regular"], "excerpt": "Why do valid source summaries give widths190 and275?", "content": "# C1257 — Distinguish the two four-state source fields\n\n## Question\n\nWhy do valid source summaries give widths190 and275?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C1256\",\n  \"File18 §1.1\",\n  \"Strategy §4.1\"\n]\n```\n\n## Opened utc\n\n2026-09-28T05:46:39.714230+00:00\n\n## Results\n\n```json\n{\n  \"restrictions\": {\n    \"path\": \"model/regular_kernel_four_state_restrictions.json\",\n    \"sha256\": \"746905c28121909a96402a212fbe1f45d719f8df0828a4e87cf1aa1b0680d4e5\",\n    \"bytes\": 298\n  },\n  \"fields\": [\n    [\n      0,\n      60,\n      130,\n      190\n    ],\n    [\n      0,\n      60,\n      215,\n      275\n    ]\n  ]\n}\n```\n\n## Finding\n\nThe190 field variesTerah andCainan; the275 field variesTerah andSojourn withCainanOFF. Their differentwidths arise from differentsourcechoices, andboth sit within the405 field.\n\n## Reassessment\n\nCompare the generatedeight offsets with theliteral source’sYear6 andendpoint columns.\n\n## Checks\n\n```json\n{\n  \"TC\": true,\n  \"TS\": true,\n  \"widths\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T05:46:39.714674+00:00\n\n## Record provenance\n\nExact record hash: `8d35865d82c52c5d58e6d563c2c0dbd8318591d1f4ffada4d127c9f944a14411`\n\nSource journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`", "journalDownload": "/sources/6adb632ce171623c2bce60d7ed58ae319ccb379cf76b751c0a477c1742fd348c.json", "evidenceLinks": [{"id": "d-746905c28121909a", "title": "model/regular_kernel_four_state_restrictions.json"}, {"id": "d-68301ab760bfbe2e", "title": "File 18"}]}