TARL: Transaction-Aware Reliable Ledgers for Executable Memory Management in Long-Term Agents