{
 "tm": "1RB0LF_1RC0LB_1RD1RB_1RE1RF_1LA---_0RC1LA",
 "label": "W4-5",
 "status": "STUCK",
 "stage": "inv_search",
 "updated": "2026-10-11",
 "confidence": "med",
 "reason": "Parked after the funded inv_search stage (2026-10-11), as its exit rule says. Covers holdouts 469 (start A) and 599 (start D). No inductive invariant found. Precise obstruction: splice the closed-block stacks of two reachable E-events at a common window, keeping one's head and window, and the TM halts. This happens for windows of 1-4 exact blocks, 1-5 when both stacks are spliced, and 1-7 with blocks read as exact below 8, else mod 4. 45/45 halting splices were confirmed by direct simulation (halts at steps 2,595-279,060); right-side splices never halt (0/560). So no product n-gram/CPS invariant with such windows exists, under any value abstraction; all 173 macro-level closure settings fail accordingly. The defect surfaces 47-6,628 macro steps after the head reaches the splice. A global parity GP (0 at all 6e6 sampled E-events) explains 24/45 halting splices; the rest need more global information. TM-level CTL: 300 settings false. The mechanism is still exact: macro model 34.5M/34.5M E-events, no halt to 1e11. Resume only with coupled left/right automata, a non-regular invariant, or a compiled closure with exact windows of 6+ on both sides.",
 "relation": "one table, two holdout starts: A = 469 (this), D = 599",
 "siblings": [
  "1RB1RD_1LC---_1RF0LD_0RE1LC_1RA1RF_1RE0LF"
 ],
 "holdout_line_740": 469,
 "existing_work": "none found: sheet Results row is class Counter Class 2 only (no status/notes/done-by); Direct Simulation tab lists it as not simulated to 1e14/1e15; no Discord hit; upstream has only the Eqv_v3 TM540 / Eqv_v2 TM359 equivalences to other unproved tables.",
 "priority_call_answered": "Fund one ~2 h stage to search for an inductive context invariant over the macro model (covers 469 and 599), or park both?",
 "funded": {
  "option": "inv_search",
  "date": "2026-10-11"
 }
}