Module model 

The typed artifact model — one module per artifact family.

Modules

assertion

The typed assertion vocabulary (flow[].assert + postconditions).

binding

Operation bindings — the wire layer, one file per SM operation per ITS.

capability

The machine-readable capability→family→tier matrix (vocab/capability_matrix.yaml) — the Profiles book’s capability×tier tables as data, the input the verdict machinery computes from.

case

The case core — one file per case, protocol-neutral (CNF 2.0 artifact-set design; shapes extracted from CNF platform_test_schedule master03/04/06/07/08/09/15–17).

corpus

The governed corpus manifest (corpus/MANIFEST.yaml).

register

The ambiguity register (registers/ambiguities.yaml) — every entry a real, verified spec divergence or silence with the normative handling a runner must apply.

value

Templated values — the payload shapes of flow[].with and assertion operands.

vocab_files

The published vocabulary artifacts (vocab/outcomes.yaml, vocab/selectors.yaml).

wire_surface

The wire-surface coverage register (vocab/wire_surface.yaml) — the authored, spec-cited record of the wire surface the CNF catalogue is measured against for TOTAL coverage.