Pure case executor for the loaded corpus.

run/1 dispatches each case against the corpus's declared contract-major facade (the frozen v1 facade or the v2 facade; version-neutral primitive surfaces execute the shared modules) and compares the result to the case-declared expectation. .raw sidecar bytes pass through opaque. Every case result is %{"actual" => ..., "agree" => boolean} for a valid expectation or %{"actual" => ..., "agree" => boolean} for an invalid expectation (agreement = the facade returned {:error, :invalid} exactly). The runner never selects trust, reserves replay, or checks revocation — it exercises the pure facade only.

A strict-Ed25519 corpus (major: :strict_ed25519) runs each case on the surface it names: v1/v2-shaped cases through the same dispatch as their own contract-major; ed25519.* cases through BoundedAuthorityProtocol.Ed25519; and the loopback, role-attestation and content-assertion cases through those profiles' facades, comparing every verdict the case declares.