Exact Record Omission in Delta Attention: A Transport Criterion, Its Cost, and a Replay Certificate

תקציר מקורי באנגליתarXiv:2609.06872v2 Announce Type: replace Abstract: An assistant can stop repeating a deleted statement while its recurrent memory still carries that statement's influence. We examine this distinction by saving the state difference immediately after a record, transporting this receipt through later updates, and comparing the correction with the state built from the same conversation with the record omitted. Unrolling the recurrence gives an exact criterion: transport reaches this never-stored state if and only if the additional differences created by later updates cancel after transport. We connect this criterion to eleven conditions on 40 prospectively selected synthetic Kimi Linear contexts, with 40 separate calibration contexts and paired whole-record uncertainty estimates. Attention ma