# Semantic Coverage Map

This page owns the documentation coverage checklist for Kedi's public semantics.
Each item must be explained in a focused guide and represented in the compact
reference where applicable. It is a maintenance contract, not a substitute for
those explanations.

## Program Structure

- Source order, indentation, lexical scope, comments, and command-line arguments
- Single-file and multi-file execution

## Prompt Execution

- `>>` templates and multiline template blocks
- `<<` raw model invokes
- Variable, procedure, nested-call, and Python substitutions
- Structured outputs and native returns

## Values and Types

- Output fields, assignments, field descriptions, and multiple outputs
- Built-in, inline Python, generic, and custom types
- Runtime type validation and native-versus-rendered values

## Procedures

- Parameters, defaults, positional and named arguments
- Return annotations, direct returns, Python returns, and continuations
- Lexical closures and procedure-local scope

## Python Interop

- Inline expressions, multiline blocks, value-returning blocks, and side effects
- Prelude execution, Python globals, rebinding, and source-mapped exceptions

## Modules and Packaging

- Relative, nested, bundled, and installed module resolution
- Built-in errors, dependency checks, filesystem profiles, sandboxing, and examples
- Explicit, star, selective, and transitive exports
- Source-order collisions and one-time initialization
- Package metadata, local install, registry add, GitHub sources, and receipts
- Python compatibility, dependency metadata, path containment, and package security

## Agentic Engineering

- Framework adapters and agent harnesses
- Model, reasoning effort, system instructions, settings, and profiles
- Merge rules, precedence, validation, and capability metadata

## Tools, MCP, and Skills

- Procedure and Python tools, tool schemas, risks, and lexical registration
- Static and dynamic approvals, argument edits, and sensitive files
- Stdio, SSE, HTTP, and streamable HTTP MCP transports
- Project-local skills, listing, reading, validation, and on-demand loading

## Subagents

- Direct-child graphs, forward references, cycle checks, and descendant budgets
- Foreground and background runs, status, wait, cancellation, and continuation
- Structured final schemas, summaries, result validation, and conversation limits
- Restart persistence, interrupted runs, isolation, and adapter capabilities

## Runtime

- Parse, compile, and execute phases
- Dataflow dependencies, sequential execution, parallel execution, and snapshots
- Promise forcing, failure draining, thread safety, and adaptive job management
- Parse, response, codegen, and optimization caches
- Large-value artifact conversion, native lazy resolution, and compact model refs
- Memory/file stores, TTL, quotas, bounded reads, release, and append-only cache epochs
- Structured diagnostics, source maps, and debug exporters

## Testing, Evaluation, and Generation

- `@test:` blocks
- `@eval:` suites, training data, test data, metrics, expected values, and feedback
- `> optimize:` spans, GEPA configuration, budgets, checkpoints, and artifacts
- `> auto:` procedure generation, generated tests, retries, and codegen cache

## Python API

- `query`, `bind`, `configure`, `context`, and `reset_config`
- Type, tool, and approval decorators
- MCP, skills, environment precedence, backend overrides, and dynamic output types
- Artifact policy, conversation state, and explicit sync/async sessions
- Parallel contexts, promises, cache helpers, runtime objects, and executors

## Tooling and Integrations

- Run, command, parse, test, eval, optimize, install, and add CLI surfaces
- Environment variables and generated artifacts
- Pydantic AI, DSPy, LangChain, custom adapters, Codex, Claude, and ACP
- Language server, VS Code, Zed, browser, and playground execution

## Reference Maintenance Rules

- Every new parser construct updates Syntax and Directive indexes.
- Every new CLI option or Kedi-owned environment variable updates its reference.
- Every public `kedi` export updates the Python API inventory.
- Every adapter capability change updates both its adapter page and matrix.
- Every generated artifact and failure mode updates troubleshooting.
- Every executable snippet remains parser- or Python-AST-checked.