Alan-Jowett / sonde / 26118025575 / 1
82%
main: 82%

DEFAULT BRANCH: main
Ran
Files 129
Run time 5s
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: 82.917% (-0.004%) from 82.921%
26118025575.1

push

github

web-flow 
Fix BLE pairing specs: modem connection target, retired timeout, zeroing semantics (#999)

* fix: align BLE pairing specs with architecture and code (#988)

Fix three spec-drift findings (F-BLE-007, F-BLE-009, F-BLE-011):

- F-BLE-007: Clarify in PT-0401 and design §1 that Phase 2 connects to
  the **modem's** Node Provisioning BLE GATT service, not directly to
  the node. The modem bridges BLE to nodes over ESP-NOW.

- F-BLE-009: Remove retired \GW_INFO_RESPONSE\ 45s timeout from
  PT-1002 timeout list. This flow was retired (issue #495); design and
  validation already reflect this.

- F-BLE-011: Update PT-0408 and design §4.3/§6.8 to say \
ode_psk\ is
  wrapped in \Zeroizing\ and zeroed on \provision_node()\ return —
  covering both success and error paths. Previous wording implied zeroing
  only after a successful write or ACK, which did not match the code.

F-BLE-010 (silent BLE write retries) is a code fix, filed separately
as #997.

Closes #988

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

* docs: revert F-BLE-007 modem connection change — Phase 2 connects to node

The Node Provisioning Service (FE50) is hosted by the node in
pairing mode, not the modem. The modem only hosts the Gateway
Pairing Service (FE60) for Phase 1. Reverts the incorrect PT-0401
and design §1 changes while keeping the other fixes in this PR
(Zeroizing semantics, retired timeout removal).

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

* docs: fix design §5.6 — LESC enforcement applies to Phase 1 only

Phase 2 connects to the node (not the modem) and intentionally
does NOT call enforce_lesc(). Nodes use LESC Just Works because
they are headless (ND-0904). The previous text incorrectly stated
both phases call enforce_lesc() and connect to the modem.

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

* docs: update Phase 2 state machine diagram for Zeroizing semantics

The diagram showed 'zero node_psk' as a... (continued)

37708 of 45477 relevant lines covered (82.92%)

249.01 hits per line

Source Files on job 26118025575.1