{"id": "c1173", "title": "C1173 — State the domain of compatible row moves", "filename": "C1173.md", "role": "Research action", "step": 1173, "sha256": "0f0c709b679474467fad6457901dcefce0642dffe71380b3ef9ab115ba364a46", "bytes": 1134, "origins": ["C480–C1634/Research_Cycles/C1132_C1431_Recovered/journal.json#C1173"], "download": "/sources/0f0c709b679474467fad6457901dcefce0642dffe71380b3ef9ab115ba364a46.md", "format": "md", "derived": true, "tags": [], "excerpt": "When is a two-operation row transformation a valid nonnegative biography calculation?", "content": "# C1173 — State the domain of compatible row moves\n\n## Question\n\nWhen is a two-operation row transformation a valid nonnegative biography calculation?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C1152\",\n  \"Strategy §§5B,5C,5G\"\n]\n```\n\n## Opened utc\n\n2026-09-28T05:11:47.163056+00:00\n\n## Results\n\n```json\n{\n  \"row_domains\": {\n    \"path\": \"model/row_operation_domains.json\",\n    \"sha256\": \"eaa724a2a5031a17aa72a8193ddeac33905c82448cef49c67467df70d7e698c6\",\n    \"bytes\": 436\n  }\n}\n```\n\n## Finding\n\nThe normal form is an integer-coordinate identity, but nonnegative intermediate biographies impose order-sensitive domains. Source admission is an additional requirement beyond those inequalities.\n\n## Reassessment\n\nExhibit a complete positive endpoint for which one formal order leaves the nonnegative domain.\n\n## Checks\n\n```json\n{\n  \"compatibility_symbolic\": true,\n  \"domain_separation\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T05:11:47.163371+00:00\n\n## Record provenance\n\nExact record hash: `bc7f7d8d293507df43bea6645ac593a973ecfa3849d12d764a069fd94cdc2886`\n\nSource journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`", "journalDownload": "/sources/6adb632ce171623c2bce60d7ed58ae319ccb379cf76b751c0a477c1742fd348c.json", "evidenceLinks": [{"id": "d-eaa724a2a5031a17", "title": "model/row_operation_domains.json"}]}