hecks 5.0.0 → 7.0.0

data/rust/host/src/expr_json.rs

@@ -1,1983 +0,0 @@
-//! Host-local JSON port of `rust::kernel::expr::Expr`: `parse` reads every node and `interpret`
-//! evaluates every one with the Ruby runtime's semantics (`Evaluator`/`Resolver`): the same
-//! answers, null handling and error wording, so a value object's invariants mint the same way.
-
-use serde_json::Value as Json;
-
-/// The `cmp` flags of a comparison node: `<`, `==`, and whether the result is negated.
-#[derive(Debug, Clone, Copy)]
-pub struct Comparison {
-    pub less_than: bool,
-    pub equal: bool,
-    pub negated: bool,
-}
-
-/// Which ends of a string `Expr::Strip` trims.
-#[derive(Debug, Clone, Copy)]
-pub enum StripSide {
-    Both,
-    Left,
-    Right,
-}
-
-#[derive(Debug, Clone, Copy)]
-pub enum BlockMode {
-    All,
-    Any,
-    None,
-}
-
-/// One JSON object per node, tagged by `"op"`; field names match the Hash keys
-/// `ast_json.rb` emits.
-#[derive(Debug, Clone)]
-#[allow(dead_code)]
-pub enum Expr {
-    Or {
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    And {
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    Not {
-        expr: Box<Self>,
-    },
-    Compare {
-        cmp: Comparison,
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    Include {
-        haystack: Box<Self>,
-        needle: Box<Self>,
-    },
-    Int {
-        value: i64,
-    },
-    Float {
-        value: f64,
-    },
-    Str {
-        value: String,
-    },
-    Bool {
-        value: bool,
-    },
-    Nil,
-    Add {
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    Sub {
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    Mul {
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    Div {
-        left: Box<Self>,
-        right: Box<Self>,
-    },
-    SignTest {
-        cmp: Comparison,
-        receiver: Box<Self>,
-    },
-    Empty {
-        receiver: Box<Self>,
-    },
-    ToS {
-        receiver: Box<Self>,
-    },
-    Modulo {
-        receiver: Box<Self>,
-        divisor: Box<Self>,
-    },
-    Size {
-        receiver: Box<Self>,
-    },
-    Lookup {
-        path: Vec<String>,
-    },
-    BlockPredicate {
-        mode: BlockMode,
-        receiver: Box<Self>,
-        param: String,
-        predicate: Box<Self>,
-    },
-    Find {
-        receiver: Box<Self>,
-        param: String,
-        predicate: Box<Self>,
-        path: Vec<String>,
-    },
-    Array {
-        elements: Vec<Self>,
-    },
-    MatchesRegex {
-        receiver: Box<Self>,
-        pattern: String,
-        flags: String,
-    },
-    Presence {
-        receiver: Box<Self>,
-        negated: bool,
-    },
-    Assignment {
-        receiver: Box<Self>,
-        negated: bool,
-    },
-    Split {
-        receiver: Box<Self>,
-        separator: String,
-    },
-    Strip {
-        receiver: Box<Self>,
-        side: StripSide,
-    },
-    StartsWith {
-        receiver: Box<Self>,
-        substring: String,
-    },
-    EndsWith {
-        receiver: Box<Self>,
-        substring: String,
-    },
-    First {
-        receiver: Box<Self>,
-    },
-    Last {
-        receiver: Box<Self>,
-    },
-}
-
-/// Parses an invariant's `ast` node into an `Expr`.
-///
-/// An unrecognized `"op"`, or a malformed shape under a known one, is an `Err`.
-pub fn parse(json: &Json) -> Result<Expr, String> {
-    let op = json
-        .get("op")
-        .and_then(Json::as_str)
-        .ok_or_else(|| format!("{json} has no string \"op\" field"))?;
-
-    let field = |name: &str| {
-        json.get(name)
-            .ok_or_else(|| format!("{op} node has no {name:?} field: {json}"))
-    };
-    let expr = |name: &str| parse(field(name)?);
-    let str_field = |name: &str| -> Result<String, String> {
-        field(name)?
-            .as_str()
-            .map(str::to_string)
-            .ok_or_else(|| format!("{op}'s {name:?} isn't a string: {json}"))
-    };
-    // `lookup.path` and `find.path` are segment arrays, never dotted strings.
-    let path_field = |name: &str| -> Result<Vec<String>, String> {
-        field(name)?
-            .as_array()
-            .ok_or_else(|| format!("{op}'s {name:?} isn't an array: {json}"))?
-            .iter()
-            .map(|v| {
-                v.as_str()
-                    .map(str::to_string)
-                    .ok_or_else(|| format!("{op}'s {name:?} has a non-string element: {json}"))
-            })
-            .collect::<Result<Vec<_>, _>>()
-    };
-    let comparison = || -> Result<Comparison, String> {
-        let cmp = field("cmp")?;
-        Ok(Comparison {
-            less_than: cmp
-                .get("less_than")
-                .and_then(Json::as_bool)
-                .ok_or_else(|| format!("{op}'s cmp has no less_than: {json}"))?,
-            equal: cmp
-                .get("equal")
-                .and_then(Json::as_bool)
-                .ok_or_else(|| format!("{op}'s cmp has no equal: {json}"))?,
-            negated: cmp
-                .get("negated")
-                .and_then(Json::as_bool)
-                .ok_or_else(|| format!("{op}'s cmp has no negated: {json}"))?,
-        })
-    };
-
-    Ok(match op {
-        "or" => Expr::Or {
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "and" => Expr::And {
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "not" => Expr::Not {
-            expr: Box::new(expr("expr")?),
-        },
-        "compare" => Expr::Compare {
-            cmp: comparison()?,
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "include" => Expr::Include {
-            haystack: Box::new(expr("haystack")?),
-            needle: Box::new(expr("needle")?),
-        },
-        "int" => Expr::Int {
-            value: field("value")?
-                .as_i64()
-                .ok_or_else(|| format!("int's value isn't an integer: {json}"))?,
-        },
-        "float" => Expr::Float {
-            value: field("value")?
-                .as_f64()
-                .ok_or_else(|| format!("float's value isn't a number: {json}"))?,
-        },
-        "str" => Expr::Str {
-            value: str_field("value")?,
-        },
-        "bool" => Expr::Bool {
-            value: field("value")?
-                .as_bool()
-                .ok_or_else(|| format!("bool's value isn't a boolean: {json}"))?,
-        },
-        "nil" => Expr::Nil,
-        "add" => Expr::Add {
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "sub" => Expr::Sub {
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "mul" => Expr::Mul {
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "div" => Expr::Div {
-            left: Box::new(expr("left")?),
-            right: Box::new(expr("right")?),
-        },
-        "sign_test" => Expr::SignTest {
-            cmp: comparison()?,
-            receiver: Box::new(expr("receiver")?),
-        },
-        "empty" => Expr::Empty {
-            receiver: Box::new(expr("receiver")?),
-        },
-        "to_s" => Expr::ToS {
-            receiver: Box::new(expr("receiver")?),
-        },
-        "modulo" => Expr::Modulo {
-            receiver: Box::new(expr("receiver")?),
-            divisor: Box::new(expr("divisor")?),
-        },
-        "size" => Expr::Size {
-            receiver: Box::new(expr("receiver")?),
-        },
-        "lookup" => Expr::Lookup {
-            path: path_field("path")?,
-        },
-        "block_predicate" => Expr::BlockPredicate {
-            mode: match str_field("mode")?.as_str() {
-                "all" => BlockMode::All,
-                "any" => BlockMode::Any,
-                "none" => BlockMode::None,
-                other => {
-                    return Err(format!(
-                        "block_predicate's mode {other:?} is none of all/any/none: {json}"
-                    ))
-                }
-            },
-            receiver: Box::new(expr("receiver")?),
-            param: str_field("param")?,
-            predicate: Box::new(expr("predicate")?),
-        },
-        "find" => Expr::Find {
-            receiver: Box::new(expr("receiver")?),
-            param: str_field("param")?,
-            predicate: Box::new(expr("predicate")?),
-            path: path_field("path")?,
-        },
-        "array" => Expr::Array {
-            elements: field("elements")?
-                .as_array()
-                .ok_or_else(|| format!("array's elements isn't an array: {json}"))?
-                .iter()
-                .map(parse)
-                .collect::<Result<Vec<_>, _>>()?,
-        },
-        "matches_regex" => Expr::MatchesRegex {
-            receiver: Box::new(expr("receiver")?),
-            pattern: str_field("pattern")?,
-            flags: str_field("flags")?,
-        },
-        "presence" => Expr::Presence {
-            receiver: Box::new(expr("receiver")?),
-            negated: field("negated")?
-                .as_bool()
-                .ok_or_else(|| format!("presence's negated isn't a boolean: {json}"))?,
-        },
-        "assignment" => Expr::Assignment {
-            receiver: Box::new(expr("receiver")?),
-            negated: field("negated")?
-                .as_bool()
-                .ok_or_else(|| format!("assignment's negated isn't a boolean: {json}"))?,
-        },
-        "split" => Expr::Split {
-            receiver: Box::new(expr("receiver")?),
-            separator: str_field("separator")?,
-        },
-        "strip" => Expr::Strip {
-            receiver: Box::new(expr("receiver")?),
-            side: match str_field("side")?.as_str() {
-                "both" => StripSide::Both,
-                "left" => StripSide::Left,
-                "right" => StripSide::Right,
-                other => {
-                    return Err(format!(
-                        "strip's side {other:?} is none of both/left/right: {json}"
-                    ))
-                }
-            },
-        },
-        "starts_with" => Expr::StartsWith {
-            receiver: Box::new(expr("receiver")?),
-            substring: str_field("substring")?,
-        },
-        "ends_with" => Expr::EndsWith {
-            receiver: Box::new(expr("receiver")?),
-            substring: str_field("substring")?,
-        },
-        "first" => Expr::First {
-            receiver: Box::new(expr("receiver")?),
-        },
-        "last" => Expr::Last {
-            receiver: Box::new(expr("receiver")?),
-        },
-        other => return Err(format!("unrecognized expression op {other:?}: {json}")),
-    })
-}
-
-/// The runtime value an `Expr` evaluates to.
-///
-/// Lists are a single `Array` variant: every field here is already a materialised JSON value.
-/// An `Object` is a multi-field value object, kept as the JSON it arrived as; a one-field
-/// object never survives a lookup (see `unwrap_scalar`).
-#[derive(Debug, Clone, PartialEq)]
-pub enum Value {
-    Int(i64),
-    Float(f64),
-    Str(String),
-    Bool(bool),
-    Nil,
-    Array(Vec<Self>),
-    Object(Json),
-}
-
-impl Value {
-    /// Ruby truthiness: everything but `Nil` and `false`.
-    ///
-    /// Invariant results are checked for truthiness, not `== true`, as `given`/`ensures` are.
-    pub(crate) const fn truthy(&self) -> bool {
-        !matches!(self, Self::Nil | Self::Bool(false))
-    }
-
-    fn from_json(json: &Json) -> Result<Self, String> {
-        match json {
-            Json::Null => Ok(Self::Nil),
-            Json::Bool(b) => Ok(Self::Bool(*b)),
-            Json::Number(n) => n
-                .as_i64()
-                .map(Self::Int)
-                .or_else(|| n.as_f64().map(Self::Float))
-                .ok_or_else(|| format!("{n} is a number this interpreter cannot represent")),
-            Json::String(s) => Ok(Self::Str(s.clone())),
-            Json::Array(items) => Ok(Self::Array(
-                items
-                    .iter()
-                    .map(Self::from_json)
-                    .collect::<Result<Vec<_>, _>>()?,
-            )),
-            Json::Object(_) => Ok(Self::Object(json.clone())),
-        }
-    }
-}
-
-/// The value as an `f64` when it is an `Int` or `Float`.
-const fn numeric(v: &Value) -> Option<f64> {
-    match v {
-        Value::Int(i) => Some(*i as f64),
-        Value::Float(f) => Some(*f),
-        _ => None,
-    }
-}
-
-/// An `Int` and a `Float` are equal only when the float is a whole number that is that integer.
-fn int_equals_float(i: i64, f: f64) -> bool {
-    f.is_finite()
-        && f.fract() == 0.0
-        && (-9.223_372_036_854_776e18..9.223_372_036_854_776e18).contains(&f)
-        && f as i64 == i
-}
-
-/// Ruby's `==` after `Evaluator.equal?`: numbers compare across kinds, and lists and objects
-/// compare element by element with the same rule, so `[1] == [1.0]`.
-#[allow(clippy::float_cmp)] // reason: Ruby's `Float#==` is exact, and this mirrors it
-fn values_equal(l: &Value, r: &Value) -> bool {
-    match (l, r) {
-        (Value::Int(a), Value::Int(b)) => a == b,
-        (Value::Int(i), Value::Float(f)) | (Value::Float(f), Value::Int(i)) => {
-            int_equals_float(*i, *f)
-        }
-        (Value::Float(a), Value::Float(b)) => a == b,
-        (Value::Array(a), Value::Array(b)) => {
-            a.len() == b.len() && a.iter().zip(b).all(|(x, y)| values_equal(x, y))
-        }
-        (Value::Object(Json::Object(a)), Value::Object(Json::Object(b))) => {
-            a.len() == b.len()
-                && a.iter()
-                    .all(|(key, x)| match (b.get(key), Value::from_json(x)) {
-                        (Some(y), Ok(x)) => Value::from_json(y).is_ok_and(|y| values_equal(&x, &y)),
-                        _ => false,
-                    })
-        }
-        _ => l == r,
-    }
-}
-
-/// Orders numbers, then strings; any other pairing is an error worded as Ruby's.
-fn less_than(l: &Value, r: &Value) -> Result<bool, String> {
-    match (l, r) {
-        (Value::Int(a), Value::Int(b)) => Ok(a < b),
-        _ => match (numeric(l), numeric(r)) {
-            (Some(a), Some(b)) => Ok(a < b),
-            _ => match (l, r) {
-                (Value::Str(a), Value::Str(b)) => Ok(a < b),
-                _ => Err(format!(
-                    "comparison of {} with {} failed",
-                    class_of(l),
-                    describe(r)
-                )),
-            },
-        },
-    }
-}
-
-/// ORs `<` and `==`, then negates if the operator says so; `SignTest` reuses it against 0.
-fn apply_comparison(op: Comparison, l: &Value, r: &Value) -> Result<bool, String> {
-    let lt = op.less_than && less_than(l, r)?;
-    let eq = op.equal && values_equal(l, r);
-    Ok(if op.negated { !(lt || eq) } else { lt || eq })
-}
-
-/// Stringifies a scalar as Ruby's `to_s` does (`Nil` becomes `""`); a list or object is an error.
-fn to_s(v: &Value) -> Result<String, String> {
-    match v {
-        Value::Str(s) => Ok(s.clone()),
-        Value::Int(i) => Ok(i.to_string()),
-        Value::Float(f) => Ok(ruby_float(*f)),
-        Value::Bool(b) => Ok(b.to_string()),
-        Value::Nil => Ok(String::new()),
-        Value::Array(_) | Value::Object(_) => {
-            Err(format!("to_s expects a scalar, got {}", describe(v)))
-        }
-    }
-}
-
-/// Ruby's `Float#to_s`: shortest round-trip digits, fixed notation for exponents -4 through 14,
-/// `d.ddde+XX` outside that.
-#[allow(clippy::expect_used)] // reason: Rust's exponent format always has `e` and an integer exponent
-fn ruby_float(f: f64) -> String {
-    if f.is_nan() {
-        return "NaN".to_string();
-    }
-    if f.is_infinite() {
-        return if f < 0.0 { "-Infinity" } else { "Infinity" }.to_string();
-    }
-    let sign = if f.is_sign_negative() { "-" } else { "" };
-    if f == 0.0 {
-        return format!("{sign}0.0");
-    }
-    let scientific = format!("{:e}", f.abs());
-    let (mantissa, exponent) = scientific
-        .split_once('e')
-        .expect("exponent form always has an exponent");
-    let exponent: i32 = exponent.parse().expect("exponent is an integer");
-    let digits: String = mantissa.chars().filter(|c| *c != '.').collect();
-    if (-4..15).contains(&exponent) {
-        if exponent >= 0 {
-            let whole = exponent as usize + 1;
-            let (int_part, frac_part) = if digits.len() > whole {
-                (digits[..whole].to_string(), digits[whole..].to_string())
-            } else {
-                (
-                    format!("{digits}{}", "0".repeat(whole - digits.len())),
-                    "0".to_string(),
-                )
-            };
-            format!("{sign}{int_part}.{frac_part}")
-        } else {
-            format!("{sign}0.{}{digits}", "0".repeat((-exponent - 1) as usize))
-        }
-    } else {
-        let frac = if digits.len() > 1 { &digits[1..] } else { "0" };
-        format!(
-            "{sign}{}.{frac}e{}{:02}",
-            &digits[..1],
-            if exponent < 0 { '-' } else { '+' },
-            exponent.abs()
-        )
-    }
-}
-
-/// Ruby's `String#inspect` for a UTF-8 string.
-fn ruby_inspect(s: &str) -> String {
-    use std::fmt::Write;
-    let mut out = String::from("\"");
-    let mut chars = s.chars().peekable();
-    while let Some(c) = chars.next() {
-        match c {
-            '"' => out.push_str("\\\""),
-            '\\' => out.push_str("\\\\"),
-            '\n' => out.push_str("\\n"),
-            '\t' => out.push_str("\\t"),
-            '\r' => out.push_str("\\r"),
-            '\u{07}' => out.push_str("\\a"),
-            '\u{08}' => out.push_str("\\b"),
-            '\u{0b}' => out.push_str("\\v"),
-            '\u{0c}' => out.push_str("\\f"),
-            '\u{1b}' => out.push_str("\\e"),
-            '#' if matches!(chars.peek(), Some('{' | '$' | '@')) => out.push_str("\\#"),
-            c if (c as u32) < 0x20 || c as u32 == 0x7f => {
-                let _ = write!(out, "\\u{:04X}", c as u32); // writing to a String cannot fail
-            }
-            c => out.push(c),
-        }
-    }
-    out.push('"');
-    out
-}
-
-/// Ruby's `JSON.generate` for a value: what `Rendering.describe` prints for a list or hash.
-fn generate(v: &Value) -> String {
-    match v {
-        Value::Nil => "null".to_string(),
-        Value::Bool(b) => b.to_string(),
-        Value::Int(i) => i.to_string(),
-        Value::Float(f) => ruby_float(*f),
-        Value::Str(s) => Json::String(s.clone()).to_string(),
-        Value::Array(items) => format!(
-            "[{}]",
-            items.iter().map(generate).collect::<Vec<_>>().join(",")
-        ),
-        Value::Object(json) => json.to_string(),
-    }
-}
-
-/// Ruby's `Rendering.describe`: a value as an error message names it.
-fn describe(v: &Value) -> String {
-    match v {
-        Value::Nil => "nil".to_string(),
-        Value::Str(s) => ruby_inspect(s),
-        other => generate(other),
-    }
-}
-
-/// The Ruby class name an error message gives for a value; `nil` for nil, as `class_of` does.
-const fn class_of(v: &Value) -> &'static str {
-    match v {
-        Value::Nil => "nil",
-        Value::Int(_) => "Integer",
-        Value::Float(_) => "Float",
-        Value::Str(_) => "String",
-        Value::Bool(true) => "TrueClass",
-        Value::Bool(false) => "FalseClass",
-        Value::Array(_) => "Array",
-        // A value object's own class name is not in the JSON; Hash is the nearest honest answer.
-        Value::Object(_) => "Hash",
-    }
-}
-
-/// Requires an `Int` or `Float`, worded as `Resolver.require_number`.
-fn require_number(v: &Value, operation: &str) -> Result<Value, String> {
-    match v {
-        Value::Int(_) | Value::Float(_) => Ok(v.clone()),
-        other => Err(format!(
-            "{operation} expects a number, got {}",
-            describe(other)
-        )),
-    }
-}
-
-/// `Resolver.add`: 64-bit integer sums that overflow, and float sums that are not finite, fail.
-fn add(left: &Value, right: &Value) -> Result<Value, String> {
-    let lhs = require_number(left, "addition")?;
-    let rhs = require_number(right, "addition")?;
-    if let (Value::Int(a), Value::Int(b)) = (&lhs, &rhs) {
-        return a.checked_add(*b).map(Value::Int).ok_or_else(|| {
-            format!("addition overflowed: {a} + {b} does not fit in a 64-bit integer")
-        });
-    }
-    let sum = numeric(&lhs).unwrap_or_default() + numeric(&rhs).unwrap_or_default();
-    if sum.is_finite() {
-        Ok(Value::Float(sum))
-    } else {
-        Err(format!(
-            "addition overflowed: {} + {} is not a finite number",
-            to_s(&lhs)?,
-            to_s(&rhs)?
-        ))
-    }
-}
-
-/// `Resolver.checked_arithmetic`: the same 64-bit and finiteness limits `add` holds to, named for
-/// the operation that overflowed.
-fn arithmetic(
-    name: &str,
-    symbol: &str,
-    left: &Value,
-    right: &Value,
-    int_op: fn(i64, i64) -> Option<i64>,
-    float_op: fn(f64, f64) -> f64,
-) -> Result<Value, String> {
-    let lhs = require_number(left, name)?;
-    let rhs = require_number(right, name)?;
-    if let (Value::Int(a), Value::Int(b)) = (&lhs, &rhs) {
-        return int_op(*a, *b).map(Value::Int).ok_or_else(|| {
-            format!("{name} overflowed: {a} {symbol} {b} does not fit in a 64-bit integer")
-        });
-    }
-    let result = float_op(
-        numeric(&lhs).unwrap_or_default(),
-        numeric(&rhs).unwrap_or_default(),
-    );
-    if result.is_finite() {
-        Ok(Value::Float(result))
-    } else {
-        Err(format!(
-            "{name} overflowed: {} {symbol} {} is not a finite number",
-            to_s(&lhs)?,
-            to_s(&rhs)?
-        ))
-    }
-}
-
-/// `Resolver.divide`: a zero divisor faults first; integers floor toward negative infinity.
-fn divide(left: &Value, right: &Value) -> Result<Value, String> {
-    if numeric(&require_number(right, "division")?) == Some(0.0) {
-        return Err("divided by 0".to_string());
-    }
-    arithmetic("division", "/", left, right, floor_div, |a, b| a / b)
-}
-
-/// Floored integer division; `None` only for `i64::MIN / -1`, which does not fit in 64 bits.
-fn floor_div(a: i64, b: i64) -> Option<i64> {
-    let quotient = a.checked_div(b)?;
-    Some(if a % b != 0 && ((a < 0) != (b < 0)) {
-        quotient - 1
-    } else {
-        quotient
-    })
-}
-
-/// `Resolver.apply_modulo`: floored like Ruby's `%`, so the result takes the divisor's sign.
-fn modulo(receiver: &Value, divisor: &Value) -> Result<Value, String> {
-    let receiver = require_number(receiver, "modulo")?;
-    let divisor = require_number(divisor, "modulo")?;
-    if numeric(&divisor) == Some(0.0) {
-        return Err("divided by 0".to_string());
-    }
-    if let (Value::Int(r), Value::Int(d)) = (&receiver, &divisor) {
-        // `i64::MIN % -1` overflows in Rust; Ruby answers 0.
-        if *d == -1 {
-            return Ok(Value::Int(0));
-        }
-        let raw = r % d;
-        return Ok(Value::Int(if raw != 0 && (raw < 0) != (*d < 0) {
-            raw + d
-        } else {
-            raw
-        }));
-    }
-    let x = numeric(&receiver).unwrap_or_default();
-    let y = numeric(&divisor).unwrap_or_default();
-    let remainder = if y.is_infinite() && !x.is_infinite() {
-        x
-    } else {
-        x % y
-    };
-    Ok(Value::Float(if y * remainder < 0.0 {
-        remainder + y
-    } else {
-        remainder
-    }))
-}
-
-/// `Resolver.blank?`: nil, false, and an empty string, list or object.
-///
-/// Ruby's version judges a list by its own emptiness, so a non-empty list is present in both
-/// hosts, whether or not it is made of pairs.
-fn blank(v: &Value) -> bool {
-    match v {
-        Value::Nil | Value::Bool(false) => true,
-        Value::Str(s) => s.is_empty(),
-        Value::Array(items) => items.is_empty(),
-        Value::Object(json) => json.as_object().is_some_and(serde_json::Map::is_empty),
-        _ => false,
-    }
-}
-
-/// Ruby's `String#split` with a string separator: `" "` splits on runs of whitespace, `""` on
-/// characters, anything else on the literal text; trailing empty fields are dropped.
-fn split(text: &str, separator: &str) -> Vec<Value> {
-    let mut parts: Vec<String> = match separator {
-        " " => text
-            .split([' ', '\t', '\n', '\u{0b}', '\u{0c}', '\r'])
-            .filter(|p| !p.is_empty())
-            .map(str::to_string)
-            .collect(),
-        "" => text.chars().map(String::from).collect(),
-        sep => text.split(sep).map(str::to_string).collect(),
-    };
-    while parts.last().is_some_and(String::is_empty) {
-        parts.pop();
-    }
-    parts.into_iter().map(Value::Str).collect()
-}
-
-/// Ruby's `String#strip` family: trims null, tab, line feed, vertical tab, form feed, carriage
-/// return and space, never a Unicode space (Rust's own `trim` would drop U+00A0 too).
-fn strip(text: &str, side: StripSide) -> String {
-    let stripped = |c: char| matches!(c, '\0' | '\t' | '\n' | '\u{b}' | '\u{c}' | '\r' | ' ');
-    match side {
-        StripSide::Both => text.trim_matches(stripped),
-        StripSide::Left => text.trim_start_matches(stripped),
-        StripSide::Right => text.trim_end_matches(stripped),
-    }
-    .to_string()
-}
-
-/// Compiles a Ruby `Regexp` source for the `regex` crate.
-///
-/// Ruby's `\d \w \s \h` are ASCII and its `^ $` are always line anchors, where `regex` reads
-/// the classes as Unicode and the anchors as text anchors, so both are rewritten. `m` is
-/// Ruby's dot-matches-newline; `\Z` (end, or before a final newline) becomes `\n?\z`.
-fn ruby_regex(pattern: &str, flags: &str) -> Result<regex::Regex, String> {
-    use std::fmt::Write;
-    let mut source = String::new();
-    let mut in_class = false;
-    let mut class_start = 0;
-    let chars: Vec<char> = pattern.chars().collect();
-    let mut index = 0;
-    while index < chars.len() {
-        let c = chars[index];
-        if c == '\\' {
-            let Some(&next) = chars.get(index + 1) else {
-                source.push(c);
-                break;
-            };
-            index += 2;
-            let (positive, negative) = match next.to_ascii_lowercase() {
-                'd' => ("0-9", "[^0-9]"),
-                'w' => ("A-Za-z0-9_", "[^A-Za-z0-9_]"),
-                's' => ("\\x20\\t\\r\\n\\f\\x0B", "[^\\x20\\t\\r\\n\\f\\x0B]"),
-                'h' => ("0-9a-fA-F", "[^0-9a-fA-F]"),
-                _ => {
-                    match next {
-                        'Z' if !in_class => source.push_str("(?:\\n?\\z)"),
-                        _ => {
-                            source.push(c);
-                            source.push(next);
-                        }
-                    }
-                    continue;
-                }
-            };
-            match (next.is_ascii_uppercase(), in_class) {
-                (false, true) => source.push_str(positive),
-                (false, false) => {
-                    let _ = write!(source, "[{positive}]"); // writing to a String cannot fail
-                }
-                (true, _) => source.push_str(negative),
-            }
-            continue;
-        }
-        if in_class {
-            if c == ']' && index != class_start {
-                in_class = false;
-            }
-        } else if c == '[' {
-            in_class = true;
-            class_start = index + 1;
-            if chars.get(class_start) == Some(&'^') {
-                class_start += 1;
-            }
-        } else if c == '^' || c == '$' {
-            source.push_str(if c == '^' { "(?m:^)" } else { "(?m:$)" });
-            index += 1;
-            continue;
-        }
-        source.push(c);
-        index += 1;
-    }
-
-    regex::RegexBuilder::new(&source)
-        .case_insensitive(flags.contains('i'))
-        .dot_matches_new_line(flags.contains('m'))
-        .ignore_whitespace(flags.contains('x'))
-        .build()
-        .map_err(|e| {
-            format!(
-                "match? given an invalid pattern {} — {e}",
-                ruby_inspect(pattern)
-            )
-        })
-}
-
-/// One block parameter bound to its element, innermost first; `attrs` in `Resolver#fetch`.
-struct Scope<'a> {
-    name: &'a str,
-    value: Value,
-    outer: Option<&'a Self>,
-}
-
-impl Scope<'_> {
-    fn get(&self, name: &str) -> Option<&Value> {
-        if self.name == name {
-            Some(&self.value)
-        } else {
-            self.outer.and_then(|outer| outer.get(name))
-        }
-    }
-}
-
-/// Evaluates `expr` against a value object's JSON fields.
-///
-/// Every node the Ruby runtime (`Evaluator`/`Resolver`) has is interpreted, with its semantics,
-/// null handling and error wording. No command arguments are in scope, so `Lookup` reads
-/// `instance` alone, after any enclosing block parameters.
-pub fn interpret(expr: &Expr, instance: &Json) -> Result<Value, String> {
-    eval(expr, instance, None)
-}
-
-fn eval(expr: &Expr, instance: &Json, scope: Option<&Scope>) -> Result<Value, String> {
-    let recur = |e: &Expr| eval(e, instance, scope);
-    match expr {
-        Expr::Int { value } => Ok(Value::Int(*value)),
-        Expr::Float { value } => Ok(Value::Float(*value)),
-        Expr::Str { value } => Ok(Value::Str(value.clone())),
-        Expr::Bool { value } => Ok(Value::Bool(*value)),
-        Expr::Nil => Ok(Value::Nil),
-        Expr::Array { elements } => Ok(Value::Array(
-            elements.iter().map(recur).collect::<Result<Vec<_>, _>>()?,
-        )),
-        Expr::Lookup { path } => lookup(path, instance, scope),
-        Expr::Or { left, right } => {
-            Ok(Value::Bool(recur(left)?.truthy() || recur(right)?.truthy()))
-        }
-        Expr::And { left, right } => {
-            Ok(Value::Bool(recur(left)?.truthy() && recur(right)?.truthy()))
-        }
-        Expr::Not { expr } => Ok(Value::Bool(!recur(expr)?.truthy())),
-        Expr::Compare { cmp, left, right } => Ok(Value::Bool(apply_comparison(
-            *cmp,
-            &recur(left)?,
-            &recur(right)?,
-        )?)),
-        // The needle resolves before the haystack, as `Evaluator.includes?` does.
-        Expr::Include { haystack, needle } => {
-            let wanted = recur(needle)?;
-            match recur(haystack)? {
-                Value::Array(items) => Ok(Value::Bool(
-                    items.iter().any(|item| values_equal(item, &wanted)),
-                )),
-                Value::Str(text) => match &wanted {
-                    Value::Str(part) => Ok(Value::Bool(text.contains(part.as_str()))),
-                    other => Err(format!(
-                        "no implicit conversion of {} into String",
-                        class_of(other)
-                    )),
-                },
-                _ => Ok(Value::Bool(false)),
-            }
-        }
-        Expr::Add { left, right } => add(&recur(left)?, &recur(right)?),
-        Expr::Sub { left, right } => arithmetic(
-            "subtraction",
-            "-",
-            &recur(left)?,
-            &recur(right)?,
-            i64::checked_sub,
-            |a, b| a - b,
-        ),
-        Expr::Mul { left, right } => arithmetic(
-            "multiplication",
-            "*",
-            &recur(left)?,
-            &recur(right)?,
-            i64::checked_mul,
-            |a, b| a * b,
-        ),
-        Expr::Div { left, right } => divide(&recur(left)?, &recur(right)?),
-        Expr::Modulo { receiver, divisor } => modulo(&recur(receiver)?, &recur(divisor)?),
-        Expr::SignTest { cmp, receiver } => {
-            let v = recur(receiver)?;
-            if numeric(&v).is_none() {
-                return Err(format!(
-                    "{} expects a number, got {}",
-                    sign_test_name(*cmp),
-                    describe(&v)
-                ));
-            }
-            Ok(Value::Bool(apply_comparison(*cmp, &v, &Value::Int(0))?))
-        }
-        Expr::Empty { receiver } => match recur(receiver)? {
-            Value::Str(s) => Ok(Value::Bool(s.is_empty())),
-            Value::Array(items) => Ok(Value::Bool(items.is_empty())),
-            other => Err(format!(
-                "empty? expects a list or string, got {}",
-                describe(&other)
-            )),
-        },
-        Expr::Size { receiver } => match recur(receiver)? {
-            Value::Str(s) => Ok(Value::Int(s.chars().count() as i64)),
-            Value::Array(items) => Ok(Value::Int(items.len() as i64)),
-            other => Err(format!(
-                "size expects a list or string, got {}",
-                describe(&other)
-            )),
-        },
-        Expr::ToS { receiver } => Ok(Value::Str(to_s(&recur(receiver)?)?)),
-        Expr::MatchesRegex {
-            receiver,
-            pattern,
-            flags,
-        } => {
-            let text = match recur(receiver)? {
-                Value::Str(s) => s,
-                v @ (Value::Int(_) | Value::Float(_)) => to_s(&v)?,
-                Value::Nil => String::new(),
-                other => return Err(format!("match? expects a scalar, got {}", class_of(&other))),
-            };
-            Ok(Value::Bool(ruby_regex(pattern, flags)?.is_match(&text)))
-        }
-        Expr::Presence { receiver, negated } => {
-            Ok(Value::Bool(blank(&recur(receiver)?) == *negated))
-        }
-        Expr::Assignment { receiver, negated } => {
-            Ok(Value::Bool((recur(receiver)? == Value::Nil) == *negated))
-        }
-        Expr::Split {
-            receiver,
-            separator,
-        } => match recur(receiver)? {
-            Value::Str(text) => Ok(Value::Array(split(&text, separator))),
-            other => Err(format!("split expects a string, got {}", describe(&other))),
-        },
-        Expr::First { receiver } => match recur(receiver)? {
-            Value::Array(items) => Ok(items.into_iter().next().unwrap_or(Value::Nil)),
-            other => Err(format!("first expects a list, got {}", describe(&other))),
-        },
-        Expr::Last { receiver } => match recur(receiver)? {
-            Value::Array(items) => Ok(items.into_iter().next_back().unwrap_or(Value::Nil)),
-            other => Err(format!("last expects a list, got {}", describe(&other))),
-        },
-        Expr::Strip { receiver, side } => match recur(receiver)? {
-            Value::Str(text) => Ok(Value::Str(strip(&text, *side))),
-            other => Err(format!("strip expects a string, got {}", describe(&other))),
-        },
-        Expr::StartsWith {
-            receiver,
-            substring,
-        } => match recur(receiver)? {
-            Value::Str(text) => Ok(Value::Bool(text.starts_with(substring.as_str()))),
-            other => Err(format!(
-                "start_with? expects a string, got {}",
-                describe(&other)
-            )),
-        },
-        Expr::EndsWith {
-            receiver,
-            substring,
-        } => match recur(receiver)? {
-            Value::Str(text) => Ok(Value::Bool(text.ends_with(substring.as_str()))),
-            other => Err(format!(
-                "end_with? expects a string, got {}",
-                describe(&other)
-            )),
-        },
-        // Every element is evaluated before aggregating, so an error on any element surfaces as
-        // it does in Ruby.
-        Expr::BlockPredicate {
-            mode,
-            receiver,
-            param,
-            predicate,
-        } => {
-            let mode_name = match mode {
-                BlockMode::All => "all",
-                BlockMode::Any => "any",
-                BlockMode::None => "none",
-            };
-            let items = match recur(receiver)? {
-                Value::Array(items) => items,
-                other => {
-                    return Err(format!(
-                        "{mode_name}? expects a list, got {}",
-                        describe(&other)
-                    ))
-                }
-            };
-            let mut outcomes = Vec::with_capacity(items.len());
-            for item in items {
-                outcomes.push(bound(param, item, instance, scope, predicate)?.truthy());
-            }
-            Ok(Value::Bool(match mode {
-                BlockMode::All => outcomes.iter().all(|o| *o),
-                BlockMode::Any => outcomes.iter().any(|o| *o),
-                BlockMode::None => !outcomes.iter().any(|o| *o),
-            }))
-        }
-        // The first accepted element ends the scan; a miss is nil, not an error.
-        Expr::Find {
-            receiver,
-            param,
-            predicate,
-            path,
-        } => {
-            let items = match recur(receiver)? {
-                Value::Array(items) => items,
-                other => return Err(format!("find expects a list, got {}", describe(&other))),
-            };
-            for item in items {
-                if bound(param, item.clone(), instance, scope, predicate)?.truthy() {
-                    return if path.is_empty() {
-                        Ok(unwrap_scalar(item))
-                    } else {
-                        Ok(unwrap_scalar(walk_path(item, path)?))
-                    };
-                }
-            }
-            Ok(Value::Nil)
-        }
-    }
-}
-
-/// Evaluates a block's `predicate` with `param` bound to `item`, shadowing any same-named field.
-fn bound(
-    param: &str,
-    item: Value,
-    instance: &Json,
-    scope: Option<&Scope>,
-    predicate: &Expr,
-) -> Result<Value, String> {
-    let inner = Scope {
-        name: param,
-        value: item,
-        outer: scope,
-    };
-    eval(predicate, instance, Some(&inner))
-}
-
-/// The `sign_test` a comparison's flags spell, for the error message: `positive?` is
-/// `!(< 0 || == 0)`, `negative?` is `< 0`, `zero?` is `== 0`.
-const fn sign_test_name(cmp: Comparison) -> &'static str {
-    match (cmp.less_than, cmp.equal) {
-        (true, true) => "positive?",
-        (true, false) => "negative?",
-        _ => "zero?",
-    }
-}
-
-/// `Resolver.unwrap_scalar`: a one-field value object reads as its one value.
-fn unwrap_scalar(v: Value) -> Value {
-    let sole = match &v {
-        Value::Object(Json::Object(fields)) if fields.len() == 1 => fields
-            .values()
-            .next()
-            .and_then(|only| Value::from_json(only).ok()),
-        _ => None,
-    };
-    sole.unwrap_or(v)
-}
-
-/// `Resolver.walk_path`: each segment indexes the current value. An object yields the field or
-/// nil; a string yields the segment when it is a substring (Ruby's `String#[]`), else nil; a
-/// list or integer cannot be indexed by name; nil, floats and booleans end the walk in nil.
-/// That last fallthrough is what makes `!flag.nil?` (`["flag", "nil?"]`) mean "does `flag` exist".
-fn walk_path(start: Value, segments: &[String]) -> Result<Value, String> {
-    let mut current = start;
-    for segment in segments {
-        current = match &current {
-            Value::Object(Json::Object(fields)) => match fields.get(segment) {
-                Some(next) => Value::from_json(next)?,
-                None => Value::Nil,
-            },
-            Value::Str(text) if text.contains(segment.as_str()) => Value::Str(segment.clone()),
-            Value::Str(_) => Value::Nil,
-            Value::Array(_) | Value::Int(_) => {
-                return Err(format!(
-                    "cannot read {} from {}",
-                    ruby_inspect(segment),
-                    describe(&current)
-                ))
-            }
-            _ => return Ok(Value::Nil),
-        };
-    }
-    Ok(current)
-}
-
-/// Resolves a path as `Resolver#lookup`: the head is a block parameter (innermost first) or a
-/// field of `instance`, and must exist; later segments go through `walk_path`.
-fn lookup(path: &[String], instance: &Json, scope: Option<&Scope>) -> Result<Value, String> {
-    let Some((head, rest)) = path.split_first() else {
-        return Err(format!("lookup given an empty path (path {path:?})"));
-    };
-    let start = match scope.and_then(|s| s.get(head)) {
-        Some(value) => value.clone(),
-        None => Value::from_json(instance.get(head).ok_or_else(|| {
-            format!(
-                "cannot resolve {} — no such attribute or argument",
-                ruby_inspect(head)
-            )
-        })?)?,
-    };
-    Ok(unwrap_scalar(walk_path(start, rest)?))
-}
-
-#[cfg(test)]
-mod tests {
-    use super::*;
-
-    #[allow(clippy::needless_pass_by_value)] // reason: test helper called with inline literals
-    fn field(name: &str, value: Json) -> Json {
-        serde_json::json!({ name: value })
-    }
-
-    #[test]
-    fn cents_gte_zero_holds_for_a_non_negative_amount() {
-        // `cents >= 0`, the shape `AstJson.emit_predicate` builds.
-        let ast = serde_json::json!({"op":"compare","cmp":{"less_than":true,"equal":false,"negated":true},
-            "left":{"op":"lookup","path":["cents"]},"right":{"op":"int","value":0}});
-        let expr = parse(&ast).expect("valid Expr JSON");
-
-        assert_eq!(
-            interpret(&expr, &field("cents", serde_json::json!(1200))),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            interpret(&expr, &field("cents", serde_json::json!(0))),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            interpret(&expr, &field("cents", serde_json::json!(-1))),
-            Ok(Value::Bool(false))
-        );
-    }
-
-    #[test]
-    fn a_compound_and_of_four_comparisons_matches_chess_square_bounds() {
-        // `file >= 0 && file <= 7 && rank >= 0 && rank <= 7`, chess.bluebook's `Square`.
-        fn cmp(
-            less_than: bool,
-            equal: bool,
-            negated: bool,
-            field: &str,
-            n: i64,
-        ) -> serde_json::Value {
-            serde_json::json!({"op":"compare","cmp":{"less_than":less_than,"equal":equal,"negated":negated},
-                "left":{"op":"lookup","path":[field]},"right":{"op":"int","value":n}})
-        }
-        let ast = serde_json::json!({"op":"and","left":{"op":"and","left":{"op":"and",
-            "left": cmp(true, false, true, "file", 0),
-            "right": cmp(true, true, false, "file", 7)},
-            "right": cmp(true, false, true, "rank", 0)},
-            "right": cmp(true, true, false, "rank", 7)});
-        let expr = parse(&ast).expect("valid Expr JSON");
-
-        let on_board = serde_json::json!({"file": 3, "rank": 7});
-        let off_board = serde_json::json!({"file": 8, "rank": 0});
-        assert_eq!(interpret(&expr, &on_board), Ok(Value::Bool(true)));
-        assert_eq!(interpret(&expr, &off_board), Ok(Value::Bool(false)));
-    }
-
-    #[test]
-    fn a_blank_string_fails_the_not_empty_to_s_pattern() {
-        // `!value.to_s.empty?`, the most common real invariant shape.
-        let ast = serde_json::json!({"op":"not","expr":{"op":"empty","receiver":{"op":"to_s","receiver":{"op":"lookup","path":["value"]}}}});
-        let expr = parse(&ast).expect("valid Expr JSON");
-
-        assert_eq!(
-            interpret(&expr, &field("value", serde_json::json!("Margherita"))),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            interpret(&expr, &field("value", serde_json::json!(""))),
-            Ok(Value::Bool(false))
-        );
-    }
-
-    #[test]
-    fn sign_test_positive_matches_a_real_amount_invariant() {
-        // `value.positive?` compiles to NOT(value < 0 or value == 0).
-        let ast = serde_json::json!({"op":"sign_test","cmp":{"less_than":true,"equal":true,"negated":true},"receiver":{"op":"lookup","path":["value"]}});
-        let expr = parse(&ast).expect("valid Expr JSON");
-
-        assert_eq!(
-            interpret(&expr, &field("value", serde_json::json!(5))),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            interpret(&expr, &field("value", serde_json::json!(0))),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            interpret(&expr, &field("value", serde_json::json!(-5))),
-            Ok(Value::Bool(false))
-        );
-    }
-
-    #[test]
-    fn int_and_float_compare_equal_across_kinds_the_same_way_the_kernel_does() {
-        let ast = serde_json::json!({"op":"compare","cmp":{"less_than":false,"equal":true,"negated":false},
-            "left":{"op":"lookup","path":["cents"]},"right":{"op":"float","value":3.0}});
-        let expr = parse(&ast).expect("valid Expr JSON");
-
-        assert_eq!(
-            interpret(&expr, &field("cents", serde_json::json!(3))),
-            Ok(Value::Bool(true))
-        );
-    }
-
-    #[test]
-    fn an_unrecognized_op_refuses_to_parse_rather_than_defaulting() {
-        let ast = serde_json::json!({"op":"frobnicate"});
-        let err = parse(&ast).unwrap_err();
-        assert!(err.contains("unrecognized"), "{err}");
-    }
-
-    // Expected values below are real Ruby results (`Resolver.resolve` / `Evaluator.call`); the
-    // differential spec `spec/rust_host_expr_json_conformance_spec.rb` re-checks them live.
-    use serde_json::json;
-
-    #[allow(clippy::needless_pass_by_value)] // reason: test helper called with inline literals
-    fn run(ast: Json, instance: Json) -> Result<Value, String> {
-        interpret(&parse(&ast).expect("valid Expr JSON"), &instance)
-    }
-
-    fn lookup_of(name: &str) -> Json {
-        json!({"op":"lookup","path":[name]})
-    }
-
-    fn int(n: i64) -> Json {
-        json!({"op":"int","value":n})
-    }
-
-    fn string(s: &str) -> Json {
-        json!({"op":"str","value":s})
-    }
-
-    #[allow(clippy::needless_pass_by_value)] // reason: test helper called with inline literals
-    fn call(op: &str, receiver: Json) -> Json {
-        json!({"op":op,"receiver":receiver})
-    }
-
-    #[allow(clippy::needless_pass_by_value)] // reason: test helper called with inline literals
-    fn eq(left: Json, right: Json) -> Json {
-        json!({"op":"compare","cmp":{"less_than":false,"equal":true,"negated":false},"left":left,"right":right})
-    }
-
-    fn strs(items: &[&str]) -> Value {
-        Value::Array(items.iter().map(|s| Value::Str(s.to_string())).collect())
-    }
-
-    #[test]
-    fn add_sums_numbers_and_promotes_to_float() {
-        let add = |l: Json, r: Json| json!({"op":"add","left":l,"right":r});
-        assert_eq!(run(add(int(2), int(3)), json!({})), Ok(Value::Int(5)));
-        assert_eq!(
-            run(add(int(2), json!({"op":"float","value":1.5})), json!({})),
-            Ok(Value::Float(3.5))
-        );
-        assert_eq!(
-            run(add(lookup_of("a"), int(1)), json!({"a": 9})),
-            Ok(Value::Int(10))
-        );
-    }
-
-    #[test]
-    fn add_refuses_a_non_number_and_an_overflow_with_rubys_words() {
-        let add = |l: Json, r: Json| json!({"op":"add","left":l,"right":r});
-        assert_eq!(
-            run(add(string("a"), int(1)), json!({})),
-            Err("addition expects a number, got \"a\"".to_string())
-        );
-        assert_eq!(
-            run(add(lookup_of("a"), int(1)), json!({"a": null})),
-            Err("addition expects a number, got nil".to_string())
-        );
-        assert_eq!(
-            run(add(int(1), lookup_of("a")), json!({"a": [1]})),
-            Err("addition expects a number, got [1]".to_string())
-        );
-        assert_eq!(
-            run(add(int(i64::MAX), int(1)), json!({})),
-            Err(
-                "addition overflowed: 9223372036854775807 + 1 does not fit in a 64-bit integer"
-                    .to_string()
-            )
-        );
-        let huge = json!({"op":"float","value":1.7e308});
-        assert_eq!(
-            run(add(huge.clone(), huge), json!({})),
-            Err("addition overflowed: 1.7e+308 + 1.7e+308 is not a finite number".to_string())
-        );
-    }
-
-    #[test]
-    fn sub_mul_div_follow_rubys_limits_and_floor_integer_division() {
-        let op = |name: &str, l: Json, r: Json| json!({"op":name,"left":l,"right":r});
-        assert_eq!(run(op("sub", int(5), int(2)), json!({})), Ok(Value::Int(3)));
-        assert_eq!(
-            run(
-                op("mul", int(6), json!({"op":"float","value":0.5})),
-                json!({})
-            ),
-            Ok(Value::Float(3.0))
-        );
-        assert_eq!(
-            run(op("div", int(-7), int(2)), json!({})),
-            Ok(Value::Int(-4))
-        );
-        assert_eq!(
-            run(op("div", int(7), int(-2)), json!({})),
-            Ok(Value::Int(-4))
-        );
-        assert_eq!(
-            run(op("div", int(7), int(0)), json!({})),
-            Err("divided by 0".to_string())
-        );
-        assert_eq!(
-            run(op("mul", int(i64::MAX), int(2)), json!({})),
-            Err("multiplication overflowed: 9223372036854775807 * 2 does not fit in a 64-bit integer".to_string())
-        );
-        assert_eq!(
-            run(op("div", int(i64::MIN), int(-1)), json!({})),
-            Err(
-                "division overflowed: -9223372036854775808 / -1 does not fit in a 64-bit integer"
-                    .to_string()
-            )
-        );
-        assert_eq!(
-            run(op("sub", lookup_of("a"), int(1)), json!({"a": null})),
-            Err("subtraction expects a number, got nil".to_string())
-        );
-    }
-
-    #[test]
-    fn modulo_floors_like_ruby_for_integers_and_floats() {
-        let modulo = |r: Json, d: Json| json!({"op":"modulo","receiver":r,"divisor":d});
-        assert_eq!(run(modulo(int(-7), int(3)), json!({})), Ok(Value::Int(2)));
-        assert_eq!(run(modulo(int(7), int(-3)), json!({})), Ok(Value::Int(-2)));
-        assert_eq!(
-            run(modulo(int(i64::MIN), int(-1)), json!({})),
-            Ok(Value::Int(0))
-        );
-        assert_eq!(
-            run(modulo(json!({"op":"float","value":5.5}), int(2)), json!({})),
-            Ok(Value::Float(1.5))
-        );
-        assert_eq!(
-            run(
-                modulo(int(7), json!({"op":"float","value":-2.5})),
-                json!({})
-            ),
-            Ok(Value::Float(-0.5))
-        );
-        assert_eq!(
-            run(
-                modulo(json!({"op":"float","value":-1.0}), int(2)),
-                json!({})
-            ),
-            Ok(Value::Float(1.0))
-        );
-    }
-
-    #[test]
-    fn modulo_refuses_a_zero_divisor_and_a_non_number() {
-        let modulo = |r: Json, d: Json| json!({"op":"modulo","receiver":r,"divisor":d});
-        assert_eq!(
-            run(modulo(int(5), int(0)), json!({})),
-            Err("divided by 0".to_string())
-        );
-        assert_eq!(
-            run(modulo(int(5), json!({"op":"float","value":0.0})), json!({})),
-            Err("divided by 0".to_string())
-        );
-        assert_eq!(
-            run(modulo(string("a"), int(2)), json!({})),
-            Err("modulo expects a number, got \"a\"".to_string())
-        );
-        assert_eq!(
-            run(modulo(int(2), lookup_of("d")), json!({"d": null})),
-            Err("modulo expects a number, got nil".to_string())
-        );
-    }
-
-    #[test]
-    fn include_tests_list_membership_with_numeric_coercion_and_substrings() {
-        let include = |h: Json, n: Json| json!({"op":"include","haystack":h,"needle":n});
-        assert_eq!(
-            run(
-                include(lookup_of("tags"), string("b")),
-                json!({"tags": ["a", "b"]})
-            ),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(
-                include(lookup_of("tags"), string("z")),
-                json!({"tags": ["a", "b"]})
-            ),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(
-                include(lookup_of("n"), json!({"op":"float","value":2.0})),
-                json!({"n": [1, 2]})
-            ),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(
-                include(lookup_of("n"), lookup_of("m")),
-                json!({"n": [1, null], "m": null})
-            ),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(
-                include(lookup_of("s"), string("ell")),
-                json!({"s": "hello"})
-            ),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(include(lookup_of("s"), string("")), json!({"s": "hello"})),
-            Ok(Value::Bool(true))
-        );
-    }
-
-    #[test]
-    fn include_on_anything_but_a_list_or_string_is_false_and_a_string_needs_a_string() {
-        let include = |h: Json, n: Json| json!({"op":"include","haystack":h,"needle":n});
-        assert_eq!(
-            run(include(lookup_of("s"), string("a")), json!({"s": null})),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(include(lookup_of("s"), string("a")), json!({"s": 5})),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(include(lookup_of("s"), int(1)), json!({"s": "abc"})),
-            Err("no implicit conversion of Integer into String".to_string())
-        );
-        assert_eq!(
-            run(
-                include(lookup_of("s"), lookup_of("n")),
-                json!({"s": "abc", "n": null})
-            ),
-            Err("no implicit conversion of nil into String".to_string())
-        );
-    }
-
-    #[test]
-    fn array_literals_evaluate_each_element_and_compose_with_first_last_and_include() {
-        let array = json!({"op":"array","elements":[int(1), json!({"op":"float","value":2.5}), string("a"), json!({"op":"nil"})]});
-        assert_eq!(
-            run(array.clone(), json!({})),
-            Ok(Value::Array(vec![
-                Value::Int(1),
-                Value::Float(2.5),
-                Value::Str("a".to_string()),
-                Value::Nil
-            ]))
-        );
-        assert_eq!(
-            run(call("first", array.clone()), json!({})),
-            Ok(Value::Int(1))
-        );
-        assert_eq!(run(call("last", array), json!({})), Ok(Value::Nil));
-        assert_eq!(
-            run(json!({"op":"array","elements":[]}), json!({})),
-            Ok(Value::Array(vec![]))
-        );
-    }
-
-    #[test]
-    fn matches_regex_reads_ruby_anchors_flags_and_ascii_classes() {
-        let matches = |pattern: &str, flags: &str| json!({"op":"matches_regex","receiver":lookup_of("x"),"pattern":pattern,"flags":flags});
-        assert_eq!(
-            run(matches("^b$", ""), json!({"x": "a\nb"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches("\\Ab\\z", ""), json!({"x": "a\nb"})),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(matches("a.b", ""), json!({"x": "a\nb"})),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(matches("a.b", "m"), json!({"x": "a\nb"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches("A", "i"), json!({"x": "a"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches("\\d", ""), json!({"x": "\u{663}"})),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(matches("\\A[\\w.]+\\z", ""), json!({"x": "a.b_c"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches("a b", "x"), json!({"x": "ab"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches("\\Aa\\Z", ""), json!({"x": "a\n"})),
-            Ok(Value::Bool(true))
-        );
-    }
-
-    #[test]
-    fn matches_regex_coerces_scalars_and_refuses_the_rest_by_class() {
-        let matches = json!({"op":"matches_regex","receiver":lookup_of("x"),"pattern":"\\A[0-9.]+\\z","flags":""});
-        assert_eq!(
-            run(matches.clone(), json!({"x": 12})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches.clone(), json!({"x": 1.5})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(
-                json!({"op":"matches_regex","receiver":lookup_of("x"),"pattern":"\\A\\z","flags":""}),
-                json!({"x": null})
-            ),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(matches.clone(), json!({"x": true})),
-            Err("match? expects a scalar, got TrueClass".to_string())
-        );
-        assert_eq!(
-            run(matches.clone(), json!({"x": false})),
-            Err("match? expects a scalar, got FalseClass".to_string())
-        );
-        assert_eq!(
-            run(matches, json!({"x": [1]})),
-            Err("match? expects a scalar, got Array".to_string())
-        );
-    }
-
-    #[test]
-    fn matches_regex_refuses_an_invalid_pattern_by_name() {
-        let err = run(
-            json!({"op":"matches_regex","receiver":string("a"),"pattern":"(","flags":""}),
-            json!({}),
-        )
-        .unwrap_err();
-        assert!(
-            err.starts_with("match? given an invalid pattern \"(\" — "),
-            "{err}"
-        );
-    }
-
-    #[test]
-    fn block_predicates_aggregate_with_ruby_answers_for_an_empty_list() {
-        let block = |mode: &str| {
-            json!({"op":"block_predicate","mode":mode,"receiver":lookup_of("seats"),"param":"s",
-                "predicate":eq(json!({"op":"lookup","path":["s","taken"]}), json!({"op":"bool","value":false}))})
-        };
-        let seats = json!({"seats": [{"n": 1, "taken": true}, {"n": 2, "taken": false}]});
-        assert_eq!(run(block("any"), seats.clone()), Ok(Value::Bool(true)));
-        assert_eq!(run(block("all"), seats.clone()), Ok(Value::Bool(false)));
-        assert_eq!(run(block("none"), seats), Ok(Value::Bool(false)));
-        let empty = json!({"seats": []});
-        assert_eq!(run(block("all"), empty.clone()), Ok(Value::Bool(true)));
-        assert_eq!(run(block("any"), empty.clone()), Ok(Value::Bool(false)));
-        assert_eq!(run(block("none"), empty), Ok(Value::Bool(true)));
-    }
-
-    #[test]
-    fn a_block_predicate_evaluates_every_element_so_a_later_error_still_surfaces() {
-        // `all?` would stop at the first false in a short-circuit loop; Ruby maps first.
-        let ast = json!({"op":"block_predicate","mode":"all","receiver":lookup_of("xs"),"param":"x",
-            "predicate":json!({"op":"sign_test","cmp":{"less_than":true,"equal":true,"negated":true},"receiver":lookup_of("x")})});
-        assert_eq!(
-            run(ast, json!({"xs": [-1, "a"]})),
-            Err("positive? expects a number, got \"a\"".to_string())
-        );
-    }
-
-    #[test]
-    fn a_block_predicate_over_a_non_list_refuses_with_the_mode_named() {
-        for (mode, word) in [("all", "all?"), ("any", "any?"), ("none", "none?")] {
-            let ast = json!({"op":"block_predicate","mode":mode,"receiver":lookup_of("x"),"param":"y","predicate":{"op":"bool","value":true}});
-            assert_eq!(
-                run(ast.clone(), json!({"x": 5})),
-                Err(format!("{word} expects a list, got 5"))
-            );
-            assert_eq!(
-                run(ast, json!({"x": null})),
-                Err(format!("{word} expects a list, got nil"))
-            );
-        }
-    }
-
-    #[test]
-    fn the_block_parameter_shadows_a_same_named_field_only_inside_the_block() {
-        let ast = json!({"op":"block_predicate","mode":"any","receiver":lookup_of("xs"),"param":"n",
-            "predicate":{"op":"and","left":eq(lookup_of("n"), int(2)),"right":eq(lookup_of("m"), int(9))}});
-        assert_eq!(
-            run(ast.clone(), json!({"xs": [1, 2], "m": 9, "n": 100})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(ast, json!({"xs": [1, 2], "m": 8})),
-            Ok(Value::Bool(false))
-        );
-    }
-
-    #[test]
-    fn nested_blocks_see_the_outer_parameter() {
-        let inner = json!({"op":"block_predicate","mode":"none","receiver":lookup_of("xs"),"param":"o",
-            "predicate":eq(lookup_of("o"), json!({"op":"add","left":lookup_of("s"),"right":int(1)}))});
-        let outer = json!({"op":"block_predicate","mode":"any","receiver":lookup_of("xs"),"param":"s","predicate":inner});
-        // Every element has a successor except the largest, so `any?` holds.
-        assert_eq!(run(outer, json!({"xs": [1, 2, 4]})), Ok(Value::Bool(true)));
-    }
-
-    #[test]
-    fn an_unbound_name_in_a_block_refuses_as_ruby_does() {
-        let ast = json!({"op":"block_predicate","mode":"any","receiver":lookup_of("xs"),"param":"x","predicate":lookup_of("ghost")});
-        assert_eq!(
-            run(ast, json!({"xs": [1]})),
-            Err("cannot resolve \"ghost\" — no such attribute or argument".to_string())
-        );
-    }
-
-    #[test]
-    fn find_answers_the_first_match_projected_through_its_path_and_nil_on_a_miss() {
-        let find = |wanted: bool, path: &[&str]| {
-            json!({"op":"find","receiver":lookup_of("legs"),"param":"l","path":path,
-                "predicate":eq(json!({"op":"lookup","path":["l","open"]}), json!({"op":"bool","value":wanted}))})
-        };
-        let legs = json!({"legs": [{"to": "A", "open": false}, {"to": "B", "open": true}, {"to": "C", "open": true}]});
-        assert_eq!(
-            run(find(true, &["to"]), legs.clone()),
-            Ok(Value::Str("B".to_string()))
-        );
-        assert_eq!(run(find(true, &["nope"]), legs.clone()), Ok(Value::Nil));
-        assert!(matches!(run(find(true, &[]), legs), Ok(Value::Object(_))));
-        assert_eq!(
-            run(
-                find(true, &["to"]),
-                json!({"legs": [{"to": "A", "open": false}]})
-            ),
-            Ok(Value::Nil)
-        );
-        assert_eq!(
-            run(find(true, &["to"]), json!({"legs": []})),
-            Ok(Value::Nil)
-        );
-    }
-
-    #[test]
-    fn find_stops_at_the_first_match_but_refuses_a_non_list() {
-        // The second element would raise; `find` never reaches it, as Ruby's `Array#find`.
-        let ast = json!({"op":"find","receiver":lookup_of("xs"),"param":"x","path":[],
-            "predicate":json!({"op":"sign_test","cmp":{"less_than":true,"equal":true,"negated":true},"receiver":lookup_of("x")})});
-        assert_eq!(run(ast.clone(), json!({"xs": [3, "a"]})), Ok(Value::Int(3)));
-        assert_eq!(
-            run(ast, json!({"xs": "abc"})),
-            Err("find expects a list, got \"abc\"".to_string())
-        );
-    }
-
-    #[test]
-    fn presence_and_assignment_follow_blank_and_nil() {
-        let presence =
-            |negated: bool| json!({"op":"presence","receiver":lookup_of("x"),"negated":negated});
-        let assignment =
-            |negated: bool| json!({"op":"assignment","receiver":lookup_of("x"),"negated":negated});
-        for (value, present) in [
-            (json!(null), false),
-            (json!(false), false),
-            (json!(""), false),
-            (json!([]), false),
-            (json!(" "), true),
-            (json!(0), true),
-            (json!(true), true),
-            (json!([0]), true),
-        ] {
-            assert_eq!(
-                run(presence(false), json!({"x": value.clone()})),
-                Ok(Value::Bool(present)),
-                "present? of {value}"
-            );
-            assert_eq!(
-                run(presence(true), json!({"x": value.clone()})),
-                Ok(Value::Bool(!present)),
-                "blank? of {value}"
-            );
-        }
-        // `set?` asks only `!nil?`: an assigned empty or false value is set.
-        assert_eq!(
-            run(assignment(false), json!({"x": ""})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(assignment(false), json!({"x": false})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(assignment(false), json!({"x": null})),
-            Ok(Value::Bool(false))
-        );
-        assert_eq!(
-            run(assignment(true), json!({"x": null})),
-            Ok(Value::Bool(true))
-        );
-    }
-
-    #[test]
-    fn split_follows_ruby_for_awk_empty_and_literal_separators() {
-        let split = |sep: &str| json!({"op":"split","receiver":lookup_of("x"),"separator":sep});
-        assert_eq!(
-            run(split(" "), json!({"x": "  a b  c "})),
-            Ok(strs(&["a", "b", "c"]))
-        );
-        assert_eq!(run(split(""), json!({"x": "aé"})), Ok(strs(&["a", "é"])));
-        assert_eq!(
-            run(split(","), json!({"x": "a,b,,"})),
-            Ok(strs(&["a", "b"]))
-        );
-        assert_eq!(run(split(","), json!({"x": ",a"})), Ok(strs(&["", "a"])));
-        assert_eq!(run(split(","), json!({"x": ""})), Ok(strs(&[])));
-        assert_eq!(
-            run(split(","), json!({"x": 5})),
-            Err("split expects a string, got 5".to_string())
-        );
-        assert_eq!(
-            run(split(","), json!({"x": null})),
-            Err("split expects a string, got nil".to_string())
-        );
-    }
-
-    #[test]
-    fn first_and_last_answer_nil_for_an_empty_list_and_refuse_a_non_list() {
-        assert_eq!(
-            run(call("first", lookup_of("x")), json!({"x": [7, 8]})),
-            Ok(Value::Int(7))
-        );
-        assert_eq!(
-            run(call("last", lookup_of("x")), json!({"x": [7, 8]})),
-            Ok(Value::Int(8))
-        );
-        assert_eq!(
-            run(call("first", lookup_of("x")), json!({"x": []})),
-            Ok(Value::Nil)
-        );
-        assert_eq!(
-            run(call("last", lookup_of("x")), json!({"x": "abc"})),
-            Err("last expects a list, got \"abc\"".to_string())
-        );
-        assert_eq!(
-            run(call("first", lookup_of("x")), json!({"x": null})),
-            Err("first expects a list, got nil".to_string())
-        );
-    }
-
-    #[test]
-    fn strip_trims_rubys_whitespace_and_needs_a_string() {
-        let strip_of = |side: &str, text: &str| {
-            run(
-                json!({"op":"strip","receiver":lookup_of("x"),"side":side}),
-                json!({"x": text}),
-            )
-        };
-        assert_eq!(strip_of("both", " \t a b \0"), Ok(Value::Str("a b".into())));
-        assert_eq!(strip_of("left", "  a "), Ok(Value::Str("a ".into())));
-        assert_eq!(strip_of("right", " a  "), Ok(Value::Str(" a".into())));
-        assert_eq!(
-            strip_of("both", "\u{a0}a"),
-            Ok(Value::Str("\u{a0}a".into()))
-        );
-        assert_eq!(
-            run(
-                json!({"op":"strip","receiver":lookup_of("x"),"side":"both"}),
-                json!({"x": null})
-            ),
-            Err("strip expects a string, got nil".to_string())
-        );
-    }
-
-    #[test]
-    fn starts_with_and_ends_with_need_a_string() {
-        let starts = json!({"op":"starts_with","receiver":lookup_of("x"),"substring":"ab"});
-        let ends = json!({"op":"ends_with","receiver":lookup_of("x"),"substring":"bc"});
-        assert_eq!(
-            run(starts.clone(), json!({"x": "abc"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(
-            run(ends.clone(), json!({"x": "abc"})),
-            Ok(Value::Bool(true))
-        );
-        assert_eq!(run(ends, json!({"x": "abd"})), Ok(Value::Bool(false)));
-        assert_eq!(
-            run(starts.clone(), json!({"x": null})),
-            Err("start_with? expects a string, got nil".to_string())
-        );
-        assert_eq!(
-            run(starts, json!({"x": [1]})),
-            Err("start_with? expects a string, got [1]".to_string())
-        );
-    }
-
-    #[test]
-    fn a_path_through_a_string_list_or_integer_walks_like_ruby() {
-        let path = |segments: &[&str]| json!({"op":"lookup","path":segments});
-        // `String#[]` answers the segment when it is a substring.
-        assert_eq!(
-            run(path(&["x", "foo"]), json!({"x": "abcfoo"})),
-            Ok(Value::Str("foo".to_string()))
-        );
-        assert_eq!(
-            run(path(&["x", "nil?"]), json!({"x": "abc"})),
-            Ok(Value::Nil)
-        );
-        assert_eq!(run(path(&["x", "a"]), json!({"x": 1.5})), Ok(Value::Nil));
-        assert_eq!(run(path(&["x", "a"]), json!({"x": true})), Ok(Value::Nil));
-        assert_eq!(
-            run(path(&["x", "a"]), json!({"x": [1]})),
-            Err("cannot read \"a\" from [1]".to_string())
-        );
-        assert_eq!(
-            run(path(&["x", "a"]), json!({"x": 5})),
-            Err("cannot read \"a\" from 5".to_string())
-        );
-    }
-
-    #[test]
-    fn a_one_field_object_reads_as_its_value_and_a_wider_one_stays_an_object() {
-        assert_eq!(
-            run(lookup_of("x"), json!({"x": {"value": 7}})),
-            Ok(Value::Int(7))
-        );
-        assert!(matches!(
-            run(lookup_of("x"), json!({"x": {"a": 1, "b": 2}})),
-            Ok(Value::Object(_))
-        ));
-        assert_eq!(
-            run(
-                json!({"op":"lookup","path":["x","b"]}),
-                json!({"x": {"a": 1, "b": 2}})
-            ),
-            Ok(Value::Int(2))
-        );
-    }
-
-    #[test]
-    fn errors_are_worded_as_rubys_describe() {
-        assert_eq!(
-            run(call("size", lookup_of("x")), json!({"x": 5})),
-            Err("size expects a list or string, got 5".to_string())
-        );
-        assert_eq!(
-            run(call("empty", lookup_of("x")), json!({"x": null})),
-            Err("empty? expects a list or string, got nil".to_string())
-        );
-        assert_eq!(
-            run(call("to_s", lookup_of("x")), json!({"x": [1, "a"]})),
-            Err("to_s expects a scalar, got [1,\"a\"]".to_string())
-        );
-        assert_eq!(
-            run(
-                json!({"op":"compare","cmp":{"less_than":true,"equal":false,"negated":false},"left":lookup_of("x"),"right":int(1)}),
-                json!({"x": "a"})
-            ),
-            Err("comparison of String with 1 failed".to_string())
-        );
-        assert_eq!(
-            run(
-                json!({"op":"sign_test","cmp":{"less_than":false,"equal":true,"negated":false},"receiver":lookup_of("x")}),
-                json!({"x": "a"})
-            ),
-            Err("zero? expects a number, got \"a\"".to_string())
-        );
-        assert_eq!(
-            run(lookup_of("ghost"), json!({})),
-            Err("cannot resolve \"ghost\" — no such attribute or argument".to_string())
-        );
-    }
-
-    #[test]
-    fn floats_print_as_ruby_prints_them() {
-        for (f, text) in [
-            (3.0, "3.0"),
-            (0.5, "0.5"),
-            (-0.0, "-0.0"),
-            (100_000_000_000_000.0, "100000000000000.0"),
-            (999_999_999_999_999.9, "999999999999999.9"),
-            (1e15, "1.0e+15"),
-            (1.5e15, "1.5e+15"),
-            (1e20, "1.0e+20"),
-            (0.0001, "0.0001"),
-            (0.00001, "1.0e-05"),
-            (1.5e-7, "1.5e-07"),
-            (123_456_789.123_456_79, "123456789.12345679"),
-        ] {
-            assert_eq!(ruby_float(f), text);
-            assert_eq!(
-                run(call("to_s", lookup_of("x")), json!({"x": f})),
-                Ok(Value::Str(text.to_string()))
-            );
-        }
-    }
-
-    #[test]
-    fn strings_inspect_as_ruby_inspects_them() {
-        assert_eq!(
-            ruby_inspect("a\"b\\c\n\u{1}#{x}\u{7f}é"),
-            "\"a\\\"b\\\\c\\n\\u0001\\#{x}\\u007Fé\""
-        );
-    }
-
-    #[test]
-    fn equality_compares_nested_numbers_across_kinds_like_ruby() {
-        assert!(values_equal(
-            &Value::Array(vec![Value::Int(1)]),
-            &Value::Array(vec![Value::Float(1.0)])
-        ));
-        assert!(!values_equal(
-            &Value::Int(9_007_199_254_740_993),
-            &Value::Float(9_007_199_254_740_992.0)
-        ));
-        assert!(values_equal(&Value::Int(3), &Value::Float(3.0)));
-        assert!(!values_equal(&Value::Int(3), &Value::Float(3.5)));
-    }
-}