Module resume 

Resume: remote validation and state reconciliation (PRD §12, §13).

Resume is the normal case, not the exceptional one. Two questions have to be answered before a single byte is reused:

1. Is the remote still the same object? — validate
2. Is the local file still the file we were writing? — check_identity and reconcile

Either answer being “no” means we refuse or re-download, never “hope”.

Structs

Reconciled

Validators

Enums

Identity

Validation

Functions

check_identity

Is the file at the destination the one we recorded progress against?

plan_is_intact

Does this plan still cover exactly total bytes with no gaps? If not the engine must replan rather than patch (PRD Invariant 3).

reconcile

Bring persisted ranges into line with the file that is actually on disk.

validate

Compare what we recorded last time against a fresh probe.