← all sampled attempts · show highlighted in source
docs/spec-fabric-mem.md, lines 921–928
`MemoryActorContractClauseView` is the closed typed variant matching the schema-specific clause records above. It exposes typed enum, boolean, exact `SyncScopeRef`, and compare-exchange ordering-pair ranges; it is not a map of field names to values. Every external typed value persists through canonical bytes produced and validated by its semantic owner. C++ enum values, TableGen case numbers, and declaration order are implementation details and cannot be used as a persistent codec. Pair arrays sort lexicographically by owner canonical bytes.
blocked subject binding
Source anchoring ready; current demonstrated parse-only native command does not expose whole-claim behavior. Binding gap retained, not a translation failure. 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 · 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-15-syntax.toml