Manuscript Hawk02-B@2 · Hawk02-B.tex · section · 95ea744f

What the 32 predicates test

Reported Python diagnostics › What the 32 predicates test · lines 1497–1533

Count	Predicate group
3	Ideal isometry, Hamiltonian-to-isometry agreement, and amplitude normalization
1	Decoder Kraus completeness
12	Radiation, memory, and decoded identities on the four $d = 2$ matrix units
2	Single-cell recovery and leakage Bell-state witnesses
3	Ideal prepared energy sector, perturbed isometry, and Duhamel operator comparison
8	Time-resolved and fixed-mode-after-pinching identities on the four matrix units
3	Label-dephasing, incomplete-collection, and two-cell product-decoder Bell witnesses
32	All predicates reported `true`

Most predicates compare an operator residual or scalar discrepancy with the stated tolerance. The Duhamel predicate instead compares $∥ W_{actual} - W_{ideal} ∥_{\infty}$ with $3 \times 1 0^{- 4}$ plus that tolerance. It should not be described as a residual smaller than the tolerance.

The two-cell check uses the tensor product of the decoded single-cell channels and a dimension-four Bell state. It is not an independently simulated two-memory Hamiltonian experiment or a decoder optimization.