Byte Range Map

This page is gate 1. It records evidence by address/range: whether each mapped byte or range exists and what it is.

Pipeline

1. Byte range map is the evidence gate by address/range: it records whether each mapped byte or range exists and what it is.
2. Binary perimeter is the evidence pivot gate: it groups the recorded evidence by functions, type identities, vtables, globals, and broad evidence families.
3. Functional specification is the product and delivery gate: it defines the greenfield Bevy architecture, native pack contracts, original behavior, performance acceptance, and every discrete implementation package.