Struct RootBinding 

pub struct RootBinding {
    pub roots_enumerated: usize,
    pub sites: [(EffectRootKind, usize); 5],
    pub effects: usize,
}

What a walk over the effect roots actually examined.

CLAUDE.md: a green gate that binds to nothing is vacuous, not a pass. A proof over “every effect” is only as good as the roots it reached and the bundles it found there, and neither number is visible from the proof’s own output. This is that ledger, filled in by for_each_effect_root on every call.

Fields

roots_enumerated: usize

How many of EffectRootKind::COUNT roots the walk enumerated. Always COUNT for a walk that ran — a smaller number means a root stopped being enumerated, which the walk itself asserts against.

sites: [(EffectRootKind, usize); 5]

Per-root: how many bundles the campaign actually has there. A zero is not a failure — a campaign with no traps has no traps[].payload — but it is the reason a proof over that root binds to nothing, and it is reported rather than left for a reader to infer.

effects: usize

Total top-level effects across every root.

Implementations

impl RootBinding

pub fn unbound_roots(&self) -> Vec<EffectRootKind>

The roots this campaign has no bundles at — where any proof over the effect surface is necessarily unbound.

pub fn summary(&self) -> String

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

Trait Implementations

impl Clone for RootBinding

fn clone(&self) -> RootBinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RootBinding

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

Formats the value using the given formatter.

impl Eq for RootBinding

impl PartialEq for RootBinding

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RootBinding