qubit-value 0.12.1

Type-safe containers for single, multi-valued, and named runtime values
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

// =============================================================================
//    Copyright (c) 2025 - 2026 Haixing Hu.
//
//    SPDX-License-Identifier: Apache-2.0
//
//    Licensed under the Apache License, Version 2.0.
// =============================================================================

//! Wide-integer wire visitor behavior.

use qubit_value::Value;
use qubit_value::ValueWireV1Seed;
use serde::de::DeserializeSeed;
use serde::de::IntoDeserializer;

#[test]
fn test_wide_integer_wire_rejects_number_payload() {
    assert!(
        crate::decode_value_wire_value(serde_json::json!({"version": 1, "value": {"scalar": {"int128": 1}}})).is_err()
    );
}

/// Verifies malformed and non-canonical integer strings expose a parse error.
#[test]
fn test_wide_integer_wire_rejects_invalid_decimal_text() {
    for text in ["", "+1", "01", "12x", "-1"] {
        let input = serde_json::json!({
            "version": 1,
            "value": {"scalar": {"uint128": text}},
        });
        let error = crate::decode_value_wire_value(input).expect_err("invalid unsigned integer text must be rejected");
        let message = error.to_string();
        if matches!(text, "+1" | "01") {
            assert!(message.contains("canonical"), "unexpected error for {text:?}: {error}");
        } else {
            assert!(
                message.contains("invalid") || message.contains("empty"),
                "unexpected parse error for {text:?}: {error}"
            );
        }
    }
}

/// Verifies both signed and unsigned visitors accept their representable
/// limits.
#[test]
fn test_wide_integer_wire_parses_extreme_values() {
    for (text, expected) in [
        (i128::MIN.to_string(), Value::Int128(i128::MIN).into()),
        (i128::MAX.to_string(), Value::Int128(i128::MAX).into()),
    ] {
        assert_eq!(
            crate::decode_value_wire_value(serde_json::json!({"version": 1, "value": {"scalar": {"int128": text}}}))
                .expect("signed limit must decode")
                .into_container(),
            expected,
        );
    }

    for (text, expected) in [
        (u128::MIN.to_string(), Value::UInt128(u128::MIN).into()),
        (u128::MAX.to_string(), Value::UInt128(u128::MAX).into()),
    ] {
        assert_eq!(
            crate::decode_value_wire_value(serde_json::json!({"version": 1, "value": {"scalar": {"uint128": text}}}))
                .expect("unsigned limit must decode")
                .into_container(),
            expected,
        );
    }
}

/// Verifies the visitor accepts owned strings at both signed and unsigned
/// limits.
#[test]
fn test_wide_integer_wire_parses_owned_extreme_strings() {
    for (tag, text, expected) in [
        ("int128", i128::MIN.to_string(), Value::Int128(i128::MIN)),
        ("uint128", u128::MAX.to_string(), Value::UInt128(u128::MAX)),
    ] {
        let input = serde_json::json!({"version": 1, "value": {"scalar": {tag: text}}});
        let wire = ValueWireV1Seed::new()
            .deserialize(input.into_deserializer())
            .expect("owned extreme integer string must decode");
        assert_eq!(wire.into_container(), expected.into());
    }
}

/// Verifies an owned non-canonical integer string reports the exact visitor
/// error.
#[test]
fn test_wide_integer_wire_rejects_owned_noncanonical_string_precisely() {
    let input = serde_json::json!({"version": 1, "value": {"scalar": {"int128": "+1"}}});
    let error = ValueWireV1Seed::new()
        .deserialize(input.into_deserializer())
        .expect_err("owned non-canonical integer string must be rejected");
    assert_eq!(error.to_string(), "non-canonical 128-bit integer string",);
}