Resolved: draw this.
The fact's travel is a COUPLING, not a min/max pair — ask the taper, never flatten it.
The pointer is declared but its source was not supplied — no preamp patched, no table given, no such field in the table. A fact to render, never a default to substitute.
The fact is not carried by a numeric control at all — a toggle, an enum, a scribble string. It has no travel to declare, so it is not a gap and never joins the ledger.
The contract declares no pointer for this fact — a gap in the declaration, not in the
caller. The written-down list in control-bounds.test.ts is the shrink-only ledger.
What following a fact's pointer produced.
boundscarries the source it resolved through, so a caller — or the provenance matrix — can say WHERE a drawn number came from, not just what it is.