Struct ProvMask 

pub struct ProvMask { /* private fields */ }

Exact multi-word input-provenance mask: bit i set means the carrier transitively depends on graph input i. Replaces the one-word u64 whose ≥63 saturation aliased every high input (a real shape — a workload root’s params + shared wires crossed 64 inputs on 2026-08-03). Self-sizing: set grows the word vector to the highest observed index, so callers never plumb an input-count and masks from different programs stay comparable (absent words read as zero).

Implementations

impl ProvMask

pub fn empty() -> Self

A mask with no bit set.

pub fn all_below(n: usize) -> Self

All bits [0, n) set — the “every input dirty” seed the engine cone guards start from.

pub fn clear(&mut self)

Zero every bit, keeping the allocated words — the per-cycle reset for hot-path change masks (no reallocation once sized).

pub fn set(&mut self, idx: usize) -> bool

Set bit idx; returns true when the bit was newly set (the fixpoint walker’s change signal).

pub fn contains(&self, idx: usize) -> bool

Whether bit idx is set.

pub fn union_with(&mut self, other: &Self) -> bool

OR other into self; returns true when any bit was newly set (the fixpoint walker’s change signal).

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

Whether any bit is set in both masks.

pub fn is_zero(&self) -> bool

Whether no bit is set.

pub fn iter_ones(&self) -> impl Iterator<Item = usize> + '_

Ascending indices of the set bits.

Trait Implementations

impl Clone for ProvMask

fn clone(&self) -> ProvMask

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProvMask

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

Formats the value using the given formatter.

impl Default for ProvMask

fn default() -> ProvMask

Returns the “default value” for a type.

impl Eq for ProvMask

impl PartialEq for ProvMask

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProvMask