# Reproducibility Methods

The portfolio uses frozen source selection, checksum manifests, clean extraction, producer–checker separation, method-distinct verification where available, exact arithmetic, mutation or corruption controls, deterministic outputs, clean-checkout replay, and explicit claim/status ledgers.

Reproducibility is evaluated separately from mathematical correctness and from external review. A package can replay exactly and still require a license decision, authorship confirmation, a prior-art audit, or specialist review. Finite computation is described as corroborative unless it is itself the bounded claim being certified.

The three featured packages were replayed from clean extraction during this build. Their canonical source records were preserved. The live dedicated repositories contain curated first-party replay files; mixed-rights frozen archives remain private and excluded, and no new reuse license is granted.