{
 "tm": "1RB1RF_1RC---_1RD0RD_1LE1RC_1RA1LE_1RE0LF",
 "status": "STUCK",
 "stage": "deepen2",
 "updated": "2026-10-10",
 "reason": "Parked by Dennis 2026-10-10 (decision queue: park); deepen-2 findings are the re-entry point. Deepen pass 2: a closed-form fast-forward (validated against round 1 and against full-size runs) reaches trip 13.5e6 (about 1.27e15 steps). There the base-4 counter overflows: a left record, then a full-tape recoding trip that is quadratic in zone size (about 1e16 steps at real sizes) and depends on zone parity. After it, a new counter epoch starts from a new wall. The machine is a multi-epoch shift-overflow counter. The rebuild rule and the epoch recursion are open. Confidence low; not a cryptid so far. Priority call for Dennis: continue (rebuild rule) or park.",
 "parked": "Parked by Dennis 2026-10-10 (decision queue: park); deepen-2 findings are the re-entry point.",
 "holdouts_740": "absent: removed by equivalence (upstream Eqv_WordPairs.v TM83, commit d3c52f5) to 1LB---_1RC0RC_1LD1RB_1RE1LD_0RA1RF_1RD0LF, which stays on the 740 list; a proof of either settles both"
}