feat(groove): add Paper 4 — The Protocol Factory

"The Protocol Factory: Malleable, Ductile Protocol Creation via
 Formally Verified Typed Overlays"

Fourth paper in the series. Speculative tone, grounded in running code.

Key arguments:
  - Protocol creation currently costs years and millions. The convergence
    of Idris2 (2021) + Zig (2023) + IPv6 (2024) reduces it to hours.
  - OPSM lifecycle (mint→provision→configure→harness) IS protocol creation
  - Malleable: types reshapable without breaking (structural subtyping)
  - Ductile: stretchable from localhost to WAN without modification
  - Why incumbents won't build it: disintermediating by design (table
    covering Google, Apple, Meta, Microsoft, Amazon)
  - Typed overlay network: grows with panel installations, zero infrastructure
  - Broadcast solved: Typed Broadcast Filter for discovery, TFR for connections
  - Encryption solved: TLS ALPN ("grv6" token) negotiates types before tunnel
  - Unsolved: schema evolution, ABI registry governance, malicious capabilities,
    traffic analysis
  - Speculative: end of protocol scarcity, protocols as libraries,
    parallel protocol layer inside TCP/IP

Closing: "The typed overlay is not a proposal. It is running code.
Whether the world wants it is a question we cannot answer with a proof."

Targets cs.NI/cs.SE/cs.DC, subsequently HotNets/NSDI/ACM Surveys

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath