Function assemble_program_checked 

pub fn assemble_program_checked(
    program: &CompiledProgram,
    policies: &PolicyRegistry,
    interner: &Interner,
    entries: &HostEntries,
) -> Result<Vec<u8>, WasmLowerError>

assemble_program_with as a check-mode module (Reclaim::Checked): the same module with the heap census exported (__logos_heap_census), which a heap test reads every true count back through. A shipped page never carries it.