Struct AxisCoverage 

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

One surface’s static coverage claim: which axes its verdict answers for, which it reports beside the verdict without folding them in, and which lie outside its scope altogether. The three 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.

The three buckets, as they read on the wire:

• examined: the verdict answers for the axis; a finding there makes the verdict fail.
• advisory: the surface renders the axis (always, or on request) beside the verdict and never folds it in; a reader sees the figures, the verdict says nothing about them. Filing these under “not examined” read, to every independent reader so far, as “not looked at”, and a gate reading the word would refuse a report that had done the work.
• not_examined: the surface does not look at the axis at all; the reason names the surface that answers for it.

Fields

examined: &'static [&'static str]

Axes the surface’s clean verdict actually examined.

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

Axes the surface reports beside its verdict without folding them in, each with the reason a reader needs.

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

Axes the surface does not examine, 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 advisory_wire(&self) -> Vec<(&'static str, &'static str)>

The advisory axes as they are stamped into surface output: (axis, reason) pairs, so a reader can see which axes the surface reports beside its verdict without reading the source.

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

The unexamined axes 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.

pub fn wire_line_promoting(&self, promoted: &[&str]) -> String

The wire line with the named advisory or unexamined axes promoted into the examined set — for a report that rendered an opt-in axis this pass (--include anchors) and therefore did examine it. An axis in neither list is ignored; the static declaration is untouched.

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.