# Inventory
## Potential Removals
- None at the moment.
## Desired Functionality
- Add Kani proofs for winnow view helpers.
- Add test covering freezing an empty section to guard against flush errors on macOS.
- Explore how to model `ByteArea` for Kani or fuzzing without depending on OS-backed memory maps.
## Discovered Issues
- None at the moment.