# C840 — Regenerate the complete reverse-order festival path

## Question

What relation joins the two declared orders at every boundary?

## Inputs

```json
{}
```

## Sources

```json
[
  "File58 §7.2; C839"
]
```

## Opened utc

2026-09-28T02:32:22.539235+00:00

## Results

```json
{
  "path": {
    "path": "model/festival_reverse_path.json",
    "sha256": "2a0416f26a90c2385b0ac39c1ea69d227783bc5d0804feadd08722dc4b6e0cbc",
    "bytes": 287
  },
  "prefix_counts": [
    0,
    10,
    34,
    59,
    85,
    112,
    140,
    169,
    199
  ],
  "BC": [
    1859,
    1789,
    1621,
    1446,
    1264,
    1075,
    879,
    676,
    466
  ],
  "paired_formula": "reverse_prefix(k)=199−forward_prefix(8−k)",
  "coordinate_pair_sum": 2325
}
```

## Finding

Every 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.

## Reassessment

Identify exactly where the two source orders share boundaries.

## Checks

```json
{
  "literal_dates": true,
  "whole_complement": true
}
```

## Closed utc

2026-09-28T02:32:22.539725+00:00

## Record provenance

Exact record hash: `ed5a39a8ad26cbf0549899ab57cc5d100ac71620af0d2f45a669c31dae1d88ea`

Source journal: `Research_Cycles/C0832_C0931/journal.json`