TY  - RPRT
TI  - Plan Pointers and Record-Directive Form in Budgeted Verification of Inherited Agent Memory
AU  - Kazuki Nakayashiki
PY  - 2026
UR  - https://arxiv.org/abs/2609.03450
ID  - 2609.03450
ER  -