From 3eb8d5e51888de727c2ff946dd8862a7e95790f1 Mon Sep 17 00:00:00 2001 From: Hank Pilot Date: Thu, 18 Jun 2026 08:39:08 +0000 Subject: [PATCH] SPEC.md: add version stamp, cross-references, and golden test corpus reference PILOT-55 (IETF draft + protocol spec doc currency) - Add version status block with last-reviewed date - Cross-reference IETF drafts, SPEC-compat-mode, and common v1.10.x - Add references section linking golden test corpus as byte-level spec - Add companion document pointers for IETF drafts --- SPEC.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/SPEC.md b/SPEC.md index 8b9610f..a853351 100644 --- a/SPEC.md +++ b/SPEC.md @@ -1,5 +1,12 @@ # Pilot Protocol Wire Specification v0.5 +> **Status:** Active specification +> **Last reviewed:** 2026-06-18 +> **Companion documents:** [IETF draft-teodor-pilot-protocol-01](https://datatracker.ietf.org/doc/draft-teodor-pilot-protocol/) (protocol), [draft-teodor-pilot-problem-statement-01](https://datatracker.ietf.org/doc/draft-teodor-pilot-problem-statement/) (problem statement) +> **Reference implementation:** [pilot-protocol/common](https://github.com/pilot-protocol/common) v1.10.x +> **Compatibility:** See [SPEC-compat-mode.md](SPEC-compat-mode.md) for WSS/WebSocket transport + + ## 1. Addressing ### 1.1 Virtual Address Format @@ -501,3 +508,12 @@ The secure channel on port 443 uses a separate nonce scheme: - **Counter**: 8-byte unsigned integer starting at 0, incremented per encryption. Each secure connection performs its own X25519 key exchange and HKDF-SHA256 key derivation (info: "pilot-secure-v1"), so nonce uniqueness is guaranteed per-key. The sender's nonce prefix (first 4 bytes) is used as GCM AAD on both sides. + +--- + +### References + +- **Byte-level specification:** [Golden test corpus](https://github.com/pilot-protocol/common/tree/main/protocol/testdata/wire) — contains canonical wire-format encode/decode test vectors. +- **IETF drafts:** [draft-teodor-pilot-protocol](https://datatracker.ietf.org/doc/draft-teodor-pilot-protocol/), [draft-teodor-pilot-problem-statement](https://datatracker.ietf.org/doc/draft-teodor-pilot-problem-statement/) +- **Compatibility:** [SPEC-compat-mode.md](SPEC-compat-mode.md) — WSS/WebSocket transport +- **Architecture guidance:** See DESIGN.md in each component repository (where available)