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.

This is a bridge-space namespace in the Resolve stage of the PRISM pipeline. It provides the resolution infrastructure — queries, partitions, observables, proofs, derivations, and traces that transform inputs into certified results.

Learn more: Pipeline Overview

Class hierarchy

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	Subclass Of	Comment
`IOBoundary`	`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`	`IOBoundary`	A typed source of external data entering the ring. Carries an expected TypeDefinition describing the shape of incoming data.
`Sink`	`IOBoundary`	A typed destination for data leaving the ring. Carries an expected TypeDefinition describing the shape of outgoing data.
`BoundaryEffect`	`ExternalEffect`	An effect that crosses the kernel/external boundary. Specializes effect:ExternalEffect with explicit source or sink binding.
`IngestEffect`	`BoundaryEffect`	A BoundaryEffect that reads from a Source and produces a datum in the ring.
`EmitEffect`	`BoundaryEffect`	A BoundaryEffect that writes a ring datum to a Sink.
`BoundaryProtocol`	`Thing`	A specification of the data shape, ordering, and framing constraints for data crossing a boundary.
`BoundarySession`	`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	`Source`	`TypeDefinition`	The expected type of data arriving from this source.
`sinkType`	Object	true	`Sink`	`TypeDefinition`	The expected type of data departing through this sink.
`sourceGrounding`	Object	true	`Source`	`GroundingMap`	The grounding map that transforms incoming surface data to ring datums.
`sinkProjection`	Object	true	`Sink`	`ProjectionMap`	The projection map that transforms ring datums to outgoing surface data.
`effectBoundary`	Object	true	`BoundaryEffect`	`IOBoundary`	The boundary this effect crosses.
`ingestSource`	Object	true	`IngestEffect`	`Source`	The source being read.
`emitSink`	Object	true	`EmitEffect`	`Sink`	The sink being written to.
`protocolType`	Object	true	`BoundaryProtocol`	`TypeDefinition`	The type specification for boundary data.
`protocolOrdering`	Object	true	`BoundaryProtocol`	`CompositeConstraint`	Sequencing constraints on boundary data.
`sessionBoundaries`	Object	false	`BoundarySession`	`IOBoundary`	The boundaries crossed during this session.
`isIdempotent`	Datatype	true	`BoundaryEffect`	`boolean`	True iff applying the boundary effect twice produces the same result as applying it once.
`crossingCount`	Datatype	true	`BoundarySession`	`nonNegativeInteger`	Total number of boundary crossings in this session.