Crate axiolid_contracts 

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.