Skip to main content

Module lang

Module lang 

Source
Expand description

Language adapters (PSP-8 System 5 / Gate D).

A coding language adapter evolves from a command selector into a verifier suite: it parses compiler/type-checker/test output into typed ResidualEvents and maps each into a CorrectionDirection. Actually running the tools is the runtime’s job; the testable core here is the normalization from raw diagnostic text to residual evidence, which is what makes corrections directed rather than undirected retries.

Structs§

PythonAdapter
The Python verifier-suite adapter (pyright / mypy / pytest).
RustAdapter
The Rust verifier-suite adapter (rustc / cargo / rust-analyzer).
TypeScriptAdapter
The JavaScript/TypeScript verifier-suite adapter (tsc / eslint).

Traits§

LanguageAdapter
A coding language adapter: a verifier-suite provider for one language.

Functions§

adapter_for
Return the adapter for a language.
classify_rust_code
Classify a rustc error code into a residual class.
classify_ts_code
Classify a TypeScript diagnostic code (e.g. TS2307).