# PtcRunner v0.13.0 - Table of Contents

> Secure BEAM sandbox runtime for LLM code mode and MCP aggregation. Run concurrent LLM/tool clients safely while agents orchestrate approved tools, call upstream MCP/OpenAPI servers, and transform data.

## Pages

- [PtcRunner](readme.md)
- [LICENSE](license.md)

- SubAgent Guides
  - [Getting Started with SubAgents](subagent-getting-started.md)
  - [LLM Setup](subagent-llm-setup.md)
  - [Text Mode SubAgents](subagent-text-mode.md)
  - [Text Mode + PTC-Lisp Compute (Combined Mode)](text-mode-ptc-compute.md)
  - [Core Concepts](subagent-concepts.md)
  - [Composition Patterns](subagent-patterns.md)
  - [PTC-Lisp Transport (:content vs :tool_call)](subagent-ptc-transport.md)
  - [Navigator Pattern: Journaled Tasks (Advanced)](subagent-navigator.md)
  - [Recursive Language Model (RLM) Patterns](subagent-rlm-patterns.md)
  - [Testing SubAgents](subagent-testing.md)
  - [Troubleshooting SubAgents](subagent-troubleshooting.md)
  - [Observability](subagent-observability.md)
  - [Context Compaction](subagent-compaction.md)
  - [Advanced Topics](subagent-advanced.md)
  - [Capability Preludes — Authoring & Deploying Guide](capability-prelude.md)
  - [Prompt Customization](subagent-prompts.md)

- Integration Guides
  - [Phoenix Streaming with SubAgent.chat/3](phoenix-streaming.md)
  - [Structured Output Callbacks](structured-output-callbacks.md)

- Upstream Runtime
  - [Root Upstream Runtime](upstream-runtime.md)
  - [PtcRunner MCP Aggregator Mode](aggregator-mode.md)

- MCP Server
  - [MCP Server README](mcp-server-readme.md)
  - [MCP Server Development](mcp-server-development.md)
  - [MCP Server CLI](mcp-server-cli.md)
  - [PtcRunner MCP Server](mcp-server.md)
  - [MCP Getting Started](mcp-getting-started.md)
  - [Agentic Mode](agentic-mode.md)
  - [Diagnostics: lisp_debug](mcp-debug.md)
  - [MCP Server Configuration Reference](mcp-server-configuration.md)
  - [MCP Streamable HTTP Deployment](mcp-server-http-deployment.md)

- Reference
  - [Signature Syntax](signature-syntax.md)
  - [Benchmark Evaluation](benchmark-eval.md)
  - [PTC-Lisp Language Specification](ptc-lisp-specification.md)
  - [Clojure Conformance Gaps](clojure-conformance-gaps.md)
  - [PTC-Lisp Function Reference](function-reference.md)
  - [Java Interop Reference for PTC-Lisp](java-interop.md)
  - [PTC-Lisp Namespace Coverage](index.md)
  - [Clojure Core Audit for PTC-Lisp](clojure-core-audit.md)
  - [Clojure String Audit for PTC-Lisp](clojure-string-audit.md)
  - [Clojure Set Audit for PTC-Lisp](clojure-set-audit.md)
  - [Clojure Walk Audit for PTC-Lisp](clojure-walk-audit.md)
  - [Java Math Audit for PTC-Lisp](java-math-audit.md)
  - [Java Boolean Audit for PTC-Lisp](java-lang-boolean-audit.md)
  - [Java Double Audit for PTC-Lisp](java-lang-double-audit.md)
  - [Java Float Audit for PTC-Lisp](java-lang-float-audit.md)
  - [Java Integer Audit for PTC-Lisp](java-lang-integer-audit.md)
  - [Java Long Audit for PTC-Lisp](java-lang-long-audit.md)
  - [Java String Audit for PTC-Lisp](java-lang-string-audit.md)
  - [Java System Audit for PTC-Lisp](java-lang-system-audit.md)
  - [Java LocalDate Audit for PTC-Lisp](java-time-local-date-audit.md)
  - [Java Instant Audit for PTC-Lisp](java-time-instant-audit.md)
  - [Java Duration Audit for PTC-Lisp](java-time-duration-audit.md)
  - [Java Period Audit for PTC-Lisp](java-time-period-audit.md)
  - [Java Date Audit for PTC-Lisp](java-util-date-audit.md)

- Livebooks
  - [PTC-Lisp Playground](ptc_runner_playground.md)
  - [SubAgent Examples](ptc_runner_llm_agent.md)
  - [Output Modes in an Application Loop](output_modes_in_app_loops.md)
  - [Joke Workflow: LangGraph vs PTC-Lisp](joke_workflow.md)
  - [Observability & Tracing](observability_and_tracing.md)
  - [Prompt Caching](prompt_caching.md)

## Modules

- [PtcRunner.Lisp.Analyze.PreludeScope](PtcRunner.Lisp.Analyze.PreludeScope.md): Process-local scope for the compiled prelude consulted during a single
analysis pass (Capability Prelude V1, plan §4 / §2).
- [PtcRunner.Lisp.BuiltinNames](PtcRunner.Lisp.BuiltinNames.md): Leaf source of env-dispatched builtin names, loaded from
`priv/functions.exs` at compile time.
- [PtcRunner.Lisp.ClosureCapture](PtcRunner.Lisp.ClosureCapture.md): Scope-aware helpers for determining which names a closure body references.

- [PtcRunner.Lisp.Discovery](PtcRunner.Lisp.Discovery.md): Local REPL-style discovery for executable PTC-Lisp capabilities.
- [PtcRunner.Lisp.Env.Builtin](PtcRunner.Lisp.Env.Builtin.md): Metadata wrapper for callable environment builtins.
- [PtcRunner.Lisp.Eval.ParallelBudget](PtcRunner.Lisp.Eval.ParallelBudget.md): A shared, lock-free slot semaphore bounding the number of parallel
`pmap`/`pcalls` worker processes alive at once across a whole
`PtcRunner.Lisp.run/2`.
- [PtcRunner.Lisp.Eval.ParallelRunner](PtcRunner.Lisp.Eval.ParallelRunner.md): Heap-capped, slot-bounded parallel execution of untrusted PTC-Lisp
work (`pmap`/`pcalls`).
- [PtcRunner.Lisp.Format](PtcRunner.Lisp.Format.md): Format PTC-Lisp values for human/LLM display.
- [PtcRunner.Lisp.Keyword](PtcRunner.Lisp.Keyword.md): Runtime representation for PTC-Lisp keywords that are not in the bounded atom vocabulary.
- [PtcRunner.Lisp.Prelude](PtcRunner.Lisp.Prelude.md): Compiled, stateless deployment prelude artifact (Capability Prelude V1).
- [PtcRunner.Lisp.Prelude.Attach](PtcRunner.Lisp.Prelude.Attach.md): Attach-time validation for a compiled deployment prelude (Capability
Prelude V1, plan §3 / §6A).
- [PtcRunner.Lisp.Prelude.AttachContext](PtcRunner.Lisp.Prelude.AttachContext.md): The capability context a prelude's `requires` are validated against at attach
time (plan P3).
- [PtcRunner.Lisp.Prelude.Bundle](PtcRunner.Lisp.Prelude.Bundle.md): Deterministic source-level composition for selected capability preludes.
- [PtcRunner.Lisp.Prelude.Compiler](PtcRunner.Lisp.Prelude.Compiler.md): Compiles deployment prelude SOURCE into a `%PtcRunner.Lisp.Prelude{}`
artifact (Capability Prelude V1, plan §1 / §3).
- [PtcRunner.Lisp.Prelude.Export](PtcRunner.Lisp.Prelude.Export.md): Per-export public projection consulted by the analyzer, evaluator,
discovery forms, and the prompt renderer (Capability Prelude V1).
- [PtcRunner.Lisp.Prelude.PromptInventory](PtcRunner.Lisp.Prelude.PromptInventory.md): Deterministic, bounded prompt-inventory renderer for a compiled prelude
(Capability Prelude V1, plan §9).
- [PtcRunner.Lisp.Prelude.Spec](PtcRunner.Lisp.Prelude.Spec.md): Internal raw-definition spec gathered by
`PtcRunner.Lisp.Prelude.Compiler` during its AST walk, before
host-boundary `%PtcRunner.Lisp.Prelude.Export{}` records are built and
before the callable private env is captured.
- [PtcRunner.Lisp.Prelude.ValidationError](PtcRunner.Lisp.Prelude.ValidationError.md): Compile-time validation failure for a deployment prelude (Capability
Prelude V1, plan §3 / §10).
- [PtcRunner.Lisp.ProtectedNamespaces](PtcRunner.Lisp.ProtectedNamespaces.md): Single consult point for namespace protection in Capability Prelude V1.
- [PtcRunner.Lisp.Runtime.Args](PtcRunner.Lisp.Runtime.Args.md): Shared runtime argument validation for Env builtin calls.

- [PtcRunner.Lisp.Runtime.Builtins](PtcRunner.Lisp.Runtime.Builtins.md): The manifest of PTC-Lisp builtin bindings exposed by the Runtime subsystem.
- [PtcRunner.Lisp.Runtime.Describe](PtcRunner.Lisp.Runtime.Describe.md): Bounded data-shape summaries for PTC-Lisp values.

- [PtcRunner.Lisp.Runtime.Json](PtcRunner.Lisp.Runtime.Json.md): JSON parsing and generation for PTC-Lisp.
- [PtcRunner.Lisp.RuntimeCallable](PtcRunner.Lisp.RuntimeCallable.md): Runtime callable for effectful qualified Lisp symbols.
- [PtcRunner.Lisp.SourceAtoms](PtcRunner.Lisp.SourceAtoms.md): Bounded vocabulary — the set of names the parser is allowed to
intern as atoms.
- [PtcRunner.Lisp.SpecValidator.Parser](PtcRunner.Lisp.SpecValidator.Parser.md): Markdown-extraction half of `PtcRunner.Lisp.SpecValidator`.
- [PtcRunner.PreludeCandidate](PtcRunner.PreludeCandidate.md): Versioned, source-bearing prelude candidate stored by `PtcRunner.PreludeStore`.
- [PtcRunner.PreludeStore](PtcRunner.PreludeStore.md): In-memory versioned store for source-bearing capability preludes.
- [PtcRunner.PreludeStore.Tools](PtcRunner.PreludeStore.Tools.md): Private backing tools and public `prelude/` wrapper source for PreludeStore.
- [PtcRunner.PtcToolProtocol](PtcRunner.PtcToolProtocol.md): Wire-format source of truth for the `lisp_eval` tool surface.
- [PtcRunner.Session](PtcRunner.Session.md): Stateful PTC-Lisp session for embedding applications.
- [PtcRunner.SubAgent.Exposure](PtcRunner.SubAgent.Exposure.md): Pure helpers for tool exposure resolution and filtering.
- [PtcRunner.SubAgent.Loop.LispOpts](PtcRunner.SubAgent.Loop.LispOpts.md): Shared builder for `PtcRunner.Lisp.run/2` opts across every loop transport.
- [PtcRunner.SubAgent.Loop.NativePreview](PtcRunner.SubAgent.Loop.NativePreview.md): Build LLM-facing native tool result previews for combined-mode agents.
- [PtcRunner.SubAgent.Loop.PtcToolCall](PtcRunner.SubAgent.Loop.PtcToolCall.md): Native tool-call transport handler for `ptc_transport: :tool_call` agents.
- [PtcRunner.SubAgent.Loop.Shared](PtcRunner.SubAgent.Loop.Shared.md): Helpers shared across the loop drivers (`Loop`, `TextMode`, `PtcToolCall`,
`JsonHandler`, `StepAssembler`).
- [PtcRunner.SubAgent.Namespace.SampleFormatter](PtcRunner.SubAgent.Namespace.SampleFormatter.md): Shared sample-value formatting for namespace renderers.
- [PtcRunner.SubAgent.Runner](PtcRunner.SubAgent.Runner.md): Internal execution boundary for `%PtcRunner.SubAgent.Definition{}` agents.
- [PtcRunner.SubAgent.UntrustedRenderer](PtcRunner.SubAgent.UntrustedRenderer.md): Wraps untrusted content in data-only envelopes for LLM feedback.
- [PtcRunner.Temporal](PtcRunner.Temporal.md): Normalize Elixir temporal structs (`DateTime`, `NaiveDateTime`, `Date`, `Time`)
to ISO 8601 strings before they cross any boundary into LLM-visible territory.
- [PtcRunner.TraceLog.Introspection](PtcRunner.TraceLog.Introspection.md): Host-bound, read-only introspection over recorded turn-log sessions, packaged
as the `log/` capability prelude (plan P3, D4).
- [PtcRunner.TraceLog.Introspection.Holder](PtcRunner.TraceLog.Introspection.Holder.md): Host-side owner of a loaded turn-log event list backing an introspection
grant (P2 of `docs/plans/sandbox-heap-rebaseline.md`).
- [PtcRunner.TraceLog.MemorySink](PtcRunner.TraceLog.MemorySink.md): In-memory ring-buffer sink for turn-log events, alongside the JSONL file
sink (`PtcRunner.TraceLog.Collector`).
- [PtcRunner.TraceLog.TurnEvent](PtcRunner.TraceLog.TurnEvent.md): Shared builder for the canonical *turn* event — the substrate-level record
of one driver turn, emitted identically by both turn drivers (plan D1)
- [PtcRunner.Upstream.Eval](PtcRunner.Upstream.Eval.md): High-level Lisp orchestration over the upstream runtime.
- [PtcRunner.Upstream.Result](PtcRunner.Upstream.Result.md): Transport-neutral upstream call result helpers.

- [PtcRunner.Upstream.Runtime](PtcRunner.Upstream.Runtime.md): OTP-backed upstream runtime handle for root `ptc_runner` callers.

- [PtcRunner.Upstream.Transport](PtcRunner.Upstream.Transport.md): Behaviour for root-owned upstream client transports.

- Core
  - [PtcRunner](PtcRunner.md): BEAM-native Programmatic Tool Calling (PTC) library.
  - [PtcRunner.Chunker](PtcRunner.Chunker.md): Text chunking utilities for RLM preprocessing.
  - [PtcRunner.Context](PtcRunner.Context.md): Manages context, memory, and tools for program execution.
  - [PtcRunner.Dotenv](PtcRunner.Dotenv.md): Loads environment variables from `.env` files.
  - [PtcRunner.Mustache](PtcRunner.Mustache.md): Standalone Mustache template parser and expander.
  - [PtcRunner.Sandbox](PtcRunner.Sandbox.md): Executes programs in isolated BEAM processes with resource limits.
  - [PtcRunner.Schema](PtcRunner.Schema.md): Declarative schema module that defines all DSL operations.
  - [PtcRunner.Step](PtcRunner.Step.md): Result of executing a PTC program or SubAgent mission.
  - [PtcRunner.Template](PtcRunner.Template.md): Represents a template with extracted placeholders.
  - [PtcRunner.Tool](PtcRunner.Tool.md): Normalized tool definition for PTC-Lisp and SubAgent.
  - [PtcRunner.Turn](PtcRunner.Turn.md): Captures a single LLM interaction cycle in a SubAgent execution.

- SubAgent
  - [PtcRunner.SubAgent](PtcRunner.SubAgent.md): Agentic loop for LLM-driven PTC-Lisp execution.
  - [PtcRunner.SubAgent.Chaining](PtcRunner.SubAgent.Chaining.md): Chaining functions for SubAgent pipelines.
  - [PtcRunner.SubAgent.Compaction](PtcRunner.SubAgent.Compaction.md): Pressure-triggered context compaction for multi-turn agents.
  - [PtcRunner.SubAgent.Compaction.Context](PtcRunner.SubAgent.Compaction.Context.md): Read-only context passed to compaction strategies.
  - [PtcRunner.SubAgent.Compaction.Trim](PtcRunner.SubAgent.Compaction.Trim.md): Deterministic pressure-triggered trimming strategy.
  - [PtcRunner.SubAgent.CompiledAgent](PtcRunner.SubAgent.CompiledAgent.md): A compiled SubAgent with pre-derived PTC-Lisp logic.
  - [PtcRunner.SubAgent.Compiler](PtcRunner.SubAgent.Compiler.md): Compilation logic for SubAgents.
  - [PtcRunner.SubAgent.Debug](PtcRunner.SubAgent.Debug.md): Debug helpers for visualizing SubAgent execution.
  - [PtcRunner.SubAgent.Definition](PtcRunner.SubAgent.Definition.md): Struct and type definitions for SubAgent configuration.
  - [PtcRunner.SubAgent.JsonParser](PtcRunner.SubAgent.JsonParser.md): Extracts JSON from LLM responses, handling common formatting quirks.
  - [PtcRunner.SubAgent.KeyNormalizer](PtcRunner.SubAgent.KeyNormalizer.md): Normalizes map keys at the tool boundary.
  - [PtcRunner.SubAgent.LLMResolver](PtcRunner.SubAgent.LLMResolver.md): LLM resolution and invocation for SubAgents.
  - [PtcRunner.SubAgent.Loop](PtcRunner.SubAgent.Loop.md): Core agentic loop that manages LLM↔tool cycles.
  - [PtcRunner.SubAgent.Loop.Budget](PtcRunner.SubAgent.Loop.Budget.md): Budget checking, callback handling, and fallback recovery for SubAgent execution.
  - [PtcRunner.SubAgent.Loop.JsonHandler](PtcRunner.SubAgent.Loop.JsonHandler.md): Shared JSON response handling for text mode variants.
  - [PtcRunner.SubAgent.Loop.LLMRetry](PtcRunner.SubAgent.Loop.LLMRetry.md): LLM retry logic with configurable backoff strategies.
  - [PtcRunner.SubAgent.Loop.Metrics](PtcRunner.SubAgent.Loop.Metrics.md): Telemetry, tracing, and usage metrics for SubAgent execution.
  - [PtcRunner.SubAgent.Loop.ResponseHandler](PtcRunner.SubAgent.Loop.ResponseHandler.md): Response parsing and validation for LLM responses.
  - [PtcRunner.SubAgent.Loop.ReturnValidation](PtcRunner.SubAgent.Loop.ReturnValidation.md): Return type validation for SubAgent execution.
  - [PtcRunner.SubAgent.Loop.State](PtcRunner.SubAgent.Loop.State.md): Typed state struct for the SubAgent execution loop.
  - [PtcRunner.SubAgent.Loop.StepAssembler](PtcRunner.SubAgent.Loop.StepAssembler.md): Final step assembly for SubAgent execution.
  - [PtcRunner.SubAgent.Loop.TextMode](PtcRunner.SubAgent.Loop.TextMode.md): Unified execution loop for text output mode.
  - [PtcRunner.SubAgent.Loop.ToolNormalizer](PtcRunner.SubAgent.Loop.ToolNormalizer.md): Tool preparation and wrapping for SubAgent execution.
  - [PtcRunner.SubAgent.Loop.TurnFeedback](PtcRunner.SubAgent.Loop.TurnFeedback.md): Turn feedback formatting for SubAgent execution.
  - [PtcRunner.SubAgent.ProgressRenderer](PtcRunner.SubAgent.ProgressRenderer.md): Renders a markdown checklist from plan steps and summaries.
  - [PtcRunner.SubAgent.PromptExpander](PtcRunner.SubAgent.PromptExpander.md): Template string expansion with placeholder validation.
  - [PtcRunner.SubAgent.Validator](PtcRunner.SubAgent.Validator.md): Validates SubAgent options at construction time.
  - [PtcRunner.SubAgentError](PtcRunner.SubAgentError.md): Exception raised by `SubAgent.run!/2` and `SubAgent.then!/2` when execution fails.

- SubAgent — Signatures
  - [PtcRunner.SubAgent.Sigils](PtcRunner.SubAgent.Sigils.md): Sigils for SubAgent templates.
  - [PtcRunner.SubAgent.Signature](PtcRunner.SubAgent.Signature.md): Signature parsing and validation for SubAgents.
  - [PtcRunner.SubAgent.Signature.Coercion](PtcRunner.SubAgent.Signature.Coercion.md): Coerce values to expected types with warning generation.
  - [PtcRunner.SubAgent.Signature.Parser](PtcRunner.SubAgent.Signature.Parser.md): NimbleParsec-based parser for signature strings.
  - [PtcRunner.SubAgent.Signature.ParserHelpers](PtcRunner.SubAgent.Signature.ParserHelpers.md): Helper functions for signature parser AST building.

  - [PtcRunner.SubAgent.Signature.Renderer](PtcRunner.SubAgent.Signature.Renderer.md): Renders signatures back to string representation.
  - [PtcRunner.SubAgent.Signature.TypeResolver](PtcRunner.SubAgent.Signature.TypeResolver.md): Resolve paths against parsed signature types.
  - [PtcRunner.SubAgent.Signature.Validator](PtcRunner.SubAgent.Signature.Validator.md): Validates data against signature type specifications.
  - [PtcRunner.SubAgent.TypeExtractor](PtcRunner.SubAgent.TypeExtractor.md): Extract signature and description from Elixir function @spec and @doc.

- SubAgent — Prompts & Tools
  - [PtcRunner.PromptLoader](PtcRunner.PromptLoader.md): Compile-time utilities for loading prompt templates from files.
  - [PtcRunner.Prompts](PtcRunner.Prompts.md): Centralized prompt loading for PtcRunner.
  - [PtcRunner.SubAgent.BuiltinTools](PtcRunner.SubAgent.BuiltinTools.md): Pure functions for resolving builtin tool families into tool maps.
  - [PtcRunner.SubAgent.LLMTool](PtcRunner.SubAgent.LLMTool.md): LLM-powered tools for classification, evaluation, and judgment.
  - [PtcRunner.SubAgent.Namespace](PtcRunner.SubAgent.Namespace.md): Renders namespaces for the USER message (REPL with Prelude model).
  - [PtcRunner.SubAgent.Namespace.Data](PtcRunner.SubAgent.Namespace.Data.md): Renders the data/ namespace section.
  - [PtcRunner.SubAgent.Namespace.ExecutionHistory](PtcRunner.SubAgent.Namespace.ExecutionHistory.md): Renders tool call history and println output.
  - [PtcRunner.SubAgent.Namespace.Tool](PtcRunner.SubAgent.Namespace.Tool.md): Renders available tools for the USER message namespace section.
  - [PtcRunner.SubAgent.Namespace.TypeVocabulary](PtcRunner.SubAgent.Namespace.TypeVocabulary.md): Converts Elixir values to human-readable type labels.
  - [PtcRunner.SubAgent.Namespace.User](PtcRunner.SubAgent.Namespace.User.md): Renders the user/ namespace section (LLM-defined functions and values).
  - [PtcRunner.SubAgent.SubAgentTool](PtcRunner.SubAgent.SubAgentTool.md): Wraps a SubAgent as a callable tool for parent agents.
  - [PtcRunner.SubAgent.SystemPrompt](PtcRunner.SubAgent.SystemPrompt.md): System prompt generation for SubAgent LLM interactions.
  - [PtcRunner.SubAgent.SystemPrompt.Output](PtcRunner.SubAgent.SystemPrompt.Output.md): Expected output section generation for SubAgent prompts.
  - [PtcRunner.SubAgent.Telemetry](PtcRunner.SubAgent.Telemetry.md): Telemetry event emission for SubAgent execution.
  - [PtcRunner.SubAgent.ToolSchema](PtcRunner.SubAgent.ToolSchema.md): Converts Tool structs to OpenAI-format JSON Schema tool definitions.

- PTC-Lisp
  - [PtcRunner.Lisp](PtcRunner.Lisp.md): Execute PTC programs written in Lisp DSL (Clojure subset).
  - [PtcRunner.Lisp.AST](PtcRunner.Lisp.AST.md): AST node types for PTC-Lisp
  - [PtcRunner.Lisp.Analyze](PtcRunner.Lisp.Analyze.md): Validates and desugars RawAST into CoreAST.
  - [PtcRunner.Lisp.Analyze.Conditionals](PtcRunner.Lisp.Analyze.Conditionals.md): Conditional analysis for `if`, `if-not`, `when`, `when-not`, `if-let`,
`when-let`, `if-some`, `when-some`, `when-first`, `cond`, `case`, and `condp` forms.
  - [PtcRunner.Lisp.Analyze.Definitions](PtcRunner.Lisp.Analyze.Definitions.md): Definition analysis for `def`, `defonce`, and `defn` forms.
  - [PtcRunner.Lisp.Analyze.Iteration](PtcRunner.Lisp.Analyze.Iteration.md): Iteration analysis for `doseq` and `for` comprehensions.
  - [PtcRunner.Lisp.Analyze.Patterns](PtcRunner.Lisp.Analyze.Patterns.md): Pattern analysis and destructuring for let bindings and function parameters.
  - [PtcRunner.Lisp.Analyze.ShortFn](PtcRunner.Lisp.Analyze.ShortFn.md): Analyzer for short function syntax (#()).
  - [PtcRunner.Lisp.ClojureValidator](PtcRunner.Lisp.ClojureValidator.md): Validates PTC-Lisp programs against Babashka/Clojure.
  - [PtcRunner.Lisp.CoreAST](PtcRunner.Lisp.CoreAST.md): Core, validated AST for PTC-Lisp.
  - [PtcRunner.Lisp.CoreToSource](PtcRunner.Lisp.CoreToSource.md): Convert Core AST (the analyzed/desugared representation) back to PTC-Lisp source strings.
  - [PtcRunner.Lisp.DataKeys](PtcRunner.Lisp.DataKeys.md): Static analysis to extract data keys accessed by a PTC-Lisp program.
  - [PtcRunner.Lisp.Env](PtcRunner.Lisp.Env.md): Builds the initial environment with builtins for PTC-Lisp.
  - [PtcRunner.Lisp.Formatter](PtcRunner.Lisp.Formatter.md): Serialize PTC-Lisp AST to source code string.
  - [PtcRunner.Lisp.LanguageSpec](PtcRunner.Lisp.LanguageSpec.md): Language specification compositions for PTC-Lisp.
  - [PtcRunner.Lisp.Parser](PtcRunner.Lisp.Parser.md): Parser entry point for PTC-Lisp.
  - [PtcRunner.Lisp.Registry](PtcRunner.Lisp.Registry.md): Single source of truth for PTC-Lisp function metadata.
  - [PtcRunner.Lisp.SpecValidator](PtcRunner.Lisp.SpecValidator.md): Validates PTC-Lisp specification against implementation.
  - [PtcRunner.Lisp.SymbolCounter](PtcRunner.Lisp.SymbolCounter.md): Counts unique user-defined symbols and keywords in a parsed Lisp AST.

- PTC-Lisp — Evaluation
  - [PtcRunner.Lisp.Eval](PtcRunner.Lisp.Eval.md): Evaluates CoreAST into values.
  - [PtcRunner.Lisp.Eval.Apply](PtcRunner.Lisp.Eval.Apply.md): Function application dispatch for Lisp evaluation.
  - [PtcRunner.Lisp.Eval.Context](PtcRunner.Lisp.Eval.Context.md): Evaluation context for the Lisp interpreter.
  - [PtcRunner.Lisp.Eval.Helpers](PtcRunner.Lisp.Eval.Helpers.md): Shared helper functions for Lisp evaluation.
  - [PtcRunner.Lisp.Eval.Patterns](PtcRunner.Lisp.Eval.Patterns.md): Pattern matching for let bindings in Lisp evaluation.
  - [PtcRunner.Lisp.ExecutionError](PtcRunner.Lisp.ExecutionError.md): Exception used to signal execution errors during Lisp evaluation.
  - [PtcRunner.Lisp.Runtime](PtcRunner.Lisp.Runtime.md): Built-in functions for PTC-Lisp.
  - [PtcRunner.Lisp.Runtime.Callable](PtcRunner.Lisp.Runtime.Callable.md): Dispatch helper for calling Lisp functions from Collection operations.
  - [PtcRunner.Lisp.Runtime.Collection](PtcRunner.Lisp.Runtime.Collection.md): Collection operations for PTC-Lisp runtime.
  - [PtcRunner.Lisp.Runtime.Collection.Normalize](PtcRunner.Lisp.Runtime.Collection.Normalize.md): Predicate and collection normalization helpers for collection operations.
  - [PtcRunner.Lisp.Runtime.Collection.Select](PtcRunner.Lisp.Runtime.Collection.Select.md): Selection operations for PTC-Lisp collections: filter, remove, find,
some, every?, not_any?, take_while, drop_while.
  - [PtcRunner.Lisp.Runtime.Collection.Transform](PtcRunner.Lisp.Runtime.Collection.Transform.md): Transformation operations for PTC-Lisp collections: map, mapv, mapcat,
keep, map_indexed.
  - [PtcRunner.Lisp.Runtime.FlexAccess](PtcRunner.Lisp.Runtime.FlexAccess.md): Flexible key access helpers for PTC-Lisp runtime.
  - [PtcRunner.Lisp.Runtime.Interop](PtcRunner.Lisp.Runtime.Interop.md): Simulated Java interop for PTC-Lisp.

  - [PtcRunner.Lisp.Runtime.MapOps](PtcRunner.Lisp.Runtime.MapOps.md): Map operations for PTC-Lisp runtime.
  - [PtcRunner.Lisp.Runtime.Math](PtcRunner.Lisp.Runtime.Math.md): Arithmetic operations for PTC-Lisp runtime.
  - [PtcRunner.Lisp.Runtime.Predicates](PtcRunner.Lisp.Runtime.Predicates.md): Type predicates, numeric predicates, and logic operations for PTC-Lisp runtime.
  - [PtcRunner.Lisp.Runtime.Regex](PtcRunner.Lisp.Runtime.Regex.md): Minimal, safe Regex support for PTC-Lisp.
Uses Erlang's :re directly with match limits for ReDoS protection.

  - [PtcRunner.Lisp.Runtime.SpecialValues](PtcRunner.Lisp.Runtime.SpecialValues.md): Unified handling for IEEE 754 special values (Infinity, NaN) in PTC-Lisp.

  - [PtcRunner.Lisp.Runtime.String](PtcRunner.Lisp.Runtime.String.md): String manipulation and parsing operations for PTC-Lisp runtime.
  - [PtcRunner.Lisp.TypeError](PtcRunner.Lisp.TypeError.md): Raised by Lisp runtime functions when arguments have the wrong type.
  - [PtcRunner.ToolExecutionError](PtcRunner.ToolExecutionError.md): Exception raised when a tool execution fails.

- LLM
  - [PtcRunner.LLM](PtcRunner.LLM.md): Behaviour and convenience API for LLM adapters.
  - [PtcRunner.LLM.DefaultRegistry](PtcRunner.LLM.DefaultRegistry.md): Default model registry with built-in aliases for common LLM providers.
  - [PtcRunner.LLM.Registry](PtcRunner.LLM.Registry.md): Behaviour and unified interface for model resolution.
  - [PtcRunner.LLM.ReqLLMAdapter](PtcRunner.LLM.ReqLLMAdapter.md): Built-in LLM adapter using `req_llm`.

- Observability
  - [PtcRunner.Kino.TraceTree](PtcRunner.Kino.TraceTree.md): Interactive trace tree widget for Livebook.
  - [PtcRunner.Metrics.Statistics](PtcRunner.Metrics.Statistics.md): Statistical comparison functions for benchmark results.
  - [PtcRunner.Metrics.TurnAnalysis](PtcRunner.Metrics.TurnAnalysis.md): Extracts per-turn interaction quality metrics from SubAgent execution results.
  - [PtcRunner.TraceContext](PtcRunner.TraceContext.md): Centralizes process dictionary access for tracing context.
  - [PtcRunner.TraceLog](PtcRunner.TraceLog.md): Captures SubAgent execution events to JSONL files for offline analysis.
  - [PtcRunner.TraceLog.Analyzer](PtcRunner.TraceLog.Analyzer.md): Offline analysis of trace log files.
  - [PtcRunner.TraceLog.Collector](PtcRunner.TraceLog.Collector.md): GenServer that collects trace events and writes them to a JSONL file.
  - [PtcRunner.TraceLog.Event](PtcRunner.TraceLog.Event.md): Builds v2 flat event envelopes for trace logging.
  - [PtcRunner.TraceLog.Handler](PtcRunner.TraceLog.Handler.md): Telemetry handler that captures SubAgent events for trace logging.
  - [PtcRunner.Tracer](PtcRunner.Tracer.md): Immutable trace recorder for SubAgent execution.
  - [PtcRunner.Tracer.Timeline](PtcRunner.Tracer.Timeline.md): Text-based timeline visualization for execution traces.

## Mix Tasks

- [mix bench.check](Mix.Tasks.Bench.Check.md): Checks deterministic PTC-Lisp eval metrics against a committed baseline.
- [mix parallel_workers](Mix.Tasks.ParallelWorkers.md): Run the parallel workers (LLM-orchestrated map-reduce) example.
- [mix ptc.audit_upstream](Mix.Tasks.Ptc.AuditUpstream.md): Checks that conformance audit rows point at symbols/members that exist in
local upstream runtimes.
- [mix ptc.clojure_audit](Mix.Tasks.Ptc.ClojureAudit.md): Generates markdown reports comparing PTC-Lisp builtins against Clojure and Java namespaces.
- [mix ptc.conformance_report](Mix.Tasks.Ptc.ConformanceReport.md): Prints a coverage report for explicit PTC-Lisp conformance cases.
- [mix ptc.dna](Mix.Tasks.Ptc.Dna.md): Thin wrapper around `mix ex_dna` that dispatches to the root project or one of
the sibling Mix projects (`mcp_server`, `ptc_viewer`).
- [mix ptc.gen_docs](Mix.Tasks.Ptc.GenDocs.md): Generates documentation from `priv/functions.exs` (implemented + interop),
`priv/function_audit.exs` (Clojure/Java Math parity triage notes), and
`priv/java_compat_audit.exs` (curated Java compatibility targets)
- [mix ptc.install_babashka](Mix.Tasks.Ptc.InstallBabashka.md): Installs Babashka for Clojure validation.
- [mix ptc.repl](Mix.Tasks.Ptc.Repl.md): Starts an interactive REPL for testing PTC-Lisp expressions.
- [mix ptc.smoke](Mix.Tasks.Ptc.Smoke.md): Runs .clj files through both PTC-Lisp and Babashka/Clojure, comparing results.
- [mix ptc.update_spec_checksums](Mix.Tasks.Ptc.UpdateSpecChecksums.md): Regenerates the spec checksums file for drift detection.
- [mix ptc.validate_spec](Mix.Tasks.Ptc.ValidateSpec.md): Validates PTC-Lisp specification against implementation.
- [mix release.smoke](Mix.Tasks.Release.Smoke.md): Runs the local release-readiness smoke checks used before pushing a release tag.