{
 "tm": "1RB0RA_1RC0RD_1RD0LC_1LE1RA_---1LF_1RB0LC",
 "status": "STUCK",
 "stage": "invariant",
 "updated": "2026-10-12",
 "label": "W4-7",
 "confidence": "med",
 "reason": "Parked 2026-10-12 by the stop rule of the funded 'invariant' stage (Dennis: 'Invariant stage'): no small invariant closes. Covers W4-7 (line 317) and sibling 707. No property of the digit word excludes the unsupported cases: 237 orbit states at left visits with one number changed and the digit word kept reach case (b) within 30,000 passes (n0 -1/+1: 3/2, a -1/+1: 1/3; unperturbed 0/237); the orbit avoids them by exact sizes (each field-2 bell pushes older waves to the top; counter value near n0 at left visits). Of the 69 distinct hits, 35 are parse artifacts (another 6-encoding parse is supported; all 1,578 such parses match the real TM) and 66 do not halt in 2e9 TM steps, but 3 halt (B> into ready (0,0) followed by ready (2,0) at the top, right after a large width redraw): halting tapes are word-level grammatical, so a proof needs a quantitative invariant. Not a cryptid candidate (long perturbed runs never halt). Line 707: absim2 exact on 226,216/226,216 marker turns from step 117 to 1e9. Restart route in notes.md.",
 "siblings": [
  "1RB0LA_1LC1RF_---1LD_1RE0LA_1RA0RB_1RE0RF",
  "1RB0LC_1RC0RD_1RD0LC_1LE1RF_---1LA_1RB0RF"
 ],
 "solved_relative": "1LB0LC_1LC0RB_1RD1LF_---1RE_1LA0RB_1LA0LF (IndBECv1.v:258, start B of this table)",
 "funded": {
  "option": "invariant",
  "date": "2026-10-12"
 }
}