{"id": "c1219", "title": "C1219 — Verify the lifted rule on all ordinary tradition changes", "filename": "C1219.md", "role": "Research action", "step": 1219, "sha256": "a6821bdf38a412f444cbfe53d2633b9c44d5cd4fc22d86f0d633afc0a874e401", "bytes": 1198, "origins": ["C480–C1634/Research_Cycles/C1132_C1431_Recovered/journal.json#C1219"], "download": "/sources/a6821bdf38a412f444cbfe53d2633b9c44d5cd4fc22d86f0d633afc0a874e401.md", "format": "md", "derived": true, "tags": ["Rounded"], "excerpt": "Does one residual law cover all35 common-row comparisons and all three measurements?", "content": "# C1219 — Verify the lifted rule on all ordinary tradition changes\n\n## Question\n\nDoes one residual law cover all35 common-row comparisons and all three measurements?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C1218\",\n  \"model/complete_source_row_packet.json\"\n]\n```\n\n## Opened utc\n\n2026-09-28T05:30:57.310860+00:00\n\n## Results\n\n```json\n{\n  \"all_translations\": {\n    \"path\": \"model/all_ordinary_lifted_translations.json\",\n    \"sha256\": \"2758dc3c28556dbcad313c1eb49e12d357695a36b441e826377b20681d96a5ce\",\n    \"bytes\": 20768\n  },\n  \"measurement_checks\": 105\n}\n```\n\n## Finding\n\nThe lifted rule reconstructs all105 rounded measurements across35 ordinary existing row comparisons. It unifies source shifts with Rounded representation while preserving the native insertion and inclusive-row distinctions.\n\n## Reassessment\n\nTest composition so that the rule applies to a sequence of source changes.\n\n## Checks\n\n```json\n{\n  \"105checks\": true,\n  \"all_match\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T05:30:57.311863+00:00\n\n## Record provenance\n\nExact record hash: `12db7d2b624388c3f3753b990726ee3bb97939d244c5f898654e7ab5577ef5b3`\n\nSource journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`", "journalDownload": "/sources/6adb632ce171623c2bce60d7ed58ae319ccb379cf76b751c0a477c1742fd348c.json", "evidenceLinks": [{"id": "d-2758dc3c28556dbc", "title": "model/all_ordinary_lifted_translations.json"}, {"id": "d-1bd5961126532673", "title": "model/complete_source_row_packet.json"}]}