"""Unit tests for `attractor.checkpoint`. See SPEC.md §7."""