{
 "tm": "1RB1LB_1RC0LA_1RD0RE_1LA0LB_1RF---_1RB1LD",
 "bucket_reason": "W7-2 planned one proof for 175 and 489; observe found 489 in a different, deeper regime (not blocking 175's proof).",
 "question": "Line 489 (same table, start D) is in a two-far-field tower regime that 175's cycle proof does not cover: park 489, or fund one 2 h stage for its exhaustion events?",
 "options": [
  {
   "id": "park489",
   "label": "Park 489; prove 175 alone",
   "consequence": "W7-2 delivers at most 1 line; 489 gets a ledger row with retry_if = a digit-system theory or 175's rule library."
  },
  {
   "id": "stage489",
   "label": "Fund one 2 h stage on 489",
   "consequence": "Model the D regime exactly (3-field segment checks), then compute what the Y1 exhaustion event does from residues (Y1 = 40 mod 48, Y2 = 200 mod 240) with residue-faithful small surrogates; stop under the cryptid protocol if the outcome branches on residues of tower-size numbers with no finite table."
  },
  {
   "id": "after175",
   "label": "Decide after 175's proof.md",
   "consequence": "Revisit 489 once 175's segment lemmas exist; they may carry over to the D regime."
  }
 ],
 "recommended": "after175",
 "rationale": [
  "175 is clean: one exact affine cycle, 42/42 segments base-validated.",
  "489's next event is 1.96e16 periods away; only symbolic work reaches it.",
  "175's sweep lemmas are the toolkit 489 would need anyway."
 ],
 "evidence": [
  {
   "kind": "figure",
   "text": "Fig 2: 175's 42-record cycle",
   "href": "img/runstrip_175_qsim.png"
  },
  {
   "kind": "link",
   "text": "489 run strip: two huge far fields (folded figure)",
   "href": "img/runstrip_489_qsim.png"
  },
  {
   "kind": "fact",
   "text": "489 period map: D(Y1,Y2,X) -> D(Y1-48, Y2-240, 2^40 X + 377451701380050); Y1 = 939,468,133,961,604,904 runs out first",
   "href": "notes.md"
  },
  {
   "kind": "fact",
   "text": "175 cycle: M(X) -> M(2^36 X + 9575900996480), 56/56 periods exact, 165/165 base segment runs",
   "href": "work/segval175.json"
  }
 ],
 "effort_if_yes": "stage489: 2 h (one agent); after175: 0 now",
 "updated": "2026-10-14",
 "superseded": {
  "date": "2026-10-14",
  "note": "Not answered; superseded by the informal_proof stage: proof.md covers 489 (start D enters cycle Q after the Y1 exhaustion), so the park-or-fund question no longer applies. No option was chosen."
 }
}