The signal processor (DSP) as a processor: the bit-identity digests (23),
the frame fixtures (2) and the byte-pinning library tests (137) pass for
its Linux target under the user-mode emulator, the standard library built
from source (a tier-3 target).
Emulator releases before 11.0 test a whole predicate register, where the
processor tests its low bit, in a branch on a predicate written in the same
packet. Compiled code relies on the low bit (a predicate from a register's
1, xored with a comparison's 0xff, so 0xfe is "equal"), and one library
test fails under such an emulator though the code is right. The probe
ci/dsp/predicate_branch.c shows it; the workflow builds 11.1.1 from its
release tarball (SHA-256 pinned, signature checked when pinned) and runs
every suite on it.
The member (feature quantum_fabric_dsp, class dsp): the gate's fixed-point
arithmetic in the vector unit's 128-byte vectors, each 64-bit value a pair
of words; the product is the unit's exact 32x32 multiply, and carries and
borrows are bit logic on the words (the standard library's
predicate-producing vector intrinsics do not compile in this release).
Under emulation: 66020 probe pairs agree, 2000 kernel cases match
run_words, all four pinned certificates are reproduced naming the
emulator, circuits up to 20 qubits match native, 3 of 3 mutants are
killed. Elsewhere the member is absent and says why.
Workflow wai-quantum-dsp.yml runs all of it in a pinned container on the
container runner.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
05fef6cce9