← all sampled attempts · show highlighted in source
docs/spec-fabric-switch.md, lines 29–39
## Schedule predicate and port types The schedule predicate selects the port type kind of every input and output of the op. The two cases are mutually exclusive. | Schedule | Port type | Uniformity | |-------------|----------------------------|-----------------------------------------| | `spatial` | `!fabric.bits<W>` | All ports must share the same `W` (>= 0). | | `temporal` | `!fabric.bits_tag<W, T>` | All ports must share the same `(W, T)` (`W` >= 0, `T` >= 1). | Spatial ports may not use `bits_tag`; temporal ports may not use `bits`.
paired candidates failed
Resumed after no-model quota pause with identical context. Output candidate passed static check but failed semantic judge (3 discrepancies). Generator compiled and sampled20, all20 native rejected, no timeouts or machinery errors; zero repairs. See paired-resume-v1 and baseline-v1 paired revision.
| input generator | native_rejected |
|---|---|
| output condition | bidirectional_mismatch |
| native evaluation | 20_rejected_0_accepted |
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 · input.mlir · receipt.json · stderr.txt · stdout.mlir · input.mlir · receipt.json · stderr.txt · stdout.mlir · input.mlir · receipt.json · stderr.txt · stdout.mlir · input.mlir · receipt.json · stderr.txt · stdout.mlir · binding.json · command.json · stderr.txt · stdout.txt · binding.json · command.json · stderr.txt · stdout.txt · has-spatial-bits-switch-spatial.json · has-spatial-bits-switch-temporal.json · has-temporal-bits-tag-switch-spatial.json · has-temporal-bits-tag-switch-temporal.json · RATIONALE.md · inventory-semantic-caveat.md · receipt.json · command.json · stderr.txt · stdout.txt · command.json · stderr.txt · stdout.txt