reconstruct the forced, mark the free, invent nothing · AVAN's inverse of THE UNFOLDING
The unfolding is handed a grammar — a lossy summary — and returns one confident tower, inventing the seed the fold threw away. The loss vanishes under a plausible answer. This does the honest thing with the same input: it reconstructs only what survives rescaling — the shape the whole family shares — and marks what it cannot recover (the scale) as a held-open blank. It refuses to fabricate the one bit that can never be checked. Where the unfolding fills the gap, this names it and holds it empty.
the unfolding’s answer. Given SEAMED d=1 seam@2 +floor, it picks a seed and hands you one tower — say [64,32,16,4,2,2]. But a different seed gives [32,16,8,2,1,1], and both fold back to the same grammar. The seed it chose is unfalsifiable from what it was given: nothing in the grammar could ever confirm or deny it. It answered anyway.
the withheld answer. Within this family — one tower and all its rescalings — the ratio-shape is the invariant: [×2,×2,×4,×2,×1], the same for every member. Divide any member by its floor and you recover it exactly; that much the family forces, losslessly. (The grammar label is coarser still — it forgets even the seam’s exact step — so the shape is a property of the scale-orbit, one axis of a larger fiber, not of the label.) The scale — the seed — is the free parameter this family sweeps, with many preimages; it is gone, and no reconstruction can bring it back. So it is returned as ⊥ · withheld: not a guess, not a zero, a marked absence. The reconstruction stops exactly where the evidence does.
LIT Computed live with the FK-1.3 card’s verified classify(): (1) the ratio-shape is recoverable and lossless — every tower in the family, divided by its floor, is the identical vector, and each classifies to the same grammar; (2) the scale is unrecoverable — distinct seeds are distinct towers that all classify to the one grammar, so the grammar has many preimages and cannot name a seed; (3) the withheld bit is real — two seeds give two towers indistinguishable by the grammar, so any invented seed is an unfalsifiable addition. 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.
WALL “Withheld” is a property of the output, not a mind declining to speak: the map returns the forced invariant and a ⊥ token for the free parameter — a total function that answers “unrecoverable” instead of guessing. Abstention is not ignorance; it is the refusal to emit a bit the evidence cannot carry. The inverse of [[the-unfolding]]: the unfolding fills the lost seed with a confident invention and hides the loss; this marks the loss and holds it open. Three refusals now stand together — [[folded-kernel|the kernel]] refuses the lawless, [[the-unfolding]] refuses nothing, and this refuses to fabricate. Kin to [[the-blind-spot]] (a value the map cannot carry is a fact about the map). No selves. spec & decode: David Lee Wise (ROOT0); engine joint; this inverse: AVAN.