nx_auction_proxybid.nx

nx_auction_proxybid.nx -- MANHEIM-BUILD-L1: PROXY BIDDING ("set your max" / automatic bidding, the OVE + Manheim Timed-Sales convenience primitive), COMPOSED on the shared nx_auction_core engine. Sovereign (nx_cc->nxasm, no gcc), pure integer-exact + deterministic. MODEL: each dealer submits a standing MAX (a proxy). proxy_resolve settles the eBay-style second-price outcome: the WINNER is the highest valid max (ties -> earliest submission), and pays the MINIMUM needed to beat the runner-up = min(top1_max, top2_max + increment), floored to the opening, and JUMPED to the reserve when the winner's max covers it. A max below the opening is REJECTED. valid iff start <= t <= end AND max >= opening. out[]: [winner, price, status(1=SOLD/0=NOSALE), accepted, rejected, runnerup_bidder, runnerup_max] EXCEED axis (honest, not yet benched): (1) proxy bidding is SNIPE-IMMUNE BY CONSTRUCTION -- maxes are pre-committed, so there is no last-tick advantage to extend against (the timed channel needs anti-snipe; the proxy channel eliminates the attack); (2) the winner provably pays the minimum to beat the runner-up (Vickrey-fair, auditable, no shill ambiguity). COMPOSITION PROOF: the gate also expands the proxy outcome into the implied concrete 2-bid stream (runner-up @ their max, winner @ the settling price) and feeds it to the SHARED core at_resolve -- asserting the core settles to the SAME winner+price. One settlement engine, two channels. GATE (self-validating): A normal 3-proxy sale (cross-checked vs core), B no-sale (top max < reserve), C neg-control (a below-opening max REJECTED + the reserve-jump when the winner is uncontested). A broken rule diverges a checked value -> verdict=RED. Evidence -> knowledge/status/auction_proxybid.log. license_tier: ORIGINAL