Extend reference table lifetime and disjoint function ownership research
Expand resident page, object lifetime, and ROM evidence ledgers
Expand reference physical and entry ledgers; refresh own tables and lifetime proofs