Expand description
v0.151: signed verification records for Carina Proof artifacts.
Substrate-honest split: the substrate stores attested verification records; the verifier (Lean kernel, Coq, etc.) runs outside the substrate. Consumers verify the attestation’s signature against the verifier_actor’s pubkey and trust the verifier’s judgment for the named (tool, tool_version, lake_manifest_hash) tuple.
See docs/PROOF_VERIFICATION.md (shipped at v0.153) for the
end-to-end pipeline and .github/workflows/verify-carina-proofs.yml
for the canonical GitHub Action implementation.