feat: add .topos/ extensions directory with structured experimental work

[bmorphism]

Summary

Adds .topos/ as a well-organized extensions directory containing experimental work, structured specifically to help AI agents navigate and understand the design space.

Directory Structure

.topos/
├── README.md           # Start here - directory overview
├── AGENTS.md           # Agent navigation guide with decision tree
│
├── syrup/              # OCapN/Syrup Protocol (Spritely-compatible)
│   ├── syrup.ts        # Core Syrup serialization
│   ├── ocapn-server.ts # OCapN capability server
│   ├── captp-session.ts
│   └── skill-capability.ts
│
├── src/                # Extended modules (not yet in core)
│   ├── fleet/          # Multi-VM coordination
│   ├── math/           # GF(3) algebra + formal verification
│   └── shared/         # Cross-module utilities
│
├── verification/       # Formal proofs
│   ├── *.dfy           # Dafny specs
│   └── rocq/           # Rocq/Coq proofs (SplitMix64, QuadBalancing)
│
├── docs/               # Design documents (26 files)
│   ├── ACP-*.md        # Protocol extensions
│   ├── CHELSEA-*.md    # VM integration
│   ├── DAFNY-*.md      # Verification mapping
│   └── GF3-*.md        # Triadic analysis
│
├── experiments/        # Runnable experiments
│   └── nbb/            # Node Babashka ClojureScript
│
├── dockerfiles/        # Extended Docker configs
├── fleet-config/       # Fleet deployment
└── polyglot/           # Multi-language GF(3) implementations

Agent Navigation

See .topos/AGENTS.md for:

• Decision tree for finding relevant code
• File importance ranking
• Key patterns and integration status
• Quick commands

Key Extensions

Module	Purpose	Status
syrup/	OCapN capability protocol	Working, needs CapTP completion
src/fleet/	Multi-VM coordination	Prototype
src/math/	GF(3) skill balancing	Complete
verification/	Formal proofs	Dafny done, Rocq WIP

Why Include This

• Preserves context: Experimental work informs core development
• Agent-friendly: Structured with README + AGENTS.md for navigation
• Progressive integration: Extensions can be promoted to core as they stabilize

---

Closes previous PR #45 (superseded)

[AlephNotation]

No 36k line prs