awsm-renderer 0.3.1

//! Static WGSL validation of the rendered material shaders, via `naga`.
//!
//! `shader_completeness` only checks `<base>_get_material(` calls; it does NOT
//! catch the general "templated code calls a function the gated includes no
//! longer define" hazard that the include-gating work introduces. Those breaks otherwise
//! surface only at pipeline-compile time in a real browser — and the
//! Custom-only benchmark never exercises the first-party PBR/Toon/Unlit/Flipbook
//! kernels at all.
//!
//! These tests render each material template and run it through naga's WGSL
//! front-end + validator (Capabilities::all, so storage textures / texture
//! arrays / etc. are permitted). naga is a proxy for Chrome's Tint, not
//! identical — but it reliably catches undefined-function / undefined-type /
//! type-mismatch errors, which is exactly the Phase-4 regression class. Runs
//! natively under `cargo test`, no GPU.

#![cfg(test)]

use awsm_materials::MaterialShaderId;

use crate::dynamic_materials::{BucketEntry, ShadingBase};
use crate::render_passes::material_decal::shader::cache_key::ShaderCacheKeyMaterialDecal;
use crate::render_passes::material_decal::shader::template::ShaderTemplateMaterialDecal;
use crate::render_passes::material_opaque::shader::cache_key::{
    DynamicShaderInfo, ShaderCacheKeyMaterialOpaque,
};
use crate::render_passes::material_opaque::shader::template::ShaderTemplateMaterialOpaque;
use crate::render_passes::material_transparent::shader::cache_key::ShaderCacheKeyMaterialTransparent;
use crate::render_passes::material_transparent::shader::template::ShaderTemplateMaterialTransparent;
use crate::render_passes::shared::material::cache_key::ShaderMaterialVertexAttributes;

/// Parse + validate `src` with naga; panic with a readable error on failure.
fn naga_validate(src: &str, label: &str) {
    let module = match naga::front::wgsl::parse_str(src) {
        Ok(m) => m,
        Err(e) => panic!(
            "{label}: naga WGSL PARSE failed:\n{}",
            e.emit_to_string(src)
        ),
    };
    let mut validator = naga::valid::Validator::new(
        naga::valid::ValidationFlags::all(),
        naga::valid::Capabilities::all(),
    );
    if let Err(e) = validator.validate(&module) {
        panic!(
            "{label}: naga WGSL VALIDATION failed:\n{}",
            e.emit_to_string(src)
        );
    }
}

fn first_party_key(
    shader_id: MaterialShaderId,
    base: ShadingBase,
    owns_skybox: bool,
    msaa: Option<u32>,
    mipmaps: bool,
) -> ShaderCacheKeyMaterialOpaque {
    first_party_key_prep(shader_id, base, owns_skybox, msaa, mipmaps)
}

// Prep is unconditional now, so this is identical to `first_party_key`; kept as
// a named alias for the prep-read test sites that document intent.
fn first_party_key_prep(
    shader_id: MaterialShaderId,
    base: ShadingBase,
    owns_skybox: bool,
    msaa: Option<u32>,
    mipmaps: bool,
) -> ShaderCacheKeyMaterialOpaque {
    ShaderCacheKeyMaterialOpaque {
        texture_pool_arrays_len: 1,
        texture_pool_samplers_len: 1,
        msaa_sample_count: msaa,
        mipmaps,
        max_shadow_casters: 4,
        shader_id,
        base,
        owns_skybox,
        pbr_features: awsm_materials::pbr::PbrFeatures::default().bits(),
        dispatch_hash: 0,
        dynamic_shader: None,
        bucket_entries: crate::dynamic_materials::first_party_bucket_entries(),
    }
}

fn custom_key(
    includes: awsm_materials::ShaderIncludes,
    msaa: Option<u32>,
    mipmaps: bool,
) -> ShaderCacheKeyMaterialOpaque {
    let dyn_id = MaterialShaderId::from_dynamic_raw(MaterialShaderId::DYNAMIC_START);
    let mut bucket_entries = crate::dynamic_materials::first_party_bucket_entries();
    bucket_entries.push(BucketEntry {
        shader_id: dyn_id,
        base: ShadingBase::Custom,
        pbr_features: awsm_materials::pbr::PbrFeatures::default().bits(),
        name: "noise".to_string(),
    });
    ShaderCacheKeyMaterialOpaque {
        texture_pool_arrays_len: 1,
        texture_pool_samplers_len: 1,
        msaa_sample_count: msaa,
        mipmaps,
        max_shadow_casters: 4,
        shader_id: dyn_id,
        base: ShadingBase::Custom,
        owns_skybox: false,
        pbr_features: awsm_materials::pbr::PbrFeatures::default().bits(),
        dispatch_hash: 1,
        dynamic_shader: Some(DynamicShaderInfo {
            shader_includes: includes,
            struct_decl: "struct MaterialData { _pad: u32, };".to_string(),
            loader_decl:
                "fn material_data_load(byte_offset: u32) -> MaterialData { return MaterialData(0u); }"
                    .to_string(),
            // Reads only world_normal/position (always provided) — declares no
            // includes, so it exercises the leanest Custom kernel.
            wgsl_fragment: "return OpaqueShadingOutput(input.world_normal * 0.5 + 0.5, 1.0);"
                .to_string(),
        }),
        bucket_entries,
    }
}

fn render(key: &ShaderCacheKeyMaterialOpaque, label: &str) -> String {
    ShaderTemplateMaterialOpaque::try_from(key)
        .unwrap_or_else(|e| panic!("{label}: template build failed: {e:?}"))
        .into_source()
        .unwrap_or_else(|e| panic!("{label}: render failed: {e:?}"))
}

const CONFIGS: [(Option<u32>, bool); 3] = [(None, true), (None, false), (Some(4), true)];

#[test]
fn first_party_opaque_shaders_validate() {
    let bases = [
        (MaterialShaderId::PBR, ShadingBase::Pbr, false, "pbr"),
        (MaterialShaderId::UNLIT, ShadingBase::Unlit, false, "unlit"),
        (MaterialShaderId::TOON, ShadingBase::Toon, false, "toon"),
        (
            MaterialShaderId::FLIPBOOK,
            ShadingBase::Flipbook,
            false,
            "flipbook",
        ),
        (MaterialShaderId::SKYBOX, ShadingBase::Pbr, true, "skybox"),
    ];
    for (id, base, owns_skybox, name) in bases {
        for (msaa, mips) in CONFIGS {
            let label = format!("opaque/{name} msaa={msaa:?} mips={mips}");
            let src = render(&first_party_key(id, base, owns_skybox, msaa, mips), &label);
            naga_validate(&src, &label);
            // Compile invariant (David): a module carries ONLY the entry points
            // its AA config dispatches. Non-MSAA → `cs_opaque` (render() path);
            // MSAA → `cs_shade` (render_shade), NEVER `cs_opaque`. naga only checks
            // the module compiles, not that the requested entry point exists; a
            // missing one fails at pipeline-create on a real GPU (it's how the
            // skybox writer's `fn main` slipped through the 1024 unification until
            // model-tests caught it). So assert the RIGHT kernel per config + the
            // ABSENCE of the cross-AA kernel.
            if msaa.is_some() {
                assert!(
                    src.contains("fn cs_shade(") && !src.contains("fn cs_opaque("),
                    "{label}: MSAA opaque module must define `fn cs_shade` and NOT `fn cs_opaque`"
                );
            } else {
                assert!(
                    src.contains("fn cs_opaque(") && !src.contains("fn cs_shade("),
                    "{label}: non-MSAA opaque module must define `fn cs_opaque` and NOT `fn cs_shade`"
                );
            }
        }
    }
}

#[test]
fn unified_shade_opaque_shaders_validate() {
    // U1 (`docs/plans/unified-edge-shading.md`): under MSAA the opaque module
    // emits the merged `cs_shade` entry point (interior sample-0 → opaque_tex +
    // edge per-sample → accumulator) + the `edge_id_tex` group(3) binding it
    // reads. naga-validate it across every base (incl SKYBOX + Custom) × mips
    // on/off — cs_shade is MSAA-only (there are no edges otherwise), so only the
    // MSAA config carries it. Prep is unconditional (the opaque path is
    // prep-only), so there is no prep on/off axis. Asserts the entry point
    // exists (the dispatch selects it by name → pipeline-create would fail on
    // GPU if absent) and that the cs_opaque entry point still coexists (the
    // no-MSAA interior path).
    let bases = [
        (MaterialShaderId::PBR, ShadingBase::Pbr, false, "pbr"),
        (MaterialShaderId::UNLIT, ShadingBase::Unlit, false, "unlit"),
        (MaterialShaderId::TOON, ShadingBase::Toon, false, "toon"),
        (
            MaterialShaderId::FLIPBOOK,
            ShadingBase::Flipbook,
            false,
            "flipbook",
        ),
        (MaterialShaderId::SKYBOX, ShadingBase::Pbr, true, "skybox"),
    ];
    for (id, base, owns_skybox, name) in bases {
        for mips in [false, true] {
            let key = first_party_key_prep(id, base, owns_skybox, Some(4), mips);
            let label = format!("opaque-unified/{name} msaa=4 mips={mips}");
            let src = render(&key, &label);
            naga_validate(&src, &label);
            assert!(
                src.contains("fn cs_shade("),
                "{label}: unified opaque module missing `fn cs_shade` entry point \
                 (dispatch requests it → pipeline-create would fail on GPU)"
            );
            // Invariant (A2): under MSAA the module is cs_shade ONLY — no
            // `cs_opaque` (the no-MSAA interior entry is never compiled here).
            assert!(
                !src.contains("fn cs_opaque("),
                "{label}: MSAA module must NOT carry `fn cs_opaque` (cross-AA code)"
            );
            // The edge-id texture binding cs_shade reads must be declared.
            assert!(
                src.contains("var edge_id_tex: texture_storage_2d<r32uint, read>"),
                "{label}: unified module missing the read-only `edge_id_tex` binding"
            );
        }
    }

    // Custom (dynamic) base under MSAA + unified — exercises the cs_shade
    // dynamic-wrapper arm (custom_shade_dynamic from both interior + edge).
    for mips in [false, true] {
        let key = custom_key(awsm_materials::ShaderIncludes::all(), Some(4), mips);
        let label = format!("opaque-unified/custom msaa=4 mips={mips}");
        let src = render(&key, &label);
        naga_validate(&src, &label);
        assert!(
            src.contains("fn cs_shade("),
            "{label}: unified Custom module missing `fn cs_shade`"
        );
    }
}

#[test]
fn custom_material_ibl_include_validates() {
    // D1: a custom material that opts into the `ibl` include can call
    // `sample_ibl(...)` and the assembled Custom kernel must validate (the helper
    // references the always-bound IBL cubemaps/LUT + `get_lights_info`). Without
    // the include the symbol is undefined → this guards the wiring.
    use awsm_materials::ShaderIncludes;
    for (msaa, mips) in CONFIGS {
        let mut key = custom_key(ShaderIncludes::IBL, msaa, mips);
        key.dynamic_shader.as_mut().unwrap().wgsl_fragment =
            "let ibl = sample_ibl(vec3<f32>(0.8, 0.8, 0.8), input.world_normal, \
             input.surface_to_camera, 0.3, 0.0); return OpaqueShadingOutput(ibl, 1.0);"
                .to_string();
        let label = format!("opaque/custom ibl msaa={msaa:?} mips={mips}");
        let src = render(&key, &label);
        naga_validate(&src, &label);
        assert!(
            src.contains("fn sample_ibl("),
            "{label}: `ibl` include did not emit sample_ibl"
        );
    }
}

#[test]
fn custom_material_normal_map_include_validates() {
    // D1-normalmap: a custom material that opts into `normal_map` can call
    // `apply_normal_map(...)` / `material_tbn(...)` over the always-present
    // world_tangent/world_bitangent/world_normal fields, and the assembled Custom
    // kernel must validate. Without the include the symbols are undefined → guards
    // both the include wiring AND that the OpaqueShadingInput tangent fields exist.
    use awsm_materials::ShaderIncludes;
    for (msaa, mips) in CONFIGS {
        let mut key = custom_key(ShaderIncludes::NORMAL_MAP, msaa, mips);
        key.dynamic_shader.as_mut().unwrap().wgsl_fragment =
            "let n = apply_normal_map(input, vec3<f32>(0.6, 0.5, 0.9)); \
             let _tbn = material_tbn(input); return OpaqueShadingOutput(n * 0.5 + 0.5, 1.0);"
                .to_string();
        let label = format!("opaque/custom normal_map msaa={msaa:?} mips={mips}");
        let src = render(&key, &label);
        naga_validate(&src, &label);
        assert!(
            src.contains("fn apply_normal_map("),
            "{label}: `normal_map` include did not emit apply_normal_map"
        );
    }
}

#[test]
fn opaque_prep_read_variant_validates() {
    // Plan B (stage 2b): the prep-read opaque variant (prep enabled + MSAA
    // off) must compile, and `texture_uv()` / `vertex_color()` must read the
    // prep array textures via `textureLoad` instead of recomputing from the
    // geometry pool. PBR exercises both helpers. Mirrors
    // `first_party_opaque_shaders_validate`'s helper, kept minimal.
    // mips OFF: the gradient mipmap path (`get_uv_derivatives`) is the one
    // remaining first-party caller of `_texture_uv_per_vertex` (UV gradients
    // are recomputed, never materialized — Plan B decision #2), so the
    // recompute-helper drop is observable only on the no-mips PBR variant.
    let key = first_party_key_prep(
        MaterialShaderId::PBR,
        ShadingBase::Pbr,
        false,
        None,  // no MSAA → prep_read = true
        false, // no mips → no get_uv_derivatives caller of _texture_uv_per_vertex
    );
    let src = render(&key, "opaque/pbr prep_read");
    naga_validate(&src, "opaque/pbr prep_read");
    assert!(
        src.contains("fn cs_opaque("),
        "prep_read opaque module missing `fn cs_opaque`"
    );
    // The prep-materialized array textures must be both declared and read.
    assert!(
        src.contains("textureLoad(prep_uv,"),
        "prep_read opaque module should `textureLoad(prep_uv, ...)` in texture_uv()"
    );
    assert!(
        src.contains("textureLoad(prep_vcolor,"),
        "prep_read opaque module should `textureLoad(prep_vcolor, ...)` in vertex_color()"
    );
    // The geometry-pool recompute helpers must NOT be emitted (the size win).
    assert!(
        !src.contains("fn _texture_uv_per_vertex("),
        "prep_read opaque module should drop the `_texture_uv_per_vertex` recompute helper"
    );
    assert!(
        !src.contains("fn _vertex_color_per_vertex("),
        "prep_read opaque module should drop the `_vertex_color_per_vertex` recompute helper"
    );
}

#[test]
fn opaque_shadow_from_buffer_variant_validates() {
    // Plan B (stage 4): the PBR opaque kernel (prep is unconditional) + MSAA off
    // reads the prep pass's per-pixel shadow-visibility buffer instead of
    // sampling shadow maps inline. Assert it (a) validates, (b) reads
    // `prep_shadow_visibility` via textureLoad, and (c) DROPS the inline
    // `sample_shadow_directional` definition (the ~50 KB win). The prep-OFF
    // controls are gone — the opaque path is prep-only now. Mirrors
    // `opaque_prep_read_variant_validates`.
    let prep_key = first_party_key_prep(
        MaterialShaderId::PBR,
        ShadingBase::Pbr,
        false,
        None, // no MSAA → prep_read = true → shadow_from_buffer = true (PBR lights)
        true,
    );
    let src = render(&prep_key, "opaque/pbr shadow_from_buffer");
    naga_validate(&src, "opaque/pbr shadow_from_buffer");
    assert!(
        src.contains("fn cs_opaque("),
        "shadow_from_buffer opaque module missing `fn cs_opaque`"
    );
    // (b) reads the prep shadow buffer.
    assert!(
        src.contains("textureLoad(prep_shadow_visibility"),
        "shadow_from_buffer opaque module should `textureLoad(prep_shadow_visibility, ...)`"
    );
    assert!(
        src.contains("var prep_shadow_visibility: texture_2d_array<f32>")
            || src.contains("prep_shadow_visibility: texture_2d_array<f32>"),
        "shadow_from_buffer opaque module should declare `prep_shadow_visibility` (binding 26)"
    );
    // (c) the inline shadow sampler is dropped (the size win).
    assert!(
        !src.contains("fn sample_shadow_directional"),
        "shadow_from_buffer opaque module should DROP `fn sample_shadow_directional` (the inline sampler)"
    );

    // Control 2 (stage 5b-shadow): MSAA on ⇒ cs_opaque (PRIMARY) reads
    // the full-screen prep buffer AND cs_edge (EDGE) reads the compact
    // per-edge-sample buffer — so NOTHING inline-samples shadows, and the inline
    // `sample_shadow_directional` DROPS from the MSAA module (the MSAA analog of
    // stage 4's no-MSAA win). The recompute UV/vcolor helpers STAY (cs_edge still
    // recomputes attributes — 5b-attrs deferred).
    let msaa_key = first_party_key_prep(
        MaterialShaderId::PBR,
        ShadingBase::Pbr,
        false,
        Some(4), // MSAA on → prep_present = true, needs_shadow_sampling = false (5b)
        true,
    );
    let msaa_src = render(&msaa_key, "opaque/pbr prep-on msaa4");
    naga_validate(&msaa_src, "opaque/pbr prep-on msaa4");
    // (5b-shadow) The inline sampler is DROPPED under MSAA+prep — the ~50 KB win.
    assert!(
        !msaa_src.contains("fn sample_shadow_directional"),
        "MSAA+prep PBR opaque must DROP inline `fn sample_shadow_directional` (5b: cs_edge reads the compact edge-shadow buffer)"
    );
    // cs_opaque (PRIMARY) reads the full-screen buffer; cs_edge (EDGE) reads the
    // compact per-edge-sample buffer. Both reads must be present.
    assert!(
        msaa_src.contains("textureLoad(prep_shadow_visibility"),
        "MSAA+prep PBR opaque cs_opaque (PRIMARY) must READ the full-screen prep shadow buffer"
    );
    assert!(
        msaa_src.contains("textureLoad(prep_edge_shadow"),
        "MSAA+prep PBR opaque cs_edge (EDGE) must READ the compact per-edge-sample shadow buffer"
    );
    assert!(
        msaa_src.contains("var prep_edge_shadow: texture_2d_array<f32>")
            || msaa_src.contains("prep_edge_shadow: texture_2d_array<f32>"),
        "MSAA+prep PBR opaque must declare `prep_edge_shadow` (binding 27)"
    );
    // The shared PrepReadContext mode-select must carry the EDGE arm (the
    // abstraction that lets cs_opaque read PRIMARY while cs_edge reads EDGE — no
    // forked copies).
    assert!(
        msaa_src.contains("g_prep_ctx.mode == PREP_MODE_EDGE"),
        "MSAA+prep PBR opaque must branch the shared shadow read on the EDGE mode"
    );
    assert!(
        msaa_src.contains("textureLoad(prep_uv,") && msaa_src.contains("textureLoad(prep_vcolor,"),
        "MSAA+prep PBR opaque cs_opaque (PRIMARY) must read the prep UV/vcolor arrays"
    );
    // The recompute helpers STAY under MSAA+prep (cs_edge recomputes UV/vcolor —
    // 5b-attrs deferred).
    assert!(
        msaa_src.contains("fn _texture_uv_per_vertex(")
            && msaa_src.contains("fn _vertex_color_per_vertex("),
        "MSAA+prep PBR opaque must KEEP the recompute helpers (cs_edge recomputes attrs; 5b-attrs deferred)"
    );

    // Control 3 (stage 5b-shadow): MSAA OFF still keeps the inline sampler
    // DROPPED (stage 4) and reads only the full-screen buffer (no edges → no
    // compact edge buffer / no EDGE read).
    let no_msaa_src = render(&prep_key, "opaque/pbr prep-on no-msaa");
    assert!(
        !no_msaa_src.contains("textureLoad(prep_edge_shadow"),
        "no-MSAA PBR opaque must NOT read the compact edge buffer (no edges)"
    );

    // Measurement: report the prep (no-MSAA shadow-from-buffer) PBR size and the
    // MSAA module size. The prep-OFF baselines are gone (opaque is prep-only).
    eprintln!(
        "[stage4] PBR opaque no-MSAA — prep-read(shadow_from_buffer): {} B",
        src.len(),
    );
    eprintln!(
        "[stage5b] PBR opaque MSAA4 — prep-on(edge-shadow buffer): {} B",
        msaa_src.len(),
    );
}

/// Render the material-classify shader (bind groups + compute concatenated)
/// for a given config. Mirrors the renderer's `ShaderTemplateMaterialClassify`
/// build path so the gating is exercised exactly as the pipeline cache does.
fn render_classify(msaa: Option<u32>, emit_edge_data: bool, label: &str) -> String {
    use crate::render_passes::material_classify::shader::cache_key::ShaderCacheKeyMaterialClassify;
    use crate::render_passes::material_classify::shader::template::ShaderTemplateMaterialClassify;
    ShaderTemplateMaterialClassify::try_from(&ShaderCacheKeyMaterialClassify {
        msaa_sample_count: msaa,
        bucket_count: crate::dynamic_materials::first_party_bucket_entries().len() as u32,
        emit_edge_data,
    })
    .unwrap_or_else(|e| panic!("{label}: template build failed: {e:?}"))
    .into_source()
    .unwrap_or_else(|e| panic!("{label}: render failed: {e:?}"))
}

#[test]
fn material_classify_shader_validates() {
    // U0 (`docs/plans/unified-edge-shading.md`): the classify shader must
    // naga-validate per (msaa, emit) config, including the MSAA edge path.
    for (msaa, emit) in [(None, false), (Some(4u32), true)] {
        let label = format!("classify msaa={msaa:?} emit={emit}");
        let src = render_classify(msaa, emit, &label);
        naga_validate(&src, &label);
        assert!(
            src.contains("fn cs_main("),
            "{label}: classify module missing `fn cs_main` entry point"
        );
    }

    // On the MSAA edge path, both edge scaffolds must render: the edge_id_tex
    // storage texture (declared + written) and the ANY-sample tile_mask branch.
    let on = render_classify(Some(4), true, "classify on");
    assert!(
        on.contains("var edge_id_tex: texture_storage_2d<r32uint, write>"),
        "MSAA classify must declare `edge_id_tex` storage texture (binding 11)"
    );
    assert!(
        on.contains("textureStore(edge_id_tex,"),
        "MSAA classify must write `edge_id_tex`"
    );
    assert!(
        on.contains("ubucket1"),
        "MSAA classify must build the ANY-sample tile_mask (4-sample OR)"
    );
    // Unified-edge U2b-3: the per-bucket + skybox edge-SAMPLE-LIST machinery
    // (`append_edge_sample`) is REMOVED — it fed only the deleted cs_edge /
    // skybox_edge_resolve pipelines. cs_shade drives edge shading from the
    // edge-id texture + the packed slot map, so the slot-map pack (edge_data
    // store of `slot_map` / the 16-bit `slot_base` form) must remain.
    assert!(
        !on.contains("fn append_edge_sample("),
        "U2b-3: append_edge_sample (edge-sample lists) must be REMOVED"
    );
    assert!(
        on.contains("edge_slot_map_base"),
        "cs_shade still needs the slot_map pack — edge_slot_map_base must remain"
    );
}

#[test]
fn material_prep_shader_validates() {
    use crate::render_passes::material_prep::shader::cache_key::ShaderCacheKeyMaterialPrep;
    use crate::render_passes::material_prep::shader::template::ShaderTemplateMaterialPrep;
    for msaa in [None, Some(4u32)] {
        let label = format!("material_prep msaa={msaa:?}");
        let src = ShaderTemplateMaterialPrep::try_from(&ShaderCacheKeyMaterialPrep {
            msaa_sample_count: msaa,
            max_shadow_casters: 4,
        })
        .unwrap_or_else(|e| panic!("{label}: template build failed: {e:?}"))
        .into_source()
        .unwrap_or_else(|e| panic!("{label}: render failed: {e:?}"));
        naga_validate(&src, &label);
        assert!(
            src.contains("fn cs_prep("),
            "{label}: prep module missing `fn cs_prep` entry point"
        );
        // Stage 5b-shadow: the MSAA prep module ALSO carries `cs_prep_edge`
        // (per-edge-sample shadow → compact edge buffer); the no-MSAA module does
        // NOT (no edges). Both must validate via naga above. The shared
        // shadow-visibility helper is the single source for both kernels.
        assert!(
            src.contains("fn compute_shadow_visibility_packed("),
            "{label}: prep module missing shared `compute_shadow_visibility_packed` helper"
        );
        if msaa.is_some() {
            assert!(
                src.contains("fn cs_prep_edge("),
                "{label}: MSAA prep module missing `fn cs_prep_edge` entry point"
            );
            assert!(
                src.contains("textureStore(edge_shadow_out"),
                "{label}: cs_prep_edge must write the compact edge-shadow texture"
            );
        } else {
            assert!(
                !src.contains("fn cs_prep_edge("),
                "{label}: no-MSAA prep module must NOT emit `cs_prep_edge` (no edges)"
            );
        }
    }
}

#[test]
fn custom_opaque_shaders_validate() {
    use awsm_materials::ShaderIncludes as S;
    // empty (leanest), all (Tier-A), and an explicit Tier-B declaration (must
    // still validate — Tier-B is masked off on the Custom path).
    let tier_b = S::BRDF
        .union(S::APPLY_LIGHTING)
        .union(S::MATERIAL_COLOR_CALC);
    for inc in [S::empty(), S::all(), tier_b] {
        for (msaa, mips) in CONFIGS {
            let label = format!(
                "opaque/custom inc={:?} msaa={msaa:?} mips={mips}",
                inc.bits()
            );
            let src = render(&custom_key(inc, msaa, mips), &label);
            naga_validate(&src, &label);
        }
    }
}

#[test]
fn custom_froxel_lights_accessors_validate() {
    // Stage 7: a custom material with LIGHT_ACCESS can iterate the per-pixel
    // froxel-culled lights via material_pixel_light_count / material_pixel_light
    // (which wrap the froxel_walk SSOT). Assert it validates AND that froxel_walk
    // got pulled into the Custom kernel (custom never has APPLY_LIGHTING, so the
    // `light_access && !apply_lighting` include path must supply it).
    use awsm_materials::ShaderIncludes as S;
    let dyn_id = MaterialShaderId::from_dynamic_raw(MaterialShaderId::DYNAMIC_START);
    let mut bucket_entries = crate::dynamic_materials::first_party_bucket_entries();
    bucket_entries.push(BucketEntry {
        shader_id: dyn_id,
        base: ShadingBase::Custom,
        pbr_features: awsm_materials::pbr::PbrFeatures::default().bits(),
        name: "froxel_lit".to_string(),
    });
    let fragment = "var c = vec3<f32>(0.0);\n\
        let n = material_pixel_light_count(input);\n\
        for (var i = 0u; i < n; i = i + 1u) {\n\
            let l = material_pixel_light(input, i);\n\
            let s = light_sample(l, input.world_normal, input.world_position);\n\
            c = c + s.radiance * s.n_dot_l;\n\
        }\n\
        return OpaqueShadingOutput(c, 1.0);";
    for (msaa, mips) in CONFIGS {
        let key = ShaderCacheKeyMaterialOpaque {
            texture_pool_arrays_len: 1,
            texture_pool_samplers_len: 1,
            msaa_sample_count: msaa,
            mipmaps: mips,
            max_shadow_casters: 4,
            shader_id: dyn_id,
            base: ShadingBase::Custom,
            owns_skybox: false,
            pbr_features: awsm_materials::pbr::PbrFeatures::default().bits(),
            dispatch_hash: 1,
            dynamic_shader: Some(DynamicShaderInfo {
                shader_includes: S::LIGHT_ACCESS,
                struct_decl: "struct MaterialData { _pad: u32, };".to_string(),
                loader_decl:
                    "fn material_data_load(byte_offset: u32) -> MaterialData { return MaterialData(0u); }"
                        .to_string(),
                wgsl_fragment: fragment.to_string(),
            }),
            bucket_entries: bucket_entries.clone(),
        };
        let label = format!("opaque/custom-froxel-lit msaa={msaa:?} mips={mips}");
        let src = render(&key, &label);
        naga_validate(&src, &label);
        assert!(
            src.contains("fn froxel_base_for_pixel("),
            "{label}: froxel_walk SSOT not pulled into the custom LIGHT_ACCESS kernel"
        );
        assert!(
            src.contains("fn material_pixel_light("),
            "{label}: custom froxel-light accessor missing"
        );
    }
}

fn transparent_first_party_key(
    base: ShadingBase,
    msaa: Option<u32>,
) -> ShaderCacheKeyMaterialTransparent {
    ShaderCacheKeyMaterialTransparent {
        instancing_transforms: false,
        attributes: ShaderMaterialVertexAttributes {
            normals: true,
            tangents: true,
            color_sets: None,
            uv_sets: Some(1),
        },
        texture_pool_arrays_len: 1,
        texture_pool_samplers_len: 1,
        msaa_sample_count: msaa,
        mipmaps: true,
        base,
        pbr_features: awsm_materials::pbr::PbrFeatures::default().bits(),
        dispatch_hash: 0,
        dynamic_shader_id: None,
        dynamic_shader: None,
        froxel_slice_count: crate::render_passes::light_culling::buffers::DEFAULT_SLICE_COUNT,
    }
}

#[test]
fn first_party_transparent_shaders_validate() {
    for (base, name) in [
        (ShadingBase::Pbr, "pbr"),
        (ShadingBase::Unlit, "unlit"),
        (ShadingBase::Toon, "toon"),
        (ShadingBase::Flipbook, "flipbook"),
    ] {
        for msaa in [None, Some(4)] {
            let label = format!("transparent/{name} msaa={msaa:?}");
            let key = transparent_first_party_key(base, msaa);
            let src = ShaderTemplateMaterialTransparent::try_from(&key)
                .unwrap_or_else(|e| panic!("{label}: template build failed: {e:?}"))
                .into_source()
                .unwrap_or_else(|e| panic!("{label}: render failed: {e:?}"));
            naga_validate(&src, &label);
        }
    }
}

#[test]
fn custom_transparent_shaders_validate() {
    use awsm_materials::ShaderIncludes as S;
    let dyn_id = MaterialShaderId::from_dynamic_raw(MaterialShaderId::DYNAMIC_START);
    let tier_b = S::BRDF
        .union(S::APPLY_LIGHTING)
        .union(S::MATERIAL_COLOR_CALC);
    for inc in [S::empty(), S::all(), tier_b] {
        for msaa in [None, Some(4)] {
            let mut key = transparent_first_party_key(ShadingBase::Custom, msaa);
            key.dispatch_hash = 1;
            key.dynamic_shader_id = Some(dyn_id);
            key.dynamic_shader = Some(DynamicShaderInfo {
                shader_includes: inc,
                struct_decl: "struct MaterialData { _pad: u32, };".to_string(),
                loader_decl:
                    "fn material_data_load(byte_offset: u32) -> MaterialData { return MaterialData(0u); }"
                        .to_string(),
                wgsl_fragment:
                    "return TransparentShadingOutput(vec4<f32>(input.world_normal * 0.5 + 0.5, 0.5));"
                        .to_string(),
            });
            let label = format!("transparent/custom inc={:?} msaa={msaa:?}", inc.bits());
            let src = ShaderTemplateMaterialTransparent::try_from(&key)
                .unwrap_or_else(|e| panic!("{label}: template build failed: {e:?}"))
                .into_source()
                .unwrap_or_else(|e| panic!("{label}: render failed: {e:?}"));
            naga_validate(&src, &label);
        }
    }
}

/// A.4: the decal compute pass unpacks a flat `texture_index` with a templated
/// stride (`% {{ texture_pool_layers_per_array }}u`); validate the shader compiles
/// for a non-64 stride (256 = a real device `max_texture_array_layers`) so the
/// substitution can never regress to invalid WGSL.
#[test]
fn decal_shader_validates_with_templated_layer_stride() {
    for msaa in [None, Some(4)] {
        for stride in [256u32, 2048u32] {
            let key = ShaderCacheKeyMaterialDecal {
                msaa_sample_count: msaa,
                texture_pool_arrays_len: 1,
                texture_pool_samplers_len: 1,
                texture_pool_layers_per_array: stride,
            };
            let label = format!("decal msaa={msaa:?} stride={stride}");
            let src = ShaderTemplateMaterialDecal::try_from(&key)
                .unwrap_or_else(|e| panic!("{label}: template build failed: {e:?}"))
                .into_source()
                .unwrap_or_else(|e| panic!("{label}: render failed: {e:?}"));
            assert!(
                src.contains(&format!("% {stride}u")) && src.contains(&format!("/ {stride}u")),
                "{label}: expected the templated stride in the unpacking math"
            );
            naga_validate(&src, &label);
        }
    }
}