{
 "tm": "1RB0RA_1LC0RE_0LD0LB_1LA1LF_1RA0LF_1LC---",
 "label": "W4-4",
 "status": "STUCK",
 "stage": "rules_stage",
 "updated": "2026-10-11",
 "confidence": "low",
 "reason": "Funded rules_stage done (2026-10-11), and its stop rule applies: no invariant handle, so the family 156/188/450/564 is parked. New exact rules R6, RE (one right-end parity transducer that covers E, the first eat bounces and the one-1 RA records), F, FM (full returns) and LR (run-offs, 2 endings), with L's domain corrected. Each is 2,000/2,000 on random configs against the TM. Iterating the rules reproduces all four orbits to 1e10 with 0 mismatches, with 63-64 unruled moves per orbit (was 668). Open: no closed record language excluding the halting window 1 1 0 <C, macro hierarchy not probed, 63 moves in ~6 one-off shapes. Resume from scripts/rules (absim.py: 1 s exact record simulator) if a multi-level-counter method appears.",
 "relation": "one table with 4 holdout starts (A = 156, B = 450, D = 188, E = 564)",
 "siblings": [
  "1RB1RF_1LC0LB_1RE0LD_1LB0RF_0RA0RC_1RE---",
  "1RB0LE_0RC0RA_1RD1RF_1LA0LD_1LD0RF_1RB---",
  "1RB0LF_1RC0RB_1LD0RA_0LE0LC_1LB1LF_1LD---"
 ],
 "holdout_line_740": 156,
 "existing_work": "none found: sheet Results row 66 is class Unknown only; no Discord hit; upstream busycoq only has Eqv_v3 TM23 (equivalent to its E1=0LB variant).",
 "priority_call_answered": "Fund one ~2 h rules stage (rule the 5 remaining event families, build the abstract list machine for all four starts, test the macro hierarchy), or park the family 156/188/450/564 with R4/#32?",
 "funded": {
  "option": "rules_stage",
  "date": "2026-10-11"
 }
}