Module permutation 

Structs

PermutationCheckSpec

One endpoint of a LogUp bus.

Enums

BusKind

LogUp bus semantics.

Source

Byte source for the LogUp key Σ β^j · source_j(i).

Constants

REQUEST_IDX_LABEL

Shared label for the request_idx clock source on stateless-service buses; same label on both endpoints is load-bearing for β-mix alignment.

Functions

accumulate_lookup_heights

Folds table_rows into heights for each Lookup-kind spec, taking the running max. Used to derive the per-bus N_max absorbed into the transcript before r_bus is drawn.

validate_bus_set

Every multi-endpoint Permutation bus_id must have at least one endpoint owning a real RowIndexLeBytes/RowIndexByte clock; otherwise label-only stitching admits char-2 parity collapse.

Type Aliases

ChallengeLabel

Challenge label for Fiat-Shamir transcript.