Bourse.Spec.Promotion.Evidence (bourse v0.1.0)

Copy Markdown View Source

Evidence-report contract for owned-spec promotion.

Every item carries separate provider-owned semantic authority and Bourse compatibility-reference fields, explicit provenance, and binary verification.

Summary

Types

gap()

Functions

gaps(candidate, report, methods, subjects, opts)

Returns all evidence, provenance, artifact, and external-check gaps.

template(venue, reference, methods, subjects, candidate)

Creates the candidate-status evidence report for a prepared spec.

Types

gap()

@type gap() :: Bourse.Spec.Promotion.gap()

Functions

gaps(candidate, report, methods, subjects, opts)

@spec gaps(map(), map(), [String.t()], [String.t()], keyword()) :: [gap()]

Returns all evidence, provenance, artifact, and external-check gaps.

methods must be the method inventory re-derived from the pinned Bourse reference (not from the report's capability items). Candidate support maps and report capability items are both checked against that inventory.

template(venue, reference, methods, subjects, candidate)

@spec template(String.t(), map(), [String.t()], [String.t()], map()) :: map()

Creates the candidate-status evidence report for a prepared spec.