diff --git a/.planning/STATE.md b/.planning/STATE.md
index 90d5f98..390eb4b 100644
--- a/.planning/STATE.md
+++ b/.planning/STATE.md
@@ -4,7 +4,7 @@ milestone: v1.1
 milestone_name: Custom Sound Mappings
 status: verifying
 stopped_at: Completed 05-02-PLAN.md
-last_updated: "2026-03-26T16:39:38.288Z"
+last_updated: "2026-03-26T16:42:31.293Z"
 last_activity: 2026-03-26
 progress:
   total_phases: 3
@@ -25,8 +25,8 @@ See: .planning/PROJECT.md (updated 2026-03-26)
 
 ## Current Position
 
-Phase: 05 (waveform-types-and-bank-decoupling) — EXECUTING
-Plan: 2 of 2
+Phase: 6
+Plan: Not started
 Status: Phase complete — ready for verification
 Last activity: 2026-03-26
 
diff --git a/.planning/phases/05-waveform-types-and-bank-decoupling/05-VERIFICATION.md b/.planning/phases/05-waveform-types-and-bank-decoupling/05-VERIFICATION.md
new file mode 100644
index 0000000..e7748a2
--- /dev/null
+++ b/.planning/phases/05-waveform-types-and-bank-decoupling/05-VERIFICATION.md
@@ -0,0 +1,126 @@
+---
+phase: 05-waveform-types-and-bank-decoupling
+verified: 2026-03-26T00:00:00Z
+status: passed
+score: 12/12 must-haves verified
+re_verification: false
+gaps: []
+human_verification: []
+---
+
+# Phase 5: Waveform Types and Bank Decoupling Verification Report
+
+**Phase Goal:** Add waveform types (sine, square, sawtooth, triangle) with bandlimited synthesis; decouple OscillatorBank from global config for custom sound mapping injection.
+**Verified:** 2026-03-26
+**Status:** passed
+**Re-verification:** No — initial verification
+
+---
+
+## Goal Achievement
+
+### Observable Truths
+
+Plan 01 truths:
+
+| #  | Truth | Status | Evidence |
+|----|-------|--------|----------|
+| 1  | WaveformType enum exists with five values: WaveformCustom (0), WaveformSine, WaveformSquare, WaveformSawtooth, WaveformTriangle | VERIFIED | `synth/config.go` lines 16-24: `type WaveformType int` with five `iota` constants in correct order |
+| 2  | WaveformPresetHarmonics returns correct bandlimited harmonic series for each waveform type | VERIFIED | `synth/config.go` lines 29-59: correct loop logic for each waveform; all 9 waveform tests pass |
+| 3  | All generated partials are below Nyquist frequency (22050 Hz) | VERIFIED | `TestBandlimitedHarmonicsNoAliasing` iterates all ClassFreqConfigs × all 4 waveform types — passes |
+| 4  | WaveformCustom returns nil, preserving existing hand-tuned harmonics | VERIFIED | `synth/config.go` line 33: `case WaveformCustom: return nil`; `TestWaveformPresetHarmonics_Custom` passes |
+| 5  | NewLayer resolves waveform presets at construction time, not at render time | VERIFIED | `synth/layer.go` lines 25-27: preset resolution at top of `NewLayer`; `TestNewLayerResolvesWaveformPreset` and `TestSineRegressionVsCustomHarmonics` pass |
+| 6  | Existing tests still pass — no regression in v1.0 behavior | VERIFIED | `go test ./...` — all 6 packages pass (aggregate, capture, classify, cmd/netsynth, encode, synth) |
+
+Plan 02 truths:
+
+| #  | Truth | Status | Evidence |
+|----|-------|--------|----------|
+| 7  | NewBank accepts a config map parameter instead of reading the ClassFreqConfigs global | VERIFIED | `synth/bank.go` line 17: `func NewBank(tau float64, cfgs map[classify.TrafficClass]FreqConfig) *OscillatorBank` |
+| 8  | GainPerLayer is computed dynamically as 1.0/len(configs) inside NewBank | VERIFIED | `synth/bank.go` line 21: `gainPerLayer: 1.0 / float64(len(cfgs))`; `TestNewBankDynamicGain` asserts `b.gainPerLayer == 1.0/3.0` for 3-class config |
+| 9  | RenderWindow iterates b.layers instead of classify.AllClasses() in both loops | VERIFIED | `synth/bank.go` lines 42-55: both loops use `range b.layers`; `classify.AllClasses()` absent from bank.go |
+| 10 | encode.RunSynthesis passes synth.ClassFreqConfigs as the default config map | VERIFIED | `encode/mp3.go` line 57: `bank := synth.NewBank(1.0, synth.ClassFreqConfigs)` |
+| 11 | All 14 built-in classes still produce the same audio output as v1.0 | VERIFIED | `TestNewBankHas14Layers`, `TestMixerNoClip`, `TestMultipleWindowsEMAConvergence`, `TestStereoPan` all pass |
+| 12 | No-clip guarantee holds with dynamic gain scaling | VERIFIED | `TestMixerNoClip` (14-class), `TestNewBankCustomConfigNoClip` (2-class) both pass |
+
+**Score:** 12/12 truths verified
+
+---
+
+### Required Artifacts
+
+| Artifact | Provides | Status | Details |
+|----------|----------|--------|---------|
+| `synth/config.go` | WaveformType enum and WaveformPresetHarmonics function | VERIFIED | Exports all 5 enum values, `WaveformPresetHarmonics`, and `FreqConfig.WaveformType` field |
+| `synth/layer.go` | Waveform resolution in NewLayer | VERIFIED | Lines 25-27 resolve presets at construction; `WaveformPresetHarmonics` called correctly |
+| `synth/waveform_test.go` | Tests for waveform preset generation and bandlimiting | VERIFIED | 12 test functions including all specified behavioral tests |
+| `synth/bank.go` | Decoupled OscillatorBank with injected config map | VERIFIED | `gainPerLayer` field present, `NewBank` takes `cfgs` param, both `RenderWindow` loops use `b.layers` |
+| `encode/mp3.go` | Updated NewBank call site | VERIFIED | Line 57 passes `synth.ClassFreqConfigs` as second arg |
+| `synth/bank_test.go` | Updated tests for new NewBank signature | VERIFIED | All calls are two-argument; `TestNewBankDynamicGain` and `TestNewBankCustomConfigNoClip` present |
+| `synth/config_test.go` | Updated TestNumLayersMatchesAllClasses | VERIFIED | Line 62: asserts `len(synth.ClassFreqConfigs) == len(classify.AllClasses())`; no reference to `synth.NumLayers` |
+
+---
+
+### Key Link Verification
+
+| From | To | Via | Status | Details |
+|------|----|-----|--------|---------|
+| `synth/layer.go` | `synth/config.go` | `NewLayer` calls `WaveformPresetHarmonics(cfg.WaveformType, cfg.BaseHz, sampleRate)` | WIRED | Line 26: exact call present; conditional on `cfg.WaveformType != WaveformCustom` |
+| `encode/mp3.go` | `synth/bank.go` | `synth.NewBank(1.0, synth.ClassFreqConfigs)` | WIRED | Line 57: exact pattern matches; no single-arg NewBank calls anywhere in codebase |
+| `synth/bank.go` | `synth/layer.go` | `NewLayer(cfg, SampleRate, tau)` for each config map entry | WIRED | Lines 23-25: iterates `cfgs`, calls `NewLayer(cfg, SampleRate, tau)` for each |
+| `synth/bank.go` | `synth/config.go` | `gainPerLayer` computed from `len(cfgs)` | WIRED | Line 21: `1.0 / float64(len(cfgs))` |
+
+---
+
+### Data-Flow Trace (Level 4)
+
+Not applicable. Phase 5 artifacts are synthesis engine components (type definitions, pure functions, struct methods) — not UI components or pages that render dynamic data from an external source. Data flow is exercised directly by the test suite.
+
+---
+
+### Behavioral Spot-Checks
+
+| Behavior | Command | Result | Status |
+|----------|---------|--------|--------|
+| All synth tests pass including new waveform tests | `go test ./synth/... -v -count=1` | 30 tests pass, 0 failures | PASS |
+| Full project builds without errors | `go build ./...` | Exit 0, no output | PASS |
+| go vet finds no issues | `go vet ./synth/... ./encode/...` | Exit 0, no output | PASS |
+| Full test suite passes | `go test ./...` | 6 packages pass, 0 failures | PASS |
+
+---
+
+### Requirements Coverage
+
+| Requirement | Source Plan | Description | Status | Evidence |
+|-------------|-------------|-------------|--------|----------|
+| WAVE-01 | 05-01, 05-02 | User can set waveform type per traffic class (sine, square, sawtooth, triangle) | SATISFIED | `WaveformType` field on `FreqConfig`; `NewBank` accepts any config map with any `WaveformType` per entry; waveform resolution in `NewLayer` |
+| WAVE-02 | 05-01, 05-02 | Non-sine waveforms use bandlimited additive synthesis (no aliasing artifacts) | SATISFIED | `WaveformPresetHarmonics` loops terminate at `float64(k)*baseHz < nyquist`; `TestBandlimitedHarmonicsNoAliasing` verifies no harmonic exceeds 22050 Hz across all base frequencies |
+
+No orphaned requirements: REQUIREMENTS.md traceability table maps WAVE-01 and WAVE-02 to Phase 5 only; both are covered.
+
+---
+
+### Anti-Patterns Found
+
+None. Grep scan of all phase-modified files (`synth/config.go`, `synth/layer.go`, `synth/bank.go`, `synth/waveform_test.go`, `synth/bank_test.go`, `synth/config_test.go`, `encode/mp3.go`) found no TODO/FIXME/placeholder comments, no empty implementations, no hardcoded empty returns, and no stubbed handlers.
+
+| File | Line | Pattern | Severity | Impact |
+|------|------|---------|----------|--------|
+| — | — | — | — | — |
+
+---
+
+### Human Verification Required
+
+None. All phase-5 behaviors are exercised by automated tests with deterministic numeric assertions. No visual rendering, real-time playback, or external service integration was introduced.
+
+---
+
+### Gaps Summary
+
+No gaps. All 12 must-have truths are verified. Both requirement IDs (WAVE-01, WAVE-02) are satisfied. The full test suite passes with zero failures across all packages.
+
+---
+
+_Verified: 2026-03-26_
+_Verifier: Claude (gsd-verifier)_