Post #1823376
2026-04-24 02:08 UTC
@lindsey Without having seen your definitions, wouldn't something like "eventually captures the entire state" be a necessary part of correctness?
Replies (1)
-
@lindsey@recurse.social 2026-04-24 02:43
@jer_gib The snapshot algorithm is running at the same time as the system it's snapshotting is running, and we expect the snapshot algorithm to terminate sooner or later, while the system as a whole may continue to run and do stuff forever, so I'm not sure what "entire state" would mean.