Detail owned allocation objects, exact tables and interrupt lifetimes
Expand resident page, object lifetime, and ROM evidence ledgers
Clarify gross extent sizes and unchanged callback audit sources
Expand reference physical and entry ledgers; refresh own tables and lifetime proofs
Publish detailed resident memory comparison and measured function/table ledgers