Decide what a reopened workspace is entitled to claim.
Precedence, worst first: a package that cannot be opened blocks the reopen;
a moved source outranks a moved package because the source is the source of
truth (ADR-0002); anything uninspected leaves the reopen unverifiable. Only
a reopen where every part was inspected and every part matched reports
verified, and only that reopen may call its geometry current.
Decide what a reopened workspace is entitled to claim.
Precedence, worst first: a package that cannot be opened blocks the reopen; a moved source outranks a moved package because the source is the source of truth (ADR-0002); anything uninspected leaves the reopen unverifiable. Only a reopen where every part was inspected and every part matched reports
verified, and only that reopen may call its geometry current.