Struct CodingDomain 

pub struct CodingDomain;

The coding domain package.

Implementations

impl CodingDomain

pub fn new() -> Self

Trait Implementations

impl AgentDomainPackage for CodingDomain

fn domain_id(&self) -> DomainId

Stable domain identifier.

fn detect(&self, workspace: &WorkspaceSnapshot) -> DomainDetection

Detect whether this domain applies to a workspace.

fn residual_schema(&self, _scope: &DomainScope) -> ResidualSchema

The residual classes this domain can emit for a scope.

fn energy_model(&self, scope: &DomainScope) -> EnergyModel

The energy model (weights, rho_gate, tolerance, budget) for a scope.

fn correction_directions( &self, residuals: &[ResidualEvent], ) -> Vec<CorrectionDirection>

Derive correction directions from dominant residuals. Returning an empty vector for residuals that genuinely have no direction is honest; the runtime then escalates rather than issuing an undirected retry.

fn correction_packet( &self, residuals: &[ResidualEvent], ) -> Option<CorrectionPacket>

Fold verifier residuals into one coherent typed correction packet (PSP-10 system 26). None means the domain has no direction — the caller expands or escalates, never blind-retries.

fn tool_entries(&self, _scope: &DomainScope) -> Vec<ToolEntry>

The domain’s tool entries for a scope (joined with the base catalog).

fn hard_gate_policy(&self, _scope: &DomainScope) -> HardGatePolicy

The hard predicates required for HardPass.

fn verifier_suite(&self, _scope: &DomainScope) -> VerifierSuiteSpec

The verifier suite and its bounded cadence.

fn safety_barrier(&self, _scope: &DomainScope) -> SafetyBarrierDisposition

The barrier position — NotClaimed { reason } is a legal, honest answer; a vacuous default is not.

fn proxy_geometry(&self, _scope: &DomainScope) -> Option<&dyn ProxyGeometry>

The optional analytic-path extension (Paper I §12). Coding returns None until a true proxy geometry exists.

fn prompt_library(&self) -> &dyn DomainPromptLibrary

The domain’s compiled prompt section library.

fn search_strategies(&self, _context: &SearchContext) -> Vec<SearchStrategy>

Deliberately diverse branch strategies for a failed attempt (PSP-10 system 20). A strategy is a search prior, never authority.

fn compare_branch_measurements( &self, _root: &DomainMeasurement, _candidates: &[BranchMeasurement], ) -> BranchSelection

Compare branch candidates against the accepted root under the domain’s measurement semantics (advisory; Proposition 5’s deterministic rule selects).

impl Clone for CodingDomain

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CodingDomain

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CodingDomain

fn default() -> Self

Returns the “default value” for a type.