{
 "tm": "1RB0LC_1LA0RE_0RD1LF_1LC1LB_0LD0RB_0LA---",
 "status": "CRYPTID_CANDIDATE",
 "stage": "informal_proof",
 "updated": "2026-10-10",
 "cryptid_flag": true,
 "reason": "Stopped by Dennis 2026-10-10: cryptid candidate; Rocq rule reduction later, low priority. Fatal gap open: the absorption-safety lemma (old O2, now the configuration predicate Safe(w, 2g-1-d_1), proof.md 3.3) is not inductive, and no strengthening X is known. Safety depends on the left counter u avoiding a sparse set of unsafe values (abs0 undefined at segment 1^m / 1^(m-1)0; new marker within 2 of a leading marker at the 1/4, 1/2, 3/4 points) at t=0 absorptions after a leading-O birth (ABS0 at u = 2^m - 2). The real trajectory came within 2 sweeps of halting: at step 86,265, Dep(O111000;1;111100;9,4,2,0,0,0); the same configuration with word O111100 halts 18,861 steps later. Later margins are 7-13% of Delta, but u/Delta at ABS0 fills the band [1.6066, 2.0006], whose top edge maps onto the 3/4 unsafe point, so no band argument closes it. Cryptid protocol triggered (proof.md 5.3): heuristically probviously non-halting (about one birth per doubling of Delta, hit probability O(1/Delta)), but no structural reason. Needs Dennis's priority call: stop or continue. Also open (major): L and the ABS rules are checked, not derived as window-lemma chains. Closed this pass: O1 replaced by P_k (proved, 2.36M/3.05M exhaustive transitions), L precondition (right context starting 1,0; sharp), edge cases |w|=1 and '', spacing >= 3, H4 needs +2s for strips, h_1 = 161 at step 300,628,504. check_proof.py full SUMMARY PASS 36/36.",
 "next": "Dennis: stop (keep as cryptid-like, write an AntiHydra-style rule reduction) or continue (search for X: a quantitative u-vs-Delta invariant plus a leading-marker episode analysis; see proof.md 3.4 and 5.1).",
 "parked": "Stopped by Dennis 2026-10-10: cryptid candidate; Rocq rule reduction later, low priority."
}