Show which rules remain unapplied when a CBOR list runs out of elements, mirroring the existing map validation behaviour. Co-Authored-By: Claude Sonnet 4.6 <[email protected]>
Out-of-range float values become Infinity when encoded as float16, and Infinity is valid per IEEE 754/CBOR spec. The decision point was not producing actually invalid values. Co-Authored-By: Claude Opus 4.5 <[email protected]>
NaN and Infinity are valid per CBOR/CDDL spec (IEEE 754), so they should be generated in the normal case. The faulty generator now only produces values outside the half-precision range (±65504). Co-Authored-By: Claude Opus 4.5 <[email protected]>
genFaultyHalf generates invalid half-precision values: - NaN, +Inf, -Inf (special values) - Values outside half range (±65504) Co-Authored-By: Claude Opus 4.5 <[email protected]>
- Generator: PTUInt and PTNInt now have decision points that generate out-of-bounds values when zapped (wrong sign or exceeding 64-bit range) - Validator: PTUInt now checks 0 <= i <= 2^64-1 (was just i >= 0) - Validator: PTNInt now checks -2^64 <= i <= -1 (was just i <= 0) Co-Authored-By: Claude Opus 4.5 <[email protected]>
Co-Authored-By: Claude Opus 4.5 <[email protected]>
The generator cannot reliably produce unique keys for maps where the key range size equals the required entry count. This will be addressed in a separate PR. Co-Authored-By: Claude Opus 4.5 <[email protected]>
Extract genAndValidateRule and genAndValidateCddl from genAndValidateFromFile to enable reuse for testing Huddle schemas. Add "Generated value validates" tests that verify generated CBOR values pass validation. This exposes a bug in optionalMapExample where the generator cannot reliably produce 10 unique keys from a 10-element range (1..10), causing most generated maps to have fewer than the required 10 entries. Co-Authored-By: Claude Opus 4.5 <[email protected]>
- Fix Word64 underflow in OIBounded bounds decrementing by using saturating subtraction (clampedPred) instead of regular subtraction - Fix KV case to continue processing remaining nodes instead of returning early - Use max 0 sz in frequency to handle negative sizes - Add proper error message for map generation failure Co-Authored-By: Claude Opus 4.5 <[email protected]>
Co-authored-by: Copilot <[email protected]>
Co-authored-by: Copilot <[email protected]>
- Fix Word64 underflow in OIBounded bounds decrementing by using saturating subtraction (clampedPred) instead of regular subtraction - Fix KV case to continue processing remaining nodes instead of returning early - Use max 0 sz in frequency to handle negative sizes - Add proper error message for map generation failure Co-Authored-By: Claude Opus 4.5 <[email protected]>