{
 "tm": "1RB0LC_1RC0RC_1LD0RB_1LA0LE_1LD1LF_1LD---",
 "status": "CRYPTID_CANDIDATE",
 "stage": "informal_proof",
 "updated": "2026-10-12",
 "reason": "Class 2 close-out stage 3 of 3 (2026-10-12): flagged CRYPTID_CANDIDATE together with R4 (same table), proof work stops. New wide-integer simulator scripts/c2s3_tsim.c (2048-bit steps, 512-bit counts; JCAP=40 reproduces stage 2 byte for byte to 1e37, and every earlier halting step count). #32: no halt to 1e80, first 40 defects frozen from 5.8e14 to 1e80. N cuts from I(N,360), N = 0..44, to 1e80: exactly N = 2, 7, 12, 17, 22 halt; N >= 23 freeze because the first lower digit (u = 48) runs out in cycle 5. Cutting that digit's u1 too: N = 12 halts for 14 of 24 small u1 and not for 10 (u1 = 1 mod 3 tends to halt, with exceptions); N = 17: 7 of 25; N = 11, 13: 0 of 50. So halting is a residue condition at every level of an unbounded 2-adic/5-adic hierarchy; no invariant. Decision in R4's decision.json (stop_cryptid recommended). Earlier: rule G + sweep case analysis (proof.md), check_proof.py 12/12. Stage-2 re-run (2026-10-12): the workflow re-issued stage 2 after the track had already ended at stage 3; no new proof work (cryptid protocol, decision pending). The kept simulators reproduce the stage-2 and stage-3 dumps byte for byte (1e37, 1e80) and the cut halts (N = 2: 202,227,190). New probe (scripts/c2s2r_mkcut3.py): the second lower digit u2 also switches the outcome (N = 12: a fixed halt for u2 >= 40 moves or disappears once u2 runs out; u1 = 11 halts at u2 = 47..98 and 5 but not 13..40); N = 11/13: 0 of 42 halts. Still CRYPTID_CANDIDATE.",
 "note": "check_proof.py 12/12 PASS (default seed 79 s; --seed 2026 --n 1000 --quick 52 s). Unclaimed. Same open problem as R4 (mirror, D-start).",
 "priority_call_answered": "Shared with R4: invest in a joint #32/R4 multi-level invariant (proof.md 5 route), or park both?",
 "parent": "1RB0LE_1RC0RC_1LD0RB_1LA0LE_1LD1LF_1LD---",
 "relation": "neighbour of #11: one transition away; its run differs (90,039 vs 77,685 cells at 1e9)",
 "funded": {
  "option": "class2_closeout",
  "date": "2026-10-12"
 },
 "confidence": "med",
 "parked": "Stopped by Dennis 2026-10-12 (decision queue: go with recommendations: stop_cryptid): kept as CRYPTID_CANDIDATE, rules written up, no more compute. (decision filed on R4, same table.)"
}