dangernoodle-io / breadboard / 29664140434

96%

push

github

test: prove nested ARR-of-OBJ descriptors round-trip in bb_serialize (B1-1056) (#930)

- adds a host-only proving test (test_bb_serialize_nested_arr.c), no engine
  code changed: bb_serialize_walk.c's single generic recursive walker
  already handles a BB_TYPE_ARR field whose elem_type is BB_TYPE_OBJ nesting
  another such field, up to BB_SERIALIZE_MAX_DEPTH, with no special-casing
- two-level fixture (outer.groups[].items[]) proves render (byte-exact
  golden) and populate (field-by-field against the original fixture,
  including an embedded-quote escaping case) round-trip through both levels
- a finite, non-self-referential 9-entry field-table chain proves the
  documented depth cap holds: render+populate succeed with real distinct
  data at exactly BB_SERIALIZE_MAX_DEPTH, and populate's pre-flight scan
  fails closed (BB_ERR_NO_SPACE, dst untouched, source never driven) one
  hop past it -- reusing the same table at two entry points, mirroring the
  existing depth-guard precedent in test_bb_serialize_populate.c
- discovered along the way (documented in-file, not acted on): scanning the
  max-depth golden text back in via bb_serialize_json_scan_bounded()
  overflows its own tok-recorder container stack for this two-container-
  per-level shape -- a separate, pre-existing constraint of the JSON
  scanning layer, orthogonal to bb_serialize_populate() core's depth guard
  under test here and out of scope for this proving-only ticket

7417 of 8052 branches covered (92.11%)

Branch coverage included in aggregate %.

12839 of 13053 relevant lines covered (98.36%)

2237.81 hits per line