Struct AxisCoverage 

pub struct AxisCoverage {
    pub examined: &'static [&'static str],
    pub excluded: &'static [(&'static str, &'static str)],
}

One surface’s static coverage claim: which axes its verdict answers for, and why the rest are outside its scope. The two lists must jointly name every axis in the vocabulary; a blanket “everything else” clause is deliberately impossible, because it would swallow a newly introduced axis silently, and the one permanent property this module owes is that a new axis fails every declaration that has not met it.

Fields

examined: &'static [&'static str]

Axes the surface’s clean verdict actually examined.

excluded: &'static [(&'static str, &'static str)]

Axes the verdict does not answer for, each with the reason a reader needs (typically: which surface answers for it instead).

Implementations

impl AxisCoverage

pub fn examined_wire(&self) -> Vec<&'static str>

The examined set as it is stamped into surface output.

pub fn excluded_wire(&self) -> Vec<(&'static str, &'static str)>

The exclusions as they are stamped into surface output: (axis, reason) pairs, so a reader can see which axes the verdict does not cover without reading the source.

pub fn wire_line(&self) -> String

The declaration as it is stamped into surface output: one compact line naming both axis sets, the same form on JSON, markdown, and frontmatter surfaces. Axis names only: the per-axis exclusion reasons stay a registry fact the gate test enforces, because stamping static prose into every response would tax each call’s token budget, and the reader’s question the stamp answers is WHICH axes the verdict covers.

Trait Implementations

impl Clone for AxisCoverage

fn clone(&self) -> AxisCoverage

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for AxisCoverage

impl Debug for AxisCoverage

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.