Retrospective Log

Append-only loop completion record. Every entry feeds v+1.