praxis-cli 0.1.0

//! Integration tests for the `praxis run` command (§19): execute boxed integer
//! arithmetic, branches, loops, and recursive function calls; faults return to
//! the host without unwinding.
//!
//! These drive the compiled `praxis` binary end to end (parse → analyze → typed
//! HIR → MIR → Cranelift JIT → execute), asserting on stdout and the exit code.

use std::path::PathBuf;
use std::process::Command;

mod common;

use common::bin_path;

/// A path under this crate's `tests/fixtures/run`.
fn fixture(name: &str) -> PathBuf {
    common::fixture(&format!("run/{name}"))
}

/// A scratch directory this **process** owns, for the tests that must write a
/// file for the binary to read.
///
/// **Two concurrent `cargo test` processes share `/tmp`**, and they share
/// `CARGO_TARGET_TMPDIR` too — it is the same path for both. A fixed file name
/// therefore lets one process rewrite a source file while the other's REPL is
/// reading it. The pid is what makes the directory exclusive.
fn scratch_dir() -> PathBuf {
    let dir = PathBuf::from(env!("CARGO_TARGET_TMPDIR"))
        .join(format!("run-tests-{}", std::process::id()));
    std::fs::create_dir_all(&dir).expect("create this process's scratch directory");
    dir
}

/// Run a fixture and return (exit_code, stdout, stderr). Panics if the process
/// can't be spawned.
fn run_fixture(name: &str) -> (i32, String, String) {
    let output = Command::new(bin_path())
        .arg("run")
        .arg(fixture(name))
        .output()
        .expect("failed to run praxis");
    let code = output.status.code().unwrap_or(-1);
    (
        code,
        String::from_utf8_lossy(&output.stdout).into_owned(),
        String::from_utf8_lossy(&output.stderr).into_owned(),
    )
}

/// Assert a run-pass fixture exits 0 and prints exactly `expected` on stdout.
fn assert_passes(name: &str, expected: &str) {
    let (code, stdout, stderr) = run_fixture(name);
    assert_eq!(
        code, 0,
        "`{name}` should exit 0\nstdout: {stdout}\nstderr: {stderr}"
    );
    assert_eq!(
        stdout.trim(),
        expected,
        "`{name}` should print {expected:?}, got {stdout:?}"
    );
}

/// Assert a run-fault fixture exits 1 and mentions `fault_msg` on stderr (and
/// crucially was NOT killed by a signal — no Rust panic/abort across the ABI).
fn assert_faults(name: &str, fault_msg: &str) {
    let (code, _stdout, stderr) = run_fixture(name);
    assert_eq!(
        code, 1,
        "`{name}` should exit 1 (fault), got code {code}\nstderr: {stderr}"
    );
    assert!(
        stderr.contains(fault_msg),
        "`{name}` should report `{fault_msg}`, got stderr: {stderr}"
    );
}

#[test]
fn missing_explicit_input_file_is_a_usage_error() {
    let missing = fixture("definitely-missing-input.txt");
    let output = Command::new(bin_path())
        .args(["run", "--input"])
        .arg(&missing)
        .arg(fixture("constant.px"))
        .output()
        .expect("failed to run praxis");
    let code = output.status.code().unwrap_or(-1);
    let stderr = String::from_utf8_lossy(&output.stderr);
    assert_eq!(code, 2, "unreadable explicit input is a usage error");
    assert!(
        stderr.contains("failed to read") && stderr.contains("input"),
        "the input I/O error must be reported, got: {stderr}"
    );
}

#[test]
fn run_pass_constant() {
    assert_passes("constant.px", "42");
}

// ---- Lazy standard input (§7.10) ----

/// Run a fixture with stdin bound to a pipe this test **keeps open**, writing
/// `stdin` into it but never sending EOF until the deadline. Returns the exit
/// code and stdout, or `None` if the child was still running after `deadline`.
///
/// A never-closed pipe is the shape a terminal and a CI harness both have, and
/// it is the only shape that can tell an eager read from a lazy one: against
/// `/dev/null` — which `Command::output` uses by default — an eager read
/// returns immediately.
///
/// The deadline is what keeps a regression a *failure*: without it, an eager
/// read would wedge this test process rather than fail it.
fn run_with_open_stdin(
    name: &str,
    stdin: &str,
    deadline: std::time::Duration,
) -> Option<(i32, String)> {
    use std::io::Write;
    let mut child = Command::new(bin_path())
        .arg("run")
        .arg(fixture(name))
        .stdin(std::process::Stdio::piped())
        .stdout(std::process::Stdio::piped())
        .stderr(std::process::Stdio::piped())
        .spawn()
        .expect("failed to spawn praxis");
    // Written, then *held*: the pipe stays open, so a read to EOF blocks.
    let mut pipe = child.stdin.take().expect("piped stdin");
    if !stdin.is_empty() {
        pipe.write_all(stdin.as_bytes()).expect("write to child");
        pipe.flush().expect("flush to child");
    }

    let start = std::time::Instant::now();
    let status = loop {
        match child.try_wait().expect("try_wait") {
            Some(status) => break Some(status),
            None if start.elapsed() >= deadline => break None,
            None => std::thread::sleep(std::time::Duration::from_millis(20)),
        }
    };
    match status {
        None => {
            let _ = child.kill();
            let _ = child.wait();
            None
        }
        Some(status) => {
            drop(pipe);
            let out = child.wait_with_output().expect("wait_with_output");
            Some((
                status.code().unwrap_or(-1),
                String::from_utf8_lossy(&out.stdout).into_owned(),
            ))
        }
    }
}

/// **The laziness gate.** A program with no `read` never touches standard
/// input.
///
/// §7.10: "The first `read` lazily reads standard input once into an immutable
/// GC-managed source buffer." A host that read stdin to EOF *before* calling
/// the entry function would consume it for a `read`-free program too, and
/// against a pipe nobody closes — which is what a terminal and a CI harness
/// both are — would block forever waiting for an EOF that is not coming.
///
/// The open pipe is the whole test. Every other test in this file goes through
/// `Command::output`, which binds stdin to `/dev/null`, where an eager read
/// returns instantly and nothing is observable.
#[test]
fn a_program_that_never_reads_does_not_wait_for_standard_input() {
    let deadline = std::time::Duration::from_secs(10);
    let outcome = run_with_open_stdin("constant.px", "", deadline);
    let (code, stdout) = outcome.expect(
        "`praxis run` blocked on standard input for a program with no `read` \
         (§7.10: the *first* `read` reads it)",
    );
    assert_eq!(code, 0, "stdout: {stdout}");
    assert_eq!(stdout.trim(), "42");
}

/// The other half, and a **mutation companion, not a gate**. Laziness must not
/// become "never" — the cheapest way to stop a hang on standard input is to
/// stop reading it at all, and that would pass the gate above.
///
/// So: the *same* open pipe, a program that does `read`, and the child must
/// still be running at the deadline. A `read` reads to EOF (§7.10 — the buffer
/// is the whole input, not a stream), and this test deliberately withholds the
/// EOF, so "still waiting" is the correct behaviour and "exited" would mean the
/// input was never read.
#[test]
fn a_program_that_reads_still_waits_for_its_input() {
    let outcome = run_with_open_stdin(
        "reads_lines_of_int.px",
        "1\n2\n3\n",
        std::time::Duration::from_secs(2),
    );
    assert!(
        outcome.is_none(),
        "a `read` reads to EOF; this pipe has sent none, so the program \
         cannot have finished — laziness must not mean the input is skipped, \
         got {outcome:?}"
    );
}

/// Run a fixture with `stdin` piped and closed, and assert stdout.
fn assert_passes_with_stdin(name: &str, stdin: &str, expected: &str) {
    use std::io::Write;
    let mut child = Command::new(bin_path())
        .arg("run")
        .arg(fixture(name))
        .stdin(std::process::Stdio::piped())
        .stdout(std::process::Stdio::piped())
        .stderr(std::process::Stdio::piped())
        .spawn()
        .expect("failed to spawn praxis");
    {
        let mut pipe = child.stdin.take().expect("piped stdin");
        pipe.write_all(stdin.as_bytes()).expect("write to child");
    }
    let out = child.wait_with_output().expect("wait_with_output");
    let stdout = String::from_utf8_lossy(&out.stdout);
    let stderr = String::from_utf8_lossy(&out.stderr);
    assert_eq!(out.status.code(), Some(0), "stderr: {stderr}");
    assert_eq!(stdout.trim(), expected);
}

/// Reading twice reuses the buffer rather than consuming a stream (§7.10), and
/// the lazy read is what installs it.
#[test]
fn a_second_read_sees_the_same_buffer() {
    assert_passes_with_stdin("reads_lines_of_int.px", "1\n2\n3\n", "3\n3");
}

/// **ADR-114.** A parse whose input forces the native root store past its
/// reservation still answers, end to end.
///
/// `parser::walk_lines` opens **one** `NativeScope` for the whole `lines(…)`
/// walk and roots one reference per input line, so the store's high-water mark
/// is the input's line count — 200,001 for a 200,000-line file, measured. That
/// is what makes the store a growable one rather than a second ADR-101, and the
/// growth is where a pointer-shaped watermark would have died: the array moves,
/// and every scope that saved its position before the move publishes a stale
/// address on the way out.
///
/// The unit tests in `praxis-runtime::roots` pin the mechanism at every corner.
/// This one exists because they force the growth *synthetically*, and this is
/// the shape a real program reaches it through: 4096 lines is four doublings
/// past `NATIVE_ROOT_RESERVATION`, through the interpreter, with the collector
/// pacing underneath.
#[test]
fn a_parse_that_outgrows_the_native_root_reservation_still_answers() {
    let lines: String = (0..4096).map(|n| format!("{n}\n")).collect();
    assert_passes_with_stdin("reads_lines_of_int.px", &lines, "4096\n4096");
}

/// **ADR-087.** A zero-byte `--input` file is *empty input*, not the absence of
/// input.
///
/// The buffer is installed unconditionally, so an empty file still leaves
/// `ctx.input_source` a Text source and every `read` parses against a
/// zero-length buffer. (Leave it at the immortal Unit and `Input::new` answers
/// `None`, which takes the "no detail was recorded" path: a fault with no
/// offset, no `expected` and no `actual`, where §7.11 asks a parse detail to
/// name where parsing broke.)
///
/// `lines(int)` over a zero-length buffer is `[]` by `split_lines`'s own rule,
/// so the program answers rather than faults.
#[test]
fn a_zero_byte_input_file_is_empty_input_and_not_a_contentless_fault() {
    let empty = scratch_dir().join("praxis-rep60-empty.in");
    std::fs::write(&empty, b"").expect("write the empty input file");
    let output = Command::new(bin_path())
        .args(["run", "--debug=never", "--input"])
        .arg(&empty)
        .arg(fixture("reads_lines_of_int.px"))
        .output()
        .expect("failed to run praxis");
    let code = output.status.code().unwrap_or(-1);
    let stdout = String::from_utf8_lossy(&output.stdout).into_owned();
    let stderr = String::from_utf8_lossy(&output.stderr).into_owned();
    let _ = std::fs::remove_file(&empty);

    assert_eq!(
        code, 0,
        "`read lines(int)` over an empty file is the empty list, not a fault\n\
         stdout: {stdout}\nstderr: {stderr}"
    );
    // The fixture reads twice and prints each length.
    assert_eq!(stdout.trim(), "0\n0", "stderr: {stderr}");
}

/// Run a fixture under `--debug=never` with `stdin` piped and then **closed**,
/// returning `(exit code, stdout, stderr)`.
///
/// The closed empty pipe is the shape that matters here and it is not the same
/// shape as `run_with_open_stdin`'s: this one sends EOF, so a `read` completes
/// with whatever arrived — for `stdin = ""`, zero bytes. It is also not
/// `Command::output`'s default, which binds stdin to `/dev/null`; both reach the
/// reader with an empty answer, and a test that means "the user piped nothing"
/// should say so rather than lean on a default.
fn run_with_closed_stdin(name: &str, stdin: &str) -> (i32, String, String) {
    use std::io::Write;
    let mut child = Command::new(bin_path())
        .args(["run", "--debug=never"])
        .arg(fixture(name))
        .stdin(std::process::Stdio::piped())
        .stdout(std::process::Stdio::piped())
        .stderr(std::process::Stdio::piped())
        .spawn()
        .expect("failed to spawn praxis");
    {
        let mut pipe = child.stdin.take().expect("piped stdin");
        pipe.write_all(stdin.as_bytes()).expect("write to child");
    }
    let out = child.wait_with_output().expect("wait_with_output");
    (
        out.status.code().unwrap_or(-1),
        String::from_utf8_lossy(&out.stdout).into_owned(),
        String::from_utf8_lossy(&out.stderr).into_owned(),
    )
}

/// Run a fixture under `--debug=never` with `--input` pointed at a file holding
/// `contents`, returning `(exit code, stdout, stderr)`. The file is named after
/// the calling test so two tests cannot race for it.
fn run_with_input_file(name: &str, contents: &str, tag: &str) -> (i32, String, String) {
    let path = scratch_dir().join(format!("praxis-{tag}.in"));
    std::fs::write(&path, contents).expect("write the input file");
    let output = Command::new(bin_path())
        .args(["run", "--debug=never", "--input"])
        .arg(&path)
        .arg(fixture(name))
        .output()
        .expect("failed to run praxis");
    let _ = std::fs::remove_file(&path);
    (
        output.status.code().unwrap_or(-1),
        String::from_utf8_lossy(&output.stdout).into_owned(),
        String::from_utf8_lossy(&output.stderr).into_owned(),
    )
}

/// **The stdin half, and the twin of the `--input` gate above.** A reader that
/// answers zero bytes has given *empty input*, not no input.
///
/// `praxis_get_input` installs the buffer whatever its length, so standard
/// input with nothing in it still reaches the parser rather than tripping
/// `praxis_run_parser`'s §6.3 descriptor guard before it runs. ADR-087 is the
/// record; the rule lives at `praxis_get_input`.
#[test]
fn empty_standard_input_is_empty_input_and_not_a_contentless_fault() {
    assert_passes_with_stdin("reads_lines_of_int.px", "", "0\n0");
}

/// The field assertion: a program that *requires* content still faults on empty
/// input, and the fault carries §7.11's fields.
///
/// §7.11: "A mismatch creates a runtime fault containing: input span / parser
/// span / expected description / actual preview / parser path / partial root
/// value." A fault raised *before* any buffer exists can carry none of them —
/// it has no input span to name. With a zero-length buffer installed, the parse
/// actually runs and fails where it should: at `0..0`, wanting an `int`.
///
/// This is deliberately not "the program succeeds": a rule that only made
/// `reads_lines_of_int.px` pass would leave this one contentless.
#[test]
fn empty_standard_input_faults_with_an_offset_and_an_expectation() {
    let (code, stdout, stderr) = run_with_closed_stdin("reads_an_int.px", "");
    assert_eq!(
        code, 1,
        "`read int` over an empty buffer is a mismatch\nstdout: {stdout}\nstderr: {stderr}"
    );
    assert!(
        stderr.contains("at input offset 0..0"),
        "the mismatch must name where it happened (§7.11 input span): {stderr}"
    );
    assert!(
        stderr.contains("expected int"),
        "the mismatch must name what it wanted (§7.11 expected description): {stderr}"
    );
}

/// **A mutation companion, not a gate.**
///
/// It pins the one §7.11 field the test above legitimately cannot assert: a
/// zero-length buffer has no bytes to preview, so `actual:` is correctly absent
/// from an empty-input mismatch. Assert it here, on a non-empty failing input,
/// so "no `actual` line" stays a property of the empty buffer rather than
/// becoming a property of the renderer.
#[test]
fn a_failing_read_names_what_it_saw() {
    let (code, stdout, stderr) = run_with_closed_stdin("reads_an_int.px", "x\n");
    assert_eq!(code, 1, "stdout: {stdout}\nstderr: {stderr}");
    assert!(
        stderr.contains("at input offset 0..0") && stderr.contains("expected int"),
        "{stderr}"
    );
    assert!(
        stderr.contains("actual: x⏎"),
        "a non-empty failing input previews what was there (§7.11 actual preview): {stderr}"
    );
}

/// **The "one rule" gate.** The two spellings of "run this with no input" must
/// answer identically — not merely both plausibly.
///
/// Asserting the two behaviours separately would let them drift apart the next
/// time one path is touched; asserting they are *equal* is what makes the rule
/// checkable. A user cannot be expected to know that `< /dev/null` and
/// `--input /dev/null` are different questions.
#[test]
fn empty_stdin_and_a_zero_byte_input_file_answer_the_same() {
    let piped = run_with_closed_stdin("reads_an_int.px", "");
    let filed = run_with_input_file("reads_an_int.px", "", "rep60-same-answer");
    assert_eq!(
        piped, filed,
        "empty standard input and a zero-byte `--input` file are the same \
         question and must get the same answer (REP-60, ADR-087)"
    );
}

#[test]
fn run_pass_arithmetic() {
    // 1 + 2 * 3 = 7 (precedence respected).
    assert_passes("arithmetic.px", "7");
}

// ---- Float (§4.12) ----

#[test]
fn run_pass_float_literal() {
    assert_passes("float_literal.px", "2.5");
}

#[test]
fn run_pass_float_arith() {
    // 1.5 + 2.5 * 2.0 = 6.5.
    assert_passes("float_arith.px", "6.5");
}

#[test]
fn run_pass_float_methods() {
    // sqrt(16.0) + 5.to_float() = 4.0 + 5.0 = 9.0.
    //
    // The expected text is `9.0` and not `9` (§8.2): a `Float` never renders as
    // an `Int`. `9` is not a `Float` literal in this language (§4.12: `42` is
    // strictly an `Int`, and the two never mix), so that text would not read
    // back as the value it came from, and the same characters are what a
    // `Vec[Int]` of `[9]` would print. ADR-083 decided the rendering.
    assert_passes("float_methods.px", "9.0");
}

#[test]
fn run_pass_float_div_by_zero() {
    // 1.0 / 0.0 = inf (IEEE-754); Float division never faults (§4.12).
    assert_passes("float_div_by_zero.px", "inf");
}

/// The `-0.0` literal, and the round trip ADR-083 states.
///
/// A Float negation must not be lowered as `0.0 - x`: `0.0 - 0.0` is `+0.0`, so
/// that spelling loses the sign and the text a Float renders to no longer reads
/// back as that Float — the one rule ADR-083 exists to state. ADR-045 decides
/// the two zeros are distinct values (§16.3 orders a container by the rendered
/// form, and the two forms differ), so the sign is a value the language admits.
///
/// The observation is `1.0 / x` and **not** `x == 0.0`: IEEE-754 says
/// `-0.0 == 0.0`, so equality is blind to precisely the bit this is about, and
/// a gate written with `==` would pass either way. Lines 1–2 are the computed
/// negative zero; lines 3–6 are the literal and the same negation through a
/// binding.
#[test]
fn run_pass_float_negative_zero() {
    assert_passes(
        "float_negative_zero.px",
        "-0.0\n-inf\n-0.0\n-inf\n-0.0\n-inf\ninf\ninf\n-2.5\n-2.5",
    );
}

/// A compound assignment on a `Float` is Float arithmetic — at every operator,
/// through every target shape the language has.
///
/// A `Float` rides the uniform `i64` scalar channel as its IEEE-754 **bit
/// pattern** (ADR-037), so every arithmetic site has to bit-cast to `f64` and
/// back. Both compound-assignment paths in MIR — `x += …` on a binding and
/// `m[k] += …` through a subscript — have to do it; integer arithmetic on the
/// pattern makes `var f = 1.0; f += 2.0; out(f)` print `9218868437227405312`,
/// which is `f64::to_bits(1.0) + f64::to_bits(2.0)`.
///
/// Every operand is picked so a forgotten cast is a **silent wrong answer**
/// with `rc=0` rather than a crash: an integer overflow would be caught by any
/// test that ran the program at all. `-0.0` is observed through `1.0 / x` and
/// not `x == 0.0`, because IEEE-754 says `-0.0 == 0.0` and equality is blind to
/// exactly the bit those two lines are about.
#[test]
fn run_pass_float_compound_assign() {
    let expected = [
        // A binding: `+=`, `-=`, `/=`, then `*=` read through the sign of zero.
        "3.0", "3.0", "2.5", "-0.0", "-inf",
        // Operands whose bit patterns read as negative integers, then `-0.0`.
        "1.0", "1.0", "3.0", "0.0", "inf",
        // A binding captured by a closure, so the slot is a `VarCell`.
        "0.0", // A subscript store: `+=`, `-=`, `/=`, `*=` (via `1/x`), mixed signs.
        "3.0", "3.0", "2.5", "-inf", "1.0", // The neighbours this must not have changed.
        "3", "3", "ab", "3.0",
    ]
    .join("\n");
    assert_passes("float_compound_assign.px", &expected);
}

/// **Every place the language can assign to**, through the compiled binary:
/// bindings, record fields, and `Vec`/`Deque` elements — the last of those is a
/// store row on ADR-064's subscript table, not a second surface.
///
/// The expected lines are chosen so the two mistakes a store like this makes
/// are *visible* rather than merely possible: a store that appended instead of
/// replacing moves a length, and a store that derived its own field index
/// instead of reading the record definition moves the neighbouring field. Each
/// is read back on its own line, next to a value that must not have changed.
#[test]
fn run_pass_place_assignment() {
    let expected = [
        // A record field: plain, the neighbour it must not touch, the five
        // compounds, `Text` concatenation, and the write seen through an alias.
        "5",
        "2",
        "1",
        "abcd",
        "8",
        "9",
        // A `Vec` element, then its length — which an appending store moves.
        "[100, 2, 13]",
        "3", // A `Deque` element, from the front, and its length.
        "1",
        "42",
        "2", // Nested places: a field of a field, and a field of an element.
        "{ inner: { v: 7 }, xs: [10, 30] }",
        "[{ v: 100 }, { v: 2 }]",
        // A deferred receiver, through a generic `fn`.
        "8",
        "55", // The receiver of a compound store runs once, and lands once.
        "1",
        "9", // …and so does a store through a collection element.
        "3",
    ]
    .join("\n");
    assert_passes("place_assignment.px", &expected);
}

#[test]
fn run_fault_float_to_int_nan() {
    // NaN → to_int faults with FloatToInt (§4.12), exit 1, no abort.
    assert_faults(
        "float_to_int_nan.px",
        "float-to-int conversion out of range",
    );
}

#[test]
fn run_pass_branch() {
    assert_passes("branch.px", "100");
}

#[test]
fn run_pass_loop_sum() {
    // Sum 1..=5 = 15.
    assert_passes("loop_sum.px", "15");
}

#[test]
fn run_pass_recursive_factorial() {
    assert_passes("factorial.px", "120");
}

#[test]
fn run_pass_recursive_fibonacci() {
    assert_passes("fibonacci.px", "55");
}

// ===========================================================================
// `out(...)`, and a program's want of an answer value (§16.1, §4.3).
//
// `out` is `(T) -> Unit`: it writes its argument once and returns `Unit`. A
// program has no answer value at all — the entry point holding a file's
// top-level statements is `Unit` (ADR-067) — so the host prints no trailing
// result line and a program's output is exactly what `out` wrote.
// ===========================================================================

#[test]
fn out_prints_its_argument_once() {
    // `out("kurac")` must write "kurac" exactly once; no second line from the
    // host echoing it as the program's result.
    assert_passes("out_prints_once.px", "kurac");
}

#[test]
fn a_program_with_no_out_prints_nothing() {
    // Statements that bind and never print produce empty stdout — not a
    // spurious "0" or "Unit" result line.
    let (code, stdout, stderr) = run_fixture("prints_nothing.px");
    assert_eq!(code, 0, "should exit 0\nstdout: {stdout}\nstderr: {stderr}");
    assert_eq!(
        stdout, "",
        "a program with no `out` prints nothing, got {stdout:?}"
    );
}

#[test]
fn run_fault_overflow() {
    // §19 acceptance: overflow returns to the host without Rust unwinding.
    assert_faults("overflow.px", "integer overflow");
}

#[test]
fn run_fault_division_by_zero() {
    // §19 acceptance: division by zero returns to the host without unwinding.
    assert_faults("div_by_zero.px", "division by zero");
}

#[test]
fn run_fault_does_not_abort() {
    // The fault must surface as exit code 1, not as a signal (which would be
    // the case if a Rust panic crossed the ABI and aborted the process).
    let (code, _, _) = run_fixture("overflow.px");
    assert_ne!(
        code, -1,
        "process was killed by a signal (abort/panic leaked across the ABI)"
    );
}

// ===========================================================================
// §9.6 noninteractive crash diagnostic.
//
// A runtime fault renders the fault line + a numbered backtrace + the top
// frame's locals (via praxis-debugger). These tests assert the §9.6 output is
// present on stderr and the exit code is 1. The `--debug=never` flag forces the
// noninteractive path regardless of TTY.
// ===========================================================================

/// Run a fixture with explicit `--debug` mode, returning (exit, stdout, stderr).
fn run_fixture_debug(name: &str, debug: &str) -> (i32, String, String) {
    let output = Command::new(bin_path())
        .args(["run", "--debug", debug])
        .arg(fixture(name))
        .output()
        .expect("failed to run praxis");
    let code = output.status.code().unwrap_or(-1);
    (
        code,
        String::from_utf8_lossy(&output.stdout).into_owned(),
        String::from_utf8_lossy(&output.stderr).into_owned(),
    )
}

#[test]
fn m10ws4_noninteractive_renders_backtrace_and_locals() {
    // The §9.6 output: fault line, a numbered Backtrace section, and the top
    // frame's locals — including the named `xs` Vec with its elements.
    let (code, _stdout, stderr) = run_fixture_debug("debug_backtrace.px", "never");
    assert_eq!(code, 1, "fault exits 1");
    assert!(stderr.contains("program faulted: index out of bounds"));
    assert!(stderr.contains("Backtrace:"), "backtrace header present");
    assert!(stderr.contains("#0"), "backtrace numbers frames");
    assert!(stderr.contains("<entry>"), "frame name shown");
    // The named local `xs` with its Vec value renders, in the `locals:` section
    // with a type column: `xs: <type> = [11, 22]`.
    assert!(
        stderr.contains("xs:") && stderr.contains("[11, 22]"),
        "named local renders with value: {stderr}"
    );
    // Temps live in a separate `temps:` section, annotated with the expression
    // they materialized (`@ "..."`).
    assert!(stderr.contains("temps:"), "temps section present: {stderr}");
    assert!(
        stderr.contains("xs.get(99)"),
        "faulting temp shows its materializing expression: {stderr}"
    );
}

#[test]
fn m10ws4_debug_never_exits_one_without_repl() {
    // `--debug=never` must not enter the REPL — it prints the noninteractive
    // diagnostic and exits. No "Praxis crash>" prompt on stderr.
    let (code, _stdout, stderr) = run_fixture_debug("overflow.px", "never");
    assert_eq!(code, 1);
    assert!(!stderr.contains("Praxis crash>"));
    assert!(stderr.contains("integer overflow"));
}

#[test]
fn m10ws4_default_auto_non_tty_is_noninteractive() {
    // In a test (no TTY), the default `auto` mode behaves like `never`: it
    // prints the noninteractive diagnostic and exits 1.
    let (code, _stdout, stderr) = run_fixture("overflow.px");
    assert_eq!(code, 1);
    assert!(
        stderr.contains("Backtrace:"),
        "auto/non-TTY still renders backtrace"
    );
}

// ===========================================================================
// Interactive crash REPL (§9.4).
//
// `--debug=always` enters the REPL after a fault. Program input comes from
// `--input` (freeing stdin for REPL commands). These tests pipe a command
// script and assert the REPL's output (backtrace, frame navigation, locals).
// ===========================================================================

/// Run a fixture with `--debug=always`, piping `repl_cmds` to stdin and using
/// `--input` (empty) so stdin is free for the REPL. Returns (exit, combined).
fn run_repl_with_cmds(name: &str, repl_cmds: &str) -> (i32, String) {
    use std::process::Stdio;
    let mut child = Command::new(bin_path())
        .args(["run", "--debug=always", "--input", "/dev/null"])
        .arg(fixture(name))
        .stdin(Stdio::piped())
        .stderr(Stdio::piped())
        .stdout(Stdio::piped())
        .spawn()
        .expect("failed to spawn praxis");
    {
        use std::io::Write;
        let mut stdin = child.stdin.take().expect("stdin");
        stdin
            .write_all(repl_cmds.as_bytes())
            .expect("write repl cmds");
    }
    let output = child.wait_with_output().expect("wait");
    let code = output.status.code().unwrap_or(-1);
    let combined = format!(
        "{}{}",
        String::from_utf8_lossy(&output.stdout),
        String::from_utf8_lossy(&output.stderr)
    );
    (code, combined)
}

#[test]
fn m10ws5_repl_bt_and_locals_and_quit() {
    // Pipe `bt`, `locals`, `quit` into the REPL. The output must contain the
    // backtrace frame, the named local, and exit cleanly (code 1).
    let (code, out) = run_repl_with_cmds("debug_backtrace.px", "bt\nlocals\nquit\n");
    assert_eq!(code, 1, "faulted run exits 1 after REPL quits");
    assert!(out.contains("Praxis crash>"), "REPL prompt shown: {out}");
    assert!(out.contains("#0"), "bt ran: {out}");
    assert!(out.contains("<entry>"), "frame name shown: {out}");
    // The named local `xs: <type> = [11, 22]` renders in the `locals:` section.
    assert!(
        out.contains("xs:") && out.contains("[11, 22]"),
        "locals ran: {out}"
    );
    assert!(out.contains("locals:"), "locals section header: {out}");
    assert!(out.contains("temps:"), "temps section header: {out}");
}

#[test]
fn m11_locals_split_users_and_temps_with_types() {
    // A program with three `var` locals and a binop chain that overflows. The
    // `locals` display must: (1) separate user bindings into a `locals:` section
    // with a type column, (2) list compiler temps in a `temps:` section with a
    // per-frame id and type, and (3) keep the user's variables visible rather
    // than buried among temps.
    let (code, out) = run_repl_with_cmds("debug_temps.px", "locals\nquit\n");
    assert_eq!(code, 1, "overflow faults and exits 1 after REPL quits");
    // User locals render as `name: Type = value`.
    assert!(out.contains("a: Int = 10"), "user local a with type: {out}");
    assert!(out.contains("b: Int = 20"), "user local b with type: {out}");
    assert!(out.contains("c: Int = 30"), "user local c with type: {out}");
    // Temps render as `<tmp#N: Type>` in their own section.
    assert!(out.contains("temps:"), "temps section header: {out}");
    assert!(
        out.contains("<tmp#") && out.contains(": Int>"),
        "temps tagged with id and type: {out}"
    );
    // Literal and binop materialization temps show their provenance too — not
    // just call results — so an opaque `<tmp>` is never left unexplained.
    assert!(
        out.contains("@ \"10\""),
        "literal temp shows its source: {out}"
    );
    assert!(
        out.contains("@ \"a + b\""),
        "binop temp shows its source: {out}"
    );
    assert!(
        out.contains("@ \"a + b + c + 9223372036854775807\""),
        "faulting binop temp shows its source: {out}"
    );
}

/// **A temp whose producing box ADR-120's forwarding elides still renders the
/// value it materialized**, not `<uninit>`.
///
/// The chain this guards: `a + b` is an interior node whose producer ADR-120
/// deletes; the debug store is driven by `praxis_mir::defs`, so the slot would
/// never be written; and `render.rs` keeps an uninit temp that has a span, so
/// the temp would degrade silently from `= 30` to `= <uninit>`. Nothing above
/// catches that — every assertion in
/// `m11_locals_split_users_and_temps_with_types` is a *provenance string*,
/// never a value.
///
/// Do not relax this assertion and do not "fix" it by editing what it expects:
/// its whole value is that a §9 debugger guarantee cannot be narrowed without a
/// test saying so. `crates/praxis-codegen-cranelift/tests/jit.rs`'s
/// `a_temp_that_never_reached_a_shadow_slot_is_still_renderable` pins the same
/// rule one layer down, at the crash-snapshot API rather than the rendered
/// text.
#[test]
fn a_forwarded_binop_temp_still_renders_the_value_it_materialized() {
    let (code, out) = run_repl_with_cmds("debug_temps.px", "locals\nquit\n");
    assert_eq!(code, 1, "overflow faults and exits 1 after REPL quits");
    assert!(
        out.contains("@ \"a + b\" = 30"),
        "the `a + b` temp renders its value, not `<uninit>`: {out}"
    );
}

/// **All three temps the forwarding reaches**, of the fixture's seven.
///
/// ADR-120 decision 6: `@ "a + b"` 30, `@ "a + b + c"` 60, and
/// `@ "9223372036854775807"` — an out-of-range `Int` literal whose
/// `Alloc{Int}` producer is in the forwarded set. `@ "10"`, `@ "20"` and
/// `@ "30"` are not reachable by it, because a small-int box is also
/// `MoveGc`'d into the binding it initializes and that second reader declines
/// the forward.
///
/// The test above asserts the first. This asserts all three, so an
/// implementation that handles the `Materialize` case and misses the `Alloc`
/// one is a failure rather than a partial success — and the survivors are
/// pinned too: they are the control that says the fixture still contains temps
/// this transform does not touch.
#[test]
fn every_temp_the_forwarding_elided_renders_its_value_again() {
    let (code, out) = run_repl_with_cmds("debug_temps.px", "locals\nquit\n");
    assert_eq!(code, 1, "overflow faults and exits 1 after REPL quits");
    for expected in [
        "@ \"a + b\" = 30",
        "@ \"a + b + c\" = 60",
        "@ \"9223372036854775807\" = 9223372036854775807",
        // The three the forwarding does not reach, asserted so an
        // implementation that satisfies the three above by writing every slot
        // from somewhere else is still a failure if it disturbed these.
        "@ \"10\" = 10",
        "@ \"20\" = 20",
        "@ \"30\" = 30",
    ] {
        assert!(out.contains(expected), "missing `{expected}`: {out}");
    }
    // And the faulting expression's own temp stays `<uninit>`: `render.rs`
    // keeps an uninit temp that has a span precisely so the user can see which
    // expression did not finish, and nothing may fill it in with the wrapped
    // sum the overflow produced on the way to the raise.
    assert!(
        out.contains("@ \"a + b + c + 9223372036854775807\" = <uninit>"),
        "the expression that faulted produced no value: {out}"
    );
}

#[test]
fn m11_temp_provenance_shows_materializing_expression() {
    // The faulting method-call temp must show the expression it materialized
    // (`@ "xs.get(99)"`), so the user can tell *what* a temp is rather than
    // staring at an opaque `<tmp>`.
    let (code, out) = run_repl_with_cmds("debug_backtrace.px", "locals\nquit\n");
    assert_eq!(code, 1);
    assert!(
        out.contains("@ \"xs.get(99)\""),
        "faulting temp shows its materializing expression: {out}"
    );
    assert!(
        out.contains("@ \"xs.push(11)\""),
        "push temp shows its expression too: {out}"
    );
}

/// **ADR-139's gate.** Every binding form ADR-125 lists, in one frame, printing
/// `name: Type = value`.
///
/// The negative assertion is the load-bearing half and is not optional: naming
/// five of the six forms satisfies every positive assertion below. `? = ` is
/// what an unnamed binding renders as, so its absence is the property.
#[test]
fn every_pattern_binding_prints_its_name_and_type() {
    let (code, out) = run_repl_with_cmds("debug_pattern_bindings.px", "locals\nquit\n");
    assert_eq!(code, 1, "the subscript faults and the REPL exits 1");
    for expected in [
        // A `var`, and a function parameter.
        "total: Int = ",
        "limit: Int = 100",
        // A plain `for` variable.
        "item: Int = 3",
        // A destructuring `for`'s two components.
        "a: Int = 6",
        "b: Int = 7",
        // A `match` arm payload bound by reference.
        "payload: Int = 8",
        // And one bound into its own slot, because it is reassigned — the other
        // lowering branch entirely.
        "bumped: Int = 10",
    ] {
        assert!(out.contains(expected), "missing `{expected}`: {out}");
    }
    assert!(
        !out.contains("    ? = "),
        "no binding reaches the frame without a name: {out}"
    );
}

/// The deliberate half of ADR-139: a destructuring `for`'s item slot is a
/// compiler temp, not a third binding beside `a` and `b`. The programmer named
/// the components; nothing named the pair. It shows in `temps:` with the type
/// it holds and the expression it was read out of, which explains itself where
/// an anonymous `? = (6, 7)` in `locals:` would not.
#[test]
fn a_destructuring_fors_scrutinee_is_a_temp_not_a_binding() {
    let (_code, out) = run_repl_with_cmds("debug_pattern_bindings.px", "locals\nquit\n");
    // The REPL's own `locals` dump, which is uncapped — the crash banner above
    // it elides after twelve rows and would hide the temp this is about.
    let (_, dump) = out
        .rsplit_once("  locals:")
        .expect("the REPL printed a locals section");
    let (bindings, temps) = dump
        .split_once("  temps:")
        .expect("and a temps section under it");
    assert!(
        temps.contains("(Int, Int)> @ \"pairs\" = (6, 7)"),
        "the item slot is a temp that says what it holds and what it was read \
         out of: {out}"
    );
    assert!(
        !bindings.contains("= (6, 7)"),
        "and the pair the loop walks is not listed as a binding: {out}"
    );
}

/// The other half of the same rule: a local the frame cannot name is a local
/// `p` cannot bind, so an unnamed slot answers "`item` is not defined" about a
/// name `locals` is printing. Naming the slot in MIR is what binds it;
/// `collect_bindings` is written against that contract.
#[test]
fn p_binds_a_pattern_introduced_binding() {
    let (_code, out) = run_repl_with_cmds(
        "debug_pattern_bindings.px",
        "p item + payload\np a + b\nquit\n",
    );
    for absent in ["`item` is not defined", "`payload` is not defined"] {
        assert!(
            !out.contains(absent),
            "{absent} — but `locals` prints it: {out}"
        );
    }
    // `3 + 8` and `6 + 7`: sums rather than bare values, so a `p` that answered
    // the wrong local would have to answer two wrong locals consistently.
    assert!(out.contains("11"), "`p item + payload` answers 11: {out}");
    assert!(out.contains("13"), "`p a + b` answers 13: {out}");
}

#[test]
fn m10ws5_repl_frame_navigation() {
    // `frame 0` selects the (only) frame; `up` at the outermost reports the
    // boundary. The selection is reflected in subsequent output.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "frame 0\nup\nquit\n");
    assert!(out.contains("frame 0:"), "frame select ran: {out}");
    assert!(out.contains("outermost"), "up-at-top boundary: {out}");
}

#[test]
fn m10ws5_repl_eof_exits() {
    // EOF (no `quit`) must exit the REPL cleanly, not hang.
    let (code, _out) = run_repl_with_cmds("debug_backtrace.px", "");
    assert_eq!(code, 1, "EOF exits the REPL with the fault exit code");
}

#[test]
fn m10ws5_repl_help_lists_commands() {
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "help\nquit\n");
    for cmd in ["bt", "frame", "up", "down", "locals", "quit"] {
        assert!(out.contains(cmd), "help lists `{cmd}`: {out}");
    }
}

// ===========================================================================
// `source` / `input` / `parser` context commands (§9.4).
//
// `source` renders the selected frame's source extent from the session's source
// text. `input`/`parser` render the §7.11 ParseDetail.
// ===========================================================================

#[test]
fn m10b_ws3_source_renders_faulting_function_text() {
    // `source` on the faulting `<entry>` frame prints the entry point's source
    // lines (the file's whole extent) with a caret.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "source\nquit\n");
    assert!(
        out.contains("<entry>:"),
        "source shows the frame header: {out}"
    );
    assert!(
        out.contains("xs.get(99)"),
        "source shows the faulting line: {out}"
    );
    assert!(out.contains('^'), "source shows a caret: {out}");
}

#[test]
fn m10b_ws3_source_help_lists_command() {
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "help\nquit\n");
    assert!(out.contains("source"), "help lists `source`: {out}");
    assert!(out.contains("input"), "help lists `input`: {out}");
    assert!(out.contains("parser"), "help lists `parser`: {out}");
}

// ===========================================================================
// `p EXPR` / `type EXPR` read-only JIT evaluator (§9.5).
//
// The fixture `debug_backtrace.px` has `xs = [11, 22]` in the faulting
// `<entry>` frame. `p EXPR` synthesizes `fn __p_expr(xs: Vec[Int]) { EXPR }`, type-checks
// against the snapshot local, purity-gates, JITs, and calls with the snapshot's
// `xs` GcRef. `type EXPR` reports the inferred type without JIT.
// ===========================================================================

#[test]
fn m10b_ws4_p_literal_arithmetic() {
    // `p 1 + 2` → 3. No locals needed; a pure literal expression.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "p 1 + 2\nquit\n");
    assert!(out.contains("3"), "p 1 + 2 should print 3: {out}");
}

#[test]
fn m10b_ws4_p_evaluates_pure_method_on_snapshot_local() {
    // `p xs.len()` → the Vec's length, 2. A pure method call on a snapshot local.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "p xs.len()\nquit\n");
    assert!(out.contains("2"), "p xs.len() should print 2: {out}");
}

#[test]
fn m10b_ws4_p_index_into_snapshot_vec() {
    // `p xs.get(0)` → 11. Indexes the snapshot Vec via a pure method. This is
    // the case that needs the full static `Vec[Int]` type to type-check.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "p xs.get(0)\nquit\n");
    assert!(out.contains("11"), "p xs.get(0) should print 11: {out}");
}

#[test]
fn m10b_ws4_p_rejects_mutation() {
    // `p xs.push(99)` is impure → the purity gate rejects it.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "p xs.push(99)\nquit\n");
    assert!(
        out.contains("error") && out.contains("impure"),
        "p xs.push(99) should be rejected as impure: {out}"
    );
}

#[test]
fn m10b_ws4_type_reports_collection_type() {
    // `type xs` → Vec[Int]. Proves the full static type renders.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "type xs\nquit\n");
    assert!(
        out.contains("Vec[Int]"),
        "type xs should be Vec[Int]: {out}"
    );
}

#[test]
fn m10b_ws4_type_reports_inferred_method_type() {
    // `type xs.len()` → Int.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "type xs.len()\nquit\n");
    assert!(out.contains("Int"), "type xs.len() should be Int: {out}");
}

// ===========================================================================
// `heap EXPR` recursive inspection (§9.4).
//
// `heap EXPR` evaluates the expression (reusing the `p` evaluator + purity
// gate) and renders the result prefixed with its type, so the structure and
// type are visible at a glance.
// ===========================================================================

#[test]
fn m10b_ws5_heap_shows_value_with_type() {
    // `heap xs` → `Vec[Int]: [11, 22]`. The type prefix distinguishes `heap`
    // from `p` (which prints just `[11, 22]`).
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "heap xs\nquit\n");
    assert!(
        out.contains("Vec[Int]") && out.contains("[11, 22]"),
        "heap xs should show type + value: {out}"
    );
}

#[test]
fn m10b_ws5_heap_literal() {
    // `heap 1 + 2` → `Int: 3`.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "heap 1 + 2\nquit\n");
    assert!(
        out.contains("Int"),
        "heap 1 + 2 should show Int type: {out}"
    );
    assert!(out.contains("3"), "heap 1 + 2 should show value 3: {out}");
}

// ===========================================================================
// A frame's locals must not decide whether `p` works at all.
//
// The synthetic `fn __p_expr(<typed params>) { EXPR }` binds only the locals
// the expression *names*, and those are spelled by `praxis_debugger::synth`,
// which emits the declarations it needs and declines the types it cannot
// write. Annotating every local in the frame instead — with `TypeDb::render`,
// which prints for a human rather than for the parser — breaks the whole
// module, and with it every command including `p 1 + 2`, which names no local
// at all. Three kinds of local do it:
//
//   - a user `struct`/`enum`, rendered as a bare name the synthetic module
//     never declares (``unknown type `Foo` ``);
//   - a parser template's anonymous record, rendered `{ x: Int, y: Int }`, for
//     which type position has no syntax ("parse error: expected a type");
//   - a seventh local of any kind, against an ABI arity ceiling that counts
//     the frame instead of the expression.
// ===========================================================================

#[test]
fn dbg06_p_evaluates_a_struct_local_and_its_fields() {
    let (_code, out) =
        run_repl_with_cmds("debug_user_types.px", "p foo\np foo.y\np foo.x.z\nquit\n");
    assert!(
        !out.contains("unknown type"),
        "the struct's declaration reaches the synthetic module: {out}"
    );
    assert!(
        out.contains(r#"{ x: { z: "qweqwe" }, y: 100 }"#),
        "`p foo` prints the record, its `Text` field quoted: {out}"
    );
    // A field read lowers to an indexed load, so these also prove the emitted
    // declaration put the fields in the order the value has them.
    assert!(
        out.contains("100"),
        "`p foo.y` reads the second field: {out}"
    );
    assert!(
        out.contains("qweqwe"),
        "`p foo.x.z` reads through the nested record: {out}"
    );
}

#[test]
fn dbg06_type_and_heap_report_user_declared_types() {
    let (_code, out) = run_repl_with_cmds(
        "debug_user_types.px",
        "type foo\nheap foo\ntype move\np move\nquit\n",
    );
    assert!(out.contains("Foo"), "`type foo` is `Foo`: {out}");
    assert!(
        out.contains(r#"Foo: { x: { z: "qweqwe" }, y: 100 }"#),
        "`heap foo` prefixes the value with its type: {out}"
    );
    assert!(out.contains("Move"), "`type move` is `Move`: {out}");
    assert!(
        out.contains("Step(3, 4)"),
        "an enum local evaluates to its variant: {out}"
    );
}

#[test]
fn dbg06_a_literal_expression_ignores_the_frames_locals() {
    // `p 1 + 2` names no local, so it must answer in a program that merely
    // *has* a struct local, many locals, or a template record.
    for fixture in [
        "debug_user_types.px",
        "debug_many_locals.px",
        "debug_template_record.px",
    ] {
        let (_code, out) = run_repl_with_cmds(fixture, "p 1 + 2\nquit\n");
        // The banner's own "error: program faulted" is the fault that opened
        // the REPL; what must not appear is a reply to the command.
        assert!(
            out.contains("Praxis crash> 3"),
            "`p 1 + 2` is 3 on {fixture}: {out}"
        );
    }
}

#[test]
fn dbg06_arity_ceiling_counts_the_expressions_names() {
    // Eight locals in the frame, three named by the expression.
    let (_code, out) = run_repl_with_cmds("debug_many_locals.px", "p a + b + c\nquit\n");
    assert!(
        !out.contains("supports up to"),
        "eight locals in the frame do not refuse a three-name expression: {out}"
    );
    assert!(out.contains('6'), "a + b + c is 6: {out}");
}

#[test]
fn dbg06_p_evaluates_a_parser_templates_anonymous_record() {
    let (_code, out) = run_repl_with_cmds(
        "debug_template_record.px",
        "p points\ntype points\np points[0].x\nheap points[0]\nquit\n",
    );
    assert!(
        !out.contains("expected a type"),
        "the anonymous record is declared under a minted name: {out}"
    );
    assert!(
        out.contains("[{ x: 1, y: 2 }, { x: 3, y: 4 }]"),
        "`p points` prints the parsed records: {out}"
    );
    // The minted name is an implementation detail and must not surface.
    assert!(
        out.contains("Vec[{ x: Int, y: Int }]"),
        "`type points` reports the structural type: {out}"
    );
    assert!(
        !out.contains("__p_rec"),
        "no minted name reaches the user: {out}"
    );
    assert!(
        out.contains("{ x: Int, y: Int }: { x: 1, y: 2 }"),
        "`heap points[0]` reports the element's type and value: {out}"
    );
}

#[test]
fn dbg06_an_expression_can_write_a_type_the_program_declares() {
    // Spelling a local's type reaches only the types some local *has*. A
    // `struct` written in the expression, and an `enum` written through its
    // variants, are declarations the module needs just as much.
    let (_code, out) = run_repl_with_cmds(
        "debug_user_types.px",
        "p Foo{x: Poo{z: \"hi\"}, y: 1}\np Stay\np match Step(6, 7) { Step(a, b) => a + b, Stay => 0 }\nquit\n",
    );
    assert!(
        out.contains(r#"{ x: { z: "hi" }, y: 1 }"#),
        "a record literal builds a value of the program's type: {out}"
    );
    assert!(
        out.contains("Praxis crash> Stay"),
        "a payload-less variant evaluates: {out}"
    );
    assert!(
        out.contains("13"),
        "a match over a constructed variant evaluates: {out}"
    );
}

#[test]
fn dbg06_an_unspellable_local_says_why_it_is_missing() {
    // `var empty = Vec()` types as `Vec[?T]`, which has no source spelling, so
    // the local is dropped — and the failure says which local and why, rather
    // than reporting a name the `locals` listing plainly shows as undefined.
    let (_code, out) = run_repl_with_cmds("debug_template_record.px", "p empty\nquit\n");
    assert!(
        out.contains("local `empty` was not bound"),
        "the drop is explained: {out}"
    );
    assert!(
        out.contains("Vec[?T]"),
        "…with the type that stopped it: {out}"
    );
}

// ===========================================================================
// `restart` / `reload` (§9.7).
//
// `restart` reruns the same compiled code+input (re-faulting deterministically).
// `reload` re-reads the source from disk, recompiles, and reruns — discarding
// old JIT/snapshots only after the new compile succeeds. A failed recompile
// leaves the session intact with the old snapshot (the §9.7 guarantee).
// ===========================================================================

#[test]
fn m10b_ws6_restart_refaults_deterministically() {
    // `restart` re-runs the same faulting program. The re-run must fault again
    // (same kind) and produce a fresh snapshot the REPL can inspect.
    let (_code, out) = run_repl_with_cmds("debug_backtrace.px", "restart\nbt\nquit\n");
    assert!(
        out.contains("program faulted"),
        "restart should re-fault: {out}"
    );
    // The re-run's snapshot is inspectable: `bt` after restart lists frames.
    // (The output has two `#0 main` lines — one from the original banner, one
    // from the post-restart `bt`.)
    assert!(
        out.matches("#0").count() >= 2,
        "bt after restart runs against the new snapshot: {out}"
    );
}

/// **ADR-087's §9.7 half.** A `restart` against empty input must see the *same*
/// empty input — which means the same zero-length buffer, not no buffer.
///
/// `DebugSession::rerun` re-installs the session's input whatever its
/// length. §9.7 promises a restart is the same run, so the restarted parse must
/// fail the same way and the REPL's `input` must have the same context to
/// report.
///
/// `--input /dev/null` is the zero-byte file (`run_repl_with_cmds` passes it).
///
/// **What this asserts, and why not the banner.** `restart`'s banner prints the
/// fault *kind* and the frame count and never the parse detail — for empty and
/// non-empty input alike (`Repl::do_restart_or_reload`). So "the detail line
/// appears twice" is not this row's property; it is not true of any input. The
/// property that distinguishes the two is what the REPL's `input` command can
/// answer *about the restarted run*, so that is what is asserted.
#[test]
fn a_restart_with_empty_input_sees_the_same_empty_input() {
    let (_code, out) = run_repl_with_cmds("reads_an_int.px", "restart\ninput\nquit\n");
    assert!(
        out.contains("input at offset 0..0:"),
        "after `restart`, the REPL's `input` must describe the same zero-length \
         buffer the first run parsed against (§9.7): {out}"
    );
    assert!(
        !out.contains("no input context"),
        "the restarted run *did* fail to parse, so `input` has a context to \
         report: {out}"
    );
}

#[test]
fn m10b_ws6_reload_after_edit_changes_result() {
    // Write a faulting fixture to a temp file, then `reload` after rewriting it
    // to a clean program. The reload re-reads the source, recompiles, and the
    // re-run completes (no fault).
    use std::io::{Read, Write};
    let dir = scratch_dir();
    let src_path = dir.join("m10b_ws6_reload.px");
    {
        let mut f = std::fs::File::create(&src_path).unwrap();
        f.write_all(b"out(1 / 0)").unwrap();
    }
    // Start the REPL against the faulting version.
    use std::process::Stdio;
    let mut child = Command::new(bin_path())
        .args(["run", "--debug=always", "--input", "/dev/null"])
        .arg(&src_path)
        .stdin(Stdio::piped())
        .stderr(Stdio::piped())
        .stdout(Stdio::piped())
        .spawn()
        .expect("spawn");
    let mut stdin = child.stdin.take().expect("stdin");
    // Wait for the child to fault and print the REPL prompt before rewriting
    // the source (otherwise the child reads the edited file at startup). Poll
    // stderr until the prompt appears.
    let stderr = child.stderr.as_mut().expect("stderr");
    let mut seen = Vec::new();
    let deadline = std::time::Instant::now() + std::time::Duration::from_secs(5);
    while std::time::Instant::now() < deadline {
        let mut buf = [0u8; 256];
        match stderr.read(&mut buf) {
            Ok(0) | Err(_) => break,
            Ok(n) => {
                seen.extend_from_slice(&buf[..n]);
                if String::from_utf8_lossy(&seen).contains("Praxis crash>") {
                    break;
                }
            }
        }
    }
    assert!(
        String::from_utf8_lossy(&seen).contains("Praxis crash>"),
        "REPL should start before reload: {}",
        String::from_utf8_lossy(&seen)
    );
    // Now safe to rewrite: the child has read the original faulting source.
    {
        let mut f = std::fs::File::create(&src_path).unwrap();
        f.write_all(b"out(42)").unwrap();
    }
    stdin.write_all(b"reload\nquit\n").unwrap();
    drop(stdin);
    let output = child.wait_with_output().expect("wait");
    let combined = format!(
        "{}{}{}",
        String::from_utf8_lossy(&seen),
        String::from_utf8_lossy(&output.stdout),
        String::from_utf8_lossy(&output.stderr)
    );
    let _ = std::fs::remove_file(&src_path);
    assert!(
        combined.contains("program completed"),
        "reload after edit should run cleanly: {combined}"
    );
    assert!(
        combined.contains("42"),
        "reload should reflect the edited source: {combined}"
    );
}

#[test]
fn m10b_ws6_reload_on_malformed_source_keeps_session() {
    // §9.7: a failed recompilation leaves the crash REPL active with the old
    // snapshot. Write a valid faulting fixture, start the REPL, then `reload`
    // after rewriting it to malformed source. The reload must error and the old
    // snapshot stays inspectable.
    use std::io::{Read, Write};
    let dir = scratch_dir();
    let src_path = dir.join("m10b_ws6_reload_bad.px");
    {
        let mut f = std::fs::File::create(&src_path).unwrap();
        f.write_all(b"out(1 / 0)").unwrap();
    }
    use std::process::Stdio;
    let mut child = Command::new(bin_path())
        .args(["run", "--debug=always", "--input", "/dev/null"])
        .arg(&src_path)
        .stdin(Stdio::piped())
        .stderr(Stdio::piped())
        .stdout(Stdio::piped())
        .spawn()
        .expect("spawn");
    let mut stdin = child.stdin.take().expect("stdin");
    let stderr = child.stderr.as_mut().expect("stderr");
    let mut seen = Vec::new();
    let deadline = std::time::Instant::now() + std::time::Duration::from_secs(5);
    while std::time::Instant::now() < deadline {
        let mut buf = [0u8; 256];
        match stderr.read(&mut buf) {
            Ok(0) | Err(_) => break,
            Ok(n) => {
                seen.extend_from_slice(&buf[..n]);
                if String::from_utf8_lossy(&seen).contains("Praxis crash>") {
                    break;
                }
            }
        }
    }
    assert!(
        String::from_utf8_lossy(&seen).contains("Praxis crash>"),
        "REPL should start: {}",
        String::from_utf8_lossy(&seen)
    );
    // Rewrite to malformed source (unbalanced).
    {
        let mut f = std::fs::File::create(&src_path).unwrap();
        f.write_all(b"out(1 / 0").unwrap();
    }
    stdin.write_all(b"reload\nbt\nquit\n").unwrap();
    drop(stdin);
    let output = child.wait_with_output().expect("wait");
    let combined = format!(
        "{}{}{}",
        String::from_utf8_lossy(&seen),
        String::from_utf8_lossy(&output.stdout),
        String::from_utf8_lossy(&output.stderr)
    );
    let _ = std::fs::remove_file(&src_path);
    assert!(
        combined.contains("error") && combined.contains("unchanged"),
        "reload on malformed source should error and keep the session: {combined}"
    );
    // The old snapshot is still inspectable: `bt` runs.
    assert!(
        combined.contains("#0"),
        "bt runs against the old snapshot after a failed reload: {combined}"
    );
}

// ===========================================================================
// A top-level statement executes (ADR-067)
// ===========================================================================

/// A file's top-level statements are its program (§3.2): "top-level statements
/// are wrapped in a generated entry function". §3.3 and §4.2 are written
/// entirely at top level, so those are the design doc's own programs.
#[test]
fn a_top_level_statement_runs_in_the_order_it_is_written() {
    // Every top-level statement kind: a call, a `var` read by a later one, a
    // `var`, and an assignment to it. Order is the assertion — a set of
    // statements that ran in the wrong order prints the same three lines.
    assert_passes("top_level_statements.px", "1\n2\n3");

    // Declarations interleave with statements and do not move them: `double` is
    // declared between two `out`s and callable by both the one after it and the
    // one after that.
    assert_passes("top_level_calls_a_declared_fn.px", "1\n4\n6");
}

/// `fn main` is an ordinary function, and a file's top-level statements are the
/// only entry point (ADR-154).
///
/// The design doc never mentions a `main`, and neither does the host: the name
/// is not special, so a program that wants one run calls it.
#[test]
fn a_declared_main_is_an_ordinary_function() {
    // A file with both runs its top-level statements, and `main` runs because
    // the top level calls it. Once — a rule that ran the top level *and then*
    // called `main` would print `2` twice.
    assert_passes("top_level_beside_fn_main.px", "1\n2\n3");

    // A file whose whole program sits inside a `fn main` has nothing to run.
    // That is the one mistake worth naming, so the message names both fixes.
    let (code, stdout, stderr) = run_fixture("only_fn_main.px");
    assert_eq!(code, 1, "stdout: {stdout}\nstderr: {stderr}");
    assert!(
        stderr.contains("no statements to run")
            && stderr.contains("call it with `main()`")
            && stderr.contains("move its body to the top level"),
        "the error names both ways out of it: {stderr}"
    );

    // A file that declares something else and never calls it is the same case
    // with no `main` to point at, so it gets the first line alone.
    let (code, stdout, stderr) = run_fixture("no_statements_and_no_main.px");
    assert_eq!(code, 1, "stdout: {stdout}\nstderr: {stderr}");
    assert!(stderr.contains("no statements to run"), "{stderr}");
    assert!(
        !stderr.contains("`fn main`"),
        "a file with no `main` is not told about one: {stderr}"
    );
}

/// The entry point's own name is `<entry>`, which is **not an identifier** — so
/// no program can declare a second function with it, and no program can call it.
///
/// That is ADR-064's rule for the subscript rows applied to the one other name
/// the compiler mints into the same namespace. The crash debugger renders it, so
/// a fault in a top-level statement names a frame the user can recognize as not
/// theirs.
#[test]
fn the_entry_points_name_is_not_one_a_program_can_spell() {
    let dir = scratch_dir().join("praxis_rep19_entry_name");
    std::fs::create_dir_all(&dir).unwrap();
    let src_path = dir.join("entry.px");

    // A fault in a top-level statement reaches the crash debugger, and the frame
    // it names is the generated one.
    std::fs::write(&src_path, "var v = Vec()\nout(v.get(0))\n").unwrap();
    let output = Command::new(bin_path())
        .arg("run")
        .arg(&src_path)
        .output()
        .expect("failed to run praxis");
    let combined = format!(
        "{}{}",
        String::from_utf8_lossy(&output.stdout),
        String::from_utf8_lossy(&output.stderr)
    );
    assert!(
        combined.contains("index out of bounds"),
        "a top-level statement's fault reaches the host: {combined}"
    );
    assert!(
        combined.contains("<entry>"),
        "the generated frame is named, and named unspellably: {combined}"
    );

    // `<entry>` is not a name the parser can produce, so a program cannot
    // declare one — the closest spelling is a parse error rather than a second
    // definition.
    std::fs::write(&src_path, "fn <entry>() { out(1) }\n").unwrap();
    let output = Command::new(bin_path())
        .arg("check")
        .arg(&src_path)
        .output()
        .expect("failed to run praxis");
    assert_ne!(
        output.status.code().unwrap_or(-1),
        0,
        "`fn <entry>()` must not be a declaration"
    );

    let _ = std::fs::remove_file(&src_path);
}

/// An enum value renders its **variant name**: the runtime carries an
/// `EnumSchema`, so `Number(7)` prints as `Number(7)` and not as the
/// `<variant 2: 7>` a value whose whole identity is its tag could manage.
///
/// `Some`/`None` are here beside a declared enum on purpose — the prelude
/// `Option` is one enum def like any other, and a `Some` the program wrote must
/// render the same way as one the runtime built.
#[test]
fn run_pass_enum_renders_its_variant_name() {
    assert_passes(
        "enum_variant_names.px",
        "Empty\nWall\nNumber(7)\nSome(3)\nNone\nSome(x)",
    );
}

/// The destination of the instruction that *faulted* renders `<uninit>`, not
/// the sentinel its wrapper returned.
///
/// A faulting runtime wrapper sets `pending_fault` and returns the Unit
/// sentinel — it has to return something, and `Inst::CheckFault` right behind
/// it is what makes the value unreachable. Storing that sentinel into the debug
/// slot would render the faulting subscript as `= Unit` while its own consumer
/// one line below renders `<uninit>`: both were never produced, and only one of
/// them would say so.
///
/// ADR-135 covers the check with its instruction's step, so the store lands in
/// the check's fall-through block. The neighbours are asserted too: this is a
/// rule about *where* a store is emitted, and a version of it that moved the
/// store off every path would turn the whole frame `<uninit>` and still pass an
/// assertion about one line.
#[test]
fn the_destination_of_a_faulting_instruction_is_uninit() {
    let (code, out) = run_repl_with_cmds("faulting_subscript.px", "locals\nquit\n");
    assert_eq!(code, 1, "the index fault exits 1 after the REPL quits");
    assert!(
        out.contains("@ \"values[start + 2]\" = <uninit>"),
        "the subscript that faulted produced no value: {out}"
    );
    for expected in [
        // Everything before the fault still renders what it computed.
        "@ \"values[start]\" = 7",
        "@ \"start + 1\" = 2",
        "@ \"values[start + 1]\" = 41",
        "@ \"values[start] + values[start + 1]\" = 48",
        "@ \"start + 2\" = 3",
        "values: Vec[Int] = [12, 7, 41]",
        "start: Int = 1",
    ] {
        assert!(out.contains(expected), "missing `{expected}`: {out}");
    }
}

// --- Transitive closure captures ------------------------------------------

/// `|a| |b| b + base` and `|a| { |b| b + base }` differ by one pair of braces,
/// and must print the same `<closure:N>` and the same answer.
///
/// The comparison is the point, and it is why this asserts the equality of two
/// runs rather than only a literal. `out` on a closure prints how many bindings
/// it captured, so `N` makes the capture observable from outside the compiler:
/// an outer closure that captured nothing prints `<closure:0>` and then reads a
/// `Unit` out of the environment it never filled. A change that only stopped
/// the panic without restoring the capture would still print two different `N`
/// here.
#[test]
fn a_curried_closure_prints_the_same_thing_with_and_without_braces() {
    let dir = scratch_dir();
    let bare = dir.join("curried-bare.px");
    let braced = dir.join("curried-braced.px");
    std::fs::write(
        &bare,
        "var base = 10\nvar mk = |a| |b| b + base\nout(mk)\nout(mk(5)(1))\n",
    )
    .expect("write the bare spelling");
    std::fs::write(
        &braced,
        "var base = 10\nvar mk = |a| { |b| b + base }\nout(mk)\nout(mk(5)(1))\n",
    )
    .expect("write the braced spelling");

    let run = |path: &PathBuf| {
        let output = Command::new(bin_path())
            .args(["run", "--debug=never"])
            .arg(path)
            .output()
            .expect("failed to run praxis");
        (
            output.status.code().unwrap_or(-1),
            String::from_utf8_lossy(&output.stdout).into_owned(),
            String::from_utf8_lossy(&output.stderr).into_owned(),
        )
    };
    let (bare_code, bare_out, bare_err) = run(&bare);
    let (braced_code, braced_out, braced_err) = run(&braced);
    let _ = std::fs::remove_file(&bare);
    let _ = std::fs::remove_file(&braced);

    assert_eq!(bare_code, 0, "the bare spelling should exit 0: {bare_err}");
    assert_eq!(
        braced_code, 0,
        "the braced spelling should exit 0: {braced_err}"
    );
    assert_eq!(
        bare_out, braced_out,
        "one pair of braces cannot change a closure's environment"
    );
    assert_eq!(bare_out, "<closure:1>\n11\n");
}

/// **End to end** (ADR-141): dispatching on a grid cell.
///
/// This is the program the character literal exists for. `lower_pattern_test`'s
/// `Lit::Char` arm has to compare: an unconditional
/// `Terminator::Jump { target: on_success }` there prints `wall` three times,
/// exits 0, and checks clean, and nothing below the JIT can see it.
#[test]
fn a_char_match_dispatches_on_the_character() {
    let dir = scratch_dir();
    let src = dir.join("char-match.px");
    std::fs::write(
        &src,
        "fn cell(c: Char) -> Text {\n\
         \x20   match c {\n\
         \x20       '#' => \"wall\"\n\
         \x20       '.' => \"open\"\n\
         \x20       _ => \"other\"\n\
         \x20   }\n\
         }\n\
         for c in \"#.x\" {\n\
         \x20   out(cell(c))\n\
         }\n\
         out('#' == \"#\"[0])\n\
         out('#'.to_int())\n\
         out('é'.to_int())\n",
    )
    .expect("write the source");

    let output = Command::new(bin_path())
        .args(["run", "--debug=never", "--input", "/dev/null"])
        .arg(&src)
        .output()
        .expect("failed to run praxis");
    let _ = std::fs::remove_file(&src);
    let stderr = String::from_utf8_lossy(&output.stderr);
    assert_eq!(output.status.code(), Some(0), "{stderr}");
    assert_eq!(
        String::from_utf8_lossy(&output.stdout),
        // Three distinct answers, which is the assertion. Then the equivalence
        // with `"#"[0]` that makes the spelling a migration and not a new type,
        // and a code point above the interned table taking the allocating path.
        "wall\nopen\nother\ntrue\n35\n233\n",
        "{stderr}"
    );
}

/// **End to end** (§8.1, ADR-147): `out("Part 2: {part2}")` renders the value.
///
/// This is the line the design document shows as the spec. The rest of the
/// program walks the decisions: a full expression in a hole, a type with no
/// `to_text()` row, a nested literal inside a hole, the `\{` escape, and a
/// closure that names an outer binding only inside a hole.
///
/// The last of those is the one with no compile-time symptom. An implementation
/// that lexed the literal whole and re-parsed holes later prints an empty line
/// or crashes there, and every other line of this program still passes.
#[test]
fn a_hole_renders_the_value_end_to_end() {
    let dir = scratch_dir();
    let src = dir.join("interp.px");
    std::fs::write(
        &src,
        "var part2 = 42\n\
         out(\"Part 2: {part2}\")\n\
         var a = 3\n\
         var b = 4\n\
         out(\"{a} + {b} = {a + b}\")\n\
         var v = [1, 2, 3]\n\
         out(\"v = {v}\")\n\
         out(v)\n\
         var m = Map[Text, Int]()\n\
         m[\"k\"] = 9\n\
         out(\"m = {m[\"k\"]}, len = {v.len()}\")\n\
         out(\"literal braces: \\{ and \\}\")\n\
         var f = |n: Int| \"a is {a}, n is {n}\"\n\
         out(f(7))\n",
    )
    .expect("write the source");

    let output = Command::new(bin_path())
        .args(["run", "--debug=never", "--input", "/dev/null"])
        .arg(&src)
        .output()
        .expect("failed to run praxis");
    let _ = std::fs::remove_file(&src);
    let stderr = String::from_utf8_lossy(&output.stderr);
    assert_eq!(output.status.code(), Some(0), "{stderr}");
    assert_eq!(
        String::from_utf8_lossy(&output.stdout),
        "Part 2: 42\n\
         3 + 4 = 7\n\
         v = [1, 2, 3]\n\
         [1, 2, 3]\n\
         m = 9, len = 3\n\
         literal braces: { and }\n\
         a is 3, n is 7\n",
        "{stderr}"
    );
}

/// **ADR-147 decision 3, from the command line.** A hole renders an `Int` and
/// `"n = " + n` still does not.
///
/// The pair is run as one program so the two answers are read off one
/// invocation: `check` reports the `Y001` ADR-085 decision 2 specifies, and the
/// hole on the line above it contributes nothing.
#[test]
fn a_hole_renders_an_int_and_plus_still_refuses_one() {
    let dir = scratch_dir();
    let src = dir.join("interp-plus.px");
    std::fs::write(
        &src,
        "var n = 3\n\
         out(\"n = {n}\")\n\
         out(\"n = \" + n)\n",
    )
    .expect("write the source");

    let output = Command::new(bin_path())
        .arg("check")
        .arg(&src)
        .output()
        .expect("failed to run praxis");
    let _ = std::fs::remove_file(&src);
    let stderr = String::from_utf8_lossy(&output.stderr);
    assert_eq!(output.status.code(), Some(1), "{stderr}");
    let rendered = format!("{}{}", String::from_utf8_lossy(&output.stdout), stderr);
    assert!(
        rendered.contains("Y001") && rendered.contains("expected Text, found Int"),
        "`+` must still refuse an Int operand: {rendered}"
    );
    assert_eq!(
        rendered.matches("error[").count(),
        1,
        "only the `+` is an error; the hole above it is not: {rendered}"
    );
}

/// **ADR-121's one observable consequence, and exactly how far it reaches.**
///
/// `DynamicKey::eq` opens with a pointer-identity fast path, which is reflexive
/// for every type whose `equals` is — and `Float`'s is not, because IEEE-754
/// says NaN is not equal to itself. So whether two NaNs deduplicate as `Set`
/// members has always depended on whether they arrived as one object or two,
/// and the language has always answered the two spellings differently: two
/// `0.0 / 0.0` expressions build two objects and do not deduplicate, while two
/// reads of one binding hand over one object and do.
///
/// Promotion turns a promoted `Float` into a `Scalar` slot materialized afresh
/// at each use, which moves the second spelling onto the first's answer. **It
/// does that only where the profitability rule promotes**, and this test is
/// both sides of that boundary:
///
/// * `s` — a NaN bound and inserted twice, with no arithmetic. `promote`'s rule
///   sees one box removed against two added and declines, so the value stays
///   one object and the set still answers **1**. This is the shape a program
///   that uses a float as a key actually has, which is why the change is far
///   narrower than "promotion breaks NaN keys".
/// * `u` — the same NaN carried through a loop first. That makes it worth
///   promoting, the two `insert`s hand over two objects, and the set answers
///   **2**. This is the case that changed.
///
/// Both numbers are asserted rather than one, because the pair is the finding:
/// a program's answer here now depends on whether an optimizer promoted a slot.
/// ADR-121 records that, and records the two changes that would make the
/// question moot: gating the fast path on the descriptor's reflexivity, or
/// refusing `Float` as a `CapKind::HashStable` type the way Rust refuses
/// `f64: Hash`.
#[test]
fn a_nan_key_deduplicates_or_not_depending_on_whether_its_slot_was_promoted() {
    let dir = scratch_dir();
    let src = dir.join("nan-keys.px");
    std::fs::write(
        &src,
        "var zero = 0.0\n\
         var nan = zero / zero\n\
         var s = Set()\n\
         s.insert(nan)\n\
         s.insert(nan)\n\
         out(s.len())\n\
         var t = Set()\n\
         t.insert(0.0 / 0.0)\n\
         t.insert(0.0 / 0.0)\n\
         out(t.len())\n\
         var x = zero / zero\n\
         var i = 0\n\
         while i < 3 {\n\
         \x20   x = x + 0.0\n\
         \x20   i = i + 1\n\
         }\n\
         var u = Set()\n\
         u.insert(x)\n\
         u.insert(x)\n\
         out(u.len())\n",
    )
    .expect("write the source");

    let output = Command::new(bin_path())
        .args(["run", "--debug=never", "--input", "/dev/null"])
        .arg(&src)
        .output()
        .expect("failed to run praxis");
    let _ = std::fs::remove_file(&src);
    let stderr = String::from_utf8_lossy(&output.stderr);
    assert_eq!(output.status.code(), Some(0), "{stderr}");
    assert_eq!(
        String::from_utf8_lossy(&output.stdout),
        "1\n2\n2\n",
        "`s` is unpromoted and unchanged, `t` never deduplicated, and `u` is \
         the promoted case that moved from 1 to 2: {stderr}"
    );
}

// ===========================================================================
// Breakpoints (§9.8).
//
// A `:bp` marker stops a program that has *not* faulted. `--debug` decides what
// happens at the stop, exactly as it decides what happens at a fault: `never`
// makes the marker inert, a declining `auto` prints the frame and lets the
// program run on, and `always` off a terminal opens the `Praxis stop>` prompt on
// stdin.
// ===========================================================================

/// Run a fixture with `--debug=always`, piping `cmds` to the stop prompt and
/// taking `--input` from `/dev/null` so stdin is free for commands. Returns
/// (exit, stdout, stderr).
fn run_stop_with_cmds(name: &str, cmds: &str) -> (i32, String, String) {
    use std::process::Stdio;
    let mut child = Command::new(bin_path())
        .args(["run", "--debug=always", "--input", "/dev/null"])
        .arg(fixture(name))
        .stdin(Stdio::piped())
        .stderr(Stdio::piped())
        .stdout(Stdio::piped())
        .spawn()
        .expect("failed to spawn praxis");
    {
        use std::io::Write;
        let mut stdin = child.stdin.take().expect("stdin");
        stdin.write_all(cmds.as_bytes()).expect("write stop cmds");
    }
    let output = child.wait_with_output().expect("wait");
    (
        output.status.code().unwrap_or(-1),
        String::from_utf8_lossy(&output.stdout).into_owned(),
        String::from_utf8_lossy(&output.stderr).into_owned(),
    )
}

/// A declining `--debug` makes a marker a **trace point**: the frame is printed
/// to stderr and the program carries on to its own answer, exit 0.
///
/// This is the default off a terminal, so it is what a marker does in a script,
/// a pipeline, or CI — and "the program still finishes" is the half that
/// separates a stop from a fault.
#[test]
fn a_breakpoint_off_a_terminal_prints_and_keeps_running() {
    let (code, stdout, stderr) = run_fixture("breakpoint_once.px");
    assert_eq!(code, 0, "a stop is not a failure\nstderr: {stderr}");
    assert_eq!(stdout.trim(), "41", "the program ran to its own answer");
    assert!(stderr.contains("stop: breakpoint"), "{stderr}");
    // The marked line, from the marker's own span rather than the frame's.
    assert!(
        stderr.contains(":bp"),
        "the marked line is quoted: {stderr}"
    );
    // The caller is still on the stack: the frames had not unwound.
    assert!(
        stderr.contains("#0   grow") && stderr.contains("#1   <entry>"),
        "the live chain is shown: {stderr}"
    );
    // …and the stop is *after* the statement, so the binding it made is there.
    assert!(
        stderr.contains("doubled: Int = 40"),
        "the marked statement had run: {stderr}"
    );
    assert!(!stderr.contains("Praxis"), "no prompt was opened: {stderr}");
}

/// `--debug=never` makes every marker inert without touching the source.
#[test]
fn debug_never_makes_a_breakpoint_inert() {
    let (code, stdout, stderr) = run_fixture_debug("breakpoint_once.px", "never");
    assert_eq!(code, 0);
    assert_eq!(stdout.trim(), "41");
    assert_eq!(stderr, "", "nothing was printed at all: {stderr:?}");
}

/// `--debug=always` off a terminal opens the line prompt, and `continue` walks
/// from one pass of the loop to the next with that pass's state.
#[test]
fn the_stop_prompt_continues_from_one_pass_to_the_next() {
    let (code, stdout, stderr) =
        run_stop_with_cmds("breakpoint_loop.px", "locals\ncontinue\nlocals\ncontinue\n");
    assert_eq!(code, 0, "the program finished\nstderr: {stderr}");
    assert_eq!(stdout.trim(), "11", "and answered what it always answers");
    assert!(stderr.contains("Stopped at a breakpoint."), "{stderr}");
    assert!(
        stderr.contains("Praxis stop> "),
        "the stop prompt, not the crash one: {stderr}"
    );
    assert!(
        stderr.contains("(stop #2)"),
        "the second pass is numbered: {stderr}"
    );
    // Two `locals`, one per pass, each showing that pass's running total.
    assert!(
        stderr.contains("total: Int = 4") && stderr.contains("total: Int = 11"),
        "each stop is its own pass's state: {stderr}"
    );
}

/// `quit` at a stop detaches: the program runs to completion and no later
/// marker takes the prompt again.
#[test]
fn quitting_a_stop_detaches_instead_of_killing_the_program() {
    let (code, stdout, stderr) = run_stop_with_cmds("breakpoint_loop.px", "quit\n");
    assert_eq!(code, 0, "the program was not killed\nstderr: {stderr}");
    assert_eq!(stdout.trim(), "11", "it ran to its own answer");
    assert!(
        stderr.contains("will not stop again"),
        "the detach is stated: {stderr}"
    );
    assert!(
        !stderr.contains("(stop #2)"),
        "the second pass did not stop: {stderr}"
    );
}

/// A stop refuses the commands that would execute, and says why — it does not
/// pretend they are unknown.
#[test]
fn a_stop_refuses_p_and_restart_with_a_reason() {
    let (code, _stdout, stderr) =
        run_stop_with_cmds("breakpoint_once.px", "p doubled\nrestart\ncontinue\n");
    assert_eq!(code, 0);
    assert!(
        stderr.contains("stopped, not faulted"),
        "`p` explains itself: {stderr}"
    );
    assert!(
        stderr.contains("live frames to return to"),
        "`restart` explains itself: {stderr}"
    );
    assert!(
        !stderr.contains("unknown command"),
        "neither is pretended away: {stderr}"
    );
}