FiniteRegion
The confidence region the inversion runs over, and the matrix entry the paper repeats
6/6 passed in 1ms
| Test | What it does | Result |
|---|---|---|
test_azuma_width | flaw_azuma is sqrt(2n1ln(1/eps)) to 1e-14 and flaw_eps gives each of the eight bounds an eighth. | ✅ pass |
test_inverse_solves | flaw_inverse inverts the matrix Mizutani Eq. (101) builds from Alice's three Bloch vectors to 4e-15 across the flaw domain. | ✅ pass |
test_printed_entry | Mizutani Eq. (37)'s repeated third-row entry differs from the sigma_Z cofactor by more than 0.1 and misses the identity by more than 5%. | ✅ pass |
test_region_collapse | flaw_errors is the asymptotic estimate over the block plus each coefficient's magnitude against the Azuma width, to a part in 1e10. | ✅ pass |
test_region_pessimistic | The finite phase-error count never falls below the asymptotic one and the gap falls by 10 per two decades of block. | ✅ pass |
test_region_slots | flaw_errors refuses counts that are not six, a negative count, a degenerate pz, an empty block and an eps_ph outside (0, 1). | ✅ pass |