waf_core/

lib.rs

// SPDX-FileCopyrightText: 2026 0x00spor3
// SPDX-License-Identifier: Apache-2.0

use std::net::IpAddr;
use std::time::SystemTime;

use serde::{Deserialize, Serialize};

pub use bytes::Bytes;

pub mod network;
pub use network::{ClientIpResolver, IpSource, ResolvedClientIp};

pub mod state;
pub use state::{
    Acquired, BucketParams, Clock, InMemoryStateStore, ManualClock, RateLimitState, StateStore,
    SystemClock,
};

#[cfg(feature = "testkit")]
pub mod testkit;

// ── Decision / Phase / Module contract ───────────────────────────────────────

#[derive(Debug, Clone, PartialEq, Eq)]
pub enum Decision {
    Allow,
    Block { rule_id: String, reason: String },
    Monitor { rule_id: String },
    /// A single contribution with explicit points — used for high-confidence
    /// rules or direct scoring where the module already knows the weight.
    Score { rule_id: String, points: u32 },
    /// Multiple contributions, one per matched rule, each carrying a severity.
    /// The pipeline resolves `severity -> points` via `[waf.severity_scores]`,
    /// so the cumulative anomaly score (CRS-style) sums every matched rule —
    /// three Notice matches weigh more than one.
    Scores(Vec<ScoreItem>),
    /// Direct rejection with an explicit HTTP status — distinct from `Block`
    /// (which is the 403 anomaly/high-confidence path). Used by rate limiting to
    /// return 429 with an optional `Retry-After` (seconds). In detection-only the
    /// pipeline logs it but does not reject.
    Reject {
        rule_id: String,
        reason: String,
        status: u16,
        retry_after: Option<u64>,
    },
}

/// One severity-tagged contribution emitted inside `Decision::Scores`.
/// The module reports *what* it found (`rule_id` + `severity`); the pipeline
/// owns the `severity -> points` policy.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ScoreItem {
    pub rule_id: String,
    pub severity: Severity,
}

/// Rule severity classes (CRS-inspired). The numeric weight of each class is
/// configurable via `[waf.severity_scores]`, never hardcoded.
///
/// `Serialize`/`Deserialize` (lowercase) so the severity travels verbatim in the enriched
/// decision-log (`ScoreContribution`) and can be reconstructed by a downstream consumer
/// (e.g. the enterprise control-plane drill-down) from the same type — the field name/format
/// is the single-sourced contract.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum Severity {
    Critical,
    Error,
    Warning,
    Notice,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum Phase {
    Connection,
    RequestLine,
    Headers,
    Body,
    Response,
}

pub trait WafModule: Send + Sync {
    fn id(&self) -> &str;
    fn phase(&self) -> Phase;
    /// Called once at startup; compile/init rules here, never in `inspect`.
    fn init(&mut self, cfg: &Config);
    /// Read-only access to context; pipeline owns mutation of `score`.
    fn inspect(&self, ctx: &RequestContext) -> Decision;
    /// `true` for a STRUCTURAL inspection module (e.g. GraphQL) whose decision does
    /// NOT come from a content-rule match. The content fast-path (Pillar 3) may prove
    /// "no content rule can match" and skip CONTENT inspection — but it cannot prove
    /// a structural module is inert, so structural modules run even on the skip path.
    /// Default `false` (a content module, gated by the fast-path).
    fn structural(&self) -> bool {
        false
    }
}

// ── Config ────────────────────────────────────────────────────────────────────

// `#[non_exhaustive]`: adding a future top-level section (as `tls` was added) must not
// break external constructors. Cross-crate code can no longer use a `Config { .. }` literal
// — it builds from `Config::default()` (or TOML) and mutates — so any new field is absorbed
// by the default. This protects the whole tree transitively: every sub-config is reached
// through a default/deserialized `Config`. The few sub-configs ALSO taken by-value in a
// public fn (`TlsConfig`, `NetworkConfig`, `LimitsConfig`) are marked `#[non_exhaustive]`
// individually; the rest stay literal-constructible.
#[derive(Debug, Clone, Deserialize)]
#[non_exhaustive]
pub struct Config {
    pub proxy: ProxyConfig,
    pub waf: WafConfig,
    #[serde(default)]
    pub limits: LimitsConfig,
    #[serde(default)]
    pub modules: ModulesConfig,
    #[serde(default)]
    pub rate_limit: RateLimitConfig,
    /// Shared network settings (trusted-proxy client-IP resolution). Reused by
    /// rate limiting, structured logging and future Geo/IP-reputation.
    #[serde(default)]
    pub network: NetworkConfig,
    /// Per-scenario behaviour when the WAF itself is in trouble.
    #[serde(default)]
    pub resilience: ResilienceConfig,
    /// Inbound TLS termination (Phase 12). Default off → the listener stays cleartext,
    /// exactly as before. Basic, cert-from-file termination is core (`BOUNDARY.md` §3.2);
    /// cert management at scale (ACME/rotation/mTLS-PKI) is enterprise.
    #[serde(default)]
    pub tls: TlsConfig,
    /// Prometheus metrics exposition (B1). Default off → no separate listener. Served on a
    /// dedicated loopback port (never the data port — see ARCHITECTURE §9).
    #[serde(default)]
    pub metrics: MetricsConfig,
}

impl Default for Config {
    /// A valid, non-disruptive base for programmatic/test construction: detection-only mode
    /// (detects but never blocks), the standard detection modules ON at their defaults
    /// (GraphQL/gRPC off — opt-in), rate limiting off, cleartext, metrics off. Production
    /// always supplies `[proxy]`/`[waf]` from TOML; this default exists so external code never
    /// needs a `Config { .. }` literal (forbidden by `#[non_exhaustive]`).
    fn default() -> Self {
        Self {
            proxy: ProxyConfig::default(),
            waf: WafConfig::default(),
            limits: LimitsConfig::default(),
            modules: ModulesConfig::default(),
            rate_limit: RateLimitConfig::default(),
            network: NetworkConfig::default(),
            resilience: ResilienceConfig::default(),
            tls: TlsConfig::default(),
            metrics: MetricsConfig::default(),
        }
    }
}

// ── Metrics (B1: Prometheus exposition) ────────────────────────────────────────

/// Prometheus `/metrics` exposition. **OPEN baseline** (`BOUNDARY.md` §1.6). Served on a
/// SEPARATE loopback listener — never the data port, which would let the WAF inspect/expose
/// its own internal posture (blocked/rate-limited volumes are an info leak if reachable).
#[derive(Debug, Clone, Deserialize)]
pub struct MetricsConfig {
    /// Off by default → no metrics listener is bound.
    #[serde(default)]
    pub enabled: bool,
    /// Where to serve `/metrics`. Default loopback (`127.0.0.1:9090`), never `0.0.0.0`.
    #[serde(default = "default_metrics_listen")]
    pub listen: std::net::SocketAddr,
}

fn default_metrics_listen() -> std::net::SocketAddr {
    "127.0.0.1:9090".parse().expect("valid loopback addr")
}

impl Default for MetricsConfig {
    fn default() -> Self {
        Self { enabled: false, listen: default_metrics_listen() }
    }
}

// ── TLS termination (Phase 12) ─────────────────────────────────────────────────

/// Inbound TLS termination configuration. **Basic termination, cert from file** is the
/// OPEN core surface (`BOUNDARY.md` §3.2): single-node self-sufficiency. ACME/rotation/
/// multi-node certs / mTLS-with-managed-PKI are ENTERPRISE and plug in behind the
/// `TlsCertSource` seam (see `waf-proxy::tls`).
// `#[non_exhaustive]`: `TlsConfig` is taken by-value by public fns (`acceptor_from_config`/
// `acceptor_from_source` in waf-proxy::tls), so it escapes the transitive protection of a
// non-exhaustive `Config` — external callers must build it from `TlsConfig::default()`.
#[derive(Debug, Clone, Deserialize)]
#[non_exhaustive]
pub struct TlsConfig {
    /// Default OFF: the listener serves cleartext (h1 + h2c). When on, the listener
    /// serves ONLY TLS — there is **no cleartext fallback** on the same port (a required
    /// TLS that fails to build is a fatal boot error, never a silent downgrade).
    #[serde(default)]
    pub enabled: bool,
    /// PEM file with the server certificate chain (leaf first).
    #[serde(default)]
    pub cert_path: String,
    /// PEM file with the private key (PKCS#8 / PKCS#1 / SEC1).
    #[serde(default)]
    pub key_path: String,
    /// ALPN protocols advertised, in preference order. Default `["h2","http/1.1"]` so an
    /// h2-capable client (e.g. gRPC-over-TLS, Phase 13) negotiates HTTP/2 while an
    /// h1-only client falls back cleanly.
    #[serde(default = "default_tls_alpn")]
    pub alpn: Vec<String>,
}

fn default_tls_alpn() -> Vec<String> {
    vec!["h2".to_string(), "http/1.1".to_string()]
}

impl Default for TlsConfig {
    fn default() -> Self {
        Self {
            enabled: false,
            cert_path: String::new(),
            key_path: String::new(),
            alpn: default_tls_alpn(),
        }
    }
}

// ── Resilience (fail-open / fail-closed, per scenario) ─────────────────────────

/// What to do when a given failure scenario occurs. Uniform across scenarios for
/// schema consistency, but the *meaning* of `FailOpen` is scenario-specific — see
/// `ResilienceConfig` and ARCHITECTURE §9.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum FailMode {
    /// Favour availability.
    FailOpen,
    /// Favour security / surface the error.
    FailClosed,
}

/// Explicit, per-scenario failure policy. No single global boolean: each kind of
/// trouble has its own correct posture (see the defaults' rationale in §9).
#[derive(Debug, Clone, Copy, Deserialize)]
pub struct ResilienceConfig {
    /// Origin unreachable / timeout. `fail_closed` → 502, `fail_open` → 503
    /// (retryable). NB: `fail_open` here does NOT mean "let traffic through"
    /// (there is no origin to reach) — only which 5xx is returned.
    #[serde(default = "default_on_upstream_error")]
    pub on_upstream_error: FailMode,
    /// Module panic / regex blow-up. `fail_open` → skip the module and continue
    /// (a WAF bug must not take down the site); `fail_closed` → synthetic block.
    #[serde(default = "default_on_internal_error")]
    pub on_internal_error: FailMode,
    /// Invalid config detected at runtime (hot reload, Pillar 3). `fail_open` →
    /// keep last-good config; `fail_closed` → refuse serving until valid.
    #[serde(default = "default_on_config_error")]
    pub on_config_error: FailMode,
    /// Normalization failed (limits exceeded / malformed input). `fail_closed` →
    /// 400; `fail_open` → forward UNINSPECTED (logged loudly).
    #[serde(default = "default_on_parser_limit")]
    pub on_parser_limit: FailMode,
    /// Hard cap on the upstream round-trip so a stalled origin cannot pin the
    /// worker. Must be >= 1 (validated).
    #[serde(default = "default_upstream_timeout_ms")]
    pub upstream_timeout_ms: u64,
}

fn default_on_upstream_error() -> FailMode { FailMode::FailClosed }
fn default_on_internal_error() -> FailMode { FailMode::FailOpen }
fn default_on_config_error() -> FailMode { FailMode::FailOpen }
fn default_on_parser_limit() -> FailMode { FailMode::FailClosed }
fn default_upstream_timeout_ms() -> u64 { 30_000 }

impl Default for ResilienceConfig {
    fn default() -> Self {
        Self {
            on_upstream_error: default_on_upstream_error(),
            on_internal_error: default_on_internal_error(),
            on_config_error: default_on_config_error(),
            on_parser_limit: default_on_parser_limit(),
            upstream_timeout_ms: default_upstream_timeout_ms(),
        }
    }
}

impl ResilienceConfig {
    /// Upstream round-trip cap as a `Duration`.
    pub fn upstream_timeout(&self) -> std::time::Duration {
        std::time::Duration::from_millis(self.upstream_timeout_ms)
    }
}

// ── Network (shared client-IP resolution) ─────────────────────────────────────

/// Trusted-proxy configuration for resolving the real client IP behind an
/// LB/CDN/TLS-terminator. See `network::ClientIpResolver` for the logic.
// `#[non_exhaustive]`: taken by-value by the public `ClientIpResolver::from_config`.
#[derive(Debug, Clone, Deserialize)]
#[non_exhaustive]
pub struct NetworkConfig {
    /// CIDR blocks of YOUR proxies (IPv4 or IPv6). Empty (default) = fail-safe:
    /// the forwarded header is ALWAYS ignored and the peer address is used.
    #[serde(default)]
    pub trusted_proxies: Vec<String>,
    /// Header carrying the forwarded chain (default `x-forwarded-for`).
    #[serde(default = "default_client_ip_header")]
    pub client_ip_header: String,
    /// How many hops, counted from the RIGHT of the chain, to trust. Never the
    /// leftmost IP (that one is client-controlled and spoofable).
    #[serde(default = "default_trusted_hops")]
    pub trusted_hops: usize,
}

fn default_client_ip_header() -> String { "x-forwarded-for".to_string() }
fn default_trusted_hops() -> usize { 1 }

impl Default for NetworkConfig {
    fn default() -> Self {
        Self {
            trusted_proxies: Vec::new(),
            client_ip_header: default_client_ip_header(),
            trusted_hops: default_trusted_hops(),
        }
    }
}

// ── Semantic validation (reusable by startup load AND hot reload) ──────────────

/// Highest paranoia level the contract allows. The validator guards the legal
/// space of the CONTRACT (see ARCHITECTURE §7), not the current rule set — PL4 is
/// forward-compatible even if no rule uses it yet.
pub const MAX_PARANOIA_LEVEL: u8 = 4;
/// Upper bound on `trusted_hops`: real proxy chains are short; a huge value is a
/// configuration mistake (and would make every request fall back to the peer).
pub const MAX_TRUSTED_HOPS: usize = 10;

/// A semantic configuration error. Distinct from TOML *syntax* errors (handled at
/// parse time) and from I/O errors (file missing/unreadable).
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ConfigError {
    InvalidBackend(String),
    BlockThresholdZero,
    ParanoiaOutOfRange(u8),
    SeverityWeightZero(&'static str),
    LimitZero(&'static str),
    RateLimitValueZero(&'static str),
    TrustedHopsOutOfRange(usize),
    InvalidCidr(String),
    EmptyClientIpHeader,
    ResilienceTimeoutZero,
    GraphqlCapZero(&'static str),
    GrpcCapZero(&'static str),
    TlsPathEmpty(&'static str),
    TlsAlpnInvalid,
    CrsNoFiles,
    WasmNoPlugins,
    WasmPluginPathEmpty,
}

impl std::fmt::Display for ConfigError {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            Self::InvalidBackend(b) => write!(
                f,
                "proxy.backend must be an absolute http(s) URL with a host, got {b:?}"
            ),
            Self::BlockThresholdZero =>
                write!(f, "waf.block_threshold must be >= 1 (0 would block everything)"),
            Self::ParanoiaOutOfRange(p) =>
                write!(f, "waf.paranoia_level must be in 1..={MAX_PARANOIA_LEVEL}, got {p}"),
            Self::SeverityWeightZero(name) =>
                write!(f, "waf.severity_scores.{name} must be >= 1 (a 0 weight makes the rule contribute nothing)"),
            Self::LimitZero(name) =>
                write!(f, "limits.{name} must be >= 1"),
            Self::RateLimitValueZero(name) =>
                write!(f, "rate_limit.{name} must be >= 1 when rate limiting is enabled"),
            Self::TrustedHopsOutOfRange(h) =>
                write!(f, "network.trusted_hops must be in 1..={MAX_TRUSTED_HOPS}, got {h}"),
            Self::InvalidCidr(c) =>
                write!(f, "network.trusted_proxies contains an invalid CIDR: {c:?}"),
            Self::EmptyClientIpHeader =>
                write!(f, "network.client_ip_header must not be empty"),
            Self::ResilienceTimeoutZero =>
                write!(f, "resilience.upstream_timeout_ms must be >= 1"),
            Self::GraphqlCapZero(name) =>
                write!(f, "modules.graphql.{name} must be >= 1 when the graphql module is enabled"),
            Self::GrpcCapZero(name) =>
                write!(f, "modules.grpc.{name} must be >= 1 when the grpc module is enabled"),
            Self::TlsPathEmpty(name) =>
                write!(f, "tls.{name} must be set (a PEM file path) when tls is enabled"),
            Self::TlsAlpnInvalid =>
                write!(f, "tls.alpn must be a non-empty list of non-empty protocol ids (e.g. \"h2\", \"http/1.1\")"),
            Self::CrsNoFiles =>
                write!(f, "modules.crs.files must list at least one file when the crs module is enabled"),
            Self::WasmNoPlugins =>
                write!(f, "modules.wasm.plugins must list at least one plugin when the wasm module is enabled"),
            Self::WasmPluginPathEmpty =>
                write!(f, "modules.wasm.plugins[].path must be a non-empty .wasm file path"),
        }
    }
}

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

impl Config {
    /// Semantic validation, separate from TOML parsing. Called at startup (after
    /// parse, before build) and reused by hot reload. Fails fast with a specific
    /// error rather than starting with values that look valid but aren't.
    pub fn validate(&self) -> Result<(), ConfigError> {
        // proxy.backend: absolute http(s) URL with a non-empty authority.
        let backend = self.proxy.backend.trim();
        let authority = backend
            .strip_prefix("http://")
            .or_else(|| backend.strip_prefix("https://"));
        match authority {
            Some(a) if !a.is_empty() && !a.starts_with('/') => {}
            _ => return Err(ConfigError::InvalidBackend(self.proxy.backend.clone())),
        }

        // waf scoring knobs.
        if self.waf.block_threshold == 0 {
            return Err(ConfigError::BlockThresholdZero);
        }
        if !(1..=MAX_PARANOIA_LEVEL).contains(&self.waf.paranoia_level) {
            return Err(ConfigError::ParanoiaOutOfRange(self.waf.paranoia_level));
        }
        let s = &self.waf.severity_scores;
        for (name, v) in [
            ("critical", s.critical),
            ("error", s.error),
            ("warning", s.warning),
            ("notice", s.notice),
        ] {
            if v == 0 {
                return Err(ConfigError::SeverityWeightZero(name));
            }
        }

        // Defensive limits: a 0 breaks parsing/inspection.
        let l = &self.limits;
        for (name, v) in [
            ("max_body_size", l.max_body_size),
            ("max_header_size", l.max_header_size),
            ("max_headers", l.max_headers),
            ("max_params", l.max_params),
            ("max_cookies", l.max_cookies),
            ("max_json_depth", l.max_json_depth),
        ] {
            if v == 0 {
                return Err(ConfigError::LimitZero(name));
            }
        }

        // Rate limiting: only meaningful when enabled.
        if self.rate_limit.enabled {
            let r = &self.rate_limit;
            if r.requests == 0 {
                return Err(ConfigError::RateLimitValueZero("requests"));
            }
            if r.window_seconds == 0 {
                return Err(ConfigError::RateLimitValueZero("window_seconds"));
            }
            if matches!(r.burst, Some(0)) {
                return Err(ConfigError::RateLimitValueZero("burst"));
            }
            if r.max_tracked_keys == 0 {
                return Err(ConfigError::RateLimitValueZero("max_tracked_keys"));
            }
            if r.action == RateLimitAction::Score && r.score == 0 {
                return Err(ConfigError::RateLimitValueZero("score"));
            }
        }

        // Network / client-IP resolution.
        if !(1..=MAX_TRUSTED_HOPS).contains(&self.network.trusted_hops) {
            return Err(ConfigError::TrustedHopsOutOfRange(self.network.trusted_hops));
        }
        for cidr in &self.network.trusted_proxies {
            if !network::is_valid_cidr(cidr) {
                return Err(ConfigError::InvalidCidr(cidr.clone()));
            }
        }
        if self.network.client_ip_header.trim().is_empty() {
            return Err(ConfigError::EmptyClientIpHeader);
        }

        // Resilience.
        if self.resilience.upstream_timeout_ms == 0 {
            return Err(ConfigError::ResilienceTimeoutZero);
        }

        // TLS: paths/ALPN are only meaningful when enabled. File existence + cert/key
        // parsing happen at bind time (I/O, fs-free validate stays reload-safe); a
        // required-but-unreadable cert is a fatal boot error (see waf-proxy::tls).
        if self.tls.enabled {
            if self.tls.cert_path.trim().is_empty() {
                return Err(ConfigError::TlsPathEmpty("cert_path"));
            }
            if self.tls.key_path.trim().is_empty() {
                return Err(ConfigError::TlsPathEmpty("key_path"));
            }
            if self.tls.alpn.is_empty() || self.tls.alpn.iter().any(|p| p.trim().is_empty()) {
                return Err(ConfigError::TlsAlpnInvalid);
            }
        }

        // GraphQL caps: a 0 cap would reject every query → only meaningful when enabled.
        if self.modules.graphql.enabled {
            let g = &self.modules.graphql;
            for (name, v) in [
                ("max_depth", g.max_depth),
                ("max_aliases", g.max_aliases),
                ("max_fields", g.max_fields),
                ("max_directives", g.max_directives),
                ("max_batch", g.max_batch),
            ] {
                if v == 0 {
                    return Err(ConfigError::GraphqlCapZero(name));
                }
            }
        }

        // gRPC caps: a 0 cap would reject every message → only meaningful when enabled.
        if self.modules.grpc.enabled {
            let g = &self.modules.grpc;
            for (name, zero) in [
                ("max_message_bytes", g.max_message_bytes == 0),
                ("max_fields", g.max_fields == 0),
                ("max_depth", g.max_depth == 0),
            ] {
                if zero {
                    return Err(ConfigError::GrpcCapZero(name));
                }
            }
        }

        // CRS import: a path list is required when enabled (file I/O is deferred to boot,
        // keeping `validate` fs-free and reload-safe — like TLS).
        if self.modules.crs.enabled && self.modules.crs.files.is_empty() {
            return Err(ConfigError::CrsNoFiles);
        }

        // WASM runtime: at least one plugin when enabled, each with a non-empty path
        // (file I/O deferred to boot, keeping `validate` fs-free and reload-safe).
        if self.modules.wasm.enabled {
            if self.modules.wasm.plugins.is_empty() {
                return Err(ConfigError::WasmNoPlugins);
            }
            if self.modules.wasm.plugins.iter().any(|p| p.path.trim().is_empty()) {
                return Err(ConfigError::WasmPluginPathEmpty);
            }
        }

        Ok(())
    }
}

// ── Rate limiting (L7, on_connection) ─────────────────────────────────────────

/// Which request attribute the rate limiter buckets on. `client_ip` is the peer
/// socket address; behind an LB/CDN this collapses to the proxy IP — see §8.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize, Default)]
#[serde(rename_all = "snake_case")]
pub enum RateLimitKey {
    #[default]
    ClientIp,
}

/// What happens when a key exceeds its budget.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize, Default)]
#[serde(rename_all = "snake_case")]
pub enum RateLimitAction {
    /// Reject immediately with HTTP 429 (`Decision::Reject`).
    #[default]
    Block,
    /// Contribute `score` points to the cumulative anomaly score instead.
    Score,
}

#[derive(Debug, Clone, Deserialize)]
pub struct RateLimitConfig {
    /// Off when the `[rate_limit]` section is absent (fail-safe default).
    #[serde(default)]
    pub enabled: bool,
    #[serde(default)]
    pub key: RateLimitKey,
    /// Token refill budget per window (tokens added per `window_seconds`).
    #[serde(default = "default_rl_requests")]
    pub requests: u32,
    #[serde(default = "default_rl_window")]
    pub window_seconds: u64,
    /// Bucket capacity (max burst). Defaults to `requests` when omitted.
    #[serde(default)]
    pub burst: Option<u32>,
    #[serde(default)]
    pub action: RateLimitAction,
    /// Points added when `action = "score"` and the budget is exceeded.
    #[serde(default = "default_rl_score")]
    pub score: u32,
    /// Memory cap: when the tracked-key map reaches this size, idle (fully
    /// refilled) buckets are swept before inserting a new key.
    #[serde(default = "default_rl_max_keys")]
    pub max_tracked_keys: usize,
}

fn default_rl_requests() -> u32 { 100 }
fn default_rl_window() -> u64 { 60 }
fn default_rl_score() -> u32 { 5 }
fn default_rl_max_keys() -> usize { 100_000 }

impl Default for RateLimitConfig {
    fn default() -> Self {
        Self {
            enabled: false,
            key: RateLimitKey::ClientIp,
            requests: default_rl_requests(),
            window_seconds: default_rl_window(),
            burst: None,
            action: RateLimitAction::Block,
            score: default_rl_score(),
            max_tracked_keys: default_rl_max_keys(),
        }
    }
}

#[derive(Debug, Clone, Deserialize, Default)]
pub struct ModulesConfig {
    #[serde(default)]
    pub sqli: ModuleConfig,
    #[serde(default)]
    pub xss: ModuleConfig,
    #[serde(default)]
    pub path_traversal: ModuleConfig,
    #[serde(default)]
    pub rce: ModuleConfig,
    #[serde(default)]
    pub lfi_rfi: ModuleConfig,
    #[serde(default)]
    pub ssrf: ModuleConfig,
    #[serde(default)]
    pub ldap: ModuleConfig,
    #[serde(default)]
    pub nosql: ModuleConfig,
    #[serde(default)]
    pub mail: ModuleConfig,
    #[serde(default)]
    pub ssti: ModuleConfig,
    #[serde(default)]
    pub scanner: ModuleConfig,
    #[serde(default)]
    pub ssi: ModuleConfig,
    #[serde(default)]
    pub xxe: ModuleConfig,
    #[serde(default)]
    pub header_injection: ModuleConfig,
    /// HTTP request-smuggling framing checks (CL/TE). Structural security control,
    /// default on (see ARCHITECTURE §8).
    #[serde(default)]
    pub request_smuggling: ModuleConfig,
    /// GraphQL structural protections (depth / aliases / fields / directives / batch /
    /// introspection). A structural control like request_smuggling — NOT content-regex.
    /// Default OFF: it is endpoint-specific and the caps need per-app tuning (Phase 11).
    #[serde(default)]
    pub graphql: GraphqlConfig,
    /// gRPC structural protections (message size / field count / nesting depth) + a
    /// compressed-payload policy. Structural, like request_smuggling/graphql — the
    /// CONTENT of protobuf fields is inspected by the normal modules via the §6 derived
    /// channel. Default OFF: gRPC needs HTTP/2 and the caps are per-app (gRPC phase).
    #[serde(default)]
    pub grpc: GrpcConfig,
    /// Imported OWASP CRS / ModSecurity rules (B2). The core ships the *parser/engine*;
    /// the curated rule CONTENT is the operator's (or enterprise §2.4). Default OFF.
    #[serde(default)]
    pub crs: CrsConfig,
    /// Proxy-Wasm plugin runtime (B3). The core ships the *runtime*; marketplace/signing is
    /// enterprise (§2.4). Each plugin is a `.wasm` filter run as a `WafModule`. Default OFF.
    #[serde(default)]
    pub wasm: WasmConfig,
}

/// CRS/ModSecurity rule import (B2). Loads `SecRule …` files at boot and runs the
/// supported subset as a `WafModule`. The parser is the OPEN baseline (`BOUNDARY.md`
/// §1.7); rules a file uses that fall outside the v1 subset are skipped and reported at
/// boot, never silently dropped.
#[derive(Debug, Clone, Default, Deserialize)]
pub struct CrsConfig {
    /// Default OFF (opt-in per deployment).
    #[serde(default)]
    pub enabled: bool,
    /// `seclang` files to import, in include order. Read at boot; an unreadable file is
    /// logged and skipped (the module still loads the readable ones).
    #[serde(default)]
    pub files: Vec<String>,
}

/// Proxy-Wasm plugin runtime (B3). Loads one or more `.wasm` filters at boot and runs each
/// as a `WafModule` on every request (`structural`). The runtime is the OPEN baseline
/// (`BOUNDARY.md` §1.7); a plugin whose `.wasm` cannot be compiled/instantiated is logged
/// and skipped (fail-open at load, like CRS) while the per-request posture is fail-closed.
#[derive(Debug, Clone, Deserialize)]
pub struct WasmConfig {
    /// Default OFF (opt-in per deployment).
    #[serde(default)]
    pub enabled: bool,
    /// Pre-instantiated guest instances per plugin (the request concurrency a plugin can
    /// serve before callers queue on checkout).
    #[serde(default = "default_wasm_pool_size")]
    pub pool_size: usize,
    /// Per-request fuel budget — the plugin's CPU/latency ceiling (it runs on every
    /// request). Exhaustion traps and fails closed.
    #[serde(default = "default_wasm_fuel")]
    pub fuel_per_request: u64,
    /// Per-instance linear-memory cap (bytes). Growth beyond it is denied → fail closed.
    #[serde(default = "default_wasm_max_memory")]
    pub max_memory_bytes: usize,
    /// How long a request waits for a free instance before failing closed (pool exhaustion).
    #[serde(default = "default_wasm_checkout_timeout_ms")]
    pub checkout_timeout_ms: u64,
    /// The plugins to load, in order.
    #[serde(default)]
    pub plugins: Vec<WasmPluginConfig>,
}

fn default_wasm_pool_size() -> usize { 4 }
fn default_wasm_fuel() -> u64 { 10_000_000 }
fn default_wasm_max_memory() -> usize { 16 * 1024 * 1024 }
fn default_wasm_checkout_timeout_ms() -> u64 { 100 }

impl Default for WasmConfig {
    fn default() -> Self {
        WasmConfig {
            enabled: false,
            pool_size: default_wasm_pool_size(),
            fuel_per_request: default_wasm_fuel(),
            max_memory_bytes: default_wasm_max_memory(),
            checkout_timeout_ms: default_wasm_checkout_timeout_ms(),
            plugins: Vec::new(),
        }
    }
}

/// One Proxy-Wasm plugin: a `.wasm` path plus an opaque configuration string passed to the
/// guest's `proxy_on_configure`.
#[derive(Debug, Clone, Default, Deserialize)]
pub struct WasmPluginConfig {
    pub path: String,
    #[serde(default)]
    pub config: Option<String>,
}

#[derive(Debug, Clone, Deserialize)]
pub struct ModuleConfig {
    #[serde(default = "default_true")]
    pub enabled: bool,
}

fn default_true() -> bool { true }

impl Default for ModuleConfig {
    fn default() -> Self {
        Self { enabled: true }
    }
}

/// GraphQL module configuration (Phase 11). Structural DoS/abuse caps applied to the
/// GraphQL operation(s) carried by a request (JSON `query` field, `application/graphql`
/// raw body, or GET `?query=`). All counts come from the lexical [`graphql_lex`] pass.
#[derive(Debug, Clone, Deserialize)]
pub struct GraphqlConfig {
    /// Default OFF (opt-in per deployment).
    #[serde(default)]
    pub enabled: bool,
    /// Request paths treated as GraphQL endpoints (exact, case-insensitive). JSON and
    /// GET transports are inspected ONLY on these paths (so a non-GraphQL JSON API with
    /// a `query` field is not affected); `application/graphql` is recognized by its
    /// Content-Type regardless of path.
    #[serde(default = "default_graphql_paths")]
    pub paths: Vec<String>,
    /// Max selection-set nesting depth (paren-aware).
    #[serde(default = "default_graphql_max_depth")]
    pub max_depth: u32,
    /// Max alias count (`alias: field`) — the "alias bomb" cap.
    #[serde(default = "default_graphql_max_aliases")]
    pub max_aliases: u32,
    /// Max selection-name count (a cheap complexity proxy).
    #[serde(default = "default_graphql_max_fields")]
    pub max_fields: u32,
    /// Max `@directive` count.
    #[serde(default = "default_graphql_max_directives")]
    pub max_directives: u32,
    /// Max number of operations in one (batched) request.
    #[serde(default = "default_graphql_max_batch")]
    pub max_batch: u32,
    /// Block schema introspection (`__schema`/`__type`) → 403. Default off (policy).
    #[serde(default)]
    pub block_introspection: bool,
}

fn default_graphql_paths() -> Vec<String> { vec!["/graphql".to_string()] }
fn default_graphql_max_depth() -> u32 { 15 }
fn default_graphql_max_aliases() -> u32 { 30 }
fn default_graphql_max_fields() -> u32 { 1000 }
fn default_graphql_max_directives() -> u32 { 50 }
fn default_graphql_max_batch() -> u32 { 10 }

impl Default for GraphqlConfig {
    fn default() -> Self {
        Self {
            enabled: false,
            paths: default_graphql_paths(),
            max_depth: default_graphql_max_depth(),
            max_aliases: default_graphql_max_aliases(),
            max_fields: default_graphql_max_fields(),
            max_directives: default_graphql_max_directives(),
            max_batch: default_graphql_max_batch(),
            block_introspection: false,
        }
    }
}

/// What to do with a gRPC message whose payload is COMPRESSED (per-message flag set or a
/// non-identity `grpc-encoding`): its bytes are opaque to the WAF, so it cannot be
/// inspected. `Reject` (default) is fail-closed — a `gzip` payload you let through is a
/// trivial bypass (compress the attack, skip the WAF). `Passthrough` forwards it
/// UNINSPECTED — a deliberate, on-record choice for a backend that requires compression.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum CompressedPolicy {
    Reject,
    Passthrough,
}

/// gRPC module configuration (gRPC phase). Structural DoS/abuse caps on the framed
/// protobuf body (message size / field count / nesting depth) + a compressed-payload
/// policy. Structural only — protobuf field CONTENT flows to the normal content modules
/// via the §6 derived channel, not through this module. Counts come from the
/// [`grpc_extract`](../waf_normalizer/grpc/fn.grpc_extract.html) pass.
#[derive(Debug, Clone, Deserialize)]
pub struct GrpcConfig {
    /// Default OFF (opt-in per deployment; needs HTTP/2).
    #[serde(default)]
    pub enabled: bool,
    /// Max total inspectable payload bytes across the framed messages in one request.
    #[serde(default = "default_grpc_max_message_bytes")]
    pub max_message_bytes: u64,
    /// Max protobuf field count (field-bomb cap).
    #[serde(default = "default_grpc_max_fields")]
    pub max_fields: u32,
    /// Max sub-message nesting depth (depth-bomb cap).
    #[serde(default = "default_grpc_max_depth")]
    pub max_depth: u32,
    /// What to do with a compressed (un-inspectable) payload. Default `reject` (fail-closed).
    #[serde(default = "default_grpc_on_compressed")]
    pub on_compressed: CompressedPolicy,
}

fn default_grpc_max_message_bytes() -> u64 { 4 * 1024 * 1024 }
fn default_grpc_max_fields() -> u32 { 4096 }
fn default_grpc_max_depth() -> u32 { 16 }
fn default_grpc_on_compressed() -> CompressedPolicy { CompressedPolicy::Reject }

impl Default for GrpcConfig {
    fn default() -> Self {
        Self {
            enabled: false,
            max_message_bytes: default_grpc_max_message_bytes(),
            max_fields: default_grpc_max_fields(),
            max_depth: default_grpc_max_depth(),
            on_compressed: default_grpc_on_compressed(),
        }
    }
}

/// Points assigned to each severity class. Replaces per-module hardcoded scores;
/// changing these values directly changes how much each match contributes.
#[derive(Debug, Clone, Copy, Deserialize)]
pub struct SeverityScores {
    #[serde(default = "default_critical_score")]
    pub critical: u32,
    #[serde(default = "default_error_score")]
    pub error: u32,
    #[serde(default = "default_warning_score")]
    pub warning: u32,
    #[serde(default = "default_notice_score")]
    pub notice: u32,
}

// Critical raised 5 → 6 (Fase 7 / Pilastro 2, config C2): a single high-confidence
// rule blocks with own-merit margin >= 1 over the default block_threshold (5), while
// Warning/Notice stay sub-threshold (accumulation-only). Validated on the corpus by
// waf-corpus `tests/validation.rs` (RECOMMENDED_SEVERITY); rationale in ARCHITECTURE §7.
fn default_critical_score() -> u32 { 6 }
fn default_error_score() -> u32 { 4 }
fn default_warning_score() -> u32 { 3 }
fn default_notice_score() -> u32 { 2 }

impl Default for SeverityScores {
    fn default() -> Self {
        Self {
            critical: default_critical_score(),
            error: default_error_score(),
            warning: default_warning_score(),
            notice: default_notice_score(),
        }
    }
}

impl SeverityScores {
    /// Resolve a severity class to its configured point weight.
    pub fn points_for(&self, severity: Severity) -> u32 {
        match severity {
            Severity::Critical => self.critical,
            Severity::Error => self.error,
            Severity::Warning => self.warning,
            Severity::Notice => self.notice,
        }
    }
}

#[derive(Debug, Clone, Deserialize)]
pub struct ProxyConfig {
    pub listen: std::net::SocketAddr,
    pub backend: String,
}

#[derive(Debug, Clone, Deserialize)]
pub struct WafConfig {
    pub mode: WafMode,
    // NOTE: the old `fail_open: bool` was removed in favour of the per-scenario
    // `[resilience]` section. A leftover `waf.fail_open` in TOML is rejected with
    // a migration hint at load time (see waf-proxy::config), never silently.
    #[serde(default = "default_block_threshold")]
    pub block_threshold: u32,
    /// Paranoia level (1..=4). Higher levels activate more (and noisier) rules.
    #[serde(default = "default_paranoia_level")]
    pub paranoia_level: u8,
    /// Point weight per severity class. Used by the pipeline to score matches.
    #[serde(default)]
    pub severity_scores: SeverityScores,
}

fn default_block_threshold() -> u32 {
    5
}

fn default_paranoia_level() -> u8 {
    1
}

impl Default for ProxyConfig {
    /// Loopback placeholder for programmatic/test construction; production supplies
    /// `[proxy]` from TOML.
    fn default() -> Self {
        Self {
            listen: "127.0.0.1:8080".parse().expect("valid loopback addr"),
            backend: "http://localhost:8080".to_string(),
        }
    }
}

impl Default for WafConfig {
    /// Detection-only, default thresholds — a non-disruptive base (never blocks until
    /// explicitly switched to `Blocking`).
    fn default() -> Self {
        Self {
            mode: WafMode::DetectionOnly,
            block_threshold: default_block_threshold(),
            paranoia_level: default_paranoia_level(),
            severity_scores: SeverityScores::default(),
        }
    }
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Deserialize)]
#[serde(rename_all = "kebab-case")]
pub enum WafMode {
    DetectionOnly,
    Blocking,
}

// `#[non_exhaustive]`: taken by-value by the public `Normalizer::new(&LimitsConfig)`.
#[derive(Debug, Clone, Deserialize)]
#[non_exhaustive]
pub struct LimitsConfig {
    #[serde(default = "default_max_body_size")]
    pub max_body_size: usize,
    #[serde(default = "default_max_header_size")]
    pub max_header_size: usize,
    #[serde(default = "default_max_headers")]
    pub max_headers: usize,
    #[serde(default = "default_max_params")]
    pub max_params: usize,
    #[serde(default = "default_max_cookies")]
    pub max_cookies: usize,
    #[serde(default = "default_max_json_depth")]
    pub max_json_depth: usize,
}

fn default_max_body_size() -> usize { 1_048_576 } // 1 MiB
fn default_max_header_size() -> usize { 8_192 }   // 8 KiB
fn default_max_headers() -> usize { 100 }
fn default_max_params() -> usize { 100 }
fn default_max_cookies() -> usize { 50 }
fn default_max_json_depth() -> usize { 20 }

impl Default for LimitsConfig {
    fn default() -> Self {
        Self {
            max_body_size: default_max_body_size(),
            max_header_size: default_max_header_size(),
            max_headers: default_max_headers(),
            max_params: default_max_params(),
            max_cookies: default_max_cookies(),
            max_json_depth: default_max_json_depth(),
        }
    }
}

// ── Parsed / Normalized types ─────────────────────────────────────────────────

/// Parsed body, populated by the normalizer based on Content-Type.
#[derive(Debug, Clone, Default)]
pub enum ParsedBody {
    #[default]
    None,
    FormUrlEncoded(Vec<(String, String)>),
    Multipart(Vec<MultipartField>),
    /// JSON flattened to (dot-path, string-value) pairs for pattern inspection.
    JsonFlattened(Vec<(String, String)>),
    Raw(Bytes),
}

#[derive(Debug, Clone)]
pub struct MultipartField {
    pub name: String,
    pub filename: Option<String>,
    pub content_type: Option<String>,
    pub data: Bytes,
}

/// Canonicalized version of all inspectable fields.
/// Populated by the normalizer before any detection module runs.
/// Raw originals remain in RequestContext fields.
#[derive(Debug, Clone, Default)]
pub struct Normalized {
    /// URL-decoded, traversal-resolved, lowercased path.
    pub path: String,
    /// URL-decoded query string (raw, single decode).
    pub query: Option<String>,
    /// Parsed, decoded query parameters — repeated names are all kept.
    pub query_params: Vec<(String, String)>,
    /// Parsed cookies (from Cookie headers).
    pub cookies: Vec<(String, String)>,
    /// Header names lowercased, values trimmed.
    pub headers: Vec<(String, String)>,
    pub body: ParsedBody,
    /// True when any field had a percent-encoded sequence that decoded to another percent-encoded sequence.
    pub double_encoding_detected: bool,
    /// Phase 10c: additional inspection-only strings DERIVED from field values that
    /// were base64-encoded (gotestwaf Base64Flat). Each entry is the base64-decoded +
    /// canonicalized form of some query/cookie/body/header value that passed the
    /// base64 candidacy gate. "decode-then-match-then-discard": modules and the
    /// prefilter inspect these alongside the real fields, but they are NEVER persisted
    /// as a real field value — a derived string that matches no rule has no effect.
    pub derived_decoded: Vec<String>,
}

// ── Scoring audit ───────────────────────────────────────────────────────────

/// One recorded contribution to the anomaly score, kept for audit/logging.
/// Populated exclusively by the pipeline as it accumulates `ctx.score`.
///
/// `Serialize`/`Deserialize` so the per-rule breakdown can be emitted in the decision-log
/// (the core logs the array on a denied request) and reconstructed downstream — this is the
/// data the enterprise control-plane drill-down (§7) rebuilds the verdict from.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct ScoreContribution {
    /// Id of the module that produced the contribution.
    pub module: String,
    /// Id of the rule that matched.
    pub rule_id: String,
    /// Severity class, when the contribution came from `Decision::Scores`.
    /// `None` for direct `Decision::Score` contributions.
    pub severity: Option<Severity>,
    /// Points actually added to `ctx.score`.
    pub points: u32,
}

#[cfg(test)]
mod scoring_serde_tests {
    use super::*;

    /// Locks the decision-log `score_contributions` JSON shape — the §7 control-plane
    /// drill-down parses exactly this. Field names are snake_case; severity is lowercase;
    /// a `Score`-derived contribution has `severity: null`.
    #[test]
    fn score_contribution_json_shape_is_stable() {
        let items = vec![
            ScoreContribution {
                module: "sqli".to_string(),
                rule_id: "sqli-union-select".to_string(),
                severity: Some(Severity::Critical),
                points: 5,
            },
            ScoreContribution {
                module: "rate_limit".to_string(),
                rule_id: "rl-client-ip".to_string(),
                severity: None,
                points: 3,
            },
        ];
        let json = serde_json::to_string(&items).unwrap();
        assert_eq!(
            json,
            r#"[{"module":"sqli","rule_id":"sqli-union-select","severity":"critical","points":5},{"module":"rate_limit","rule_id":"rl-client-ip","severity":null,"points":3}]"#
        );
        // Round-trips back into the same typed model the control plane will reuse.
        let back: Vec<ScoreContribution> = serde_json::from_str(&json).unwrap();
        assert_eq!(back, items);
    }
}

// ── RequestContext ────────────────────────────────────────────────────────────

#[derive(Debug)]
pub struct RequestContext {
    // Identity
    pub client_ip: IpAddr,
    pub request_id: String,
    pub timestamp: SystemTime,
    // Request line (raw)
    pub method: String,
    pub path: String,
    pub raw_path: String,
    pub query: Option<String>,
    pub http_version: String,
    // Headers & cookies (raw, as received)
    pub headers: Vec<(String, String)>,
    pub cookies: Vec<(String, String)>,
    // Body bytes (collected before pipeline; streaming deferred to Fase 4+)
    pub body: Bytes,
    // Canonical forms — populated by the normalizer, read by detection modules
    pub normalized: Normalized,
    // Anomaly score accumulated across modules
    pub score: u32,
    // Per-rule breakdown of how `score` was reached (filled by the pipeline)
    pub score_contributions: Vec<ScoreContribution>,
}

// ── tests ─────────────────────────────────────────────────────────────────────

#[cfg(test)]
mod config_validation_tests {
    use super::*;

    fn valid() -> Config {
        Config {
            proxy: ProxyConfig {
                listen: "127.0.0.1:8080".parse().unwrap(),
                backend: "http://localhost:3000".to_string(),
            },
            waf: WafConfig {
                mode: WafMode::Blocking,
                block_threshold: 5,
                paranoia_level: 2,
                severity_scores: SeverityScores::default(),
            },
            limits: LimitsConfig::default(),
            modules: ModulesConfig::default(),
            rate_limit: RateLimitConfig::default(),
            network: NetworkConfig::default(),
            resilience: ResilienceConfig::default(),
            tls: TlsConfig::default(),
            metrics: MetricsConfig::default(),
        }
    }

    #[test]
    fn valid_config_passes() {
        assert!(valid().validate().is_ok());
    }

    #[test]
    fn paranoia_4_is_legal_forward_compatible() {
        let mut c = valid();
        c.waf.paranoia_level = MAX_PARANOIA_LEVEL; // 4: empty-but-legal
        assert!(c.validate().is_ok());
    }

    #[test]
    fn paranoia_out_of_range_rejected() {
        let mut c = valid();
        c.waf.paranoia_level = 0;
        assert_eq!(c.validate(), Err(ConfigError::ParanoiaOutOfRange(0)));
        c.waf.paranoia_level = 5;
        assert_eq!(c.validate(), Err(ConfigError::ParanoiaOutOfRange(5)));
    }

    #[test]
    fn block_threshold_zero_rejected() {
        let mut c = valid();
        c.waf.block_threshold = 0;
        assert_eq!(c.validate(), Err(ConfigError::BlockThresholdZero));
    }

    #[test]
    fn grpc_disabled_ignores_caps() {
        // Default grpc is off → caps not validated (cleartext/no-gRPC deploy).
        assert!(valid().validate().is_ok());
    }

    #[test]
    fn grpc_enabled_rejects_zero_caps() {
        let mut c = valid();
        c.modules.grpc.enabled = true;
        assert!(c.validate().is_ok()); // defaults are all >= 1
        c.modules.grpc.max_depth = 0;
        assert_eq!(c.validate(), Err(ConfigError::GrpcCapZero("max_depth")));
        c.modules.grpc.max_depth = 16;
        c.modules.grpc.max_message_bytes = 0;
        assert_eq!(c.validate(), Err(ConfigError::GrpcCapZero("max_message_bytes")));
    }

    #[test]
    fn tls_disabled_ignores_empty_paths() {
        // Default TLS is off → empty paths must not trip validation (cleartext deploy).
        assert!(valid().validate().is_ok());
    }

    #[test]
    fn tls_enabled_requires_cert_and_key_paths() {
        let mut c = valid();
        c.tls.enabled = true;
        assert_eq!(c.validate(), Err(ConfigError::TlsPathEmpty("cert_path")));
        c.tls.cert_path = "cert.pem".to_string();
        assert_eq!(c.validate(), Err(ConfigError::TlsPathEmpty("key_path")));
        c.tls.key_path = "key.pem".to_string();
        assert!(c.validate().is_ok());
    }

    #[test]
    fn tls_enabled_rejects_empty_alpn() {
        let mut c = valid();
        c.tls.enabled = true;
        c.tls.cert_path = "cert.pem".to_string();
        c.tls.key_path = "key.pem".to_string();
        c.tls.alpn = vec![];
        assert_eq!(c.validate(), Err(ConfigError::TlsAlpnInvalid));
        c.tls.alpn = vec!["h2".to_string(), "  ".to_string()];
        assert_eq!(c.validate(), Err(ConfigError::TlsAlpnInvalid));
    }

    #[test]
    fn crs_enabled_requires_files() {
        let mut c = valid();
        c.modules.crs.enabled = true;
        assert_eq!(c.validate(), Err(ConfigError::CrsNoFiles));
        c.modules.crs.files = vec!["rules.conf".to_string()];
        assert!(c.validate().is_ok());
    }

    #[test]
    fn crs_disabled_ignores_empty_files() {
        // Default CRS off → empty file list must not trip validation.
        assert!(valid().validate().is_ok());
    }

    #[test]
    fn wasm_enabled_requires_plugins_with_paths() {
        let mut c = valid();
        c.modules.wasm.enabled = true;
        assert_eq!(c.validate(), Err(ConfigError::WasmNoPlugins));
        c.modules.wasm.plugins = vec![WasmPluginConfig { path: "  ".into(), config: None }];
        assert_eq!(c.validate(), Err(ConfigError::WasmPluginPathEmpty));
        c.modules.wasm.plugins = vec![WasmPluginConfig { path: "f.wasm".into(), config: None }];
        assert!(c.validate().is_ok());
    }

    #[test]
    fn wasm_disabled_ignores_empty_plugins() {
        // Default WASM off → empty plugin list must not trip validation.
        assert!(valid().validate().is_ok());
    }

    #[test]
    fn zero_severity_weight_rejected() {
        let mut c = valid();
        c.waf.severity_scores.warning = 0;
        assert_eq!(c.validate(), Err(ConfigError::SeverityWeightZero("warning")));
    }

    #[test]
    fn zero_limit_rejected() {
        let mut c = valid();
        c.limits.max_json_depth = 0;
        assert_eq!(c.validate(), Err(ConfigError::LimitZero("max_json_depth")));
    }

    #[test]
    fn invalid_backend_rejected() {
        let mut c = valid();
        c.proxy.backend = "localhost:3000".to_string(); // no scheme
        assert!(matches!(c.validate(), Err(ConfigError::InvalidBackend(_))));
        c.proxy.backend = "http://".to_string(); // no authority
        assert!(matches!(c.validate(), Err(ConfigError::InvalidBackend(_))));
    }

    #[test]
    fn rate_limit_values_checked_only_when_enabled() {
        let mut c = valid();
        // Disabled: bad values are tolerated (dead config), not a startup error.
        c.rate_limit.enabled = false;
        c.rate_limit.requests = 0;
        assert!(c.validate().is_ok());
        // Enabled: the same bad value is rejected.
        c.rate_limit.enabled = true;
        assert_eq!(c.validate(), Err(ConfigError::RateLimitValueZero("requests")));
    }

    #[test]
    fn rate_limit_score_action_requires_positive_score() {
        let mut c = valid();
        c.rate_limit.enabled = true;
        c.rate_limit.action = RateLimitAction::Score;
        c.rate_limit.score = 0;
        assert_eq!(c.validate(), Err(ConfigError::RateLimitValueZero("score")));
    }

    #[test]
    fn trusted_hops_out_of_range_rejected() {
        let mut c = valid();
        c.network.trusted_hops = 0;
        assert_eq!(c.validate(), Err(ConfigError::TrustedHopsOutOfRange(0)));
        c.network.trusted_hops = MAX_TRUSTED_HOPS + 1;
        assert_eq!(
            c.validate(),
            Err(ConfigError::TrustedHopsOutOfRange(MAX_TRUSTED_HOPS + 1))
        );
    }

    #[test]
    fn invalid_cidr_in_trusted_proxies_rejected() {
        let mut c = valid();
        c.network.trusted_proxies = vec!["10.0.0.0/8".to_string(), "999.0.0.0/8".to_string()];
        assert_eq!(
            c.validate(),
            Err(ConfigError::InvalidCidr("999.0.0.0/8".to_string()))
        );
    }

    #[test]
    fn valid_cidrs_pass() {
        let mut c = valid();
        c.network.trusted_proxies = vec!["10.0.0.0/8".to_string(), "::1".to_string()];
        assert!(c.validate().is_ok());
    }

    #[test]
    fn empty_client_ip_header_rejected() {
        let mut c = valid();
        c.network.client_ip_header = "   ".to_string();
        assert_eq!(c.validate(), Err(ConfigError::EmptyClientIpHeader));
    }

    #[test]
    fn zero_upstream_timeout_rejected() {
        let mut c = valid();
        c.resilience.upstream_timeout_ms = 0;
        assert_eq!(c.validate(), Err(ConfigError::ResilienceTimeoutZero));
    }

    #[test]
    fn resilience_defaults_match_documented_posture() {
        let r = ResilienceConfig::default();
        assert_eq!(r.on_internal_error, FailMode::FailOpen);
        assert_eq!(r.on_upstream_error, FailMode::FailClosed);
        assert_eq!(r.on_config_error, FailMode::FailOpen);
        assert_eq!(r.on_parser_limit, FailMode::FailClosed);
    }
}