Skip to content

feat(android-direct-proof): surface startup-state failures#28

Merged
trancee merged 3 commits into
mainfrom
feat/android-direct-proof-startup-state
Jun 16, 2026
Merged

feat(android-direct-proof): surface startup-state failures#28
trancee merged 3 commits into
mainfrom
feat/android-direct-proof-startup-state

Conversation

@trancee

@trancee trancee commented Jun 16, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add an explicit Bluetooth startup-state taxonomy to the Android proof app so BluetoothManager / BluetoothAdapter / Bluetooth-off failures are visible instead of collapsing into a generic GATT error.
  • Preserve that startup-state marker through the direct-proof runner and retained summary HTML, including failure-path summaries.
  • Update the canonical matrix result, GATT-path explanation, and physical integration guide to reflect the new Bluetooth-off startup boundary.
  • Clean up the direct-proof test fixtures so the new coverage runs without ResourceWarning noise.

Verification

  • ./gradlew :meshlink-proof:android:compileDebugKotlin :meshlink-proof:android:compileDebugAndroidTestKotlin
  • python -m unittest discover -s meshlink-reference/scripts/tests -p 'test_reference_android_direct_proof.py'
  • python -Wdefault -m unittest discover -s meshlink-reference/scripts/tests -p 'test_reference_android_direct_proof.py'

Notes

  • The NAM-LX9 replay now preserves startupState: bluetooth-disabled in the retained summary.
  • The current attached bench does not provide a reproducible L2CAP control pass, so the remaining blocker is documented as an environmental boundary rather than an app-side repair.

@trancee trancee changed the title Surface startup-state failures in Android direct-proof feat(android-direct-proof): surface startup-state failures Jun 16, 2026
@trancee trancee merged commit c3a2965 into main Jun 16, 2026
10 checks passed
@trancee trancee deleted the feat/android-direct-proof-startup-state branch June 16, 2026 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant