Module wta 

Winner-take-all — the O7 stretch: the MARGIN CERTIFICATE arrives before the tile does.

A WTA circuit picks the largest of n currents; near ties it picks WRONG, because each competitor carries an input-referred offset. The honest theorem: with per-cell offsets bounded by the k·σ envelope, the physical winner equals the ideal winner whenever the certified top-two margin EXCEEDS the resolution band 2·k·σ_offset/s (both competitors can shift toward each other by k·σ at most). wta_winner states exactly that — a provable flag, never an unconditional claim — and the lock’s fixed-seed Monte-Carlo shows both sides: provable margins never flip, and a near-tie really does flip on real dies. ArgMax STAYS in KNOWN_PLANNED: the tile lowers when the margin replay reaches the independent checker.

Structs

WtaOutcome

One judged winner-take-all readout.

Functions

wta_winner

Judge an ideal value vector at block scale s: argmax, top-two margin, and whether the margin clears the offset resolution band. None for fewer than two competitors.