ptc_runner

<!-- Auto-generated — do not edit by hand -->
# PTC-Lisp Namespace Coverage

> **Warning:** This file is auto-generated by `mix ptc.gen_docs` from registry audit metadata.
> Manual edits will be overwritten. Edit `priv/function_audit.exs`, `priv/java_compat_audit.exs`, or `lib/mix/tasks/ptc.gen_docs.ex` instead.

This dashboard tracks how close each namespace is to its documented compatibility target and separates standard compatibility surfaces from PTC-specific extensions.
Coverage is `supported / (supported + candidate + not_classified)` and excludes APIs marked `not_relevant`.
Clojure rows target upstream Clojure namespaces. Java rows use a curated LLM-compatibility target from the Java standard library, not the full JDK surface.
Rows marked `PTC extension` are intentionally outside Clojure/Java standard compatibility.

## Overall Audited Coverage

| Metric | Count |
|--------|-------|
| Supported | 300 |
| Candidate | 82 |
| Not Relevant | 325 |
| Not Classified | 0 |
| Relevant Target | 382 |
| Coverage | 300/382 (78.5%) |

## Namespace Index

| Namespace | Scope | Target | Supported | Candidate | Not Relevant | Coverage | Audit |
|-----------|-------|--------|-----------|-----------|--------------|----------|-------|
| `clojure.core/`, `core/` | Clojure standard | Clojure standard vars (535) | 235 | 14 | 286 | 235/249 (94.4%) | [audit](clojure-core-audit.md) |
| `clojure.string/`, `str/`, `string/` | Clojure standard | Clojure standard vars (21) | 16 | 4 | 1 | 16/20 (80.0%) | [audit](clojure-string-audit.md) |
| `clojure.set/`, `set/` | Clojure standard | Clojure standard vars (12) | 3 | 9 | 0 | 3/12 (25.0%) | [audit](clojure-set-audit.md) |
| `clojure.walk/`, `walk/` | Clojure standard | Clojure standard vars (10) | 3 | 4 | 3 | 3/7 (42.9%) | [audit](clojure-walk-audit.md) |
| `Math/`, `java.lang.Math` | Java standard | curated Java standard methods (49) | 8 | 19 | 22 | 8/27 (29.6%) | [audit](java-math-audit.md) |
| `Boolean/`, `java.lang.Boolean` | Java standard | curated Java standard methods/constants (5) | 1 | 3 | 1 | 1/4 (25.0%) | [audit](java-lang-boolean-audit.md) |
| `Double/`, `java.lang.Double` | Java standard | curated Java standard methods/constants (8) | 4 | 3 | 1 | 4/7 (57.1%) | [audit](java-lang-double-audit.md) |
| `Float/`, `java.lang.Float` | Java standard | curated Java standard methods (5) | 1 | 3 | 1 | 1/4 (25.0%) | [audit](java-lang-float-audit.md) |
| `Integer/`, `java.lang.Integer` | Java standard | curated Java standard methods/constants (5) | 1 | 2 | 2 | 1/3 (33.3%) | [audit](java-lang-integer-audit.md) |
| `Long/`, `java.lang.Long` | Java standard | curated Java standard methods/constants (5) | 1 | 2 | 2 | 1/3 (33.3%) | [audit](java-lang-long-audit.md) |
| `java.lang.String` dot methods | Java standard | curated Java standard methods (15) | 9 | 4 | 2 | 9/13 (69.2%) | [audit](java-lang-string-audit.md) |
| `System/`, `java.lang.System` | Java standard | curated Java standard methods (5) | 1 | 1 | 3 | 1/2 (50.0%) | [audit](java-lang-system-audit.md) |
| `LocalDate/`, `java.time.LocalDate/` | Java standard | curated Java standard methods (9) | 6 | 3 | 0 | 6/9 (66.7%) | [audit](java-time-local-date-audit.md) |
| `Instant/`, `java.time.Instant/` | Java standard | curated Java standard methods (7) | 4 | 3 | 0 | 4/7 (57.1%) | [audit](java-time-instant-audit.md) |
| `Duration/`, `java.time.Duration` | Java standard candidate | curated Java standard methods (5) | 3 | 2 | 0 | 3/5 (60.0%) | [audit](java-time-duration-audit.md) |
| `Period/`, `java.time.Period` | Java standard candidate | curated Java standard methods (4) | 0 | 4 | 0 | 0/4 (0.0%) | [audit](java-time-period-audit.md) |
| `java.util.Date.` | Java standard | curated Java standard methods/constructors (7) | 4 | 2 | 1 | 4/6 (66.7%) | [audit](java-util-date-audit.md) |
| `regex/` | Clojure standard | audited through `clojure.core` regex vars | N/A | N/A | N/A | N/A | [audit](clojure-core-audit.md) |
| `data/` | PTC extension | context access | N/A | N/A | N/A | N/A | N/A |
| `tool/` | PTC extension / capability | registered tool calls | N/A | N/A | N/A | N/A | N/A |
| `budget/` | PTC extension / SubAgent budget profile | budget introspection | N/A | N/A | N/A | N/A | N/A |
| `json/` | PTC extension | PTC JSON helpers | N/A | N/A | N/A | N/A | N/A |
| `mcp/` | PTC extension / MCP server profile | profile-gated helper namespace; unavailable in base `Lisp.run/2` | N/A | N/A | N/A | N/A | N/A |

## REPL Environment Support

| Command | Status | Scope | Notes |
|---------|--------|-------|-------|
| `(tool/servers)` | supported | MCP aggregator | List configured upstream servers, tool counts, and catalog load status |
| `(apropos query)` | supported | local + MCP discovery | Search executable local PTC/Clojure/curated Java capabilities and, in aggregator mode, configured MCP tools. MCP matches rank before local matches. |
| `(dir ref)` | supported | local + MCP discovery | List members for a local namespace/curated Java class, or tools for an MCP server. |
| `(doc ref)` | supported | local + MCP discovery | Return human-readable docs for one executable local ref or MCP tool ref. Known local refs win over MCP refs. |
| `(meta ref)` | supported | local + MCP discovery | Return structured metadata for one executable local ref or MCP tool ref. Known local refs win over MCP refs. |
| `(ns-publics ns)` | supported | local discovery | Return public vars for a local PTC/Clojure namespace. Java classes and MCP servers are not supported. |
| `(quote symbol)`, `'symbol` | partial | Core syntax | Symbol references only; quoted collections and syntax quote are not supported |


## REPL Candidates

| Candidate | Why |
|-----------|-----|
| User var discovery | Let sessions inspect `def`/`defn` bindings and captured docstrings |
| Examples/source snippets | Expose examples only where they improve model repair |