vyre-primitives 0.6.1

//! Sparse FFT primitives  -  Hassanieh-Indyk-Katabi-Price 2012.
//!
//! For a length-`n` signal whose frequency-domain support is k-sparse
//! (k nonzero coefficients, k ≪ n), the sparse FFT recovers the
//! support and values in `O(k log² n)` vs full FFT's `O(n log n)`.
//! For `k = √n` the speedup is √n; for k = polylog(n), it's
//! near-linear in k.
//!
//! Algorithm sketch (HIKP):
//! 1. **Permutation + filtering**  -  apply a random permutation to
//!    the time-domain signal and convolve with a flat-window filter.
//! 2. **Subsampled FFT**  -  small FFT of length B (B = O(k)).
//! 3. **Hashing + voting**  -  frequencies hash to B bins; the median
//!    over multiple permutations recovers k-sparse support.
//!
//! This file ships the **bin hashing** primitive  -  given a signal and
//! a permutation/filter pair, hash each frequency into one of B bins
//! and accumulate. Subsequent steps (subsampled FFT, voting) compose
//! from existing #4 NTT or future small-FFT primitives.
//!
//! # Why this primitive is dual-use
//!
//! | Composition role | Use |
//! |---|---|
//! | audio analysis | sparse audio transforms |
//! | radio spectrum monitoring | sparse spectral occupancy |
//! | sparse-aperture imaging | MRI / compressed imaging |
//!
//! The primitive is intentionally domain-neutral: signal-domain dialects
//! supply permutation/filter policy while this file owns the reusable GPU
//! binning and CPU parity contracts.

use std::sync::Arc;

use vyre_foundation::ir::model::expr::Ident;
use vyre_foundation::ir::{BufferAccess, BufferDecl, DataType, Expr, Node, Program};

/// Op id.
pub const OP_ID: &str = "vyre-primitives::hash::sparse_fft_bin_hash";

/// Hash each frequency index `f` into one of `b` bins via a linear
/// hash `bin = (a · f + c) mod b`. Accumulate the signal's `f`-th
/// coefficient (already pre-filtered+permuted by the caller) into
/// `bins[bin]`. One workgroup cooperates over the signal with a
/// grid-stride loop and atomic bin accumulation, so hash collisions
/// preserve wrapping-add semantics without serializing all samples on
/// lane zero.
#[must_use]
pub fn sparse_fft_bin_hash(signal: &str, bins: &str, a: u32, c: u32, b: u32, n: u32) -> Program {
    if n == 0 {
        return crate::invalid_output_program(
            OP_ID,
            bins,
            DataType::U32,
            format!("Fix: sparse_fft_bin_hash requires n > 0, got {n}."),
        );
    }
    if b == 0 {
        return crate::invalid_output_program(
            OP_ID,
            bins,
            DataType::U32,
            format!("Fix: sparse_fft_bin_hash requires b > 0, got {b}."),
        );
    }

    let local = Expr::LocalId { axis: 0 };
    let body = vec![Node::if_then(
        Expr::eq(Expr::WorkgroupId { axis: 0 }, Expr::u32(0)),
        vec![Node::loop_for(
            "chunk",
            Expr::u32(0),
            Expr::div(Expr::add(Expr::u32(n), Expr::u32(255)), Expr::u32(256)),
            vec![
                Node::let_bind(
                    "f",
                    Expr::add(Expr::mul(Expr::var("chunk"), Expr::u32(256)), local),
                ),
                Node::if_then(
                    Expr::lt(Expr::var("f"), Expr::u32(n)),
                    vec![
                        Node::let_bind(
                            "bin",
                            Expr::rem(
                                Expr::add(Expr::mul(Expr::u32(a), Expr::var("f")), Expr::u32(c)),
                                Expr::u32(b),
                            ),
                        ),
                        Node::let_bind(
                            "_old_bin",
                            Expr::atomic_add(
                                bins,
                                Expr::var("bin"),
                                Expr::load(signal, Expr::var("f")),
                            ),
                        ),
                    ],
                ),
            ],
        )],
    )];

    Program::wrapped(
        vec![
            BufferDecl::storage(signal, 0, BufferAccess::ReadOnly, DataType::U32).with_count(n),
            BufferDecl::storage(bins, 1, BufferAccess::ReadWrite, DataType::U32).with_count(b),
        ],
        [256, 1, 1],
        vec![Node::Region {
            generator: Ident::from(OP_ID),
            source_region: None,
            body: Arc::new(body),
        }],
    )
}

/// CPU reference: linear-hash binning of an arbitrary numeric signal.
#[must_use]
#[cfg(any(test, feature = "cpu-parity"))]
pub fn sparse_fft_bin_hash_cpu(signal: &[u32], a: u32, c: u32, b: u32) -> Vec<u32> {
    let mut bins = Vec::new();
    match try_sparse_fft_bin_hash_cpu_into(signal, a, c, b, &mut bins) {
        Ok(()) => bins,
        Err(error) => {
            eprintln!("vyre-primitives sparse FFT bin-hash CPU reference failed: {error}");
            Vec::new()
        }
    }
}

/// CPU reference into caller-owned bin storage.
#[cfg(any(test, feature = "cpu-parity"))]
pub fn sparse_fft_bin_hash_cpu_into(signal: &[u32], a: u32, c: u32, b: u32, bins: &mut Vec<u32>) {
    if let Err(error) = try_sparse_fft_bin_hash_cpu_into(signal, a, c, b, bins) {
        eprintln!("vyre-primitives sparse FFT bin-hash CPU reference failed: {error}");
        bins.clear();
    }
}

/// Fallible CPU reference into caller-owned bin storage.
#[cfg(any(test, feature = "cpu-parity"))]
pub fn try_sparse_fft_bin_hash_cpu_into(
    signal: &[u32],
    a: u32,
    c: u32,
    b: u32,
    bins: &mut Vec<u32>,
) -> Result<(), String> {
    if b == 0 {
        return Err("sparse FFT bin-hash CPU reference requires b > 0.".to_string());
    }
    let b_len = usize::try_from(b)
        .map_err(|_| format!("sparse FFT bin count {b} does not fit host usize."))?;
    if b_len > bins.capacity() {
        bins.try_reserve_exact(b_len - bins.capacity())
            .map_err(|err| {
                format!("sparse FFT bin-hash CPU reference could not reserve {b_len} bins: {err}")
            })?;
    }
    bins.clear();
    bins.resize(b_len, 0);
    for (f, &v) in signal.iter().enumerate() {
        let f = u32::try_from(f)
            .map_err(|_| "sparse FFT signal length exceeds u32 frequency ABI.".to_string())?;
        let bin = a.wrapping_mul(f).wrapping_add(c) % b;
        let bin = usize::try_from(bin)
            .map_err(|_| "sparse FFT bin index does not fit host usize.".to_string())?;
        bins[bin] = bins[bin].wrapping_add(v);
    }
    Ok(())
}

/// Voting recovery (CPU helper): given `m` binnings under different
/// (a, c) pairs, find the indices most consistently mapped to the
/// same bin (heuristic median-vote support recovery).
#[must_use]
#[cfg(any(test, feature = "cpu-parity"))]
pub fn voting_recovery_cpu(
    binnings: &[(u32, u32, Vec<u32>)],
    threshold: u32,
    n: u32,
    b: u32,
) -> Vec<u32> {
    let mut votes = Vec::new();
    let mut out = Vec::new();
    match try_voting_recovery_cpu_into(binnings, threshold, n, b, &mut votes, &mut out) {
        Ok(()) => out,
        Err(error) => {
            eprintln!("vyre-primitives sparse FFT voting recovery CPU reference failed: {error}");
            Vec::new()
        }
    }
}

/// Voting recovery using caller-owned vote scratch and output storage.
#[cfg(any(test, feature = "cpu-parity"))]
pub fn voting_recovery_cpu_into(
    binnings: &[(u32, u32, Vec<u32>)],
    threshold: u32,
    n: u32,
    b: u32,
    votes: &mut Vec<u32>,
    out: &mut Vec<u32>,
) {
    if let Err(error) = try_voting_recovery_cpu_into(binnings, threshold, n, b, votes, out) {
        eprintln!("vyre-primitives sparse FFT voting recovery CPU reference failed: {error}");
        votes.clear();
        out.clear();
    }
}

/// Fallible voting recovery using caller-owned vote scratch and output storage.
#[cfg(any(test, feature = "cpu-parity"))]
pub fn try_voting_recovery_cpu_into(
    binnings: &[(u32, u32, Vec<u32>)],
    threshold: u32,
    n: u32,
    b: u32,
    votes: &mut Vec<u32>,
    out: &mut Vec<u32>,
) -> Result<(), String> {
    if b == 0 {
        return Err("sparse FFT voting recovery requires b > 0.".to_string());
    }
    let n_len = usize::try_from(n)
        .map_err(|_| format!("sparse FFT signal length {n} does not fit host usize."))?;
    let b_len = usize::try_from(b)
        .map_err(|_| format!("sparse FFT bin count {b} does not fit host usize."))?;
    for (idx, (_, _, bins)) in binnings.iter().enumerate() {
        if bins.len() < b_len {
            return Err(format!(
                "sparse FFT voting binning {idx} has {} bins, expected at least {b_len}.",
                bins.len()
            ));
        }
    }
    if n_len > votes.capacity() {
        votes
            .try_reserve_exact(n_len - votes.capacity())
            .map_err(|err| {
                format!("sparse FFT voting recovery could not reserve {n_len} vote slots: {err}")
            })?;
    }
    if n_len > out.capacity() {
        out.try_reserve_exact(n_len - out.capacity())
            .map_err(|err| {
                format!("sparse FFT voting recovery could not reserve {n_len} output slots: {err}")
            })?;
    }

    votes.clear();
    votes.resize(n_len, 0);
    for (a, c, bins) in binnings {
        for (f, vote) in votes.iter_mut().enumerate() {
            let f = u32::try_from(f)
                .map_err(|_| "sparse FFT frequency index exceeds u32 ABI.".to_string())?;
            let bin = a.wrapping_mul(f).wrapping_add(*c) % b;
            let bin = usize::try_from(bin)
                .map_err(|_| "sparse FFT voting bin index does not fit host usize.".to_string())?;
            if bins[bin] > 0 {
                *vote = vote.wrapping_add(1);
            }
        }
    }
    out.clear();
    for (f, &vote) in votes.iter().enumerate() {
        if vote >= threshold {
            let f = u32::try_from(f)
                .map_err(|_| "sparse FFT recovered index exceeds u32 ABI.".to_string())?;
            out.push(f);
        }
    }
    Ok(())
}

#[cfg(feature = "inventory-registry")]
inventory::submit! {
    crate::harness::OpEntry::new(
        OP_ID,
        || sparse_fft_bin_hash("signal", "bins", 1, 0, 4, 8),
        Some(|| {
            let to_bytes = |w: &[u32]| crate::wire::pack_u32_slice(w);
            vec![vec![
                to_bytes(&[1, 2, 3, 4, 5, 6, 7, 8]),
                to_bytes(&[0, 0, 0, 0]),
            ]]
        }),
        Some(|| {
            let to_bytes = |w: &[u32]| crate::wire::pack_u32_slice(w);
            vec![vec![to_bytes(&[6, 8, 10, 12])]]
        }),
    )
}

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

    #[test]
    fn cpu_hash_distributes_across_bins() {
        let signal = vec![1, 2, 3, 4, 5, 6, 7, 8];
        let bins = sparse_fft_bin_hash_cpu(&signal, 1, 0, 4);
        // Identity hash bin = f % 4.
        // bin 0: f∈{0,4}, value 1+5 = 6
        // bin 1: f∈{1,5}, value 2+6 = 8
        // bin 2: f∈{2,6}, value 3+7 = 10
        // bin 3: f∈{3,7}, value 4+8 = 12
        assert_eq!(bins, vec![6, 8, 10, 12]);
    }

    #[test]
    fn cpu_hash_into_reuses_bins_and_rejects_zero_bins_transactionally() {
        let signal = vec![1, 2, 3, 4, 5, 6, 7, 8];
        let mut bins = Vec::with_capacity(8);
        bins.extend_from_slice(&[u32::MAX; 8]);
        let ptr = bins.as_ptr();

        try_sparse_fft_bin_hash_cpu_into(&signal, 1, 0, 4, &mut bins).unwrap();

        assert_eq!(bins, vec![6, 8, 10, 12]);
        assert_eq!(bins.as_ptr(), ptr);
        let before = bins.clone();
        assert!(try_sparse_fft_bin_hash_cpu_into(&signal, 1, 0, 0, &mut bins).is_err());
        assert_eq!(bins, before);
    }

    #[test]
    fn cpu_hash_wrappers_match_fallible_reference() {
        let signal = vec![1, 2, 3, 4, 5, 6, 7, 8];
        let mut compat = Vec::with_capacity(8);
        let mut fallible = Vec::with_capacity(8);

        sparse_fft_bin_hash_cpu_into(&signal, 1, 0, 4, &mut compat);
        try_sparse_fft_bin_hash_cpu_into(&signal, 1, 0, 4, &mut fallible)
            .expect("Fix: small sparse FFT bin-hash CPU reference must reserve");

        assert_eq!(sparse_fft_bin_hash_cpu(&signal, 1, 0, 4), fallible);
        assert_eq!(compat, fallible);
    }

    #[test]
    fn cpu_constant_hash_a_zero_collapses_to_one_bin() {
        let signal = vec![1, 2, 3, 4];
        let bins = sparse_fft_bin_hash_cpu(&signal, 0, 1, 4);
        // a=0, c=1 → all f map to bin 1.
        assert_eq!(bins[1], 10);
        assert_eq!(bins[0], 0);
    }

    #[test]
    fn cpu_voting_picks_signaled_indices() {
        // Synthetic: indices 2 and 5 carry energy across multiple
        // hash patterns.
        let mut signal = vec![0u32; 8];
        signal[2] = 100;
        signal[5] = 100;
        let h1 = sparse_fft_bin_hash_cpu(&signal, 3, 0, 4);
        let h2 = sparse_fft_bin_hash_cpu(&signal, 5, 1, 4);
        let h3 = sparse_fft_bin_hash_cpu(&signal, 7, 2, 4);
        let recovered = voting_recovery_cpu(&[(3, 0, h1), (5, 1, h2), (7, 2, h3)], 3, 8, 4);
        assert!(recovered.contains(&2));
        assert!(recovered.contains(&5));
    }

    #[test]
    fn cpu_voting_into_reuses_scratch_and_rejects_short_bins_transactionally() {
        let mut signal = vec![0u32; 8];
        signal[2] = 100;
        signal[5] = 100;
        let h1 = sparse_fft_bin_hash_cpu(&signal, 3, 0, 4);
        let h2 = sparse_fft_bin_hash_cpu(&signal, 5, 1, 4);
        let h3 = sparse_fft_bin_hash_cpu(&signal, 7, 2, 4);
        let mut votes = Vec::with_capacity(16);
        votes.extend_from_slice(&[u32::MAX; 16]);
        let mut recovered = Vec::with_capacity(16);
        recovered.extend_from_slice(&[u32::MAX; 16]);
        let votes_ptr = votes.as_ptr();
        let recovered_ptr = recovered.as_ptr();

        try_voting_recovery_cpu_into(
            &[(3, 0, h1.clone()), (5, 1, h2), (7, 2, h3)],
            3,
            8,
            4,
            &mut votes,
            &mut recovered,
        )
        .unwrap();

        assert!(recovered.contains(&2));
        assert!(recovered.contains(&5));
        assert_eq!(votes.as_ptr(), votes_ptr);
        assert_eq!(recovered.as_ptr(), recovered_ptr);
        let before_votes = votes.clone();
        let before_recovered = recovered.clone();
        assert!(try_voting_recovery_cpu_into(
            &[(3, 0, h1[..2].to_vec())],
            1,
            8,
            4,
            &mut votes,
            &mut recovered,
        )
        .is_err());
        assert_eq!(votes, before_votes);
        assert_eq!(recovered, before_recovered);
    }

    #[test]
    fn voting_wrappers_match_fallible_reference() {
        let mut signal = vec![0u32; 8];
        signal[2] = 100;
        signal[5] = 100;
        let h1 = sparse_fft_bin_hash_cpu(&signal, 3, 0, 4);
        let h2 = sparse_fft_bin_hash_cpu(&signal, 5, 1, 4);
        let binnings = [(3, 0, h1), (5, 1, h2)];
        let mut votes = Vec::with_capacity(16);
        let mut compat = Vec::with_capacity(16);
        let mut fallible_votes = Vec::with_capacity(16);
        let mut fallible = Vec::with_capacity(16);

        voting_recovery_cpu_into(&binnings, 2, 8, 4, &mut votes, &mut compat);
        try_voting_recovery_cpu_into(&binnings, 2, 8, 4, &mut fallible_votes, &mut fallible)
            .expect("Fix: small sparse FFT voting recovery CPU reference must reserve");

        assert_eq!(voting_recovery_cpu(&binnings, 2, 8, 4), fallible);
        assert_eq!(compat, fallible);
    }

    #[test]
    fn production_wrappers_have_no_raw_panic_path() {
        let production = include_str!("sparse_fft.rs")
            .split("#[cfg(test)]")
            .next()
            .expect("Fix: sparse_fft.rs must contain production section");

        assert!(
            !production.contains(".expect(") && !production.contains(".unwrap("),
            "Fix: sparse FFT CPU reference wrappers must not panic in production."
        );
    }

    #[test]
    fn cpu_zero_signal_zero_bins() {
        let signal = vec![0u32; 8];
        let bins = sparse_fft_bin_hash_cpu(&signal, 1, 0, 4);
        assert_eq!(bins, vec![0; 4]);
    }

    #[test]
    fn ir_program_buffer_layout() {
        let p = sparse_fft_bin_hash("sig", "bins", 7, 1, 8, 64);
        assert_eq!(p.workgroup_size, [256, 1, 1]);
        let names: Vec<&str> = p.buffers.iter().map(|b| b.name()).collect();
        assert_eq!(names, vec!["sig", "bins"]);
        assert_eq!(p.buffers[0].count(), 64);
        assert_eq!(p.buffers[1].count(), 8);
    }

    #[test]
    fn ir_uses_parallel_atomic_bin_accumulation() {
        let p = sparse_fft_bin_hash("sig", "bins", 7, 1, 8, 64);
        let entry = format!("{:?}", p.entry());
        assert!(
            entry.contains("Atomic"),
            "Fix: sparse_fft_bin_hash must use atomic bin accumulation instead of serial stores: {entry}"
        );
        assert!(
            entry.contains("LocalId"),
            "Fix: sparse_fft_bin_hash must distribute samples across local lanes: {entry}"
        );
    }

    #[test]
    fn zero_n_traps() {
        let p = sparse_fft_bin_hash("s", "b", 1, 0, 4, 0);
        assert!(p.stats().trap());
    }

    #[test]
    fn zero_b_traps() {
        let p = sparse_fft_bin_hash("s", "b", 1, 0, 0, 4);
        assert!(p.stats().trap());
    }
}