A Foundry handler, ghost variables and the five invariants I run on every ERC-4626 vault: solvency, share price, rounding, previews and conversions.

How ERC-4626 and ERC-7540 vaults price redemptions: when the share price is fixed, who carries NAV risk while a request is pending, and the bugs to check.

Vault code is open source and free to fork. Why licences, compliance and distribution, not contracts, decide who captures tokenized real-world assets.

How stale NAV updates let informed users extract value from ERC-7540 redemption queues, how much is at stake, and the designs that contain it.

How Uniswap v4's PoolManager unlock and callback flow works, which hook entry points can return deltas, and what that means for hook security.