{
 "tm": "1RB0LF_1LC0LA_---1RD_1RF1RE_1LF1RD_1LB0RE",
 "bucket_reason": "Low confidence at observe: the bouncer and junction are exact, but non-halting rests on a chaotic edge map, and that edge is #13's edge, which was parked.",
 "question": "#35's chaotic edge is cell for cell #13's parked edge: park #35 with #13, or fund a shared stage on that edge?",
 "options": [
  {
   "id": "park_with_13",
   "label": "Park with #13: mark STUCK at observe and link the two",
   "consequence": "No further spend now. The card, rules and edge-map tools stay. If a closed language for #13's edge ever turns up, #35 needs only its own bulk/junction lemmas (about one stage), since the edge is identical."
  },
  {
   "id": "shared_edge",
   "label": "Fund one shared stage on the edge map for the family (#13, #35, #36, #34, R6)",
   "consequence": "About 2 h: a native closed-language search on the reduced edge system (busycoq's CTL62 extract from #7, run on the edge map, not the whole machine). Low odds: #13's SFT_k (k <= 36) and n-gram CPS (n <= 26) attempts already failed. A hit would cover several machines."
  },
  {
   "id": "reduction",
   "label": "Write proof.md now as a conditional reduction to #13's edge lemma",
   "consequence": "About 1 stage. Documents the exact bulk/junction lemmas and init so that #35 is ready the day the edge lemma is solved. Does not produce a kill by itself."
  }
 ],
 "recommended": "park_with_13",
 "rationale": [
  "The only open part is the edge map; #13's tail = fixed 58-cell word + our Z at 1,952/1,952 visits.",
  "#13 was parked on exactly this edge, and 5e6 more visits here show nothing new (no repeat, no halt).",
  "Everything else is exact: wall, sweeps, junction bounces 360/360, edge visit n-free 2,077/2,077."
 ],
 "evidence": [
  {
   "kind": "figure",
   "text": "Fig 3: bulk and junction columns stay fixed; all disorder is in the edge band",
   "href": "img/zone_every28.png"
  },
  {
   "kind": "fact",
   "text": "#13's tail at bounce c-6 = fixed 58-cell word + #35's Z at bounce c, 1,952/1,952 edge visits",
   "href": "notes.md"
  },
  {
   "kind": "fact",
   "text": "Edge map iterated 5e6 visits (~5e15 machine steps): |Z| 143-563, no exact repeat, no halt",
   "href": "work/phi2_5e6.txt"
  },
  {
   "kind": "link",
   "text": "#13 card (parked, same edge)",
   "href": "machines/1RB0LE_1LC1RD_1LA0RB_1RC1RB_1LF0LC_---0RC/card.html"
  }
 ],
 "effort_if_yes": "park_with_13: none. shared_edge: about 2 h, low odds. reduction: about 1 stage.",
 "updated": "2026-10-10",
 "answer": {
  "option": "park_with_13",
  "note": "auto-applied: Claude's recommendation, under Dennis's standing instruction 'do your recommendations and continuously orchestrate' (2026-10-10, while he was at lunch). Override any time.",
  "date": "2026-10-10"
 }
}