Skip to content

Refuse a card write whose If-Match names a card that moved #6168

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
habdelra wants to merge 20 commits into
base: main
Choose a base branch
from
Open

Refuse a card write whose If-Match names a card that moved #6168

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
0e080bf
Refuse a card write whose If-Match names a card that moved
habdelra Sep 17, 2026
68a3852
Create the version fixture from a base type, not a realm-relative one
habdelra Sep 17, 2026
782ba8b
Evaluate the precondition against a drained index, and scope to If-Match
habdelra Sep 17, 2026
9543c99
Open the event window after the setup write's own events have landed
habdelra Sep 17, 2026
77826a6
Evaluate the conditional write's precondition inside the commit's lock
habdelra Sep 17, 2026
7572ee5
Drain a precondition's indexing across replicas, and for removals too
habdelra Sep 17, 2026
16ae09f
Refuse a conditional write the realm cannot decide, and leave the dra…
habdelra Sep 17, 2026
9c9301b
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-…
habdelra Sep 17, 2026
3160fb9
Bound the conditional write's wait, and exercise the refusal it ends in
habdelra Sep 17, 2026
740db4c
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-…
habdelra Sep 17, 2026
08c001c
Wedge the lane the way one actually wedges, not with a job the worker…
habdelra Sep 17, 2026
e90a20f
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-…
habdelra Sep 17, 2026
d654a1a
Ask the whole indexing lane, not the job types a write races
habdelra Sep 17, 2026
3af0cbb
Wait only on the jobs that move bytes, and bound the wait to the lock
habdelra Sep 17, 2026
14e845c
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-…
habdelra Sep 17, 2026
fdfc2ae
Compare against every validator shape, enumerated rather than listed
habdelra Sep 17, 2026
cd87a7c
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-…
habdelra Sep 17, 2026
10252cb
Exercise the validator a write hands back, and say what the enumerati…
habdelra Sep 17, 2026
a34fb2e
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-…
habdelra Sep 17, 2026
824d02f
Say why the validator enumeration cannot be made automatic
habdelra Sep 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading