A card from a free library — ask anything, no account, works offline. Every card carries its source.
Get close — a bounded estimate (the approximate flip)
solve step
One step from the anchor, with a proven error: estimate f0 + f1·(x−x0), bound the remainder by Taylor (sup|f''|·(x−x0)^2/2) or Lipschitz. Fairly close, with a proven bound, is often the answer. The door is src/concordance/verifiers/approximation.py; 0 false positives — a closeness claim the truth does not satisfy is refused.
source
Narrow Highway — a step of the solve path · stick_get_fairly_close_with_a_proven_bound
card id
card_solve_get_close
address
WIT.codex.FCT/get-close-a-bounded-estimate-the-approximate-fli/REF.WITNESSED@narrow-highway
adjoining cards
- on the shelf of → The solve path — a spine — a step of the solve path
- connects at → Get close - a bounded estimate — Get close: uses card_instr_approximation
- builds on → Converge from inside — anchor on what you know exactly — get_close follows converge on the solve path
- enables → Refine — tighten the bound, each step sealed — refine follows get_close on the solve path
Is this card incomplete? Tell the library — it will call out for more ↗