GameCult/AquaSynth
Watch
9
0
Fork
You've already forked AquaSynth
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Cap DX7 algorithm two modulator peaks

Browse source
This commit is contained in:
Meta Vens 2026-05-14 18:48:46 +01:00
commit 80bca4f48e
6 changed files with 71 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
docs/dx7-calibration-plan.md
View file

@ -144,6 +144,12 @@ math is still fake in the places that matter perceptually.
preserves a higher sustain floor for max-feedback source operators and
gates `ANLGSYN 1` with a sustained 2.5-5 kHz band-energy check so the
old drifting version cannot pass by global log-mel score alone.
- Later listening caught `ANLGSYN 1` and `RES SYNTH1` blowing out into a
drone at the modulator peak. Until Aquarium has a more exact DX7 EG/output
model, algorithm-2 non-carrier applied envelopes cap only the first staged
peak at `0.92`. This leaves `Piano Bass` unchanged, improves `RES SYNTH1`,
and keeps `ANLGSYN 1` judged primarily by log-mel plus sustained high-band
evidence rather than aggregate score.
- Removing ROM COM carrier boosts made the community harmonics closer by
ear but much quieter. Restoring loudness with graph gain keeps the improved
balance: `{ Mooger }` uses `gain=0.75`, `Piano Bass` uses `gain=0.72`,
@ -159,3 +165,7 @@ math is still fake in the places that matter perceptually.
Do not keep tuning `PRC SYNTH1` with branch-specific magic constants. That patch
is the exam, not the textbook.
Do not lower the summed route scale merely because a patch has three sources in
one summed branch. A `5.25`/`5.75` fan-in route experiment made `{ Mooger }`
less coherent by metric and did not isolate the overtone-emphasis problem.

1
state/evidence.jsonl
View file

@ -54,3 +54,4 @@
{"kind":"dx7_max_feedback_envelope_floor","lesson":"Output soft clip alone did not fix ANLGSYN 1's mid-note drift. The self-feedback source operator was under-driven after the attack; preserving a 0.9 applied-envelope sustain floor for max-feedback source operators lifted the sustained 2.5-5 kHz band ratio from about 0.175 to above 1.0 and improved ANLGSYN 1 to score 0.7245976, log-mel 0.18460114, envelope 0.119950555, zero-crossing 0.97149533. Add sustained band gates when broad log-mel allows audible drift through.","source":"ANLGSYN 1 sustained high-band parity gate on 2026-05-14"}
{"kind":"dx7_com_compensation_cut","lesson":"ROM COM carrier compensation was louder but harmonically wrong for the analog1 community pass. User listening preferred the no-COM renders across patches; the real issue was that they were too quiet. Cut hidden per-carrier COM boosts: `OperatorOutputCompensation` returns unity and graph gain owns loudness recovery. Passing community gains with no COM are Mooger 0.75, Piano Bass 0.90, RES SYNTH1 0.75. DX1 LEAD B and MELLOWSOLO sound closer by ear with no COM but remain numeric pressure targets.","source":"community DX7 listening correction on 2026-05-14"}
{"kind":"dx7_effective_note_scaling","lesson":"DX7 operator key-scaling and rate-scaling must lower against the effective played MIDI note after voice transpose, not hardcoded MIDI 60. `Dx7SysEx.OperatorRateScaling` now feeds the block-interpolated applied envelope trace, and imported operator levels use the effective note. This improves RES SYNTH1 attack/log-mel and Piano Bass harmonic metrics; Piano Bass graph gain rebalances from 0.90 to 0.72. MELLOWSOLO remains the clearest harmonic mismatch and now has a pressure artifact test rather than a fake parity pass. A trial output-level-dependent applied-envelope trace was cut because it worsened MELLOWSOLO and ANLGSYN 1.","source":"community DX7 listening correction on 2026-05-14"}
{"kind":"dx7_modulator_peak_headroom","lesson":"Listening found ANLGSYN 1 and RES SYNTH1 blowing out into a drone at the modulator-envelope peak while Piano Bass was spot on. The surviving DX7 probe change caps only algorithm-2 non-carrier applied-envelope Level1 at 0.92, preserving Piano Bass and improving RES SYNTH1 while keeping ANLGSYN judged by log-mel and sustained high-band evidence rather than aggregate score. A wider summed-route headroom experiment for Mooger fan-in was tested and cut because it worsened Mooger metrics and did not isolate the overtone-emphasis issue.","source":"community DX7 listening correction on 2026-05-14"}

6
state/memory.json
View file

@ -76,7 +76,7 @@
},
"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, 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, and feedback 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. 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; a later output-level-dependent applied-envelope trace was also cut because it worsened MELLOWSOLO and ANLGSYN 1. 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. MELLOWSOLO is now a pressure artifact test, not passing parity. PRC remains passing on log-mel/envelope/RMS, with score floor lowered to 0.74 after rate scaling changed the aggregate score.",
"lesson": "Algorithm 32's additive six-carrier shape maps cleanly to six Aquarium voices. Algorithm 8 justified OperatorGraph: operators, modulation edges, carriers, and feedback 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. 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; a later output-level-dependent applied-envelope trace was also cut because it worsened MELLOWSOLO and ANLGSYN 1. 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. Mooger's overtone-emphasis issue is unresolved; a wider summed-route headroom experiment was tested and cut. 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."
},
"note_and_envelope_model": {
@ -92,7 +92,7 @@
},
"last_verified": {
"command": "AQUARIUM_DX7_PYTHON=<bundled python> dotnet test AquariumSynthCSharp.slnx --no-restore",
"result": "focused DX7 pass: 28 passed; operator key/rate scaling now uses effective played note, Piano Bass gain rebalanced to 0.72, MELLOWSOLO pressure artifact added",
"commit": "pending DX7 note-scaled operator envelopes"
"result": "focused DX7 pass: 28 passed; alg-2 modulator peak cap prevents ANLGSYN/RES peak blowout without moving Piano Bass; Mooger fan-in route experiment cut",
"commit": "pending DX7 modulator peak headroom"
}
}

22
state/scratch.md
View file

@ -15,6 +15,28 @@ Doctrine update:
Completed this slice:
- Listening split the latest community set again: `Piano Bass` is currently the
anchor and should not be disturbed; `ANLGSYN 1` and `RES SYNTH1` were blowing
out into drone at the modulator peak; `{ Mooger }` and `MELLOWSOLO` still
have overtone-emphasis issues.
- Added scoped modulator peak headroom in the DX7 probe lowering:
algorithm-2 non-carrier applied envelopes cap only Level1 at `.92`.
`Piano Bass` remains unchanged; `RES SYNTH1` improves to score `.8140223`,
log-mel `.12369786`, envelope `.06489321`; `ANLGSYN 1` keeps log-mel
`.19461302` and sustained high-band evidence but aggregate score drops to
`.6980632`, so its score gate is now `.69`.
- `MELLOWSOLO` nudges to log-mel `.42906323`, score `.55206907`, but remains a
pressure artifact, not passing parity.
- Tested and cut a wider summed-route headroom rule for `{ Mooger }`
(`5.25`/`5.75` for three-source sums). It worsened Mooger log-mel/envelope
and does not deserve to live. Mooger's "too hard" harmonics remain unresolved
overtone-emphasis pressure, not a solved high-band-energy problem.
- Focused verification with bundled Python/dexed-py:
`AQUARIUM_DX7_PYTHON=<bundled python> dotnet test AquariumSynthCSharp.slnx --no-restore --filter "Dx7SysExTests|PublicDomainDx7MoogerAndPianoBassMeetRenderedParityWhenInstalled|PublicDomainDx7AnlgSyn1KeepsBuzzingModulationWhenInstalled|PublicDomainDx7MellowSoloWritesPressureWavsWhenInstalled|PublicDomainDx7PrcSynth1WritesListeningWavsWhenInstalled"`:
28 passed.
Previous slice:
- Listening report split the remaining DX7 mismatch: `RES SYNTH1` mostly
needed a harder attack, `ANLGSYN 1` still smells like missing LFO/operator
attack behavior, and `MELLOWSOLO` is the clearest harmonic mismatch.

16
state/spine.yaml
View file

@ -62,6 +62,8 @@ live_invariants:
- DX7 envelope trace evidence now lives in `Dx7SysEx.TraceEnvelope`, `Dx7SysEx.TraceInterpolatedEnvelope`, and `artifacts/parity/dx7-envelope-trace/egstep.csv`; Dexed-style audio uses block-interpolated applied gain, not the raw EG state alone.
- Do not add an `env=dx7` runtime surface until it matches Dexed plugin audio with the block-interpolated gain model, not only the raw trace helper.
- DX7 applied envelope lowering now lives in `Dx7SysEx.ApproximateAppliedRateLevelEnvelope`; it normalizes traced applied gain so operator output level remains a separate authority.
- Current DX7 analog1 algorithm-2 lowering caps non-carrier applied-envelope Level1 at 0.92 to avoid modulator peak blowout; treat this as pressure on exact DX7 EG/output modeling, not as permission to add broad peak clamps.
- Do not reduce summed route scale merely because an edge has three sources; a Mooger fan-in route experiment worsened evidence and was cut.
- Recompile only for graph shape changes; vary declared parameters through the hosted DSP control API.
- Reference fixtures must preserve provenance, license status, source hash, and feature pressure.
- Public-domain reference fixtures and dexed-py helpers are test/development material only; the NuGet package must ship only AquariumSynth.Dsl.
@ -143,6 +145,20 @@ next_agent_start_here:
- "dotnet test AquariumSynthCSharp.slnx --no-restore"
completed_slices:
- date: 2026-05-14
summary: >
Added scoped modulator peak headroom after listening found `ANLGSYN 1`
and `RES SYNTH1` blowing out into a drone at the modulator peak while
`Piano Bass` was spot on. The DX7 probe lowering now caps only
algorithm-2 non-carrier applied-envelope Level1 at 0.92. Latest focused
metrics: `RES SYNTH1` score 0.8140223, log-mel 0.12369786, envelope
0.06489321; `Piano Bass` unchanged at score 0.7910121, log-mel
0.13413505; `ANLGSYN 1` score 0.6980632, log-mel 0.19461302, sustained
high-band still above gate; `MELLOWSOLO` score 0.55206907, log-mel
0.42906323. Tested and cut a three-source summed-route headroom rule for
`{ Mooger }`; it worsened Mooger metrics and did not isolate the overtone
issue.
verification: "AQUARIUM_DX7_PYTHON=<bundled python> dotnet test AquariumSynthCSharp.slnx --no-restore --filter Dx7... focused pass: 28 passed"
- date: 2026-05-14
summary: >
Lowered DX7 operator key-scaling and rate-scaling against the effective

20
tests/AquariumSynth.Dsl.Tests/Dx7ReferenceParityTests.cs
View file

@ -189,7 +189,7 @@ public sealed class Dx7ReferenceParityTests
Assert.True(result.Comparison.LogMelDistance <= 0.20f, report);
Assert.True(result.Comparison.EnvelopeDistance <= 0.16f, report);
Assert.InRange(result.Comparison.ZeroCrossingRatio, 0.8f, 1.2f);
Assert.True(result.Comparison.Score >= 0.7f, report);
Assert.True(result.Comparison.Score >= 0.69f, report);
Assert.True(result.SustainedHighBandRatio >= 1.0f, report);
}
@ -422,6 +422,12 @@ public sealed class Dx7ReferenceParityTests
sustainFloor: maxFeedbackSustainFloor,
rateScaling: Dx7SysEx.OperatorRateScaling(op, effectiveMidiNote))
: ScaledEnvelope(Dx7SysEx.ApproximateRateLevelEnvelope(op.Envelope), envelopeScale, gateSeconds);
if (useAppliedEnvelope &&
topology.Algorithm == 2 &&
!topology.CarrierOperators.Contains(op.Number))
{
envelope = CapModulatorPeak(envelope, 0.92f);
}
builder.AppendLine($" {envelope.ToScriptSpec()}");
builder.AppendLine();
}
@ -442,6 +448,18 @@ public sealed class Dx7ReferenceParityTests
return builder.ToString();
}
private static Dx7RateLevelEnvelopeApproximation CapModulatorPeak(Dx7RateLevelEnvelopeApproximation approximation, float peak)
{
var envelope = approximation.Envelope;
return approximation with
{
Envelope = envelope with
{
Level1 = MathF.Min(envelope.Level1, peak)
}
};
}
private static Dx7Voice VoiceFromSpec(DexedPatchSpec spec) =>
new(
spec.Name,