CharterAgreementProtocol.Conformance.Corpus (Charter Agreement Protocol v0.2.1)

Copy Markdown View Source

CAP never authorizes.

Pure conformance-corpus integrity loader.

load/1 accepts a %{relative_path => bytes} map and performs no I/O. The compiled applicability floor, not the index itself, decides which cells are required. Counts must equal observations; an empty or all-not-applicable corpus cannot load.

Summary

Types

t()

Functions

classes()

The case classes present in the compiled applicability floor.

floor()

The independently compiled required-cell and not-applicable policy.

load(map)

Load and integrity-check a complete in-memory corpus.

surfaces()

The public and codec surfaces present in the compiled applicability floor.

Types

t()

@type t() :: %CharterAgreementProtocol.Conformance.Corpus{
  case_ids: MapSet.t(binary()),
  cases: [map()],
  identity: binary(),
  index: map(),
  index_bytes: binary()
}

Functions

classes()

@spec classes() :: [binary()]

The case classes present in the compiled applicability floor.

floor()

@spec floor() :: %{required(binary()) => %{required: [binary()], n_a: binary()}}

The independently compiled required-cell and not-applicable policy.

load(map)

@spec load(term()) :: {:ok, t()} | {:error, CharterAgreementProtocol.Error.t()}

Load and integrity-check a complete in-memory corpus.

surfaces()

@spec surfaces() :: [binary()]

The public and codec surfaces present in the compiled applicability floor.