From 20a1a4995c9b70108b6234058e94b0ffcf7ebffa Mon Sep 17 00:00:00 2001 From: pingqiu Date: Thu, 2 Apr 2026 22:59:44 -0700 Subject: [PATCH] =?UTF-8?q?fix:=20CP13-5=20doc=20=E2=80=94=20remove=20stal?= =?UTF-8?q?e=20CatchingUp=20transition=20claim?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Replace "observable CatchingUp state transition" with the actual 3 signals the test asserts: seeded hasFlushedProgress, receivedLSN advance, non-zero replicaFlushedLSN. Co-Authored-By: Claude Opus 4.6 (1M context) --- sw-block/.private/phase/phase-13-cp5-reconnect.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sw-block/.private/phase/phase-13-cp5-reconnect.md b/sw-block/.private/phase/phase-13-cp5-reconnect.md index 3c2b47689..527adf04c 100644 --- a/sw-block/.private/phase/phase-13-cp5-reconnect.md +++ b/sw-block/.private/phase/phase-13-cp5-reconnect.md @@ -52,7 +52,7 @@ SyncCache → groupCommit.Submit → Barrier(lsnMax) | Test | Was | Now | Why | |------|-----|-----|-----| -| `TestAdversarial_ReconnectUsesHandshakeNotBootstrap` | FAIL | PASS | Seeded hasFlushedProgress + observable CatchingUp state transition proves handshake path used | +| `TestAdversarial_ReconnectUsesHandshakeNotBootstrap` | FAIL | PASS | 3 observable signals: seeded hasFlushedProgress, receivedLSN advance, non-zero replicaFlushedLSN | | `TestAdversarial_CatchupMultipleDisconnects` | FAIL | PASS | Repeated SetReplicaAddrs preserves progress seed | | `TestAdversarial_CatchupDoesNotOverwriteNewerData` | FAIL | PASS | Catch-up now completes, safety invariant exercised |