Manuscript Hawk02-C@2 · Hawk02-C.tex · section · bb332d66

All 18 reported predicates

Reported diagnostics and arithmetic-aware interpretation › All 18 reported predicates · lines 2088–2172

Count	Group
3	Reference isometry, weight sum, and complete split isometry
1	Finite-chain predictive operator-norm comparison
12	Accessible, joint residual, and decoded identities on the four $d = 2$ matrix units
1	Scalar overlap identity for the packet comparison
1	Packet operator-norm comparison
18	Total; all reported passed

The sixteen identity/normalization residuals have reported maximum $2.220888748005898 \times 1 0^{- 16}$ . The other two discrepancies are of order $1 0^{- 6}$ and are compared with their analytical allowances plus the tolerance; they are not residuals below $2 \times 1 0^{- 10}$ .

Predicate	Reported residual	Reported bound
Predicate	Reported residual	Reported bound
`reference_isometry`	$2.220888748005898 1 0^{- 16}$	$21 0^{- 10}$
`finite_predictive_comparison`	$2.5410129756584013 1 0^{- 6}$	$0.0035273370606702017$
`finite_proxy_weight_sum`	$2.220446049250313 1 0^{- 16}$	$21 0^{- 10}$
`complete_split_isometry`	$2.22045722489488 1 0^{- 16}$	$21 0^{- 10}$
`finite_proxy_accessible_0_0`	$5.551115123125783 1 0^{- 17}$	$21 0^{- 10}$
`finite_proxy_accessible_0_1`	$0$	$21 0^{- 10}$
`finite_proxy_accessible_1_0`	$0$	$21 0^{- 10}$
`finite_proxy_accessible_1_1`	$5.551115123125783 1 0^{- 17}$	$21 0^{- 10}$
`finite_proxy_joint_residual_0_0`	$0$	$21 0^{- 10}$
`finite_proxy_joint_residual_0_1`	$0$	$21 0^{- 10}$
`finite_proxy_joint_residual_1_0`	$0$	$21 0^{- 10}$
`finite_proxy_joint_residual_1_1`	$0$	$21 0^{- 10}$
`finite_proxy_decoded_0_0`	$2.7755575615628914 1 0^{- 17}$	$21 0^{- 10}$
`finite_proxy_decoded_0_1`	$4.217975704292448 1 0^{- 18}$	$21 0^{- 10}$
`finite_proxy_decoded_1_0`	$4.217975717217145 1 0^{- 18}$	$21 0^{- 10}$
`finite_proxy_decoded_1_1`	$2.7755575615628914 1 0^{- 17}$	$21 0^{- 10}$
`finite_proxy_scalar_overlap`	$4.99949539799498 1 0^{- 18}$	$21 0^{- 10}$
`finite_proxy_packet_norm_bound`	$2.528232098985154 1 0^{- 6}$	$3.575660123207522 1 0^{- 6}$

Zero entries are the reported floating-point outputs, not claims of exact arithmetic. The decoder identities support the specified finite-proxy map; decoder optimality and leakage optimality remain analytical consequences of Lemma lem:erasure. The script performs no Bell-witness calculation and no optimization.