{
 "tm": "1RB1LA_1RC1RE_1RD0RD_1LA1RC_1RF0LE_1RA---",
 "status": "STUCK",
 "stage": "halting-hunt exact model",
 "updated": "2026-10-13",
 "reason": "Halting hunt H-4 (2026-10-13): exact accelerated model (work/exact/xm.py: shift rules + symbolic suffix memos, all from the table) validated exactly from the blank tape through the first overflow to the rel-2e13 checkpoint (full 1e8-cell tapes) and against a fresh 3e11-step direct continuation. No halt up to step 5.636e76 (10^76.75). Epoch 2 is a counter of counters; the active counter eats (11010101)^6.29e6 at ~4.6 copies per decade, so its overflow (the next point where halting is decided) is projected near 10^(1.4e6) steps, out of reach. Not a kill; no certification route.",
 "parked": "Closed 2026-10-13: the 2e13-step direct run from loop 288M finished (no halt, 597/597 refs; work/r5_post.log) and the seeded qsim hit its 4 h cap at step 4,969,937,411,350,948 (no halt). Superseded by the H-4 exact model (work/exact/).",
 "priority_call_answered": "More budget for the epoch map (exact boundary-gadget rules + an abstract simulator to watch 2-3 overflows), or park this machine?",
 "followup": "work/r5_followup.md; work/exact/ (2026-10-13 exact model)",
 "label": "H-4",
 "holdout_line_740": 269,
 "hunt": {
  "outcome": "no_halt_to_horizon",
  "horizon_steps": "56369047383409532163277608077205788781704361728584047204766564806533884147248",
  "horizon_log10": 76.75,
  "model": "work/exact/xm.py",
  "runs": "work/exact/far3.jsonl (from rel-2e13 ckpt), work/exact/farc1.jsonl",
  "validation": "anchors1/2/4.jsonl, postcheck_v1/v2.jsonl, test_blank.py (1e2..1e10)",
  "line43": "claimed; model exact vs sim to 1e9; far43.jsonl: no halt to 4.69e12",
  "next_decision_point": "~10^(1.4e6) steps (extrapolated fuel use of the active epoch-2 counter)"
 }
}