docs: integrate verisimdb, a2ml, and k9-svc

Database: verisimdb
- Multi-modal database (Graph, Vector, Tensor, Semantic, Document, Temporal)
- Elixir + Rust implementation
- Federated or standalone deployment
- Use cases: stack metadata, embeddings, validation history, provenance

Embedded Docs: a2ml (Attested Markup Language)
- Typed, attested markup with progressive strictness
- Idris2 backend for formal verification
- Reference resolution (no broken links)
- Use cases: component docs, stack templates

Component Config: k9-svc (Self-Validating Components)
- Nickel-based with Must-Just-Nickel triad
- Security levels: Kennel (data) → Yard (eval) → Hunt (exec)
- Cryptographic signing via k9-sign
- Use cases: component definitions, stack deployments

Integration architecture:
stapeln UI → Phoenix backend → VeriSimDB
           → A2ML renderer
           → K9 validator (Nickel)

Benefits:
✅ Formal verification at every layer
✅ Multi-modal database
✅ Self-validating components
✅ Attested documentation
✅ Federation-ready
✅ All hyperpolymath ecosystem

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: Jonathan D.A. Jewell