BoundedAuthorityProtocol. Conformance. Runner
(Bounded Authority Protocol v0.1.2)
Copy Markdown
View Source
Pure case executor for the loaded corpus.
run/1 dispatches each case against the frozen v1 facade (no facade change, no second parser)
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.
Summary
Functions
Executes every loaded case against the frozen facade.
Functions
@spec run(BoundedAuthorityProtocol.Conformance.Corpus.t()) :: [ {binary(), [%{case_id: binary(), agree: boolean()}]} ]
Executes every loaded case against the frozen facade.