{
 "tm": "1RB0RF_1RC1LB_1LD1RE_1LB0LD_1RF0RC_1RA---",
 "bucket_reason": "W5-2 recorded a priority call in status.json; filed as a decision card (2026-10-14).",
 "question": "W5-2 halts only if some cycle's x has all its 1-bits at odd positions: park it, or fund one 2 h stage?",
 "options": [
  {
   "id": "park",
   "label": "Park as a cryptid candidate",
   "consequence": "Costs nothing. The explicit cycle map and the TM10-based rules stay in the folder."
  },
  {
   "id": "fund",
   "label": "Fund a 2 h stage",
   "consequence": "Formalize the reduction in Rocq (no cycle empties the chain, therefore ~halts tm c0) and search for a digit invariant. A rules file, not a kill, unless the invariant is found."
  }
 ],
 "recommended": "park",
 "rationale": [
  "All 20,000 computed cycles (L up to 172,193) stay normal; halting needs a digit pattern in x.",
  "This is a bit-pattern question about a growing map: cryptid-like."
 ],
 "evidence": [
  {
   "kind": "fact",
   "text": "Full call and evidence: notes.md",
   "href": "notes.md"
  }
 ],
 "effort_if_yes": "one 2 h stage, 1-2 light processes",
 "updated": "2026-10-14",
 "answer": {
  "option": "park",
  "note": "",
  "date": "2026-10-14"
 }
}