CR-17: cancellation harness across public operations, including mid-transaction #155
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Review finding 2026-08-27 (D1). Cancellation is tested only where nothing was written (
cr17_cancellationNeverAdvancesCursorcancels a suspended poll); no other public operation is cancelled.Acceptance (CR-17, §8): cancellation injected inside
stores.writeon in-memory and sqlite;send,loadOlder/pagination,sendAttachment,createRoom,restoreFromBackupcancelled mid-flight, then cursor + fact hashes asserted unchanged and the queue consistent.