Crate sim_lib_music_serial

Expand description

Immutable serial plans with stable identity, provenance, and partial order.

This crate owns the score-adjacent structural source for serial practice: validated row-instance identity, event identity, explicit role/origin provenance, chord-safe simultaneous placement groups, and a precedence DAG over immutable planned events. It does not realize MIDI, audio, notation, transforms, or search.

Structs§

AcceptedSerialAddition: One accepted typed addition with exact per-note serial provenance.
AcceptedSerialNote: One accepted serial completion note and the category that licensed it.
AdditiveStaffPatch: Material introduced by a strictly additive staff transform.
AggregateArrayReport: Aggregate evidence for one named vertical requirement.
AggregatePartitionReport: Aggregate evidence for one named array partition.
AggregateRotationSpec: Aggregate-rotation deployment over one row.
BoundParameterTrack: One typed bound track retained inside an IntegralPlan.
BuiltInPracticeRule: Built-in inspectable rule implementations for common serial-practice checks.
CanonDeployment: Complete canon output with immutable row events plus realization metadata.
CanonOrchestration: Voice-level realization parameters that do not create new row events.
CanonRealizationEvent: One realized canon event specification.
CanonSpec: One planned canon request.
CanonSymmetryCertificate: Symmetry evidence attached to one built canon.
CanonVoiceProfile: One canon voice profile kept outside the row-event graph.
CanonVoiceSpec: One canonical voice specification.
ChordAddition: Simultaneous notes introduced as one harmonic choice.
ChromaticAggregateIdentity: Aggregate comparison between source and landed pitch-class collections.
ChromaticSerialRealizer: Built-in strict chromatic serial realizer.
ColumnPartition: One named set of column indices checked together as one vertical aggregate.
CompletionProvenance: Provenance retained for one generic additive completion.
CompletionRequest: Generic additive completion request used by the serial adapter.
CompletionResult: Generic reversible completion output.
CyclicOrder: One named cyclic source order over a parameter track.
CyclicProjection: Materialized cyclic projection with retained provenance.
CyclicProjectionSpec: Projection settings for one cyclic order.
DeclaredWaivers: Explicit waivers declared for one practice run.
DerivedCellDeployment: One inspectable derived-cell deployment with immutable plan output.
DerivedCellOccurrence: One deployed derived-cell occurrence with preserved generator and transform evidence.
DoublingAddition: An octave or unison doubling of an existing event.
EventPlacement: Placement metadata that preserves simultaneity without inventing a chord order.
EvidenceId: Stable identity for one evidence item attached to a practice finding.
ExtractionEvidence: Search evidence returned alongside every extraction result.
IntegralPlan: Inspectable integral-serial plan with separately bound parameter tracks.
InterlockingPartitionSpec: Interlocking partition deployment over one row.
InvariantCertificate: One invariant witness proving why a form candidate matches.
InvariantFormCandidate: One candidate row form whose certificate satisfies the requirement.
InvariantFormCandidates: Invariant search result that preserves both matching candidates and explicit failure evidence.
InvariantLedger: Complete invariant bundle for one selected reading.
InvariantLedgerEntry: One inspectable invariant result.
InvariantRequirement: One inspectable invariant requirement.
MarkedChromaticInflectionRealizer: Built-in realizer that lands notes in the scale and records chromatic inflection deltas.
MelodyAccompanimentSpec: Melody/accompaniment distribution deployment over one row.
ModalDegreeCycleRealizer: Built-in realizer that lands chromatic source notes onto a modal degree cycle.
NearestScaleToneRealizer: Built-in realizer that lands each source note on the nearest pitch in the selected scale.
NestingExpansion: Result of one bounded nesting expansion.
NestingLimits: Explicit safety limits for recursive serial expansion.
NonPitchSpineRealizer: Built-in realizer that lands notes in the scale while preserving a non-pitch ordinal spine.
NoteAddition: One independently proposed note.
OrdinalRef: One stable structural ordinal within a specific row instance.
OrnamentAddition: A bounded note figure anchored to existing material.
ParameterAlphabet: Generic finite alphabet declared by one parameter owner.
ParameterOrdinalLedgerEntry: Source-ordinal ledger entry retained after one track is bound into a plan.
ParameterProjection: Projection of one parameter track against a requested plan length.
ParameterSeries: Thin typed wrapper over an unchanged serial-core Series.
ParameterStep: One emitted parameter value together with its source ordinal provenance.
ParameterTrack: One generic named parameter track over an unchanged serial-core series.
PartitionCoverageReport: Coverage evidence for one set of column partitions.
PedalAddition: A sustained harmonic pedal point.
PitchRangeConstraint: One voice-specific or global pitch-range guard for added notes.
PlannedSerialEvent: One immutable planned serial event with row provenance, voice identity, and parent evidence.
PracticeId: Stable identity for one named serial practice.
PracticeRuleId: Stable identity for one inspectable practice rule.
PracticeRuleParameter: One inspectable parameter attached to a practice rule.
PracticeRuleSpec: Public inspectable description of one practice rule.
PrecedenceGraph: A validated finite precedence DAG over stable event ids.
RankedSerialHypothesis: One ranked hypothesis extracted from exact source attacks.
RealizationContext: Complete explicit choices and open services required to realize one serial plan.
RealizationServices: Open service bag passed through realization context data.
RealizedSerialEvent: One realized event span, which may sound notes or occupy time as a rest.
RealizedSerialNote: One realized sounding note with stable plan/event provenance.
RealizedSerialOrigin: Complete serial provenance for one realized sounding note.
RealizerId: Stable identity for one registered serial realizer.
ReferentialContextReport: Exact naming and sonance context behind one claim.
ReferentialEmphasis: Non-pitch emphasis metadata attached around a referential subset.
ReferentialRatioSummary: Exact ratio/sonance summary attached to one claim.
ReferentialReport: Full bounded report over one referential subset.
ReferentialRequest: One request to analyze a row subset as bounded referential evidence.
ReferentialSubsetAllowance: One caller-declared referential subset that may license non-structural additions.
RegisterBounds: Inclusive register policy for one voice.
RowInstanceId: Stable identity for one row instance in a serial plan.
SerialAliasEvidence: Alias evidence attached to a ranked row hypothesis.
SerialAllowanceMatch: One concrete allowance match for one added note.
SerialArray: One serial array with reusable vertical aggregate analyses.
SerialArrayRow: One horizontally validated row in a serial array.
SerialCompletionAllowances: Admission policy layered over generic completion candidates.
SerialCompletionRequest: Serial request layered over the generic additive completion request.
SerialCompletionResult: Exact serial completion result that preserves both structural and generic evidence.
SerialDeployer: One reusable inspectable deployment component.
SerialDeployerParameter: Inspectable parameter attached to one deployer.
SerialDeployerSpec: Inspectable public description of one deployment component.
SerialEventId: Stable identity for one planned serial event.
SerialExtractionRequest: Request policy for serial-row extraction.
SerialExtractionServices: Auxiliary services for extraction.
SerialObservation: One note attack cited by a ranked hypothesis.
SerialObservationBlock: One exact same-onset block chosen during extraction.
SerialPlan: Immutable structural source for serial practice.
SerialPractice: Named serial practice composed from open rule components.
SerialPracticeReport: Reproducible serial-practice report for one named reading.
SerialRealization: Realized serial notes plus exact event spans, retaining the source plan unchanged.
SerialRealizerRegistry: Id-addressed registry of serial realizers with stable sorted listing.
SerialRenderOptions: Score metadata used when wrapping a rendered serial realization.
SerialRepeatedDegree: Repeated modal degree observed in canonical note order.
SerialSonanceContext: Sonance report for one adjacent adapted window.
SerialSpineCollision: Collision where multiple source classes land on the same target class.
SerialSpineEntry: One mapped sounding note in a serial-spine adaptation.
SerialSpineReport: Complete inspectable serial-spine report attached to one realization.
SerialStableRank: Stable sort key used when ranking extraction hypotheses.
SerialTimeSpan: Exact half-open span used by extracted serial evidence.
SimultaneousFormsSpec: Simultaneous multi-form deployment aligned by contiguous blocks.
SimultaneousGroupId: Stable identity for one equal-onset simultaneous event group.
StrictEventSpec: Explicit realization choices for one planned event.
StrictPitchLayout: How octave placement is derived for one event’s ordinals.
StructuralLicense: Inspectable structural reading that licenses one event or realized note.
StructuralReadingId: Stable identity for one structural reading or deployment witness.
SymmetryCertificate: One symmetry witness attached to an invariant candidate.
TechniquePlan: Inspectable deployment plan composed from ordinary practice rules and deployers.
TechniquePlanBuilder: Builder for one inspectable technique plan.
TimePointAlphabet: Finite onset-class alphabet for one exact time-point system.
TimePointRow: One ordered onset-class series over a TimePointSystem.
TimePointSystem: Exact time-point system with one finite modulus and one unit duration.
UnsatisfiedInvariantRequest: Explicit unsatisfied evidence when no candidate meets the requirement.
VerticalAggregateRequirement: One named vertical aggregate requirement over array column partitions.
VerticalBlocksSpec: Chordal vertical-block deployment over one row.
VoiceAddition: A complete independent voice introduced by completion.
VoiceBounds: Generic voice-level realization policy retained in open context data.
WaiverId: Stable identity for one declared waiver.

Enums§

AcceptedSerialCategory: Final serial provenance class assigned to one accepted note.
AdditionKind: Semantic class of a serial completion addition.
CanonError: Failure while constructing one canon.
CanonSymmetryRequirement: Symmetry policy required of one canon.
CompletionCandidate: One typed, strictly additive completion candidate.
CompletionError: Generic completion failure retained by the serial adapter.
EventSound: How one planned event should sound.
Exhaustion: Exhaustion policy for one parameter track when a plan outlives the source series.
ExtractionOutcome: Public extraction result.
IntegralError: Failure while constructing or binding integral parameter tracks.
InvariantStatus: Status of one declared serial-practice invariant.
MapWitness: Witness explaining how the internal pitch map handled one input pitch.
NestedSerialValue: One recursively nestable serial value.
NestingError: Failure while expanding a finite nested serial pattern.
ParameterError: Failure while constructing or transforming a typed parameter series.
ParameterTrackKind: Track categories that can reuse cyclic order/rotation projections.
PracticeRuleKind: Public category of one built-in practice rule.
ReferentialClaim: Bounded referential claims made over one row subset.
ReferentialEvidence: Supported named evidence for one referential subset.
ReferentialEvidenceKind: The evidence category backing a referential claim.
SerialAllowanceKind: Serial material categories that may license one added note.
SerialArrayError: Failure while constructing or deriving one serial array analysis.
SerialCompletionError: Failure to filter, realize, or adapt generic completion into serial evidence.
SerialDeployError: Failure while composing one inspectable serial deployment plan.
SerialDeployerKind: Public category of one serial deployer.
SerialExtractionError: Failure while extracting serial-row hypotheses.
SerialOrigin: Additional immutable provenance for one planned event.
SerialPlanError: Failure while validating immutable serial-plan data.
SerialReading: Reproducible reading scope used when evaluating one serial practice.
SerialReadingOrder: Ordering policy selected for one same-onset attack block.
SerialRole: Structural role in the serial plan.
SerialSpineKind: Stable adaptation family used by a modal-spine realizer.
SerialSpineLabel: One reported spine label, independent from the sounding pitch.
SerialSurfaceError: Error surfaced while routing realized serial music through existing owners.
SimultaneousRenderPolicy: How explicit simultaneous groups should be rendered.
StrictRealizationError: Failure while realizing or rendering a strict serial plan.
SymmetryRequirement: Additional symmetry constraint layered onto invariant matching.
TiePolicy: Explicit tie behavior for one event.
TimePointError: Failure while constructing or realizing exact time-point data.

Statics§

RECIPES: Cookbook recipes for this lib, embedded at build time.

Traits§

ErasedParameterBinding: Type-erased view of one parameter track bound into an integral plan.
ParameterValue: Value bound accepted by generic serial parameter tracks.
PracticeRule: Open rule component used by one serial practice.
RealizationService: One type-erased auxiliary service available to realizers.
SerialRealizer: Open serial realizer component registered by stable id.

Functions§

analyze_referential_subset: Analyzes one row subset against named evidence without asserting global tonality.
build_canon: Builds one canon with explicit symmetry and realization metadata.
complete_horizontal_statement: Creates one complete horizontal row statement deployer.
complete_serial: Completes one realized serial staff while preserving the structural plan and generic receipt.
default_realizer_registry: Returns the built-in registry with the strict chromatic realizer installed.
deploy_derived_cells: Deploys a derivation-supported row as ordered derived-cell occurrences.
expand_nested: Expands one finite nested serial pattern under explicit depth and output limits.
extract_serial_hypotheses: Extracts ranked serial-row hypotheses from a musical score.
forms_with_invariant: Searches every row form for same-length segments satisfying the requirement.
interlocking_partition: Creates one interlocking partition deployer.
lower_serial_score: Lowers a rendered serial score through the existing MIDI owner.
melody_accompaniment_distribution: Creates one melody/accompaniment deployer.
motivic_partition: Creates one sequential motivic partition deployer.
project_cyclic_order: Projects one cyclic order through an explicit index order and rotation.
realize_strict: Realizes one immutable serial plan into exact note events and rests.
render_serial_audition_score: Renders a serial realization into the existing score surface for audition.
render_serial_piano_roll: Renders one realization to the canonical PianoRoll through Staff.
render_serial_score: Wraps the canonical piano roll in a music-core Score.
render_serial_staff: Renders one realization to the canonical identity-bearing Staff.
rotate_sequence_left: Returns a left-rotated copy of values, reduced modulo values.len().
schoenberg_partitioned: Returns an inspectable Schoenberg-practice deployment assembled from public components.
simultaneous_forms: Creates one simultaneous-forms deployer.
strict_aggregate: Convenience helper for the built-in strict aggregate rule.
strict_chromatic_realizer_id: Stable id of the built-in strict chromatic realizer.
verticalize_selected_blocks: Creates one chordal vertical-block deployer.
write_serial_smf: Serializes a rendered serial score to SMF bytes through the existing MIDI owner.

Type Aliases§

ArticulationTrack: Track alias for articulation values from music-core.
DurationTrack: Track alias for exact duration values.
DynamicsTrack: Track alias for MIDI-style dynamic values.
RegisterTrack: Track alias for MIDI-style register placement.
StrictRealizationContext: Backwards-compatible alias for the former strict-only context name.
TimbreTrack: Track alias for caller-declared timbre labels.
VoiceId: Stable voice identity reused from the exact music-core score model.

Crate sim_lib_music_serial

Crate sim_lib_music_serial Copy item path

Structs§

Enums§

Statics§

Traits§

Functions§

Type Aliases§

Crate sim_lib_music_serial