# Lispex current documentation > Lispex is a small Lisp for deterministic decision rules, exact local > evaluation, bounded untrusted-rule evaluation, and inspectable evidence. ## Version - This manual describes the current Lispex v1.19 release. - Machine-readable version metadata: https://www.lispex.com/version.json - Self-contained assistant primer: https://www.lispex.com/agents.md - Canonical English manual: https://www.lispex.com/v1.19/en/docs - Complete English Markdown manual: https://www.lispex.com/llms-full.txt ## Check freshness first Before trusting any cached page, fetch https://www.lispex.com/version.json and compare its `version` with the version named by that page. If they differ, discard the cached page and fetch the current URL from https://www.lispex.com/llms.txt. This procedure remains valid even when this index itself came from a cache. ## Canonical current pages ### Start Here - Lispex: https://www.lispex.com/v1.19/en/docs/introduction.md - Learning Path: https://www.lispex.com/v1.19/en/docs/learn.md - Reading the Parentheses: https://www.lispex.com/v1.19/en/docs/learn/reading-parentheses.md - First Program: https://www.lispex.com/v1.19/en/docs/getting-started.md ### Learn Lispex - Values, Names, and Procedures: https://www.lispex.com/v1.19/en/docs/learn/values-procedures.md - Code Is Data: https://www.lispex.com/v1.19/en/docs/learn/code-is-data.md - Data, Conditions, and Decisions: https://www.lispex.com/v1.19/en/docs/learn/data-decisions.md - First Decision Rule: https://www.lispex.com/v1.19/en/docs/guides/first-project.md - Where Your Program Runs: https://www.lispex.com/v1.19/en/docs/learn/where-your-program-runs.md - Syntax at a Glance: https://www.lispex.com/v1.19/en/docs/language-tour.md ### Language Guides - Recursion: https://www.lispex.com/v1.19/en/docs/guides/recursion.md - Closures and Shared Mutable State: https://www.lispex.com/v1.19/en/docs/guides/closures.md - Working with map, filter, fold, and apply: https://www.lispex.com/v1.19/en/docs/guides/higher-order.md - Producing and Consuming Multiple Values: https://www.lispex.com/v1.19/en/docs/guides/multiple-values.md - Study SICP with Lispex: https://www.lispex.com/v1.19/en/docs/guides/sicp.md ### Language Basics - Source Text, Tokens, and Reader: https://www.lispex.com/v1.19/en/docs/manual/source-reader.md - Expressions and Evaluation Order: https://www.lispex.com/v1.19/en/docs/manual/evaluation-order.md - Bindings, Scope, Cells, and Mutation: https://www.lispex.com/v1.19/en/docs/manual/bindings.md - Procedures, Arity, Application, and apply: https://www.lispex.com/v1.19/en/docs/manual/procedures.md - Conditionals and Derived Forms: https://www.lispex.com/v1.19/en/docs/manual/conditionals.md - Data and Aggregate Types: https://www.lispex.com/v1.19/en/docs/manual/data-types.md - Exact and Inexact Numbers: https://www.lispex.com/v1.19/en/docs/manual/numbers.md ### Advanced Language - Equality and Identity: https://www.lispex.com/v1.19/en/docs/manual/equality.md - Proper Tail Calls and Recursion: https://www.lispex.com/v1.19/en/docs/manual/tail-calls.md - Multiple Values and Value Contexts: https://www.lispex.com/v1.19/en/docs/manual/multiple-values.md - Errors, Warnings, and Diagnostics: https://www.lispex.com/v1.19/en/docs/manual/diagnostics.md - One-Shot Continuations and dynamic-wind: https://www.lispex.com/v1.19/en/docs/manual/continuations.md - I/O, Capabilities, and Explicit Effects: https://www.lispex.com/v1.19/en/docs/manual/io-capabilities.md - Determinism and Resource Profiles: https://www.lispex.com/v1.19/en/docs/manual/determinism-resources.md ### Lispex Vouch - Lispex Vouch: https://www.lispex.com/v1.19/en/docs/vouch.md - Use Lispex Vouch: https://www.lispex.com/v1.19/en/docs/guides/vouch.md - Vouch Receipts and Reports: https://www.lispex.com/v1.19/en/docs/reference/vouch-receipts.md - Replaying a Decision Corpus: https://www.lispex.com/v1.19/en/docs/guides/vouch-replay.md - Using Vouch Bridge: https://www.lispex.com/v1.19/en/docs/guides/vouch-bridge.md ### Decision Rule Guides - Run and Check Decision Records: https://www.lispex.com/v1.19/en/docs/guides/decision-rules.md - Handling Errors Deterministically: https://www.lispex.com/v1.19/en/docs/guides/errors.md - The Ready-Made Refund Example: https://www.lispex.com/v1.19/en/docs/guides/practical-decision-workspace.md - Application Handoff: https://www.lispex.com/v1.19/en/docs/guides/application-handoff.md ### Syntax Reference - Core Forms: https://www.lispex.com/v1.19/en/docs/reference/core-forms.md - Derived Forms: https://www.lispex.com/v1.19/en/docs/reference/derived-forms.md - Reserved and Forbidden Names: https://www.lispex.com/v1.19/en/docs/reference/reserved-and-forbidden.md - Reader Grammar: https://www.lispex.com/v1.19/en/docs/reference/reader-grammar.md - Error and Warning Catalog: https://www.lispex.com/v1.19/en/docs/reference/diagnostic-catalog.md ### Procedure Reference - Procedure Index: https://www.lispex.com/v1.19/en/docs/reference/procedure-index.md - Numeric Procedures: https://www.lispex.com/v1.19/en/docs/reference/numeric-procedures.md - List and Aggregate Procedures: https://www.lispex.com/v1.19/en/docs/reference/list-aggregate-procedures.md - String, Character, and Bytevector Procedures: https://www.lispex.com/v1.19/en/docs/reference/string-char-bytevector.md - Higher-Order Procedures: https://www.lispex.com/v1.19/en/docs/reference/higher-order-procedures.md ### Runtime and Installation - Downloads: https://www.lispex.com/v1.19/en/downloads - Use Lispex with an AI Assistant: https://www.lispex.com/v1.19/en/docs/guides/ai-assistant.md - Runtime and Backends: https://www.lispex.com/v1.19/en/docs/reference/runtime-backends.md - Native and npm CLI: https://www.lispex.com/v1.19/en/docs/reference/cli.md - Choose Where to Run Lispex: https://www.lispex.com/v1.19/en/docs/guides/choosing-runtime.md - Install an Optional Extra Engine: https://www.lispex.com/v1.19/en/docs/guides/portable-routes.md ### Artifacts and Formats - Lispex Images: https://www.lispex.com/v1.19/en/docs/guides/lispex-images.md - Image Format and Safety: https://www.lispex.com/v1.19/en/docs/reference/image-format-safety.md - Core IR Contract: https://www.lispex.com/v1.19/en/docs/reference/core-ir.md - Building and Inspecting Core IR: https://www.lispex.com/v1.19/en/docs/guides/core-ir.md - Bytecode, Verifier, and Native VMs: https://www.lispex.com/v1.19/en/docs/reference/bytecode-vm.md - Resource-Controlled Evaluator Contract: https://www.lispex.com/v1.19/en/docs/reference/bounded-evaluator.md - Run Verified Bytecode: https://www.lispex.com/v1.19/en/docs/guides/verified-bytecode.md - Build a Product Compiled Ahead of Time: https://www.lispex.com/v1.19/en/docs/guides/topaz-aot.md - Run a Rule with a Resource Profile: https://www.lispex.com/v1.19/en/docs/guides/bounded-embedding.md ### Coverage and Evidence - MCP Tool Reference: https://www.lispex.com/v1.19/en/docs/reference/mcp.md - Backend Observation Matrix: https://www.lispex.com/v1.19/en/docs/reference/backend-observation-matrix.md - Checked Product Surfaces: https://www.lispex.com/v1.19/en/docs/reference/checked-surfaces.md - Current Product Catalog: https://www.lispex.com/v1.19/en/docs/reference/current-scope.md ### About Lispex - Philosophy: https://www.lispex.com/v1.19/en/docs/philosophy.md - History: https://www.lispex.com/v1.19/en/docs/history.md - Product Roadmap: https://www.lispex.com/v1.19/en/docs/roadmap.md ## Other current surfaces - Assistant primer: https://www.lispex.com/agents.md - Complete English manual: https://www.lispex.com/llms-full.txt - MCP descriptor: https://www.lispex.com/mcp.json - Localized manuals: https://www.lispex.com/v1.19/en/, https://www.lispex.com/v1.19/ko/, https://www.lispex.com/v1.19/ru/ - Downloads: https://www.lispex.com/v1.19/en/downloads - Playground: https://www.lispex.com/v1.19/en/play Classic pages are intentionally separate from the current-manual index.