proof(abi): discharge witness-discarding attestations + reconcile standards#130#33

hyperpolymath merged 1 commit into

mainhyperpolymath/typed-wasm:mainfrom

proof-debt/standards-130-attestation-soundnesshyperpolymath/typed-wasm:proof-debt/standards-130-attestation-soundnessCopy head branch name to clipboard