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

Open

habdelra wants to merge 20 commits into

mainfrom

cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Commits on Sep 17, 2026

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

habdelra
and
claude
committed
0e080bf
Create the version fixture from a base type, not a realm-relative one

habdelra
and
claude
committed
68a3852
Evaluate the precondition against a drained index, and scope to If-Match

habdelra
and
claude
committed
782ba8b
Open the event window after the setup write's own events have landed

habdelra
and
claude
committed
9543c99
Evaluate the conditional write's precondition inside the commit's lock

habdelra
and
claude
committed
77826a6
Drain a precondition's indexing across replicas, and for removals too

habdelra
and
claude
committed
7572ee5
Refuse a conditional write the realm cannot decide, and leave the drain alone

habdelra
and
claude
committed
16ae09f
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson
habdelra
committed
9c9301b
Bound the conditional write's wait, and exercise the refusal it ends in

habdelra
and
claude
committed
3160fb9
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson
habdelra
committed
740db4c
Wedge the lane the way one actually wedges, not with a job the worker eats

habdelra
and
claude
committed
08c001c
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson
habdelra
committed
e90a20f
Ask the whole indexing lane, not the job types a write races

habdelra
and
claude
committed
d654a1a
Wait only on the jobs that move bytes, and bound the wait to the lock

habdelra
and
claude
committed
3af0cbb
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson
habdelra
committed
14e845c
Compare against every validator shape, enumerated rather than listed

habdelra
and
claude
committed
fdfc2ae
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson
habdelra
committed
cd87a7c
Exercise the validator a write hands back, and say what the enumeration misses

habdelra
and
claude
committed
10252cb
Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson
habdelra
committed
a34fb2e
Say why the validator enumeration cannot be made automatic

habdelra
and
claude
committed
824d02f

Navigation Menu

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

Refuse a card write whose If-Match names a card that moved#6168
habdelra wants to merge 20 commits into
mainfrom
cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Commits on Sep 17, 2026

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

Create the version fixture from a base type, not a realm-relative one

Evaluate the precondition against a drained index, and scope to If-Match

Open the event window after the setup write's own events have landed

Evaluate the conditional write's precondition inside the commit's lock

Drain a precondition's indexing across replicas, and for removals too

Refuse a conditional write the realm cannot decide, and leave the drain alone

Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Bound the conditional write's wait, and exercise the refusal it ends in

Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Wedge the lane the way one actually wedges, not with a job the worker eats

Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Ask the whole indexing lane, not the job types a write races

Wait only on the jobs that move bytes, and bound the wait to the lock

Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Compare against every validator shape, enumerated rather than listed

Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Exercise the validator a write hands back, and say what the enumeration misses

Merge remote-tracking branch 'origin/main' into cs-12796-card-ops-if-match-412-on-writes-and-metaversion-on-cardjson

Say why the validator enumeration cannot be made automatic