{"id": "c884", "title": "C884 — Keep civil counts distinct from Rounded widths", "filename": "C884.md", "role": "Research action", "step": 884, "sha256": "015a12ee38c2ea139e879cee83df45969cf77ed12d9f1da1d9c9b6e807a977b2", "bytes": 1593, "origins": ["C480–C1634/Research_Cycles/C0832_C0931/journal.json#C884"], "download": "/sources/015a12ee38c2ea139e879cee83df45969cf77ed12d9f1da1d9c9b6e807a977b2.md", "format": "md", "derived": true, "tags": ["Rounded", "Mirror / 529"], "excerpt": "What arithmetic changes if neighboring width labels are substituted?", "content": "# C884 — Keep civil counts distinct from Rounded widths\n\n## Question\n\nWhat arithmetic changes if neighboring width labels are substituted?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"File51a C versus W_R\",\n  \"C883\"\n]\n```\n\n## Opened utc\n\n2026-09-28T02:49:14.772691+00:00\n\n## Results\n\n```json\n{\n  \"responses\": [\n    {\n      \"civil\": 10051,\n      \"Rounded_width\": 10050,\n      \"difference\": 1,\n      \"E_width\": \"251250/23\",\n      \"EE_width\": \"6281250/529\",\n      \"E_difference\": \"25/23\",\n      \"EE_difference\": \"625/529\"\n    },\n    {\n      \"civil\": 55016,\n      \"Rounded_width\": 55015,\n      \"difference\": 1,\n      \"E_width\": \"1375375/23\",\n      \"EE_width\": \"34384375/529\",\n      \"E_difference\": \"25/23\",\n      \"EE_difference\": \"625/529\"\n    }\n  ],\n  \"artifact\": {\n    \"path\": \"model/civil_Rounded_input_distinction.json\",\n    \"sha256\": \"2818366718815ab42ed4bfa9fed56973a9eca69ecd8a361434b9b59ddeead1ca\",\n    \"bytes\": 399\n  }\n}\n```\n\n## Finding\n\nThe one-unit source-type difference propagates as25/23 after E and625/529 after E². Replacing the civil inputs by neighboring Rounded widths destroys the stated integral chains; matching near labels does not authorize type substitution.\n\n## Reassessment\n\nTest the predetermined six distinct-Key orders as a bounded confirmation of the prefix theorem.\n\n## Checks\n\n```json\n{\n  \"one_unit\": true,\n  \"not_integral\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T02:49:14.773333+00:00\n\n## Record provenance\n\nExact record hash: `34d59c102e42aebe0080d9e4634eca0b74cb00ca46ca9fc9ddba4a161552b479`\n\nSource journal: `Research_Cycles/C0832_C0931/journal.json`", "journalDownload": "/sources/6a37be4e218f9f467cbde5e9db3723ce9c79dc78cc97d1a289422b96cb9971e0.json", "evidenceLinks": [{"id": "d-2818366718815ab4", "title": "model/civil_Rounded_input_distinction.json"}, {"id": "d-d8aa38afb2a2df8f", "title": "File 51a"}]}