{
  "version": "v1.13",
  "releaseVersion": "v1.13.0",
  "semanticProfile": "lispex-profile-1.5",
  "spec": "v1.13.0 (lispex-profile-1.5)",
  "capabilities": [
    "Native local stdio MCP exact reference, size- and time-capped trusted-source Rust-tree authoring evaluation, and diagnostic lookup without a deterministic total-work or total-allocation meter",
    "exact restricted single-engine bounded evaluator with separate preparation and evaluation, deterministic work and logical-allocation limits, and an import-free Wasm provider",
    "complete-capability LIL and bounded LIT execution",
    "Native canonical Core IR and verified bytecode build/inspect/validate",
    "explicit no-fallback Rust VM execution",
    "exact separately installed Topaz 5.11 VM execution and Rust/Topaz comparison on macOS ARM64",
    "exact installed-tool Lispex-to-Topaz AOT build/inspect/validate/run on macOS ARM64",
    "stable four-route inventory, doctor, path-free selection locks, locked execution, and bounded environment-bound route measurements",
    "canonical offline exact-route catalog and stored-ZIP installation",
    "exact canonical same-Rust Lispex Images across Native/npm/browser/Playground",
    "image/file Vouch source ingress and N-way receipts",
    "shared-Rust Vouch key/engine/source/input identity",
    "policy creation/checking and key-local source authorization",
    "portable Vouch input bundle",
    "npm authenticated Vouch verify",
    "externally pinned Native/npm bundle verification",
    "native Vouch local decision gate"
  ],
  "documentation": {
    "index": "https://www.lispex.com/llms.txt",
    "full": "https://www.lispex.com/llms-full.txt"
  },
  "canonical": "https://www.lispex.com",
  "install": "https://www.lispex.com/install.sh"
}