{
  "tm": "1RB1LC_1LA1RF_0RD1RD_0RA0LE_1LA0LE_0RC---",
  "label": "W6-3",
  "status": "CRYPTID_CANDIDATE",
  "stage": "observe",
  "updated": "2026-10-14",
  "confidence": "med",
  "reason": "Observe done (about 1 h 50 min). The mechanism is a 0011 defect walking through 110 fields: the head shuttles between the defect and a unary counter at the right end, one block per round trip. Three exact visit rules R1-R3 (main walk, walk that eats the second field, the same walk inside the second field) are validated 25/25 each from random instances. When the active defect reaches the junk before the counter, the head sweeps to the left edge and a new epoch starts. The epoch law, fitted on 22 resets to 1.63e10, is N' ~ N + 1.22M, M' ~ 0.30N - 0.58M (eigenvalues 1.20, -0.78); each phase ends on a remainder (mod 6, 8, 2) that picks the junk and the next branch. That is the pre-registered W6-3 stop rule (a field divided, branches on residues), so the cryptid protocol applies: rules formalized in observe.json, flagged, stopped. Unlike H-4, no branch is known to halt: halting needs D to read 0011 from its left, which no observed branch does, and ~5e5 epochs (Alistaire's 10^73975 steps) passed without a halt. A proof would need a closed census of branch shapes plus a 2-D band invariant on M/N (0.06..0.25 seen).",
  "siblings": [],
  "sibling_note": "No other start or mirror of this table is on the 740 or 778 lists (canon from all 6 starts). Starts B and E are in the 1590 equivalence file (Eqv_v3.v TM10, Eqv_v2.v TM1055). 152 (1RB1LF_0LC0RE_1LA1RD_0LB1LB_1RC1RD_0LD---) is not the same table; it is linked only through upstream Eqv lemmas.",
  "holdout_line_740": 291,
  "upstream": "No upstream proof of this table. 291 appears only in Eqv lemmas (Eqv.v TM44, Eqv_v3.v TM437), which are equivalences, not verdicts. No claim in data/discord or data/sheet (Results row 28: Unknown, no status, Alistaire's simulation note).",
  "priority_call_answered": "Cryptid-like (pre-registered stop): the epoch law branches on remainders, but no halting branch is known. Park it, or fund one 2 h stage to build an exact epoch accelerator and census the branch shapes for closure?",
  "parked": "Dennis 2026-10-14: park"
}