Expand description
Iteration & coordinate algebra.
Three concerns that together describe “how a workload cycles through coordinate space”:
comprehension: the formal §3 algebra of iteration shape (Cartesian / Zip / Union / Filter / Order). The compile-time + runtime layer that turns a structural comprehension into a stream of typed coordinate tuples. Seepolydat/docs/design/comprehension_forms.md.source: workload-facing data-source abstraction — the typed sequences that drive cycle dispense (range factories, extension policies, cursor kinds).cursor_partition: SRD-71 cursor partition specs — how the operator slices a source’s index range across concurrent fibers.simd_ordinal: offset-stamped SIMD batching for stable ordinal streams, with burst-resumable ordered scalar drain.
Modules§
- comprehension
- Comprehensions — the formal model of iteration shape in GK.
- cursor_
partition - Cursor partition specs — SRD 71.
- simd_
ordinal - Offset-stamped SIMD batching for stable ordinal streams.
- source
- Data sources: typed sequences that drive workload iteration.