← all sampled attempts · show highlighted in source

breadth-12

docs/spec-fabric-mem.md, lines 432–436

Dynamic-mask admission has one invariant meaning: inactive addresses are not evaluated, inactive operations are suppressed, inactive load-like result lanes are zero-filled, and an all-zero mask completes without a service request. There is no independent `all_zero_mask_completes` field: a dynamic mask class that cannot provide this invariant must not be declared.

source passage artifact

Baseline outcome

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.

Coverage and minimized cases

obligation coverage: not measured / no validated evidence · code coverage: not measured / no validated evidence · coverage-preserving minimized case: not measured / no validated evidence

Retained evidence