{
  "tm": "1RB1RF_0RC0LE_1RD0RF_1LB---_1LB1LE_1RA0LC",
  "label": "W6-7",
  "status": "CRYPTID_CANDIDATE",
  "stage": "stage1",
  "updated": "2026-10-14",
  "confidence": "med",
  "holdout_line_740": 198,
  "reason": "Wave 6 stage 1 (about 1 h). No CTL certificate (extracted CTL62 sweep: 235 runs of NG, NG with history and RWL_mod: 181 false, 54 timeouts, no true). The bounce map is now an exact particle picture. The head carries no state between runs. Odd defects drift 2 cells left per bounce. Walls (even runs and 00) are parity flips; only the leftmost one moves, one run right per bounce (324/324), and everything right of it stays frozen. A moving wall annihilates with the next frozen wall. A defect reaching the left edge as a leading 1 is born as a wall. The right-end emitter absorbs arriving walls safely (216/216). Halting chain (scripts/stage1/chain_checks.py): a wall reaching a frozen '1:' (run 1 before a 00) leaves an interior 000 (36/36), and a wall reaching a frozen 000 halts the machine (105/105). Keeping each of those frozen needs a birth at exactly the right bounce. The real run had 11 '1:' episodes to 3e10, all unfrozen, and no interior 000 at any left-end bounce. Changing only when 3 defects reach the left edge makes the real tape at step 1,238,230,449 halt 105 bounces later. Birth timing shows no lock (same-bounce birth and annihilation 14 vs 22.7 expected). So non-halting depends on timing coincidences never lining up: cryptid protocol, flagged and stopped. The birth rate falls from 1.55% to 0.54% of bounces by 3e10; the rough halting estimate ranges from about 1e16 steps to astronomically late. Siblings 248/582 share the route (no 000 to 1e10).",
  "siblings": [
    "248 1RB1RA_0LC0RA_1LF0LD_1LE0RC_1LB1LD_1RB---",
    "582 1RB0RE_1LC---_0RA0LD_1LC1LD_1RF0LA_1RC1RE"
  ],
  "sibling_note": "Same table up to renaming and mirror (canon over all 6 starts): 248 = start E (mirrored), 582 = start C. Both show the same 0111 field with 1/5 defects and the 1 3 1 5 5 emitter at 1e8, with their own histories. Starts D and F are eqv-1590 members off the list; upstream Eqv_v2.v links D and F to 248 (equivalences, not verdicts). Start B is on no list.",
  "upstream": "No upstream proof of this table at cdaf693 (only the Eqv_v2.v equivalences for starts D/F). No claim in data/discord; data/sheet lists it only as Unknown (results, classifications) and in the not-simulated-to-1e14/1e15 columns.",
  "template": "None. Halting needs pseudo-random timing coincidences, so no CTL, counter or Bell template applies.",
  "cryptid_flag": true,
  "priority_call_answered": "Cryptid-like (timing coincidences decide halting; no lock found). Park it, or fund one stage for an accelerated simulator that hunts for the halt? See decision.json.",
  "parked": "Dennis 2026-10-14: park"
}
