{
 "tm": "1RB---_0RC0RF_0RD0RA_1RE0LB_1LF0LE_1RC0LE",
 "label": "W4-6",
 "status": "STUCK",
 "stage": "chain_law",
 "updated": "2026-10-12",
 "confidence": "low",
 "reason": "Funded 2026-10-12 (Dennis: b (fund all five), 2026-10-12): Fund one ~2 h chain-length stage. Funded stage chain_law done (2026-10-12). Chain-length law found: a level-q chain has l = t1(((k^c)>>(2q+1)) ^ m_q[s]), s = bits q+1..2q of k^c, with 2^q irregular masks per level (0 conflicts on all cycles to 1e11, both lines, and on 2^20 cycles at k = 2^24). But the invariant it was meant to give is false: a faithful C simulator (cycle map + cell-level TM fallback) shows that from k = 650,686 (about 8.5e11 steps) D meets double walls (R10 x6 to k = 2^26, walls merge), F once (R12 at k = 44,953,023), and the right end is reached in phase D; the region past wall ~17 becomes irregular and the masks of levels >= 5 change. No halt and no misaligned tape to k = 2^28 (about 1.4e17 steps), no new event after k = 61,730,238, A never at a zero gap (A/F zero-gap events are record-level conditions on the first even gap and the gap after it). Stuck: non-halting needs a merge-tolerant invariant keeping A/F off double walls in an irregular high region; none known. Optional reopening route in decision.json.",
 "siblings": [
  "1RB0RA_1LC0RA_0LF0LD_1LE---_0LC0LB_1LA0RE"
 ],
 "sibling_note": "740 line 612 (778 line 648) is this table started in state E; same K(n; a) family and the same cycle map (rule model = TM on 223,102/223,102 records to 1e11; data/avec_startE_1e11.txt.gz).",
 "holdout_line_740": 99,
 "holdout_line_778": 106,
 "upstream": "Eqv_v3.v TM1 proves halts(1RB---_0RC0RF_0RD0RA_1RE0RD_1LF0LE_1RC0LE) <-> halts(this) (D1 = 0LB replaced by 0RD, which skips the D/B/C zigzag); TM4 does the same for line 612. Equivalence only, no nonhalt proof; the simplified machine is not a holdout and has identical tapes at every E record.",
 "priority_call_answered": "Fund a wall-level model stage (covers 740 lines 99 and 612), run a bigger CTL search only, or park?",
 "funded": {
  "option": "chain_law",
  "date": "2026-10-12"
 },
 "parked": "Parked by Dennis 2026-10-12 (decision queue: go with recommendations: park). Covers its twin, 740 line 612."
}