Test

app

init wires reactivity, autoscroll, import-params; surfaces solver init failures via log

log mirrors msg into status + console; with err prefixes 'Error:' and stringifies via .message, JSON, or template fallback

runSolver bails when not ready, drives compose hooks, status (Done / Partial / No-solution), catches errors, missing window.Tone tolerated

solveStep records raw-output tabs (with/without stats, with/without partLabel); resetResults clears state; loadPreset variants; updateGraph renders from form or hook payload, bails on missing data, resets invalid per-part chords to tonic

compose

returns null on empty input; emits MIDI + parts + solved cache + progression lines on the multi-label happy path; reports failed labels on partial fail; reuses Step2 + Step3 once for repeated labels via the label cache; falls back when step.solve returns null

modelChords

emits a structurally complete MZN with F4, H20 and cost_matrix; falls back to the graph tonic on opposite-mode tonic input

emits cost_matrix when creativity > 0; grows n_nodes when a preset adds chromatic nodes

modelNotes

emits a well-formed CSP with include, var declarations and solve satisfy and no minimize

supports scale, chord, atonal and minor pitch domains

emits bare constraints without sentinels when rest_pct = 0; emits holds and rests budget with sentinel-guarded H12, H19, M1 and M9 when rest_pct > 0

emits cross-voice inequality and parallel-fifth and parallel-octave constraints when H12 and M14 toggles are active

emits H19 interval constraints across phi thresholds at <= 0.2, mid and >= 0.8; skips them at neutral 0.5

emits xi seeding with max_interval, anti-osc and empty-cs branches; covers filterByDissonance variants

CONTROLS

stepBy bumps params[name] by delta and clamps to [min, max]

clampVoicePitchRange snaps the just-edited field to the other when the range inverts; no-op when range is valid

isDuplicatePart + duplicateSourceIndex flag reused labels in 'parts'/'step1.parts' sections; 1-based source index, 0 when none, undefined-list-safe

setupChordTonesTristate cycles free to scale to chord on change; visual: chord = checked, scale = indeterminate, free = neither

setupFeedbackTristates scans [data-tri-group] fieldsets, seeds triData[group][name] with 'neutral', toggles aria-invalid + tristate-* classes through the cycle

downloadBlob

triggers an anchor download with stem return; accepts a direct Blob or decodes Base64 to audio/midi with a default UTC-timestamp filename

submitFeedback

downloads MIDI, builds a mailto URL from form data and parameters and closes the dialog; falls back to '-' for missing form fields

INSTRUMENTS

holds 16 GM Level-1 families keyed by family name, each with 8 program names in canonical GM 1.0 ordering

integration: midi-writer-js

emits a real MIDI binary with the expected header from a realistic solution

produces one MTrk per voice in the combined file when multiple voices are present

integration: minizinc

solves a trivial satisfy model and returns a solution

importParameters

parses JSON; rejects on invalid JSON or FileReader error

exportParameters

serializes theta as JSON blob with parameters.json filename

buildParameters

extracts flat parameter defaults for scalars and checkboxes

resolves nested defaults across same-step and cross-step counters; falls back when max is missing or counters are unresolvable

PLOTTING

wireMidiToPlayer sets player.src + visualizer.src to combined data URL, binds visualizer once, and wires per-voice <midi-visualizer> elements via querySelectorAll

buildResultTable shapes parts + labelCache + voiceConfig into the rendered result-table data; missing labels fall back to 'Part i', missing voice fields default

applyVoiceStyles creates a #voice-colors style element on first call and sets per-voice rect.note rules; reuses the element on repeat

plotChordGraph renders SVG with diatonic nodes in gray when no path is given; adds gradient and a lit self-loop when a path is supplied

plotChordGraph works in minor mode and accepts costs as a plain Object at the post-orchestrator boundary

plotChordGraph handles chromatic edge cases by graying paths, drawing self-loop arcs only when present and placing single versus multi chromatics correctly

initSolvers

calls init then returns the available solvers

solveModel

returns the solution, statistics and status; logs info for non-OK status

wraps solver errors for falsy solve and rejections with or without detail

Step

derives index, id and name from the subclass name; schema throws Not implemented

Solvable

exposes an abstract solve method that throws when not overridden

Step1Parts

schema yields parts, tempo and part with sane defaults; renders BPM markup via tempo.format

Step2Chords

schema appends the preset list from index.json; falls back to manual-only on fetch failure

solve emits an NC-filled progression with chord-graph data and an empty concreteProgression in disabled mode without invoking the solver

solve returns progression, cost and path on solver success; reports 'No chord progression found' when path is null

Step3Notes

schema exposes top-level descriptors and format functions for pitch, seed, interval and rest; instrument groups carry running GM program numbers

solve returns a 'No solution' message on null solver result; exposes solution + time-grid metadata for the composer cache on a real solution; derives bars from chords length when present

system: pipeline workflow with default parameters

app initializes and reaches ready state

parameters round-trip through export and re-import

Run button produces MIDI output

MIDI player plays back from start to stop event

MIDI download button triggers a file download

system: performance benchmark

B0: stability

6 runs at default for warmup curve and steady-state variance

B1: scaling voices

B2: scaling bars

B3: scaling constraint set

chordName

returns label form without keyIndex; transposes to concrete chord with sharp/flat spelling and quality suffix; passes NC and unknowns through

chordGraph

provides major and minor defaults with nodes, tonic, cadence-normal-NC-loop cost ordering and edges aligned with costs.keys()

adds chromatic nodes from a preset, applies preset costs, clamps self-loops and skips unknown edges

timeGrid

derives tau as LCM of voice durations (1 for unknowns), T = iota * zeta * tau, and per-voice onset sets

generateMidi

emits per-voice tracks with header meta and one NoteEvent per sub-beat for a 2-voice 2-sub-beat input

extends preceding note via ties as a single T384 event and emits Cm key signature in minor mode; accumulates rests and orphan-ties as wait T256

returns null on empty parts input such as when all step-3 parts are UNSAT

emits TimeSig and KeySig at every multi-part boundary; scans ties across boundaries so held notes extend and meta events flush after