Alan-Jowett / sonde / 26117256287
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 129
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: 82.921%. Remained the same
26117256287

push

github

web-flow 
Fix BLE pairing design doc: PHONE_REGISTERED encryption, stepper mapping, battery_adc range (#998)

* fix: align BLE pairing design and validation docs with requirements (#987)

Fix three spec-drift findings in le-pairing-tool-design.md:

- F-BLE-006: Remove incorrect claim that AES-256-GCM is used to decrypt
  PHONE_REGISTERED in Phase 1. Per PT-0303, PHONE_REGISTERED is a
  plaintext ACK — no decryption is required. Code confirms this.

- F-BLE-008: Update stepper page mapping from Node=4–5/Done=6 to
  Node=4–6/Done=7. The wizard has 7 pages (page 6 = Diagnostic Review,
  page 7 = Done), matching requirements PT-1217 and the code.

- F-BLE-012: Change attery_adc validation range from 0–21 to 0–4
  (ADC-capable GPIOs). Matches requirements PT-0409 and code enforcement.

Also fix matching drift in le-pairing-tool-validation.md:
- T-PT-111 and T-PT-1218b: Update stepper test steps to navigate to
  page 7 (not 6) for the Done phase.
- T-PT-1214d: Update assertion text from 'out of range (0–21)' to
  'not an ADC-capable GPIO (must be 0–4)'.

Closes #987

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

* fix(spec): revert T-PT-1214c assertion to AC1 (0-21 range)

T-PT-1214c validates PT-0409 AC1 (GPIO 0–21 range). With
\attery_adc: Some(22)\, \BoardLayout::validate()\ rejects the
value as out of range (0–21) before \alidate_supported_battery_adc\
ever checks the ADC-capable subset (0–4). Restore the original AC1
assertion; the AC4 path is already covered by T-PT-1214e.

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

---------

Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

37710 of 45477 relevant lines covered (82.92%)

249.01 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26117256287.1 129
82.92
 GitHub Action Run
Source Files on build 26117256287