v0.4.6 — Runtime-agnostic MCP bridge + AAA-tier definitions

Highlights

• AAA-tier MCP definitions (ad837abe): all tools upgraded to the Glama AAA description + schema floor — Purpose, Behavior annotations (read-only vs side-effect), Returns, Errors, and per-parameter description fields with patterns/lengths/enums. Server coherence test enforces the floor.
• Runtime-agnostic bridge: stdio bridge migrated from Node.js to Deno; deno.json for imports, no node_modules in production.
• Local-coord-mcp: Tasks #2 + #7b — wired boj_cartridge_invoke + VeriSimDB seam end-to-end.
• Orchestrator-LSP-MCP: Steps 1–5 complete — Elixir adapter, Zig FFI, ReScript VS Code extension, VeriSimDB wired, status Ready.
• Echidna-LLM-MCP: consult + suggest_tactics cartridge implemented.
• ABI: CartridgeData.idr + new orchestrator-LSP-MCP cartridge.
• 007-MCP: cartridge installed + oo7_mcp registered in CartridgeData.idr.
• Worker briefing: .boj/project-memories.a2ml template added.
• Coord-TUI: title now exactly peer_id (drops coord-tui [ prefix).
• Deps: nixpkgs bumped b86751b → 01fbdee.

Glama posture

This release is the snapshot that should restore Quality = A. Tool definitions meet the AAA rubric (Behavior / Conciseness / Completeness / Parameters / Purpose / Usage), and the inspectability surface (.mcp.json + bin entry + offline manifest fallback) is intact.