Corollary: Reconstruction-safe coefficient extraction

Presentations of the same actual internal distribution have the same extracted coefficients and finite part whenever Assumption ass:expansion holds. A reconstruction-null presentation has all these coefficients equal to zero.

Proof. Their positive-scale families agree by Proposition prop:positive. Apply uniqueness.