{
 "tm": "1RB1RC_0LC1RE_1RA0LD_1LB0RD_0RF---_0RA0RF",
 "bucket_reason": "Wave 6 W6-8 used both funded stages: mechanism understood, invariant not found.",
 "question": "W6-8 needs a non-local timing invariant: park it, or fund a third 2 h stage to build that automaton?",
 "options": [
  {
   "id": "park",
   "label": "Park W6-8",
   "consequence": "Notes and scripts stay; status stays OPEN. Wave picks go to other candidates. Reopen if a timing-invariant tool or an outside proof appears."
  },
  {
   "id": "stage3",
   "label": "Fund stage 3 (2 h)",
   "consequence": "Build a right-to-left automaton over the six-state chain that tracks each pending F against the next defect, and check closure. Even if it closes, a Coq proof is a separate multi-stage effort."
  },
  {
   "id": "ask",
   "label": "Ask nerdyjoe first",
   "consequence": "Post the ready message in notes.md (Discord section) and wait; they left the sheet note 'Binary counting + bouncing'."
  }
 ],
 "recommended": "park",
 "rationale": [
  "Halting needs a later defect to catch a fresh gap-1 block; real run and refill fuzz never do.",
  "Proving that is a timing comparison; window languages up to k = 10 neither close nor fail.",
  "One more stage has a low chance of closing; Coq would come after."
 ],
 "evidence": [
  {
   "kind": "figure",
   "text": "Fig 3: gap types and the fuel block (counter digits)",
   "href": "img/counter_digits_4e5.png"
  },
  {
   "kind": "fact",
   "text": "Real run: every F (1,odd) has a gap-3 right neighbour, every E (1,even) a gap-2 one; gap-3 blocks never send R.",
   "href": "work/s2_p12.py"
  },
  {
   "kind": "fact",
   "text": "Refill fuzz 24-56+r: pairing never broken, 0 halts; refills 2/4/6 break it and halt.",
   "href": "work/s2_p12b.py"
  },
  {
   "kind": "fact",
   "text": "winfix4 k=7 / k=10: 0.73M / 2.2M windows, still growing when stopped, no bad word.",
   "href": "work/winfix4.py"
  }
 ],
 "effort_if_yes": "park: none. stage3: 2 h, low-medium chance of a closed invariant; a Coq proof after that is several more stages.",
 "updated": "2026-10-14",
 "answer": {
  "option": "park",
  "note": "",
  "date": "2026-10-14"
 }
}