ossuminc / riddl / 28594650224
65%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 139
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 64.617%. Remained the same
28594650224

push

reid-spencer 
Add JSON-identity round-trip tests; make unbounded String a JSON fixed point

Strengthen the fidelity guarantee from "no new validation errors" to true
serializer idempotence: root0 -> json1 -> root1 -> json2, asserting json1 ==
json2. A stable fixed point proves the AST<->JSON mapping is lossless and
deterministic — it catches dropped/reordered constructs that still happen to
validate.

- Root2JsonCorpusTest now runs the JSON-identity check over all 187 riddl-models
  .bast files (json1 == json2 for every model) alongside the validation-parity
  check. Both at 100%.
- New shared JsonRoundTripTest exercises the same idempotence on an inline
  multi-state model with repository/projector-defined messages, so the check
  runs on JVM, JS, and Native (the corpus test is JVM-only).

The identity check surfaced one asymmetry: a bare `String` is unbounded
(String_(None,None)) but parseJson fills the canonical String(0,255) defaults,
so the re-serialized JSON gained min/max the first lacked. Per the chosen
convention, root2Json now emits those 0/255 bounds explicitly for an unbounded
String, matching parseJson's defaulting — so json1 already carries them and the
round-trip is a fixed point. The 1.26.0 input-tolerance defaults are preserved.

Verified: riddlLib JVM (44 json tests), JS (63), and Native (63) all pass.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

7513 of 11627 relevant lines covered (64.62%)

0.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 28594650224.1 139
64.62
Source Files on build 28594650224