Mutable NFT Mint Stages and Auction Refund Liveness in StaccDrop

StaccDrop is a direct ERC-721 mint with configurable fixed, descending or ascending price stages, allowlists, windows and creator controls. An accompanying AuctionHouse escrows NFTs and bids for English auctions. An isolated local build passed six existing selected tests, four for the mint and two for auctions. They cover price movement, payment splitting and refunds, allowlist and time enforcement, creator repricing and supply cuts, outbid refunds, time extensions, royalties, no-bid return and cancellation. One added test exposes a liveness boundary: a contract bidder can place the leading bid while rejecting incoming refunds. A later higher bid then reverts at the refund step, leaving the original bidder and bid in place. This is a local, version-specific finding, not evidence of a deployed exploit or malicious actor. The report distinguishes an owner-mutable sale interface from a fixed-price promise and a successful auction path from a refund-dependent one. Preparation of this report was assisted by Codex. The research programme is directed toward human agency, financial inclusion, and evidence-based accountability. Intended social benefits are distinguished from measured technical results in the manuscript. The manuscript and newly authored analysis are offered under CC BY 4.0. Any supplied source files retain the license terms stated in the supplement; the record license does not replace third-party source licenses.