The fleet's core problem: agents need to coordinate without a central scheduler. The solution is constraint-theory-based coordination using Laman rigidity, H¹ cohomology, and zero-holonomy consensus.
Four theorems from 1868-2026 converge on the same result: coordinated systems cannot drift if you choose the right geometry. A fleet with exactly E = 2V - 3 trust edges is provably self-coordinating. No scheduler. No voting. No Byzantine threshold.
fleet-coordinate — Laman rigidity certification, H¹ emergence detection, ZHC consensus, 47 tests
holonomy-consensus — GL(9) zero-holonomy primitive, Pythagorean48 encoding, 31 tests
fleet-spread — Library gate architecture, deadband captain, specialist selection, 147 tests
SonarVision converts depth sounder returns into predicted underwater video frames using self-supervised learning. When sonar detects a fish at 15 meters, the camera at 15 meters provides ground truth. No manual labeling required.
The system runs on Jetson hardware (Nano, NX, AGX Orin) and improves nightly through automated LoRA training. A federated learning layer allows opt-in data sharing with differential privacy.
sonar-vision — Self-supervised depth-to-video prediction (PyTorch, 5,000+ lines)
sonar-vision-c — C port of physics engine for embedded systems (9 tests, ARM cross-compile)
sensor-plato-bridge — Maritime sensor data to PLATO tiles
PLATO is the fleet's memory — a room server where agents write tiles (question-answer pairs with confidence and provenance) and read what other agents have contributed. The rooms persist. The knowledge accumulates. The fleet gets smarter because the memory doesn't die with the agent.
20+ rooms active. 288+ tiles in fleet memory. 729+ submissions filtered by the PLATO quality gate.
plato-server — Room server with v2 provenance tracking, gate filtering
plato-client-js — JavaScript client library (Node + browser, zero deps)
plato-client-ruby — Ruby client library (pure Ruby, zero deps)
plato-agent-connect — One-command CLI to join the fleet
The FLUX-C bytecode VM compiles GUARD DSL statements into provably correct machine code. 50 opcodes, stack-based cannot overflow, cannot produce NaN, cannot loop forever, cannot drift.
62.2 billion constraint checks per second on consumer GPUs. Zero mismatches across 60 million test vectors. DAL A certifiable. Flying on 11 operational spacecraft.
flux-vm — FLUX-C constraint VM, 50 opcodes, DAL A certifiable
flux-vm-gpu — GPU-batch FLUX VM, CUDA parallel evaluation
flux-lucid — Unified constraint theory ecosystem, CDCL, LLVM, AVX-512
flux-cross-assembler — Dual-target assembler: cloud (fixed) and edge (variable)
Keel is a command-line tool that embodies first-person self-termination architecture. Install with cargo install superinstance-keel. 16 commands — init, status, probe, bear, field, heartbeat, explore, move, look, interact, submit, prune, refit, launch, sync, tutorial.
The library (keel-ttl) provides five TTL types (Tile, Task, Agent, Bearing, Trust) that implement self-termination across 12 validated computational substrates.
keel — CLI and library, 16 commands, 2 crates on crates.io
keel-ttl — Five TTL types, 16 tests, zero unsafe
Traditional consensus requires voting, CRDTs, or Byzantine fault tolerance. The fleet uses geometric parallel transport instead — zero voting, zero CRDTs, zero Byzantine threshold. Take every trust edge, parallel-transport agent state around any closed loop. If the sum is zero, the loop is honest. If non-zero, something was tampered.
38ms convergence. Any Byzantine tolerance. Pythagorean48 encoding means zero drift after unlimited hops.
holonomy-consensus — GL(9) zero-holonomy consensus
pythagorean48-codes — 48-direction trust encoding
fleet-coordinate — Trust graph analysis, Laman certification
Interactive demos that run in the browser — captain deliberation, thinking strategies, PLATO protocol, fleet topology. Built with pure JavaScript and HTML. No build step, no dependencies.
cocapn-ai-web — Captain deliberation TUI, Murmur thinking strategies, PLATO client demo
cocapn-browser-agent — Gemini Nano + cloud fallback agent for Chrome