CharterAgreementProtocol.RequirementMap (Charter Agreement Protocol v0.2.0)

Copy Markdown View Source

CAP never authorizes.

Compiled traceability from stable public requirements to corpus cells, architecture gates, and red-capable source mutations. This map is evidence routing metadata; it is not a protocol decision surface.

Summary

Functions

entries()

Return the closed public requirement-to-evidence map.

render_markdown()

Render the generated requirements matrix served at spec/requirements.md.

source_mutation_names(source)

Extract declared mutation names, in declaration order, from the conformance mutation gate script source.

Functions

entries()

@spec entries() :: [
  {binary(), corpus: [binary()], gate: module(), mutation: binary()}
]

Return the closed public requirement-to-evidence map.

render_markdown()

@spec render_markdown() :: binary()

Render the generated requirements matrix served at spec/requirements.md.

The render is a pure projection of entries/0; mix conformance.verify rejects a stale or missing copy.

source_mutation_names(source)

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

Extract declared mutation names, in declaration order, from the conformance mutation gate script source.

Parsed from the AST, so a commented-out entry cannot masquerade as a declared mutation and names outside kebab-case are still observed.