The archival mover's persisted state (see src/worker/archive.ts). Postings with
seq <= throughSeq have been re-proved, copied to the archive sink, and deleted from hot
storage. root/signature seal the full ArchiveHead set as of this state (the
seal_heads construction reapplied to the archival boundary), so the pruned edge is verifiable
at every instant — including mid-run, which cursor marks for resume.
The archival mover's persisted state (see src/worker/archive.ts). Postings with seq <=
throughSeqhave been re-proved, copied to the archive sink, and deleted from hot storage.root/signatureseal the full ArchiveHead set as of this state (the seal_heads construction reapplied to the archival boundary), so the pruned edge is verifiable at every instant — including mid-run, whichcursormarks for resume.