tono-core 1.10.1

//! Range and structure validation for a [`SoundDoc`] beyond what serde
//! enforces. Every message is human-readable so a caller can act on it.

use super::{
    Adsr, AutoTarget, ENGINE_VERSION, Modulator, Node, Playback, SCHEMA_VERSION, SeqWave, SoundDoc,
    Stereo, TempoPoint, Value, note_to_hz,
};

impl Adsr {
    /// Range-check the envelope shape. `what` prefixes error messages
    /// (e.g. `"env"` ⇒ `"env.a must be >= 0"`).
    fn validate(&self, what: &str) -> Result<(), String> {
        for (n, v) in [("a", self.a), ("d", self.d), ("r", self.r)] {
            non_negative(&format!("{what}.{n}"), v)?;
        }
        in_unit(&format!("{what}.s"), self.s)?;
        in_unit(&format!("{what}.punch"), self.punch)
    }
}

/// Why a document failed validation. Wraps the human-readable reason — the
/// same message a caller can use to correct the document — behind a real
/// error type (`Display` + `std::error::Error`).
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ValidateError(String);

impl ValidateError {
    /// The human-readable reason.
    pub fn message(&self) -> &str {
        &self.0
    }
}

impl std::fmt::Display for ValidateError {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(&self.0)
    }
}

impl std::error::Error for ValidateError {}

impl std::ops::Deref for ValidateError {
    type Target = str;
    /// Deref to the message so callers (and a decade of tests) can treat the
    /// error as the string it carries: `err.contains("freq")`.
    fn deref(&self) -> &str {
        &self.0
    }
}

impl From<ValidateError> for String {
    fn from(e: ValidateError) -> String {
        e.0
    }
}

impl SoundDoc {
    /// Validate ranges and structure beyond what serde already enforces.
    /// The error's message is human-readable and names the offending field.
    pub fn validate(&self) -> Result<(), ValidateError> {
        self.validate_inner().map_err(ValidateError)
    }

    fn validate_inner(&self) -> Result<(), String> {
        let v = self.effective_version();
        if v == 0 || v > SCHEMA_VERSION {
            return Err(format!(
                "version must be in [1, {SCHEMA_VERSION}], got {v} — a document from a newer \
                 tono cannot render correctly here; upgrade tono"
            ));
        }
        let e = self.effective_engine();
        if e > ENGINE_VERSION {
            return Err(format!(
                "engine must be in [0, {ENGINE_VERSION}], got {e} — a document authored against \
                 a newer DSP kernel cannot render correctly here; upgrade tono"
            ));
        }
        // 600 s covers full songs; the cap exists only to bound render memory.
        if !(self.duration > 0.0 && self.duration <= 600.0) {
            return Err(format!(
                "duration must be in (0, 600] seconds, got {}",
                self.duration
            ));
        }
        if !(8_000..=192_000).contains(&self.sample_rate) {
            return Err(format!(
                "sample_rate must be in [8000, 192000] Hz, got {}",
                self.sample_rate
            ));
        }
        match self.stereo {
            Stereo::Mono => {}
            Stereo::Haas { ms, pan } => {
                if !(0.5..=40.0).contains(&ms) {
                    return Err(format!("stereo.haas.ms must be in [0.5, 40], got {ms}"));
                }
                if !(-1.0..=1.0).contains(&pan) {
                    return Err(format!("stereo.haas.pan must be in [-1, 1], got {pan}"));
                }
            }
            Stereo::Wide { amount } => in_unit("stereo.wide.amount", amount)?,
        }
        if let Some(nz) = &self.normalize {
            if let Some(t) = nz.target_lufs
                && !(-60.0..=0.0).contains(&t)
            {
                return Err(format!(
                    "normalize.target_lufs must be in [-60, 0] LUFS, got {t}"
                ));
            }
            if !(-12.0..=0.0).contains(&nz.ceiling_dbtp) {
                return Err(format!(
                    "normalize.ceiling_dbtp must be in [-12, 0] dBTP, got {}",
                    nz.ceiling_dbtp
                ));
            }
        }
        if let Playback::Loop {
            start_secs,
            end_secs,
            crossfade_secs,
        } = self.playback
        {
            if start_secs < 0.0 || start_secs >= self.duration {
                return Err(format!(
                    "playback.loop.start_secs must be in [0, duration), got {start_secs}"
                ));
            }
            if let Some(end) = end_secs {
                if end <= start_secs {
                    return Err(format!(
                        "playback.loop.end_secs ({end}) must be > start_secs ({start_secs})"
                    ));
                }
                if end > self.duration {
                    return Err(format!(
                        "playback.loop.end_secs ({end}) must be <= duration ({})",
                        self.duration
                    ));
                }
            }
            non_negative("playback.loop.crossfade_secs", crossfade_secs)?;
        }
        if let Node::Tracks {
            tracks,
            master,
            buses,
        } = &self.root
        {
            if tracks.is_empty() {
                return Err("tracks must be non-empty".into());
            }
            // A mixer document builds its stereo image from per-layer pan; a
            // doc-level Haas/Wide treatment would be silently dropped by the
            // renderer. v1 documents keep the historical silent-ignore so old
            // libraries still load.
            if self.effective_version() >= 2 && !matches!(self.stereo, Stereo::Mono) {
                return Err(
                    "a tracks document builds its stereo image from per-layer pan — remove the \
                     doc-level stereo treatment (set stereo mode 'mono') and pan the layers \
                     instead"
                        .into(),
                );
            }
            let mut seen_ids = std::collections::HashSet::new();
            let mut seen_streams = std::collections::HashMap::new();
            for (i, t) in tracks.iter().enumerate() {
                // Errors name the layer by id when it has one — that is the
                // address the caller used.
                let who = match &t.id {
                    Some(id) => format!("layer '{id}'"),
                    None => format!("tracks[{i}]"),
                };
                if let Some(id) = &t.id {
                    if id.is_empty()
                        || !id
                            .chars()
                            .all(|c| c.is_ascii_lowercase() || c.is_ascii_digit() || c == '_')
                    {
                        return Err(format!(
                            "{who}: layer ids are short slugs (a-z, 0-9, _), got '{id}'"
                        ));
                    }
                    if id == "master" {
                        return Err(
                            "'master' is reserved for the master chain; pick another layer id"
                                .into(),
                        );
                    }
                    if !seen_ids.insert(id.clone()) {
                        return Err(format!("duplicate layer id '{id}' — ids must be unique"));
                    }
                    // Stream keys must be collision-free or two layers would
                    // silently share one noise stream (and u64::MAX is the
                    // master bus's stream).
                    let key = crate::dsp::layer_stream_key(id);
                    if key == u64::MAX {
                        return Err(format!(
                            "{who}: this id collides with the master bus's RNG stream — rename \
                             the layer"
                        ));
                    }
                    if let Some(other) = seen_streams.insert(key, id.clone()) {
                        return Err(format!(
                            "layer ids '{other}' and '{id}' hash to the same RNG stream — \
                             rename one of them"
                        ));
                    }
                }
                if !(-1.0..=1.0).contains(&t.pan) {
                    return Err(format!("{who}: pan must be in [-1, 1], got {}", t.pan));
                }
                if !(0.0..=2.0).contains(&t.gain) {
                    return Err(format!("{who}: gain must be in [0, 2], got {}", t.gain));
                }
                if !(0.0..self.duration).contains(&t.at) {
                    return Err(format!(
                        "{who}: at must be in [0, duration {}), got {} — the layer would be \
                         entirely outside the render window",
                        self.duration, t.at
                    ));
                }
                let mut seen_lanes: Vec<AutoTarget> = Vec::new();
                for lane in &t.automation {
                    let (lname, lo, hi) = match lane.target {
                        AutoTarget::Gain => ("gain", 0.0, 2.0),
                        AutoTarget::Pan => ("pan", -1.0, 1.0),
                    };
                    // The renderer applies the first matching lane, so a
                    // second lane for the same target is silently dead.
                    if seen_lanes.contains(&lane.target) {
                        return Err(format!(
                            "{who}: duplicate automation lane for '{lname}' — only the first \
                             applies, so this one would be dead"
                        ));
                    }
                    seen_lanes.push(lane.target);
                    for (pi, p) in lane.points.iter().enumerate() {
                        if !p.t.is_finite() || p.t < 0.0 {
                            return Err(format!(
                                "{who}: automation[{lname}].points[{pi}].t must be >= 0 \
                                 seconds, got {}",
                                p.t
                            ));
                        }
                        if !(lo..=hi).contains(&p.v) {
                            return Err(format!(
                                "{who}: automation[{lname}].points[{pi}].v must be in \
                                 [{lo}, {hi}], got {}",
                                p.v
                            ));
                        }
                    }
                }
                if contains_tracks(&t.node) {
                    return Err("tracks cannot nest inside a track".into());
                }
                validate_node(&t.node)?;
            }
            // Sidechain wiring is a cross-track check, so it runs once every
            // id is known (a source may be declared after its follower).
            for (i, t) in tracks.iter().enumerate() {
                let Some(sc) = &t.sidechain else { continue };
                let who = match &t.id {
                    Some(id) => format!("layer '{id}'"),
                    None => format!("tracks[{i}]"),
                };
                if !(0.0..=1.0).contains(&sc.amount) {
                    return Err(format!(
                        "{who}: sidechain.amount must be in [0, 1], got {}",
                        sc.amount
                    ));
                }
                if !sc.attack.is_finite() || sc.attack < 0.0 {
                    return Err(format!(
                        "{who}: sidechain.attack must be >= 0 seconds, got {}",
                        sc.attack
                    ));
                }
                if !sc.release.is_finite() || sc.release < 0.0 {
                    return Err(format!(
                        "{who}: sidechain.release must be >= 0 seconds, got {}",
                        sc.release
                    ));
                }
                if t.id.as_deref() == Some(sc.source.as_str()) {
                    return Err(format!(
                        "{who}: sidechain source '{}' is the track itself — a track cannot \
                         duck to its own signal",
                        sc.source
                    ));
                }
                let Some(source) = tracks
                    .iter()
                    .find(|s| s.id.as_deref() == Some(sc.source.as_str()))
                else {
                    return Err(format!(
                        "{who}: sidechain source '{}' is not a layer id in this document — \
                         point it at the track whose signal should drive the duck",
                        sc.source
                    ));
                };
                if source.sidechain.is_some() {
                    return Err(format!(
                        "{who}: sidechain source '{}' is itself a follower — \
                         follower-of-follower chains are not supported; duck directly to \
                         the source's source",
                        sc.source
                    ));
                }
            }
            for (i, m) in master.iter().enumerate() {
                if !m.is_processor() {
                    return Err(format!(
                        "master[{i}] must be a processor (filter/eq/dynamics/fx)"
                    ));
                }
                validate_node(m)?;
            }
            // Bus wiring: ids are unique slugs that can't collide with a
            // layer id or the master stream; effects are processors like the
            // master chain; routing references must name real buses.
            let mut seen_bus_ids = std::collections::HashSet::new();
            for b in buses {
                if b.id.is_empty()
                    || !b
                        .id
                        .chars()
                        .all(|c| c.is_ascii_lowercase() || c.is_ascii_digit() || c == '_')
                {
                    return Err(format!(
                        "bus ids are short slugs (a-z, 0-9, _), got '{}'",
                        b.id
                    ));
                }
                if b.id == "master" {
                    return Err(
                        "'master' is reserved for the master chain; pick another bus id".into(),
                    );
                }
                if !seen_bus_ids.insert(b.id.clone()) {
                    return Err(format!("duplicate bus id '{}' — ids must be unique", b.id));
                }
                if seen_ids.contains(&b.id) {
                    return Err(format!(
                        "bus id '{}' is also a layer id — a track and its bus must be named apart",
                        b.id
                    ));
                }
                if !(0.0..=2.0).contains(&b.gain) {
                    return Err(format!(
                        "bus '{}': gain must be in [0, 2], got {}",
                        b.id, b.gain
                    ));
                }
                for (i, fx) in b.effects.iter().enumerate() {
                    if !fx.is_processor() {
                        return Err(format!(
                            "bus '{}' effects[{i}] must be a processor (filter/eq/dynamics/fx)",
                            b.id
                        ));
                    }
                    if contains_tracks(fx) {
                        return Err(format!("bus '{}' effects cannot nest tracks", b.id));
                    }
                    validate_node(fx)?;
                }
            }
            for (i, t) in tracks.iter().enumerate() {
                let who = match &t.id {
                    Some(id) => format!("layer '{id}'"),
                    None => format!("tracks[{i}]"),
                };
                if let Some(bus) = &t.bus
                    && !buses.iter().any(|b| &b.id == bus)
                {
                    return Err(format!(
                        "{who}: routed to bus '{bus}', which is not a bus in this document"
                    ));
                }
                let mut seen_sends: Vec<&str> = Vec::new();
                for s in &t.sends {
                    if !(0.0..=1.0).contains(&s.amount) {
                        return Err(format!(
                            "{who}: send to '{}' must have amount in [0, 1], got {}",
                            s.bus, s.amount
                        ));
                    }
                    if !buses.iter().any(|b| b.id == s.bus) {
                        return Err(format!(
                            "{who}: sends to bus '{}', which is not a bus in this document",
                            s.bus
                        ));
                    }
                    if seen_sends.contains(&s.bus.as_str()) {
                        return Err(format!(
                            "{who}: duplicate send to bus '{}' — raise one send's amount instead",
                            s.bus
                        ));
                    }
                    seen_sends.push(&s.bus);
                }
            }
            return Ok(());
        }
        if contains_tracks(&self.root) {
            return Err("tracks is the mixing console: it must be the document's root node".into());
        }
        // A bare processor as the root has no input and renders digital
        // silence — say so instead of "succeeding".
        if self.root.is_processor() {
            return Err(
                "the root node must be a source (osc/noise/seq/mix/…), not a bare processor \
                 (filter/eq/dynamics/fx) — it would render silence"
                    .into(),
            );
        }
        validate_node(&self.root)
    }
}

/// True if a `tracks` node appears anywhere in this subtree. Iterative (an
/// explicit stack) so a pathologically deep programmatic document can't
/// overflow the call stack before the depth cap in `validate_node_at` bites.
fn contains_tracks(node: &Node) -> bool {
    let mut stack = vec![node];
    while let Some(n) = stack.pop() {
        if matches!(n, Node::Tracks { .. }) {
            return true;
        }
        stack.extend(n.children());
    }
    false
}

/// A finite value (rejects NaN/±inf — they would render NaN audio).
fn finite(name: &str, v: f32) -> Result<(), String> {
    if !v.is_finite() {
        return Err(format!("{name} must be a finite number, got {v}"));
    }
    Ok(())
}

/// A finite, strictly positive value.
fn positive(name: &str, v: f32) -> Result<(), String> {
    finite(name, v)?;
    if v <= 0.0 {
        return Err(format!("{name} must be > 0, got {v}"));
    }
    Ok(())
}

/// A finite, non-negative value.
fn non_negative(name: &str, v: f32) -> Result<(), String> {
    finite(name, v)?;
    if v < 0.0 {
        return Err(format!("{name} must be >= 0, got {v}"));
    }
    Ok(())
}

impl crate::dsl::FmKnobs {
    fn validate(&self) -> Result<(), String> {
        positive("seq.fm_ratio", self.fm_ratio)?;
        if !(0.0..=20.0).contains(&self.fm_index) {
            return Err(format!(
                "seq.fm_index must be in [0, 20], got {}",
                self.fm_index
            ));
        }
        positive("seq.fm_strike", self.fm_strike)
    }
}

impl crate::dsl::PluckKnobs {
    fn validate(&self) -> Result<(), String> {
        if !(0.8..1.0).contains(&self.pluck_decay) {
            return Err(format!(
                "seq.pluck_decay must be in [0.8, 1), got {}",
                self.pluck_decay
            ));
        }
        in_unit("seq.pluck_body", self.pluck_body)?;
        in_unit("seq.pluck_pick", self.pluck_pick)?;
        if !(-1.0..=1.0).contains(&self.pluck_tone) {
            return Err(format!(
                "seq.pluck_tone must be in [-1, 1], got {}",
                self.pluck_tone
            ));
        }
        Ok(())
    }
}

impl crate::dsl::PianoKnobs {
    fn validate(&self) -> Result<(), String> {
        positive("seq.piano_hammer", self.piano_hammer)?;
        positive("seq.piano_strike", self.piano_strike)?;
        positive("seq.piano_inharm", self.piano_inharm)?;
        non_negative("seq.piano_detune", self.piano_detune)?;
        positive("seq.piano_decay", self.piano_decay)
    }
}

impl crate::dsl::BassKnobs {
    fn validate(&self) -> Result<(), String> {
        positive("seq.bass_cutoff", self.bass_cutoff)?;
        non_negative("seq.bass_env", self.bass_env)?;
        non_negative("seq.bass_env_vel", self.bass_env_vel)?;
        positive("seq.bass_decay", self.bass_decay)?;
        non_negative("seq.bass_click", self.bass_click)?;
        non_negative("seq.bass_body", self.bass_body)?;
        non_negative("seq.bass_sub", self.bass_sub)?;
        positive("seq.bass_sub_ratio", self.bass_sub_ratio)?;
        in_unit("seq.bass_drive", self.bass_drive)?;
        positive("seq.bass_body_decay", self.bass_body_decay)
    }
}

impl crate::dsl::Sf2Knobs {
    /// Only meaningful when the seq's wave is `sampler` — the caller gates it.
    fn validate(&self) -> Result<(), String> {
        if self.sf2.is_empty() {
            return Err(
                "seq.sf2 must point at a SoundFont (.sf2) file when wave is 'sampler'".into(),
            );
        }
        if self.sf2_preset > 127 {
            return Err(format!(
                "seq.sf2_preset must be in [0, 127], got {}",
                self.sf2_preset
            ));
        }
        Ok(())
    }
}

fn validate_value(v: &Value, what: &str) -> Result<(), String> {
    match v {
        Value::Const(c) => finite(what, *c),
        Value::Note(s) => note_to_hz(s).map(|_| ()).ok_or_else(|| {
            format!("{what}: '{s}' is not a valid note (e.g. \"A4\", \"C#3\", \"midi:69\")")
        }),
        Value::Modulated(m) => match m {
            Modulator::Slide { from, to, secs, .. } => {
                finite(&format!("{what}: slide.from"), *from)?;
                finite(&format!("{what}: slide.to"), *to)?;
                positive(&format!("{what}: slide.secs"), *secs)
            }
            Modulator::Lfo {
                rate,
                depth,
                center,
                ..
            } => {
                positive(&format!("{what}: lfo.rate"), *rate)?;
                finite(&format!("{what}: lfo.depth"), *depth)?;
                finite(&format!("{what}: lfo.center"), *center)
            }
            Modulator::Arp { steps, rate } => {
                if steps.is_empty() {
                    return Err(format!("{what}: arp.steps must be non-empty"));
                }
                for (i, s) in steps.iter().enumerate() {
                    finite(&format!("{what}: arp.steps[{i}]"), *s)?;
                }
                positive(&format!("{what}: arp.rate"), *rate)
            }
            Modulator::EnvMod { adsr, from, to } => {
                finite(&format!("{what}: env.from"), *from)?;
                finite(&format!("{what}: env.to"), *to)?;
                adsr.validate(&format!("{what}: env"))?;
                // The same flatten footgun as Node::Env: the ADSR fields are
                // inlined on the modulator, so an "adsr" object is silently
                // dropped and the parameter would pin at `from` forever.
                if adsr.a == 0.0 && adsr.d == 0.0 && adsr.s == 0.0 && adsr.r == 0.0 {
                    return Err(format!(
                        "{what}: env is constant — a/d/s/r are all 0. The envelope fields \
                         are inlined on the modulator (e.g. {{\"env\":{{\"a\":0.01,\"d\":0.1,\
                         \"s\":0.7,\"r\":0.2,\"from\":..,\"to\":..}}}}); don't nest them \
                         under \"adsr\""
                    ));
                }
                Ok(())
            }
            Modulator::Rand { from, to, rate, .. } => {
                finite(&format!("{what}: rand.from"), *from)?;
                finite(&format!("{what}: rand.to"), *to)?;
                positive(&format!("{what}: rand.rate"), *rate)?;
                // Past ~10k targets/s the walk is indistinguishable from noise,
                // and the renderer's per-sample catch-up loop becomes a denial
                // of service (rate 1e12 ⇒ ~1e7 iterations per sample).
                if *rate > 10_000.0 {
                    return Err(format!(
                        "{what}: rand.rate must be in (0, 10000], got {rate}"
                    ));
                }
                Ok(())
            }
        },
    }
}

/// Validate a `Value` that names a frequency: a constant must be finite and
/// strictly positive (a modulated form is clamped per-sample at render time).
fn validate_freq_value(v: &Value, what: &str) -> Result<(), String> {
    match v {
        Value::Const(c) => {
            positive(what, *c)?;
            // 100 kHz sits above every supported Nyquist (96 kHz at 192 kHz
            // sr); past it a constant is an authoring error, and products
            // like fm.freq × fm.ratio can reach f32 overflow and render NaN.
            if *c > 100_000.0 {
                return Err(format!("{what} must be <= 100000 Hz, got {c}"));
            }
        }
        // note_to_hz already bounds a resolved note to <= 100 kHz.
        Value::Note(_) => {}
        Value::Modulated(m) => validate_freq_mod(m, what)?,
    }
    validate_value(v, what)
}

/// Bound a modulated frequency's endpoints far below the f32-overflow regime,
/// so products like fm.freq × fm.ratio can never turn oscillator phases NaN.
/// (center/depth are bounded independently, so an LFO's peak can reach 2× —
/// loose, but still orders of magnitude from either danger zone.)
fn validate_freq_mod(m: &Modulator, what: &str) -> Result<(), String> {
    const MAX_HZ: f32 = 1e6;
    let check = |name: &str, x: f32| {
        if x.abs() > MAX_HZ {
            Err(format!(
                "{what}: {name} must be within ±{MAX_HZ} Hz, got {x}"
            ))
        } else {
            Ok(())
        }
    };
    match m {
        Modulator::Slide { from, to, .. } => {
            check("slide.from", *from)?;
            check("slide.to", *to)
        }
        Modulator::Lfo { depth, center, .. } => {
            check("lfo.center", *center)?;
            check("lfo.depth", *depth)
        }
        Modulator::Arp { steps, .. } => {
            for (i, s) in steps.iter().enumerate() {
                check(&format!("arp.steps[{i}]"), *s)?;
            }
            Ok(())
        }
        Modulator::EnvMod { from, to, .. } | Modulator::Rand { from, to, .. } => {
            check("from", *from)?;
            check("to", *to)
        }
    }
}

fn in_unit(name: &str, v: f32) -> Result<(), String> {
    if !(0.0..=1.0).contains(&v) {
        return Err(format!("{name} must be in [0, 1], got {v}"));
    }
    Ok(())
}

/// EQ gain bound: ±24 dB covers any musical boost/cut; far beyond that the
/// biquad coefficients overflow to inf/NaN and render silent garbage.
fn validate_gain_db(name: &str, v: f32) -> Result<(), String> {
    if !(-24.0..=24.0).contains(&v) {
        return Err(format!("{name} must be in [-24, 24] dB, got {v}"));
    }
    Ok(())
}

/// A seq tempo map is a sorted list of tempo changes starting at beat 0,
/// with sane tempos and a bounded length. The sampler plays through one
/// shared synthesizer whose note offs are scheduled in absolute frames, so
/// it keeps its constant-tempo path — a map there is an authoring error.
fn validate_tempo_map(map: &[TempoPoint], wave: SeqWave) -> Result<(), String> {
    if map.is_empty() {
        return Ok(());
    }
    if wave == SeqWave::Sampler {
        return Err("seq.tempo_map is not supported on the sampler wave".into());
    }
    if map.len() > 1024 {
        return Err(format!(
            "seq.tempo_map is capped at 1024 points, got {}",
            map.len()
        ));
    }
    if map[0].at != crate::units::Beat::zero() {
        return Err("seq.tempo_map's first point must be at beat 0".into());
    }
    let mut prev = crate::units::Beat::zero();
    for (i, p) in map.iter().enumerate() {
        positive(&format!("seq.tempo_map[{i}].bpm"), p.bpm)?;
        if i > 0 && p.at <= prev {
            return Err(format!(
                "seq.tempo_map must be strictly ascending by beat (point {i} is not after point {})",
                i - 1
            ));
        }
        prev = p.at;
    }
    Ok(())
}

/// Validate a `Value` whose constant form must lie in [0, 1] (modulated forms
/// are clamped at render time).
fn validate_unit_value(v: &Value, what: &str) -> Result<(), String> {
    if let Value::Const(c) = v {
        in_unit(what, *c)?;
    }
    validate_value(v, what)
}

/// Bounding the graph depth keeps validation (and the recursive renderer) off
/// the stack for programmatically-built documents; JSON input is already capped
/// well below this by serde's own recursion limit.
const MAX_NODE_DEPTH: usize = 256;

fn validate_node(node: &Node) -> Result<(), String> {
    validate_node_at(node, 0)
}

fn validate_node_at(node: &Node, depth: usize) -> Result<(), String> {
    if depth > MAX_NODE_DEPTH {
        return Err(format!(
            "the graph nests deeper than {MAX_NODE_DEPTH} levels — flatten it (e.g. into tracks)"
        ));
    }
    match node {
        Node::Square { freq, duty } => {
            validate_freq_value(freq, "square.freq")?;
            validate_unit_value(duty, "square.duty")
        }
        Node::Triangle { freq } => validate_freq_value(freq, "triangle.freq"),
        Node::Sawtooth { freq } => validate_freq_value(freq, "sawtooth.freq"),
        Node::Sine { freq } => validate_freq_value(freq, "sine.freq"),
        Node::Noise { .. } => Ok(()),
        Node::Impact { hardness, velocity } => {
            in_unit("impact.hardness", *hardness)?;
            in_unit("impact.velocity", *velocity)
        }
        Node::Dust { density, decay } => {
            positive("dust.density", *density)?;
            non_negative("dust.decay", *decay)
        }
        Node::Fm { freq, ratio, index } => {
            validate_freq_value(freq, "fm.freq")?;
            // Cap the ratio so freq × ratio can't reach f32 overflow — past
            // it the modulator phase goes inf and renders NaN.
            positive("fm.ratio", *ratio)?;
            if *ratio > 4096.0 {
                return Err(format!("fm.ratio must be <= 4096, got {ratio}"));
            }
            validate_value(index, "fm.index")
        }
        Node::Wavetable { freq, position, .. } => {
            validate_freq_value(freq, "wavetable.freq")?;
            // Const positions are bounded here; modulated ones clamp at render
            // time (same policy as square.duty).
            validate_unit_value(position, "wavetable.position")
        }
        // Bound exhaustively (no `..`): the compiler then forces a validation
        // decision for every knob this variant grows.
        Node::Seq {
            bpm,
            tempo_map,
            steps_per_beat,
            wave,
            duty,
            fm,
            pluck,
            piano,
            kit: _,
            bass,
            sf2,
            swing,
            humanize,
            env,
            notes,
        } => {
            positive("seq.bpm", *bpm)?;
            if *steps_per_beat < 1 {
                return Err("seq.steps_per_beat must be >= 1".into());
            }
            validate_tempo_map(tempo_map, *wave)?;
            if notes.is_empty() {
                return Err("seq.notes must be non-empty".into());
            }
            validate_unit_value(duty, "seq.duty")?;
            fm.validate()?;
            pluck.validate()?;
            piano.validate()?;
            bass.validate()?;
            in_unit("seq.swing", *swing)?;
            in_unit("seq.humanize", *humanize)?;
            if *wave == SeqWave::Sampler {
                sf2.validate()?;
            }
            env.validate("seq.env")?;
            for note in notes {
                if note.len < 1 {
                    return Err("seq note.len must be >= 1".into());
                }
                in_unit("seq note.gain", note.gain)?;
                validate_freq_value(&note.pitch, "seq note.pitch")?;
            }
            Ok(())
        }
        Node::Env { adsr } => {
            adsr.validate("env")?;
            // An all-zero envelope is always silent — never intended. It's also
            // the tell-tale of the flatten footgun: the env's a/d/s/r are inlined
            // (`{"type":"env","a":..,"d":..}`), so wrapping them in an `"adsr"`
            // object silently drops them all to 0. Reject it with that hint.
            if adsr.a == 0.0 && adsr.d == 0.0 && adsr.s == 0.0 && adsr.r == 0.0 {
                return Err("env is silent — a/d/s/r are all 0. The envelope fields \
                    are inlined on the node (e.g. {\"type\":\"env\",\"a\":0.01,\"d\":0.1,\
                    \"s\":0.7,\"r\":0.2}); don't nest them under \"adsr\""
                    .into());
            }
            Ok(())
        }
        // Nested mixers are rejected earlier; this guards direct calls.
        Node::Tracks { .. } => Err("tracks must be the document's root node".into()),
        Node::Mix { inputs } | Node::Mul { inputs } => {
            if inputs.is_empty() {
                return Err("mix/mul requires at least one input".into());
            }
            inputs
                .iter()
                .try_for_each(|n| validate_node_at(n, depth + 1))
        }
        Node::Chain { stages } => {
            if stages.is_empty() {
                return Err("chain requires at least one stage".into());
            }
            // A leading processor has no input and renders digital silence —
            // the worst outcome for a sound authored blind. Sources first.
            if stages[0].is_processor() {
                return Err(
                    "chain's first stage must be a source (osc/noise/seq/mix/…), not a \
                     processor (filter/eq/dynamics/fx) — it would render silence"
                        .into(),
                );
            }
            stages
                .iter()
                .try_for_each(|n| validate_node_at(n, depth + 1))
        }
        Node::Lowpass { cutoff, q }
        | Node::Highpass { cutoff, q }
        | Node::Bandpass { cutoff, q }
        | Node::Notch { cutoff, q } => {
            validate_freq_value(cutoff, "filter.cutoff")?;
            positive("filter.q", *q)
        }
        Node::Peak { cutoff, q, gain_db } => {
            validate_freq_value(cutoff, "peak.cutoff")?;
            positive("peak.q", *q)?;
            validate_gain_db("peak.gain_db", *gain_db)
        }
        Node::Lowshelf { cutoff, gain_db } | Node::Highshelf { cutoff, gain_db } => {
            validate_freq_value(cutoff, "shelf.cutoff")?;
            validate_gain_db("shelf.gain_db", *gain_db)
        }
        Node::Super {
            freq,
            voices,
            detune_cents,
            ..
        } => {
            validate_freq_value(freq, "super.freq")?;
            if !(1..=16).contains(voices) {
                return Err(format!("super.voices must be in [1, 16], got {voices}"));
            }
            // 10 octaves of unison spread; past it 2^(cents/1200) approaches
            // f32 overflow and the voices render NaN.
            if !(0.0..=12_000.0).contains(detune_cents) {
                return Err(format!(
                    "super.detune_cents must be in [0, 12000], got {detune_cents}"
                ));
            }
            Ok(())
        }
        Node::Gain { amount } => validate_value(amount, "gain.amount"),
        Node::Bitcrush { bits } => {
            if !(1..=16).contains(bits) {
                return Err(format!("bitcrush.bits must be in [1, 16], got {bits}"));
            }
            Ok(())
        }
        Node::Downsample { factor } => {
            if *factor < 1 {
                return Err("downsample.factor must be >= 1".into());
            }
            Ok(())
        }
        Node::Delay { secs, feedback } => {
            // The upper bound caps the delay-line allocation: an unbounded
            // `secs` would let a validated document request a buffer of
            // arbitrary size and abort the process.
            positive("delay.secs", *secs)?;
            if *secs > 30.0 {
                return Err(format!("delay.secs must be in (0, 30] seconds, got {secs}"));
            }
            in_unit("delay.feedback", *feedback)
        }
        Node::Reverb { room, mix } => {
            in_unit("reverb.room", *room)?;
            in_unit("reverb.mix", *mix)
        }
        Node::Modal { modes, mix } => {
            if modes.is_empty() {
                return Err("modal.modes must be non-empty".into());
            }
            if modes.len() > 64 {
                return Err(format!(
                    "modal.modes must have at most 64 modes, got {}",
                    modes.len()
                ));
            }
            for (i, m) in modes.iter().enumerate() {
                positive(&format!("modal.modes[{i}].freq"), m.freq)?;
                positive(&format!("modal.modes[{i}].decay"), m.decay)?;
                in_unit(&format!("modal.modes[{i}].gain"), m.gain)?;
            }
            in_unit("modal.mix", *mix)
        }
        Node::Drive { amount, .. } => validate_value(amount, "drive.amount"),
        Node::RingMod { freq } => validate_freq_value(freq, "ringmod.freq"),
        Node::Tremolo { rate, depth } => {
            finite("tremolo.rate", *rate)?;
            // 40 Hz is already fast enough to read as a tone, not a tremolo.
            if !(0.0..=40.0).contains(rate) {
                return Err(format!("tremolo.rate must be in [0, 40] Hz, got {rate}"));
            }
            in_unit("tremolo.depth", *depth)
        }
        Node::Chorus { rate, depth, mix } => {
            positive("chorus.rate", *rate)?;
            in_unit("chorus.depth", *depth)?;
            in_unit("chorus.mix", *mix)
        }
        Node::Flanger {
            rate,
            depth,
            feedback,
            mix,
        }
        | Node::Phaser {
            rate,
            depth,
            feedback,
            mix,
        } => {
            positive("flanger/phaser.rate", *rate)?;
            in_unit("flanger/phaser.depth", *depth)?;
            in_unit("flanger/phaser.feedback", *feedback)?;
            in_unit("flanger/phaser.mix", *mix)
        }
        Node::Duck {
            trigger,
            amount,
            attack,
            release,
        } => {
            in_unit("duck.amount", *amount)?;
            non_negative("duck.attack", *attack)?;
            non_negative("duck.release", *release)?;
            validate_node_at(trigger, depth + 1)
        }
        Node::Compress {
            threshold,
            ratio,
            attack,
            release,
            makeup,
        } => {
            finite("compress.threshold", *threshold)?;
            // JSON 1e308 deserializes to f32 inf — finite first, then the bound.
            finite("compress.ratio", *ratio)?;
            if *ratio < 1.0 {
                return Err(format!("compress.ratio must be >= 1, got {ratio}"));
            }
            non_negative("compress.attack", *attack)?;
            non_negative("compress.release", *release)?;
            finite("compress.makeup", *makeup)
        }
        Node::Convolve {
            decay,
            size,
            predelay,
            damp,
            mix,
        } => validate_convolve(*decay, *size, *predelay, *damp, *mix),
        Node::Granular {
            grain_ms,
            density,
            pitch,
            spread,
            mix,
        } => validate_granular(*grain_ms, *density, *pitch, *spread, *mix),
    }
}

/// `convolve` bounds. Kept out of `validate_node_at`'s body (like the seq
/// knob impls) so the recursion's stack frame stays lean — the depth-cap test
/// recurses 256 levels on a 2 MiB test-thread stack.
fn validate_convolve(
    decay: f32,
    size: f32,
    predelay: f32,
    damp: f32,
    mix: f32,
) -> Result<(), String> {
    // The 30 s caps mirror delay.secs: they bound the IR allocation so
    // a validated document can't request a buffer of arbitrary size.
    positive("convolve.decay", decay)?;
    if decay > 30.0 {
        return Err(format!(
            "convolve.decay must be in (0, 30] seconds, got {decay}"
        ));
    }
    finite("convolve.size", size)?;
    // 0 = follow `decay` (the serde default); a real cap must be positive
    // and bounded like `decay`.
    if !(0.0..=30.0).contains(&size) {
        return Err(format!(
            "convolve.size must be 0 (= decay) or in (0, 30] seconds, got {size}"
        ));
    }
    non_negative("convolve.predelay", predelay)?;
    if predelay > 30.0 {
        return Err(format!(
            "convolve.predelay must be in [0, 30] seconds, got {predelay}"
        ));
    }
    in_unit("convolve.damp", damp)?;
    in_unit("convolve.mix", mix)
}

/// `granular` bounds (out of `validate_node_at` for the same frame-size
/// reason as [`validate_convolve`]).
fn validate_granular(
    grain_ms: f32,
    density: f32,
    pitch: f32,
    spread: f32,
    mix: f32,
) -> Result<(), String> {
    finite("granular.grain_ms", grain_ms)?;
    if !(5.0..=500.0).contains(&grain_ms) {
        return Err(format!(
            "granular.grain_ms must be in [5, 500] ms, got {grain_ms}"
        ));
    }
    finite("granular.density", density)?;
    if !(0.1..=200.0).contains(&density) {
        return Err(format!(
            "granular.density must be in [0.1, 200] grains/sec, got {density}"
        ));
    }
    finite("granular.pitch", pitch)?;
    if !(0.25..=4.0).contains(&pitch) {
        return Err(format!("granular.pitch must be in [0.25, 4], got {pitch}"));
    }
    in_unit("granular.spread", spread)?;
    in_unit("granular.mix", mix)
}