Crate axiolid_contracts

Source
Expand description

Common provider-neutral execution and diagnostic contracts.

Operation request/response schemas live in sibling operation packages; provider selection and fallback policy live under execution/.

Re-exports§

pub use backend::Backend;
pub use cancel::CancellationGranularity;
pub use cancel::CancellationToken;
pub use capability::BackendDescriptor;
pub use capability::BackendId;
pub use capability::ExecutionTarget;
pub use capability::Operation;
pub use capability_id::capability_ids;
pub use capability_id::CapabilityId;
pub use error::GeomError;
pub use error::GeomResult;
pub use execution::DataResidency;
pub use execution::Determinism;
pub use execution::DevicePreference;
pub use execution::ExecutionOptions;
pub use execution::OutputBound;
pub use execution::Parallelism;
pub use execution::Residency;
pub use execution::ScratchRequirement;
pub use integration::ApiVersion;
pub use integration::BoundaryContract;
pub use integration::CapabilityDescriptor;
pub use integration::CapabilityRequirement;
pub use integration::Exactness;
pub use integration::IntegrationDescriptor;
pub use integration::IntegrationProfile;
pub use integration::Ownership;
pub use integration::Representation;
pub use integration::RequirementRefusal;
pub use integration::ThreadSafety;
pub use integration::INTEGRATION_API_VERSION;
pub use integration::MINIMUM_RUST_VERSION;
pub use plan::Plan;
pub use plan::PlanStep;
pub use profiles::ProfileContract;
pub use profiles::V04_PROFILE_CONTRACTS;

Modules§

backend
Open backend contract. Implementations live in separate crates.
cancel
Cooperative cancellation for long geometry operations.
capability
Backend identity metadata. Operation traits remain the sole capability truth.
capability_id
Stable, transport-independent capability identifiers.
error
Structured geometry failures suitable for fallback and diagnostics.
execution
Execution policy passed explicitly to every costly operation.
integration
Versioned, provider-neutral contracts for downstream capability discovery.
plan
Reproducible operation plans.
profiles
Normative v0.4 downstream integration profiles.

Structs§

EscalationLadder
The precision tiers a filtered predicate steps through, weakest first.

Enums§

Certified
A predicate evaluation that may or may not be trustworthy.
Precision
Arithmetic precision accepted or required by an operation.
Sign
The sign of a geometric predicate, with its trustworthiness attached.