{
  "tm": "1RB0LD_0RC---_0LD0RF_1LE1LD_0LA0RD_0RB1RA",
  "label": "693",
  "status": "STUCK",
  "stage": "proof",
  "updated": "2026-10-14",
  "reason": "Funded proof stage 3 (Dennis: fund_clock, 2026-10-14; counter clock) done, parked by its stop rule: the shape set does not close. (1) Digit bookkeeping made faithful: the counter is two digit blocks H sep L in different alignments (eating rules 001 <D -> <A 011 and 000 <D shift the low block); writer marks (cells marked by the left-moving E/D/A step that wrote them) replace positional marks; guided replay of the orbit (scripts/ctl_replay3.py) from step 1,128,893 to 21,129,033 (125 overflows, odd burst O(7)) stays inside the shapes with at most 40 non-digit cells in the counter region (stage 2: unbounded drift). (2) Counter floor as the clock: S = at least Q+1 digits, split S = S000 | S001 | exact Q+1-digit words, so counters cannot be eaten away and short ones are exact (overflow within 2^(Q+1) increments, < K counter steps per phase). (3) Closure (scripts/ctl_explore3.py, K = 64, Q = 2): 3.5 M shapes, not closed, 0 halting steps; skeletons level off at 949-950 from 1.6 M to 3.5 M (stage 2: steady growth), but exact counts (two carry runs, the run behind the wall, field lower bounds, each up to K) keep the set growing. K = 16/32, Q = 3 and a digit-run cap of 3 do not close either. Step check 9,000 random concrete steps, 0 failures. Next: decision.json (park, recommended, or a stage 4 with a compiled explorer).",
  "confidence": "med",
  "priority_call": "Park 693 + twins (recommended) or fund stage 4 (compiled explorer, K = 64 to ~1e8 shapes)? See decision.json.",
  "twins": [
    "1RB0LF_1LC0RE_0LD1LC_1LA---_0RB1RA_1LC1LF",
    "1RB0LF_1LC0RE_0LD1LC_1LA---_0RB1RA_0LE1LF",
    "1RB0LF_1LC0RD_1LA1LC_---0RE_0RB1RA_1LC1LF"
  ],
  "funded": {
    "option": "fund_clock",
    "date": "2026-10-14"
  },
  "outcome": "parked: stage-3 shape set (faithful bookkeeping + counter floor) does not close in 3.5 M shapes; skeletons level off, exact counts keep growing; no verified CTL decider works",
  "proof_md": "working version (parked); section 8 = stage 2, section 9 = stage 3; scripts/check_proof.py --ctl --ctl3: C1-C11 pass 2026-10-14",
  "parked": "Dennis 2026-10-14: park after 3 stages (catch-up law, CTL closure, counter clock); twins 528/310/548 parked with it"
}