## Problem No NFT-style example in the corpus; allowlist patterns surface several rules (S001, S005, S008). ## Acceptance Criteria - [ ] Minimal NFT contract with allowlist (Merkle-root storage) - [ ] Tests cover happy + replay paths ## Pointers - new `contracts/nft-allowlist/`
Problem
No NFT-style example in the corpus; allowlist patterns surface several rules (S001, S005, S008).
Acceptance Criteria
Pointers
contracts/nft-allowlist/