C1: Deliver the BLE-first Connectivity Platform

[Tinnci]

Goal

Deliver the complete C1 Connectivity Platform without changing the M4 SDK 1.0 contract.

Scope

Track the versioned companion protocol, durable synchronization, policy, ESP-NimBLE firmware link, Android companion, controlled phone resource gateway, direct Wi-Fi escalation, security, power and unified hardware qualification.

Non-goals

M5 OTA/partition design; R1 dynamic applications; arbitrary sockets, cloud accounts or URLs; Bluetooth Classic; IP over BLE; a large Android UI.

Acceptance criteria

• All C1 child Issues satisfy their own closure conditions.
• Firmware and Android implementations use the shared protocol.
• Applications have no ESP-IDF, FreeRTOS, NimBLE, GATT or esp_wifi dependency.
• Real Note4 and Android end-to-end, direct Wi-Fi and power gates pass.
• Documentation, GitHub state and pushed main agree.

Automated evidence

All host, protocol, sync, policy, architecture, firmware and Android tests and clean builds pass.

Hardware evidence

Real pairing, reconnect, durable state, command, phone resource, Wi-Fi escalation, sleep/wake/shutdown, soak and measured power/resource records.

Closure condition

Close only after every child dependency is closed and the C1 milestone exit gate passes. A missing physical device keeps this Issue open.

[Tinnci]

Scope addition: NFC-assisted companion enrollment

Added #48 as a C1 child and blocker for the unified exit gate. It implements NFC field-triggered pairing plus a single-use enrollment token that completes peer_authorized. BLE bonding and protocol authorization remain separate gates; passkey pairing remains the fallback.

Standard LE Secure Connections OOB is deliberately deferred behind an Android OEM compatibility matrix. ESP-IDF 5.5.2 NimBLE has the required SC-OOB primitives, but third-party Android access and system NFC handover behavior are not uniform enough to make it the C1 baseline.

[Tinnci]

G1.1 delivery review — 2026-09-10

The implemented C1.1–C1.3 slices in ASTRA_TASKS.md are now substantially ahead of this umbrella's last checkpoint. Main contains the production ESP-IDF Wi-Fi backend and HTTPS escalation, hardened durable replay, Android resource gateway, NFC token/peer authorization and shutdown cleanup. E1.5 radio arbitration is also implemented in #54.

Evidence: connectivity contract, 3ee4193, 13111a7, 3cfd529, 4c762da. All 34 current Host targets pass.

This umbrella remains open: #34–#39 and #48 still require the named real Android/Note4, TLS/transfer, pairing/reconnect, RF/power and soak evidence. #38 remains the existing end-to-end tracker. Boot-smoke and simulated results do not close those requirements. The former “R1 dynamic applications” milestone is now named “Research — Dynamic application runtime”; R1 now tracks e-paper refresh delivery.