Skip to content

Fix/local history bugs - #61

Merged
ChenZhenIO merged 2 commits into
release/v0.7.0from
fix/local-history-bugs
Oct 23, 2026
Merged

ChenZhenIO merged 2 commits into
release/v0.7.0from
fix/local-history-bugs

Conversation

@ChenZhenIO

Copy link
Copy Markdown
Collaborator

No description provided.

…fety

* Implement `LocalHistoryBatchReader` in `FileLocalHistoryStore` to batch read revisions and optimize search performance.
* Persist document identities independently in `documents.json` and improve unindexed capture handling during index recovery.
* Add `_LocalHistoryLossProtection` checks to guard entity deletions and external replacements against concurrent disk changes.
* Refactor local history restore flows in comparison and workspace controllers with recovery state tracking, workspace navigation prompts, and final newline policy matching.
* Observe external and authoritative note replacements separately using `LocalHistoryCaptureReason.externalChange`.
@ChenZhenIO ChenZhenIO self-assigned this Oct 23, 2026
@ChenZhenIO
ChenZhenIO merged commit c0ff08a into release/v0.7.0 Oct 23, 2026
10 checks passed
@ChenZhenIO
ChenZhenIO deleted the fix/local-history-bugs branch October 23, 2026 21:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants