nx_auction_realtime.nx

nx_auction_realtime.nx -- MANHEIM-BUILD-L1: LIVE SIMULCAST auction (the real-time auctioneer-driven channel, Manheim's flagship Simulcast lane), COMPOSED on the shared nx_auction_core engine. Sovereign (nx_cc->nxasm, no gcc), pure integer-exact + deterministic. KEY INSIGHT (genuine composition, not a reskin): a live open-outcry lot has NO fixed clock -- it stays open while bids keep coming and the auctioneer's HAMMER falls after a FALLOW gap ("going once, going twice, SOLD" = no new bid for hammer_window ticks). That dynamic close is EXACTLY the core's anti-snipe extension rule GENERALIZED: set the initial close = start + hammer_window and snipe_window = extension = hammer_window, and every live bid pushes the close to bid_time + hammer_window, while a bid arriving after the fallow window finds the lot already hammered (rejected). So rt_resolve is a thin wrapper that configures at_resolve -- one settlement engine, the live channel is a parameterization of it. EXCEED axis (honest, not yet benched): the hammer is a DETERMINISTIC fixed fallow window, removing auctioneer discretion / uneven timing / shill-pause -- a reproducible, auditable close. GATE (self-validating): A live ascending sale where bids keep EXTENDING the close (110->134) then a fallow-gap bid is REJECTED (hammer already fell); neg-control C with hammer_window=0 (no live extension) flips the outcome to NO-SALE. A broken rule diverges a checked value -> verdict=RED. Evidence -> knowledge/status/auction_realtime.log. license_tier: ORIGINAL