← all sampled attempts · show highlighted in source
docs/spec-fabric-reconfigurable-op.md, lines 997–1003
The view is not an IR operation, Artifact, persistent schema, configured function, or semantic owner. It must not split the one joint relation into independent dimensions, enumerate a Cartesian product of exact modes, or preserve a backend-local support table. The exact Fabric identity owns the semantic result. Registry implementation identity may participate only in cache invalidation so stale derived values are recomputed and checked against that result; serialized Fabric remains the authority.
blocked postcondition observability
Anchoring reports no observable stale-cache recomputation/equality check. Both candidate stages unrun; passage retained.
| 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-03-syntax.toml