CAP never authorizes.
Pure set-level charter verification and view-relative governing computation.
Set verification re-verifies every artifact and reports signed conflicts as facts. Governing computation uses only verified facts plus a caller-supplied UTC instant; it never reads a clock and never tie-breaks a contested view.
Summary
Functions
Compute the unique governing revision in this verified view at one UTC instant.
Verify a complete caller-supplied charter artifact view.
Functions
@spec governing_revision(term(), term()) :: {:ok, binary() | :contested | :none} | {:error, CharterAgreementProtocol.Error.t()}
Compute the unique governing revision in this verified view at one UTC instant.
@spec verify(term(), term(), term(), term(), CharterAgreementProtocol.Limits.t()) :: {:ok, CharterAgreementProtocol.ChainFacts.t()} | {:error, CharterAgreementProtocol.Error.t()}
Verify a complete caller-supplied charter artifact view.