← all sampled attempts · show highlighted in source
docs/spec-fabric-reconfigurable-op.md, lines 1150–1156
The capability template owns no parallel state or timing descriptor. Its active node set mechanically selects the concrete Fabric-owned `ResourceState`, `UsePattern`, transition timing, progress, and physical refinement closure of those nodes. An RTL provider consumes those exact contracts through resolved Fabric views; provider availability cannot add members, change the selected graph, or replace its state and timing semantics.
blocked generator source gap
No shown documentation states how an RTL provider's availability set is declared or supplied as an input, so a generator cannot construct the provider-availability variation the claim negates. | No shown text defines the observable failure or diagnostic when a provider attempts to add members or replace state/timing semantics, so the rejection outcome cannot be checked beyond the prohibition itself.
| 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-07-syntax.toml