Check each storage structure against its ownership and reuse contract. Separate requested payload, reserved capacity, and generation-based object identity.
Lessons
- Checkpoint arenas: reclaim a region by lifetime
- Free spans: first-fit allocation and adjacent coalescing
- Buddy blocks: split powers of two and reunite partners
- Slab slots: reuse fixed-size pages with generation checks