Crate sim_lib_pitch_serial 

Strict twelve-tone rows, complete families, matrices, and explicit labels.

This crate is the pitch-specific layer over sim_lib_serial_core. It uses the canonical sim_lib_pitch_core::PitchClass values, admits each of the twelve classes exactly once, and keeps affine/reversal operation identity separate from convention-dependent printed labels.

Structs

AffinePitchMap

An affine pitch-class map x -> ax + b mod 12.

AggregateCoverageReport

Aggregate pitch-class coverage assembled from partition-derived blocks.

AllIntervalMultiplicity

One duplicated adjacent directed interval together with its multiplicity.

AllIntervalReport

Whether a row uses each non-zero directed adjacent interval exactly once.

BlockOrder

The ordering contract for a row partition within and between its blocks.

BlockProductReservoir

A block-product reservoir with its exact source partitions.

BlockProjection

Provenance for one reservoir block.

CombinatorialBlockEvidence

One paired source/partner block that covers the full aggregate exactly.

CombinatorialPartition

One successful contiguous equal-cell partition witnessing combinatoriality.

CombinatorialPartner

One partner row form that is combinatorial with the source row.

CombinatorialityReport

Complete combinatorial partner evidence for a strict row.

DerivationCellRelation

One partition cell together with the operation that derives it from the generator.

DerivationMatch

One detected derivation family for a fixed generator-cell size.

DerivationReport

Complete derivation evidence for one strict row.

FormEquivalence

One distinct form together with the operations and invariance facts that realize it.

InterlockingPartitionReport

Interlocking evidence between two validated row partitions.

InvariantDelta

Which row invariants a transform preserved or relaxed.

MatrixCoordinate

A validated zero-based coordinate in a twelve-tone matrix.

MosaicBlock

One partition block lifted into pitch-space for mosaic inspection.

MosaicReport

A combined view of several validated partitions over one row.

OrderedIntervalString

The directed ordered intervals between adjacent pitches in source order.

OrderedPitchBlock

One ordered pitch block inside a reservoir.

PartitionBlockMatch

One exact block match shared by two validated partitions.

PartitionSimilarityReport

Similarity evidence between two validated row partitions.

PitchClassAlphabet

The stable twelve-symbol alphabet of canonical PitchClass values.

PitchReservoir

An ordered collection of pitch blocks whose result is not a strict tone row.

RowAlias

One operation alias in a complete twelve-tone row family.

RowClassAlias

One alias entry in a RowClassReport.

RowClassReport

Ordered, symmetric, and equivalence evidence for one strict tone row.

RowFamilySet

All 48 P/I/R/RI aliases for one row, plus its distinct resulting rows.

RowForm

A strict tone row paired with the operation identity that produced it.

RowLabel

A printable family/index label such as P0 or RI11.

RowMatrix

A conventional twelve-tone matrix retaining its source and label policy.

RowMatrixCell

One pitch-class cell paired with its matrix coordinate.

RowMatrixData

A complete structured projection of a RowMatrix.

RowMatrixEdgeLabels

Labels printed on the four edges of a row matrix.

RowOperation

A total affine/reversal operation on a strict tone row.

RowPartition

A validated partition of all twelve row ordinals into disjoint nonempty blocks.

RowPartitionBlock

One nonempty block of row ordinals in caller-declared order.

RowSegment

An order-preserving segment of a tone row plus unordered pitch-set facts.

SegmentInvariant

Independent invariance facts relating two ordered row segments.

ToneRow

An ordered aggregate containing every canonical pitch class exactly once.

VerticalCollection

A partition rendered as a set of vertical collections.

VerticalSlice

One unordered vertical collection extracted from a partition block.

Enums

BlockProjectionSource

The source relationship that produced one reservoir block.

DerivationKind

Stable derivation names for the classical equal-cell partitions of a row.

OrderKind

How strongly a partition treats order at one structural level.

PitchInvariant

A source invariant that no longer holds after a transform.

PitchTransformOutput

Result of a pitch transform that may or may not preserve strict row identity.

RowError

Failure while constructing the canonical alphabet or a strict tone row.

RowFamily

One of the four classical twelve-tone row-operation families.

RowLabelConvention

Policy for projecting an operation-bearing row form to a printed label.

RowSegmentSource

How a RowSegment was extracted from its source row.

Constants

ROW_MATRIX_SIZE

The width and height of every twelve-tone row matrix.

Statics

RECIPES

Cookbook recipes for this lib, embedded at build time.

Functions

analyze_aggregate_coverage

Computes aggregate pitch-class coverage for any caller-supplied block masks.

analyze_all_interval

Computes all-interval evidence from the row’s directed adjacent intervals.

analyze_combinatoriality

Detects combinatorial partners over the supported equal-cell partitions.

analyze_combinatoriality_partition

Detects combinatoriality for one partner operation and one supported partition size.

analyze_derivation

Detects dyadic, trichordal, tetrachordal, and hexachordal derivation.

analyze_derivation_partition

Detects derivation for one supported generator-cell size.

analyze_interlocking_partitions

Reports how two validated partitions weave their ordinals across one another.

analyze_invariance

Compares two ordered row segments without conflating ordered and unordered facts.

analyze_mosaic

Lifts several validated partitions into one combined mosaic report.

analyze_partition_aggregate_coverage

Computes aggregate pitch-class coverage for one validated partition on row.

analyze_partition_similarity

Compares two validated partitions without collapsing their block order contracts.

analyze_row_class

Analyzes one row’s ordered intervals, symmetry stabilizers, and form equivalences.

multiply_partitions

Projects each interval block onto each anchor block in declaration order.

try_partition

Validates a caller-declared row partition over ordinals 0..12.

verticalize

Produces vertical collection data from one validated partition.