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

CAP never authorizes.

Canonical, corpus-identity-bound conformance report. Agreement requires the complete projected result of every case to match its certified expectation.

Summary

Types

t()

Functions

build(corpus, results)

Summarize complete case agreement.

index_identity(bytes)

Return the raw SHA-256 identity of exact canonical index bytes.

to_bytes(corpus, results)

Encode the complete report as canonical JSON bytes.

Types

t()

@type t() :: %CharterAgreementProtocol.Conformance.Report{
  agreed: non_neg_integer(),
  agreement: boolean(),
  disagreed: non_neg_integer(),
  exit_status: 0 | 1,
  total: non_neg_integer()
}

Functions

build(corpus, results)

@spec build(CharterAgreementProtocol.Conformance.Corpus.t(), [map()]) :: t()

Summarize complete case agreement.

index_identity(bytes)

@spec index_identity(binary()) :: binary()

Return the raw SHA-256 identity of exact canonical index bytes.

to_bytes(corpus, results)

@spec to_bytes(CharterAgreementProtocol.Conformance.Corpus.t(), [map()]) ::
  {:ok, binary()}

Encode the complete report as canonical JSON bytes.