← all sampled attempts · show highlighted in source
docs/spec-fabric-mem.md, lines 1761–1767
The set notation above is the human rendering of canonical singleton/range domains. Alignment values are exponents: `[0, 63]` admits byte alignments `2^0` through `2^63`. Both classes remain inside one physical capability alternative, so endpoint bindings, actor-contract admission, and use-pattern references are not duplicated. Contiguous `vector<2xf64>` is rejected because element width 64 is absent even though its total payload also has 128 bits.
blocked subject binding
Both source targets ready, but no demonstrated whole-claim native binding for canonical memory domains, alternative non-duplication, and element-width admission. General Fabric parsing cannot expose these outcomes. See subject-discovery/breadth-05-20-binding-audit.md.
| 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 · command.json · stderr.txt · stdout.txt · 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-05-syntax.toml