← all sampled attempts · show highlighted in source
docs/spec-fabric-switch.md, lines 117–132
### grant_policy (temporal only) The optional value is exactly one typed Fabric attribute: ```text #fabric.switch_fixed_priority<requester_order = array<i64: ...>> #fabric.switch_round_robin<requester_cycle = array<i64: ...>, reset_requester = ...> ``` Requester ordinals are the switch input-port ordinals. The sequence is a permutation of the complete input domain and contains no duplicate. The reset requester of a round-robin policy occurs in its cycle. A temporal switch whose physical connectivity admits two inputs to one output requires one exact policy in Fabric 1.0. A switch without such fan-in must omit it. Spatial switches must omit it.
paired candidates failed
Output condition undefined name 'output'; generator's20native samples all rejected at switch parser. Zero candidate repairs; later reviews/100input acceptance corpus/app unrun.
| input generator | candidate_generated_native_rejected |
|---|---|
| output condition | candidate_generated_static_check_failed |
| native evaluation | 20 generated / 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 · candidate-review.md · input.mlir · output.mlir · receipt.json · stderr.txt · input.mlir · output.mlir · receipt.json · stderr.txt · RATIONALE.md · parent-review.json · profile.json · binding.json · command.json · stderr.txt · stdout.txt · native-positive.json · schedule-negative.json · schedule-negative.mlir · 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 · subject-attempt-0-generator.cpython-312.pyc · validation-generator.cpython-312.pyc · candidate.receipt.json · forward.receipt.json · forward.request.json · forward.response.txt
exit.json · exit.json · paired-outcome.json · exit.json · subject-trace.json