Formal and empirical verification of the single-writer designs - #835

Draft

tobiajo wants to merge 16 commits into

evolution-gaming:masterfrom

tobiajo:tj/address-partition-ownership-overlap-possiblity-models

Commits on Jul 22, 2026

Protect Cassandra snapshot writes on persist (compare-and-set), persist-only

tobiajo
and
claude
committed
1a8c137
Protect Cassandra snapshot writes from stale writers (full compare-and-set fence)

tobiajo
and
claude
committed
be15f51
Test the Cassandra fence: compare-and-set suite, replay fencing, per-key serialization

tobiajo
and
claude
committed
0881d5f

Commits on Jul 23, 2026

Vendor the skafka fork used by the KIP-848 experiment
tobiajo
committed
aa800b9
Add the KIP-848 and revoke-time-flush runtime experiments
tobiajo
committed
bf2a395
Add the TLA+ single-writer models
tobiajo
committed
153003a
Add the verification research corpus
tobiajo
committed
ee008d2
Correct two claims in the Kafka single-writer design doc
tobiajo
committed
95fadbf

Commits on Jul 28, 2026

Commits on Aug 4, 2026