Module solver 

Backend-neutral solver plans, operators, capabilities, and evidence.

Structs

BackendId

Stable Eqiora-owned identity for a concrete solver adapter.

CanonicalCsrAgreementFingerprintV1

Fixed-size L2 identity for exact canonical CSR algebraic agreement.

CanonicalCsrSystemView

Captured complete CSR system with one Eqiora-owned mathematical action.

ExecutionId

Stable Eqiora-owned identity for an operator execution adapter.

ExecutionProvider

Stable execution identity paired with its declared implementation release and dependency inventory.

ExecutionReport

Backend-neutral placement evidence for one accepted execution phase.

FixedOrderInnerProduct

One fixed-order Euclidean inner product lowered into independent partials.

HostSerialSolverCandidate

One untrusted member of the frozen host-serial solver catalog.

HostSerialSolverDecision

One inspected decision bound to the exact problem against which it resolved.

LinearAcceptanceWorkspace

Reusable buffers for independent true-residual acceptance.

LinearProblem

One validated host-local linear problem.

LinearSolution

Accepted solution values and their evidence.

LinearSolveRequest

One resolved backend instance paired with the sole validated solver plan.

ProviderLibrary

One exact library version compiled into an execution provider.

ReferenceLinearSolver

Deterministic one-worker reference linear solver.

SerialLinearExecution

Direct one-worker replicated execution used by the reference path.

SolveReport

Auditable evidence for one accepted solve.

SolverCapabilities

Exact numerical policies admitted by one adapter.

SolverCapability

One exact numerical-policy tuple implemented by a solver adapter.

SolverPlan

Complete numerical policy for one linear solve.

SolverProvider

Stable solver identity paired with its declared implementation release and dependency inventory.

Transposed

Allocation-free oriented view of one transpose-capable operator.

Enums

ConvergenceReason

Successful termination condition.

DiagonalAvailability

Result of requesting an operator diagonal.

ExecutionTopology

Parallel topology used by one accepted execution phase.

LinearOperatorOrientation

Orientation of the linear action accepted by a solver.

LinearOperatorProperties

Mathematical properties asserted by the selected realization.

LinearSolver

Linear algorithm selected independently from model meaning.

PreconditionerPolicy

Preconditioner policy selected independently from the linear algorithm.

ReductionPolicy

Floating-point reduction policy.

ScalarType

Scalar storage representation shared by lowering, realization, and execution contracts.

SolverPlanningObjective

Deterministic preference table used by bounded host-serial solver planning.

Constants

REFERENCE_LINEAR_SOLVER

Shared stateless reference backend.

REFERENCE_SOLVER_PROVIDER

Exact declared release identity of the deterministic reference solver.

REPRODUCIBLE_INNER_PRODUCT_CHUNK_LENGTH

Logical element count in one partial of the reproducible inner product.

SERIAL_EXECUTION_PROVIDER

Exact declared release identity of direct one-worker execution.

SERIAL_LINEAR_EXECUTION

Shared direct one-worker execution.

Traits

CompleteCsrStorage

Storage-only projection of one complete sparse linear system.

LinearOperator

A host-local linear action over complete finite f64 vectors.

LinearSolverBackend

Backend-neutral solver execution boundary.

ReplicatedLinearExecution

Execution of complete host-local vectors under one resolved placement.

RowLinearAction

Independent action on a contiguous subset of output rows.

TransposeLinearOperator

Independent capability to apply the mathematical transpose.

Functions

accept_linear_solution

Independently verify and accept a backend-produced solution.

accept_linear_solution_with_execution

Independently verify and accept a backend-produced solution through the exact execution that produced it.

accept_linear_solution_with_verifier

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

accept_linear_solution_with_verifier_in

Independently verify a backend-produced solution using admitted buffers.

resolve_host_serial_solver_v1

Resolve one exact candidate from the frozen v1 host-serial catalog.