← all sampled attempts · show highlighted in source
docs/spec-fabric-reconfigurable-op.md, lines 884–891
A concrete `LoopStream` resource has a closed typed capability containing: * a non-empty set of scalar signless integer widths; * exactly one fixed `dataflow::StreamStepKind`; * a non-empty set of supported `mlir::arith::CmpIPredicate` values; * exact physical operand and result roles; and * its resource-state, use-pattern, holding, timing, and progress contract.
blocked postcondition observability
No shown text enumerates the exact physical operand and result roles of a concrete `LoopStream` resource (role ordinals, their widths, or the ordered actor-to-port correspondence for `%init`/`%limit`/`%step` and `%iv`/`%phase`), so the fourth capability component cannot be checked from the anchored text. | No shown text states how the non-empty integer-width set and non-empty predicate set are spelled or validated inside the `LoopStream` typed `hw_params` record (field names, normalization, emptiness rejection).
| 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-14-syntax.toml