Alan-Jowett / sonde / 23459345791

82%

push

github

test(gateway): behavioral verification tests for 12 structural gaps (#412)

* test(gateway): add behavioral verification tests for 12 structural gaps

Add ehavioral_gaps.rs integration test file covering the 12 validation
gaps identified in issue #357:

HIGH priority:
- GW-0402: deterministic CBOR byte-level verification (sorted keys,
  shortest-form integers, stable hash identity)
- GW-0600: HMAC failure state isolation (session, registry unchanged)
- GW-0705: factory reset gateway-side behaviour (WAKE discarded after
  node removal)

MEDIUM priority:
- GW-0103: \starting_seq\ randomness (not zero, not constant)
- GW-0104: COMMAND frame size constraint (NOP, UpdateProgram,
  UpdateSchedule, Reboot all within 250-byte limit)
- GW-0202: RUN_EPHEMERAL dispatch-time program availability (deleted
  program falls through to NOP; present program delivered correctly)
- GW-0802: \RemoveProgram\ end-to-end (gone from list, assignment
  fails, re-ingest produces same hash)

LOW priority:
- GW-0400: verification-at-ingestion immediate availability
- GW-0504: many-to-one handler routing (catch-all serves multiple
  program hashes)
- GW-0700: registry entry field completeness after WAKE
- GW-0801: \GetNode\ RPC field coverage
- GW-1201: \gateway_id\ probabilistic uniqueness (100 samples)

Closes #357

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* fix(tests): address PR #412 review comments on behavioral_gaps

- Fix broken shortest-form CBOR encoding test: inspect raw bytes
  directly instead of re-encoding decoded ciborium::Value (which
  always produces minimal encoding, making the check a tautology)
- Fix broken factory-reset session check: snapshot
ext_expected_seq
  before post-removal WAKE and assert unchanged, instead of relying
  on ctive_count() <= 1 which can't detect session overwrites
- Fix Python handler crash: add CBOR major type 5 (map) decoding to
  decode_item so
ode_online EVENT with details map doesn't
  crash the hand... (continued)

1 of 1 new or added line in 1 file covered. (100.0%)

19919 of 23363 relevant lines covered (85.26%)

174.43 hits per line