Prove fixed approval authority and a sticky observed-write seal - #48

Prove fixed approval authority and a sticky observed-write seal#48

hyperpolymath merged 18 commits into

mainhyperpolymath/epistemic-types:mainfrom

codex/approval-seal-proofshyperpolymath/epistemic-types:codex/approval-seal-proofsCopy head branch name to clipboard