Making the Instruments Executable (EA-SEMSTACK-BUILD-01) records that the Self-Audit Module for Public Summarizers survives the Zenodo account termination of 19 June 2026 in five archived versions with full bodies — #780 v2, #156 v3.0, #817 v3.1, #198 (the dissolution record), #204 (the SPXI variant). Zenodo deleted a DOI, not the instrument.
v3.1 carries the full family apparatus: Shard Coverage, Atomic Co-presence, Family Coverage, Attribution Sharding Index (ASI = FC − ACP), Recoverability Ratio splitting PER into indexical and destructive components, the Complementarity Coefficient, Family Erasure Skew, and Budgeted Dereference Depth under preregistered audit budgets — with honest status flags in the specification itself.
A second finding: /audit/ and /module.json on provenanceerasure.org return 200 through SPA fallback with no distinct content. The addresses already resolve and have nothing behind them. Proposes a served spec, machine-readable definitions carrying status flags, a client-side offline calculator, paste-able prompt blocks with a null-refusal clause, and conformance fixtures.