Lispex 2.0 specification · not released · Tested product not run · Examples not run

# lispex reference

> 2.0 · 2.0-draft-1 · English

- [Sandbox contract](/v2.0/en/docs/markdown/language/sandbox-contract.md): Run a rule with explicit data and finite limits. The same semantic request has the same outcome in every conforming product.
- [Source and normalization](/v2.0/en/docs/markdown/language/source.md): Source text, tokens, literals, and the normalized form of a Lispex rule.
- [Values and text](/v2.0/en/docs/markdown/language/values.md): Build immutable data, compare values, and preserve exact Unicode text across rule boundaries.
- [Exact numbers](/v2.0/en/docs/markdown/language/numbers.md): Calculate with exact integers, rational numbers, and decimals. Choose scale and rounding explicitly and keep numeric work within finite limits.
- [Evaluation and bindings](/v2.0/en/docs/markdown/language/evaluation.md): Evaluation order, lexical scope, immutable bindings, and recursion.
- [Procedures](/v2.0/en/docs/markdown/language/procedures.md): Procedure arguments, application, internal values, and the rule entry boundary.
- [Conditions](/v2.0/en/docs/markdown/language/conditions.md): Handle domain failures with lexical guards. Preserve structured conditions and terminal resource failures.
- [Resources](/v2.0/en/docs/markdown/language/resources.md): Run every request with finite budgets. Preserve the first resource stop across products, caches, and optimizations.
- [Standard library](/v2.0/en/docs/markdown/library.md): Use public procedures to inspect and construct immutable data. Guest library code and the native kernel share one resource contract.
- [Preparation and modules](/v2.0/en/docs/markdown/tools/prepare.md): Prepare a closed program before evaluating it. Modules preserve lexical bindings and caches preserve evaluation meaning.
- [Profiles and value interchange](/v2.0/en/docs/markdown/profiles.md): Select profile admission and evidence requirements while preserving Lispex meaning. Exchange exact data through a canonical codec.
- [Identity, receipt, replay](/v2.0/en/docs/markdown/profiles/receipt-and-replay.md): Retain a request and its outcome to repeat a rule evaluation. Keep source identity and execution evidence separate.
- [Meaning graph](/v2.0/en/docs/markdown/tools/meaning-graph.md): Inspect resolved bindings, control flow, source locations, and recorded execution paths while preserving the rule outcome.
- [Embedding and packages](/v2.0/en/docs/markdown/tools/embedding.md): Call a prepared rule with canonical data and finite limits. Validate its artifacts and package before evaluation.
- [CLI and diagnostics](/v2.0/en/docs/markdown/tools/run.md): Prepare, run, and verify commands, finite presets, outcomes, and diagnostics.
- [Diagnostics](/v2.0/en/docs/markdown/diagnostics.md): Diagnostic phases, stable codes, condition data, and failure reports.
- [First rule](/v2.0/en/docs/markdown/tour/first-rule.md): Use one rule to select the first item of an input list. Change the input, inspect a failure, and repeat a request.

[Full reference](/v2.0/en/docs/llms-full.txt)