Crate perspt_coding 

Perspt Coding Domain Package

perspt-coding is the first domain package built on perspt_sdk (PSP-8). It exercises the SDK’s Phase-0/1 contracts with a real consumer: it declares the coding residual schema, supplies the coding EnergyModel (weights, rho_gate, tolerance, correction budget), and maps dominant residuals into coding correction directions.

The coding domain operates on discrete verifier residuals (compiler, LSP, AST, tests) and exposes no continuous embedding-space coordinate, so its analytic constants alpha, beta, delta, L, eta remain NotClaimed; only the measured discrete gate and the spectral mu apply.

Language adapters (Rust, Python, TypeScript) will grow into full SDK verifier-suite providers in later phases; this crate currently provides the domain-level residual schema, energy model, and Rust correction mappers for the unresolved-import / missing-module cases (PSP-8 Reference Implementation step 10).

Re-exports

pub use runtime::crash_marker;

pub use runtime::SmokeInvocation;

pub use symbols::defined_symbols;

pub use symbols::expected_symbols;

Modules

lang

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

runtime

Generic runtime smoke-probe scheme (PSP-8).

symbols

Symbol extraction for the goal-presence sensor (PSP-8).

Structs

CodingDomain

The coding domain package.

Enums

CodingLanguage

The language an adapter targets, used to specialize correction directions.