Module iteration 

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. See polydat/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 partition specs, their resolution into Partition values, and the over-clause narrowing helpers (cursor_over_partitions_on, narrow_cursor) every engine shares.
• 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.