Searching protocol for "game-semantics"
Proof-as-game interpretation for logic.
Open Games-enabled file transfer over Tailscale mesh.