Expand description
Source-neutral semantic model and declarative package contracts.
Re-exports§
pub use contract::DefinitionPackage;pub use contract::RuleSetPackage;
Modules§
- contract
- Canonical normalized package contract emitted by
axioval/schema.
Structs§
- Classification
- A namespace/code classification.
- Evidence
- Provenance and exactness of evidence.
- Finding
- A deterministic, source-qualified validation outcome.
- NotEvaluated
- Explicit fail-closed evaluation outcome. This is not a compliance finding.
- Object
- A source-neutral object and its semantic facts.
- Object
Id - Stable identity of an object within a source.
- Project
- Deterministically indexed source-neutral project graph.
- Property
- A named semantic property.
- Report
- Ordered report from a plan execution.
- RuleId
- Stable package-local rule identity.
- Selector
- A source-neutral object selector.
- Source
Id - Stable, source-qualified input identity.
Enums§
- IrError
- Validation error for source-neutral contracts.
- NotEvaluated
Reason - Why an object or rule instance could not be evaluated conclusively.
- Property
Value - A value supplied by a source adapter.
- Quantity
Dimension - Physical dimension of a canonical SI quantity.
- Severity
- Severity of a validation finding.