Fresh exact standard-library witnesses and a fresh execution receipt for the historical 31-test suite. These are not all historical 90 tests or the full driver campaign. Activation JSON is an unchanged original witness. Run the standalone verifier without installing dependencies.
