{"id": "c759", "title": "C759 — Test Cainan residual neutrality", "filename": "C759.md", "role": "Research action", "step": 759, "sha256": "a32d8a8d1afb3bf2646c4782ffc30c814c3aaefc301de57630c6a82d7056c7ca", "bytes": 1346, "origins": ["C480–C1634/Research_Cycles/C0732_C0831/journal.json#C759"], "download": "/sources/a32d8a8d1afb3bf2646c4782ffc30c814c3aaefc301de57630c6a82d7056c7ca.md", "format": "md", "derived": true, "tags": ["Rounded"], "excerpt": "Does insertion change existing rounding discrepancies?", "content": "# C759 — Test Cainan residual neutrality\n\n## Question\n\nDoes insertion change existing rounding discrepancies?\n\n## Inputs\n\n```json\n{\n  \"Cainan\": {\n    \"b\": 130,\n    \"r\": 330,\n    \"L\": 460\n  }\n}\n```\n\n## Sources\n\n```json\n[\n  \"File18 Cainan; C754–758\"\n]\n```\n\n## Opened utc\n\n2026-09-28T01:55:40.386236+00:00\n\n## Results\n\n```json\n{\n  \"results\": {\n    \"MT_native_OFF\": {\n      \"all_common_residuals_equal\": true,\n      \"new_node_D\": 3,\n      \"Shelah_D\": 3\n    },\n    \"LXX_native_ON\": {\n      \"all_common_residuals_equal\": true,\n      \"new_node_D\": 1,\n      \"Shelah_D\": 1\n    },\n    \"SP_native_OFF\": {\n      \"all_common_residuals_equal\": true,\n      \"new_node_D\": 3,\n      \"Shelah_D\": 3\n    }\n  },\n  \"duration_residuals\": [\n    0,\n    0,\n    0\n  ]\n}\n```\n\n## Finding\n\nCainan insertion changes admitted durations but preserves every corresponding residual. Its new boundary inherits the local plateau; zero row residual does not imply zero boundary displacement.\n\n## Reassessment\n\nProve rounding compatibility with admitted multiples-of-five changes.\n\n## Checks\n\n```json\n{\n  \"common_fields\": true,\n  \"new_boundary_plateau\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T01:55:40.387507+00:00\n\n## Record provenance\n\nExact record hash: `cd85ec2c4401020e37048487163d33a63146f8f0701477b6a985ea7df6aec364`\n\nSource journal: `Research_Cycles/C0732_C0831/journal.json`", "journalDownload": "/sources/8ea2b882289fbcea5cf11177923617f0c1d1ad7e6eaa3bffb174c6f89699d97d.json", "evidenceLinks": [{"id": "d-68301ab760bfbe2e", "title": "File 18"}]}