Repository navigation
lab(drf-w3): same-facet writes apply by declared stream position - #1766
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
stage_at carries a position; flush sorts by (ord, offset, pos) and applies in that order, so the highest position wins whatever the staging order. Different values at one position, or next to an unordered write, refuse. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
Both headings parsed as D-DRF, which entries_index --check rejects as a duplicate id. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 960cb72c98
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
This adds the W3 ordered-apply arm of
.claude/plans/d-dr64-focus-cache-falsifiers-v1.md§4 todrf-focus-probe.Change
Writeback::stage_at(slot, facet, value, pos).stageis unchanged and stages a write with no position.flushsorts patches by(ord, offset, pos)and applies them in that order, so each facet ends with its highest-position value whatever order the writes were staged in.Conflict. Equal values coalesce.Tests (17 pass on native and on
x86-64-v3; clippy-D warningsclean)Disable runs (each turns its own test red)
pos, so staging order decides.Open: positions are caller-declared
u64values. Nothing ties them to a real stream (CycleWriter sequence, WAL LSN) yet; that is W4–W6.Board:
.claude/board/entries/2026-10-25-drf-w3-ordered-apply.md.Generated by Claude Code