{"id": "c1255", "title": "C1255 — Retain native Cainan in the kernel displacement field", "filename": "C1255.md", "role": "Research action", "step": 1255, "sha256": "0984af4620726ab09c577d0a1237222aa040f8784386611de316ff76a3acfa2b", "bytes": 1165, "origins": ["C480–C1634/Research_Cycles/C1132_C1431_Recovered/journal.json#C1255"], "download": "/sources/0984af4620726ab09c577d0a1237222aa040f8784386611de316ff76a3acfa2b.md", "format": "md", "derived": true, "tags": ["Regular"], "excerpt": "Which existing comparison boundaries receive the native130 insertion?", "content": "# C1255 — Retain native Cainan in the kernel displacement field\n\n## Question\n\nWhich existing comparison boundaries receive the native130 insertion?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C1254\",\n  \"File18 §1.6\",\n  \"C1187\"\n]\n```\n\n## Opened utc\n\n2026-09-28T05:45:30.080253+00:00\n\n## Results\n\n```json\n{\n  \"native_staircase\": {\n    \"path\": \"model/regular_kernel_native_staircase.json\",\n    \"sha256\": \"0f041687dd46807b2d89a5416e25b71ec744dbce28153a8d101b5e0c2cc13147\",\n    \"bytes\": 935\n  },\n  \"native_head\": 1380,\n  \"native_Arphaxad\": 780\n}\n```\n\n## Finding\n\nRestoring nativeCainan raises the upstreamcomparison field by130, giving1380 atCreation and780 on theNoah/Shem/Arphaxad plateau. The downstreamsharedfield is unchanged, andCainan retains its ownnewvertex.\n\n## Reassessment\n\nReconstruct the separateeight-state placementfield fromT,C,S.\n\n## Checks\n\n```json\n{\n  \"native_heads\": true,\n  \"downstream_unchanged\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T05:45:30.080690+00:00\n\n## Record provenance\n\nExact record hash: `4e8c03ea8dadd2945648d9f51ae4fde3c4da93332ceedc9e54c2a78f8e38ae8d`\n\nSource journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`", "journalDownload": "/sources/6adb632ce171623c2bce60d7ed58ae319ccb379cf76b751c0a477c1742fd348c.json", "evidenceLinks": [{"id": "d-0f041687dd46807b", "title": "model/regular_kernel_native_staircase.json"}, {"id": "d-68301ab760bfbe2e", "title": "File 18"}]}