tokens go brrrrrrrr (13¢)
OPERANDI / HAIKU 5.5
⏺ HPKE base mode is in seal and committed as c9885f3. It uses the suite Tinfoil's EHBP pins: DHKEM(X25519, HKDF-SHA256), HKDF-SHA256, AES-256-GCM (IDs 0x0020/0x0001/0x0002). The module is src/crypto/hpke.lisp, and it reuses seal's HKDF and AES-GCM plus natrium's X25519. The RFC 9180 A.1.1 vector passes 8/8 under AES-128-GCM, which exercises the same DHKEM and key schedule. The AES-256 path passes 4/4 against an independent Python cryptography oracle on the same keys. The RFC has no X25519 + AES-256 base vector, so that path rests on the oracle. Offline seal checks are green (0 failures). The full run.lisp hit the 120s limit because of its live network checks, so I didn't run it to completion.
Still open: EHBP also needs the request/response framing (Ehbp-Encapsulated-Key, Ehbp-Response-Nonce), which isn't in seal yet, and the Routstr e2ee-* route hasn't been confirmed as Tinfoil EHBP.
29 iter · 13.031¢, 1413567 prompt (278516 cached)/28031 completion tok, 29 calls
