Module completion 

Reversible additive completion over immutable serial plans.

Structs

AcceptedSerialAddition

One accepted typed addition with exact per-note serial provenance.

ChordAddition

Simultaneous notes introduced as one harmonic choice.

CompletionRequest

Generic additive completion request used by the serial adapter.

DoublingAddition

An octave or unison doubling of an existing event.

NoteAddition

One independently proposed note.

OrnamentAddition

A bounded note figure anchored to existing material.

PedalAddition

A sustained harmonic pedal point.

PitchRangeConstraint

One voice-specific or global pitch-range guard for added notes.

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.

VoiceAddition

A complete independent voice introduced by completion.

Enums

AdditionKind

Semantic class of a serial completion addition.

CompletionCandidate

One typed, strictly additive completion candidate.

SerialCompletionError

Failure to filter, realize, or adapt generic completion into serial evidence.

Functions

complete_serial

Completes one realized serial staff while preserving the structural plan and generic receipt.