ftui_tty/

lib.rs

#![forbid(unsafe_code)]
//! Native Unix terminal backend for FrankenTUI.
//!
//! This crate implements the `ftui-backend` traits for native Unix/macOS terminals.
//! It replaces Crossterm as the terminal I/O layer (Unix-first; Windows deferred).
//!
//! ## Escape Sequence Reference
//!
//! | Feature           | Enable                    | Disable                   |
//! |-------------------|---------------------------|---------------------------|
//! | Alternate screen  | `CSI ? 1049 h`            | `CSI ? 1049 l`            |
//! | Mouse (SGR)       | `CSI ? 1000;1002;1006 h` (+ split compatibility) | `CSI ? 1000;1002;1006 l` (+ split compatibility) |
//! | Bracketed paste   | `CSI ? 2004 h`            | `CSI ? 2004 l`            |
//! | Focus events      | `CSI ? 1004 h`            | `CSI ? 1004 l`            |
//! | Kitty keyboard    | `CSI > 15 u`              | `CSI < u`                 |
//! | Cursor show/hide  | `CSI ? 25 h`              | `CSI ? 25 l`              |
//! | Sync output       | `CSI ? 2026 h`            | `CSI ? 2026 l`            |

use core::time::Duration;
use std::collections::VecDeque;
use std::io::{self, Read, Write};
use std::sync::{Mutex, OnceLock, mpsc};
use std::time::Instant;

use ftui_backend::{Backend, BackendClock, BackendEventSource, BackendFeatures, BackendPresenter};
use ftui_core::event::{Event, MouseEventKind};
use ftui_core::input_parser::InputParser;
use ftui_core::terminal_capabilities::TerminalCapabilities;
use ftui_render::buffer::Buffer;
use ftui_render::diff::BufferDiff;
use ftui_render::presenter::Presenter;

#[cfg(unix)]
use signal_hook::consts::signal::{SIGHUP, SIGINT, SIGQUIT, SIGTERM, SIGWINCH};
#[cfg(unix)]
use signal_hook::iterator::Signals;

// ── Escape Sequences ─────────────────────────────────────────────────────

const ALT_SCREEN_ENTER: &[u8] = b"\x1b[?1049h";
const ALT_SCREEN_LEAVE: &[u8] = b"\x1b[?1049l";

// Mouse mode hygiene:
// 1) Reset legacy/alternate encodings that can linger across sessions.
// 2) Enable canonical SGR mouse (1000 + 1002 + 1006) using both combined and
//    split forms for emulator/mux compatibility.
// 3) Clear 1016 before enabling SGR to avoid terminals that interpret 1016l
//    after 1006h as a fallback to X10 mode.
const MOUSE_ENABLE: &[u8] = b"\x1b[?1001l\x1b[?1003l\x1b[?1005l\x1b[?1015l\x1b[?1016l\x1b[?1000;1002;1006h\x1b[?1000h\x1b[?1002h\x1b[?1006h";
const MOUSE_ENABLE_MUX_SAFE: &[u8] = b"\x1b[?1016l\x1b[?1000h\x1b[?1002h\x1b[?1006h";
const MOUSE_DISABLE: &[u8] = b"\x1b[?1000;1002;1006l\x1b[?1000l\x1b[?1002l\x1b[?1006l\x1b[?1001l\x1b[?1003l\x1b[?1005l\x1b[?1015l\x1b[?1016l";
const MOUSE_DISABLE_MUX_SAFE: &[u8] = b"\x1b[?1016l\x1b[?1000l\x1b[?1002l\x1b[?1006l";

const BRACKETED_PASTE_ENABLE: &[u8] = b"\x1b[?2004h";
const BRACKETED_PASTE_DISABLE: &[u8] = b"\x1b[?2004l";

const FOCUS_ENABLE: &[u8] = b"\x1b[?1004h";
const FOCUS_DISABLE: &[u8] = b"\x1b[?1004l";

const KITTY_KEYBOARD_ENABLE: &[u8] = b"\x1b[>15u";
const KITTY_KEYBOARD_DISABLE: &[u8] = b"\x1b[<u";

const CURSOR_SHOW: &[u8] = b"\x1b[?25h";
#[allow(dead_code)]
const CURSOR_HIDE: &[u8] = b"\x1b[?25l";

const SYNC_END: &[u8] = b"\x1b[?2026l";
const RESET_SCROLL_REGION: &[u8] = b"\x1b[r";
const SGR_RESET: &[u8] = b"\x1b[0m";

#[inline]
const fn mouse_disable_sequence_for_capabilities(
    capabilities: TerminalCapabilities,
) -> &'static [u8] {
    if capabilities.in_any_mux() {
        MOUSE_DISABLE_MUX_SAFE
    } else {
        MOUSE_DISABLE
    }
}

#[inline]
const fn mouse_enable_sequence_for_capabilities(
    capabilities: TerminalCapabilities,
) -> &'static [u8] {
    if capabilities.in_any_mux() {
        MOUSE_ENABLE_MUX_SAFE
    } else {
        MOUSE_ENABLE
    }
}

#[inline]
const fn sanitize_feature_request(
    requested: BackendFeatures,
    capabilities: TerminalCapabilities,
) -> BackendFeatures {
    // Conservative policy for terminal mode toggles:
    // - Never request unsupported modes.
    // - Keep kitty keyboard off in all mux environments.
    // - Keep focus events off in all mux contexts; passthrough behavior varies.
    let focus_events_supported = capabilities.focus_events && !capabilities.in_any_mux();
    let kitty_keyboard_supported = capabilities.kitty_keyboard && !capabilities.in_any_mux();

    BackendFeatures {
        mouse_capture: requested.mouse_capture && capabilities.mouse_sgr,
        bracketed_paste: requested.bracketed_paste && capabilities.bracketed_paste,
        focus_events: requested.focus_events && focus_events_supported,
        kitty_keyboard: requested.kitty_keyboard && kitty_keyboard_supported,
    }
}

#[inline]
const fn conservative_feature_union(a: BackendFeatures, b: BackendFeatures) -> BackendFeatures {
    BackendFeatures {
        mouse_capture: a.mouse_capture || b.mouse_capture,
        bracketed_paste: a.bracketed_paste || b.bracketed_paste,
        focus_events: a.focus_events || b.focus_events,
        kitty_keyboard: a.kitty_keyboard || b.kitty_keyboard,
    }
}

const CLEAR_SCREEN: &[u8] = b"\x1b[2J";
const CURSOR_HOME: &[u8] = b"\x1b[H";
const READ_BUFFER_BYTES: usize = 8192;
const MAX_DRAIN_BYTES_PER_POLL: usize = READ_BUFFER_BYTES;
const INFERRED_PIXEL_WIDTH_PER_CELL: u16 = 8;
const INFERRED_PIXEL_HEIGHT_PER_CELL: u16 = 16;
/// Grace period before resolving a pending ambiguous escape/UTF-8 sequence.
///
/// This prevents split escape sequences (`ESC` then `[` in a later read) from
/// being prematurely emitted as a literal Escape key event.
const PARSER_TIMEOUT_GRACE: Duration = Duration::from_millis(50);

#[cfg(unix)]
fn raw_mode_snapshot_slot() -> &'static Mutex<Option<nix::sys::termios::Termios>> {
    static SLOT: OnceLock<Mutex<Option<nix::sys::termios::Termios>>> = OnceLock::new();
    SLOT.get_or_init(|| Mutex::new(None))
}

#[cfg(unix)]
fn store_raw_mode_snapshot(termios: &nix::sys::termios::Termios) {
    let slot = raw_mode_snapshot_slot();
    let mut guard = slot.lock().unwrap_or_else(|poison| poison.into_inner());
    *guard = Some(termios.clone());
}

#[cfg(unix)]
fn clear_raw_mode_snapshot() {
    let slot = raw_mode_snapshot_slot();
    let mut guard = slot.lock().unwrap_or_else(|poison| poison.into_inner());
    *guard = None;
}

#[cfg(unix)]
fn restore_raw_mode_snapshot() {
    let slot = raw_mode_snapshot_slot();
    let snapshot = {
        let guard = slot.lock().unwrap_or_else(|poison| poison.into_inner());
        guard.clone()
    };

    let Some(original) = snapshot else {
        return;
    };

    let Ok(tty) = std::fs::File::open("/dev/tty") else {
        return;
    };
    let _ = nix::sys::termios::tcsetattr(&tty, nix::sys::termios::SetArg::TCSAFLUSH, &original);
}

#[inline]
const fn cleanup_features_for_capabilities(capabilities: TerminalCapabilities) -> BackendFeatures {
    BackendFeatures {
        mouse_capture: capabilities.mouse_sgr,
        bracketed_paste: capabilities.bracketed_paste,
        focus_events: capabilities.focus_events && !capabilities.in_any_mux(),
        kitty_keyboard: capabilities.kitty_keyboard && !capabilities.in_any_mux(),
    }
}

#[cfg(unix)]
fn write_terminal_state_resets(writer: &mut impl Write) -> io::Result<()> {
    writer.write_all(RESET_SCROLL_REGION)?;
    writer.write_all(SGR_RESET)?;
    Ok(())
}

#[cfg(unix)]
fn best_effort_termination_cleanup() {
    let mut stdout = io::stdout();
    let caps = TerminalCapabilities::with_overrides();
    let _ = write_terminal_state_resets(&mut stdout);
    // This path cannot prove ownership of an active sync block; avoid emitting
    // standalone DEC ?2026l during panic/signal cleanup.
    let emit_sync_end = false;
    let features = cleanup_features_for_capabilities(caps);
    let mouse_disable = mouse_disable_sequence_for_capabilities(caps);
    let _ = write_cleanup_sequence_policy_with_mouse(
        &features,
        true,
        emit_sync_end,
        mouse_disable,
        &mut stdout,
    );
    let _ = stdout.flush();
    restore_raw_mode_snapshot();
}

#[cfg(unix)]
fn install_abort_panic_hook() {
    if !cfg!(panic = "abort") {
        return;
    }
    static HOOK: OnceLock<()> = OnceLock::new();
    HOOK.get_or_init(|| {
        let previous = std::panic::take_hook();
        std::panic::set_hook(Box::new(move |info| {
            best_effort_termination_cleanup();
            previous(info);
        }));
    });
}

#[cfg(unix)]
fn install_termination_signal_hook() {
    static HOOK: OnceLock<()> = OnceLock::new();
    HOOK.get_or_init(|| {
        let mut signals = match Signals::new([SIGINT, SIGTERM, SIGHUP, SIGQUIT]) {
            Ok(signals) => signals,
            Err(_) => return,
        };
        let _ = std::thread::Builder::new()
            .name("ftui-tty-term-signal".to_string())
            .spawn(move || {
                if let Some(signal) = signals.forever().next() {
                    best_effort_termination_cleanup();
                    std::process::exit(128 + signal);
                }
            });
    });
}

// ── Raw Mode Guard ───────────────────────────────────────────────────────

/// RAII guard that saves the original termios and restores it on drop.
///
/// This is the foundation for panic-safe terminal cleanup: even if the
/// application panics, the Drop impl runs (unless `panic = "abort"`) and
/// the terminal returns to its original state.
///
/// The guard opens `/dev/tty` to get an owned fd that is valid for the
/// lifetime of the guard, avoiding unsafe `BorrowedFd` construction.
#[cfg(unix)]
pub struct RawModeGuard {
    original_termios: nix::sys::termios::Termios,
    tty: std::fs::File,
}

#[cfg(unix)]
impl RawModeGuard {
    /// Enter raw mode on the controlling terminal, returning a guard that
    /// restores the original termios on drop.
    pub fn enter() -> io::Result<Self> {
        let tty = std::fs::File::open("/dev/tty")?;
        Self::enter_on(tty)
    }

    /// Enter raw mode on a specific terminal file (e.g., a PTY slave for testing).
    pub fn enter_on(tty: std::fs::File) -> io::Result<Self> {
        let original_termios = nix::sys::termios::tcgetattr(&tty).map_err(io::Error::other)?;

        let mut raw = original_termios.clone();
        nix::sys::termios::cfmakeraw(&mut raw);
        nix::sys::termios::tcsetattr(&tty, nix::sys::termios::SetArg::TCSAFLUSH, &raw)
            .map_err(io::Error::other)?;

        store_raw_mode_snapshot(&original_termios);

        Ok(Self {
            original_termios,
            tty,
        })
    }
}

#[cfg(unix)]
impl Drop for RawModeGuard {
    fn drop(&mut self) {
        // Best-effort restore — ignore errors during cleanup.
        let _ = nix::sys::termios::tcsetattr(
            &self.tty,
            nix::sys::termios::SetArg::TCSAFLUSH,
            &self.original_termios,
        );
        clear_raw_mode_snapshot();
    }
}

// ── Session Options ──────────────────────────────────────────────────────

/// Configuration for opening a terminal session.
#[derive(Debug, Clone, Default)]
pub struct TtySessionOptions {
    /// Enter the alternate screen buffer on open.
    pub alternate_screen: bool,
    /// Initial feature toggles to enable.
    pub features: BackendFeatures,
}

// ── Clock ────────────────────────────────────────────────────────────────

/// Monotonic clock backed by `std::time::Instant`.
pub struct TtyClock {
    epoch: std::time::Instant,
}

impl TtyClock {
    #[must_use]
    pub fn new() -> Self {
        Self {
            epoch: std::time::Instant::now(),
        }
    }
}

impl Default for TtyClock {
    fn default() -> Self {
        Self::new()
    }
}

impl BackendClock for TtyClock {
    fn now_mono(&self) -> Duration {
        self.epoch.elapsed()
    }
}

// ── Event Source ──────────────────────────────────────────────────────────

// Resize notifications are produced via SIGWINCH on Unix.
//
// We use a dedicated signal thread to avoid unsafe `sigaction` calls in-tree
// (unsafe is forbidden) while still delivering low-latency resize events.
#[cfg(unix)]
#[derive(Debug)]
struct ResizeSignalGuard {
    handle: signal_hook::iterator::Handle,
    thread: Option<std::thread::JoinHandle<()>>,
}

#[cfg(unix)]
impl ResizeSignalGuard {
    fn new(tx: mpsc::SyncSender<()>) -> io::Result<Self> {
        let mut signals = Signals::new([SIGWINCH]).map_err(io::Error::other)?;
        let handle = signals.handle();
        let thread = std::thread::spawn(move || {
            for _ in signals.forever() {
                // Coalesce storms: a single pending notification is enough since we
                // query the authoritative size via ioctl when generating the Event.
                let _ = tx.try_send(());
            }
        });

        Ok(Self {
            handle,
            thread: Some(thread),
        })
    }
}

#[cfg(unix)]
impl Drop for ResizeSignalGuard {
    fn drop(&mut self) {
        self.handle.close();
        if let Some(thread) = self.thread.take() {
            let _ = thread.join();
        }
    }
}

/// Native Unix event source (raw terminal bytes → `Event`).
///
/// Manages terminal feature toggles by emitting the appropriate escape
/// sequences. Reads raw bytes from the tty fd, feeds them through
/// `InputParser`, and serves parsed events via `poll_event`/`read_event`.
pub struct TtyEventSource {
    features: BackendFeatures,
    capabilities: TerminalCapabilities,
    width: u16,
    height: u16,
    /// Terminal pixel width reported by `TIOCGWINSZ` (0 if unavailable).
    pixel_width: u16,
    /// Terminal pixel height reported by `TIOCGWINSZ` (0 if unavailable).
    pixel_height: u16,
    /// Sticky detector for SGR-pixel mouse leakage (1016-style coordinates).
    ///
    /// Once we observe pixel-like coordinates, normalize subsequent mouse
    /// reports in this capture session so low-column clicks also map correctly.
    mouse_coords_pixels: bool,
    /// Inferred pixel width when `TIOCGWINSZ.ws_xpixel` is unavailable.
    ///
    /// Some terminals emit pixel-space SGR coordinates but report zero
    /// pixel geometry via winsize. Track observed maxima so we can project
    /// coordinates back into cells instead of clamping everything to edges.
    inferred_pixel_width: u16,
    /// Inferred pixel height when `TIOCGWINSZ.ws_ypixel` is unavailable.
    inferred_pixel_height: u16,
    /// When true, escape sequences are actually written to stdout.
    /// False in test/headless mode.
    live: bool,
    /// Resize notifications (SIGWINCH) are delivered through this channel.
    #[cfg(unix)]
    resize_rx: Option<mpsc::Receiver<()>>,
    /// Owns the SIGWINCH handler thread (kept alive by this field).
    #[cfg(unix)]
    _resize_guard: Option<ResizeSignalGuard>,
    /// Parser state machine: decodes terminal byte sequences into Events.
    parser: InputParser,
    /// Buffered events from the most recent parse.
    event_queue: VecDeque<Event>,
    /// Tty file handle for reading input (None in headless mode).
    tty_reader: Option<std::fs::File>,
    /// True when tty_reader is configured as nonblocking and may be drained in a loop.
    reader_nonblocking: bool,
    /// Monotonic timestamp of the most recent byte read from the tty.
    last_input_byte_at: Option<Instant>,
}

impl TtyEventSource {
    /// Create an event source in headless mode (no escape sequence output, no I/O).
    #[must_use]
    pub fn new(width: u16, height: u16) -> Self {
        Self {
            features: BackendFeatures::default(),
            capabilities: TerminalCapabilities::basic(),
            width,
            height,
            pixel_width: 0,
            pixel_height: 0,
            mouse_coords_pixels: false,
            inferred_pixel_width: 0,
            inferred_pixel_height: 0,
            live: false,
            #[cfg(unix)]
            resize_rx: None,
            #[cfg(unix)]
            _resize_guard: None,
            parser: InputParser::new(),
            event_queue: VecDeque::new(),
            tty_reader: None,
            reader_nonblocking: false,
            last_input_byte_at: None,
        }
    }

    /// Create an event source in live mode (reads from /dev/tty, writes
    /// escape sequences to stdout).
    fn live(width: u16, height: u16, capabilities: TerminalCapabilities) -> io::Result<Self> {
        let tty_reader = std::fs::File::open("/dev/tty")?;
        let reader_nonblocking = Self::try_enable_nonblocking(&tty_reader);
        let mut w = width;
        let mut h = height;
        let mut pw = 0;
        let mut ph = 0;
        #[cfg(unix)]
        if let Ok(ws) = rustix::termios::tcgetwinsize(&tty_reader) {
            if ws.ws_col > 0 && ws.ws_row > 0 {
                w = ws.ws_col;
                h = ws.ws_row;
            }
            pw = ws.ws_xpixel;
            ph = ws.ws_ypixel;
        }

        #[cfg(unix)]
        let (resize_guard, resize_rx) = {
            let (resize_tx, resize_rx) = mpsc::sync_channel(1);
            match ResizeSignalGuard::new(resize_tx) {
                Ok(guard) => (Some(guard), Some(resize_rx)),
                Err(_) => (None, None),
            }
        };

        Ok(Self {
            features: BackendFeatures::default(),
            capabilities,
            width: w,
            height: h,
            pixel_width: pw,
            pixel_height: ph,
            mouse_coords_pixels: false,
            inferred_pixel_width: 0,
            inferred_pixel_height: 0,
            live: true,
            #[cfg(unix)]
            resize_rx,
            #[cfg(unix)]
            _resize_guard: resize_guard,
            parser: InputParser::new(),
            event_queue: VecDeque::new(),
            tty_reader: Some(tty_reader),
            reader_nonblocking,
            last_input_byte_at: None,
        })
    }

    /// Create an event source that reads from an arbitrary file descriptor.
    ///
    /// Escape sequences are NOT written to stdout (headless feature toggle
    /// behavior). This is primarily useful for testing with pipes.
    #[cfg(test)]
    fn from_reader(width: u16, height: u16, reader: std::fs::File) -> Self {
        let reader_nonblocking = Self::try_enable_nonblocking(&reader);
        Self {
            features: BackendFeatures::default(),
            capabilities: TerminalCapabilities::basic(),
            width,
            height,
            pixel_width: 0,
            pixel_height: 0,
            mouse_coords_pixels: false,
            inferred_pixel_width: 0,
            inferred_pixel_height: 0,
            live: false,
            #[cfg(unix)]
            resize_rx: None,
            #[cfg(unix)]
            _resize_guard: None,
            parser: InputParser::new(),
            event_queue: VecDeque::new(),
            tty_reader: Some(reader),
            reader_nonblocking,
            last_input_byte_at: None,
        }
    }

    #[cfg(unix)]
    fn try_enable_nonblocking(reader: &std::fs::File) -> bool {
        use rustix::fs::{OFlags, fcntl_getfl, fcntl_setfl};

        let Ok(flags) = fcntl_getfl(reader) else {
            return false;
        };
        if flags.contains(OFlags::NONBLOCK) {
            return true;
        }
        fcntl_setfl(reader, flags | OFlags::NONBLOCK).is_ok()
    }

    #[cfg(not(unix))]
    fn try_enable_nonblocking(_reader: &std::fs::File) -> bool {
        false
    }

    /// Current feature state.
    #[must_use]
    pub fn features(&self) -> BackendFeatures {
        self.features
    }

    #[inline]
    fn sanitize_features(&self, requested: BackendFeatures) -> BackendFeatures {
        if !self.live {
            return requested;
        }
        sanitize_feature_request(requested, self.capabilities)
    }

    /// Apply feature state to internal parser/runtime flags without emitting
    /// terminal escape sequences.
    ///
    /// Keep both legacy mouse fallbacks enabled whenever mouse capture is on.
    ///
    /// Some terminals/mux stacks (notably Ghostty edge cases) can fall back to
    /// raw X10 `CSI M cb cx cy` packets despite SGR mode negotiation. We keep
    /// numeric legacy and X10 parsing active while capture is enabled so these
    /// sessions remain interactive.
    fn apply_feature_state(&mut self, features: BackendFeatures) {
        self.features = features;
        if !features.mouse_capture {
            self.mouse_coords_pixels = false;
            self.inferred_pixel_width = 0;
            self.inferred_pixel_height = 0;
        }
        self.parser.set_expect_x10_mouse(features.mouse_capture);
        // Always allow numeric legacy mouse fallback when capture is enabled.
        // Some terminals/muxes may ignore SGR mode requests in edge cases.
        self.parser.set_allow_legacy_mouse(features.mouse_capture);
    }

    fn push_resize(&mut self, new_width: u16, new_height: u16) {
        if new_width == 0 || new_height == 0 {
            return;
        }
        if (new_width, new_height) == (self.width, self.height) {
            return;
        }
        self.width = new_width;
        self.height = new_height;
        self.event_queue.push_back(Event::Resize {
            width: new_width,
            height: new_height,
        });
    }

    /// Normalize mouse coordinates when terminals report SGR-pixel coordinates
    /// despite requesting cell mode.
    ///
    /// Some emulators can leak pixel-space coordinates (`1016h`) in mixed
    /// environments. If we detect obviously pixel-scale values and have tty
    /// pixel dimensions, project them back into the cell grid.
    fn normalize_event(&mut self, event: Event) -> Event {
        let Event::Mouse(mut mouse) = event else {
            return event;
        };

        let outside_grid = mouse.x >= self.width || mouse.y >= self.height;
        let strongly_outside =
            mouse.x >= self.width.saturating_mul(2) || mouse.y >= self.height.saturating_mul(2);
        let kind_implies_in_viewport = matches!(
            mouse.kind,
            MouseEventKind::Down(_)
                | MouseEventKind::Up(_)
                | MouseEventKind::ScrollUp
                | MouseEventKind::ScrollDown
                | MouseEventKind::ScrollLeft
                | MouseEventKind::ScrollRight
        );
        if !self.mouse_coords_pixels
            && (strongly_outside || (outside_grid && kind_implies_in_viewport))
        {
            self.mouse_coords_pixels = true;
        }
        let likely_pixel_space = self.mouse_coords_pixels || strongly_outside;
        if !self.features.mouse_capture || !self.capabilities.mouse_sgr || !likely_pixel_space {
            return Event::Mouse(mouse);
        }

        if self.width == 0 || self.height == 0 {
            return Event::Mouse(mouse);
        }
        if self.pixel_width > 0 && self.pixel_height > 0 {
            mouse.x = Self::scale_mouse_coord(mouse.x, self.width, self.pixel_width);
            mouse.y = Self::scale_mouse_coord(mouse.y, self.height, self.pixel_height);
        } else {
            // Fallback when winsize pixel dimensions are unavailable:
            // seed with conservative per-cell estimates so the first event does
            // not collapse toward viewport edges, then expand from observations.
            if self.inferred_pixel_width == 0 {
                self.inferred_pixel_width = self
                    .width
                    .saturating_mul(INFERRED_PIXEL_WIDTH_PER_CELL)
                    .max(self.width);
            }
            if self.inferred_pixel_height == 0 {
                self.inferred_pixel_height = self
                    .height
                    .saturating_mul(INFERRED_PIXEL_HEIGHT_PER_CELL)
                    .max(self.height);
            }
            self.inferred_pixel_width = self
                .inferred_pixel_width
                .max(mouse.x.saturating_add(1))
                .max(self.width);
            self.inferred_pixel_height = self
                .inferred_pixel_height
                .max(mouse.y.saturating_add(1))
                .max(self.height);

            mouse.x =
                Self::scale_mouse_coord(mouse.x, self.width, self.inferred_pixel_width.max(1));
            mouse.y =
                Self::scale_mouse_coord(mouse.y, self.height, self.inferred_pixel_height.max(1));
        }
        Event::Mouse(mouse)
    }

    #[inline]
    fn scale_mouse_coord(coord: u16, cells: u16, pixels: u16) -> u16 {
        if cells <= 1 {
            return 0;
        }
        if pixels <= 1 {
            return coord.min(cells.saturating_sub(1));
        }

        let num = u32::from(coord).saturating_mul(u32::from(cells.saturating_sub(1)));
        let den = u32::from(pixels.saturating_sub(1));
        let scaled = num / den.max(1);
        let scaled_u16 = u16::try_from(scaled).unwrap_or(u16::MAX);
        scaled_u16.min(cells.saturating_sub(1))
    }

    #[cfg(unix)]
    fn query_tty_winsize(&self) -> Option<rustix::termios::Winsize> {
        if !self.live {
            return None;
        }
        let tty = self.tty_reader.as_ref()?;
        rustix::termios::tcgetwinsize(tty).ok()
    }

    #[cfg(unix)]
    fn query_tty_size(&self) -> Option<(u16, u16)> {
        let ws = self.query_tty_winsize()?;
        if ws.ws_col == 0 || ws.ws_row == 0 {
            return None;
        }
        Some((ws.ws_col, ws.ws_row))
    }

    #[cfg(unix)]
    fn drain_resize_notifications(&mut self) {
        if !self.live {
            return;
        }
        // Drain all pending SIGWINCH notifications, coalescing into a single
        // resize query (the authoritative size comes from ioctl, not the signal).
        let got_resize = if let Some(ref rx) = self.resize_rx {
            let mut any = false;
            while rx.try_recv().is_ok() {
                any = true;
            }
            any
        } else {
            false
        };
        if got_resize && let Some(ws) = self.query_tty_winsize() {
            self.pixel_width = ws.ws_xpixel;
            self.pixel_height = ws.ws_ypixel;
            if ws.ws_col > 0 && ws.ws_row > 0 {
                self.push_resize(ws.ws_col, ws.ws_row);
            }
        }
    }

    /// Read available bytes from the tty reader and feed them to the parser.
    fn drain_available_bytes(&mut self) -> io::Result<()> {
        if self.tty_reader.is_none() {
            return Ok(());
        }
        let mut buf = [0u8; READ_BUFFER_BYTES];
        let mut drained_bytes = 0usize;
        let mut parsed_events = Vec::new();
        loop {
            let read_result = {
                let Some(tty) = self.tty_reader.as_mut() else {
                    return Ok(());
                };
                tty.read(&mut buf)
            };
            match read_result {
                Ok(0) => return Ok(()),
                Ok(n) => {
                    self.last_input_byte_at = Some(Instant::now());
                    parsed_events.clear();
                    self.parser
                        .parse_with(&buf[..n], |event| parsed_events.push(event));
                    for event in parsed_events.drain(..) {
                        let normalized = self.normalize_event(event);
                        self.event_queue.push_back(normalized);
                    }
                    drained_bytes = drained_bytes.saturating_add(n);
                    if !self.reader_nonblocking {
                        return Ok(());
                    }
                    if drained_bytes >= MAX_DRAIN_BYTES_PER_POLL {
                        return Ok(());
                    }
                }
                Err(ref e) if e.kind() == io::ErrorKind::WouldBlock => return Ok(()),
                Err(ref e) if e.kind() == io::ErrorKind::Interrupted => continue,
                Err(e) => return Err(e),
            }
        }
    }

    #[inline]
    fn parser_timeout_event_if_due(&mut self) -> Option<Event> {
        if !self.parser.has_pending_timeout_state() {
            return None;
        }
        if let Some(last) = self.last_input_byte_at
            && last.elapsed() < PARSER_TIMEOUT_GRACE
        {
            return None;
        }
        let event = self.parser.timeout();
        if event.is_some() {
            self.last_input_byte_at = None;
        }
        event
    }

    /// Poll the tty fd for available data using `poll(2)`.
    #[cfg(unix)]
    fn poll_tty(&mut self, timeout: Duration) -> io::Result<bool> {
        use std::os::fd::AsFd;
        let ready = {
            let Some(ref tty) = self.tty_reader else {
                return Ok(false);
            };
            let mut poll_fds = [nix::poll::PollFd::new(
                tty.as_fd(),
                nix::poll::PollFlags::POLLIN,
            )];
            // Use i32 for timeout to allow values > 65s (up to ~24 days).
            // poll(2) takes milliseconds as a signed int.
            let timeout_ms: i32 = timeout.as_millis().try_into().unwrap_or(i32::MAX);
            match nix::poll::poll(
                &mut poll_fds,
                nix::poll::PollTimeout::try_from(timeout_ms).unwrap_or(nix::poll::PollTimeout::MAX),
            ) {
                Ok(n) => n,
                Err(nix::errno::Errno::EINTR) => return Ok(false),
                Err(e) => return Err(io::Error::other(e)),
            }
        };
        if ready > 0 {
            self.drain_available_bytes()?;
        }
        Ok(!self.event_queue.is_empty())
    }

    /// Stub for non-Unix platforms.
    #[cfg(not(unix))]
    fn poll_tty(&mut self, _timeout: Duration) -> io::Result<bool> {
        Ok(false)
    }

    /// Write the escape sequences needed to transition from current to new features.
    fn write_feature_delta(
        current: &BackendFeatures,
        new: &BackendFeatures,
        capabilities: TerminalCapabilities,
        writer: &mut impl Write,
    ) -> io::Result<()> {
        let mouse_enable_seq = mouse_enable_sequence_for_capabilities(capabilities);
        let mouse_disable_seq = mouse_disable_sequence_for_capabilities(capabilities);
        Self::write_feature_delta_with_mouse(
            current,
            new,
            mouse_enable_seq,
            mouse_disable_seq,
            writer,
        )
    }

    fn write_feature_delta_with_mouse(
        current: &BackendFeatures,
        new: &BackendFeatures,
        mouse_enable_seq: &[u8],
        mouse_disable_seq: &[u8],
        writer: &mut impl Write,
    ) -> io::Result<()> {
        if new.mouse_capture != current.mouse_capture {
            writer.write_all(if new.mouse_capture {
                mouse_enable_seq
            } else {
                mouse_disable_seq
            })?;
        }
        if new.bracketed_paste != current.bracketed_paste {
            writer.write_all(if new.bracketed_paste {
                BRACKETED_PASTE_ENABLE
            } else {
                BRACKETED_PASTE_DISABLE
            })?;
        }
        if new.focus_events != current.focus_events {
            writer.write_all(if new.focus_events {
                FOCUS_ENABLE
            } else {
                FOCUS_DISABLE
            })?;
        }
        if new.kitty_keyboard != current.kitty_keyboard {
            writer.write_all(if new.kitty_keyboard {
                KITTY_KEYBOARD_ENABLE
            } else {
                KITTY_KEYBOARD_DISABLE
            })?;
        }
        Ok(())
    }

    /// Disable all active features, writing escape sequences to `writer`.
    fn disable_all(&mut self, writer: &mut impl Write) -> io::Result<()> {
        let off = BackendFeatures::default();
        Self::write_feature_delta(&self.features, &off, self.capabilities, writer)?;
        self.apply_feature_state(off);
        Ok(())
    }
}

impl BackendEventSource for TtyEventSource {
    type Error = io::Error;

    fn size(&self) -> Result<(u16, u16), Self::Error> {
        #[cfg(unix)]
        if let Some((w, h)) = self.query_tty_size() {
            return Ok((w, h));
        }
        Ok((self.width, self.height))
    }

    fn set_features(&mut self, features: BackendFeatures) -> Result<(), Self::Error> {
        let effective_features = self.sanitize_features(features);
        if self.live {
            let mut stdout = io::stdout();
            if let Err(err) = Self::write_feature_delta(
                &self.features,
                &effective_features,
                self.capabilities,
                &mut stdout,
            )
            .and_then(|_| stdout.flush())
            {
                // A failed write can still partially apply terminal modes.
                // Track a conservative superset so drop-time cleanup disables
                // anything that might have been enabled before the error.
                self.apply_feature_state(conservative_feature_union(
                    self.features,
                    effective_features,
                ));
                return Err(err);
            }
        }
        self.apply_feature_state(effective_features);
        Ok(())
    }

    fn poll_event(&mut self, timeout: Duration) -> Result<bool, Self::Error> {
        #[cfg(unix)]
        self.drain_resize_notifications();

        // If we already have buffered events, return immediately.
        if !self.event_queue.is_empty() {
            return Ok(true);
        }

        #[cfg(unix)]
        if self.resize_rx.is_some() && timeout != Duration::ZERO {
            // `poll(2)` won't reliably wake on SIGWINCH (signal handlers are installed
            // with SA_RESTART). Time-slice to bound resize latency without busy looping.
            let deadline = std::time::Instant::now()
                .checked_add(timeout)
                .unwrap_or_else(std::time::Instant::now);
            let slice_max = Duration::from_millis(50);
            loop {
                let now = std::time::Instant::now();
                if now >= deadline {
                    // Overall timeout reached. Check for pending incomplete sequences (e.g. bare Escape).
                    if let Some(event) = self.parser_timeout_event_if_due() {
                        self.event_queue.push_back(event);
                        return Ok(true);
                    }
                    return Ok(false);
                }
                let remaining = deadline.duration_since(now);
                let poll_for = remaining.min(slice_max);
                let _ = self.poll_tty(poll_for)?;
                self.drain_resize_notifications();
                if !self.event_queue.is_empty() {
                    return Ok(true);
                }
            }
        }

        let ready = self.poll_tty(timeout)?;
        if !ready {
            // No bytes became ready. Even for zero-timeout polls, resolve
            // pending ambiguous parser states once grace has elapsed.
            if let Some(event) = self.parser_timeout_event_if_due() {
                self.event_queue.push_back(event);
                return Ok(true);
            }
        }
        Ok(!self.event_queue.is_empty())
    }

    fn read_event(&mut self) -> Result<Option<Event>, Self::Error> {
        if let Some(event) = self.event_queue.pop_front() {
            return Ok(Some(event));
        }

        // Opportunistically drain any newly-arrived bytes when the reader is nonblocking.
        //
        // This reduces poll(2) syscalls in bursty workloads by allowing the consumer's
        // `while let Some(e) = read_event()` drain loop to pick up additional input
        // without requiring another `poll_event()` round-trip.
        if self.reader_nonblocking && self.tty_reader.is_some() {
            self.drain_available_bytes()?;
            return Ok(self.event_queue.pop_front());
        }

        Ok(None)
    }
}

// ── Presenter ────────────────────────────────────────────────────────────

/// Native ANSI presenter (Buffer → escape sequences → stdout).
///
/// Wraps `ftui_render::presenter::Presenter<W>` for real ANSI output.
/// In headless mode (`inner = None`), all operations are no-ops.
pub struct TtyPresenter<W: Write + Send = io::Stdout> {
    capabilities: TerminalCapabilities,
    inner: Option<Presenter<W>>,
}

impl TtyPresenter {
    /// Create a headless presenter (no output). Used for tests and headless backends.
    #[must_use]
    pub fn new(capabilities: TerminalCapabilities) -> Self {
        Self {
            capabilities,
            inner: None,
        }
    }

    /// Create a live presenter that writes ANSI escape sequences to stdout.
    #[must_use]
    pub fn live(capabilities: TerminalCapabilities) -> Self {
        Self {
            capabilities,
            inner: Some(Presenter::new(io::stdout(), capabilities)),
        }
    }
}

impl<W: Write + Send> TtyPresenter<W> {
    /// Create a presenter that writes to an arbitrary `Write` sink.
    pub fn with_writer(writer: W, capabilities: TerminalCapabilities) -> Self {
        Self {
            capabilities,
            inner: Some(Presenter::new(writer, capabilities)),
        }
    }
}

impl<W: Write + Send> BackendPresenter for TtyPresenter<W> {
    type Error = io::Error;

    fn capabilities(&self) -> &TerminalCapabilities {
        &self.capabilities
    }

    fn write_log(&mut self, _text: &str) -> Result<(), Self::Error> {
        // The runtime's terminal path routes logs through `TerminalWriter`, which
        // positions output in the inline scrollback region safely. Emitting from
        // here risks interleaving with UI ANSI output on the same terminal stream.
        // Until this backend owns a dedicated safe log channel, keep this a no-op.
        Ok(())
    }

    fn present_ui(
        &mut self,
        buf: &Buffer,
        diff: Option<&BufferDiff>,
        full_repaint_hint: bool,
    ) -> Result<(), Self::Error> {
        let Some(ref mut presenter) = self.inner else {
            return Ok(());
        };
        if full_repaint_hint {
            let full = BufferDiff::full(buf.width(), buf.height());
            presenter.present(buf, &full)?;
        } else if let Some(diff) = diff {
            presenter.present(buf, diff)?;
        } else {
            let full = BufferDiff::full(buf.width(), buf.height());
            presenter.present(buf, &full)?;
        }
        Ok(())
    }
}

// ── Backend ──────────────────────────────────────────────────────────────

/// Native Unix terminal backend.
///
/// Combines `TtyClock`, `TtyEventSource`, and `TtyPresenter` into a single
/// `Backend` implementation that the ftui runtime can drive.
///
/// When created with [`TtyBackend::open`], the backend enters raw mode and
/// manages the terminal lifecycle via RAII. On drop (including panics),
/// all features are disabled, the cursor is shown, the alt screen is exited,
/// and raw mode is restored — in that order.
///
/// When created with [`TtyBackend::new`] (headless), no terminal I/O occurs.
pub struct TtyBackend {
    // Fields are ordered for correct drop sequence:
    // 1. clock (no cleanup needed)
    // 2. events (feature state tracking)
    // 3. presenter (BufWriter flush on drop; benign — present() always flushes)
    // 4. alt_screen_active (tracked for cleanup)
    // 5. raw_mode — MUST be last: termios is restored after escape sequences
    clock: TtyClock,
    events: TtyEventSource,
    presenter: TtyPresenter,
    alt_screen_active: bool,
    #[cfg(unix)]
    raw_mode: Option<RawModeGuard>,
}

impl TtyBackend {
    /// Create a headless backend (no terminal I/O). Useful for testing.
    #[must_use]
    pub fn new(width: u16, height: u16) -> Self {
        Self {
            clock: TtyClock::new(),
            events: TtyEventSource::new(width, height),
            presenter: TtyPresenter::new(TerminalCapabilities::detect()),
            alt_screen_active: false,
            #[cfg(unix)]
            raw_mode: None,
        }
    }

    /// Create a headless backend with explicit capabilities.
    #[must_use]
    pub fn with_capabilities(width: u16, height: u16, capabilities: TerminalCapabilities) -> Self {
        Self {
            clock: TtyClock::new(),
            events: TtyEventSource::new(width, height),
            presenter: TtyPresenter::new(capabilities),
            alt_screen_active: false,
            #[cfg(unix)]
            raw_mode: None,
        }
    }

    /// Open a live terminal session: enter raw mode, enable requested features.
    ///
    /// The terminal is fully restored on drop (even during panics, unless
    /// `panic = "abort"`).
    #[cfg(unix)]
    pub fn open(width: u16, height: u16, options: TtySessionOptions) -> io::Result<Self> {
        // Enter raw mode first — if this fails, nothing to clean up.
        let raw_mode = RawModeGuard::enter()?;
        install_abort_panic_hook();
        install_termination_signal_hook();
        let capabilities = TerminalCapabilities::with_overrides();
        let requested_features = options.features;
        let effective_features = sanitize_feature_request(requested_features, capabilities);

        let mut stdout = io::stdout();
        let mut alt_screen_active = false;

        // Enable initial features.
        let mut events = TtyEventSource::live(width, height, capabilities)?;
        let setup: io::Result<()> = (|| {
            // Enter alt screen if requested.
            if options.alternate_screen {
                stdout.write_all(ALT_SCREEN_ENTER)?;
                stdout.write_all(CLEAR_SCREEN)?;
                stdout.write_all(CURSOR_HOME)?;
                alt_screen_active = true;
            }

            TtyEventSource::write_feature_delta(
                &BackendFeatures::default(),
                &effective_features,
                capabilities,
                &mut stdout,
            )?;

            stdout.flush()?;
            Ok(())
        })();

        if let Err(err) = setup {
            // Best-effort cleanup: we may have partially enabled features or entered alt screen.
            //
            // No synchronized-output block has been opened during setup, so avoid
            // emitting a standalone DEC ?2026l on this path.
            let mouse_disable_seq = mouse_disable_sequence_for_capabilities(capabilities);
            let _ = write_terminal_state_resets(&mut stdout);
            let _ = write_cleanup_sequence_policy_with_mouse(
                &effective_features,
                options.alternate_screen,
                false,
                mouse_disable_seq,
                &mut stdout,
            );
            let _ = stdout.flush();
            return Err(err);
        }

        events.apply_feature_state(effective_features);

        Ok(Self {
            clock: TtyClock::new(),
            events,
            presenter: TtyPresenter::live(capabilities),
            alt_screen_active,
            raw_mode: Some(raw_mode),
        })
    }

    /// Whether this backend has an active terminal session (raw mode).
    #[must_use]
    pub fn is_live(&self) -> bool {
        #[cfg(unix)]
        {
            self.raw_mode.is_some()
        }
        #[cfg(not(unix))]
        {
            false
        }
    }
}

impl Drop for TtyBackend {
    fn drop(&mut self) {
        // Only run cleanup if we have an active session.
        #[cfg(unix)]
        if self.raw_mode.is_some() {
            let mut stdout = io::stdout();
            let _ = write_terminal_state_resets(&mut stdout);

            // Disable features in reverse order of typical enable.
            let _ = self.events.disable_all(&mut stdout);

            // Always show cursor.
            let _ = stdout.write_all(CURSOR_SHOW);

            // Leave alt screen.
            if self.alt_screen_active {
                let _ = stdout.write_all(ALT_SCREEN_LEAVE);
                self.alt_screen_active = false;
            }

            // Flush everything before RawModeGuard restores termios.
            let _ = stdout.flush();

            // RawModeGuard::drop() runs after this, restoring original termios.
        }
    }
}

/// Allow `TtyBackend` to be used directly as a `BackendEventSource` in
/// `Program<M, TtyBackend, W>`.  Delegates to the inner `TtyEventSource`.
/// This is the primary integration point: the runtime owns a `TtyBackend`
/// as its event source, which also provides RAII terminal cleanup on drop.
impl BackendEventSource for TtyBackend {
    type Error = io::Error;

    fn size(&self) -> Result<(u16, u16), io::Error> {
        self.events.size()
    }

    fn set_features(&mut self, features: BackendFeatures) -> Result<(), io::Error> {
        self.events.set_features(features)
    }

    fn poll_event(&mut self, timeout: Duration) -> Result<bool, io::Error> {
        self.events.poll_event(timeout)
    }

    fn read_event(&mut self) -> Result<Option<Event>, io::Error> {
        self.events.read_event()
    }
}

impl Backend for TtyBackend {
    type Error = io::Error;
    type Clock = TtyClock;
    type Events = TtyEventSource;
    type Presenter = TtyPresenter;

    fn clock(&self) -> &Self::Clock {
        &self.clock
    }

    fn events(&mut self) -> &mut Self::Events {
        &mut self.events
    }

    fn presenter(&mut self) -> &mut Self::Presenter {
        &mut self.presenter
    }
}

// ── Utility: write cleanup sequence to a byte buffer (for testing) ───────

/// Write the full cleanup sequence for the given feature state to `writer`.
///
/// This is useful for verifying cleanup in PTY tests without needing
/// a real terminal session. By default this omits DEC ?2026l because no
/// synchronized-output ownership is implied by this utility API.
pub fn write_cleanup_sequence(
    features: &BackendFeatures,
    alt_screen: bool,
    writer: &mut impl Write,
) -> io::Result<()> {
    write_cleanup_sequence_policy(features, alt_screen, false, writer)
}

/// Write cleanup with an explicit DEC ?2026l prefix.
///
/// Use this only when the caller owns a matching synchronized-output begin.
pub fn write_cleanup_sequence_with_sync_end(
    features: &BackendFeatures,
    alt_screen: bool,
    writer: &mut impl Write,
) -> io::Result<()> {
    write_cleanup_sequence_policy(features, alt_screen, true, writer)
}

fn write_cleanup_sequence_policy(
    features: &BackendFeatures,
    alt_screen: bool,
    emit_sync_end: bool,
    writer: &mut impl Write,
) -> io::Result<()> {
    write_cleanup_sequence_policy_with_mouse(
        features,
        alt_screen,
        emit_sync_end,
        MOUSE_DISABLE,
        writer,
    )
}

fn write_cleanup_sequence_policy_with_mouse(
    features: &BackendFeatures,
    alt_screen: bool,
    emit_sync_end: bool,
    mouse_disable_seq: &[u8],
    writer: &mut impl Write,
) -> io::Result<()> {
    if emit_sync_end {
        writer.write_all(SYNC_END)?;
    }
    // Disable features in reverse order.
    if features.kitty_keyboard {
        writer.write_all(KITTY_KEYBOARD_DISABLE)?;
    }
    if features.focus_events {
        writer.write_all(FOCUS_DISABLE)?;
    }
    if features.bracketed_paste {
        writer.write_all(BRACKETED_PASTE_DISABLE)?;
    }
    if features.mouse_capture {
        writer.write_all(mouse_disable_seq)?;
    }
    writer.write_all(CURSOR_SHOW)?;
    if alt_screen {
        writer.write_all(ALT_SCREEN_LEAVE)?;
    }
    Ok(())
}

// ── Tests ────────────────────────────────────────────────────────────────

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

    #[test]
    fn clock_is_monotonic() {
        let clock = TtyClock::new();
        let t1 = clock.now_mono();
        std::hint::black_box(0..1000).for_each(|_| {});
        let t2 = clock.now_mono();
        assert!(t2 >= t1, "clock must be monotonic");
    }

    #[test]
    fn event_source_reports_size() {
        let src = TtyEventSource::new(80, 24);
        let (w, h) = src.size().unwrap();
        assert_eq!(w, 80);
        assert_eq!(h, 24);
    }

    #[test]
    fn event_source_set_features_headless() {
        let mut src = TtyEventSource::new(80, 24);
        let features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: false,
            kitty_keyboard: false,
        };
        src.set_features(features).unwrap();
        assert_eq!(src.features(), features);
    }

    #[test]
    fn poll_returns_false_headless() {
        let mut src = TtyEventSource::new(80, 24);
        assert!(!src.poll_event(Duration::from_millis(0)).unwrap());
    }

    #[test]
    fn read_returns_none_headless() {
        let mut src = TtyEventSource::new(80, 24);
        assert!(src.read_event().unwrap().is_none());
    }

    #[test]
    fn push_resize_enqueues_event_and_updates_size() {
        let mut src = TtyEventSource::new(80, 24);
        src.push_resize(120, 40);
        assert_eq!(src.size().unwrap(), (120, 40));
        assert_eq!(
            src.read_event().unwrap(),
            Some(Event::Resize {
                width: 120,
                height: 40,
            })
        );
        assert!(src.read_event().unwrap().is_none());
    }

    #[test]
    fn push_resize_deduplicates_same_size() {
        let mut src = TtyEventSource::new(80, 24);
        src.push_resize(80, 24);
        assert!(src.event_queue.is_empty(), "no event when size unchanged");
    }

    #[test]
    fn push_resize_ignores_zero_dimensions() {
        let mut src = TtyEventSource::new(80, 24);
        src.push_resize(0, 24);
        assert!(src.event_queue.is_empty());
        src.push_resize(80, 0);
        assert!(src.event_queue.is_empty());
        src.push_resize(0, 0);
        assert!(src.event_queue.is_empty());
    }

    #[test]
    fn resize_storm_coalesces_and_no_panic() {
        let mut src = TtyEventSource::new(80, 24);
        // Simulate a rapid resize storm: 1000 identical resize signals.
        for _ in 0..1000 {
            src.push_resize(120, 40);
        }
        // First push changes 80x24→120x40, rest are deduped.
        assert_eq!(src.event_queue.len(), 1);
        assert_eq!(
            src.event_queue.pop_front().unwrap(),
            Event::Resize {
                width: 120,
                height: 40,
            }
        );
    }

    #[test]
    fn resize_storm_varied_sizes_no_panic() {
        let mut src = TtyEventSource::new(80, 24);
        // Rapidly varying sizes — all should produce events.
        for i in 1..=500u16 {
            src.push_resize(80 + i, 24 + (i % 50));
        }
        // No panics, events are in order.
        let mut prev_w = 80u16;
        while let Some(Event::Resize { width, .. }) = src.event_queue.pop_front() {
            assert!(
                width > prev_w || width == prev_w + 1 || width != prev_w,
                "events must be in push order"
            );
            prev_w = width;
        }
    }

    // ── Pipe-based input parity tests ─────────────────────────────────

    /// Create a (reader_file, writer_stream) pair using Unix sockets.
    #[cfg(unix)]
    fn pipe_pair() -> (std::fs::File, std::os::unix::net::UnixStream) {
        use std::os::unix::net::UnixStream;
        let (a, b) = UnixStream::pair().unwrap();
        // Convert reader to File via OwnedFd for compatibility with TtyEventSource.
        let reader: std::fs::File = std::os::fd::OwnedFd::from(a).into();
        (reader, b)
    }

    #[cfg(unix)]
    #[test]
    fn pipe_ascii_chars() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        writer.write_all(b"abc").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e1 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e1,
            Event::Key(KeyEvent {
                code: KeyCode::Char('a'),
                modifiers: Modifiers::NONE,
                kind: KeyEventKind::Press,
            })
        );
        let e2 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e2,
            Event::Key(KeyEvent {
                code: KeyCode::Char('b'),
                modifiers: Modifiers::NONE,
                kind: KeyEventKind::Press,
            })
        );
        let e3 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e3,
            Event::Key(KeyEvent {
                code: KeyCode::Char('c'),
                modifiers: Modifiers::NONE,
                kind: KeyEventKind::Press,
            })
        );
        // Queue should now be empty.
        assert!(src.read_event().unwrap().is_none());
    }

    #[cfg(unix)]
    #[test]
    fn pipe_arrow_keys() {
        use ftui_core::event::{KeyCode, KeyEvent};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Up (A), Down (B), Right (C), Left (D)
        writer.write_all(b"\x1b[A\x1b[B\x1b[C\x1b[D").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let codes: Vec<KeyCode> = std::iter::from_fn(|| src.read_event().unwrap())
            .map(|e| match e {
                Event::Key(KeyEvent { code, .. }) => Ok(code),
                other => Err(other),
            })
            .collect::<Result<Vec<_>, _>>()
            .unwrap();
        assert_eq!(
            codes,
            vec![KeyCode::Up, KeyCode::Down, KeyCode::Right, KeyCode::Left]
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_ctrl_keys() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Ctrl+A = 0x01, Ctrl+C = 0x03
        writer.write_all(&[0x01, 0x03]).unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e1 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e1,
            Event::Key(KeyEvent {
                code: KeyCode::Char('a'),
                modifiers: Modifiers::CTRL,
                kind: KeyEventKind::Press,
            })
        );
        let e2 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e2,
            Event::Key(KeyEvent {
                code: KeyCode::Char('c'),
                modifiers: Modifiers::CTRL,
                kind: KeyEventKind::Press,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_function_keys() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // F1 (SS3 P) and F5 (CSI 15~)
        writer.write_all(b"\x1bOP\x1b[15~").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e1 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e1,
            Event::Key(KeyEvent {
                code: KeyCode::F(1),
                modifiers: Modifiers::NONE,
                kind: KeyEventKind::Press,
            })
        );
        let e2 = src.read_event().unwrap().unwrap();
        assert_eq!(
            e2,
            Event::Key(KeyEvent {
                code: KeyCode::F(5),
                modifiers: Modifiers::NONE,
                kind: KeyEventKind::Press,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_mouse_sgr_click() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // SGR mouse: left click at (10, 20) — 1-indexed in protocol, 0-indexed in Event.
        writer.write_all(b"\x1b[<0;10;20M").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Mouse(MouseEvent {
                kind: MouseEventKind::Down(MouseButton::Left),
                x: 9,
                y: 19,
                modifiers: Modifiers::NONE,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_mouse_x10_click_when_mouse_capture_enabled() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        src.set_features(BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        })
        .unwrap();

        // X10 mouse: left click at (10, 20) in 1-indexed protocol coordinates.
        // CSI M Cb Cx Cy, with each byte encoded as value + 32 (or +33 for x/y).
        writer.write_all(&[0x1B, b'[', b'M', 32, 42, 52]).unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Mouse(MouseEvent {
                kind: MouseEventKind::Down(MouseButton::Left),
                x: 9,
                y: 19,
                modifiers: Modifiers::NONE,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_mouse_x10_not_decoded_when_mouse_capture_disabled() {
        use ftui_core::event::{KeyCode, KeyEvent};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        src.set_features(BackendFeatures::default()).unwrap();

        // Same X10 sequence as above; with mouse capture disabled, this should
        // not be interpreted as a mouse event.
        writer.write_all(&[0x1B, b'[', b'M', 32, 42, 52]).unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert!(matches!(
            e,
            Event::Key(KeyEvent {
                code: KeyCode::Char(' '),
                ..
            })
        ));
    }

    #[cfg(unix)]
    #[test]
    fn pipe_mouse_legacy_1015_click_when_mouse_capture_enabled() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        src.set_features(BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        })
        .unwrap();

        // Legacy xterm/rxvt 1015 mouse: CSI Cb;Cx;Cy M
        writer.write_all(b"\x1b[0;10;20M").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Mouse(MouseEvent {
                kind: MouseEventKind::Down(MouseButton::Left),
                x: 9,
                y: 19,
                modifiers: Modifiers::NONE,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_mouse_legacy_1015_not_decoded_when_mouse_capture_disabled() {
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        src.set_features(BackendFeatures::default()).unwrap();

        writer.write_all(b"\x1b[0;10;20M").unwrap();
        assert!(!src.poll_event(Duration::from_millis(25)).unwrap());
        assert!(src.read_event().unwrap().is_none());
    }

    #[cfg(unix)]
    #[test]
    fn pipe_focus_events() {
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Focus in (CSI I) and focus out (CSI O)
        writer.write_all(b"\x1b[I\x1b[O").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        assert_eq!(src.read_event().unwrap().unwrap(), Event::Focus(true));
        assert_eq!(src.read_event().unwrap().unwrap(), Event::Focus(false));
    }

    #[cfg(unix)]
    #[test]
    fn pipe_bracketed_paste() {
        use ftui_core::event::PasteEvent;
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        writer.write_all(b"\x1b[200~hello world\x1b[201~").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Paste(PasteEvent {
                text: "hello world".to_string(),
                bracketed: true,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_modified_arrow_key() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Ctrl+Up: CSI 1;5A
        writer.write_all(b"\x1b[1;5A").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Key(KeyEvent {
                code: KeyCode::Up,
                modifiers: Modifiers::CTRL,
                kind: KeyEventKind::Press,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_scroll_events() {
        use ftui_core::event::{Modifiers, MouseEvent, MouseEventKind};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // SGR scroll up at (5, 5): button=64 (scroll bit + up)
        writer.write_all(b"\x1b[<64;5;5M").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Mouse(MouseEvent {
                kind: MouseEventKind::ScrollUp,
                x: 4,
                y: 4,
                modifiers: Modifiers::NONE,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn poll_returns_buffered_events_immediately() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Write multiple chars to produce multiple events.
        writer.write_all(b"xy").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        // Consume only one event.
        let _ = src.read_event().unwrap().unwrap();
        // Second poll should return true immediately (buffered event).
        assert!(src.poll_event(Duration::from_millis(0)).unwrap());
        let e = src.read_event().unwrap().unwrap();
        assert_eq!(
            e,
            Event::Key(KeyEvent {
                code: KeyCode::Char('y'),
                modifiers: Modifiers::NONE,
                kind: KeyEventKind::Press,
            })
        );
    }

    #[cfg(unix)]
    #[test]
    fn pipe_large_ascii_burst_roundtrips() {
        use ftui_core::event::{KeyCode, KeyEvent};

        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        let payload = vec![b'a'; 4 * 1024 * 1024];
        let expected_len = payload.len();
        let writer_thread = std::thread::spawn(move || writer.write_all(&payload));

        let mut count = 0usize;
        let deadline = std::time::Instant::now() + Duration::from_secs(15);
        while count < expected_len {
            if !src.poll_event(Duration::from_millis(100)).unwrap() {
                assert!(
                    std::time::Instant::now() < deadline,
                    "timed out waiting for burst events: received {count} / {expected_len}"
                );
                continue;
            }
            while let Some(event) = src.read_event().unwrap() {
                match event {
                    Event::Key(KeyEvent {
                        code: KeyCode::Char('a'),
                        ..
                    }) => count += 1,
                    other => panic!("unexpected event in ascii burst test: {other:?}"),
                }
            }
        }
        writer_thread.join().unwrap().unwrap();

        assert_eq!(count, expected_len, "all bytes should decode to key events");
    }

    // ── Edge-case input parser tests ─────────────────────────────────

    #[cfg(unix)]
    #[test]
    fn truncated_csi_followed_by_valid_input() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Write an incomplete CSI sequence followed by a valid character.
        // The incomplete `\x1b[` should be buffered; when `a` arrives
        // (not a valid CSI final byte when directly after `[`), the parser
        // should eventually recover. We follow with a clear valid sequence.
        writer.write_all(b"\x1b[").unwrap();
        // Give the poll a chance to consume the partial sequence.
        let _ = src.poll_event(Duration::from_millis(50));
        // Now send a valid key to force the parser forward.
        writer.write_all(b"\x1b[Ax").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        // Drain all events and verify we get at least the valid ones.
        let mut events = Vec::new();
        while let Some(e) = src.read_event().unwrap() {
            events.push(e);
        }
        // The Up arrow (\x1b[A) and the 'x' key should both be parsed.
        let has_up = events.iter().any(|e| {
            matches!(
                e,
                Event::Key(KeyEvent {
                    code: KeyCode::Up,
                    ..
                })
            )
        });
        let has_x = events.iter().any(|e| {
            matches!(
                e,
                Event::Key(KeyEvent {
                    code: KeyCode::Char('x'),
                    modifiers: Modifiers::NONE,
                    kind: KeyEventKind::Press,
                })
            )
        });
        assert!(
            has_up,
            "should parse Up arrow after partial CSI: {events:?}"
        );
        assert!(has_x, "should parse 'x' after recovery: {events:?}");
    }

    #[cfg(unix)]
    #[test]
    fn unknown_csi_sequence_does_not_block_parser() {
        use ftui_core::event::{KeyCode, KeyEvent, KeyEventKind, Modifiers};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // \x1b[999~ is an unknown tilde-code; the parser should silently
        // drop it and still parse the subsequent 'z' key event.
        writer.write_all(b"\x1b[999~z").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let mut events = Vec::new();
        while let Some(e) = src.read_event().unwrap() {
            events.push(e);
        }
        let has_z = events.iter().any(|e| {
            matches!(
                e,
                Event::Key(KeyEvent {
                    code: KeyCode::Char('z'),
                    modifiers: Modifiers::NONE,
                    kind: KeyEventKind::Press,
                })
            )
        });
        assert!(
            has_z,
            "valid key after unknown CSI must be parsed: {events:?}"
        );
    }

    #[cfg(unix)]
    #[test]
    fn eof_on_pipe_does_not_panic() {
        let (reader, writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Close the writer end immediately to simulate EOF.
        drop(writer);
        // poll_event should return false (no data) without panicking.
        let result = src.poll_event(Duration::from_millis(50));
        assert!(result.is_ok(), "poll_event after EOF should not error");
        // read_event should also return None cleanly.
        let event = src.read_event().unwrap();
        assert!(event.is_none(), "read_event after EOF should be None");
    }

    #[cfg(unix)]
    #[test]
    fn interleaved_invalid_and_valid_sequences() {
        use ftui_core::event::{KeyCode, KeyEvent};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Mix of: invalid UTF-8 lead byte, valid 'a', unknown CSI, valid 'b',
        // bare ESC followed by valid char, valid 'c'.
        writer.write_all(b"\xC0a\x1b[999~b\x1b c").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let mut key_chars = Vec::new();
        while let Some(e) = src.read_event().unwrap() {
            if let Event::Key(KeyEvent {
                code: KeyCode::Char(ch),
                ..
            }) = e
            {
                key_chars.push(ch);
            }
        }
        // 'a', 'b', and 'c' must all appear (possibly with Alt modifier for 'c'
        // since \x1b followed by space+c could parse as Alt+Space then 'c').
        assert!(
            key_chars.contains(&'a'),
            "should parse 'a' amid invalid input: {key_chars:?}"
        );
        assert!(
            key_chars.contains(&'b'),
            "should parse 'b' amid invalid input: {key_chars:?}"
        );
        assert!(
            key_chars.contains(&'c'),
            "should parse 'c' amid invalid input: {key_chars:?}"
        );
    }

    #[cfg(unix)]
    #[test]
    fn split_escape_sequence_across_writes() {
        use ftui_core::event::{KeyCode, KeyEvent};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Write the escape sequence for Down arrow (\x1b[B) in two separate writes.
        writer.write_all(b"\x1b").unwrap();
        // First poll: the lone ESC may or may not produce an event depending
        // on whether the parser waits for more bytes.
        let _ = src.poll_event(Duration::from_millis(30));
        // Complete the sequence.
        writer.write_all(b"[B").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let mut events = Vec::new();
        while let Some(e) = src.read_event().unwrap() {
            events.push(e);
        }
        let has_down = events.iter().any(|e| {
            matches!(
                e,
                Event::Key(KeyEvent {
                    code: KeyCode::Down,
                    ..
                })
            )
        });
        assert!(
            has_down,
            "Down arrow split across writes should be parsed: {events:?}"
        );
    }

    #[cfg(unix)]
    #[test]
    fn poll_with_zero_timeout_returns_false_on_empty_pipe() {
        let (reader, _writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Zero-timeout poll with no data should return false immediately.
        let ready = src.poll_event(Duration::ZERO).unwrap();
        assert!(!ready, "empty pipe with zero timeout should not be ready");
    }

    #[cfg(unix)]
    #[test]
    fn zero_timeout_poll_resolves_pending_escape_after_grace() {
        use ftui_core::event::{KeyCode, KeyEvent};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);

        // Begin an ambiguous escape sequence with a lone ESC byte.
        writer.write_all(b"\x1b").unwrap();

        // Immediate zero-timeout poll should not resolve it yet.
        let ready = src.poll_event(Duration::ZERO).unwrap();
        assert!(!ready, "pending ESC should wait for timeout grace");

        // After grace elapses, a zero-timeout poll should emit Escape.
        std::thread::sleep(PARSER_TIMEOUT_GRACE + Duration::from_millis(10));
        let ready = src.poll_event(Duration::ZERO).unwrap();
        assert!(ready, "zero-timeout poll should resolve overdue ESC");

        let event = src.read_event().unwrap();
        assert!(matches!(
            event,
            Some(Event::Key(KeyEvent {
                code: KeyCode::Escape,
                ..
            }))
        ));
    }

    #[cfg(unix)]
    #[test]
    fn malformed_sgr_mouse_does_not_block() {
        use ftui_core::event::{KeyCode, KeyEvent};
        let (reader, mut writer) = pipe_pair();
        let mut src = TtyEventSource::from_reader(80, 24, reader);
        // Malformed SGR mouse: missing coordinates followed by valid 'q'.
        writer.write_all(b"\x1b[<M q").unwrap();
        assert!(src.poll_event(Duration::from_millis(100)).unwrap());
        let mut events = Vec::new();
        while let Some(e) = src.read_event().unwrap() {
            events.push(e);
        }
        // Parser must recover; 'q' should appear somewhere in the events.
        let has_q = events.iter().any(|e| {
            matches!(
                e,
                Event::Key(KeyEvent {
                    code: KeyCode::Char('q'),
                    ..
                })
            )
        });
        assert!(
            has_q,
            "should parse 'q' after malformed SGR mouse: {events:?}"
        );
    }

    // ── Presenter edge-case tests ────────────────────────────────────

    #[test]
    #[should_panic(expected = "buffer width must be > 0")]
    fn buffer_rejects_zero_width() {
        let _buf = Buffer::new(0, 5);
    }

    #[test]
    #[should_panic(expected = "buffer height must be > 0")]
    fn buffer_rejects_zero_height() {
        let _buf = Buffer::new(5, 0);
    }

    #[test]
    fn presenter_1x1_buffer_does_not_panic() {
        let caps = TerminalCapabilities::detect();
        let mut presenter = TtyPresenter::with_writer(Vec::<u8>::new(), caps);
        let buf = Buffer::new(1, 1);
        let diff = BufferDiff::full(1, 1);
        presenter.present_ui(&buf, Some(&diff), false).unwrap();
        // Verify output was emitted for the single cell.
        let bytes = presenter.inner.unwrap().into_inner().unwrap();
        assert!(!bytes.is_empty(), "1x1 buffer should produce output");
    }

    #[test]
    fn presenter_capabilities() {
        let caps = TerminalCapabilities::detect();
        let presenter = TtyPresenter::new(caps);
        let _c = presenter.capabilities();
    }

    // ── TtyPresenter rendering tests ─────────────────────────────────

    #[test]
    fn headless_presenter_present_ui_is_noop() {
        let caps = TerminalCapabilities::detect();
        let mut presenter = TtyPresenter::new(caps);
        let buf = Buffer::new(10, 5);
        let diff = BufferDiff::full(10, 5);
        // All variants should return Ok without panicking.
        presenter.present_ui(&buf, Some(&diff), false).unwrap();
        presenter.present_ui(&buf, None, false).unwrap();
        presenter.present_ui(&buf, Some(&diff), true).unwrap();
    }

    #[test]
    fn live_presenter_emits_ansi() {
        use ftui_render::cell::{Cell, CellAttrs, CellContent, PackedRgba, StyleFlags};

        let caps = TerminalCapabilities::detect();
        let output = Vec::<u8>::new();
        let mut presenter = TtyPresenter::with_writer(output, caps);

        let mut buf = Buffer::new(10, 2);
        // Place a bold red 'X' at (0, 0).
        let cell = Cell {
            content: CellContent::from_char('X'),
            fg: PackedRgba::RED,
            bg: PackedRgba::BLACK,
            attrs: CellAttrs::new(StyleFlags::BOLD, 0),
        };
        buf.set(0, 0, cell);

        let diff = BufferDiff::full(10, 2);
        presenter.present_ui(&buf, Some(&diff), false).unwrap();

        // Extract the written bytes from the inner Presenter's writer.
        // The Presenter wraps writer in BufWriter<CountingWriter<W>>,
        // so we just check the output isn't empty and contains CSI (ESC[).
        let inner = presenter.inner.unwrap();
        let bytes = inner.into_inner().unwrap();
        assert!(!bytes.is_empty(), "live presenter should emit output");
        assert!(
            bytes.windows(2).any(|w| w == b"\x1b["),
            "output should contain CSI escape sequences"
        );
    }

    #[test]
    fn full_repaint_when_diff_is_none() {
        use ftui_render::cell::Cell;

        let caps = TerminalCapabilities::detect();
        let output = Vec::<u8>::new();
        let mut presenter = TtyPresenter::with_writer(output, caps);

        let mut buf = Buffer::new(5, 1);
        for x in 0..5 {
            buf.set(x, 0, Cell::from_char(b"ABCDE"[x as usize] as char));
        }

        // Pass diff=None — should trigger full repaint.
        presenter.present_ui(&buf, None, false).unwrap();

        let bytes = presenter.inner.unwrap().into_inner().unwrap();
        // All 5 characters should appear in the output.
        let output_str = String::from_utf8_lossy(&bytes);
        for ch in ['A', 'B', 'C', 'D', 'E'] {
            assert!(
                output_str.contains(ch),
                "full repaint should emit '{ch}', got: {output_str}"
            );
        }
    }

    #[test]
    fn diff_based_partial_update() {
        use ftui_render::cell::Cell;

        let caps = TerminalCapabilities::detect();
        let output = Vec::<u8>::new();
        let mut presenter = TtyPresenter::with_writer(output, caps);

        let mut old = Buffer::new(5, 1);
        for x in 0..5 {
            old.set(x, 0, Cell::from_char(b"ABCDE"[x as usize] as char));
        }
        let mut new = old.clone();
        new.set(2, 0, Cell::from_char('Z'));
        let diff = BufferDiff::compute(&old, &new);
        presenter.present_ui(&new, Some(&diff), false).unwrap();

        let bytes = presenter.inner.unwrap().into_inner().unwrap();
        let output_str = String::from_utf8_lossy(&bytes);
        // The changed cell should appear; unchanged leading cell should not.
        assert!(
            output_str.contains('Z'),
            "diff-based update should emit changed cell 'Z'"
        );
        assert!(
            !output_str.contains('A'),
            "diff-based update should not emit unchanged cell 'A'"
        );
    }

    #[test]
    fn write_log_headless_does_not_panic() {
        let caps = TerminalCapabilities::detect();
        let mut presenter = TtyPresenter::new(caps);
        presenter.write_log("headless log test").unwrap();
    }

    #[test]
    fn write_log_live_does_not_corrupt_ui_stream() {
        let caps = TerminalCapabilities::detect();
        let mut presenter = TtyPresenter::with_writer(Vec::<u8>::new(), caps);
        presenter.write_log("live log test").unwrap();
        let bytes = presenter.inner.unwrap().into_inner().unwrap();
        assert!(bytes.is_empty(), "write_log must not emit UI bytes");
    }

    #[test]
    fn backend_headless_construction() {
        let backend = TtyBackend::new(120, 40);
        assert!(!backend.is_live());
        let (w, h) = backend.events.size().unwrap();
        assert_eq!(w, 120);
        assert_eq!(h, 40);
    }

    #[test]
    fn backend_trait_impl() {
        let mut backend = TtyBackend::new(80, 24);
        let _t = backend.clock().now_mono();
        let (w, h) = backend.events().size().unwrap();
        assert_eq!((w, h), (80, 24));
        let _c = backend.presenter().capabilities();
    }

    #[test]
    fn feature_delta_writes_enable_sequences() {
        let current = BackendFeatures::default();
        let new = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let mut buf = Vec::new();
        TtyEventSource::write_feature_delta(
            &current,
            &new,
            TerminalCapabilities::modern(),
            &mut buf,
        )
        .unwrap();
        assert!(
            buf.windows(MOUSE_ENABLE.len()).any(|w| w == MOUSE_ENABLE),
            "expected mouse enable sequence"
        );
        assert!(
            !buf.windows(b"\x1b[?1003h".len())
                .any(|w| w == b"\x1b[?1003h"),
            "mouse enable should avoid 1003 any-event mode"
        );
        assert!(
            !buf.ends_with(b"\x1b[?1016l"),
            "mouse enable should not end with 1016l (can force X10 fallback on some terminals)"
        );
        let pos_1016l = buf
            .windows(b"\x1b[?1016l".len())
            .position(|w| w == b"\x1b[?1016l")
            .expect("mouse enable should clear 1016 before enabling SGR");
        let pos_1006h = buf
            .windows(b"\x1b[?1006h".len())
            .position(|w| w == b"\x1b[?1006h")
            .expect("mouse enable should include 1006 SGR mode");
        assert!(
            pos_1016l < pos_1006h,
            "1016l must be emitted before 1006h to preserve SGR mode on Ghostty-like terminals"
        );
        assert!(
            buf.windows(BRACKETED_PASTE_ENABLE.len())
                .any(|w| w == BRACKETED_PASTE_ENABLE),
            "expected bracketed paste enable"
        );
        assert!(
            buf.windows(FOCUS_ENABLE.len()).any(|w| w == FOCUS_ENABLE),
            "expected focus enable"
        );
        assert!(
            buf.windows(KITTY_KEYBOARD_ENABLE.len())
                .any(|w| w == KITTY_KEYBOARD_ENABLE),
            "expected kitty keyboard enable"
        );
    }

    #[test]
    fn mouse_enable_sequence_for_mux_capabilities_is_safe() {
        let mux_caps = TerminalCapabilities::builder()
            .mouse_sgr(true)
            .in_wezterm_mux(true)
            .build();
        assert_eq!(
            mouse_enable_sequence_for_capabilities(mux_caps),
            MOUSE_ENABLE_MUX_SAFE
        );
        assert!(
            !MOUSE_ENABLE_MUX_SAFE
                .windows(b"\x1b[?1001l".len())
                .any(|w| w == b"\x1b[?1001l"),
            "mux-safe enable should avoid legacy reset bundle"
        );
        assert!(
            MOUSE_ENABLE_MUX_SAFE
                .windows(b"\x1b[?1006h".len())
                .any(|w| w == b"\x1b[?1006h"),
            "mux-safe enable should keep SGR mouse mode"
        );
        let pos_1016l = MOUSE_ENABLE_MUX_SAFE
            .windows(b"\x1b[?1016l".len())
            .position(|w| w == b"\x1b[?1016l")
            .expect("mux-safe enable should clear 1016 before enabling SGR");
        let pos_1006h = MOUSE_ENABLE_MUX_SAFE
            .windows(b"\x1b[?1006h".len())
            .position(|w| w == b"\x1b[?1006h")
            .expect("mux-safe enable should include 1006 SGR mode");
        assert!(
            pos_1016l < pos_1006h,
            "mux-safe enable must emit 1016l before 1006h to preserve SGR mode"
        );
    }

    #[test]
    fn mouse_disable_sequence_for_mux_capabilities_clears_1016() {
        let mux_caps = TerminalCapabilities::builder()
            .mouse_sgr(true)
            .in_wezterm_mux(true)
            .build();
        assert_eq!(
            mouse_disable_sequence_for_capabilities(mux_caps),
            MOUSE_DISABLE_MUX_SAFE
        );
        let pos_1016l = MOUSE_DISABLE_MUX_SAFE
            .windows(b"\x1b[?1016l".len())
            .position(|w| w == b"\x1b[?1016l")
            .expect("mux-safe disable should clear 1016");
        let pos_1006l = MOUSE_DISABLE_MUX_SAFE
            .windows(b"\x1b[?1006l".len())
            .position(|w| w == b"\x1b[?1006l")
            .expect("mux-safe disable should include 1006 reset");
        assert!(
            pos_1016l < pos_1006l,
            "mux-safe disable should clear 1016 before disabling 1006"
        );
    }

    #[test]
    fn feature_delta_uses_mux_safe_mouse_sequence() {
        let current = BackendFeatures::default();
        let new = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: false,
            focus_events: false,
            kitty_keyboard: false,
        };
        let mux_caps = TerminalCapabilities::builder()
            .mouse_sgr(true)
            .in_wezterm_mux(true)
            .build();
        let mut buf = Vec::new();
        TtyEventSource::write_feature_delta(&current, &new, mux_caps, &mut buf).unwrap();
        assert!(
            buf.windows(MOUSE_ENABLE_MUX_SAFE.len())
                .any(|w| w == MOUSE_ENABLE_MUX_SAFE),
            "feature delta should use mux-safe mouse enable sequence in mux contexts"
        );
        assert!(
            !buf.windows(b"\x1b[?1001l".len())
                .any(|w| w == b"\x1b[?1001l"),
            "feature delta must avoid legacy reset bundle in mux contexts"
        );
    }

    #[test]
    fn feature_delta_writes_disable_sequences() {
        let current = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let new = BackendFeatures::default();
        let mut buf = Vec::new();
        TtyEventSource::write_feature_delta(
            &current,
            &new,
            TerminalCapabilities::modern(),
            &mut buf,
        )
        .unwrap();
        assert!(buf.windows(MOUSE_DISABLE.len()).any(|w| w == MOUSE_DISABLE));
        assert!(
            buf.windows(BRACKETED_PASTE_DISABLE.len())
                .any(|w| w == BRACKETED_PASTE_DISABLE)
        );
        assert!(buf.windows(FOCUS_DISABLE.len()).any(|w| w == FOCUS_DISABLE));
        assert!(
            buf.windows(KITTY_KEYBOARD_DISABLE.len())
                .any(|w| w == KITTY_KEYBOARD_DISABLE)
        );
    }

    #[test]
    fn feature_delta_noop_when_unchanged() {
        let features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: false,
            focus_events: true,
            kitty_keyboard: false,
        };
        let mut buf = Vec::new();
        TtyEventSource::write_feature_delta(
            &features,
            &features,
            TerminalCapabilities::modern(),
            &mut buf,
        )
        .unwrap();
        assert!(buf.is_empty(), "no output expected when features unchanged");
    }

    #[test]
    fn cleanup_sequence_contains_all_disable() {
        let features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let mut buf = Vec::new();
        write_cleanup_sequence(&features, true, &mut buf).unwrap();

        // Verify expected cleanup disables are present.
        assert!(
            !buf.windows(SYNC_END.len()).any(|w| w == SYNC_END),
            "default cleanup utility must not emit standalone sync_end"
        );
        assert!(buf.windows(MOUSE_DISABLE.len()).any(|w| w == MOUSE_DISABLE));
        assert!(
            buf.windows(BRACKETED_PASTE_DISABLE.len())
                .any(|w| w == BRACKETED_PASTE_DISABLE)
        );
        assert!(buf.windows(FOCUS_DISABLE.len()).any(|w| w == FOCUS_DISABLE));
        assert!(
            buf.windows(KITTY_KEYBOARD_DISABLE.len())
                .any(|w| w == KITTY_KEYBOARD_DISABLE)
        );
        assert!(buf.windows(CURSOR_SHOW.len()).any(|w| w == CURSOR_SHOW));
        assert!(
            buf.windows(ALT_SCREEN_LEAVE.len())
                .any(|w| w == ALT_SCREEN_LEAVE)
        );
    }

    #[test]
    fn cleanup_sequence_with_sync_end_opt_in() {
        let features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: false,
            focus_events: false,
            kitty_keyboard: false,
        };
        let mut buf = Vec::new();
        write_cleanup_sequence_with_sync_end(&features, true, &mut buf).unwrap();

        assert!(
            buf.windows(SYNC_END.len()).any(|w| w == SYNC_END),
            "opt-in cleanup helper should include sync_end"
        );
        let sync_pos = buf
            .windows(SYNC_END.len())
            .position(|w| w == SYNC_END)
            .expect("sync_end present");
        let cursor_pos = buf
            .windows(CURSOR_SHOW.len())
            .position(|w| w == CURSOR_SHOW)
            .expect("cursor_show present");
        assert!(
            sync_pos < cursor_pos,
            "sync_end should precede cursor_show in opt-in cleanup"
        );
    }

    #[test]
    fn cleanup_sequence_policy_can_skip_sync_end() {
        let features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: false,
            focus_events: false,
            kitty_keyboard: false,
        };
        let mut buf = Vec::new();
        write_cleanup_sequence_policy(&features, false, false, &mut buf).unwrap();

        assert!(
            !buf.windows(SYNC_END.len()).any(|w| w == SYNC_END),
            "sync_end must be omitted when policy disables synchronized output"
        );
        assert!(
            buf.windows(MOUSE_DISABLE.len()).any(|w| w == MOUSE_DISABLE),
            "other cleanup bytes must still be emitted"
        );
        assert!(buf.windows(CURSOR_SHOW.len()).any(|w| w == CURSOR_SHOW));
    }

    #[test]
    fn conservative_feature_union_is_over_disabling_superset() {
        let a = BackendFeatures {
            mouse_capture: false,
            bracketed_paste: true,
            focus_events: false,
            kitty_keyboard: true,
        };
        let b = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: false,
            focus_events: true,
            kitty_keyboard: false,
        };

        let merged = conservative_feature_union(a, b);
        assert!(merged.mouse_capture);
        assert!(merged.bracketed_paste);
        assert!(merged.focus_events);
        assert!(merged.kitty_keyboard);
    }

    #[test]
    fn sanitize_feature_request_disables_unsupported_capabilities() {
        let requested = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let sanitized = sanitize_feature_request(requested, TerminalCapabilities::basic());
        assert_eq!(sanitized, BackendFeatures::default());
    }

    #[test]
    fn sanitize_feature_request_is_conservative_in_wezterm_mux() {
        let requested = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let caps = TerminalCapabilities::builder()
            .mouse_sgr(true)
            .bracketed_paste(true)
            .focus_events(true)
            .kitty_keyboard(true)
            .in_wezterm_mux(true)
            .build();
        let sanitized = sanitize_feature_request(requested, caps);

        assert!(
            sanitized.mouse_capture,
            "mouse capture should remain available"
        );
        assert!(
            sanitized.bracketed_paste,
            "bracketed paste should remain available"
        );
        assert!(
            !sanitized.focus_events,
            "focus events should be disabled in wezterm mux"
        );
        assert!(
            !sanitized.kitty_keyboard,
            "kitty keyboard should be disabled in mux sessions"
        );
    }

    #[test]
    fn sanitize_feature_request_disables_focus_in_tmux() {
        let requested = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let caps = TerminalCapabilities::builder()
            .mouse_sgr(true)
            .bracketed_paste(true)
            .focus_events(true)
            .kitty_keyboard(true)
            .in_tmux(true)
            .build();
        let sanitized = sanitize_feature_request(requested, caps);

        assert!(sanitized.mouse_capture);
        assert!(sanitized.bracketed_paste);
        assert!(!sanitized.focus_events);
        assert!(!sanitized.kitty_keyboard);
    }

    #[test]
    fn apply_feature_state_enables_legacy_fallbacks_when_mouse_capture_on() {
        let mut src = TtyEventSource::new(80, 24);
        src.capabilities = TerminalCapabilities::builder().mouse_sgr(true).build();
        src.apply_feature_state(BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        });

        // With SGR support, keep numeric and raw X10 fallbacks enabled for
        // mux/terminal edge-cases that ignore SGR mode requests.
        let modern_events = src.parser.parse(b"\x1b[0;10;20M");
        assert!(
            modern_events.iter().any(|e| matches!(e, Event::Mouse(_))),
            "legacy numeric fallback should remain available with mouse capture on"
        );
        let modern_x10 = src.parser.parse(&[0x1B, b'[', b'M', 32, 42, 52]);
        assert!(
            modern_x10.iter().any(|e| matches!(e, Event::Mouse(_))),
            "raw X10 fallback should stay available with mouse capture on"
        );

        src.capabilities = TerminalCapabilities::basic();
        src.apply_feature_state(BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        });

        // Without SGR support, fallback remains enabled.
        let legacy_events = src.parser.parse(b"\x1b[0;10;20M");
        assert!(
            legacy_events.iter().any(|e| matches!(e, Event::Mouse(_))),
            "legacy mouse fallback should be enabled when SGR is unavailable"
        );
        let legacy_x10 = src.parser.parse(&[0x1B, b'[', b'M', 32, 42, 52]);
        assert!(
            legacy_x10.iter().any(|e| matches!(e, Event::Mouse(_))),
            "raw X10 decoding should be enabled when SGR is unavailable"
        );

        src.apply_feature_state(BackendFeatures::default());
        let disabled_x10 = src.parser.parse(&[0x1B, b'[', b'M', 32, 42, 52]);
        assert!(
            disabled_x10.iter().all(|e| !matches!(e, Event::Mouse(_))),
            "raw X10 fallback must be disabled when mouse capture is off"
        );
    }

    #[test]
    fn normalize_event_maps_pixel_space_mouse_to_cell_grid() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};

        let mut src = TtyEventSource::new(100, 40);
        src.capabilities = TerminalCapabilities::builder().mouse_sgr(true).build();
        src.features = BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        };
        src.pixel_width = 1000;
        src.pixel_height = 800;

        let event = Event::Mouse(MouseEvent {
            kind: MouseEventKind::Down(MouseButton::Left),
            x: 500,
            y: 400,
            modifiers: Modifiers::NONE,
        });
        let normalized = src.normalize_event(event);

        let mouse = match normalized {
            Event::Mouse(mouse) => mouse,
            other => {
                panic!("expected mouse event, got {other:?}");
            }
        };
        assert!(mouse.x < src.width, "x should be mapped into cell bounds");
        assert!(mouse.y < src.height, "y should be mapped into cell bounds");
        assert!(
            mouse.x > 0 && mouse.y > 0,
            "pixel-space event should not collapse to origin"
        );
    }

    #[test]
    fn normalize_event_keeps_cell_space_mouse_unchanged() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};

        let mut src = TtyEventSource::new(100, 40);
        src.capabilities = TerminalCapabilities::builder().mouse_sgr(true).build();
        src.features = BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        };
        src.pixel_width = 1000;
        src.pixel_height = 800;

        let event = Event::Mouse(MouseEvent {
            kind: MouseEventKind::Down(MouseButton::Left),
            x: 50,
            y: 10,
            modifiers: Modifiers::NONE,
        });
        let normalized = src.normalize_event(event.clone());
        assert_eq!(
            normalized, event,
            "cell-space coordinates must be preserved"
        );
    }

    #[test]
    fn normalize_event_sticky_pixel_mode_maps_subsequent_low_coordinates() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};

        let mut src = TtyEventSource::new(100, 40);
        src.capabilities = TerminalCapabilities::builder().mouse_sgr(true).build();
        src.features = BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        };
        src.pixel_width = 1000;
        src.pixel_height = 800;

        let first = Event::Mouse(MouseEvent {
            kind: MouseEventKind::Down(MouseButton::Left),
            x: 500,
            y: 400,
            modifiers: Modifiers::NONE,
        });
        let _ = src.normalize_event(first);
        assert!(
            src.mouse_coords_pixels,
            "large out-of-grid mouse event should arm sticky pixel normalization"
        );

        let second = Event::Mouse(MouseEvent {
            kind: MouseEventKind::Down(MouseButton::Left),
            x: 100,
            y: 20,
            modifiers: Modifiers::NONE,
        });
        let normalized = src.normalize_event(second);
        let mouse = match normalized {
            Event::Mouse(mouse) => mouse,
            other => {
                panic!("expected mouse event, got {other:?}");
            }
        };
        assert!(mouse.x < src.width, "sticky mode should normalize x");
        assert!(mouse.y < src.height, "sticky mode should normalize y");
    }

    #[test]
    fn apply_feature_state_disabling_mouse_resets_pixel_detector() {
        let mut src = TtyEventSource::new(80, 24);
        src.mouse_coords_pixels = true;
        src.inferred_pixel_width = 1234;
        src.inferred_pixel_height = 777;
        src.apply_feature_state(BackendFeatures::default());
        assert!(
            !src.mouse_coords_pixels,
            "disabling mouse capture should clear sticky pixel-mode detector"
        );
        assert_eq!(src.inferred_pixel_width, 0);
        assert_eq!(src.inferred_pixel_height, 0);
    }

    #[test]
    fn normalize_event_infers_pixel_grid_when_winsize_pixels_missing() {
        use ftui_core::event::{Modifiers, MouseButton, MouseEvent, MouseEventKind};

        let mut src = TtyEventSource::new(100, 40);
        src.capabilities = TerminalCapabilities::builder().mouse_sgr(true).build();
        src.features = BackendFeatures {
            mouse_capture: true,
            ..BackendFeatures::default()
        };
        // Simulate terminals that leak pixel coordinates but report 0x0 pixel winsize.
        src.pixel_width = 0;
        src.pixel_height = 0;

        let first = Event::Mouse(MouseEvent {
            kind: MouseEventKind::Down(MouseButton::Left),
            x: 500,
            y: 400,
            modifiers: Modifiers::NONE,
        });
        let normalized_first = src.normalize_event(first);
        let first_mouse = match normalized_first {
            Event::Mouse(mouse) => mouse,
            other => {
                panic!("expected mouse event, got {other:?}");
            }
        };
        assert!(first_mouse.x > 0 && first_mouse.x < src.width.saturating_sub(1));
        assert!(first_mouse.y > 0 && first_mouse.y < src.height.saturating_sub(1));

        let second = Event::Mouse(MouseEvent {
            kind: MouseEventKind::Moved,
            x: 250,
            y: 200,
            modifiers: Modifiers::NONE,
        });
        let normalized = src.normalize_event(second);
        let mouse = match normalized {
            Event::Mouse(mouse) => mouse,
            other => {
                panic!("expected mouse event, got {other:?}");
            }
        };

        assert!(mouse.x < src.width);
        assert!(mouse.y < src.height);
        assert!(mouse.x > 0 && mouse.x < src.width.saturating_sub(1));
        assert!(mouse.y > 0 && mouse.y < src.height.saturating_sub(1));
    }

    #[test]
    fn cleanup_sequence_ordering() {
        let features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let mut buf = Vec::new();
        write_cleanup_sequence(&features, true, &mut buf).unwrap();

        // Verify ordering: cursor_show before alt_screen_leave.
        let cursor_pos = buf
            .windows(CURSOR_SHOW.len())
            .position(|w| w == CURSOR_SHOW)
            .expect("cursor_show present");
        let alt_pos = buf
            .windows(ALT_SCREEN_LEAVE.len())
            .position(|w| w == ALT_SCREEN_LEAVE)
            .expect("alt_screen_leave present");

        assert!(
            cursor_pos < alt_pos,
            "cursor_show must come before alt_screen_leave"
        );
    }

    #[test]
    fn disable_all_resets_feature_state() {
        let mut src = TtyEventSource::new(80, 24);
        src.features = BackendFeatures {
            mouse_capture: true,
            bracketed_paste: true,
            focus_events: true,
            kitty_keyboard: true,
        };
        let mut buf = Vec::new();
        src.disable_all(&mut buf).unwrap();
        assert_eq!(src.features(), BackendFeatures::default());
        // Verify disable sequences were written.
        assert!(!buf.is_empty());
    }

    // ── PTY-based raw mode tests ─────────────────────────────────────

    #[cfg(unix)]
    mod pty_tests {
        use super::*;
        use nix::pty::openpty;
        use nix::sys::termios::{self, LocalFlags};
        use std::io::Read;

        fn pty_pair() -> (std::fs::File, std::fs::File) {
            let result = openpty(None, None).expect("openpty failed");
            (
                std::fs::File::from(result.master),
                std::fs::File::from(result.slave),
            )
        }

        #[test]
        fn raw_mode_entered_and_restored_on_drop() {
            let (_master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            // Before: canonical mode with ECHO.
            let before = termios::tcgetattr(&slave_dup).unwrap();
            assert!(
                before.local_flags.contains(LocalFlags::ECHO),
                "default termios should have ECHO"
            );
            assert!(
                before.local_flags.contains(LocalFlags::ICANON),
                "default termios should have ICANON"
            );

            {
                let _guard = RawModeGuard::enter_on(slave).unwrap();

                // During: raw mode — no echo, no canonical.
                let during = termios::tcgetattr(&slave_dup).unwrap();
                assert!(
                    !during.local_flags.contains(LocalFlags::ECHO),
                    "raw mode should clear ECHO"
                );
                assert!(
                    !during.local_flags.contains(LocalFlags::ICANON),
                    "raw mode should clear ICANON"
                );
            }

            // After drop: original termios restored.
            let after = termios::tcgetattr(&slave_dup).unwrap();
            assert!(
                after.local_flags.contains(LocalFlags::ECHO),
                "should restore ECHO after drop"
            );
            assert!(
                after.local_flags.contains(LocalFlags::ICANON),
                "should restore ICANON after drop"
            );
        }

        #[test]
        fn panic_restores_termios() {
            let (_master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            // Spawn a thread that panics with the guard held.
            let handle = std::thread::spawn(move || {
                let _guard = RawModeGuard::enter_on(slave).unwrap();
                std::panic::panic_any("intentional panic for testing raw mode cleanup");
            });

            assert!(handle.join().is_err(), "thread should have panicked");

            // Verify termios restored despite the panic.
            let after = termios::tcgetattr(&slave_dup).unwrap();
            assert!(
                after.local_flags.contains(LocalFlags::ECHO),
                "ECHO should be restored after panic"
            );
            assert!(
                after.local_flags.contains(LocalFlags::ICANON),
                "ICANON should be restored after panic"
            );
        }

        #[test]
        fn backend_drop_writes_cleanup_sequences() {
            let (mut master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            {
                let _guard = RawModeGuard::enter_on(slave).unwrap();

                // Write feature-enable sequences to the PTY.
                let mut stdout_buf = Vec::new();
                let all_on = BackendFeatures {
                    mouse_capture: true,
                    bracketed_paste: true,
                    focus_events: true,
                    kitty_keyboard: true,
                };
                TtyEventSource::write_feature_delta(
                    &BackendFeatures::default(),
                    &all_on,
                    TerminalCapabilities::modern(),
                    &mut stdout_buf,
                )
                .unwrap();
                // Also write cleanup as if TtyBackend::drop ran.
                write_cleanup_sequence(&all_on, true, &mut stdout_buf).unwrap();

                // Write it all to the slave so master can read it.
                use std::io::Write;
                let mut slave_writer = slave_dup.try_clone().unwrap();
                slave_writer.write_all(&stdout_buf).unwrap();
                slave_writer.flush().unwrap();
            }

            // Read from master to verify cleanup sequences were written.
            let mut buf = vec![0u8; 2048];
            let n = master.read(&mut buf).unwrap();
            let output = &buf[..n];

            assert!(
                output.windows(CURSOR_SHOW.len()).any(|w| w == CURSOR_SHOW),
                "cleanup must show cursor"
            );
            assert!(
                output
                    .windows(MOUSE_DISABLE.len())
                    .any(|w| w == MOUSE_DISABLE),
                "cleanup must disable mouse"
            );
            assert!(
                output
                    .windows(ALT_SCREEN_LEAVE.len())
                    .any(|w| w == ALT_SCREEN_LEAVE),
                "cleanup must leave alt-screen"
            );
        }

        /// Helper: write bytes to the PTY slave and read them back from master.
        fn write_to_slave_and_read_master(
            master: &mut std::fs::File,
            slave: &std::fs::File,
            data: &[u8],
        ) -> Vec<u8> {
            use std::io::Write;
            let mut writer = slave.try_clone().unwrap();
            writer.write_all(data).unwrap();
            writer.flush().unwrap();
            let mut buf = vec![0u8; 4096];
            let n = master.read(&mut buf).unwrap();
            buf.truncate(n);
            buf
        }

        #[test]
        fn cursor_hide_on_enter_show_on_drop() {
            let (mut master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            // Simulate entering a session: raw mode + hide cursor.
            {
                let _guard = RawModeGuard::enter_on(slave).unwrap();
                let output = write_to_slave_and_read_master(&mut master, &slave_dup, CURSOR_HIDE);
                assert!(
                    output.windows(CURSOR_HIDE.len()).any(|w| w == CURSOR_HIDE),
                    "cursor-hide should be written on session enter"
                );

                // Simulate drop cleanup: show cursor.
                let output = write_to_slave_and_read_master(&mut master, &slave_dup, CURSOR_SHOW);
                assert!(
                    output.windows(CURSOR_SHOW.len()).any(|w| w == CURSOR_SHOW),
                    "cursor-show should be written on session exit"
                );
            }
        }

        #[test]
        fn alt_screen_enter_and_leave_via_pty() {
            let (mut master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            {
                let _guard = RawModeGuard::enter_on(slave).unwrap();

                // Enter alt-screen.
                let output =
                    write_to_slave_and_read_master(&mut master, &slave_dup, ALT_SCREEN_ENTER);
                assert!(
                    output
                        .windows(ALT_SCREEN_ENTER.len())
                        .any(|w| w == ALT_SCREEN_ENTER),
                    "alt-screen enter should pass through PTY"
                );

                // Leave alt-screen.
                let output =
                    write_to_slave_and_read_master(&mut master, &slave_dup, ALT_SCREEN_LEAVE);
                assert!(
                    output
                        .windows(ALT_SCREEN_LEAVE.len())
                        .any(|w| w == ALT_SCREEN_LEAVE),
                    "alt-screen leave should pass through PTY"
                );
            }
        }

        #[test]
        fn per_feature_disable_on_drop() {
            let (mut master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            {
                let _guard = RawModeGuard::enter_on(slave).unwrap();

                // Enable all features, then write cleanup (simulating TtyBackend::drop).
                let all_on = BackendFeatures {
                    mouse_capture: true,
                    bracketed_paste: true,
                    focus_events: true,
                    kitty_keyboard: true,
                };
                let mut cleanup = Vec::new();
                write_cleanup_sequence(&all_on, false, &mut cleanup).unwrap();

                let output = write_to_slave_and_read_master(&mut master, &slave_dup, &cleanup);

                // Verify each feature's disable sequence individually.
                assert!(
                    output
                        .windows(MOUSE_DISABLE.len())
                        .any(|w| w == MOUSE_DISABLE),
                    "mouse must be disabled on drop"
                );
                assert!(
                    output
                        .windows(BRACKETED_PASTE_DISABLE.len())
                        .any(|w| w == BRACKETED_PASTE_DISABLE),
                    "bracketed paste must be disabled on drop"
                );
                assert!(
                    output
                        .windows(FOCUS_DISABLE.len())
                        .any(|w| w == FOCUS_DISABLE),
                    "focus events must be disabled on drop"
                );
                assert!(
                    output
                        .windows(KITTY_KEYBOARD_DISABLE.len())
                        .any(|w| w == KITTY_KEYBOARD_DISABLE),
                    "kitty keyboard must be disabled on drop"
                );
                assert!(
                    output.windows(CURSOR_SHOW.len()).any(|w| w == CURSOR_SHOW),
                    "cursor must be shown on drop"
                );
            }
        }

        #[test]
        fn panic_with_features_restores_termios() {
            let (_master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            let handle = std::thread::spawn(move || {
                let _guard = RawModeGuard::enter_on(slave).unwrap();
                // Simulate having features enabled — the guard tracks termios, and
                // TtyBackend::drop would disable features. Here we just verify
                // the termios restoration happens even when features were "active".
                std::panic::panic_any("panic with features enabled");
            });

            assert!(handle.join().is_err());

            let after = termios::tcgetattr(&slave_dup).unwrap();
            assert!(
                after.local_flags.contains(LocalFlags::ECHO),
                "ECHO restored after panic with features"
            );
            assert!(
                after.local_flags.contains(LocalFlags::ICANON),
                "ICANON restored after panic with features"
            );
        }

        #[test]
        fn repeated_raw_mode_cycles_no_leak() {
            let (_master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            // Enter and exit raw mode multiple times.
            for _ in 0..5 {
                let s = slave_dup.try_clone().unwrap();
                let guard = RawModeGuard::enter_on(s).unwrap();

                // Verify raw mode active.
                let during = termios::tcgetattr(&slave_dup).unwrap();
                assert!(!during.local_flags.contains(LocalFlags::ECHO));

                drop(guard);

                // Verify restored.
                let after = termios::tcgetattr(&slave_dup).unwrap();
                assert!(
                    after.local_flags.contains(LocalFlags::ECHO),
                    "ECHO must be restored each cycle"
                );
            }
        }

        #[test]
        fn cleanup_ordering_via_pty() {
            let (mut master, slave) = pty_pair();
            let slave_dup = slave.try_clone().unwrap();

            {
                let _guard = RawModeGuard::enter_on(slave).unwrap();

                // Write a full cleanup sequence and verify ordering.
                let features = BackendFeatures {
                    mouse_capture: true,
                    bracketed_paste: true,
                    focus_events: true,
                    kitty_keyboard: true,
                };
                let mut seq = Vec::new();
                write_cleanup_sequence_with_sync_end(&features, true, &mut seq).unwrap();

                let output = write_to_slave_and_read_master(&mut master, &slave_dup, &seq);

                // Verify ordering: sync_end before cursor_show before alt_screen_leave.
                let sync_pos = output
                    .windows(SYNC_END.len())
                    .position(|w| w == SYNC_END)
                    .expect("sync_end present");
                let cursor_pos = output
                    .windows(CURSOR_SHOW.len())
                    .position(|w| w == CURSOR_SHOW)
                    .expect("cursor_show present");
                let alt_pos = output
                    .windows(ALT_SCREEN_LEAVE.len())
                    .position(|w| w == ALT_SCREEN_LEAVE)
                    .expect("alt_screen_leave present");

                assert!(
                    sync_pos < cursor_pos,
                    "sync_end ({sync_pos}) must precede cursor_show ({cursor_pos})"
                );
                assert!(
                    cursor_pos < alt_pos,
                    "cursor_show ({cursor_pos}) must precede alt_screen_leave ({alt_pos})"
                );
            }
        }
    }
}