Verification

Parser, monotonic generation, replay/rejection, deterministic plan, DIRECT_REQUIRED and forced-command rejection passed. Production selector and nft were unchanged.