tenferro_fft/

lib.rs

//! FFT extension operations for tenferro.
//!
//! This crate is an out-of-tree `ExtensionOp` package with an explicit
//! [`FftBackend`] capability. [`tenferro_cpu::CpuBackend`] implements the
//! capability through RustFFT. With the `webgpu` feature,
//! `tenferro_gpu::webgpu::WebGpuBackend` executes C32 CFFT, F32 one-sided RFFT, and
//! C32-to-F32 IRFFT through CubeK on its existing WebGPU placement. That first
//! GPU path supports power-of-two lengths only; unsupported operations and
//! dtypes return an error and never fall back to CPU or transfer tensor data.
//! With the `cuda` feature, `tenferro_gpu::cuda::CudaBackend` executes the
//! supported one-dimensional F32/F64/C32/C64 operations through dynamically
//! loaded cuFFT without implicit transfers or CPU fallback. The vendor call
//! synchronizes at the cuFFT FFI boundary; subsequent CUDA postprocessing and
//! explicit download remain stream-managed. On macOS,
//! `tenferro_gpu::apple::AppleContext` pairs that Metal backend with a
//! domain-bound CPU RustFFT backend. Backend choice remains explicit, while
//! matching managed tensors can be used without an intervening download.
//! Concrete non-AD execution uses
//! [`TensorFftExt`] and [`TensorReadFftExt`]. Eager execution uses
//! `EagerTensorFftExt` when `autodiff` is enabled, and traced graph
//! construction uses [`TracedTensorFftExt`].
//!
//! # Examples
//!
//! ```
//! use num_complex::Complex64;
//! use tenferro_cpu::CpuBackend;
//! use tenferro_runtime::{GraphCompiler, Runtime, TracedTensor};
//! use tenferro_fft::{FftNorm, TracedTensorFftExt};
//!
//! let x = TracedTensor::from_vec_col_major(
//!     vec![4],
//!     vec![
//!         Complex64::new(1.0, 0.0),
//!         Complex64::new(2.0, 0.0),
//!         Complex64::new(3.0, 0.0),
//!         Complex64::new(4.0, 0.0),
//!     ],
//! )
//! .unwrap();
//! let y = x.fft(None, -1, FftNorm::Backward).unwrap();
//!
//! let mut compiler = GraphCompiler::new();
//! let program = compiler.compile(&y).unwrap();
//! let backend = CpuBackend::new();
//! let engine_id = tenferro_cpu::runtime_engine_id().unwrap();
//! let mut builder = Runtime::builder();
//! builder
//!     .register_engine(tenferro_cpu::runtime_engine_registration(&backend).unwrap())
//!     .unwrap();
//! builder
//!     .install_extension_module(tenferro_fft::extension_module::<CpuBackend>(engine_id).unwrap())
//!     .unwrap();
//! let runtime = builder.build().unwrap();
//! let out = runtime.run_compiled(&program, &[]).unwrap().pop().unwrap();
//! assert_eq!(out.shape(), &[4]);
//! assert_eq!(out.as_slice::<Complex64>().unwrap()[0], Complex64::new(10.0, 0.0));
//! ```
//!
//! ```
//! # #[cfg(all(feature = "webgpu", target_os = "macos"))]
//! # {
//! use num_complex::Complex32;
//! use tenferro_cpu::CpuBackend;
//! use tenferro_fft::{FftNorm, TensorFftExt};
//! use tenferro_gpu::apple::AppleContext;
//! use tenferro_tensor::{BackendSessionHost, Tensor};
//!
//! if let Ok(context) = AppleContext::new() {
//!     let host = Tensor::from_vec_col_major(
//!         vec![4],
//!         vec![Complex32::new(1.0, 0.0); 4],
//!     ).unwrap();
//!     let input = context.upload_tensor(&host).unwrap();
//!     let after_creation = context.transfer_stats();
//!     let mut cpu = context.cpu_backend().clone();
//!     let cpu_output = cpu
//!         .with_backend_session(|session| input.fft(None, 0, FftNorm::Backward, session))
//!         .unwrap();
//!     let mut metal = context.metal_backend().clone();
//!     let output = metal
//!         .with_backend_session(|session| input.fft(None, 0, FftNorm::Backward, session))
//!         .unwrap();
//!     metal.synchronize().unwrap();
//!     assert_eq!(output.shape(), &[4]);
//!     assert_eq!(cpu_output.shape(), output.shape());
//!     assert_eq!(context.transfer_stats(), after_creation);
//! }
//! # }
//! ```
//!
//! ```
//! use num_complex::Complex64;
//! use tenferro_cpu::CpuBackend;
//! use tenferro_fft::{FftNorm, TensorFftExt};
//! use tenferro_tensor::{BackendSessionHost, Tensor};
//!
//! let x = Tensor::from_vec_col_major(vec![4], vec![1.0_f64, 2.0, 3.0, 4.0]).unwrap();
//! let mut backend = CpuBackend::new();
//! let out = backend
//!     .with_backend_session(|session| x.fft(None, -1, FftNorm::Backward, session))
//!     .unwrap();
//!
//! assert_eq!(out.as_slice::<Complex64>().unwrap()[0], Complex64::new(10.0, 0.0));
//! ```

use std::any::Any;
use std::hash::Hasher;
use std::num::NonZeroUsize;
use std::sync::Arc;

#[cfg(feature = "autodiff")]
use tenferro_ad::semantic_extension::{
    AdValue, ResidualSpec, SemanticAdError, SemanticExtensionRegistryError,
    SemanticExtensionRuleSet, SemanticLinearTransposeRequest, SemanticLinearTransposeRule,
    SemanticLinearizeRequest, SemanticLinearizeResult, SemanticLinearizeRule,
    SemanticPrimalVjpRequest, SemanticPrimalVjpRule,
};
use tenferro_cpu::with_cpu_exec_session;
use tenferro_extension_macros::define_extension_runtime;
#[cfg(feature = "cuda")]
use tenferro_gpu::cuda::{with_cuda_exec_session, CudaBackend};
#[cfg(feature = "webgpu")]
use tenferro_gpu::webgpu::with_webgpu_exec_session;
use tenferro_ops::SymDim;
use tenferro_runtime::extension::{
    apply, ExtensionCacheStore, ExtensionExecutionContext, ExtensionOp,
};
#[cfg(feature = "autodiff")]
use tenferro_runtime::program::{CoreSemanticOp, ProgramValue, SemanticProgramBuilder};
use tenferro_runtime::{Error, ErrorPhase, Result, TracedTensor};
use tenferro_tensor::{
    BackendSession, CacheStats, DType, ErrorKind, Tensor, TensorBackend, TensorRead,
    ValidationError,
};

mod backend;
mod cache;
mod cpu;
#[cfg(feature = "cuda")]
mod cuda;
#[cfg(feature = "autodiff")]
mod eager_ext;
#[cfg(feature = "autodiff")]
mod eager_in_place;
pub mod prelude;
mod spec;
#[cfg(feature = "webgpu")]
mod webgpu;

pub use backend::{FftBackend, FftExecutionCache};
pub use cache::{
    fft_plan_cache_selector, FftPlanCache, DEFAULT_FFT_PLAN_CACHE_CAPACITY, FFT_PLAN_CACHE_NAME,
};
#[cfg(feature = "autodiff")]
pub use eager_ext::EagerTensorFftExt;
#[cfg(feature = "autodiff")]
pub use eager_in_place::EagerFftInPlaceError;
pub use spec::{FftNorm, FftOperation, FftPlanSpec};

/// Extension family id used by the tenferro FFT extension.
///
/// # Examples
///
/// ```
/// assert_eq!(
///     tenferro_fft::FFT_EXTENSION_FAMILY_ID,
///     "tenferro-fft.fft.v1"
/// );
/// ```
pub const FFT_EXTENSION_FAMILY_ID: &str = "tenferro-fft.fft.v1";

/// Reusable concrete FFT executor with an explicitly owned backend-neutral cache.
///
/// Use this executor for repeated concrete FFT calls that should reuse backend
/// plans. The immediate [`TensorFftExt`] and [`TensorReadFftExt`] methods stay
/// one-shot and do not retain hidden process-global, thread-local, or
/// backend-owned plan state between calls.
#[derive(Default)]
pub struct FftExecutor {
    plans: FftPlanCache,
}

impl FftExecutor {
    /// Create an executor from a caller-configured FFT execution cache.
    pub fn new(plans: FftPlanCache) -> Self {
        Self { plans }
    }

    /// Inspect the owned backend-neutral FFT cache.
    pub const fn plan_cache(&self) -> &FftPlanCache {
        &self.plans
    }

    /// Mutably inspect or configure the owned backend-neutral FFT cache.
    pub fn plan_cache_mut(&mut self) -> &mut FftPlanCache {
        &mut self.plans
    }

    /// Snapshot aggregate statistics for every backend cache namespace.
    pub fn cache_stats(&self) -> CacheStats {
        self.plans.stats()
    }

    /// Remove every retained backend plan or workspace from this executor.
    pub fn clear_cache(&mut self) {
        self.plans.clear();
    }

    /// Execute a complex or full-spectrum real FFT while reusing owned plans.
    ///
    /// # Errors
    ///
    /// Returns [`tenferro_tensor::Error::Validation`] with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n`,
    /// [`tenferro_tensor::Error::Extension`] with [`ErrorKind::Unsupported`]
    /// for unsupported dtypes, a typed capability error when the session does
    /// not expose an FFT execution capability, or a typed backend source for
    /// execution.
    pub fn fft(
        &mut self,
        input: &Tensor,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        self.execute(
            input,
            concrete_fft_operation("FftExecutor::fft", input.dtype())?,
            "FftExecutor::fft",
            n,
            axis,
            norm,
            session,
        )
    }

    /// Execute an inverse complex FFT while reusing owned plans.
    ///
    /// # Errors
    ///
    /// Returns [`tenferro_tensor::Error::Validation`] with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n`,
    /// [`tenferro_tensor::Error::Extension`] with [`ErrorKind::Unsupported`]
    /// for a non-complex input, a typed capability error when the session does
    /// not expose an FFT execution capability, or a typed backend source for
    /// execution.
    pub fn ifft(
        &mut self,
        input: &Tensor,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        self.execute(
            input,
            concrete_ifft_operation("FftExecutor::ifft", input.dtype())?,
            "FftExecutor::ifft",
            n,
            axis,
            norm,
            session,
        )
    }

    /// Execute a real FFT while reusing owned plans.
    ///
    /// # Errors
    ///
    /// Returns [`tenferro_tensor::Error::Validation`] with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n`,
    /// [`tenferro_tensor::Error::Extension`] with [`ErrorKind::Unsupported`]
    /// for a non-real input, a typed capability error when the session does not
    /// expose an FFT execution capability, or a typed backend source for
    /// execution.
    pub fn rfft(
        &mut self,
        input: &Tensor,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        self.execute(
            input,
            concrete_rfft_operation("FftExecutor::rfft", input.dtype())?,
            "FftExecutor::rfft",
            n,
            axis,
            norm,
            session,
        )
    }

    /// Execute an inverse real FFT while reusing owned plans.
    ///
    /// # Errors
    ///
    /// Returns [`tenferro_tensor::Error::Validation`] with `AxisOutOfBounds`,
    /// `InvalidArgument`, or spectrum-length details,
    /// [`tenferro_tensor::Error::Extension`] with [`ErrorKind::Unsupported`]
    /// for a non-complex input, a typed capability error when the session does
    /// not expose an FFT execution capability, or a typed backend source for
    /// execution.
    pub fn irfft(
        &mut self,
        input: &Tensor,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        self.execute(
            input,
            concrete_irfft_operation("FftExecutor::irfft", input.dtype())?,
            "FftExecutor::irfft",
            n,
            axis,
            norm,
            session,
        )
    }

    #[allow(clippy::too_many_arguments)]
    fn execute(
        &mut self,
        input: &Tensor,
        operation: FftOperation,
        op_name: &'static str,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        let spec = concrete_fft_spec(
            op_name,
            operation,
            input.dtype(),
            input.shape(),
            n,
            axis,
            norm,
        )?;
        // The executor calls the concrete backend directly (no internal
        // session entry); the built-in dispatch only bridges the borrowed
        // session to its FFT execution capability.
        with_fft_exec_session(session, op_name, |backend| {
            backend.execute_fft(
                input,
                &spec,
                FftExecutionCache::caller_owned(&mut self.plans),
            )
        })
    }
}

/// FFT extension methods for [`TracedTensor`].
pub trait TracedTensorFftExt {
    /// Build a traced complex or full-spectrum real FFT.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n`, or `Error::Extension` with
    /// `ErrorKind::Unsupported` for integer, boolean, or otherwise unsupported
    /// dtypes.
    ///
    /// # Deferred errors
    ///
    /// Symbolic axis extents and extension execution failures are checked at
    /// compile or execution time after concrete inputs are bound.
    fn fft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor>;

    /// Build a traced inverse complex FFT.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n`, or `Error::Extension` with
    /// `ErrorKind::Unsupported` when the input is not `C32`/`C64`.
    ///
    /// # Deferred errors
    ///
    /// Symbolic shape and extension execution failures may be deferred to
    /// compile or execution.
    fn ifft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor>;

    /// Build a traced one-sided real FFT.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n`, or `Error::Extension` with
    /// `ErrorKind::Unsupported` when the input is not `F32`/`F64`.
    ///
    /// # Deferred errors
    ///
    /// Symbolic shape and extension execution failures may be deferred to
    /// compile or execution.
    fn rfft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor>;

    /// Build a traced inverse one-sided real FFT.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or
    /// `InvalidArgument` for invalid `axis`/`n` or spectrum length, or
    /// `Error::Extension` with `ErrorKind::Unsupported` for non-complex input.
    ///
    /// # Deferred errors
    ///
    /// Symbolic spectrum lengths and extension execution failures may be
    /// deferred to compile or execution.
    fn irfft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor>;
}

impl TracedTensorFftExt for TracedTensor {
    fn fft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor> {
        fft(self, n, axis, norm)
    }

    fn ifft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor> {
        ifft(self, n, axis, norm)
    }

    fn rfft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor> {
        rfft(self, n, axis, norm)
    }

    fn irfft(&self, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor> {
        irfft(self, n, axis, norm)
    }
}

/// Backend-explicit FFT methods for concrete [`Tensor`] values.
///
/// This is the non-AD immediate execution surface. It uses unsuffixed method
/// names because the receiver is an owned compact tensor value. Use
/// [`TensorReadFftExt`] when the input is a borrowed view or other
/// [`TensorRead`] value.
///
/// Direct calls intentionally use a call-local one-shot FFT plan cache. Use
/// [`FftExecutor`] for repeated concrete calls with stable transform lengths,
/// or traced/runtime execution when the runtime should own the extension cache.
///
/// # Examples
///
/// ```
/// use num_complex::Complex64;
/// use tenferro_cpu::CpuBackend;
/// use tenferro_fft::{FftNorm, TensorFftExt};
/// use tenferro_tensor::{BackendSessionHost, Tensor};
///
/// let input = Tensor::from_vec_col_major(vec![4], vec![1.0_f64, 2.0, 3.0, 4.0])?;
/// let mut backend = CpuBackend::new();
///
/// let spectrum = backend
///     .with_backend_session(|session| input.fft(None, -1, FftNorm::Backward, session))?;
/// assert_eq!(spectrum.shape(), &[4]);
/// assert_eq!(spectrum.as_slice::<Complex64>()?[0], Complex64::new(10.0, 0.0));
/// # Ok::<(), tenferro_tensor::Error>(())
/// ```
pub trait TensorFftExt {
    /// Execute a one-dimensional FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or `InvalidArgument`
    /// for `axis`/`n`, `Error::Extension` with `ErrorKind::Unsupported` for an
    /// integer or boolean input, a typed capability error when the session
    /// does not expose an FFT execution capability, or a typed backend source
    /// for execution.
    fn fft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;

    /// Execute a one-dimensional inverse FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or `InvalidArgument`
    /// for `axis`/`n`, `Error::Extension` with `ErrorKind::Unsupported` for a
    /// non-complex input, a typed capability error when the session does not
    /// expose an FFT execution capability, or a typed backend source for
    /// execution.
    fn ifft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;

    /// Execute a one-dimensional real FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or `InvalidArgument`
    /// for `axis`/`n`, `Error::Extension` with `ErrorKind::Unsupported` for a
    /// non-`F32`/`F64` input, a typed capability error when the session does
    /// not expose an FFT execution capability, or a typed backend source for
    /// execution.
    fn rfft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;

    /// Execute a one-dimensional inverse real FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds`, `InvalidArgument`,
    /// or spectrum-length details, `Error::Extension` with
    /// `ErrorKind::Unsupported` for a non-complex input, a typed capability
    /// error when the session does not expose an FFT execution capability, or
    /// a typed backend source for execution.
    fn irfft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;
}

impl TensorFftExt for Tensor {
    fn fft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        let spec = concrete_fft_spec(
            "TensorFftExt::fft",
            concrete_fft_operation("TensorFftExt::fft", self.dtype())?,
            self.dtype(),
            self.shape(),
            n,
            axis,
            norm,
        )?;
        with_fft_exec_session(session, "TensorFftExt::fft", |backend| {
            execute_concrete_fft_op(self, &spec, backend)
        })
    }

    fn ifft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        let spec = concrete_fft_spec(
            "TensorFftExt::ifft",
            concrete_ifft_operation("TensorFftExt::ifft", self.dtype())?,
            self.dtype(),
            self.shape(),
            n,
            axis,
            norm,
        )?;
        with_fft_exec_session(session, "TensorFftExt::ifft", |backend| {
            execute_concrete_fft_op(self, &spec, backend)
        })
    }

    fn rfft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        let spec = concrete_fft_spec(
            "TensorFftExt::rfft",
            concrete_rfft_operation("TensorFftExt::rfft", self.dtype())?,
            self.dtype(),
            self.shape(),
            n,
            axis,
            norm,
        )?;
        with_fft_exec_session(session, "TensorFftExt::rfft", |backend| {
            execute_concrete_fft_op(self, &spec, backend)
        })
    }

    fn irfft(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        let spec = concrete_fft_spec(
            "TensorFftExt::irfft",
            concrete_irfft_operation("TensorFftExt::irfft", self.dtype())?,
            self.dtype(),
            self.shape(),
            n,
            axis,
            norm,
        )?;
        with_fft_exec_session(session, "TensorFftExt::irfft", |backend| {
            execute_concrete_fft_op(self, &spec, backend)
        })
    }
}

/// Backend-explicit FFT methods for read-only tensor inputs.
///
/// The `_read` suffix follows the repository convention for APIs that
/// explicitly accept [`TensorRead`] values such as borrowed views.
///
/// Direct read calls intentionally materialize through a call-local one-shot
/// FFT plan cache. Use [`FftExecutor`] on compact owned tensors when repeated
/// concrete calls should retain backend plans across calls.
///
/// # Examples
///
/// ```
/// use num_complex::Complex64;
/// use tenferro_cpu::CpuBackend;
/// use tenferro_fft::{FftNorm, TensorReadFftExt};
/// use tenferro_tensor::{BackendSessionHost, TensorRead, TensorView};
///
/// let shape = [4usize];
/// let data = [1.0_f64, 2.0, 3.0, 4.0];
/// let input = TensorRead::from_view(TensorView::f64(&shape, &data)?);
/// let mut backend = CpuBackend::new();
///
/// let spectrum = backend
///     .with_backend_session(|session| input.fft_read(None, -1, FftNorm::Backward, session))?;
/// assert_eq!(spectrum.as_slice::<Complex64>()?[0], Complex64::new(10.0, 0.0));
/// # Ok::<(), tenferro_tensor::Error>(())
/// ```
pub trait TensorReadFftExt {
    /// Execute a one-dimensional FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or `InvalidArgument`
    /// for `axis`/`n`, `Error::Extension` with `ErrorKind::Unsupported` for an
    /// integer or boolean input, a typed capability error when the session
    /// does not expose an FFT execution capability, or a typed backend source
    /// for materialization or execution.
    fn fft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;

    /// Execute a one-dimensional inverse FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or `InvalidArgument`
    /// for `axis`/`n`, `Error::Extension` with `ErrorKind::Unsupported` for a
    /// non-complex input, a typed capability error when the session does not
    /// expose an FFT execution capability, or a typed backend source for
    /// materialization.
    fn ifft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;

    /// Execute a one-dimensional real FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds` or `InvalidArgument`
    /// for `axis`/`n`, `Error::Extension` with `ErrorKind::Unsupported` for a
    /// non-`F32`/`F64` input, a typed capability error when the session does
    /// not expose an FFT execution capability, or a typed backend source for
    /// materialization.
    fn rfft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;

    /// Execute a one-dimensional inverse real FFT along `axis`.
    ///
    /// # Errors
    ///
    /// Returns `Error::Validation` with `AxisOutOfBounds`, `InvalidArgument`,
    /// or spectrum-length details, `Error::Extension` with
    /// `ErrorKind::Unsupported` for a non-complex input, a typed capability
    /// error when the session does not expose an FFT execution capability, or
    /// a typed backend source for materialization.
    fn irfft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor>;
}

impl TensorReadFftExt for TensorRead<'_> {
    fn fft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        with_fft_exec_session(session, "TensorReadFftExt::fft_read", |backend| {
            execute_concrete_fft_read_op(
                self,
                concrete_fft_operation("TensorReadFftExt::fft_read", self.dtype())?,
                "TensorReadFftExt::fft_read",
                n,
                axis,
                norm,
                backend,
            )
        })
    }

    fn ifft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        with_fft_exec_session(session, "TensorReadFftExt::ifft_read", |backend| {
            execute_concrete_fft_read_op(
                self,
                concrete_ifft_operation("TensorReadFftExt::ifft_read", self.dtype())?,
                "TensorReadFftExt::ifft_read",
                n,
                axis,
                norm,
                backend,
            )
        })
    }

    fn rfft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        with_fft_exec_session(session, "TensorReadFftExt::rfft_read", |backend| {
            execute_concrete_fft_read_op(
                self,
                concrete_rfft_operation("TensorReadFftExt::rfft_read", self.dtype())?,
                "TensorReadFftExt::rfft_read",
                n,
                axis,
                norm,
                backend,
            )
        })
    }

    fn irfft_read(
        &self,
        n: Option<usize>,
        axis: isize,
        norm: FftNorm,
        session: &mut dyn BackendSession,
    ) -> tenferro_tensor::Result<Tensor> {
        with_fft_exec_session(session, "TensorReadFftExt::irfft_read", |backend| {
            execute_concrete_fft_read_op(
                self,
                concrete_irfft_operation("TensorReadFftExt::irfft_read", self.dtype())?,
                "TensorReadFftExt::irfft_read",
                n,
                axis,
                norm,
                backend,
            )
        })
    }
}

#[derive(Debug, thiserror::Error)]
enum FftError {
    #[error("{op} does not support dtype {dtype:?}; expected {expected}")]
    UnsupportedDType {
        op: &'static str,
        dtype: DType,
        expected: &'static str,
    },
}

#[derive(Clone, Debug, PartialEq)]
struct FftOp {
    operation: FftOperation,
    axis: usize,
    n: Option<usize>,
    norm: FftNorm,
}

impl FftOp {
    fn new(operation: FftOperation, axis: usize, n: Option<usize>, norm: FftNorm) -> Self {
        Self {
            operation,
            axis,
            n,
            norm,
        }
    }

    #[cfg(feature = "autodiff")]
    fn c2c_adjoint(&self) -> Option<Self> {
        match self.operation {
            FftOperation::C2cForward => Some(Self {
                operation: FftOperation::C2cInverse,
                axis: self.axis,
                n: self.n,
                norm: self.norm.c2c_adjoint(),
            }),
            FftOperation::C2cInverse => Some(Self {
                operation: FftOperation::C2cForward,
                axis: self.axis,
                n: self.n,
                norm: self.norm.c2c_adjoint(),
            }),
            FftOperation::R2cFull | FftOperation::R2cOnesided | FftOperation::C2r => None,
        }
    }
}

impl ExtensionOp for FftOp {
    fn family_id(&self) -> &'static str {
        FFT_EXTENSION_FAMILY_ID
    }

    fn payload_hash(&self, hasher: &mut dyn Hasher) {
        let operation = match self.operation {
            FftOperation::C2cForward => 0,
            FftOperation::C2cInverse => 1,
            FftOperation::R2cOnesided => 2,
            FftOperation::R2cFull => 3,
            FftOperation::C2r => 4,
        };
        hasher.write_u8(operation);
        hasher.write_usize(self.axis);
        match self.n {
            Some(n) => {
                hasher.write_u8(1);
                hasher.write_usize(n);
            }
            None => hasher.write_u8(0),
        }
        let norm = match self.norm {
            FftNorm::Backward => 0,
            FftNorm::Forward => 1,
            FftNorm::Ortho => 2,
        };
        hasher.write_u8(norm);
    }

    fn payload_eq(&self, other: &dyn ExtensionOp) -> bool {
        other
            .as_any()
            .downcast_ref::<FftOp>()
            .is_some_and(|that| self == that)
    }

    fn clone_arc(&self) -> Arc<dyn ExtensionOp> {
        Arc::new(self.clone())
    }

    fn as_any(&self) -> &dyn Any {
        self
    }

    fn input_count(&self) -> usize {
        1
    }

    fn output_count(&self) -> usize {
        1
    }

    fn semantic_effects(&self) -> tenferro_ops::ext_op::ExtensionEffectDeclaration<'_> {
        tenferro_ops::ext_op::ExtensionEffectDeclaration::Declared(&[])
    }

    fn semantic_aliases(&self) -> tenferro_ops::ext_op::ExtensionAliasDeclaration<'_> {
        tenferro_ops::ext_op::ExtensionAliasDeclaration::AllFresh
    }

    fn infer_output_meta(
        &self,
        ctx: &mut tenferro_ops::ExtensionShapeContext<'_>,
    ) -> tenferro_tensor::Result<Vec<(DType, Vec<SymDim>)>> {
        let input_dtype = ctx.input_dtype(0)?;
        let input_shape = ctx.input_shape(0)?;
        if self.axis >= input_shape.len() {
            return Err(tenferro_tensor::Error::axis_out_of_bounds(
                "tenferro-fft",
                self.axis,
                input_shape.len(),
            ));
        }

        let mut out_shape = input_shape.to_vec();
        let output_dtype = match self.operation {
            FftOperation::C2cForward | FftOperation::C2cInverse => {
                if !matches!(input_dtype, DType::C32 | DType::C64) {
                    return Err(tensor_unsupported_dtype(
                        "tenferro-fft",
                        input_dtype,
                        "C32 or C64",
                    ));
                }
                input_dtype
            }
            FftOperation::R2cFull | FftOperation::R2cOnesided => {
                let len = transform_len_dim(self.n, &input_shape[self.axis]);
                out_shape[self.axis] = if self.operation.is_onesided() {
                    len / 2usize + 1usize
                } else {
                    len
                };
                match input_dtype {
                    DType::F32 => DType::C32,
                    DType::F64 => DType::C64,
                    _ => {
                        return Err(tensor_unsupported_dtype(
                            "tenferro-fft",
                            input_dtype,
                            "F32 or F64",
                        ));
                    }
                }
            }
            FftOperation::C2r => {
                out_shape[self.axis] = output_dim_c2r(&input_shape[self.axis], self.n)?;
                match input_dtype {
                    DType::C32 => DType::F32,
                    DType::C64 => DType::F64,
                    _ => {
                        return Err(tensor_unsupported_dtype(
                            "tenferro-fft",
                            input_dtype,
                            "C32 or C64",
                        ));
                    }
                }
            }
        };

        if self.operation.is_c2c() {
            out_shape[self.axis] = transform_len_dim(self.n, &input_shape[self.axis]);
        }

        Ok(vec![(output_dtype, out_shape)])
    }
}

/// Run a concrete FFT body against the built-in FFT execution sessions
/// carried by `session` (CPU/CUDA/WebGPU), returning a typed capability error
/// when the session does not expose an FFT execution capability.
///
/// This is the built-in dispatch shared by the concrete FFT surface; callers
/// never downcast themselves (issue #1680 Phase 3). Third-party
/// [`FftBackend`] implementations remain supported through the SPI trait, but
/// the concrete op path is built-in-session only.
fn with_fft_exec_session<X>(
    session: &mut dyn BackendSession,
    op: &'static str,
    f: impl FnOnce(&mut dyn FftBackend) -> tenferro_tensor::Result<X>,
) -> tenferro_tensor::Result<X> {
    // The capability branches are mutually exclusive, so `f` runs exactly
    // once. Probe the marker first, then re-extract the same exec session and
    // run the concrete body on it (FnOnce cannot be captured by several
    // branch closures).
    if with_cpu_exec_session(session, |_| ()).is_some() {
        return with_cpu_exec_session(session, |exec| f(exec as &mut dyn FftBackend))
            .expect("marker probe matched a CPU execution session");
    }
    #[cfg(feature = "cuda")]
    if with_cuda_exec_session(session, |_| ()).is_some() {
        return with_cuda_exec_session(session, |exec| f(exec as &mut dyn FftBackend))
            .expect("marker probe matched a CUDA execution session");
    }
    #[cfg(feature = "webgpu")]
    if with_webgpu_exec_session(session, |_| ()).is_some() {
        return with_webgpu_exec_session(session, |exec| f(exec as &mut dyn FftBackend))
            .expect("marker probe matched a WebGPU execution session");
    }
    Err(tenferro_tensor::Error::unsupported(
        op,
        "selected backend session does not expose an FFT execution capability",
    ))
}

fn execute_concrete_fft_op(
    input: &Tensor,
    spec: &FftPlanSpec,
    backend: &mut dyn FftBackend,
) -> tenferro_tensor::Result<Tensor> {
    let mut plans = FftPlanCache::with_capacity(NonZeroUsize::MIN);
    backend.execute_fft(input, spec, FftExecutionCache::caller_owned(&mut plans))
}

#[allow(clippy::too_many_arguments)]
fn execute_concrete_fft_read_op(
    input: &TensorRead<'_>,
    operation: FftOperation,
    op_name: &'static str,
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
    backend: &mut dyn FftBackend,
) -> tenferro_tensor::Result<Tensor> {
    let spec = concrete_fft_spec(
        op_name,
        operation,
        input.dtype(),
        input.shape(),
        n,
        axis,
        norm,
    )?;
    let mut plans = FftPlanCache::with_capacity(NonZeroUsize::MIN);
    backend.execute_fft_read(
        input.clone(),
        &spec,
        FftExecutionCache::caller_owned(&mut plans),
    )
}

#[allow(clippy::too_many_arguments)]
fn concrete_fft_spec(
    op: &'static str,
    operation: FftOperation,
    input_dtype: DType,
    input_shape: &[usize],
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
) -> tenferro_tensor::Result<FftPlanSpec> {
    validate_concrete_n(op, n)?;
    let axis = normalize_concrete_axis(op, axis, input_shape.len())?;
    validated_fft_plan_spec(op, operation, input_dtype, input_shape, n, axis, norm)
}

#[allow(clippy::too_many_arguments)]
fn validated_fft_plan_spec(
    op: &'static str,
    operation: FftOperation,
    input_dtype: DType,
    input_shape: &[usize],
    n: Option<usize>,
    axis: usize,
    norm: FftNorm,
) -> tenferro_tensor::Result<FftPlanSpec> {
    validate_concrete_n(op, n)?;
    validate_operation_dtype(op, operation, input_dtype)?;
    validate_axis(op, input_shape, axis)?;
    validate_concrete_transform_len(op, input_shape, n, axis)?;
    if operation == FftOperation::C2r {
        output_shape_c2r(input_shape, axis, n)?;
    }
    Ok(FftPlanSpec::new(
        operation,
        axis,
        n,
        norm,
        input_dtype,
        input_shape.to_vec(),
    ))
}

fn concrete_fft_operation(op: &'static str, dtype: DType) -> tenferro_tensor::Result<FftOperation> {
    match dtype {
        DType::C32 | DType::C64 => Ok(FftOperation::C2cForward),
        DType::F32 | DType::F64 => Ok(FftOperation::R2cFull),
        DType::I32 | DType::I64 | DType::Bool => {
            Err(tensor_unsupported_dtype(op, dtype, "F32, F64, C32, or C64"))
        }
    }
}

fn concrete_ifft_operation(
    op: &'static str,
    dtype: DType,
) -> tenferro_tensor::Result<FftOperation> {
    match dtype {
        DType::C32 | DType::C64 => Ok(FftOperation::C2cInverse),
        DType::F32 | DType::F64 | DType::I32 | DType::I64 | DType::Bool => {
            Err(tensor_unsupported_dtype(op, dtype, "C32 or C64"))
        }
    }
}

fn concrete_rfft_operation(
    op: &'static str,
    dtype: DType,
) -> tenferro_tensor::Result<FftOperation> {
    match dtype {
        DType::F32 | DType::F64 => Ok(FftOperation::R2cOnesided),
        DType::C32 | DType::C64 | DType::I32 | DType::I64 | DType::Bool => {
            Err(tensor_unsupported_dtype(op, dtype, "F32 or F64"))
        }
    }
}

fn concrete_irfft_operation(
    op: &'static str,
    dtype: DType,
) -> tenferro_tensor::Result<FftOperation> {
    match dtype {
        DType::C32 | DType::C64 => Ok(FftOperation::C2r),
        DType::F32 | DType::F64 | DType::I32 | DType::I64 | DType::Bool => {
            Err(tensor_unsupported_dtype(op, dtype, "C32 or C64"))
        }
    }
}

fn validate_operation_dtype(
    op: &'static str,
    operation: FftOperation,
    dtype: DType,
) -> tenferro_tensor::Result<()> {
    let supported = match operation {
        FftOperation::C2cForward | FftOperation::C2cInverse | FftOperation::C2r => {
            matches!(dtype, DType::C32 | DType::C64)
        }
        FftOperation::R2cFull | FftOperation::R2cOnesided => {
            matches!(dtype, DType::F32 | DType::F64)
        }
    };
    if supported {
        Ok(())
    } else {
        Err(tensor_unsupported_dtype(
            op,
            dtype,
            expected_dtype_description(operation),
        ))
    }
}

fn validate_concrete_n(op: &'static str, n: Option<usize>) -> tenferro_tensor::Result<()> {
    if n == Some(0) {
        return Err(tenferro_tensor::Error::invalid_argument(
            op,
            "n",
            "transform length must be positive",
        ));
    }
    Ok(())
}

fn validate_concrete_transform_len(
    op: &'static str,
    input_shape: &[usize],
    n: Option<usize>,
    axis: usize,
) -> tenferro_tensor::Result<()> {
    if n.is_none() && input_shape.get(axis).copied() == Some(0) {
        return Err(tenferro_tensor::Error::invalid_argument(
            op,
            "n",
            "transform length must be positive",
        ));
    }
    Ok(())
}

fn normalize_concrete_axis(
    op: &'static str,
    axis: isize,
    rank: usize,
) -> tenferro_tensor::Result<usize> {
    if rank == 0 {
        return Err(tenferro_tensor::Error::invalid_argument(
            op,
            "rank",
            "FFT requires rank >= 1",
        ));
    }
    let normalized = if axis >= 0 {
        axis as usize
    } else {
        rank.checked_sub(axis.unsigned_abs()).ok_or_else(|| {
            tenferro_tensor::Error::axis_out_of_bounds(op, axis.unsigned_abs(), rank)
        })?
    };
    if normalized >= rank {
        return Err(tenferro_tensor::Error::axis_out_of_bounds(
            op, normalized, rank,
        ));
    }
    Ok(normalized)
}

fn tensor_unsupported_dtype(
    op: &'static str,
    dtype: DType,
    expected: &'static str,
) -> tenferro_tensor::Error {
    tenferro_tensor::Error::extension(
        op,
        FFT_EXTENSION_FAMILY_ID,
        ErrorKind::Unsupported,
        FftError::UnsupportedDType {
            op,
            dtype,
            expected,
        },
    )
}

#[cfg(feature = "autodiff")]
#[derive(Debug)]
struct FftAdRule;

#[cfg(feature = "autodiff")]
impl SemanticLinearizeRule for FftAdRule {
    fn family_id(&self) -> &'static str {
        FFT_EXTENSION_FAMILY_ID
    }

    fn linearize(
        &self,
        request: SemanticLinearizeRequest<'_>,
        builder: &mut SemanticProgramBuilder,
    ) -> std::result::Result<SemanticLinearizeResult, SemanticAdError> {
        let fft_op = semantic_fft_payload(request.op(), SemanticAdRuleKind::Linearize)?;
        if !fft_op.operation.is_c2c() {
            return Err(semantic_fft_unsupported(
                fft_op.operation,
                SemanticAdRuleKind::Linearize,
            ));
        }
        let tangent = match request.tangent_inputs()[0] {
            AdValue::Absent => AdValue::Absent,
            AdValue::Value(tangent) => {
                AdValue::Value(builder.add_extension(Arc::new(fft_op.clone()), &[tangent])?[0])
            }
        };
        Ok(SemanticLinearizeResult::new([tangent], []))
    }
}

#[cfg(feature = "autodiff")]
impl SemanticLinearTransposeRule for FftAdRule {
    fn family_id(&self) -> &'static str {
        FFT_EXTENSION_FAMILY_ID
    }

    fn residual_mask(&self) -> ResidualSpec {
        // The variable-length adjoint path reads primal input 0 as a tensor
        // (ShapeOf + PadToMatch against the original input).
        ResidualSpec::input(0)
    }

    fn linear_transpose(
        &self,
        request: SemanticLinearTransposeRequest<'_>,
        builder: &mut SemanticProgramBuilder,
    ) -> std::result::Result<Box<[AdValue]>, SemanticAdError> {
        Ok([semantic_fft_adjoint(
            request.op(),
            request.cotangent_outputs()[0],
            request.active_inputs()[0],
            request.primal_input_value(0)?,
            request.residual_mask(),
            builder,
        )?]
        .into())
    }
}

#[cfg(feature = "autodiff")]
impl SemanticPrimalVjpRule for FftAdRule {
    fn family_id(&self) -> &'static str {
        FFT_EXTENSION_FAMILY_ID
    }

    fn residual_mask(&self) -> ResidualSpec {
        ResidualSpec::input(0)
    }

    fn primal_vjp(
        &self,
        request: SemanticPrimalVjpRequest<'_>,
        builder: &mut SemanticProgramBuilder,
    ) -> std::result::Result<Box<[AdValue]>, SemanticAdError> {
        Ok([semantic_fft_adjoint(
            request.op(),
            request.cotangent_outputs()[0],
            request.active_inputs()[0],
            request.primal_input_value(0)?,
            request.residual_mask(),
            builder,
        )?]
        .into())
    }
}

#[cfg(feature = "autodiff")]
#[derive(Clone, Copy)]
enum SemanticAdRuleKind {
    Linearize,
    Transpose,
}

#[cfg(feature = "autodiff")]
fn semantic_fft_payload(
    op: &dyn ExtensionOp,
    role: SemanticAdRuleKind,
) -> std::result::Result<&FftOp, SemanticAdError> {
    op.as_any().downcast_ref::<FftOp>().ok_or_else(|| {
        semantic_fft_unsupported_family(
            FFT_EXTENSION_FAMILY_ID,
            role,
            "FFT semantic AD received an incompatible extension payload",
        )
    })
}

#[cfg(feature = "autodiff")]
fn semantic_fft_adjoint(
    op: &dyn ExtensionOp,
    cotangent: AdValue,
    active: bool,
    primal_input: ProgramValue,
    residual_mask: ResidualSpec,
    builder: &mut SemanticProgramBuilder,
) -> std::result::Result<AdValue, SemanticAdError> {
    if !active {
        return Ok(AdValue::Absent);
    }
    let AdValue::Value(cotangent) = cotangent else {
        return Ok(AdValue::Absent);
    };
    let fft_op = semantic_fft_payload(op, SemanticAdRuleKind::Transpose)?;
    if !fft_op.operation.is_c2c() {
        return Err(semantic_fft_unsupported(
            fft_op.operation,
            SemanticAdRuleKind::Transpose,
        ));
    }
    let adjoint_op = fft_op
        .c2c_adjoint()
        .ok_or_else(|| semantic_fft_unsupported(fft_op.operation, SemanticAdRuleKind::Transpose))?;
    let adjoint = builder.add_extension(Arc::new(adjoint_op), &[cotangent])?[0];
    restore_semantic_c2c_adjoint_input_length(builder, adjoint, primal_input, residual_mask, fft_op)
        .map(AdValue::Value)
}

#[cfg(feature = "autodiff")]
fn restore_semantic_c2c_adjoint_input_length(
    builder: &mut SemanticProgramBuilder,
    adjoint: ProgramValue,
    primal_input: ProgramValue,
    residual_mask: ResidualSpec,
    fft_op: &FftOp,
) -> std::result::Result<ProgramValue, SemanticAdError> {
    let Some(transform_len) = fft_op.n else {
        return Ok(adjoint);
    };
    debug_assert!(
        residual_mask.declares_input(0),
        "fft transpose read primal input 0 as a tensor operand but the residual mask does not \
         declare it; declare it in the fft rule's residual mask"
    );
    let input_len = builder
        .value_metadata(primal_input)?
        .shape()
        .get(fft_op.axis)
        .and_then(|extent| extent.as_exact())
        .and_then(|dim| match dim {
            tenferro_ops::dim_expr::DimExpr::Const(value) => Some(*value),
            _ => None,
        });
    if input_len == Some(transform_len) {
        return Ok(adjoint);
    }

    let size = builder.add_op(
        CoreSemanticOp::ShapeOf { axis: fft_op.axis },
        &[primal_input],
    )?[0];
    let truncated = builder.add_op(
        CoreSemanticOp::DynamicTruncate { axis: fft_op.axis },
        &[adjoint, size],
    )?[0];
    Ok(builder.add_op(
        CoreSemanticOp::PadToMatch { axis: fft_op.axis },
        &[truncated, primal_input],
    )?[0])
}

#[cfg(feature = "autodiff")]
fn semantic_fft_unsupported(operation: FftOperation, role: SemanticAdRuleKind) -> SemanticAdError {
    semantic_fft_unsupported_family(
        fft_ad_family_id(operation),
        role,
        "FFT operation has no semantic AD rule",
    )
}

#[cfg(feature = "autodiff")]
fn semantic_fft_unsupported_family(
    family_id: &'static str,
    role: SemanticAdRuleKind,
    message: impl Into<String>,
) -> SemanticAdError {
    SemanticAdError::Unsupported {
        family_id,
        role: match role {
            SemanticAdRuleKind::Linearize => {
                tenferro_ad::semantic_extension::SemanticAdRuleRole::Linearize
            }
            SemanticAdRuleKind::Transpose => {
                tenferro_ad::semantic_extension::SemanticAdRuleRole::LinearTranspose
            }
        },
        message: message.into(),
    }
}

/// Return the semantic-program FFT extension AD rule set.
#[cfg(feature = "autodiff")]
///
/// # Errors
///
/// Returns [`SemanticExtensionRegistryError::MalformedFamilyId`] if the FFT
/// family identifier is invalid, or
/// [`SemanticExtensionRegistryError::DuplicateRule`] if a rule for the family
/// and role is already registered.
pub fn semantic_ad_rules(
) -> std::result::Result<SemanticExtensionRuleSet, SemanticExtensionRegistryError> {
    SemanticExtensionRuleSet::new()
        .with_linearize(Arc::new(FftAdRule))?
        .with_linear_transpose(Arc::new(FftAdRule))?
        .with_primal_vjp(Arc::new(FftAdRule))
}

pub(crate) fn execute_fft_extension_reads_owner<B: TensorBackend + 'static>(
    op: &FftOp,
    inputs: &[TensorRead<'_>],
    ctx: &mut ExtensionExecutionContext<'_, B>,
) -> tenferro_tensor::Result<Vec<Tensor>> {
    let (backend, caches) = ctx.parts_mut();
    backend.with_backend_session(|session| {
        execute_fft_extension_reads_on_session(op, inputs, session, caches)
    })
}

pub(crate) fn execute_fft_extension_reads_session(
    op: &FftOp,
    inputs: &[TensorRead<'_>],
    ctx: &mut ExtensionExecutionContext<'_, dyn BackendSession + '_>,
) -> tenferro_tensor::Result<Vec<Tensor>> {
    let (session, caches) = ctx.parts_mut();
    execute_fft_extension_reads_on_session(op, inputs, session, caches)
}

fn execute_fft_extension_reads_for_capability<B: FftBackend + ?Sized>(
    op: &FftOp,
    inputs: &[TensorRead<'_>],
    session: &mut B,
    caches: &mut ExtensionCacheStore,
) -> tenferro_tensor::Result<Vec<Tensor>> {
    if inputs.len() != 1 {
        return Err(tenferro_tensor::Error::invalid_argument(
            "tenferro-fft",
            "inputs",
            format!("expected 1 input, got {}", inputs.len()),
        ));
    }
    let input = &inputs[0];
    session.validate_fft_read_input(fft_op_name(op.operation), input)?;
    let spec = validated_fft_plan_spec(
        fft_op_name(op.operation),
        op.operation,
        input.dtype(),
        input.shape(),
        op.n,
        op.axis,
        op.norm,
    )?;
    let output = session.execute_fft_read(
        input.clone(),
        &spec,
        FftExecutionCache::runtime_owned(caches),
    )?;
    Ok(vec![output])
}

fn execute_fft_extension_reads_on_session(
    op: &FftOp,
    inputs: &[TensorRead<'_>],
    session: &mut dyn BackendSession,
    caches: &mut ExtensionCacheStore,
) -> tenferro_tensor::Result<Vec<Tensor>> {
    if let Some(result) = with_cpu_exec_session(session, |session| {
        execute_fft_extension_reads_for_capability(op, inputs, session, caches)
    }) {
        return result;
    }
    #[cfg(feature = "cuda")]
    if let Some(result) = with_cuda_exec_session(session, |session| {
        execute_fft_extension_reads_for_capability(op, inputs, session, caches)
    }) {
        return result;
    }
    #[cfg(feature = "webgpu")]
    if let Some(result) = with_webgpu_exec_session(session, |session| {
        execute_fft_extension_reads_for_capability(op, inputs, session, caches)
    }) {
        return result;
    }
    Err(tenferro_tensor::Error::unsupported(
        fft_op_name(op.operation),
        "selected backend session does not expose an FFT execution capability",
    ))
}

define_extension_runtime! {
    runtime = FftRuntime,
    family_id = FFT_EXTENSION_FAMILY_ID,
    op_type = FftOp,
    execute = execute_fft_extension_reads_owner,
    execute_reads = execute_fft_extension_reads_owner,
    execute_in_session = execute_fft_extension_reads_in_session,
    session_supported = fft_session_supported,
    backend_bound = TensorBackend,
}

/// Adapter from the scheduler/`apply_eager` borrowed-session shape to the
/// existing FFT session executor. Reuses the same forward kernel already shared
/// by the owner and eager paths; do not reimplement it here.
fn execute_fft_extension_reads_in_session(
    op: &FftOp,
    session: &mut dyn BackendSession,
    caches: &mut ExtensionCacheStore,
    inputs: &[TensorRead<'_>],
) -> tenferro_tensor::Result<Vec<Tensor>> {
    let mut ctx = ExtensionExecutionContext::new(session, caches);
    execute_fft_extension_reads_session(op, inputs, &mut ctx)
}

fn fft_session_supported<B: BackendSession + 'static>(_op: &FftOp) -> bool {
    // The session executor routes CPU/CUDA/WebGPU through their FftBackend exec
    // sessions; keep scheduler-session admission consistent with the backends
    // that `execute_fft_extension_reads_on_session` actually handles.
    let type_id = std::any::TypeId::of::<B>();
    type_id == std::any::TypeId::of::<tenferro_cpu::CpuBackend>() || {
        #[cfg(feature = "cuda")]
        {
            type_id == std::any::TypeId::of::<CudaBackend>()
        }
        #[cfg(not(feature = "cuda"))]
        {
            false
        }
    }
}

/// Build a one-dimensional FFT along `axis`.
///
/// Complex inputs use a complex-to-complex transform. Real inputs use a
/// real-to-complex transform that returns the full complex spectrum.
///
/// # Examples
///
/// ```
/// use num_complex::Complex64;
/// use tenferro_cpu::CpuBackend;
/// use tenferro_runtime::{GraphCompiler, Runtime, TracedTensor};
/// use tenferro_fft::{FftNorm, TracedTensorFftExt};
///
/// let x = TracedTensor::from_vec_col_major(vec![2], vec![Complex64::new(1.0, 0.0), Complex64::new(2.0, 0.0)]).unwrap();
/// let y = x.fft(None, -1, FftNorm::Backward).unwrap();
///
/// let mut compiler = GraphCompiler::new();
/// let program = compiler.compile(&y).unwrap();
/// let backend = CpuBackend::new();
/// let engine_id = tenferro_cpu::runtime_engine_id().unwrap();
/// let mut builder = Runtime::builder();
/// builder
///     .register_engine(tenferro_cpu::runtime_engine_registration(&backend).unwrap())
///     .unwrap();
/// builder
///     .install_extension_module(tenferro_fft::extension_module::<CpuBackend>(engine_id).unwrap())
///     .unwrap();
/// let runtime = builder.build().unwrap();
/// let out = runtime.run_compiled(&program, &[]).unwrap().pop().unwrap();
/// assert_eq!(out.as_slice::<Complex64>().unwrap()[0], Complex64::new(3.0, 0.0));
/// ```
fn fft(input: &TracedTensor, n: Option<usize>, axis: isize, norm: FftNorm) -> Result<TracedTensor> {
    let operation = runtime_forward_fft_operation(input.dtype)?;
    apply_unary_fft("fft", input, operation, n, axis, norm)
}

/// Build a one-dimensional inverse FFT along `axis`.
///
/// # Examples
///
/// ```
/// use num_complex::Complex64;
/// use tenferro_cpu::CpuBackend;
/// use tenferro_runtime::{GraphCompiler, Runtime, TracedTensor};
/// use tenferro_fft::{FftNorm, TracedTensorFftExt};
///
/// let spectrum = TracedTensor::from_vec_col_major(vec![2], vec![Complex64::new(3.0, 0.0), Complex64::new(-1.0, 0.0)]).unwrap();
/// let y = spectrum.ifft(None, -1, FftNorm::Backward).unwrap();
///
/// let mut compiler = GraphCompiler::new();
/// let program = compiler.compile(&y).unwrap();
/// let backend = CpuBackend::new();
/// let engine_id = tenferro_cpu::runtime_engine_id().unwrap();
/// let mut builder = Runtime::builder();
/// builder
///     .register_engine(tenferro_cpu::runtime_engine_registration(&backend).unwrap())
///     .unwrap();
/// builder
///     .install_extension_module(tenferro_fft::extension_module::<CpuBackend>(engine_id).unwrap())
///     .unwrap();
/// let runtime = builder.build().unwrap();
/// let out = runtime.run_compiled(&program, &[]).unwrap().pop().unwrap();
/// assert_eq!(out.as_slice::<Complex64>().unwrap()[0], Complex64::new(1.0, 0.0));
/// ```
fn ifft(
    input: &TracedTensor,
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
) -> Result<TracedTensor> {
    require_runtime_dtype("ifft", input.dtype, &[DType::C32, DType::C64], "C32 or C64")?;
    apply_unary_fft("ifft", input, FftOperation::C2cInverse, n, axis, norm)
}

/// Build a one-dimensional real FFT along `axis`.
///
/// The output keeps only the Hermitian one-sided spectrum with axis length
/// `n / 2 + 1`.
///
/// # Examples
///
/// ```
/// use num_complex::Complex64;
/// use tenferro_cpu::CpuBackend;
/// use tenferro_runtime::{GraphCompiler, Runtime, TracedTensor};
/// use tenferro_fft::{FftNorm, TracedTensorFftExt};
///
/// let x = TracedTensor::from_vec_col_major(vec![2], vec![1.0_f64, 2.0]).unwrap();
/// let y = x.rfft(None, -1, FftNorm::Backward).unwrap();
///
/// let mut compiler = GraphCompiler::new();
/// let program = compiler.compile(&y).unwrap();
/// let backend = CpuBackend::new();
/// let engine_id = tenferro_cpu::runtime_engine_id().unwrap();
/// let mut builder = Runtime::builder();
/// builder
///     .register_engine(tenferro_cpu::runtime_engine_registration(&backend).unwrap())
///     .unwrap();
/// builder
///     .install_extension_module(tenferro_fft::extension_module::<CpuBackend>(engine_id).unwrap())
///     .unwrap();
/// let runtime = builder.build().unwrap();
/// let out = runtime.run_compiled(&program, &[]).unwrap().pop().unwrap();
/// assert_eq!(out.shape(), &[2]);
/// assert_eq!(out.as_slice::<Complex64>().unwrap()[0], Complex64::new(3.0, 0.0));
/// ```
fn rfft(
    input: &TracedTensor,
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
) -> Result<TracedTensor> {
    require_runtime_dtype("rfft", input.dtype, &[DType::F32, DType::F64], "F32 or F64")?;
    apply_unary_fft("rfft", input, FftOperation::R2cOnesided, n, axis, norm)
}

/// Build a one-dimensional inverse real FFT along `axis`.
///
/// If `n` is `None`, the output length is inferred as twice one less than the
/// input spectrum length.
///
/// # Examples
///
/// ```
/// use num_complex::Complex64;
/// use tenferro_cpu::CpuBackend;
/// use tenferro_runtime::{GraphCompiler, Runtime, TracedTensor};
/// use tenferro_fft::{FftNorm, TracedTensorFftExt};
///
/// let spectrum = TracedTensor::from_vec_col_major(
///     vec![2],
///     vec![Complex64::new(3.0, 0.0), Complex64::new(-1.0, 0.0)],
/// )
/// .unwrap();
/// let y = spectrum.irfft(Some(2), -1, FftNorm::Backward).unwrap();
///
/// let mut compiler = GraphCompiler::new();
/// let program = compiler.compile(&y).unwrap();
/// let backend = CpuBackend::new();
/// let engine_id = tenferro_cpu::runtime_engine_id().unwrap();
/// let mut builder = Runtime::builder();
/// builder
///     .register_engine(tenferro_cpu::runtime_engine_registration(&backend).unwrap())
///     .unwrap();
/// builder
///     .install_extension_module(tenferro_fft::extension_module::<CpuBackend>(engine_id).unwrap())
///     .unwrap();
/// let runtime = builder.build().unwrap();
/// let out = runtime.run_compiled(&program, &[]).unwrap().pop().unwrap();
/// assert_eq!(out.as_slice::<f64>().unwrap(), &[1.0, 2.0]);
/// ```
fn irfft(
    input: &TracedTensor,
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
) -> Result<TracedTensor> {
    require_runtime_dtype(
        "irfft",
        input.dtype,
        &[DType::C32, DType::C64],
        "C32 or C64",
    )?;
    apply_unary_fft("irfft", input, FftOperation::C2r, n, axis, norm)
}

fn apply_unary_fft(
    op_name: &'static str,
    input: &TracedTensor,
    operation: FftOperation,
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
) -> Result<TracedTensor> {
    let concrete_shape = input.try_concrete_shape();
    let op = Arc::new(prepare_runtime_fft_op(
        op_name,
        operation,
        input.rank,
        concrete_shape.as_deref(),
        n,
        axis,
        norm,
    )?);
    let mut outputs = apply(op, &[input])?;
    outputs
        .pop()
        .ok_or_else(|| Error::Internal("FFT extension declares exactly one output".into()))
}

fn normalize_axis(op: &'static str, axis: isize, rank: usize) -> Result<usize> {
    if rank == 0 {
        return Err(runtime_invalid_argument(
            op,
            "rank",
            "FFT requires rank >= 1",
        ));
    }
    let normalized = if axis >= 0 {
        axis as usize
    } else {
        rank.checked_sub(axis.unsigned_abs())
            .ok_or_else(|| runtime_axis_out_of_bounds(op, axis.unsigned_abs(), rank))?
    };
    if normalized >= rank {
        return Err(runtime_axis_out_of_bounds(op, normalized, rank));
    }
    Ok(normalized)
}

fn validate_n(op: &'static str, n: Option<usize>) -> Result<()> {
    if n == Some(0) {
        return Err(runtime_invalid_argument(
            op,
            "n",
            "transform length must be positive",
        ));
    }
    Ok(())
}

fn prepare_runtime_fft_op(
    op: &'static str,
    operation: FftOperation,
    rank: usize,
    concrete_shape: Option<&[usize]>,
    n: Option<usize>,
    axis: isize,
    norm: FftNorm,
) -> Result<FftOp> {
    validate_n(op, n)?;
    let axis = normalize_axis(op, axis, rank)?;
    if n.is_none() && concrete_shape.and_then(|shape| shape.get(axis).copied()) == Some(0) {
        return Err(runtime_invalid_argument(
            op,
            "n",
            "transform length must be positive",
        ));
    }
    if operation == FftOperation::C2r {
        if let Some(shape) = concrete_shape {
            output_shape_c2r(shape, axis, n)?;
        }
    }
    Ok(FftOp::new(operation, axis, n, norm))
}

fn runtime_forward_fft_operation(dtype: DType) -> Result<FftOperation> {
    match dtype {
        DType::C32 | DType::C64 => Ok(FftOperation::C2cForward),
        DType::F32 | DType::F64 => Ok(FftOperation::R2cFull),
        DType::I32 | DType::I64 | DType::Bool => Err(runtime_unsupported_dtype(
            "fft",
            dtype,
            "F32, F64, C32, or C64",
        )),
    }
}

fn require_runtime_dtype(
    op: &'static str,
    dtype: DType,
    supported: &[DType],
    expected: &'static str,
) -> Result<()> {
    if supported.contains(&dtype) {
        Ok(())
    } else {
        Err(runtime_unsupported_dtype(op, dtype, expected))
    }
}

fn runtime_invalid_argument(
    op: &'static str,
    argument: &'static str,
    message: impl Into<String>,
) -> Error {
    Error::validation(
        op,
        ErrorPhase::GraphBuild,
        ValidationError::InvalidArgument {
            argument,
            message: message.into(),
        },
    )
}

fn runtime_axis_out_of_bounds(op: &'static str, axis: usize, rank: usize) -> Error {
    Error::validation(
        op,
        ErrorPhase::GraphBuild,
        ValidationError::AxisOutOfBounds { axis, rank },
    )
}

fn runtime_unsupported_dtype(op: &'static str, dtype: DType, expected: &'static str) -> Error {
    Error::extension(
        op,
        ErrorPhase::GraphBuild,
        FFT_EXTENSION_FAMILY_ID,
        ErrorKind::Unsupported,
        FftError::UnsupportedDType {
            op,
            dtype,
            expected,
        },
    )
}

fn transform_len_dim(n: Option<usize>, input_dim: &SymDim) -> SymDim {
    n.map(SymDim::from).unwrap_or_else(|| input_dim.clone())
}

fn expected_dtype_description(operation: FftOperation) -> &'static str {
    match operation {
        FftOperation::C2cForward | FftOperation::C2cInverse | FftOperation::C2r => "C32 or C64",
        FftOperation::R2cFull | FftOperation::R2cOnesided => "F32 or F64",
    }
}

fn fft_op_name(operation: FftOperation) -> &'static str {
    match operation {
        FftOperation::C2cForward => "fft",
        FftOperation::C2cInverse => "ifft",
        FftOperation::R2cFull | FftOperation::R2cOnesided => "rfft",
        FftOperation::C2r => "irfft",
    }
}

#[cfg(feature = "autodiff")]
fn fft_ad_family_id(operation: FftOperation) -> &'static str {
    match operation {
        FftOperation::C2cForward | FftOperation::C2cInverse => FFT_EXTENSION_FAMILY_ID,
        FftOperation::R2cFull | FftOperation::R2cOnesided => "tenferro-fft.rfft.v1",
        FftOperation::C2r => "tenferro-fft.irfft.v1",
    }
}

fn output_shape_c2c(
    shape: &[usize],
    axis: usize,
    n: Option<usize>,
) -> tenferro_tensor::Result<Vec<usize>> {
    let len = transform_len(shape, axis, n)?;
    let mut out_shape = shape.to_vec();
    out_shape[axis] = len;
    Ok(out_shape)
}

fn output_shape_r2c(
    shape: &[usize],
    axis: usize,
    n: Option<usize>,
    onesided: bool,
) -> tenferro_tensor::Result<Vec<usize>> {
    let len = transform_len(shape, axis, n)?;
    let mut out_shape = shape.to_vec();
    out_shape[axis] = if onesided { len / 2 + 1 } else { len };
    Ok(out_shape)
}

fn output_shape_c2r(
    shape: &[usize],
    axis: usize,
    n: Option<usize>,
) -> tenferro_tensor::Result<Vec<usize>> {
    validate_axis("irfft", shape, axis)?;
    let input_len = shape[axis];
    let len = match n {
        Some(len) => len,
        None => default_c2r_output_len(input_len)?,
    };
    if len == 0 {
        return Err(tenferro_tensor::Error::invalid_argument(
            "irfft",
            "output length",
            "must be positive",
        ));
    }
    validate_c2r_spectrum_len(input_len, len)?;
    let mut out_shape = shape.to_vec();
    out_shape[axis] = len;
    Ok(out_shape)
}

fn output_dim_c2r(input_dim: &SymDim, n: Option<usize>) -> tenferro_tensor::Result<SymDim> {
    match (input_dim.constant_value(), n) {
        (Some(input_len), Some(output_len)) => {
            if output_len == 0 {
                return Err(tenferro_tensor::Error::invalid_argument(
                    "irfft",
                    "output length",
                    "must be positive",
                ));
            }
            validate_c2r_spectrum_len(input_len, output_len)?;
            Ok(SymDim::from(output_len))
        }
        (Some(input_len), None) => Ok(SymDim::from(default_c2r_output_len(input_len)?)),
        (None, Some(output_len)) => {
            if output_len == 0 {
                return Err(tenferro_tensor::Error::invalid_argument(
                    "irfft",
                    "output length",
                    "must be positive",
                ));
            }
            Ok(SymDim::from(output_len))
        }
        (None, None) => Ok((input_dim.clone() - 1usize) * 2usize),
    }
}

fn default_c2r_output_len(input_len: usize) -> tenferro_tensor::Result<usize> {
    if input_len == 0 {
        return Err(tenferro_tensor::Error::invalid_argument(
            "irfft",
            "input spectrum axis length",
            "must be positive",
        ));
    }
    input_len
        .checked_sub(1)
        .and_then(|len| len.checked_mul(2))
        .ok_or_else(|| {
            tenferro_tensor::Error::invalid_argument(
                "irfft",
                "default output length",
                "overflows usize",
            )
        })
}

fn validate_c2r_spectrum_len(
    input_len: usize,
    output_len: usize,
) -> tenferro_tensor::Result<usize> {
    let expected = output_len / 2 + 1;
    if input_len != expected {
        return Err(tenferro_tensor::Error::invalid_argument(
            "irfft",
            "spectrum",
            format!(
                "one-sided spectrum axis length mismatch: expected {expected} for output length {output_len}, got {input_len}"
            ),
        ));
    }
    Ok(expected)
}

fn transform_len(shape: &[usize], axis: usize, n: Option<usize>) -> tenferro_tensor::Result<usize> {
    validate_axis("fft", shape, axis)?;
    let len = n.unwrap_or(shape[axis]);
    if len == 0 {
        return Err(tenferro_tensor::Error::invalid_argument(
            "fft",
            "transform length",
            "must be positive",
        ));
    }
    Ok(len)
}

fn validate_axis(op: &'static str, shape: &[usize], axis: usize) -> tenferro_tensor::Result<()> {
    if axis >= shape.len() {
        return Err(tenferro_tensor::Error::axis_out_of_bounds(
            op,
            axis,
            shape.len(),
        ));
    }
    Ok(())
}

#[cfg(test)]
mod concrete_tests;

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

    #[test]
    fn fft_infer_output_meta_rejects_invalid_trait_inputs_without_panicking() {
        let op = FftOp::new(FftOperation::R2cOnesided, 0, None, FftNorm::Backward);
        let shape = [SymDim::from(4usize)];

        assert!(
            tenferro_ops::ext_op::invoke_extension_shape_inference(&op, &[], &[&shape]).is_err()
        );
        assert!(
            tenferro_ops::ext_op::invoke_extension_shape_inference(&op, &[DType::F64], &[])
                .is_err()
        );
        assert!(tenferro_ops::ext_op::invoke_extension_shape_inference(
            &op,
            &[DType::I64],
            &[&shape]
        )
        .is_err());

        let bad_axis = FftOp::new(FftOperation::C2cForward, 2, None, FftNorm::Backward);
        assert!(tenferro_ops::ext_op::invoke_extension_shape_inference(
            &bad_axis,
            &[DType::C64],
            &[&shape]
        )
        .is_err());
    }

    #[test]
    fn checked_shape_product_rejects_overflow_before_allocation() {
        let err = cpu::checked_shape_product("fft", "output", &[usize::MAX, 2])
            .expect_err("overflowing output shape should be rejected");

        assert!(err.to_string().contains("overflows usize"), "{err}");
    }

    #[test]
    fn irfft_default_output_length_rejects_overflow() {
        let err = output_shape_c2r(&[usize::MAX], 0, None)
            .expect_err("default irfft output length should reject overflow");

        assert!(err.to_string().contains("overflows usize"), "{err}");
    }

    #[test]
    fn normalize_axis_handles_large_rank_without_isize_cast_wrap() {
        assert_eq!(normalize_axis("fft", 0, usize::MAX).unwrap(), 0);
        assert_eq!(
            normalize_axis("fft", -1, usize::MAX).unwrap(),
            usize::MAX - 1
        );
        assert!(normalize_axis("fft", isize::MIN, 3).is_err());
    }

    #[test]
    fn axis_lane_layout_rejects_stride_overflow() {
        let err = cpu::LaneLayout::new(&[usize::MAX, 2], 1, 2)
            .expect_err("lane layout should reject stride overflow");

        assert!(err.to_string().contains("overflows usize"), "{err}");
    }

    #[cfg(feature = "autodiff")]
    #[test]
    fn fft_semantic_rules_emit_extension_first_jvp_and_length_restoring_transpose() {
        use tenferro_ops::dim_expr::DimExpr;
        use tenferro_runtime::program::{ProgramInputSpec, SemanticOpRef, SemanticProgramBuilder};

        let fft_op = FftOp::new(FftOperation::C2cForward, 0, Some(2), FftNorm::Backward);
        let mut source = SemanticProgramBuilder::new();
        let source_input = source
            .input(ProgramInputSpec::new(DType::C64, [DimExpr::Const(4)]))
            .unwrap();
        let source_output = source
            .add_extension(Arc::new(fft_op), &[source_input])
            .unwrap()[0];
        let source = source.finish(&[source_output]).unwrap();
        let operation = source.program.operations().next().unwrap();

        let rules = semantic_ad_rules().unwrap();
        let mut destination = SemanticProgramBuilder::new();
        let primal = destination
            .input(ProgramInputSpec::new(DType::C64, [DimExpr::Const(4)]))
            .unwrap();
        let tangent = destination
            .input(ProgramInputSpec::new(DType::C64, [DimExpr::Const(4)]))
            .unwrap();
        let primal_output = destination
            .add_extension(
                Arc::new(FftOp::new(
                    FftOperation::C2cForward,
                    0,
                    Some(2),
                    FftNorm::Backward,
                )),
                &[primal],
            )
            .unwrap()[0];
        let linearized = rules
            .linearize_operation(
                operation,
                &[primal],
                &[primal_output],
                &[AdValue::Value(tangent)],
                &[true],
                &mut destination,
            )
            .unwrap();
        let AdValue::Value(tangent_output) = linearized.tangent_outputs()[0] else {
            panic!("FFT tangent must be active");
        };
        let cotangent_inputs = rules
            .linear_transpose_operation(
                operation,
                &[primal],
                &[primal_output],
                &[AdValue::Value(tangent_output)],
                &[true],
                linearized.residuals(),
                &mut destination,
            )
            .unwrap();
        let AdValue::Value(cotangent_input) = cotangent_inputs[0] else {
            panic!("FFT cotangent must be active");
        };
        let frozen = destination
            .finish(&[tangent_output, cotangent_input])
            .unwrap();
        let operations: Vec<_> = frozen.program.operations().collect();
        assert!(
            operations
                .iter()
                .filter(|operation| matches!(operation.op(), SemanticOpRef::Extension(_)))
                .count()
                >= 3
        );
        assert!(operations.iter().any(|operation| matches!(
            operation.op(),
            SemanticOpRef::Core(CoreSemanticOp::DynamicTruncate { axis: 0 })
        )));
        assert!(operations.iter().any(|operation| matches!(
            operation.op(),
            SemanticOpRef::Core(CoreSemanticOp::PadToMatch { axis: 0 })
        )));
    }

    #[cfg(feature = "autodiff")]
    #[test]
    fn fft_semantic_rules_run_through_whole_program_jvp_and_vjp() {
        use tenferro_ad::AdContext;
        use tenferro_ops::dim_expr::DimExpr;
        use tenferro_runtime::program::{ProgramInputSpec, SemanticOpRef, SemanticProgramBuilder};

        let mut builder = SemanticProgramBuilder::new();
        let input = builder
            .input(ProgramInputSpec::new(DType::C64, [DimExpr::Const(4)]))
            .unwrap();
        let output = builder
            .add_extension(
                Arc::new(FftOp::new(
                    FftOperation::C2cForward,
                    0,
                    Some(2),
                    FftNorm::Backward,
                )),
                &[input],
            )
            .unwrap()[0];
        let source = builder.finish(&[output]).unwrap();
        let ad = AdContext::builder()
            .with_semantic_extension_rules(semantic_ad_rules().unwrap())
            .unwrap()
            .build()
            .unwrap();

        let jvp = ad.jvp_program(&source, &[true]).unwrap();
        assert_eq!(jvp.derivative_input_indices(), &[Some(1)]);
        assert!(matches!(
            jvp.frozen().program.operations().last().unwrap().op(),
            SemanticOpRef::Extension(op) if op.family_id() == FFT_EXTENSION_FAMILY_ID
        ));

        let vjp = ad.vjp_program(&source, &[true], &[true]).unwrap();
        assert_eq!(vjp.derivative_output_indices(), &[Some(0)]);
        assert!(vjp.frozen().program.operations().any(|operation| matches!(
            operation.op(),
            SemanticOpRef::Core(CoreSemanticOp::PadToMatch { axis: 0 })
                | SemanticOpRef::Core(CoreSemanticOp::DynamicTruncate { axis: 0 })
        )));
    }
}