Expand description
EditGen — the monotonic edit-generation stamp.
One per EditorState. It bumps on every state mutation (edit, motion,
mode change, viewport move) and is the root of escriba’s sealed refresh
tree (theory/ESCRIBA.md §Refresh-Seal): a rendered product is fresh iff
its stamp equals the current EditGen, so a stale frame — one that shows a
product older than the state it claims — has no reachable code path once
the renderer gates on the stamp. Same monotonic-u64 technique as mado’s
frame seqno, promoted to a typed primitive.
Structs§
- EditGen
- A monotonic edit-generation counter. Equality is the freshness test:
product_gen == current_gen⇒ the product matches the live state.