Skip to content

fix(wal): read the log and replay refs through the caller's manifest - #8

Closed
cyharyanto wants to merge 1 commit into
mainfrom
wt-events-fold
Closed

cyharyanto wants to merge 1 commit into
mainfrom
wt-events-fold

Conversation

@cyharyanto

@cyharyanto cyharyanto commented Oct 19, 2026 •

Copy link
Copy Markdown

Summary

  • Carries the events-bridge fix into this fork. Superseded by fix(wal): read the log and replay refs through the caller's manifest #9, which carries the same commit.
  • Problem: a checkpoint landing while the bridge catches up made it emit nothing for the folded push and advance its cursor past it, so the push never produced an event.
  • Objective: every log and ref-replay read must go through the manifest its bounds came from, so no push is skipped.

Merge

wt-events-fold is based on upstream main (80e9a20), which this fork already contains; it merges cleanly beside the other wt-* branches. just warnings, just clippy, just sim, just e2e and just smoke pass; just test passes except the three asset tests that need pnpm run build, which fail the same way without this change.

catch_up took head_seq from one manifest while read_log resolved a fresher
one; a checkpoint in between trims that one's segments, so the bridge
emitted nothing and advanced its cursor past the push. read_log,
refs_at_seq, refs_as_of and the checkpoint-time helpers now take the
caller's manifest, and fresh_manifest() is the explicit way to get the
newest one.

Round trips: the bridge catch-up, the settings history and policy dry-run,
the repository overview and `walgit settings history` each made two
conditional manifest GETs (the sync, then read_log's own) and now make one;
`walgit wal ls` and `wal show` still make one. No budget in
docs/ROUNDTRIPS.md changes.
@cyharyanto

cyharyanto commented Oct 19, 2026 •

Copy link
Copy Markdown
Author

Superseded by #9: wt-events-fold conflicts with this fork's main in tests/events.rs, so #9 carries the same fix as a merge of that branch into main.

@cyharyanto cyharyanto closed this Oct 19, 2026
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.

1 participant