{"id": "c840", "title": "C840 — Regenerate the complete reverse-order festival path", "filename": "C840.md", "role": "Research action", "step": 840, "sha256": "d9dfe11cb52caa4d004e595a59814a089e379169bbd8cc2587e171225e965bf7", "bytes": 1327, "origins": ["C480–C1634/Research_Cycles/C0832_C0931/journal.json#C840"], "download": "/sources/d9dfe11cb52caa4d004e595a59814a089e379169bbd8cc2587e171225e965bf7.md", "format": "md", "derived": true, "tags": ["Inverse", "Mirror / 529"], "excerpt": "What relation joins the two declared orders at every boundary?", "content": "# C840 — Regenerate the complete reverse-order festival path\n\n## Question\n\nWhat relation joins the two declared orders at every boundary?\n\n## Inputs\n\n```json\n{}\n```\n\n## Sources\n\n```json\n[\n  \"File58 §7.2; C839\"\n]\n```\n\n## Opened utc\n\n2026-09-28T02:32:22.539235+00:00\n\n## Results\n\n```json\n{\n  \"path\": {\n    \"path\": \"model/festival_reverse_path.json\",\n    \"sha256\": \"2a0416f26a90c2385b0ac39c1ea69d227783bc5d0804feadd08722dc4b6e0cbc\",\n    \"bytes\": 287\n  },\n  \"prefix_counts\": [\n    0,\n    10,\n    34,\n    59,\n    85,\n    112,\n    140,\n    169,\n    199\n  ],\n  \"BC\": [\n    1859,\n    1789,\n    1621,\n    1446,\n    1264,\n    1075,\n    879,\n    676,\n    466\n  ],\n  \"paired_formula\": \"reverse_prefix(k)=199−forward_prefix(8−k)\",\n  \"coordinate_pair_sum\": 2325\n}\n```\n\n## Finding\n\nEvery reverse boundary is the complement of a corresponding forward boundary. This is a sequence-reversal relation on two paths, not a newly licensed formal Mirror operation.\n\n## Reassessment\n\nIdentify exactly where the two source orders share boundaries.\n\n## Checks\n\n```json\n{\n  \"literal_dates\": true,\n  \"whole_complement\": true\n}\n```\n\n## Closed utc\n\n2026-09-28T02:32:22.539725+00:00\n\n## Record provenance\n\nExact record hash: `ed5a39a8ad26cbf0549899ab57cc5d100ac71620af0d2f45a669c31dae1d88ea`\n\nSource journal: `Research_Cycles/C0832_C0931/journal.json`", "journalDownload": "/sources/6a37be4e218f9f467cbde5e9db3723ce9c79dc78cc97d1a289422b96cb9971e0.json", "evidenceLinks": [{"id": "d-2a0416f26a90c238", "title": "model/festival_reverse_path.json"}, {"id": "d-924db415dff003d2", "title": "File 58"}]}