Struct Service 

pub struct Service {
    pub bus_id: &'static str,
    pub kind: BusKind,
    pub slots: Vec<ServiceSlot>,
    pub clock_waiver: Option<&'static str>,
}

Bus key schema declared once by the serving chiplet; both endpoints derive their spec from it.

Fields

bus_id: &'static str

kind: BusKind

slots: Vec<ServiceSlot>

clock_waiver: Option<&'static str>

Per-row uniqueness argued by a body constraint rather than a clock slot.

Implementations

impl Service

pub fn num_values(&self) -> usize

pub fn clock_columns(&self) -> usize

Committed columns a responder must supply for the schema’s clock slot.

pub fn request( &self, values: &[usize], selector: usize, ) -> Result<PermutationCheckSpec>

Requester endpoint: values bind the Value slots in order; a clock slot folds the requester’s own row index.

pub fn request_phased( &self, values: &[usize], phase_col: usize, selector: usize, ) -> Result<PermutationCheckSpec>

Requester spec whose clock replaces the row index’s top byte with phase_col, leaving 8 · (num_bytes - 1) row-index bits. Unchecked: a phase another requester on this bus repeats annihilates both emits.

pub fn respond( &self, values: &[usize], clock_cols: &[usize], selector: usize, ) -> Result<PermutationCheckSpec>

Responder endpoint: clock_cols are the committed columns mirroring the requester’s clock sources, one per clock_columns().

Trait Implementations

impl Clone for Service

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 Service

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

Formats the value using the given formatter.

impl Eq for Service

impl PartialEq for Service

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Service