diff options
| author | Berke Güzel <wenekar1@gmail.com> | 2026-10-15 12:39:21 +0300 |
|---|---|---|
| committer | Berke Güzel <wenekar1@gmail.com> | 2026-10-15 12:39:21 +0300 |
| commit | ca69844a243a6e335b0ddafad057f35e89e0a576 (patch) | |
| tree | 7192c9f05e6500bb2ba550ca976ed9951b87c1f4 /docs/correctness-audit.md | |
| parent | 22345caf457e8d9a4bdb56b696cc5f3694812276 (diff) | |
| parent | 4c72f7b02fbafd15d0cf843edece106714bcc5f7 (diff) | |
Merge branch 'wt/snapshot-atomic' into api-hardening
# Conflicts:
# src/snapshot.c
Diffstat (limited to 'docs/correctness-audit.md')
| -rw-r--r-- | docs/correctness-audit.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/correctness-audit.md b/docs/correctness-audit.md index 4c9a14c..dd854a1 100644 --- a/docs/correctness-audit.md +++ b/docs/correctness-audit.md @@ -96,8 +96,9 @@ remain on row 3, and history should remain empty. - Snapshot scroll accounting now counts discarded cluster records as dead, allowing compaction to reclaim them. -- Snapshot allocation failures now report false, empty the snapshot, and - force a complete capture on retry. +- Snapshot allocation failures now report false and leave the previous + snapshot unchanged. Every allocation happens before a field changes, so a + retry is an ordinary incremental update. - Height shrink allocates the replacement screen before moving rows or changing the cursor, preserving state if allocation fails. |