Expand description
Finite symbolic alphabets, validated series, and certified total transforms.
This crate owns the pitch-independent serial contract: stable alphabet identity, symbol-bearing series, aggregate policy data, validation evidence, permutation rank delegation, and total evidence-producing transforms. Pitch rows, score realization, search, and enumeration live in their domain owners.
Structs§
- Aggregate
Ledger - Construction evidence retained by a valid
crate::Series. - Alphabet
Id - Stable, portable identity of a finite serial alphabet.
- Alphabet
Registry - A same-type alphabet registry that rejects duplicate stable identities.
- Block
Partition - An ordered, exhaustive partition of source positions into non-empty blocks.
- Finite
Alphabet - Reusable owned implementation of
SerialAlphabet. - Ordinal
Map - A complete bijection from output positions to input positions.
- Projected
Class Evidence - Observed and expected counts for one projected class.
- Projected
Class Spec - Symbol-based declaration of one projected aggregate class.
- Projection
Id - Stable identity of one class in a projected aggregate.
- Series
- An ordered series of alphabet symbols validated against an aggregate rule.
- Series
Transform - A normalized positional and/or symbolic series transform.
- Symbol
Bijection - A caller-defined, validated bijection between two finite alphabets.
- Transform
Certificate - Algebra evidence for one successfully applied transform.
- Transformed
Series - A transformed series paired with the evidence that justifies it.
Enums§
- Aggregate
Rule - Aggregate rule data compiled from symbols into private canonical positions. Callers never provide raw ordinals.
- Aggregate
Rule Error - Failure while compiling symbolic aggregate-rule data for one alphabet.
- Aggregate
Rule Kind - Public category of an
AggregateRule. - Alphabet
Error - Failure while defining an alphabet or registering its stable identity.
- Block
Partition Error - Failure while validating an ordered block partition.
- Ordinal
MapError - Failure while validating or composing a finite ordinal map.
- Relaxed
Invariant - A source invariant explicitly relaxed by a transform.
- Series
Error - Failure while validating or ranking a symbol-bearing series.
- Series
Transform Error - Failure while applying, inverting, or composing a series transform.
- Symbol
Bijection Error - Failure while validating a caller-supplied alphabet bijection.
Statics§
- RECIPES
- Cookbook recipes for this lib, embedded at build time.
Traits§
- Serial
Alphabet - A finite, ordered vocabulary used by a
crate::Series.
Type Aliases§
- Ordinal
Permutation - Compatibility name emphasizing that an
OrdinalMapis a permutation. - Symbol
Count - One alphabet symbol paired with its declared aggregate count.