Plan Pointers and Record-Directive Form in Budgeted Verification of Inherited Agent Memory | Synapse