{
  "tm": "1RB0LE_1RC1RB_1LD0RE_1LA1LC_1RB0LF_0LC---",
  "label": "W6-4",
  "status": "STUCK",
  "stage": "observe",
  "updated": "2026-10-14",
  "confidence": "med",
  "reason": "Observe + halting go/no-go done (about 1 h 20 min). The machine is ChaoticBell1Halt.v TM13's table renamed (ours A,B,C,D,E,F = TM13 D,A,B,C,E,F, no mirror), started in TM13's D; all TM13 lemmas hold verbatim (26 rules + the halt window validated 40/40 each from random instances). An untrusted Python port of ccz181078's certified executor CBSim reproduces the upstream halts exactly (TM13 at tick 64,832, TM7 at 65,400) and matches direct simulation for 4,000 ticks (21,071,295 steps). From our start it runs 16,551,000 ticks (165x ccz181078's 100,000) with no halt; the same table from 602's start runs 10,000,000 ticks and from 299's start 7,627,000 ticks, no halt. NO-GO for the HALT route at this budget; no nonhalting attempt (plan). New: after ~4e5 ticks every run enters a regular phase, a left stack of PL(n)^k_n (n = 0..~80, k ~1e31) whose counts fall ~5x per two levels with small remainders (k_n - 5 k_(n+2) in -89..178); the executor eats it from the near end at ~1 level per 3e6 ticks.",
  "siblings": [
    "1RB0LE_1RC1RA_1LD0RE_1LA1LD_1LD0RF_0RA---",
    "1RB1RD_1LC0RE_1LD1LC_1RA0LE_1LC0RF_0RD---"
  ],
  "sibling_note": "Same table (canon over all starts and the mirror): 299 = TM13 from B (mirrored), 602 = TM13 from C (mirrored); our start C and D give them. Our start B = TM13 itself (halts, upstream). eqv-1590 partner of 412: 1RB0LE_1RC1RB_1LD0RA_1LF1LC_0LC---_1RB0LA (= TM13 from E, not on the 740 list). 338, 577, 730 are not this table: their eqv members are TM7 from B, D (and F), C; cousins, not run here.",
  "holdout_line_740": 412,
  "upstream": "verify/ChaoticBell1Halt.v (ccz181078, busycoq BB6 HEAD cdaf693) proves TM13 and TM7 halting from A; 412 itself is in no upstream file. No claim in data/discord or data/sheet (results row: class only; direct-simulation sheet: run to 1e13 without a halt).",
  "template": "verify/ChaoticBell1Halt.v Module TM13 (+ CB1, CBMacros, CBSim): rules apply verbatim after renaming; only the start differs",
  "executor_runs": {
    "port": "work/cbsim_fast2.py (untrusted Python transcription of CBSim; checks: upstream halt ticks, 4,000-tick direct-sim match)",
    "TM13_from_D_412": {
      "ticks": 16551000,
      "halted": false,
      "tape_cells_log10": 33,
      "checkpoint": "work/ckpt_TM13_D.pkl"
    },
    "TM13_from_C_602": {
      "ticks": 10000000,
      "halted": false,
      "tape_cells_log10": 33,
      "checkpoint": null
    },
    "TM13_from_B_299": {
      "ticks": 7627000,
      "halted": false,
      "tape_cells_log10": 33,
      "checkpoint": "work/ckpt_TM13_B.pkl"
    },
    "TM13_from_A_check": {
      "ticks": 64832,
      "halted": true
    },
    "TM7_from_A_check": {
      "ticks": 65400,
      "halted": true
    }
  },
  "priority_call_answered": "No halt in 16.5M executor ticks. Park the CB1 cluster (412, 602, 299), or fund one 2 h stage for an exact level accelerator of the late PL stack (cryptid stop if the per-level map branches on remainders mod 5)?",
  "parked": "Dennis 2026-10-14: park"
}