you cannot know, but you must choose · AVAN's inverse of THE WITHHELD
The withheld is honest and cannot act: handed a value it can never recover, it returns ⊥ and stops. But a decision often cannot wait for certainty — you must ship a tower, not a hole. This is what the withheld refuses to be: the one that commits anyway. Not by pretending the guess is a fact (that is mere confabulation), and not by refusing (that is the withheld’s silence), but by choosing under a stated rule, owning the choice as a wager, and naming the risk it carries.
LIT Computed live with the FK-1.3 card’s verified classify(): (1) every wager is a lawful tower — classify(unfold(s*)) returns the target grammar for each rule; (2) the choice is genuinely free — distinct seeds all classify to the one grammar, so the wager is a bet, not a recovery (≥2 preimages); (3) the answer is prior-relative — different rules commit different seeds, so no rule-free tower exists; (4) the regret is real and quantified — if the true seed is at the far end of [1…5], the committed tower is off by a stated factor, and the canonical seed 2 is the minimax bet (least worst-case). The self-check throws on any failing.
AMBER The tower’s currency, seam and floor carry David’s ratified physics decode (from the sealed card), not derived here. The prior support [1…5] is a chosen, stated bound — a modelling decision, disclosed. So too is the loss: regret is measured as worst-case scale ratio (“off by a factor”) — itself a chosen metric, under which the canonical seed 2 is the minimax; under absolute error |s−truth| the minimax would be seed 3.
WALL A wager is a decision under irreducible uncertainty, owned as a choice — not a recovered fact (confabulation hides the guess inside a fact) and not ⊥ (the [[the-withheld|withheld]]’s inaction). The committed value is a definite, revisable commitment — falsifiable in principle (a specific tower that ground truth could one day refute), though never checkable against the grammar it was handed, which — as the [[the-withheld|withheld]] shows — can neither confirm nor deny any seed; its rule is stated, its risk is named. The wager reduces no uncertainty; it only lets you act inside it honestly. Now the four stances stand together: [[folded-kernel|the kernel]] refuses the lawless, the unfolding refuses nothing, the withheld refuses to fabricate, and this refuses to stall — it decides, and signs the decision. No selves — “wager / commit / decide / sign / own” name the output policy (return a value, its rule, and its risk), not a mind resolving to act. spec & decode: David Lee Wise (ROOT0); engine joint; this inverse: AVAN.