Struct PermutationCheckSpec 

pub struct PermutationCheckSpec {
    pub kind: BusKind,
    pub sources: Vec<(Source, ChallengeLabel)>,
    pub selector: Option<usize>,
    pub recv_selector: Option<usize>,
    pub clock_waiver: Option<String>,
}

One endpoint of a LogUp bus.

Per row i: h(i) = s(i) / (γ + Σ β^j · source_j(i)). The endpoint contributes claimed_sum = Σ_i h(i) (Permutation) or Σ_i Eq(r_bus, i) · h(i) (Lookup) to the cross-bus check.

Security

Permutation kind cancels in char-2 by multiset parity, so endpoints with even per-key multiplicity collapse silently. Use Source::RowIndexLeBytes in the key to force per-row uniqueness, or switch to BusKind::Lookup for positional binding.

Fields

kind: BusKind

sources: Vec<(Source, ChallengeLabel)>

Key sources stitched via the global β schedule using each label.

selector: Option<usize>

Selector column gating the row’s h. None means the row is unconditionally active.

recv_selector: Option<usize>

Receive-side selector for paired buses. AIR must enforce s_send · s_recv = 0 (char-2 mutex).

clock_waiver: Option<String>

Audited carve-out citation for Permutation specs that intentionally omit a row-index source.

Implementations

impl PermutationCheckSpec

pub fn new( sources: Vec<(Source, ChallengeLabel)>, selector: Option<usize>, ) -> Self

pub fn new_lookup( sources: Vec<(Source, ChallengeLabel)>, selector: Option<usize>, ) -> Self

Endpoints on a Lookup bus must be pointwise-equal on the padded hypercube; use only when positional binding holds.

pub fn new_paired( sources: Vec<(Source, ChallengeLabel)>, s_send: usize, s_recv: usize, kind: BusKind, ) -> Self

Caller must enforce s_send · s_recv = 0 in the AIR; without it, rows with both selectors high collapse to zero in char-2 and slip past cross-bus cancellation.

pub fn with_clock_waiver(self, reason: impl Into<String>) -> Self

Audited escape hatch. reason must start with "see " and cite the load-bearing AIR constraint (see <path>:<line>: <argument>).

pub fn num_sources(&self) -> usize

pub fn has_selector(&self) -> bool

pub fn has_paired(&self) -> bool

pub fn shift_column_indices(&mut self, offset: usize)

Reindexes column references when the chiplet is embedded into a wider trace.

pub fn has_real_clock_source(&self) -> bool

Only structural guarantor of per-row uniqueness; label-only stitching is forgeable.

pub fn has_request_idx_column(&self) -> bool

pub fn validate_clock_stitching(&self, _bus_id: &str) -> Result<()>

Per-spec only. validate_bus_set runs the cross-endpoint check that closes label spoofing.

Trait Implementations

impl Clone for PermutationCheckSpec

fn clone(&self) -> PermutationCheckSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PermutationCheckSpec

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

Formats the value using the given formatter.