Wire the QUIC transport into a real mesh, and make attestation a signature - #7

Merged

copyleftdev merged 14 commits into

mainfrom

feature/quic-mesh-and-analysis-demo

Aug 19, 2026

Commits on Aug 19, 2026

core: expose relay reasoning and the attester set

copyleftdev
and
claude
committed
4594dbe
runtime: wire the QUIC transport into the mesh

copyleftdev
and
claude
committed
382b61b
cli: multi-concern analysis mesh as real processes

copyleftdev
and
claude
committed
2fd2fca
film: narrated walkthrough of a recorded run

copyleftdev
and
claude
committed
95bb289
core: make attestation a signature rather than a name

copyleftdev
and
claude
committed
47e0f9a
runtime: authenticate the channel, and let the mesh heal

copyleftdev
and
claude
committed
90d45b4
runtime: discover reachable addresses, and coordinate a simultaneous open

copyleftdev
and
claude
committed
69bb694
runtime: fix three faults found by testing against real NATs

copyleftdev
and
claude
committed
7e72d13
harden against review, and make the proof continuous

copyleftdev
and
claude
committed
90fd0dd
ci: build the workspace warning-free

copyleftdev
and
claude
committed
fc235b0
verify: deterministic simulation, bounded mutation, and a real convergence bug

copyleftdev
and
claude
committed
e4d6f32
verify: model check the gossip spec, bounded

copyleftdev
and
claude
committed
7fd24f6
test: cover the mesh behaviour that only manual runs had checked

copyleftdev
and
claude
committed
a2bc184
fix: authenticate a peer before believing what it says about us

copyleftdev
and
claude
committed
4cd046e