Expand description
Trusted capability compilation and deterministic runtime.
Structs§
- Area
Interval - Blocked
Metric Route Evidence - A negative route verdict bound to the exact request and complete evidence.
- BoxClearance
- Capability
Evaluation - Fail-closed output from one trusted capability evaluation.
- Capability
NotEvaluated - A not-evaluated outcome before the runtime binds its compiled rule ID.
- Capability
Registry - Host-controlled registry of trusted capabilities.
- Clearance
Placement Evidence - One exact placement witness. It does not claim exhaustive search coverage.
- Clearance
Request - Compiled
Rule - One validated portable rule bound to trusted executable capability code.
- Complete
Clearance Evidence - Complete
Metric Evidence - Provenance proving complete topology and obstacle coverage for a negative verdict.
- Complete
Placement Evidence - Exact, complete evidence that no valid placement exists.
- Complete
Property Absence Evidence - Exact proof that a requested property is absent.
- Complete
Relationship Selection - Complete exact candidate selection bound to the request that produced it.
- Complete
Support Evidence - Exact proof that the entire candidate base is supported at a found frame.
- Complete
Topology Evidence - Exact adapter evidence that all nodes and candidate transitions in scope were assessed.
- Connectivity
Graph - Complete topology over a declared source-qualified object universe.
- Cylinder
Clearance - Evidence
Session - Immutable project snapshot bound to the exact host services that produced and can resolve its evidence.
- Execution
Plan - Validated, deterministic request plan.
- Frame
Offset Placement - Restricts candidate-frame origins to offsets in an anchor frame.
- Free
Area Evidence - Free
Area Request - Free
Space Service Handle - Length
Interval - Conservative bounds for a non-negative metric length in metres.
- Metric
Direction - Metric
Frame - Metric
Point - A source-qualified object-grounded point expressed in canonical metres.
- Metric
Route Evidence - A known route and conservative shortest-distance bounds.
- Metric
Route Request - One source-neutral metric routing request.
- Metric
Routing Service Handle - Concrete type-indexable wrapper around a metric routing service.
- Mobility
Profile - Geometry-independent mobility envelope used by route providers.
- Obstruction
Evidence - Parameter
Descriptor - Trusted capability parameter descriptor.
- Placement
Request - Searches an object-grounded scope for any placement of a clearance shape.
- Property
Request - Request for one direct property on one source-qualified object.
- Property
Resolution Service Handle - Cloneable, type-erased property service registered by the host.
- Relationship
Selection Request - Request for relationship-selected objects within a caller-bound universe.
- Relationship
Selection Service Handle - Cloneable, type-erased relationship service registered by the host.
- Resolved
Property - Exact property value bound to the request that produced it.
- Rule
Context - Source-neutral data and typed host services visible during one rule evaluation.
- Runtime
- Deterministic runtime that invokes only registered trusted capabilities.
- Semantic
Relationship - A host-registered semantic relationship or grouping identity.
- Service
Registry - Immutable type-indexed services supplied by an application or adapter.
- Signed
Distance Interval - Inclusive signed offset bounds in canonical metres.
- Source
Snapshot - Immutable identity of one source revision in an evidence session.
- Supported
Placement - Requires the entire placement base to lie on an object’s support surface.
- Verified
Connection - A connection asserted exact by a trusted host adapter.
- Verified
Walkable Passage - Walkability
Region - Walkability
Region Id - Walkability
Request - Walkability
Service Handle - Walkability
Snapshot
Enums§
- Clearance
Outcome - Clearance
Shape - Engine
Error - Errors while compiling untrusted declarations into a trusted execution plan.
- Evidence
Session Error - Invalid project/source snapshot binding.
- Free
Space Error - Metric
Route Outcome - Evaluated route result. Backend incompleteness is an error, not a third verdict.
- Metric
Routing Error - Fail-closed metric routing errors.
- NotEvaluated
Reason - Why an object or rule instance could not be evaluated conclusively.
- Parameter
Type - Supported declarative parameter types.
- Placement
Domain - Geometric predicate limiting where a backend may search for placements.
- Placement
Outcome - Property
Resolution - Conclusive property result from a trusted source adapter.
- Property
Resolution Error - Failure to resolve a property conclusively.
- Relationship
Query - Source-neutral relationship operation used to select candidates.
- Relationship
Selection Error - Failure to select comparison candidates conclusively.
- Route
Outcome - Result of a deterministic shortest-hop route query.
- Service
Registry Error - Service registration failure.
- Threshold
Verdict - Three-valued result for comparing bounded evidence with a policy threshold.
- Topology
Error - A fail-closed topology construction or query error.
- Traversal
Direction - Direction used when traversing a directed semantic relationship.
- Walkability
Error - Walkability
Route Outcome
Constants§
- SUPPORTED_
SCHEMA_ VERSION - Normalized Axioval Schema version implemented by this compiler.
Traits§
- Free
Space Service - Metric
Routing Service - Backend-neutral metric routing interface implemented by trusted host code.
- Property
Resolution Service - Trusted adapter seam for property resolution.
- Relationship
Selection Service - Trusted adapter seam for complete relationship-based candidate selection.
- Rule
Capability - Trusted code selected by a package capability ID; packages never supply executable code.
- Snapshot
Bound Service - Trusted service that declares the immutable source snapshots it can resolve.
- Walkability
Service
Functions§
- compile
- Compiles a ruleset against its definition packages and host-controlled capabilities.