← all sampled attempts · show highlighted in source
docs/spec-fabric-hw-share-group.md, lines 102–105
Graph admission, simulator dispatch, and Fabric matching must all resolve the same registered `OperationSchemaId`. An HSG descriptor may narrow where a schema can be physically shared, but it cannot make an unregistered actor canonical or reinterpret the schema's semantic projection.
blocked generator source gap
No shown text specifies the observable failure signal or diagnostic classification when graph admission, simulator dispatch, and Fabric matching disagree on the resolved OperationSchemaId, so the checkable outcome of a violation is undetermined. | No shown documentation defines how to construct a simulator dispatch request or a graph-admission input carrying an OperationSchemaId, so an input exercising the cross-stage agreement beyond the fabric.op side cannot be built from the shown text.
| 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-18-syntax.toml