Trait ProxyGeometry 

pub trait ProxyGeometry: Send + Sync {
    // Required methods
    fn proposed_proxy(&self, candidate_id: &str) -> Result<Vec<f64>>;
    fn encode_realized(&self, candidate_id: &str) -> Result<Vec<f64>>;
    fn residual_norm(&self, proposed: &[f64], realized: &[f64]) -> Result<f64>;
    fn stability_claim(&self) -> StabilityClaim;
    fn realizability_claim(&self) -> RealizabilityClaim;
}

Optional domain extension activating the analytic Paper I path (Theorem 12.4 / Corollary 12.5). Coding returns None for this extension: a fraction of edits denied or rewritten is projection_mismatch telemetry, not ‖r_k‖.

Required Methods

fn proposed_proxy(&self, candidate_id: &str) -> Result<Vec<f64>>

The proposed proxy vector x̃_{k+1}.

fn encode_realized(&self, candidate_id: &str) -> Result<Vec<f64>>

The realized state re-embedded through the encoder E.

fn residual_norm(&self, proposed: &[f64], realized: &[f64]) -> Result<f64>

‖E(a,s) − x̃‖ in the declared norm.

fn stability_claim(&self) -> StabilityClaim

fn realizability_claim(&self) -> RealizabilityClaim

Implementors