chore: clean template cruft, update all documentation

Remove 20 template files (k9 templates, .gitkeep stubs, deny.toml,
duplicate Containerfile, unused examples/docs). Update all human-readable
documentation (RSR_OUTLINE, QUICKSTART, CONTRIBUTING, SECURITY, TOPOLOGY,
READINESS) and machine-readable state files (STATE.a2ml, META.a2ml) to
reflect actual BoJ architecture and current completion status.

Customize Containerfile builder stage for Zig FFI compilation. Fill in
architecture decisions (ADR-001 through ADR-008) and design rationale
in META.a2ml. Update STATE.a2ml milestones to 25% overall completion.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/META.a2ml

@@ -9,14 +9,22 @@ version = "0.1.0"
 last-updated = "2026-03-02"
 
 [project-info]
-type = "service"  # library | binary | monorepo | service | website
-languages = []             # e.g. ["rust", "zig", "idris2"]
+type = "service"
+languages = ["idris2", "zig", "v", "scheme", "nickel"]
 license = "PMPL-1.0-or-later"
 author = "Jonathan D.A. Jewell (hyperpolymath)"
 
 [architecture-decisions]
-# ADR format: status = proposed | accepted | deprecated | superseded | rejected
-# - { id = "ADR-001", title = "Use Zig for FFI", status = "accepted", date = "2026-02-14" }
+decisions = [
+  { id = "ADR-001", title = "Three-layer stack: Idris2 ABI + Zig FFI + V-lang Adapter", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-002", title = "2D matrix: protocol types (cols) x capability domains (rows)", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-003", title = "Cartridge metaphor — swappable, verified capability modules", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-004", title = "IsUnbreakable proof type — only Ready cartridges can be mounted", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-005", title = "Umoja federation — gossip protocol, IPv6, hash attestation", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-006", title = "Teranga menu — three-tier A2ML (Core/Shield/Ayo)", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-007", title = "Order-ticket protocol — AI reads menu, writes order, BoJ mounts cartridges", status = "accepted", date = "2026-03-02" },
+  { id = "ADR-008", title = "Zero believe_me policy — all Idris2 code must be total and sound", status = "accepted", date = "2026-03-02" },
+]
 
 [development-practices]
 build-tool = "just"
@@ -50,4 +58,7 @@ drift-risk-example = "single exception broadening into policy violation (e.g. Re
 effects-evidence = "benchmark execution/results and maintainer status dialogue/review"
 
 [design-rationale]
-# Key design decisions and their reasoning
+three-layer-stack = "Idris2 proves correctness (ABI), Zig executes at zero cost (FFI), V-lang serves all three API styles (Adapter). Each layer is independently verifiable."
+matrix-model = "Every cell in the (Protocol x Domain) matrix is a cartridge. Protocols define HOW you talk to a server; domains define WHAT the server does. This separates concerns and enables independent development."
+cultural-naming = "Teranga (Wolof: hospitality), Umoja (Swahili: unity), Ayo (Yoruba: joy) — naming reflects values of hospitality to users, unity across communities, and joy in contribution."
+zero-believe-me = "believe_me is worse than a TODO because it compiles and hides the problem. Zero tolerance ensures all proofs are genuine."

.machine_readable/STATE.a2ml

@@ -6,40 +6,40 @@
 [metadata]
 project = "boj-server"
 version = "0.1.0"
-last-updated = "2026-03-02"
+last-updated = "2026-03-03"
 status = "active"
 
 [project-context]
 name = "Bundle of Joy Server"
 purpose = "Unified server capability catalogue solving the combinatoric explosion of developer server protocols. Provides a 2D matrix of formally verified cartridges (protocol types x capability domains), distributed via community-hosted nodes with hash attestation and gossip protocol."
-completion-percentage = 10
+completion-percentage = 25
 
 [position]
 phase = "implementation"
-maturity = "experimental"
+maturity = "alpha"
 
 [route-to-mvp]
 milestones = [
   { name = "Phase 0: Fresh repo from rsr-template-repo", completion = 100 },
-  { name = "Phase 1: Core catalogue & menu system (Idris2 ABI)", completion = 80 },
-  { name = "Phase 2: Zig FFI layer (catalogue operations)", completion = 0 },
+  { name = "Phase 1: Core catalogue & menu system (Idris2 ABI)", completion = 100 },
+  { name = "Phase 2: Core Zig FFI layer (catalogue operations)", completion = 100 },
   { name = "Phase 3: V-lang triple adapter (REST+gRPC+GraphQL)", completion = 0 },
-  { name = "Phase 4: First cartridges (database-mcp, nesy-mcp, fleet-mcp)", completion = 0 },
+  { name = "Phase 4: First cartridges — ABI+FFI (database, fleet, nesy, agent)", completion = 80 },
   { name = "Phase 5: Umoja federation & PanLL panel", completion = 0 },
   { name = "Phase 6: Remaining cartridges (fill the matrix)", completion = 0 },
   { name = "Phase 7: Polystack deprecation (endgame)", completion = 0 },
 ]
 
 [blockers-and-issues]
-# No blockers — clean start from rsr-template-repo
+# No blockers — 10 components at Grade D (Alpha), all type-check and pass tests
 
 [critical-next-actions]
 actions = [
-  "Complete Phase 1: Idris2 ABI files (Catalogue, Protocol, Domain, Menu, Federation)",
-  "Create menu.a2ml with three-tier Teranga/Shield/Ayo structure",
-  "Create order-ticket.scm protocol specification",
-  "Set up cartridge directory structure for Phase 4",
-  "Begin Phase 2: Zig FFI for catalogue mount/unmount",
+  "Phase 3: V-lang triple adapter (REST+gRPC+GraphQL on port 9000)",
+  "Phase 4 remaining: cartridge adapter layers (V-lang, depends on Phase 3)",
+  "End-to-end order-ticket flow: menu -> order -> mount -> endpoints (v0.2.0 milestone)",
+  "Integration tests: connect cartridge FFI to real backends",
+  "Dynamic cartridge loader: hash verification, hot-swap",
 ]
 
 [maintenance-status]

.machine_readable/contractiles/k9/template-hunt.k9.ncl

@@ -1,9 +1,4 @@
-# Uncomment and customize for your project
-# rust nightly
-# just 1.40.0
-# nickel 1.10.0
-# gleam 1.8.0
-# elixir 1.18.0
-# erlang 27.2
-# zig 0.14.0
-# idris2 0.7.0
+# BoJ Server toolchain (managed by asdf)
+idris2 0.8.0
+zig 0.15.2
+just 1.40.0