Expand reference physical and entry ledgers; refresh own tables and lifetime proofs
Publish detailed resident memory comparison and measured function/table ledgers