Restart-aware oracle property tests#4649

Merged

robacourt merged 23 commits into

mainfrom

rob/restore-tests

Jun 24, 2026

Commits on Jun 24, 2026

Restart server and client mid test
robacourt
committed
Don't use temporary slot
robacourt
committed
Pass in retry_every to test_against_oracle
robacourt
committed
Add failing test
robacourt
committed
Fix
robacourt
committed
Fix materializer re-reading main log on restart (Bug 4)

robacourt
and
claude
committed
Add Bug 5 regression test (still failing)

robacourt
and
claude
committed
Document Bug 5: post-restart move-in lost with multi-chunk source log

robacourt
and
claude
committed
Trace Bug 5: move-in path through materializer is healthy

robacourt
and
claude
committed
Bug 5 root cause: outer-consumer view seeded from materializer races

robacourt
and
claude
committed
Fix Bug 5: eager-start subquery consumers before opening event gate

robacourt
and
claude
committed
Document Bug 6: mid-restart shape cleanup leaves shape gone from disk

robacourt
and
claude
committed
Fix Bug 6: harden materializer + ETS lookups against transient inconsistency

robacourt
and
claude
committed
Catch :noproc on consumer→materializer call to avoid spurious cleanup

robacourt
and
claude
committed
Update bugs.md: mark Bug 6 fixed, document Bug 2 as next blocker
robacourt
committed
Document Bug 2's two flavors (duplicate insert, orphan delete) with deeper triage notes
robacourt
committed
Revert materializer resilience: enforce strict invariants again

robacourt
and
claude
committed
Update bugs.md: clarify Bug 6 partial fix and refine Bug 2 analysis

robacourt
and
claude
committed
Correct Bug 2/5 analysis: post-restart-only, root cause is offset mismatch

robacourt
and
claude
committed
bugs.md: spell out why L_inner ≠ L_outer after a kill

robacourt
and
claude
committed
Coordinated safe shutdown + drop-all-on-dirty-startup

robacourt
and
claude
committed
Mark Bugs 2 and 5 as fixed; update triage note
robacourt
committed
Strip example fixes; keep only restart-aware oracle test changes

robacourt
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Restart-aware oracle property tests#4649

Restart-aware oracle property tests#4649
robacourt merged 23 commits into
mainfrom
rob/restore-tests

Commits on Jun 24, 2026

Restart server and client mid test

Don't use temporary slot

Pass in retry_every to test_against_oracle

Add failing test

Fix

Fix materializer re-reading main log on restart (Bug 4)

Add Bug 5 regression test (still failing)

Document Bug 5: post-restart move-in lost with multi-chunk source log

Trace Bug 5: move-in path through materializer is healthy

Bug 5 root cause: outer-consumer view seeded from materializer races

Fix Bug 5: eager-start subquery consumers before opening event gate

Document Bug 6: mid-restart shape cleanup leaves shape gone from disk

Fix Bug 6: harden materializer + ETS lookups against transient inconsistency

Catch :noproc on consumer→materializer call to avoid spurious cleanup

Update bugs.md: mark Bug 6 fixed, document Bug 2 as next blocker

Document Bug 2's two flavors (duplicate insert, orphan delete) with deeper triage notes

Revert materializer resilience: enforce strict invariants again

Update bugs.md: clarify Bug 6 partial fix and refine Bug 2 analysis

Correct Bug 2/5 analysis: post-restart-only, root cause is offset mismatch

bugs.md: spell out why L_inner ≠ L_outer after a kill

Coordinated safe shutdown + drop-all-on-dirty-startup

Mark Bugs 2 and 5 as fixed; update triage note

Strip example fixes; keep only restart-aware oracle test changes