A card from a free library — ask anything, no account, works offline. Every card carries its source.
Converge from inside — anchor on what you know exactly
solve step
The second jaw. Do not search from nothing: start from a point held with certainty — a solved neighbour in the keeping, or an easy surrogate (relax the hard constraint, keep the first term) — and step toward the target by an amount you can bound. The anchor carries the truth; the step carries the error.
source
Narrow Highway — a step of the solve path
card id
card_solve_converge
address
WIT.codex.FCT/converge-from-inside-anchor-on-what-you-know-exa/REF.WITNESSED@narrow-highway
adjoining cards
- part of → The solve path — two jaws that close on the answer — a jaw of the solve path (Converge from inside)
- enables → Get close — a bounded estimate (the approximate flip) — get_close follows converge on the solve path
- enables → Change of domain — solve in the eigenbasis, map back (the exact flip) — change_domain follows converge on the solve path
Is this card incomplete? Tell the library — it will call out for more ↗