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.
- Boundary
Gap - A contiguous run of space boundary that no element covers.
- BoxClearance
- CapCoverage
- How much of a space’s horizontal cap is covered by elements.
- 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.
- Clear
Height Evidence - The clear height of a space, in metres.
- Clearance
Placement Evidence - One exact placement witness. It does not claim exhaustive search coverage.
- Clearance
Request - Climbable
Candidate - An object next to a barrier that could be climbed to defeat it.
- 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.
- Contact
Evidence - How much of a subject’s face is in contact, and with what.
- Contact
Request - A request for the contact measurement of one object.
- Contact
Service Handle - Registry handle for a
ContactService. - Contact
Tolerance - Tolerances describing what counts as touching.
- Cylinder
Clearance - Envelope
Membership Evidence - Declared and derived envelope membership, with supporting evidence.
- Envelope
Membership Request - A request for one envelope derivation over one model.
- Envelope
Membership Service Handle - Registry handle for an
EnvelopeMembershipService. - 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 - Guard
Candidate - An element near an exposed edge, with the geometry a policy needs.
- Guard
Edge - One exposed edge of a walking surface, and what sits near it.
- Guard
Evidence - Measured fall-protection geometry for a model.
- Guard
Search - How far to look for candidates, and how finely to sample an edge.
- Guard
Service Handle - Registry handle for a
GuardService. - Length
Interval - Conservative bounds for a non-negative metric length in metres.
- Linear
Interval - A measured length, in metres, bounded below and above.
- Linear
Quantity Evidence - A measured linear quantity with the evidence that supports it.
- Linear
Quantity Request - A request for one linear measurement of one object.
- Linear
Quantity Service Handle - Registry handle for a
LinearQuantityService. - 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.
- Shelf
Geometry - The physical shelving arrangement whose run length is being measured.
- Signed
Distance Interval - Inclusive signed offset bounds in canonical metres.
- Source
Snapshot - Immutable identity of one source revision in an evidence session.
- Space
Overlap - A measured overlap between a space and another body.
- Space
Service Handle - Registry handle for a
SpaceService. - Storey
Residual - Floor area on a storey that belongs to no space.
- Support
Counts - Which horizontal caps a model actually has elements for.
- 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§
- Cap
- Which horizontal cap of a space is being measured.
- Clearance
Outcome - Clearance
Shape - Contact
Error - Why a contact measurement could not be produced.
- Contact
Side - Which side of the subject the contacting surface must lie on.
- Containment
- How one body sits inside another.
- Engine
Error - Errors while compiling untrusted declarations into a trusted execution plan.
- Envelope
Derivation - Which spatial extent the envelope is derived from.
- Envelope
Membership Error - Why envelope membership could not be measured.
- Evidence
Session Error - Invalid project/source snapshot binding.
- Free
Space Error - Guard
Error - Why fall-protection geometry could not be measured.
- Linear
Quantity Error - Why a linear quantity could not be produced.
- Linear
Quantity Kind - What linear quantity is being asked for.
- 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.
- Space
Error - Why a space measurement could not be produced.
- 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§
- Contact
Service - Measures surface contact between model objects.
- Envelope
Membership Service - Measures which objects form a model’s building envelope.
- Free
Space Service - Guard
Service - Measures exposed edges and the elements that could guard them.
- Linear
Quantity Service - Measures linear quantities of model objects.
- 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.
- Space
Service - Measures the geometry a space-validation policy reasons about.
- Walkability
Service
Functions§
- compile
- Compiles a ruleset against its definition packages and host-controlled capabilities.