Crate axioval_engine

Source

Expand description

Trusted capability compilation and deterministic runtime.

Structs§

AreaInterval
BlockedMetricRouteEvidence: A negative route verdict bound to the exact request and complete evidence.
BodyVolume: The certified volume one closed body encloses.
BoundaryCoverage: How much of a space’s body surface its declared boundaries cover, bound to the request it answers.
BoundaryCoverageRequest: How much of space’s body surface its declared boundaries cover.
BoundaryCoverageServiceHandle: Registry handle for a BoundaryCoverageService.
BoundaryGap: A contiguous run of space boundary that no element covers.
BoundaryOverlap: Two boundaries covering the same part of the surface.
BoundaryRequest: A request for the uncovered runs of a space’s boundary.
Bounds3: An axis-aligned box in canonical metres.
BoxClearance
CandidatePair: A subject and a counterpart whose enclosing boxes lie within the margin.
CapCoverage: How much of a space’s horizontal cap is covered by elements.
CapRequest: A request for the coverage of one cap of a space.
CapabilityEvaluation: Fail-closed output from one trusted capability evaluation.
CapabilityNotEvaluated: A not-evaluated outcome before the runtime binds its compiled rule ID.
CapabilityRegistry: Host-controlled registry of trusted capabilities.
CirculationContact: Where one subject meets the path.
CirculationMap: The circulation map of one space for one path width.
CirculationNode: One skeleton node.
CirculationRequest: A circulation map request for one space.
ClassificationAssignment: One classification an object carries, directly or inherited from its type.
ClassificationServiceHandle: Cloneable, type-erased classification service registered by an adapter.
Classifications: Every object’s classes under every classification of a run.
ClearHeightEvidence: The clear height of a space, in metres.
ClearWidthEvidence: The narrowest clear width along a flight or run.
ClearWidthRequest: A request for the clear width of a flight or a ramp’s run: the free width across it that the requested obstacles leave (handrails, walls, anything standing beside or over the walking surface) between two heights above its pitch line.
ClearanceBelow: The clearance below a flight or ramp.
ClearanceBelowRequest: A request for the clearance below a flight or ramp: its height above the floors of the spaces people walk in beneath it.
ClearancePlacementEvidence: One exact placement witness. It does not claim exhaustive search coverage.
ClearanceRequest
ClimbLength: How much a climb through a vertical connector adds to a route’s length.
ClimbableCandidate: An object next to a barrier that could be climbed to defeat it.
CompiledRule: One validated portable rule bound to trusted executable capability code.
CompleteClearanceEvidence
CompleteMetricEvidence: Provenance proving complete topology and obstacle coverage for a negative verdict.
CompletePlacementEvidence: Exact, complete evidence that no valid placement exists.
CompletePropertyAbsenceEvidence: Exact proof that a requested property is absent.
CompleteRelationshipSelection: Complete exact candidate selection bound to the request that produced it.
CompleteSupportEvidence: Exact proof that the entire candidate base is supported at a found frame.
CompleteTopologyEvidence: Exact adapter evidence that all nodes and candidate transitions in scope were assessed.
ConceptBindings: Per-run translation from package concepts to source names.
ConceptCatalog: Canonical concepts of every definition package a ruleset loaded.
ConnectivityGraph: Complete topology over a declared source-qualified object universe.
ConnectorRouting: The vertical connectors a route may climb through, and how a climb counts.
ContactEvidence: How much of a subject’s face is in contact, and with what.
ContactRequest: A request for the contact measurement of one object.
ContactServiceHandle: Registry handle for a ContactService.
ContactTolerance: Tolerances describing what counts as touching.
ContainmentEvidence: Exact evidence for a containment answer, bound to its request.
ContainmentRequest: Asks whether a clearance volume’s plan footprint lies inside the union of the plan footprints of scopes, such as the spaces a component stands in.
ConvexPlanRegion: A convex plan polygon, anticlockwise, in canonical metres.
CoordinateFrame: A right-handed orthonormal frame with its origin in canonical metres.
CoordinateSystemServiceHandle: Registry handle for a CoordinateSystemService.
CorridorEnd: One end of a path through the footprint.
CorridorEndRequest: The space whose corridor ends are asked for, and the subjects (such as its windows) to measure against each end wall.
CorridorEnds: The corridor ends of a space’s footprint.
CoverageAreas: The areas a boundary-coverage answer reports, in square metres.
CoverageEvidence: The answer to a CoverageRequest.
CoverageRequest: A question about one subject: how much of its footprint the sources’ effect areas cover.
CylinderClearance
DeferredRule: A compiled rule the engine cannot execute as authored.
DerivedRelationshipServiceHandle: Cloneable, type-erased derived-relationship service.
Deviation: How far a measured value misses the bound it fails, relative to that bound, as an interval sure to hold the exact relative deviation.
DirectionalExtent: The lowest and highest positions of one object’s body projected onto a direction, in metres along it, with evidence.
DisciplineMap: A host’s ordered disciplines by source metadata.
DisciplineRule: One assignment: sources whose field has a value matching pattern play discipline.
DoorLeaf: One door leaf, in world metres.
DoorLeaves: Every leaf of one door, with provenance.
ElevationBand: The elevations, relative to the scope’s floor, in which obstacles count.
ElevationCover: The elevation area of an object and the part of it its cover leaves uncovered, each in square metres as an interval.
ElevationInterval: An elevation in metres, known to lie in [lower, upper].
ElevationRequest: A request for the area of an object’s elevation that its cover leaves uncovered.
EntranceReach: The entrances a placement must be reached from, by a path of a width.
EnvelopeMembershipEvidence: Declared and derived envelope membership, with supporting evidence.
EnvelopeMembershipRequest: A request for one envelope derivation over one model.
EnvelopeMembershipServiceHandle: Registry handle for an EnvelopeMembershipService.
EvidenceSession: Immutable project snapshot bound to the exact host services that produced and can resolve its evidence.
ExecutionPlan: Validated, deterministic request plan.
FacadeArea: The facade area of one object in square metres, with its evidence.
FacadeAreaServiceHandle: Registry handle for a FacadeAreaService.
FaceDistanceEvidence: The signed distance from a body to a class of a host body’s faces.
FaceDistanceRequest: A request for the signed distance from one body to one class of another body’s faces.
FarthestPointEvidence: A certified bracket on the largest distance to the nearest target.
FarthestPointRequest: The largest distance from any point of a region to the nearest of several targets.
ForcedWalkEvidence: Bounds on the shortest walk entering the object.
ForcedWalkRequest: The shortest walk from a point to the nearest of several targets that enters an object’s plan footprint (touching it counts).
FrameOffsetPlacement: Restricts candidate-frame origins to offsets in an anchor frame.
FreeAreaEvidence
FreeAreaRequest
FreeSpaceServiceHandle
GuardCandidate: An element near an exposed edge, with the geometry a policy needs.
GuardEdge: One exposed edge of a walking surface, and what sits near it.
GuardEvidence: Measured fall-protection geometry for a model.
GuardSearch: How far to look for candidates, how finely to sample an edge, which walking surfaces to measure, and which objects may play each role.
GuardServiceHandle: Registry handle for a GuardService.
HandrailEvidence: The handrails along a flight or run.
HandrailRequest: A request for the handrails along a flight or a run.
Headroom: The vertical clearance above an object’s walking surface.
HeadroomRequest: A request for the headroom above an object’s walking surface.
IntegrityIssue: One irregularity the source’s own schema does not allow.
IntersectionVolume: The volume two closed bodies share, with each body’s own volume.
Landing: The object carrying a landing and, when it is a rectangle along the leaving direction, its extent.
LandingEvidence: The landing at one end of a flight or run.
LandingExtent: The rectangle of a landing along the direction leaving the flight or run: the position of its far side and of its two sides along across that direction. A service states it only where the landing’s level surface fills that rectangle.
LandingRequest: A request for the landing at one end of a flight or run.
LengthInterval: Conservative bounds for a non-negative metric length in metres.
LevelFacts: What a level states that LevelMatch compares.
LinearInterval: A measured length, in metres, bounded below and above.
LinearQuantityEvidence: A measured linear quantity with the evidence that supports it.
LinearQuantityRequest: A request for one linear measurement of one object.
LinearQuantityServiceHandle: Registry handle for a LinearQuantityService.
LocationPolicy: A host’s location policy: the method, and what storeys and spaces are in its sources’ own vocabulary.
MapConversion: How a source’s coordinates map onto a map coordinate reference system.
MeasuredBoundary: One declared boundary of the space, as measured.
MeasuredInterval: A length or ratio known to lie in [lower, upper].
MetricDirection
MetricFrame
MetricPoint: A source-qualified object-grounded point expressed in canonical metres.
MetricRouteEvidence: A known route and conservative shortest-distance bounds.
MetricRouteRequest: One source-neutral metric routing request.
MetricRoutingServiceHandle: Concrete type-indexable wrapper around a metric routing service.
MobilityProfile: Geometry-independent mobility envelope used by route providers.
NamePattern: A regular expression over whole property-set or property names.
NearestTargetEvidence: Bounds on the distance to the nearest target, and a route that realises the upper bound.
NearestTargetRequest: The distance from one point to the nearest of several targets.
NeverEnteredEvidence: No walk from the origin to a target enters the object, under complete exact evidence.
ObjectBounds: An object’s axis-aligned extent, for broad-phase candidate search.
ObjectFrame: One object’s placement frame and stated front, with provenance.
ObjectFrameServiceHandle: Registry handle for an ObjectFrameService.
ObstructionEvidence
OverlapAlongEvidence: How far two bodies’ intersection reaches along each direction of an OverlapAlongRequest.
OverlapAlongRequest: A request for the extents of two bodies’ intersection along stated directions, such as each body’s own placement axes.
OverlapExtents: How far the intersection of two bodies reaches along each world axis.
OverlapRequest: A request for the bodies a space overlaps.
ParameterDescriptor: Trusted capability parameter descriptor.
Participant: An object taking part in a coverage request, and whether it surely does.
PathSegment: One parsed step of a relationship path.
PathTrace: The length of a polyline over each requested object, in request order.
PathTraceRequest: How much of a walked polyline lies over each of several objects.
PlacementRequest: Searches an object-grounded scope for any placement of a clearance shape.
PlanArea: A measured plan area in square metres, with its evidence.
PlanAreaServiceHandle: Registry handle for a PlanAreaService.
PlanBand: The band between two footprints facing each other along a direction.
PlanCentre: The centroid of an object’s footprint: a plan point, how far the true centroid can lie from it, and whether it lies inside the footprint.
PlanLength: A measured plan length in metres, with its evidence.
PlanRecess: One recess of a footprint: a pocket between the footprint and its convex hull, closed by one hull edge, its mouth.
PlanRecesses: Every recess of one object’s footprint.
PlanRectangle: The rectangle of least area enclosing an object’s footprint, oriented in plan: a centre, two unit axes and the half extents along them.
PlanSection: The plan section several objects share: the intersection of their footprints, such as the clear shaft of spaces stacked into a light well.
PlanSegment: A straight edge in plan whose ends are known within radius metres.
PlanSpanServiceHandle: Registry handle for a PlanSpanService.
ProjectedDistanceEvidence: The distance between two bodies in a request’s projection, as an interval.
PropertyEnumeration: Every property an enumeration request selects, exactly, with the evidence that nothing else is selected.
PropertyEnumerationRequest: Request for every property of one object whose set and name match.
PropertyRequest: Request for one direct property on one source-qualified object.
PropertyResolutionServiceHandle: Cloneable, type-erased property service registered by the host.
ProximityEvidence: How close two bodies come and how far they overlap.
ProximityRequest: A request to measure the proximity of two distinct objects.
ProximityServiceHandle: Registry handle for a ProximityService.
RailMeasurement: One handrail measured along a stretch.
Reached: The resource objects a selector reaches.
Refining: What one call of an OutcomeRefiner applies: the rule’s declarations and the host’s location policy.
RegionDistanceEvidence: The plan distance from a region to an object’s footprint, as an interval: zero when they meet in plan, a point exactly when the counterpart’s geometry is exact.
RegionDistanceRequest: A request for the plan distance from a stated convex region to an object’s footprint, such as from the floor area a door leaf sweeps to a column.
RelationshipSelectionRequest: Request for relationship-selected objects within a caller-bound universe.
RelationshipSelectionServiceHandle: Cloneable, type-erased relationship service registered by the host.
ResolvedProperty: Exact property value bound to the request that produced it.
ResourceObjects: The resource objects one run’s rules reach: the answers to every class their applicability selectors name, per source.
ResourceRequest: The resource objects of one class of one source.
ResourceServiceHandle: Cloneable, type-erased resource service registered by an adapter.
RuleContext: Source-neutral data and typed host services visible during one rule evaluation.
RuleOutcomes: The outcomes of every rule completed so far in a run, by compiled rule id. The runtime installs it before every rule, replacing any host copy, so a ruleOutcome selector reads the rules the plan ran first.
RuleRecord: One completed rule’s refined outcomes, as dependent rules read them.
RuleRefinement: What a rule instance asks of its outcomes beyond the capability’s verdicts. Empty for a rule that declares nothing.
Runtime: Deterministic runtime that invokes only registered trusted capabilities.
SemanticRelationship: A host-registered semantic relationship or grouping identity.
ServiceRegistry: Immutable type-indexed services supplied by an application or adapter.
SessionSources: Every source a run checks.
ShareInterval: A share in [0, 1], known to lie in [lower, upper].
ShelfGeometry: The physical shelving arrangement whose run length is being measured.
SideDistance: One candidate beside one side.
SideDistanceRequest: The object whose rectangle’s sides are measured, the candidates to find beside them, how far out to look and how far to narrow each strip.
SideDistances: The candidates beside an object’s sides, with the rectangle they were measured from.
SightEvidence: The answer to a SightRequest.
SightRequest: A question about one target: is any part of it in view from eye?
SightServiceHandle: Registry handle for a SightService.
SignedDistanceInterval: Inclusive signed offset bounds in canonical metres.
SlopedRun: One sloped run of a ramp: a planar upward-facing walking face.
SlopedSurface: A ramp measured from its body: its sloped runs, ordered by bottom elevation. Horizontal faces between them (landings) are not runs.
SourceCoordinateSystem: One source’s coordinate system, as far as the source states it.
SourceDisciplines: The disciplines a run’s sources play, as the session declared them.
SourceIntegrityServiceHandle: Cloneable, type-erased integrity service registered by the host.
SourceMetadata: What is known about one source.
SourceMetadataIndex: The metadata of every source of a run.
SourceSnapshot: Immutable identity of one source revision in an evidence session.
SpaceOverlap: A measured overlap between a space and another body.
SpaceServiceHandle: Registry handle for a SpaceService.
StretchPart: One straight part of a stretch a handrail is measured along: the horizontal direction it climbs and the positions of the walking surface’s sides along across it.
SupportCounts: Which horizontal caps a model actually has elements for.
SupportCoverageEvidence: Exact evidence for a support-coverage answer, bound to its request.
SupportCoverageRequest: Asks whether the tops of supports hold a clearance footprint (the plan of frame and shape, as for ContainmentRequest): the upward-facing surfaces of the supports between from and to metres of elevation, such as a slab or landing near the floor under a door’s clear area.
SupportedPlacement: Requires the entire placement base to lie on an object’s support surface.
SurfaceAreaInterval: An area on a surface, in square metres, known to lie in [lower, upper].
SweptDoor: The floor sectors a door’s hinged leaves sweep, counted as obstacles by a free-space or walkability request whose rule chose the door.
SwingSector: The floor sector a hinged leaf sweeps, in world metres.
TableColumn: One trusted column of a table parameter.
TravelCost: Travel over an object counted by a factor: a metre walked over its plan footprint counts factor metres.
Tread: One tread: an upward-facing horizontal face of a flight.
TreadFlight: A stair flight measured from its body.
TreadFlightRequest: A request for an object’s stair flight, with where its walking line runs should it turn. A straight flight’s goings are the same on every line along it, so it ignores the placement.
TriangleCount: The number of triangles in one object’s mesh, with evidence.
TriangleCountServiceHandle: Registry handle for a TriangleCountService.
TypeHierarchyServiceHandle: Cloneable, type-erased type-hierarchy service registered by an adapter.
UnallocatedRegion: One connected region of storey floor that belongs to no space.
UnreachableRegionEvidence: Part of the region reaches no target, under complete exact evidence, so the largest distance is unbounded.
UnreachableTargetsEvidence: No target is reachable from the origin, under complete exact evidence.
UnreadableValue: A present property whose declared type is known exactly and whose stated value cannot be read exactly, bound to the request it answers.
VerifiedConnection: A connection asserted exact by a trusted host adapter.
VerifiedWalkablePassage
VerticalConnector: A selected object that joins levels, and its kind.
VerticalExtent: The elevations of one object’s lowest and highest points, with evidence.
VerticalExtentServiceHandle: Registry handle for a VerticalExtentService.
VolumeInterval: Bounds on a volume in cubic metres: finite, non-negative, and sure to contain the true value.
WalkabilityRegion
WalkabilityRegionId
WalkabilityRequest
WalkabilityServiceHandle
WalkabilitySnapshot
WalkableStretch: Where, inside one walkable surface, a body of the request’s width cannot pass, and why.
WalkingSurfaceServiceHandle: Registry handle for a WalkingSurfaceService.
WallContact: How one subject sits against an end wall.

Enums§

AbsentEndPolicy: What a relationship service does with an instance whose required end is absent.
AdjacentSide: The face of a door, window or opening an adjacent-space probe starts from: along the element’s through-thickness normal (+) or against it (-).
BindingError: Why a concept could not be bound for one source.
BodyContainment: One body lying wholly inside the other without their surfaces meeting.
BoundaryCoverageError: Failure to measure a space’s boundary coverage.
BoundaryPlacement: Where a boundary surface lies against the space’s body.
CandidateSearchError: Why a candidate search could not run.
Cap: Which horizontal cap of a space is being measured.
CentrePlacement: Where a footprint’s centre lies with respect to the footprint itself.
CirculationNodeKind: What a skeleton node is, by its number of neighbours.
ClassOutcome: What one classification assigned one object.
ClassificationError: Failure to list an object’s classifications conclusively.
ClearanceOutcome
ClearanceShape
ColumnKind: The kind of every cell in one table column.
ConceptKind: Which catalog a concept belongs to.
ContactError: Why a contact measurement could not be produced.
ContactSide: Which side of the subject the contacting surface must lie on.
Containment: How one body sits inside another.
ContainmentOutcome: Whether a clearance footprint lies inside its scopes.
CoordinateSystemError: Failure to supply a source’s coordinate system.
CounterpartSurface: The counterpart’s surface a VerticalSurfaces::Between distance ends at.
Derivation: A derived relationship and the tolerances it was asked with.
DisciplineMapError: An invalid discipline map.
DisciplineOrigin: Where a source’s discipline came from.
DoorLeavesError: Failure to supply a door’s leaves.
EffectMeets: Whether one source’s effect area meets the subject’s footprint.
EffectReach: How far one source’s effect reaches.
EndWall: The wall a corridor end runs into.
EngineError: Errors while compiling untrusted declarations into a trusted execution plan.
EnvelopeDerivation: Which spatial extent the envelope is derived from.
EnvelopeMembershipError: Why envelope membership could not be measured.
EvidenceSessionError: Invalid project/source snapshot binding.
FacadeAreaError: Failure to measure a facade area.
FaceClass: Which faces of a body a FaceDistanceRequest measures to, by the direction of their outward normal.
FaceDistanceError: Why a face distance could not be measured.
FarthestPointOutcome: Answer to a FarthestPointRequest.
ForcedWalkOutcome: Answer to a ForcedWalkRequest.
FreeSpaceError
GeometryFidelity: How faithfully the measured geometry represents an object’s true shape.
GuardError: Why fall-protection geometry could not be measured.
HingeSide: Left or right, seen from above looking along a leaf’s opening direction.
IntegrityError: Failure to produce a complete integrity report.
IntegritySeverity: How much an integrity issue undermines evidence drawn from the source.
LeafMotion: How a leaf moves.
LeafPosition: Where a leaf sits in its door, as the source states it.
LevelMatch: axioval:derived.same-level: levels of different sources that stand for one federated level, such as the architecture model’s and the MEP model’s storeys at one elevation.
LinearQuantityError: Why a linear quantity could not be produced.
LinearQuantityKind: What linear quantity is being asked for.
LocationMethod: How outcomes are located by storey and space; a host’s choice, never a package’s.
MetricRouteOutcome: Evaluated route result. Backend incompleteness is an error, not a third verdict.
MetricRoutingError: Fail-closed metric routing errors.
NameMatch: Which property-set or property names an enumeration selects.
NearestTargetOutcome: Answer to a NearestTargetRequest.
NotEvaluatedReason: Why an object or rule instance could not be evaluated conclusively.
ObjectFrameError: Failure to supply an object’s frame.
ObjectFront: Which way an object faces, as far as its source states it.
ObjectVerdict: How a completed rule judged one object.
ParameterType: Supported declarative parameter types.
PassageAdmission: A rule’s judgement of one passage, on top of its width (see WalkabilitySnapshot::route_between_admitting).
PlacementDomain: Geometric predicate limiting where a backend may search for placements.
PlacementOrientation: Which rotations of a box placement count as a fit.
PlacementOutcome
PlacementShape: A clearance shape together with the rotations a placement may use.
PlanAreaError: Failure to measure a plan area.
PlanSpan: Between which points of two footprints a span is measured.
PlanSpanError: Failure to measure a plan span.
PropertyResolution: Conclusive property result from a trusted source adapter.
PropertyResolutionError: Failure to resolve a property conclusively.
ProximityError: Why a proximity measurement could not be produced.
ProximityProjection: The direction in which a distance between two bodies is measured.
RailSide: The side of a flight or run a handrail runs along, as seen by someone climbing it. across points to the climber’s left, so the left side lies at the higher positions across.
RectangleOrientation: How well the orientation of a PlanRectangle is known.
RectangleSide: One side of a PlanRectangle, by the axis it faces along.
RelationshipQuery: Source-neutral relationship operation used to select candidates.
RelationshipSelectionError: Failure to select comparison candidates conclusively.
ResourceError: Failure to list resource objects conclusively.
RiserClosure: Whether the riser below a tread closes the step.
RouteOutcome: Result of a deterministic shortest-hop route query.
RuleVerdict: How a completed rule fared as a whole.
SelectorVerdict: How a selector judged one object, as the host’s outcome refiner evaluates it (crate::OutcomeRefiner::evaluate_selector).
ServiceRegistryError: Service registration failure.
SidePresence: Whether a listed candidate meets a side’s strip.
SightError: Failure to assess a line of sight.
SightOutcome: What was proven about the view of one target.
SpaceError: Why a space measurement could not be produced.
StairLength: How a climb through a stair or ramp is measured.
StretchLimit: What keeps a body from passing a stretch of one surface.
SubjectSurface: The subject’s level a VerticalSurfaces::Between distance starts at.
SupportCoverageOutcome: Whether the supports’ tops hold a clearance footprint.
ThresholdVerdict: Three-valued result for comparing bounded evidence with a policy threshold.
TopologyError: A fail-closed topology construction or query error.
TraversalDirection: Direction used when traversing a directed semantic relationship.
TriangleCountError: Failure to count an object’s triangles.
TypeHierarchyError: Failure to answer a type-hierarchy question conclusively.
UnmappedReason: Why a source kept no discipline under a map.
VerticalConnectorKind: What kind of vertical connector joins walkable regions on different levels.
VerticalDirection: Where the counterpart of a ProximityProjection::Vertical distance must lie relative to the subject.
VerticalExtentError: Failure to measure a vertical extent.
VerticalSurfaces: Which surfaces a ProximityProjection::Vertical distance runs between.
WalkabilityError
WalkabilityRouteOutcome
WalkingEnd: One end of a stair flight or of a ramp’s run.
WalkingLine: The line a flight is walked along, in plan.
WalkingLinePlacement: Where a turning flight’s walking line runs across its treads.
WalkingStretch: The stretch of walking surface a handrail is measured along: a stair flight, or one run of a ramp by its index in SlopedSurface::runs.
WalkingSurfaceError: Failure to measure a stair flight, a ramp or headroom.

Constants§

DERIVED_RELATIONSHIP_PREFIX: Every derived relationship identity starts with this prefix.
QUALIFIED_RULE_SEPARATOR: Separates a ruleset’s package ID from a rule ID in a qualified rule ID.
SUPPORTED_SCHEMA_VERSION: Normalized Axioval Schema version implemented by this compiler.
SWEPT_FLOOR_REACH_METRES: How far below a floor a swept sector’s hinge may lie and still stand on that floor: a door’s leaf starts at its sill, which may sit below the finished floor of the space it opens into, but never a storey below it.

Traits§

BoundaryCoverageService: Measures how much of a space’s body surface its declared boundaries cover.
ClassificationService: Trusted adapter seam listing the classifications an object carries.
ContactService: Measures surface contact between model objects.
CoordinateSystemService: Trusted adapter seam supplying sources’ coordinate systems.
DerivedRelationshipService: Trusted provider of relationships derived from geometry.
EnvelopeMembershipService: Measures which objects form a model’s building envelope.
FacadeAreaService: Measures the outward-facing surface area of model objects.
FreeSpaceService
GuardService: Measures exposed edges and the elements that could guard them.
LinearQuantityService: Measures linear quantities of model objects.
MetricRoutingService: Backend-neutral metric routing interface implemented by trusted host code.
ObjectFrameService: Trusted adapter seam supplying objects’ placement frames.
OutcomeRefiner: Trusted code that applies what a rule instance declares about its outcomes and that needs the model to apply: selectors, properties and relationships (severity overrides, categories).
PlanAreaService: Measures plan-projected areas of model objects.
PlanSpanService: Measures plan spans of model objects.
PropertyResolutionService: Trusted adapter seam for property resolution.
ProximityService: Measures extents and pairwise proximity of model objects.
RelationshipSelectionService: Trusted adapter seam for complete relationship-based candidate selection.
ResourceService: Trusted adapter seam listing a source’s resource objects by class.
RuleCapability: Trusted code selected by a package capability ID; packages never supply executable code.
SightService: Assesses lines of sight between an eye point and model objects.
SnapshotBoundService: Trusted service that declares the immutable source snapshots it can resolve.
SourceIntegrityService: Adapter seam listing a source’s integrity issues.
SpaceService: Measures the geometry a space-validation policy reasons about.
TriangleCountService: Counts the triangles of model objects’ meshes.
TypeHierarchyService: Source-declared subtype relation, used for includeSubtypes selection.
VerticalExtentService: Measures the vertical extents of model objects.
WalkabilityService
WalkingSurfaceService: Measures stair flights, ramps and the headroom above them.

Functions§

across: The horizontal direction a quarter turn anticlockwise from direction in plan: the axis widths and sides are measured along.
adjacent_side: The side an axioval:derived.adjacent-space evidence locator records.
candidate_pairs: Every subject/counterpart pair whose enclosing boxes lie within margin_metres of each other, in identity order.
compile: Compiles a ruleset against its definition packages and host-controlled capabilities.
compile_rulesets: Compiles several rulesets into one plan, each rule ID qualified by its ruleset’s package ID.
projected_candidate_pairs: Every subject/counterpart pair that may lie within margin_metres of each other in projection, in identity order.
report_severity: A package severity as a report severity.
wildcard_regex: A wildcard pattern as an anchored regular expression.

Type Aliases§

PlanRing: A plan polygon’s vertices [x, y] in metres, in order, not repeating the first.

Crate axioval_engine

Crate axioval_engine Copy item path

Structs§

Enums§

Constants§

Traits§

Functions§

Type Aliases§

Crate axioval_engine