Byte Range Map

This page records executable evidence by address and byte range.

Pipeline

1. Byte range map records executable evidence by address and byte range.
2. Binary perimeter groups the recorded evidence by functions, type identities, vtables, globals, and broad evidence families.
3. Functional specification defines the greenfield Bevy architecture, native pack contracts, original behavior, performance acceptance, and every discrete implementation package.