UOR IO Boundary
- IRI
https://uor.foundation/boundary/- Prefix
boundary:- Space
- bridge
- Comment
- Typed interface between kernel computation and the external world. Formalizes how data enters and exits the ring substrate.
Imports
https://uor.foundation/op/https://uor.foundation/schema/https://uor.foundation/effect/https://uor.foundation/morphism/https://uor.foundation/type/https://uor.foundation/state/https://uor.foundation/cert/
Classes
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| IOBoundary | https://uor.foundation/boundary/IOBoundary | http://www.w3.org/2002/07/owl#Thing | A typed interface point between the kernel and the external world. Every data flow into or out of the ring crosses exactly one IOBoundary. | |
| Source | https://uor.foundation/boundary/Source | https://uor.foundation/boundary/IOBoundary | A typed source of external data entering the ring. Carries an expected TypeDefinition describing the shape of incoming data. | |
| Sink | https://uor.foundation/boundary/Sink | https://uor.foundation/boundary/IOBoundary | A typed destination for data leaving the ring. Carries an expected TypeDefinition describing the shape of outgoing data. | |
| BoundaryEffect | https://uor.foundation/boundary/BoundaryEffect | https://uor.foundation/effect/ExternalEffect | An effect that crosses the kernel/external boundary. Specializes effect:ExternalEffect with explicit source or sink binding. | |
| IngestEffect | https://uor.foundation/boundary/IngestEffect | https://uor.foundation/boundary/BoundaryEffect | A BoundaryEffect that reads from a Source and produces a datum in the ring. | |
| EmitEffect | https://uor.foundation/boundary/EmitEffect | https://uor.foundation/boundary/BoundaryEffect | A BoundaryEffect that writes a ring datum to a Sink. | |
| BoundaryProtocol | https://uor.foundation/boundary/BoundaryProtocol | http://www.w3.org/2002/07/owl#Thing | A specification of the data shape, ordering, and framing constraints for data crossing a boundary. | |
| BoundarySession | https://uor.foundation/boundary/BoundarySession | https://uor.foundation/state/Session | A Session that includes BoundaryEffects. Extends the session model to track which boundaries were crossed. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| sourceType | Object | true | https://uor.foundation/boundary/Source | https://uor.foundation/type/TypeDefinition | The expected type of data arriving from this source. |
| sinkType | Object | true | https://uor.foundation/boundary/Sink | https://uor.foundation/type/TypeDefinition | The expected type of data departing through this sink. |
| sourceGrounding | Object | true | https://uor.foundation/boundary/Source | https://uor.foundation/morphism/GroundingMap | The grounding map that transforms incoming surface data to ring datums. |
| sinkProjection | Object | true | https://uor.foundation/boundary/Sink | https://uor.foundation/morphism/ProjectionMap | The projection map that transforms ring datums to outgoing surface data. |
| effectBoundary | Object | true | https://uor.foundation/boundary/BoundaryEffect | https://uor.foundation/boundary/IOBoundary | The boundary this effect crosses. |
| ingestSource | Object | true | https://uor.foundation/boundary/IngestEffect | https://uor.foundation/boundary/Source | The source being read. |
| emitSink | Object | true | https://uor.foundation/boundary/EmitEffect | https://uor.foundation/boundary/Sink | The sink being written to. |
| protocolType | Object | true | https://uor.foundation/boundary/BoundaryProtocol | https://uor.foundation/type/TypeDefinition | The type specification for boundary data. |
| protocolOrdering | Object | true | https://uor.foundation/boundary/BoundaryProtocol | https://uor.foundation/type/CompositeConstraint | Sequencing constraints on boundary data. |
| sessionBoundaries | Object | false | https://uor.foundation/boundary/BoundarySession | https://uor.foundation/boundary/IOBoundary | The boundaries crossed during this session. |
| isIdempotent | Datatype | true | https://uor.foundation/boundary/BoundaryEffect | http://www.w3.org/2001/XMLSchema#boolean | True iff applying the boundary effect twice produces the same result as applying it once. |
| crossingCount | Datatype | true | https://uor.foundation/boundary/BoundarySession | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Total number of boundary crossings in this session. |