Expand description
The pure client state machine (0056 AR10): a readonly cache of the
backend’s published view plus the resynchronization rules. No IO, no
process, no clock — the stdio transport lives in crate::driver.
Rules (AR09 §8):
- A snapshot is valid against any prior state; it clears poisoning.
- A delta is valid only against its
base; anything else — a dropped or reordered delta, a changed pane set, a foreign incarnation — poisons the client until an explicit resync. - A poisoned client stops accepting actions. It retains its last known view (known outcomes are never fabricated away) and recovers only through a complete current snapshot.
Structs§
- Client
- The readonly view cache and its resynchronization state.
Enums§
- Client
Error - Client-side misuse that no resync can fix.
- Client
Event - What one applied server message changed.
- Resync
Reason - Why the client needs a complete current snapshot.