A card from a free library — ask anything, no account, works offline. Every card carries its source.
Get close - a bounded estimate
instrument
The Get close - a bounded estimate verifier (src/concordance/verifiers/approximation.py). On the one map it instruments: card_question_p_vs_np. Found from the code's own imports, never invented; the module keeps the logic, this card is a pointer.
source
verifier: approximation · src/concordance/verifiers/approximation.py
card id
card_instr_approximation
address
WIT.codex.FCT/get-close-a-bounded-estimate/REF.WITNESSED@verifier-approximation
adjoining cards
- part of → The instruments — every verifier and validator, and where they join — a root of the instrument trees (Get close - a bounded estimate)
- connects at → P versus NP — instruments the map: the get-close door: a bounded estimate (anchor + one step, Taylor/Lip
- connects at → Get close — a bounded estimate (the approximate flip) — Get close: uses card_instr_approximation
Is this card incomplete? Tell the library — it will call out for more ↗