reliakit_json/

lib.rs

//! Strict, bounded, and deterministic JSON for reliability-sensitive Rust.
//!
//! `reliakit-json` is built for systems that process **untrusted** JSON or need
//! **predictable** output: it parses a strict subset of [RFC 8259], rejects
//! duplicate object keys, enforces explicit [resource limits](JsonLimits),
//! preserves number precision, reports errors with location and path, and
//! serializes deterministically. It has no external dependencies, forbids
//! unsafe code, and supports `no_std` (with `alloc`).
//!
//! It maps to and from your own types through the [`JsonEncode`] / [`JsonDecode`]
//! traits — the optional `reliakit-derive` crate provides
//! `#[derive(JsonEncode, JsonDecode)]`. It deliberately does **not** include
//! schema validation, JSON5, comments, trailing commas, lenient parsing, or
//! SIMD throughput.
//!
//! # Example
//!
//! ```
//! use reliakit_json::{parse_str, to_compact_string};
//!
//! let value = parse_str(r#"{"name":"reliakit","ok":true}"#).unwrap();
//! assert_eq!(value.as_object().unwrap().get("name").unwrap().as_str(), Some("reliakit"));
//!
//! // Serialization is deterministic and preserves member order.
//! assert_eq!(to_compact_string(&value), r#"{"name":"reliakit","ok":true}"#);
//!
//! // Strict by default: duplicate keys are rejected, not silently resolved.
//! assert!(parse_str(r#"{"a":1,"a":2}"#).is_err());
//! ```
//!
//! # Typed encoding
//!
//! [`JsonEncode`] turns a value into deterministic JSON text and [`JsonDecode`]
//! reads it back strictly. [`to_json_string`] and [`from_json_str`] do both ends
//! in one call.
//!
//! ```
//! use reliakit_json::{from_json_str, to_json_string};
//!
//! assert_eq!(to_json_string(&vec![1u8, 2, 3]), "[1,2,3]");
//! assert_eq!(from_json_str::<Vec<u8>>("[1,2,3]").unwrap(), vec![1u8, 2, 3]);
//!
//! // Strict: a number with a fraction is rejected for an integer target.
//! assert!(from_json_str::<u8>("25.0").is_err());
//! ```
//!
//! # Limits
//!
//! [`parse`] applies conservative [`JsonLimits`] by default. Use
//! [`parse_with_limits`] to choose a profile or tune individual limits:
//!
//! ```
//! use reliakit_json::{parse_with_limits, JsonLimits};
//!
//! let limits = JsonLimits::conservative().with_max_depth(8);
//! assert!(parse_with_limits(b"[[[[[[[[[[1]]]]]]]]]]", limits).is_err());
//! ```
//!
//! # Feature flags
//!
//! - `std` (default) enables `std::error::Error` for the error types. The crate
//!   is otherwise `no_std` and always uses `alloc`.
//! - `canonical` enables RFC 8785 (JCS) canonical serialization.
//! - `primitives` adds typed extraction into `reliakit-primitives` constrained
//!   types (`JsonObject::get_str_as`, `JsonValue::str_as`); it pulls in
//!   `reliakit-primitives` (`no_std` + `alloc`, zero third-party dependencies).
//!
//! [RFC 8259]: https://www.rfc-editor.org/rfc/rfc8259

#![cfg_attr(not(feature = "std"), no_std)]
#![forbid(unsafe_code)]
#![warn(missing_docs)]

extern crate alloc;

#[cfg(feature = "canonical")]
mod canonical;
mod decode;
mod encode;
mod error;
#[cfg(feature = "validate")]
mod form;
mod limits;
mod number;
mod parse;
#[cfg(feature = "primitives")]
mod primitives;
mod value;
mod write;

#[cfg(feature = "canonical")]
pub use canonical::{to_canonical_string, to_canonical_vec};
pub use decode::{from_json_str, JsonDecode};
pub use encode::{to_json_string, to_json_vec, JsonEncode};
pub use error::{
    JsonDecodeError, JsonDecodeErrorKind, JsonError, JsonErrorKind, JsonFromStrError,
    JsonLimitKind, JsonNumberError, JsonPath, JsonPathSegment,
};
#[cfg(feature = "validate")]
pub use form::JsonForm;
pub use limits::JsonLimits;
pub use number::JsonNumber;
pub use parse::{parse, parse_str, parse_with_limits};
#[cfg(feature = "primitives")]
pub use primitives::{JsonExtractError, JsonExtractErrorKind};
pub use value::{JsonMember, JsonObject, JsonValue};
pub use write::{to_compact_string, to_compact_vec};

#[cfg(test)]
mod tests {
    use super::*;
    use alloc::string::{String, ToString};

    fn parse_ok(input: &str) -> JsonValue {
        parse_str(input).expect("should parse")
    }

    fn kind(input: &str) -> JsonErrorKind {
        parse_str(input).expect_err("should fail").kind().clone()
    }

    // ---- scalars ----------------------------------------------------------

    #[test]
    fn parses_scalars() {
        assert_eq!(parse_ok("null"), JsonValue::Null);
        assert_eq!(parse_ok("true"), JsonValue::Bool(true));
        assert_eq!(parse_ok("false"), JsonValue::Bool(false));
        assert_eq!(parse_ok("\"hi\"").as_str(), Some("hi"));
        assert_eq!(parse_ok("42").as_number().unwrap().to_i64().unwrap(), 42);
    }

    #[test]
    fn whitespace_is_allowed_around_values() {
        assert_eq!(parse_ok("  \t\r\n 7 \n").as_number().unwrap().as_str(), "7");
    }

    #[test]
    fn only_json_whitespace_is_accepted() {
        // A vertical tab (U+000B) is not JSON whitespace.
        assert_eq!(kind("\u{0B}1"), JsonErrorKind::UnexpectedByte);
    }

    // ---- structure --------------------------------------------------------

    #[test]
    fn parses_object_and_array() {
        let value = parse_ok(r#"{"a":[1,2,3],"b":{"c":null}}"#);
        let obj = value.as_object().unwrap();
        assert_eq!(obj.len(), 2);
        assert_eq!(obj.get("a").unwrap().as_array().unwrap().len(), 3);
        assert!(obj
            .get("b")
            .unwrap()
            .as_object()
            .unwrap()
            .get("c")
            .unwrap()
            .is_null());
    }

    #[test]
    fn empty_containers() {
        assert_eq!(parse_ok("[]").as_array().unwrap().len(), 0);
        assert_eq!(parse_ok("{}").as_object().unwrap().len(), 0);
    }

    // ---- required rejections ---------------------------------------------

    #[test]
    fn rejects_trailing_data() {
        assert_eq!(kind("1 2"), JsonErrorKind::TrailingData);
        assert_eq!(kind("{} x"), JsonErrorKind::TrailingData);
    }

    #[test]
    fn rejects_comments_and_trailing_commas() {
        assert_eq!(kind("1 // c"), JsonErrorKind::TrailingData);
        assert_eq!(kind("[1,]"), JsonErrorKind::UnexpectedByte);
        assert_eq!(kind(r#"{"a":1,}"#), JsonErrorKind::UnexpectedByte);
    }

    #[test]
    fn rejects_bad_numbers() {
        for bad in ["01", "1.", "-", "1e", "1e+", "00", "1.2.3"] {
            assert_eq!(kind(bad), JsonErrorKind::InvalidNumber, "input {bad:?}");
        }
        // Also rejected, with their own correct kinds (no valid value starts
        // with '.' or '+'; "0x1" parses "0" then chokes on the trailing "x1").
        assert_eq!(kind(".5"), JsonErrorKind::UnexpectedByte);
        assert_eq!(kind("+1"), JsonErrorKind::UnexpectedByte);
        assert_eq!(kind("0x1"), JsonErrorKind::TrailingData);
    }

    #[test]
    fn rejects_nan_and_infinity() {
        assert_eq!(kind("NaN"), JsonErrorKind::UnexpectedByte);
        assert_eq!(kind("Infinity"), JsonErrorKind::UnexpectedByte);
        assert_eq!(kind("-Infinity"), JsonErrorKind::InvalidNumber);
    }

    #[test]
    fn rejects_unescaped_control_and_bad_escapes() {
        assert_eq!(kind("\"\u{01}\""), JsonErrorKind::UnescapedControlCharacter);
        assert_eq!(kind(r#""\x""#), JsonErrorKind::InvalidEscape);
        assert_eq!(kind(r#""\u00""#), JsonErrorKind::InvalidUnicodeEscape);
    }

    #[test]
    fn rejects_lone_surrogates() {
        assert_eq!(kind(r#""\uD800""#), JsonErrorKind::LoneSurrogate);
        assert_eq!(kind(r#""\uDC00""#), JsonErrorKind::LoneSurrogate);
        assert_eq!(kind(r#""\uD800a""#), JsonErrorKind::LoneSurrogate);
    }

    #[test]
    fn accepts_valid_surrogate_pair() {
        assert_eq!(parse_ok(r#""𝄞""#).as_str(), Some("\u{1D11E}"));
    }

    #[test]
    fn rejects_invalid_utf8_and_bom() {
        assert_eq!(
            parse(&[0xff]).unwrap_err().kind().clone(),
            JsonErrorKind::InvalidUtf8
        );
        assert_eq!(
            parse(&[0xEF, 0xBB, 0xBF, b'1']).unwrap_err().kind().clone(),
            JsonErrorKind::InvalidUtf8
        );
    }

    // ---- string semantics -------------------------------------------------

    #[test]
    fn escape_and_literal_decode_equally() {
        assert_eq!(parse_ok(r#""a""#), parse_ok(r#""a""#));
    }

    #[test]
    fn decodes_named_escapes() {
        assert_eq!(
            parse_ok(r#""\n\t\r\b\f\"\\\/""#).as_str(),
            Some("\n\t\r\u{08}\u{0C}\"\\/")
        );
    }

    // ---- duplicate keys ---------------------------------------------------

    #[test]
    fn rejects_duplicate_keys() {
        assert_eq!(kind(r#"{"a":1,"a":2}"#), JsonErrorKind::DuplicateKey);
    }

    #[test]
    fn duplicate_detection_is_after_escape_decoding() {
        assert_eq!(
            kind(r#"{"role":"user","role":"admin"}"#),
            JsonErrorKind::DuplicateKey
        );
    }

    // ---- limits -----------------------------------------------------------

    #[test]
    fn enforces_depth_limit() {
        let limits = JsonLimits::new().with_max_depth(3);
        assert!(parse_with_limits(b"[[[1]]]", limits).is_ok());
        assert_eq!(
            parse_with_limits(b"[[[[1]]]]", limits)
                .unwrap_err()
                .kind()
                .clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::Depth)
        );
    }

    #[test]
    fn enforces_count_limits() {
        let limits = JsonLimits::new();
        let limits = JsonLimits {
            max_array_items: 2,
            max_object_members: 2,
            max_total_nodes: 100,
            ..limits
        };
        assert_eq!(
            parse_with_limits(b"[1,2,3]", limits)
                .unwrap_err()
                .kind()
                .clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::ArrayItems)
        );
        assert_eq!(
            parse_with_limits(br#"{"a":1,"b":2,"c":3}"#, limits)
                .unwrap_err()
                .kind()
                .clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::ObjectMembers)
        );
    }

    #[test]
    fn enforces_total_nodes_and_input_bytes() {
        let nodes = JsonLimits::new().with_max_total_nodes(2);
        assert_eq!(
            parse_with_limits(b"[1,2]", nodes)
                .unwrap_err()
                .kind()
                .clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::TotalNodes)
        );
        let bytes = JsonLimits::new().with_max_input_bytes(2);
        assert_eq!(
            parse_with_limits(b"[1]", bytes).unwrap_err().kind().clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::InputBytes)
        );
    }

    #[test]
    fn enforces_string_and_number_byte_limits() {
        let s = JsonLimits {
            max_string_bytes: 3,
            ..JsonLimits::new()
        };
        assert_eq!(
            parse_with_limits(br#""abcd""#, s)
                .unwrap_err()
                .kind()
                .clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::StringBytes)
        );
        let n = JsonLimits {
            max_number_bytes: 2,
            ..JsonLimits::new()
        };
        assert_eq!(
            parse_with_limits(b"12345", n).unwrap_err().kind().clone(),
            JsonErrorKind::LimitExceeded(JsonLimitKind::NumberBytes)
        );
    }

    // ---- numbers ----------------------------------------------------------

    #[test]
    fn number_conversions() {
        assert_eq!(parse_ok("-7").as_number().unwrap().to_i64().unwrap(), -7);
        assert_eq!(parse_ok("7").as_number().unwrap().to_u64().unwrap(), 7);
        assert!((parse_ok("1.5").as_number().unwrap().to_f64().unwrap() - 1.5).abs() < 1e-12);
        assert_eq!(
            parse_ok("1.5").as_number().unwrap().to_i64(),
            Err(JsonNumberError::NotAnInteger)
        );
        assert_eq!(
            parse_ok("99999999999999999999999")
                .as_number()
                .unwrap()
                .to_i64(),
            Err(JsonNumberError::OutOfRange)
        );
        assert_eq!(
            parse_ok("1e400").as_number().unwrap().to_f64(),
            Err(JsonNumberError::NotFinite)
        );
    }

    #[test]
    fn number_preserves_representation() {
        assert_eq!(parse_ok("1.0").as_number().unwrap().as_str(), "1.0");
        assert_ne!(parse_ok("1.0"), parse_ok("1")); // structural equality
    }

    #[test]
    fn json_number_from_f64() {
        assert_eq!(JsonNumber::try_from_f64(1.5).unwrap().as_str(), "1.5");
        assert_eq!(
            JsonNumber::try_from_f64(f64::NAN),
            Err(JsonNumberError::NotFinite)
        );
        assert_eq!(
            JsonNumber::try_from_f64(f64::INFINITY),
            Err(JsonNumberError::NotFinite)
        );
        assert_eq!(JsonNumber::new("01"), Err(JsonNumberError::InvalidNumber));
    }

    // ---- errors -----------------------------------------------------------

    #[test]
    fn error_reports_location_and_path() {
        let err = parse_str("  @").unwrap_err();
        assert_eq!(err.kind().clone(), JsonErrorKind::UnexpectedByte);
        assert_eq!(err.offset(), 2);
        assert_eq!(err.line(), 1);
        assert_eq!(err.column(), 3);

        let err = parse_str(r#"{"users":[{"name":1},{"name":}]}"#).unwrap_err();
        let path = err.path().unwrap().to_string();
        assert_eq!(path, "$.users[1].name");
    }

    // ---- serialization ----------------------------------------------------

    #[test]
    fn compact_roundtrip_and_golden_bytes() {
        let value = parse_ok(r#"{"a":1,"b":true,"c":[null,"x"]}"#);
        assert_eq!(
            to_compact_vec(&value),
            br#"{"a":1,"b":true,"c":[null,"x"]}"#
        );
        // Roundtrip: serialize, reparse, equal value.
        let again = parse_str(&to_compact_string(&value)).unwrap();
        assert_eq!(value, again);
    }

    #[test]
    fn writer_escapes_control_and_special_characters() {
        let mut object = JsonObject::new();
        object.insert(
            String::from("k"),
            JsonValue::String(String::from("a\nb\"c\\\u{01}")),
        );
        let value = JsonValue::Object(object);
        assert_eq!(to_compact_string(&value), r#"{"k":"a\nb\"c\\\u0001"}"#);
    }

    #[test]
    fn object_insert_replaces_in_place() {
        let mut object = JsonObject::new();
        assert!(object
            .insert(String::from("a"), JsonValue::Bool(true))
            .is_none());
        let old = object.insert(String::from("a"), JsonValue::Bool(false));
        assert_eq!(old, Some(JsonValue::Bool(true)));
        assert_eq!(object.len(), 1);
    }

    #[test]
    fn deeply_nested_within_limits_does_not_overflow() {
        // Build input nested to the default limit and confirm bounded handling.
        let depth = 64;
        let mut s = String::new();
        for _ in 0..depth {
            s.push('[');
        }
        s.push('1');
        for _ in 0..depth {
            s.push(']');
        }
        // Default max_depth is 64, so depth 64 is at the edge; depth 65 fails.
        let _ = parse_str(&s); // must not panic regardless of accept/reject
        assert!(parse_with_limits(s.as_bytes(), JsonLimits::new().with_max_depth(64)).is_ok());
    }

    #[test]
    fn arbitrary_bytes_never_panic() {
        // Smoke test: a spread of odd inputs must each return Ok or Err, never panic.
        for input in [
            &b""[..],
            b"   ",
            b"{",
            b"[",
            b"\"",
            b"\"\\",
            b"\"\\u",
            b"tru",
            b"-",
            b"[,]",
            b"{,}",
            b"\xff\xfe",
            b"[[[",
            b"}}}",
            b"\"\\uD800\"",
            b"1e",
            b"{\"a\"}",
        ] {
            let _ = parse(input);
        }
    }

    #[test]
    fn json_test_suite_conformance() {
        // Curated accept/reject cases in the spirit of nst/JSONTestSuite. The
        // parser must accept every `y_` case and reject every `n_` case.
        let must_accept: &[&[u8]] = &[
            b"[]",
            b"{}",
            b"[1]",
            b"[1,2,3]",
            b"{\"a\":1}",
            b"{\"a\":1,\"b\":2}",
            b"[null,true,false]",
            b"\"\\u0061\"",
            b"\"\\uD834\\uDD1E\"", // valid surrogate pair (U+1D11E)
            b"0",
            b"-0",
            b"123",
            b"-123",
            b"1.5",
            b"1E10",
            b"1e-10",
            b"-1.2e+3",
            b"  7  ",
            b"\"abc\"",
            b"true",
            b"[[[[1]]]]",
            b"{\"a\":{\"b\":[1,{\"c\":null}]}}",
        ];
        let must_reject: &[&[u8]] = &[
            b"",
            b"[1,]",
            b"{\"a\":1,}",
            b"[1 2]",
            b"{\"a\" 1}",
            b"{\"a\":1 \"b\":2}",
            b"[1,,2]",
            b"01",
            b"1.",
            b".1",
            b"+1",
            b"1e",
            b"1e+",
            b"0x1",
            b"--1",
            b"NaN",
            b"Infinity",
            b"[",
            b"]",
            b"{",
            b"}",
            b"\"",
            b"\"\\x\"",
            b"\"\\uZZZZ\"",
            b"\"\x01\"", // raw control char in string
            b"'single'",
            b"1 1", // trailing data
            b"tru",
            b"nul",
            b"\xEF\xBB\xBF1", // leading byte-order mark
            b"\xff\xfe",      // invalid UTF-8
            b"\"\\uD800\"",   // lone surrogate
            b"/* comment */ 1",
            b"{1:2}", // non-string key
        ];
        for input in must_accept {
            assert!(parse(input).is_ok(), "should accept {input:?}");
        }
        for input in must_reject {
            assert!(parse(input).is_err(), "should reject {input:?}");
        }
    }

    #[test]
    fn fuzz_parse_is_panic_free_and_roundtrips() {
        // Deterministic in-test fuzzing: parsing arbitrary bytes never panics,
        // and any value that parses survives a compact round-trip unchanged.
        let mut state: u64 = 0xD1B5_4A32_D192_ED03;
        let mut next = || {
            state ^= state << 13;
            state ^= state >> 7;
            state ^= state << 17;
            state
        };
        // Alphabet biased toward JSON tokens so successful parses are exercised.
        let alphabet = b"{}[]\":,0123456789-+.eEtruefalsn \t\n\\/u";
        let mut buf: Vec<u8> = Vec::new();
        for _ in 0..40_000 {
            buf.clear();
            let len = (next() % 40) as usize;
            for _ in 0..len {
                let r = next();
                let byte = if r & 7 == 0 {
                    (r >> 8) as u8 // occasionally a fully arbitrary byte
                } else {
                    alphabet[((r >> 8) as usize) % alphabet.len()]
                };
                buf.push(byte);
            }
            if let Ok(value) = parse(&buf) {
                let compact = to_compact_string(&value);
                let reparsed = parse_str(&compact).expect("compact output must reparse");
                assert_eq!(reparsed, value);
                assert_eq!(to_compact_string(&reparsed), compact);

                // Canonical (JCS) output must be idempotent when available.
                #[cfg(feature = "canonical")]
                if let Ok(canonical) = to_canonical_string(&value) {
                    let again = parse_str(&canonical).expect("canonical output must reparse");
                    assert_eq!(to_canonical_string(&again).unwrap(), canonical);
                }
            }
        }
    }

    #[test]
    fn value_accessors_return_inner_or_none() {
        let v = parse_ok(r#"{"b":true,"n":7,"s":"x","a":[1],"nil":null}"#);
        let o = v.as_object().expect("object");
        assert!(o.get("nil").unwrap().is_null());
        assert_eq!(o.get("b").unwrap().as_bool(), Some(true));
        assert_eq!(o.get("s").unwrap().as_str(), Some("x"));
        assert_eq!(o.get("n").unwrap().as_number().unwrap().as_str(), "7");
        assert_eq!(o.get("a").unwrap().as_array().unwrap().len(), 1);

        // Wrong-variant accessors return None.
        let b = JsonValue::Bool(true);
        assert!(!b.is_null());
        assert_eq!(b.as_str(), None);
        assert_eq!(b.as_number(), None);
        assert_eq!(b.as_array(), None);
        assert!(b.as_object().is_none());
        assert_eq!(JsonValue::Null.as_bool(), None);
    }

    #[test]
    fn object_insert_get_iter_and_len() {
        let mut obj = JsonObject::new();
        assert!(obj.is_empty());
        assert_eq!(obj.len(), 0);
        assert!(!obj.contains_key("k"));

        assert_eq!(obj.insert("k".to_string(), JsonValue::Bool(false)), None);
        assert!(obj.contains_key("k"));
        assert_eq!(obj.len(), 1);

        // Insert with an existing key replaces in place and returns the old value.
        let old = obj.insert("k".to_string(), JsonValue::Bool(true));
        assert_eq!(old, Some(JsonValue::Bool(false)));
        assert_eq!(obj.len(), 1);
        assert_eq!(obj.get("k"), Some(&JsonValue::Bool(true)));
        assert_eq!(obj.get("missing"), None);

        obj.insert("k2".to_string(), JsonValue::Null);
        let members: Vec<&str> = obj.iter().map(|m| m.key()).collect();
        assert_eq!(members, ["k", "k2"]);
        assert_eq!(obj.iter().next().unwrap().value(), &JsonValue::Bool(true));

        assert_eq!(JsonObject::default().len(), 0);
    }

    #[test]
    fn number_conversions_cover_each_error() {
        let int = JsonNumber::new("42").unwrap();
        assert!(int.is_integer());
        assert_eq!(int.to_i64(), Ok(42));
        assert_eq!(int.to_u64(), Ok(42));
        assert_eq!(int.to_f64(), Ok(42.0));

        let neg = JsonNumber::new("-1").unwrap();
        assert_eq!(neg.to_u64(), Err(JsonNumberError::OutOfRange));

        let frac = JsonNumber::new("1.5").unwrap();
        assert!(!frac.is_integer());
        assert_eq!(frac.to_i64(), Err(JsonNumberError::NotAnInteger));
        assert_eq!(frac.to_u64(), Err(JsonNumberError::NotAnInteger));
        assert_eq!(frac.to_f64(), Ok(1.5));

        let huge = JsonNumber::new("99999999999999999999").unwrap();
        assert_eq!(huge.to_i64(), Err(JsonNumberError::OutOfRange));

        let overflow = JsonNumber::new("1e400").unwrap();
        assert_eq!(overflow.to_f64(), Err(JsonNumberError::NotFinite));

        assert_eq!(JsonNumber::new("+1"), Err(JsonNumberError::InvalidNumber));
        assert_eq!(JsonNumber::try_from_f64(2.5).unwrap().to_f64(), Ok(2.5));
        assert_eq!(
            JsonNumber::try_from_f64(f64::NAN),
            Err(JsonNumberError::NotFinite)
        );
        assert_eq!(
            JsonNumber::try_from_f64(f64::INFINITY),
            Err(JsonNumberError::NotFinite)
        );
    }

    #[test]
    fn limits_profiles_and_builders() {
        assert_eq!(JsonLimits::default(), JsonLimits::new());
        assert!(JsonLimits::conservative().max_input_bytes < JsonLimits::new().max_input_bytes);
        assert!(JsonLimits::permissive().max_input_bytes > JsonLimits::new().max_input_bytes);

        let tuned = JsonLimits::new()
            .with_max_depth(8)
            .with_max_input_bytes(1024)
            .with_max_string_bytes(16)
            .with_max_total_nodes(32);
        assert_eq!(tuned.max_depth, 8);
        assert_eq!(tuned.max_input_bytes, 1024);
        assert_eq!(tuned.max_string_bytes, 16);
        assert_eq!(tuned.max_total_nodes, 32);
    }

    #[test]
    fn error_display_covers_each_kind() {
        // One representative input per simple kind, then check Display text.
        let cases: &[(&str, &str)] = &[
            ("", "unexpected end of input"),
            ("@", "unexpected byte"),
            ("\"a\\xb\"", "invalid escape sequence"),
            ("\"\\uZZZZ\"", "invalid unicode escape"),
            ("\"\\uD800\"", "unpaired UTF-16 surrogate"),
            ("01", "invalid number"),
            ("{\"a\":1,\"a\":2}", "duplicate object key"),
            ("true false", "trailing data after JSON value"),
        ];
        for (input, expected) in cases {
            let err = parse_str(input).unwrap_err();
            assert!(
                err.to_string().contains(expected),
                "input {input:?} -> {err} (expected to contain {expected:?})"
            );
        }

        // A control character inside a string.
        let ctrl = parse(b"\"\x01\"").unwrap_err();
        assert!(ctrl.to_string().contains("unescaped control character"));

        // Invalid UTF-8 input.
        let utf8 = parse(b"\xff").unwrap_err();
        assert!(utf8.to_string().contains("invalid UTF-8"));
    }

    #[test]
    fn error_accessors_and_limit_display_with_path() {
        let limits = JsonLimits::new().with_max_depth(1);
        let err = parse_with_limits(b"[[1]]", limits).unwrap_err();
        assert_eq!(
            err.kind(),
            &JsonErrorKind::LimitExceeded(JsonLimitKind::Depth)
        );
        assert!(err.offset() >= 1);
        assert_eq!(err.line(), 1);
        assert!(err.column() >= 1);
        let shown = err.to_string();
        assert!(shown.contains("limit exceeded: nesting depth"));
        assert!(shown.contains("path: $"));
        assert_eq!(JsonLimitKind::Depth.as_str(), "nesting depth");
    }

    #[test]
    fn path_display_formats_keys_and_indices() {
        let path = JsonPath::from_segments(vec![
            JsonPathSegment::Key("users".to_string()),
            JsonPathSegment::Index(3),
            JsonPathSegment::Key("email".to_string()),
        ]);
        assert_eq!(path.to_string(), "$.users[3].email");
        assert_eq!(path.segments().len(), 3);
        assert_eq!(JsonPath::default().to_string(), "$");
    }

    #[test]
    fn number_error_display_is_distinct() {
        assert_eq!(
            JsonNumberError::OutOfRange.to_string(),
            "number out of range for target type"
        );
        assert_eq!(
            JsonNumberError::NotAnInteger.to_string(),
            "number is not an integer"
        );
        assert_eq!(
            JsonNumberError::NotFinite.to_string(),
            "number is not finite"
        );
        assert_eq!(
            JsonNumberError::InvalidNumber.to_string(),
            "not a valid JSON number"
        );
    }

    #[test]
    fn writer_serializes_all_branches() {
        let mut obj = JsonObject::new();
        obj.insert("off".to_string(), JsonValue::Bool(false));
        obj.insert(
            "esc".to_string(),
            // Named escapes plus a control char that needs a hex nibble a-f.
            JsonValue::String("\u{08}\u{0C}\n\r\t\u{1F}".to_string()),
        );
        obj.insert(
            "arr".to_string(),
            JsonValue::Array(vec![JsonValue::Null, JsonValue::Bool(true)]),
        );
        let value = JsonValue::Object(obj);

        let s = to_compact_string(&value);
        // Round-trips back to the same value (exercises every escape branch,
        // including a control char whose hex escape uses an a-f nibble).
        assert_eq!(parse_str(&s).unwrap(), value);
        assert_eq!(to_compact_vec(&value), s.clone().into_bytes());
        assert!(s.starts_with("{\"off\":false,"));
        assert!(s.ends_with(",\"arr\":[null,true]}"));
    }

    #[cfg(feature = "std")]
    #[test]
    fn errors_implement_std_error() {
        fn assert_error<E: std::error::Error>(_: &E) {}
        let parse_err = parse_str("").unwrap_err();
        assert_error(&parse_err);
        let num_err = JsonNumber::new("1.5").unwrap().to_i64().unwrap_err();
        assert_error(&num_err);
    }
}