CharterAgreementProtocol.Conformance.Runner (Charter Agreement Protocol v0.1.0)

CAP never authorizes.

Pure execution of every case in an integrity-checked conformance corpus. Results compare the complete projected fact JSON, not only valid/invalid status, so a vacuous implementation cannot report agreement.

Summary

Types

result()

Functions

run(corpus)

Execute every loaded case in corpus order.

Types

result()

@type result() :: %{
  id: binary(),
  surface: binary(),
  expected: map(),
  actual: map(),
  agree: boolean()
}

Functions

run(corpus)

@spec run(CharterAgreementProtocol.Conformance.Corpus.t()) :: [result()]

Execute every loaded case in corpus order.