Hard guarantees
- No privileged mint — every new STEP is minted by StepDex against DAI
- No pause switch and no oracle — price = DAI reserve ÷ STEP supply
- Fees, burns, the Box split and the revenue split are compile-time constants
- Reentrancy guards on every value-moving entry point; SafeERC20 transfers and pull-payments
- Gas-bounded, resumable distributions that cannot be griefed into a halt
- A 95% minimum-output floor on internal AMM buys, taken from a live quote
- The revenue conduit holds no balance — every payment leaves in the same transaction
- Exact accounting under a deflationary token — the NFT fund's books balance to the wei, proven in the test suite