Review
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]>
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]>
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]>
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]>