Function accept_linear_solution_with_verifier 

pub fn accept_linear_solution_with_verifier(
    problem: &LinearProblem<'_>,
    plan: SolverPlan,
    solver_provider: SolverProvider,
    execution_provider: ExecutionProvider,
    execution: ExecutionReport,
    reason: ConvergenceReason,
    completed_iterations: usize,
    reported_residual_norm: f64,
    values: Vec<f64>,
    verifier: &dyn ReplicatedLinearExecution,
) -> Result<LinearSolution, Diagnostic>

Independently verify a backend-produced solution through a distinct verifier while preserving the execution that produced the values.

Verification always uses Eqiora’s fixed-order inner-product action. This keeps a backend-native fast reduction out of the acceptance oracle and makes heterogeneous production/verification evidence explicit.

Errors

Returns EQ0802 for shape/non-finite verification behavior, inconsistent termination/iteration evidence, or when the true residual exceeds the declared target, and EQ0807 when the verifier cannot execute the reproducible acceptance reduction.