Struct GateBinding 

pub struct GateBinding {
    pub consumers_enumerated: usize,
    pub sites: [(GateConsumer, usize); 9],
    pub gated: usize,
    pub terms: usize,
}

What a walk over the campaign’s gates actually examined.

CLAUDE.md: a green gate that binds to nothing is vacuous, not a pass. A proof over “every gate” is only as good as the consumer classes it reached and the gates it found there; neither number is visible from the proof’s own output, so it is reported here.

Fields

consumers_enumerated: usize

How many of GateConsumer::COUNT classes the walk enumerated. Always COUNT for a walk that ran; asserted by for_each_gate.

sites: [(GateConsumer, usize); 9]

Per class: how many gate-carrying objects this campaign actually has.

gated: usize

How many of those objects carry a non-empty gate.

terms: usize

Total gate terms across every axis and every site.

Implementations

impl GateBinding

pub fn summary(&self) -> String

A one-line, deterministic rendering for a report or a --json field.

Trait Implementations

impl Clone for GateBinding

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GateBinding

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

Formats the value using the given formatter.

impl Eq for GateBinding

impl PartialEq for GateBinding

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for GateBinding