diff options
| author | eunhhu <[email protected]> | 2026-09-29 18:04:01 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-29 18:04:01 +0100 |
| commit | 685cafa8f976fdd94168cfc933ad5389f8b4c617 (patch) | |
| tree | e6c140a1a6c57f8a2f06d7c2f23eb301bb6a29ce /docs/design/001-operation-semantics.md | |
| parent | 7ac82a749062bd321e2bb68c22d1e6efafdb55b7 (diff) | |
| download | pure-685cafa8f976fdd94168cfc933ad5389f8b4c617.tar.gz pure-685cafa8f976fdd94168cfc933ad5389f8b4c617.zip | |
Hold an app uncertain whatever its save changed, not only a list
A save whose tree commit may or may not be stored leaves the app apart
from its store: no save may follow until it starts again from what the
store has. The app was marked so only when the save also logged a list's
change, so a save of numbers alone that came back uncertain let the next
event (a list's alone) save on the state the memory had rolled back to:
after a restart, count 1 and a row made from count 0 (review 004, F2).
Now any uncertain tree commit marks it; a failed one still takes back
the logged entry. test-module's uncertain_numbers does the review's
case: the list's event is refused, and the store is the commit's.
Diffstat (limited to 'docs/design/001-operation-semantics.md')
0 files changed, 0 insertions, 0 deletions
