nx_auction_2ndchance.nx

nx_auction_2ndchance.nx -- MANHEIM-BUILD-L1: SECOND-CHANCE / POST-SALE NEGOTIATION (Manheim's "If-bid" / 2nd-Chance Offer channel -- what happens to a lot that DOESN'T meet reserve), COMPOSED on the shared nx_auction_core engine. Sovereign (nx_cc->nxasm, no gcc), pure integer-exact + deterministic. FLOW (genuinely distinct from the live-bidding channels -- this is a POST-auction step): 1. settle the primary auction via core at_resolve (reusing out[6]=high_amount, out[7]=high_bidder -- a NO-SALE still has a high bidder to negotiate with). 2. if the primary SOLD (high >= reserve) -> PRIMARY sale, no second chance needed. 3. if the primary NO-SALE -> offer the lot to the high bidder at their bid; the seller ACCEPTS iff that high bid >= seller_min_accept (a private floor below the public reserve) -> SECOND-CHANCE SALE at the high bid; else NO-DEAL (seller holds the unit). result codes: R_PRIMARY=1, R_2NDCHANCE=2, R_NODEAL=0. out[]: [result, price, winner] EXCEED axis (honest): turns dead NO-SALE inventory into deterministic, auditable post-sale matches at a disclosed seller floor -- no opaque back-room "if" negotiation; the buyer pays exactly their standing high. GATE (self-validating): A a NO-SALE lot CONVERTS via second chance (high 950000 >= floor 940000); B NO-DEAL (high 950000 < floor 970000, seller holds); C control = a primary SALE (high >= reserve) BYPASSES second chance (result=PRIMARY, proving the channel only fires on NO-SALE). A broken rule diverges a checked value -> verdict=RED. Evidence -> knowledge/status/auction_2ndchance.log. license_tier: ORIGINAL