voiage.contracts.capabilities

Capability descriptions and fail-closed backend selection.

Classes

• Capability Stable backend capability identifiers.
• BackendCapabilities Machine-readable capabilities of one calculation backend.
• KernelRequirements Capabilities required to execute one kernel under a policy.
• CapabilityReport Explain whether a backend satisfies a kernel requirement.
• CapabilityBackend Minimal backend surface required by the generic dispatcher.
• UnsupportedCapabilityError Raised when no candidate backend satisfies a kernel contract.

Functions

• evaluate_backend Evaluate a backend without silently weakening requirements.
• select_backend Return the first capable backend or fail with complete evidence.