{
  "tm": "1RB0RD_1LC0LE_0RA0LB_1RC1RF_1LB1RD_0RC---",
  "label": "W6-2",
  "status": "STUCK",
  "stage": "wave6-stage2",
  "updated": "2026-10-14",
  "confidence": "low",
  "reason": "Stage 2: no closed regular language yet. An exact collector shows that the junction words more than 20 cells from the head form a tiny alphabet. Left of the head: 3, 10, 310, 1023, 3210, 0. Right of the head: 120, 40, 300, 50, 310, 0, plus the counter end. It is complete by step 2.1e6 and unchanged to 1e10. Every 111 sits in the junction 300, whose 3 turns a right run. Closures with fixed junction languages (exact 12-30-cell zone, free order, segment-length classes) still escape after 10^2-10^4 configurations: they build orders and short-segment neighbours that the orbit never builds. No halt to 1.55e11. Not a cryptid (no halting branch); stuck on tooling.",
  "siblings": [],
  "family_note": "No other 740-list machine shares the table (canon over all 6 starts, renaming + mirror). Starts B, D, E are eqv-1590 members off the list: 1RB0RE_0LC0RA_1LA0LD_1LB1LF_1RA1LD_0LB---, 1RB1RF_0RC0LD_1RD0RA_1LB0LE_1LD1RA_0RB---, 1RB1LE_1RC0RA_0LD0RB_1LB0LE_1LC1LF_0LC--- (upstream Eqv_v2 TM1194/TM1468/TM1778 link them; equivalences, not verdicts).",
  "template": "W5-5 (KILLED_HALT) table from its D = 1RE0RD_1LC0LE_0RA0LB_1RC1RF_1LB0LD_0RC--- in our naming; differs in A0 and E1. Applies partly: same bell-with-defect round (HUB(0) = W5-5's round with a unary counter); W5-5's base-4 digit lemmas and its halting runner do not carry over.",
  "checks": {
    "byte_exact_740": "line 96",
    "claims": "none (sheet 2026-10-09: class Unknown only, no status/notes/done-by; no Discord hit)",
    "upstream_cdaf693": "not proved (Eqv_v2 mentions only)",
    "long_run": "no halt to 1.55e11 steps (scripts/lt.c; still running at stage end)",
    "random_segment_halts": "0/300 (2e5 steps) and 1/2,000 (2e7 steps); the one halt is a malformed tape (empty first segment) halting as A> 111; the real tape has 111 only at deep sweeps, met by C moving left",
    "ngramcps_c": "HALT reachable for n = 22, 24, 26, 28 (scripts/ngc.c)",
    "ctl_searches": "NGPhase, GapTok, SegJ, SegJ2: halt or > 3-4M configs (scripts/ctl2.py, absn.py)",
    "exact_alphabet": "scripts/cw2.c, k = 20: complete by step 2,106,481, unchanged to 1e9 and 1e10 (work/cw2_1e9_k20.txt, cw2_1e10_k20.txt)",
    "fixed_language_ctl": "fl2-fl6.py from the step-1e6 configuration: escape after 16-13,000 configurations, or over 1M with automatic alphabet growth"
  },
  "next_goal": "If funded: port the closure to C, with a side state of the last junction word, the class of the segment before it (2-8 or 9+ blocks) and a counter flag, learned from the exact collector. Export a closed result to Astra's NFA certificate package with a 1e6-step startup.",
  "parked": "Dennis 2026-10-14: park (after Wave 6 stages 1-2: no closed regular language)"
}