{
 "tm": "1RB1RA_1LC0RE_1LE0LD_0LB1LB_1RA0LF_1LD---",
 "bucket_reason": "Low confidence at observe: the quiet-epoch rules are validated, but the epoch changes are not, so there is no non-halting argument and proof work waits for Dennis's call.",
 "question": "Fund one 2 h stage to map the seam words and test a closed tape language for this table, or park W4-8 as STUCK at observe?",
 "options": [
  {
   "id": "seams",
   "label": "One stage (at most 2 h): seam alphabet and closed-language test",
   "consequence": "Write a seam extractor on the phase-tracked sea (not compress tokens), count distinct seam words and seam/wall collisions to 1e10, and test whether the set saturates. If it does, build the candidate language (u-runs separated by seams from the set) and check that one cycle maps it into itself and excludes 11 0 <C. Stop rule: still growing at 1e10, or not closed in 2 h, means park."
  },
  {
   "id": "park",
   "label": "Park (STUCK at observe)",
   "consequence": "Keeps the validated rules (RS/LS/LT/RO/Q, halting pattern H), the segment-map scripts and the 2e9 tracker data on file. Stops work on 644, and on 61 and 704 with it."
  },
  {
   "id": "swap",
   "label": "Swap W4-8 for a reserve pick",
   "consequence": "Parks this table as in park and spends the stage on the next unclaimed machine from the Wave 4 reserves."
  }
 ],
 "recommended": "seams",
 "rationale": [
  "Rule Q fits 247/247 cycles from blank with exact step counts; the sweep rules hold on random instances.",
  "Halting needs one local pattern (11 0 <C): a closed tape language settles it, for 61 and 704 too.",
  "Seam words grow slowly (800 at 1e9, 829 at 2e9); a 2 h test with a stop rule decides if they saturate."
 ],
 "evidence": [
  {
   "kind": "figure",
   "text": "Fig 2: segment map to 1e9 (wall walks left, grey 1-deposits, dark fossils, seams riding right)",
   "href": "img/segmap_1e9.png"
  },
  {
   "kind": "fact",
   "text": "Rule Q: 80/80 random instances and 247/247 consecutive cycles from blank (9.49e7..1.10e8), steps 60(a+b+d+e)+595.",
   "href": "work/validate_rules.out"
  },
  {
   "kind": "fact",
   "text": "22 reservoir freezes to 2e9 with irregular sizes (9, 20, 12, 41, ..., 2483, 29, 2535); distinct seam words 170 at 1e6, 800 at 1e9, 829 at 2e9.",
   "href": "work/track_2e9.txt"
  },
  {
   "kind": "link",
   "text": "notes.md: rules, epoch structure, siblings, template comparison",
   "href": "notes.md"
  }
 ],
 "effort_if_yes": "One stage (about 2 h) for the seam alphabet and the closure test. If it closes: proof.md, then about 2-3 stages of Rocq (the sweep lemmas, Q, and a closed-set argument, CTL-style or hand-written).",
 "updated": "2026-10-11",
 "answer": {
  "option": "seams",
  "note": "Dennis: go with recommendations (2026-10-11)",
  "date": "2026-10-11"
 }
}