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

run(corpus)

@spec run(BoundedAuthorityProtocol.Conformance.Corpus.t()) :: [
  {binary(), [%{case_id: binary(), agree: boolean()}]}
]

Executes every loaded case against the frozen facade.