Expand description
Shared organization and replay of value histories.
Structs§
- Edit
List - An accumulation of (value, time, diff) updates.
- Value
History - A loaded, time-ordered replay of one key’s
(value, time, diff)edits, with meet-advanced buffer collapse — the shared machinery under replay-based tactics. Its local contract: afteradvance_buffer_by(meet)with the meet of the un-replayed times, the buffer is consolidated and replay cost stays linear in edits rather than quadratic.