A card from a free library — ask anything, no account, works offline. Every card carries its source.
Refine — tighten the bound, each step sealed
solve step
A monotone loop: one more term of the series, one more Newton step, one more zero counted — each tightening sealed, the window shrinking. Success guides the direction, failure narrows by proving the bound cannot tighten here. Runs only if the decision needs more than the first estimate gave.
source
Narrow Highway — a step of the solve path
card id
card_solve_refine
address
WIT.codex.FCT/refine-tighten-the-bound-each-step-sealed/REF.WITNESSED@narrow-highway
adjoining cards
- on the shelf of → The solve path — a spine — a step of the solve path
- builds on → Get close — a bounded estimate (the approximate flip) — refine follows get_close on the solve path
- builds on → Change of domain — solve in the eigenbasis, map back (the exact flip) — refine follows change_domain on the solve path
- enables → The answer — the surviving window closes — answer follows refine on the solve path
Is this card incomplete? Tell the library — it will call out for more ↗