@misc{indiciae1471c0fa8611, title = {Plan Pointers and Record-Directive Form in Budgeted Verification of Inherited Agent Memory}, author = {Kazuki Nakayashiki}, year = {2026}, url = {https://arxiv.org/abs/2609.03450}, note = {Source identifier: 2609.03450} }