UOR Productive Streams
- IRI
https://uor.foundation/stream/- Prefix
stream:- Space
- kernel
- Comment
- Coinductive sequences of reduction epochs. Each epoch terminates independently; the stream is the unbounded composition of terminating epochs.
Imports
https://uor.foundation/op/https://uor.foundation/reduction/https://uor.foundation/state/https://uor.foundation/monoidal/https://uor.foundation/cert/https://uor.foundation/morphism/https://uor.foundation/schema/
Classes
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| ProductiveStream | https://uor.foundation/stream/ProductiveStream | http://www.w3.org/2002/07/owl#Thing | An unbounded sequence of reduction epochs where each epoch terminates and produces a well-typed output. The coinductive dual of a finite computation. | |
| Epoch | https://uor.foundation/stream/Epoch | http://www.w3.org/2002/07/owl#Thing | A single bounded iteration within a productive stream. Each epoch is a complete reduction execution from Initialization through Convergence. | |
| EpochBoundary | https://uor.foundation/stream/EpochBoundary | http://www.w3.org/2002/07/owl#Thing | The transition point between consecutive epochs. Carries the continuation context and the epoch output. | |
| StreamPrefix | https://uor.foundation/stream/StreamPrefix | http://www.w3.org/2002/07/owl#Thing | A finite prefix of a productive stream: the first k epochs and their outputs. Every finite prefix is computable in finite time. | |
| StreamMorphism | https://uor.foundation/stream/StreamMorphism | https://uor.foundation/morphism/Transform | A transform between productive streams: maps each epoch of the source to an epoch of the target while preserving the productive property. | |
| Unfold | https://uor.foundation/stream/Unfold | http://www.w3.org/2002/07/owl#Thing | The coinductive constructor: given an initial context and a step function (a morphism:ComputationDatum), produces a ProductiveStream. The step function must be certified to always reach reduction convergence. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| epochReduction | Object | true | https://uor.foundation/stream/Epoch | https://uor.foundation/reduction/EulerReduction | The reduction execution for this epoch. |
| epochOutput | Object | true | https://uor.foundation/stream/Epoch | https://uor.foundation/schema/Datum | The output datum produced by this epoch. |
| epochContext | Object | true | https://uor.foundation/stream/Epoch | https://uor.foundation/state/Context | The context at the start of this epoch. |
| boundaryFrom | Object | true | https://uor.foundation/stream/EpochBoundary | https://uor.foundation/stream/Epoch | The epoch that just completed. |
| boundaryTo | Object | true | https://uor.foundation/stream/EpochBoundary | https://uor.foundation/stream/Epoch | The epoch about to begin. |
| continuationContext | Object | true | https://uor.foundation/stream/EpochBoundary | https://uor.foundation/state/Context | The context carried across the boundary. |
| prefixEpochs | Object | false | https://uor.foundation/stream/StreamPrefix | https://uor.foundation/stream/Epoch | The epochs in this prefix (ordered by stream:epochIndex). |
| unfoldSeed | Object | true | https://uor.foundation/stream/Unfold | https://uor.foundation/state/Context | The initial context for the stream. |
| unfoldStep | Object | true | https://uor.foundation/stream/Unfold | https://uor.foundation/morphism/ComputationDatum | The certified step function producing each epoch. |
| unfoldResult | Object | true | https://uor.foundation/stream/Unfold | https://uor.foundation/stream/ProductiveStream | The stream produced by this unfold. |
| epochIndex | Datatype | true | https://uor.foundation/stream/Epoch | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Zero-based index of this epoch in the stream. |
| prefixLength | Datatype | true | https://uor.foundation/stream/StreamPrefix | http://www.w3.org/2001/XMLSchema#positiveInteger | Number of epochs in this prefix. |
| isProductive | Datatype | true | https://uor.foundation/stream/ProductiveStream | http://www.w3.org/2001/XMLSchema#boolean | Always true by construction: every epoch terminates. Invariant, not computed. |