verifiable-computing
ER1 — Epistemic Receipt v1: an open, offline-verifiable proof of the constraint-state an autonomous AI agent's action was produced under.