upleb.uk

Public git repos — served from a NIP-34 GRASP relay at git.upleb.uk

summaryrefslogtreecommitdiff
path: root/CHECKLIST.md
blob: 5cedd308f0ee4ac107a9b516ce497160d62c44bc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
# TollGate ESP32 — Progress Checklist

## Phase 0: Bootstrap — COMPLETE
- [x] Create project directory and git repo
- [x] Create .env, .env.example, .gitignore
- [x] Persist PLAN.md and CHECKLIST.md
- [x] Create ESP-IDF project skeleton (CMakeLists, partitions.csv, sdkconfig.defaults)
- [x] Create Makefile with detect/build/flash/test targets
- [x] Run `make detect-all` — identified both boards as ESP32-S3 (16MB flash)
- [x] Fix ESP-IDF v5.4.1 installation (was deeply corrupted, re-cloned)

## Phase 1: Captive Portal + Firewall — COMPLETE (commit `a7d0a67`)
- [x] Implement tollgate_main.c (WiFi AP+STA, event loop)
- [x] Implement config.c/h (SPIFFS JSON config loading)
- [x] Implement dns_server.c/h (DNS hijack/forward per-client)
- [x] Implement captive_portal.c/h (HTTP :80, portal HTML)
- [x] Implement firewall.c/h (NAPT on/off per auth state)
- [x] Set up test infrastructure (Node.js tests, helpers, Playwright)
- [x] Fix WiFi init order bug
- [x] Fix DNS hijack test (nslookup exits 1 for AAAA)
- [x] Fix ping tests (use `-I wlp59s0`)
- [x] Tests 1-14: ALL PASSING

## Phase 2: E-Cash Payments — COMPLETE
### Code Written
- [x] Implement cashu.c/h (Cashu token parse, base64url, checkstate, mint validation)
- [x] Implement session.c/h (time-based allotment, expiry, secret tracking, MAC tracking)
- [x] Implement tollgate_api.c/h (:2121 server, GET/POST /, /usage, /whoami)
- [x] Update captive portal HTML with payment form (Cashu token textarea + "Pay & Connect")
- [x] Wire into tollgate_main.c (session_init, api_start, session_tick loop)
- [x] Per-MAC access tracking: `firewall_get_mac_for_ip()` using `esp_wifi_ap_get_sta_list_with_ip()` + ARP fallback
- [x] Two httpd instances: port 80 (captive portal) and port 2121 (TollGate API)

### Bug Fixes
- [x] Stack overflow: httpd stack_size increased to 32768 (TLS+mbedTLS needs ~20KB)
- [x] Heap allocations: cashu_token_t, cashu_proof_state_t, json_buf, post_body all heap-allocated
- [x] TLS to mint: `esp_crt_bundle_attach` + `esp-tls` in CMakeLists.txt REQUIRES
- [x] HTTP client: `open/write/fetch_headers/read` pattern (not `perform`)
- [x] Token decode: dynamic `json_buf` sizing `malloc((b64_len * 3) / 4 + 4)`, strip trailing `\n`/`\r`
- [x] POST body recv: loop `httpd_req_recv` until all `content_len` bytes read
- [x] `secret_count` bug: capped at `MIN(proof_count, 5)` before `session_create`
- [x] `config.c` default mint URL fixed to `testnut.cashu.space`
- [x] Makefile: nutshell wallet targets (wallet-setup, wallet-info, mint-token, send-token)
- [x] `tests/phase2.mjs`: `/whoami` test checks `includes('mac=')`

### Infrastructure
- [x] Upstream gateway on enx00e04c633a90 (192.168.2.0/24, metric 101, default route)
- [x] WiFi wlp59s0 free for ESP32 TollGate connection
- [x] Mint URL verified: `testnut.cashu.space` works (auto-pays invoices)

### Tests Passing
- [x] Test 15: Advertisement valid (kind=10021 with price_per_step) — PASSING
- [x] Test 16: Valid payment (POST :2121/ with valid Cashu token → kind=1022 session) — PASSING
- [x] Test 17: Usage tracking after payment (GET :2121/usage → active usage) — PASSING
- [x] Test 18: Internet after payment (ping through TollGate works) — PASSING
- [x] Test 19: Invalid token rejected (POST garbage → 400, kind=21023) — PASSING
- [x] Test 20: Spent token rejected (reuse token → kind=21023) — PASSING
- [x] Test 21: Wrong mint rejected (POST token from wrong mint → kind=21023) — PASSING
- [x] Test 22: Session expiry (wait for allotment → internet blocked) — PASSING
- [x] Test 23: Session renewal (second payment → allotment extended) — PASSING
- [x] Test: /whoami returns ip=X.X.X.X mac=XX:XX:XX:XX:XX:XX — PASSING
- [x] Test: Portal has payment form (Cashu token input + Pay button) — PASSING

### Captive Portal Detection Fix
- [x] Added DoT reject server on port 853 (TCP RST forces DNS fallback to port 53)
- [x] DNS hijack now returns NXDOMAIN for ALL non-A query types (prevents DNS leaks)
- [x] Shorter TTL on hijack responses (10s) for faster detection
- [x] Explicit 302 redirect handlers for all captive detection URIs (/generate_204, /hotspot-detect.html, etc.)
- [x] HTTP request logging for captive detection endpoints
- [x] DNS query logging for unauthenticated clients
- [x] Verified working with GrapheneOS phone (commit `236b61d`)

## Phase 3: On-Device Wallet + Nostr Identity + Wifistr — IN PROGRESS
### nucula Wallet Integration
- [x] Add nucula as git submodule (`nucula_src/`)
- [x] Create `components/secp256k1/` (symlink to nucula's libsecp256k1)
- [x] Create `components/nucula_lib/` (C++ bridge + C API)
- [x] C bridge: `nucula_wallet.h` (init, receive, send, swap_all, balance, proofs_json)
- [x] All wallet operations tested on Board A: pay, swap, send, persistence

### Nostr Identity Derivation (identity.c/h)
- [x] Create `identity.h` — API: `identity_init(nsec_hex)`, derived value accessors
- [x] Create `identity.c` — HMAC-SHA512 derivation via mbedtls, npub via secp256k1
- [x] Derive STA MAC: `tollgate_derive(nsec, "sta-mac", 0)` → 6 bytes, locally administered
- [x] Derive AP MAC: `tollgate_derive(nsec, "ap-mac", 0)` → 6 bytes, locally administered
- [x] Derive SSID: `"TollGate-" + hex(AP_MAC[3:6])`
- [x] Derive AP IP: hash-based from AP MAC bytes
- [x] Compute npub: secp256k1 x-only pubkey from nsec
- [x] Set MACs via `esp_wifi_set_mac()` in boot sequence

### Nostr Event Signing (nostr_event.c/h)
- [x] Create `nostr_event.h` — NIP-01 event struct + sign/serialize API
- [x] Create `nostr_event.c` — canonical JSON, SHA-256 ID, Schnorr signature
- [x] Uses `secp256k1_schnorrsig_sign32()` for BIP-340 signatures

### Geohash Encoding (geohash.c/h)
- [x] Create `geohash.h` — `geohash_encode(lat, lon, precision, out)`
- [x] Create `geohash.c` — standard base-32 geohash encoding

### Wifistr Service Discovery (wifistr.c/h)
- [x] Create `wifistr.h` — `wifistr_publish()` API
- [x] Create `wifistr.c` — kind 38787 event builder + WebSocket relay publish
- [x] Build event with tags: d, ssid, h, security, g, c
- [x] WebSocket client: raw TCP + TLS (esp_tls.h) + HTTP Upgrade
- [x] Publish on boot + periodic timer (6h default)

### Config Changes (config.c/h)
- [x] Add to struct: nsec, npub, nostr_geohash, nostr_relays, nostr_publish_interval_s, sta_mac, ap_mac
- [x] Remove from JSON parsing: ap_ssid, ap_ip (now derived from nsec)
- [x] Keep: ap_password, ap_channel, ap_max_conn (hardcoded defaults)
- [x] Update default config.json template with nsec and Nostr fields

### Boot Sequence Changes (tollgate_main.c)
- [x] Call `identity_init(nsec)` after config load, before WiFi init
- [x] Set STA/AP MAC via `esp_wifi_set_mac()` after `esp_wifi_init()`, before `esp_wifi_start()`
- [x] Remove old `tollgate_config_derive_unique()` call
- [x] Use derived SSID/IP in AP configuration
- [x] Start wifistr publish task after services start

### Build System
- [x] Add identity.c, nostr_event.c, geohash.c, wifistr.c to CMakeLists.txt SRCS
- [x] Add `secp256k1` to REQUIRES (for identity.c and nostr_event.c)
- [x] Clean build (0 errors, 0 warnings)

### Hardware Testing
- [x] Flash Board A, verify wallet boot (keyset fetch succeeds)
- [x] Pay Board A with Cashu token, verify proofs stored (GET /wallet)
- [x] Test POST /wallet/swap on Board A
- [x] Test POST /wallet/send on Board A, verify token is valid
- [x] Flash Board A with new identity derivation, verify derived SSID/MAC/IP
- [x] Verify captive portal works with new SSID/IP
- [x] Verify payment flow still works with identity-derived config
- [x] Verify wifistr event published to relay (damus + nos.lol)
- [ ] Flash Board B with new firmware (different nsec)
- [ ] Cross-board payment: Board B token → Board A
- [ ] Verify both boards show correct balances after cross-board payment

### Tests 25-27 (deferred from Phase 2, need Board B)
- [ ] Test 25: Two clients pay independently (laptop + Board B)
- [ ] Test 26: Client isolation (only payer gets internet)
- [ ] Test 27: Full e2e: portal → pay → browse

### Tests 28-38 (Phase 3 specific)
- [ ] Test 28: Wallet boot (keysets loaded)
- [ ] Test 29: Receive via wallet (balance incremented)
- [ ] Test 30: Wallet swap (same balance, new proofs)
- [ ] Test 31: Wallet send (valid cashuA token)
- [ ] Test 32: Persistence survives reboot
- [ ] Test 33: Cross-board payment
- [ ] Test 34: 5 consecutive payments
- [ ] Test 35: Stress: rapid pay/expire

### Automated Tests
- [ ] Write tests/phase3.mjs (wallet endpoint tests + cross-board)
- [ ] All Phase 3 tests passing

## Test Coverage — IN PROGRESS

### Host Unit Tests (tests/unit/)
- [ ] Create `tests/unit/stubs/` — clean ESP-IDF type stubs for host compilation
- [ ] Create `tests/unit/Makefile` — compiles all unit tests with host gcc
- [ ] Install system deps: `libmbedtls-dev`, `libcjson-dev`
- [ ] `test_geohash.c` — geohash_encode against reference vectors (Munich, NYC, origin)
- [ ] `test_identity.c` — HMAC-SHA512 derivation, MAC bits, SSID/IP determinism
- [ ] `test_nostr_event.c` — NIP-01 event ID, Schnorr sign+verify, JSON serialization
- [ ] `test_cashu.c` — token decode, allotment calc, mint validation
- [ ] `test_session.c` — session lifecycle, expiry, spent-secret dedup
- [ ] `make test-unit` passes all unit tests

### Test Reorganization
- [ ] Move `tests/api.mjs` → `tests/integration/phase1_api.mjs`
- [ ] Move `tests/network.mjs` → `tests/integration/phase1_network.mjs`
- [ ] Move `tests/smoke.mjs` → `tests/integration/smoke.mjs`
- [ ] Move `tests/phase2.mjs` → `tests/integration/phase2.mjs`
- [ ] Move `tests/captive-portal.spec.mjs` → `tests/e2e/captive-portal.spec.mjs`
- [ ] Move `tests/playwright.config.mjs` → `tests/e2e/playwright.config.mjs`
- [ ] Fix all hardcoded IPs (`192.168.4.1`) → `process.env.TOLLGATE_IP`

### New Integration Tests
- [ ] `tests/integration/phase3.mjs` — wallet GET/swap/send, identity SSID/IP, wifistr on relay
- [ ] All Phase 3 integration tests passing

### New E2E Tests
- [ ] `tests/e2e/payment.spec.mjs` — paste token → pay → success, error handling, full flow
- [ ] All E2E tests passing

### Build System Updates
- [ ] Update `Makefile` with `test-unit`, `test-integration`, `test-e2e`, `test-all` targets
- [ ] Update `package.json` npm scripts for new paths
- [ ] All `make test-*` targets work

## Phase 4: ESP32 TollGate Client Detection + Auto-Payment — IN PROGRESS

### tollgate_client.c/h (New)
- [x] Create `tollgate_client.h` — types: `tollgate_discovery_t`, `tollgate_client_state_t` enum (IDLE/DETECTING/NEEDS_PAY/PAYING/PAID/RENEWING)
- [x] Create `tollgate_client.c` — detection, payment, monitoring, state machine
- [x] `tollgate_client_detect(gw_ip)` — HTTP GET `http://{gw}:2121/`, parse kind=10021, extract price tags
- [x] `tollgate_client_pay(gw_ip, amount_sats)` — `nucula_wallet_send()` → POST to upstream → parse kind=1022/21023
- [x] `tollgate_client_on_sta_connected()` — extract gw from DHCP, detect, pay (blocking)
- [x] `tollgate_client_tick()` — GET `/usage`, renew at 20% remaining
- [x] `tollgate_client_on_sta_disconnected()` — reset state
- [x] `tollgate_client_get_usage(gw_ip)` — GET `/usage` → parse remaining/total

### Config Changes
- [x] Add to `config.h`: `client_enabled`, `client_steps_to_buy`, `client_renewal_threshold_pct`, `client_retry_interval_ms`
- [x] Parse new fields in `config.c`

### Integration (tollgate_main.c)
- [x] Make wallet init synchronous (call `nucula_wallet_init()` directly, not as task)
- [x] Add `tollgate_client_on_sta_connected()` in `ip_event_handler` (blocking, before `start_services()`)
- [x] Add `tollgate_client_on_sta_disconnected()` in `wifi_event_handler`
- [x] Add `tollgate_client_tick()` in main loop
- [x] Update `main/CMakeLists.txt` — add `tollgate_client.c`

### Unit Tests
- [x] `tests/unit/test_tollgate_client.c` — discovery parsing, price extraction, state machine, renewal threshold
- [x] All unit tests passing (30 new, 116 total) — committed at `78dd599`

### Integration Tests
- [ ] ESP32→OpenWRT auto-payment (Scenario 4)
- [ ] ESP32→ESP32 auto-payment (Scenario 5, needs Board B)

### Test Cases 39-43
- [ ] Test 39: Client detection (kind=10021 parse)
- [ ] Test 40: Client payment flow (mock HTTP)
- [ ] Test 41: Session renewal (20% threshold)
- [ ] Test 42: ESP32→OpenWRT auto-pay
- [ ] Test 43: ESP32→ESP32 auto-pay

## Phase 5: Lightning Auto-Payout — NOT STARTED

### lnurl_pay.c/h (New)
- [ ] Create `lnurl_pay.h` — `lnurl_get_invoice(lightning_address, amount_sats, bolt11_out, out_size)`
- [ ] Create `lnurl_pay.c` — GET `.well-known/lnurlp/{user}` → parse callback → GET callback with amount → extract BOLT11

### lightning_payout.c/h (New)
- [ ] Create `lightning_payout.h` — `payout_recipient_t`, config, init/tick API
- [ ] Create `lightning_payout.c` — periodic balance check, threshold, multi-recipient split, melt with retry

### nucula Bridge Extension
- [ ] Add `nucula_wallet_melt(bolt11, max_fee_sats)` to `nucula_wallet.h/cpp`
- [ ] Wraps `Wallet::request_melt_quote()` + `Wallet::melt_tokens()` (NUT-05)

### Config Changes
- [ ] Add payout config to `config.h`: `payout_enabled`, `min_payout_amount`, `min_balance`, `fee_tolerance_pct`, `check_interval_s`, `recipients[]`
- [ ] Parse payout config in `config.c`

### Integration (tollgate_main.c)
- [ ] Add periodic payout timer (60s interval)
- [ ] Update `main/CMakeLists.txt`

### Unit Tests
- [ ] `tests/unit/test_lnurl_pay.c` — LNURL-pay URL construction, response parsing
- [ ] `tests/unit/test_lightning_payout.c` — threshold check, multi-recipient split, fee tolerance

### Test Cases 44-48
- [ ] Test 44: LNURL-pay flow
- [ ] Test 45: Payout threshold
- [ ] Test 46: Multi-recipient split
- [ ] Test 47: Melt with fee tolerance
- [ ] Test 48: Full payout cycle

## Phase 6: Bytes-Based Billing — NOT STARTED

### lwIP NAPT Stats Component (New)
- [ ] Create `components/lwip_napt_stats/` — patched `ip4_napt.c` with byte counters
- [ ] Add `uint64_t bytes_up/bytes_down` to `struct ip_napt_entry`
- [ ] Increment in `ip_napt_forward()` and `ip_napt_recv()`
- [ ] Add public API: `ip_napt_get_client_bytes(client_ip, &up, &down)`
- [ ] Create component CMakeLists.txt

### Session Changes
- [ ] Add `allotment_bytes`, `bytes_consumed` to `session_t`
- [ ] Dual-metric `session_is_expired()` dispatches on metric type
- [ ] `session_add_bytes(client_ip, byte_count)` called from firewall counting

### Config Changes
- [ ] Add `metric` field ("milliseconds" or "bytes") to `config.h`
- [ ] Add `step_size_bytes` to `config.h`
- [ ] Parse in `config.c`

### TollGate API Changes
- [ ] Discovery endpoint advertises correct metric
- [ ] `/usage` returns byte-based or time-based values
- [ ] Allotment calculation dispatches on metric

### Firewall Changes
- [ ] `firewall_count_traffic()` — queries NAPT byte counters per active client
- [ ] Called from `session_tick()` or main loop

### Cashu Changes
- [ ] Unify `cashu_calculate_allotment()` for both metrics

### Unit Tests
- [ ] `tests/unit/test_bytes_metric.c` — byte allotment calc, dual-metric session expiry

### Test Cases 49-52
- [ ] Test 49: Byte allotment calc
- [ ] Test 50: Byte session expiry
- [ ] Test 51: NAPT byte counting
- [ ] Test 52: Bytes metric end-to-end

## Phase 7: ContextVM Server (MCP over Nostr) — NOT STARTED

### NIP-44 Encryption (New)
- [ ] Create `nip44.h` — encrypt/decrypt API
- [ ] Create `nip44.c` — XChaCha20-Poly1305 + secp256k1 ECDH + conversation key derivation

### MCP Handler (New)
- [ ] Create `mcp_handler.h` — tool registration, JSON-RPC parse/dispatch
- [ ] Create `mcp_handler.c` — register tools, handle requests, build responses

### CVM Server (New)
- [ ] Create `cvm_server.h` — init/start/stop API
- [ ] Create `cvm_server.c` — WebSocket listener, DM subscription, NIP-44 decrypt, MCP dispatch

### MCP Tool Registration
- [ ] `get_config`, `set_config`, `get_balance`, `get_sessions`, `get_usage`
- [ ] `set_payout`, `set_metric`, `set_price`, `wallet_send`, `wallet_melt`

### Auth
- [ ] Only accept commands from owner npub

### Integration (tollgate_main.c)
- [ ] Start CVM server alongside wifistr
- [ ] Update `main/CMakeLists.txt`

### Unit Tests
- [ ] `tests/unit/test_nip44.c` — encrypt/decrypt roundtrip
- [ ] `tests/unit/test_mcp_handler.c` — JSON-RPC parse, tool dispatch

### Test Cases 53-56
- [ ] Test 53: NIP-44 encrypt/decrypt
- [ ] Test 54: MCP JSON-RPC parse
- [ ] Test 55: Config change via DM
- [ ] Test 56: Balance query via CVM

## Reminders
- Do NOT ask for instructions — proceed independently, skip blocked items, work on unblocked ones
- **Commit + push every time a test passes that previously didn't pass**
- Board A: `/dev/ttyACM0`, factory MAC `94:a9:90:2e:37:7c`
- Board B: `/dev/ttyACM1`, factory MAC `fc:01:2c:c5:50:50`
- Identity is now derived from nsec in config.json (SSID, IP, MAC all deterministic)
- testnut.cashu.space auto-pays invoices: `cashu -h https://testnut.cashu.space invoice <amount>`
- Token generation: `cashu -h https://testnut.cashu.space send --legacy <amount> 2>&1 | grep '^cashuA' | head -1`
- sudo password: `c03rad0r123`
- Run `make test-unit` after any code change — must pass before commit
- See `AGENTS.md` for full testing rules and project context
- Proceed to Phase 4 after completing Phase 3