{"id": "c1310", "title": "C1310 — Register why reversal does not commute with grouping", "filename": "C1310.md", "role": "Research action", "step": 1310, "sha256": "992af405e59ced104e4209104a8cd3b68f18553dcd23aa228fd74338c9d54b92", "bytes": 1168, "origins": ["C480–C1634/Research_Cycles/C1132_C1431_Recovered/journal.json#C1310"], "download": "/sources/992af405e59ced104e4209104a8cd3b68f18553dcd23aa228fd74338c9d54b92.md", "format": "md", "derived": true, "tags": ["Inverse", "Covenant"], "excerpt": "How does sourcepartition remainvisible in theinversefamily?", "content": "# C1310 — Register why reversal does not commute with grouping\n\n## Question\n\nHow does sourcepartition remainvisible in theinversefamily?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"C1309\",\n  \"File52c §3\",\n  \"C1058–C1068 inherited\"\n]\n```\n\n## Opened utc\n\n2026-09-28T06:12:27.572695+00:00\n\n## Results\n\n```json\n{\n  \"partition_relation\": {\n    \"path\": \"model/relation_inverse_partition.json\",\n    \"sha256\": \"66d109ae0238a81f415ee8847be71eabc366b94683328289ae877a38ffe77ef5\",\n    \"bytes\": 602\n  },\n  \"whole_image\": 7200,\n  \"part_total\": 10620\n}\n```\n\n## Finding\n\nTheoriginal2700 reverses to7200, whileits1650|1050 parts reverseto5610|5010,total10620. Thisexistingdifference explainswhy thenamedcuts mustremain in thecommonrepresentation.\n\n## Reassessment\n\nRegister theCovenantjoins asdefinedrelations plusoneadditional sourcecondition.\n\n## Checks\n\n```json\n{\n  \"whole7200\": true,\n  \"parts10620\": true,\n  \"different_routes\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T06:12:27.573381+00:00\n\n## Record provenance\n\nExact record hash: `76d002bf9322d42294939d4e6ce8bdbcbc4fc44dd233339387c98eff47416993`\n\nSource journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`", "journalDownload": "/sources/6adb632ce171623c2bce60d7ed58ae319ccb379cf76b751c0a477c1742fd348c.json", "evidenceLinks": [{"id": "d-66d109ae0238a81f", "title": "model/relation_inverse_partition.json"}, {"id": "file52c", "title": "File 52c"}]}