Skip to main content

axiolid_contracts/
lib.rs

1#![forbid(unsafe_code)]
2//! Common provider-neutral execution and diagnostic contracts.
3//!
4//! Operation request/response schemas live in sibling operation packages;
5//! provider selection and fallback policy live under `execution/`.
6
7pub mod backend;
8pub mod cancel;
9pub mod capability;
10pub mod capability_id;
11pub mod displacement;
12pub mod error;
13pub mod execution;
14pub mod integration;
15pub mod plan;
16pub mod profiles;
17
18pub use axiolid_guarantees::{Certified, EscalationLadder, Precision, Sign};
19pub use backend::Backend;
20pub use cancel::{CancellationGranularity, CancellationToken};
21pub use capability::{BackendDescriptor, BackendId, ExecutionTarget, Operation};
22pub use capability_id::{capability_ids, CapabilityId};
23pub use displacement::DisplacementBound;
24pub use error::{GeomError, GeomResult};
25pub use execution::{
26    DataResidency, Determinism, DevicePreference, ExecutionOptions, OutputBound, Parallelism,
27    Residency, ScratchRequirement,
28};
29pub use integration::{
30    ApiVersion, BoundaryContract, CapabilityDescriptor, CapabilityRequirement, Exactness,
31    IntegrationDescriptor, IntegrationProfile, Ownership, Representation, RequirementRefusal,
32    ThreadSafety, INTEGRATION_API_VERSION, MINIMUM_RUST_VERSION,
33};
34pub use plan::{Plan, PlanStep};
35pub use profiles::{ProfileContract, V04_PROFILE_CONTRACTS};