← all sampled attempts · show highlighted in source
docs/spec-dataflow-part-1-streaming.md, lines 26–32
## 1. Token Stream Model A dataflow SSA value denotes an ordered token stream. A token may carry ordinary data, such as an integer, floating point value, vector, or `none`, or it may represent a control event. Multiple SSA uses of the same stream are token broadcast: each use observes the same ordered token sequence.
blocked generator source gap
No shown passage documents how to construct token streams carrying the other listed payload kinds (floating point, vector, `none`, or control events) as SSA values; only the integer recurrence producer dataflow.stream is documented, and no attached syntax authority supplies Dataflow SSA operation syntax.
| input generator | unrun |
|---|---|
| output condition | unrun |
| native evaluation | unrun |
obligation coverage: not measured / no validated evidence · code coverage: not measured / no validated evidence · coverage-preserving minimized case: not measured / no validated evidence
command.json · stderr.txt · stdout.txt · syntax-hashproof.json · anchor-response.request.json · anchor-response.txt · anchoring.json · claim.json · context.json · outline-response.request.json · outline-response.txt · sections.json · breadth-20-syntax.toml