Popcorn: ERC-4626 Adapter Vault

Investigate a multi-contract adapter-backed vault, trace how assets and ownership move across both accounting layers, and identify an execution path that no longer preserves the vault’s intended guarantees. Build a reproducible proof, explain the impact, and repair the implementation without breaking the healthy flows.