107 lines
13 KiB
JSON
107 lines
13 KiB
JSON
{
|
|
"project": "AquariumSynthCSharp",
|
|
"mission": "Own Aquarium Synth patch authoring, analysis, preset mapping, and Faust generation in C# for the Aquarium/Vortice engine path.",
|
|
"current_boundary": {
|
|
"leave_in_rust": [
|
|
"Rust sample renderer",
|
|
"PatchPlayer runtime",
|
|
"realtime AudioUnit bridge",
|
|
"experimental Rust DSL compiler branch"
|
|
],
|
|
"own_here": [
|
|
"patch graph model",
|
|
"operator graph model",
|
|
"renderable delayed operator feedback",
|
|
"patch parameter contracts",
|
|
"reference patch contracts",
|
|
"test-only public-domain DX7 fixtures",
|
|
"test-only dexed-py reference renderer",
|
|
"test-only project-authored Dexed patch renderer",
|
|
"ignored listening WAV parity artifacts",
|
|
"structured development .aqua patch library",
|
|
"ZynAddSubFX .xiz feature extraction with project-authored fixtures",
|
|
"Zyn additive harmonic-bank DSL surface",
|
|
"Zyn PAD spectral-cloud DSL surface",
|
|
"staged rate/level envelopes for normal voices",
|
|
"thresholded DX7 rendered parity test",
|
|
"reference rebuild catalog",
|
|
"DX7 SysEx structural parsing",
|
|
"DX7 algorithm topology metadata",
|
|
"DX7 effective operator-level approximation",
|
|
"DX7 measured carrier output amplitude curve",
|
|
"DX7 isolated modulation-index route scale",
|
|
"DX7 summed/cascaded modulation route scale",
|
|
"DX7 calibrated feedback amount table",
|
|
"DX7 ratio detune lowering",
|
|
"DX7 ROM COM output compensation cut",
|
|
"DX7 operator key/rate scaling at effective played note",
|
|
"DX7 topology-aware route lowering",
|
|
"DX7 envelope trace helper",
|
|
"DX7 block-interpolated envelope applied-gain trace helper",
|
|
"DX7 applied-envelope curved lowering",
|
|
"staged operator envelope DSL",
|
|
"curved staged operator envelope segments",
|
|
"DX7 envelope-to-ADSR approximation",
|
|
"standard ADSR envelope model",
|
|
"note frequency/gate model",
|
|
"Faust-managed playback/polyphony contract",
|
|
"patch script parser",
|
|
"SFXR atoms and parameter mapping",
|
|
"analysis/comparison metrics",
|
|
"Faust-generated C# candidate rendering",
|
|
"script scoring",
|
|
"preset catalogs",
|
|
"Faust emission and compiler wrapper"
|
|
]
|
|
},
|
|
"taste": [
|
|
"Patch scripts should be terse but lower into explicit, inspectable graph data.",
|
|
"Compiler abstractions should remove repeated musical structure, not hide DSP behavior.",
|
|
"Generated Faust should be boring enough to diff and debug.",
|
|
"Realtime-facing work must assume allocation, locks, file I/O, console I/O, and OS calls are hostile."
|
|
],
|
|
"doctrine_refs": [
|
|
"docs/audio-doctrine.md",
|
|
"docs/dx7-calibration-plan.md",
|
|
"docs/migration-checklist.md",
|
|
"docs/reference-synth-roadmap.md",
|
|
"state/spine.yaml"
|
|
],
|
|
"reference_strategy": {
|
|
"purpose": "Use external synths and DSP corpora as parity pressure for Aquarium's patch DSL and Faust emitter: the DSL must reproduce behavior in terse, readable Aquarium syntax, not clone foreign internals.",
|
|
"priority_order": [
|
|
"DX7/Dexed SysEx for FM operator topology",
|
|
"ZynAddSubFX instruments for additive, subtractive, PAD, formant, and layered patches",
|
|
"Faust examples/libraries for general DSP graph topology",
|
|
"Surge XT for modern hybrid synth modulation",
|
|
"Cardinal/VCV-style patches for modular cable/rate semantics"
|
|
],
|
|
"rule": "Add DSL abstractions only when reference rebuilds prove the missing invariant. Do not consume references that cannot be backed by parity tests; parsing alone is inventory, not evidence of expressivity."
|
|
},
|
|
"dx7_reference_path": {
|
|
"status": "DX7 SysEx parser extracts voice edit buffers, packed voices, packed 32-voice banks, six operators, envelopes, algorithm, feedback, oscillator sync, LFO, transpose, voice name, checksum validation, ReferencePatch features, algorithm topology from the reverse-engineered OPS algorithm ROM table, envelope-to-ADSR approximations, measured carrier output amplitude, isolated two-op modulation route scale, summed/cascaded route scale, calibrated feedback amount table, ratio detune lowering, voice transpose lowering, fixed-frequency operator lowering, ROM COM output compensation cut, operator key/rate scaling at the effective played note, topology-aware route lowering, staged operator envelopes with per-segment curves, raw and block-interpolated DX7 envelope tracing, applied-envelope curved lowering with optional sustain floor, two Aquarium DSL rebuild attempts, first-class OperatorGraph support with graph-level vibrato, public-domain SysEx fixture coverage, dexed-py reference rendering, project-authored Dexed patch rendering, Aquarium candidate rendering through Faust-generated C#, one thresholded rendered parity test for analog1.syx voice 13, a hard PRC SYNTH1 parity probe with listening WAV artifacts and log-mel <= 0.145, project-authored algorithm-8 summed-stack/cascade/summed-pair parity, rendered community parity for Mooger, Piano Bass, RES SYNTH1, and ANLGSYN 1 with a sustained high-band gate, a MELLOWSOLO pressure artifact test, and renderable delayed operator feedback.",
|
|
"lesson": "Algorithm 32's additive six-carrier shape maps cleanly to six Aquarium voices. Algorithm 8 justified OperatorGraph: operators, modulation edges, carriers, feedback, and graph-level pitch motion belong to a graph authority, not Voice fields. The first rendered parity rung is behavioral and sine-like, not exact DX7 operator execution. A harder algorithm-8 target exposed that feedback must be delayed recursion in Faust, not a direct cyclic self-reference. Static DX7 output-level approximation helped import/rebuild math but was mathematically wrong for carrier amplitude. A single-carrier Dexed sweep shows carrier amplitude follows 2^((outputLevel - 99) / 8). Isolated two-op DX7 FM maps full-level modulation to Aquarium route index 6.275; summed/cascaded algorithm-8 branches now use 6.0 after PRC listening, a project-authored combined stack probe, and split cascade/summed-pair probes showed lower values were under-bright. Feedback lowers through a fitted table instead of PRC-local constants; ANLGSYN 1 showed max feedback value 7 needs a hotter Aquarium amount 2.2 to recover buzzy high bands, while value 5 remains 0.19 for PRC. ANLGSYN 1 then exposed a sustained-buzz gap: output soft clip helped but did not stop mid-note drift; max-feedback source operators need an applied-envelope sustain floor so the feedback loop stays driven after the attack. ANLGSYN 1's remaining beat is pitch LFO: AMD is nonzero but all operator AMS values are 0, while PMD/PMS lower cleanly to operator-graph vibrato with faded delay. Ratio-mode detune belongs in operator frequency lowering. DX7 voice transpose belongs in graph base frequency: transpose 24 is neutral, transpose 12 lowers MIDI note 60 to 130.8128 Hz. DX7 fixed-frequency operators are absolute Hz, not note ratios; ANLGSYN 1 proved fixed op1/op3 must lower to ratios around 0.007615/0.009227 against a 130.8128 Hz graph base to preserve low buzzing modulation. ROM COM carrier compensation was cut: user listening found no-COM renders harmonically closer and mainly too quiet, so `OperatorOutputCompensation` returns unity and graph gain owns loudness recovery. Operator key-scaling and rate-scaling must lower against the effective played MIDI note after transpose; hardcoded MIDI 60 made RES SYNTH1 too soft on attack and Piano Bass less harmonically accurate. Project-authored Dexed patch rendering now gives lawful calibration targets. Reusing the operator output curve for EG levels was tested and cut because it failed hard-target log-mel; later output-level-dependent and naive traced-release applied-envelope experiments were also cut because they worsened broader parity. Direct envelope tracing shows current linear `env=rl` cannot express DX7 EG spike/drop behavior. Dexed-style audio samples EG once per 64-sample block and interpolates applied gain, so raw EG parity alone is not audio parity. Staged operator envelopes now support linear/exponential segments and supranormal levels. `ApproximateAppliedRateLevelEnvelope` uses that surface and now picks the first near-peak before gate so slower rising modulators hit early instead of swelling late; it can also preserve a floor for max-feedback source sustain. Community gains with no COM and played-note scaling: Mooger 0.75, Piano Bass 0.72, RES SYNTH1 0.75. Algorithm-2 non-carrier applied envelopes currently cap the first peak at 0.92 to prevent ANLGSYN 1/RES SYNTH1 peak blowout while preserving Piano Bass. MELLOWSOLO is a pressure artifact test, not passing parity; its render window is 1.25s so the candidate release is audible instead of cut at the artifact boundary. Mooger needs a more aggressive attack contour, and RES SYNTH1's phase-like attack issue is likely relative operator attack/peak shape because oscillator sync is enabled. PRC remains passing on log-mel/envelope/RMS, with score floor lowered to 0.74 after rate scaling changed the aggregate score.",
|
|
"next": "Use the now-validated algorithm-8 route scale, transpose lowering, and fixed-frequency lowering as fixed inputs while isolating remaining community-voice timbre mismatch, then expand to broader public-domain banks."
|
|
},
|
|
"zyn_reference_path": {
|
|
"status": "Initial ZynInstrumentReader parses plain XML and gzip-compressed .xiz-shaped XML from project-authored fixtures into ZynInstrument records and ReferencePatch features. First Zyn-style Aquarium rebuilds exist for additive lead, PAD texture, and vocal/formant layer. `ZynInstrumentSurvey` can rank .xiz directories by feature pressure. Named `layer` declarations provide the first Zyn-driven DSL abstraction; additive `harmonics`, PAD `spectrum`, and staged `env=rl` voice envelopes now attach to those layers.",
|
|
"lesson": "Start Zyn as structural classification, not translation. Upstream Zyn presets live in a separate bank submodule and should not be vendored until license/provenance is explicit. The hardened reader now parses the observed upstream instrument bank at commit e9f64a9: 1358/1358 .xiz files. The worst target is `olivers-100/0032-Drum Kit.xiz`, with 16 enabled kit items, mixed ADD/SUB/PAD engines, 106 envelopes, 25 free envelopes, 73 LFOs, 37 filters, and 3 formant filters. The first rebuilds show Aquarium can sketch small Zyn fixtures with existing voices/macros/formants/noise, and the upstream survey correctly pushed named kit/layer routing first. `layer` owns name, engine tag, optional key range metadata, default gain, and effect-send labels while lowering to ordinary voices. `harmonics` owns authored ratio/gain partial banks under those layers. `spectrum` owns PAD-style root/spread/partial clouds under those layers and lowers partials to detuned voice pairs. Staged `env=rl` now applies to voices as well as operators, preserving Note as gate authority and envelope data as level-shape authority. Aquarium still does not claim Zyn ADDsynth phase/bandwidth details, exact PADsynth FFT/wavetable generation, arbitrary free-envelope point curves, or richer formant morphing.",
|
|
"next": "Choose the next syntax that attaches to named layers: richer formant/vowel morphing. Prove it across more than one target."
|
|
},
|
|
"note_and_envelope_model": {
|
|
"rule": "Notes own frequency, gate duration, and host/MIDI source. Envelopes own ADSR level shape.",
|
|
"sfxr_mapping": "SFXR sustain is note gate duration. SFXR punch maps to lower ADSR sustain level plus voice gain compensation so the implicit attack peak stays at 1 and the held level sits below it.",
|
|
"faust_surface": "One-shot patches use generated ADSR over patch age and note gate duration. MIDI mono/poly patches emit Faust's standard freq/gain/gate controls and [midi:on][nvoices:n] metadata so Faust architectures own note allocation."
|
|
},
|
|
"runtime_parameters": {
|
|
"rule": "Patch parameters are runtime controls, not compile-time constants.",
|
|
"faust_surface": "Faust UI controls expose parameter zones that hosts can update with setParamValue/getParamValue-style APIs.",
|
|
"aquarium_requirement": "Aquarium DSL patches declare stable exposed parameters with path/default/min/max/step metadata so callers can vary sound without recompiling.",
|
|
"binding_rule": "Parameter binding uses field-site references such as `lpf=@/macro/brightness` and `/opgraphs/0/operators/2/level`; the field owns meaning and the parameter owns the runtime value. Avoid target-routing semantics unless a new graph authority is deliberately mapped."
|
|
},
|
|
"last_verified": {
|
|
"command": "AQUARIUM_DX7_PYTHON=<bundled python> dotnet test AquariumSynthCSharp.slnx --no-restore",
|
|
"result": "93 passed; PAD spectral-cloud DSL added without regressing DX7 parity",
|
|
"commit": "pending Zyn PAD spectral clouds"
|
|
}
|
|
}
|