A same-basis count table is not enough; the amplitude table carries the non-product state claim. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

One measurement basis can look classical

If you only measure this one basis, the same-bit counts can look like a classical list that randomly chose zero-zero or one-one.

outcomeP0,0121,112\begin{array}{c|c}\text{outcome}&P\\\lvert 0,0\rangle&\frac{1}{2}\\\lvert 1,1\rangle&\frac{1}{2}\end{array}
Same-basis evidenceThe same-basis evidence alone is not the whole state.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The amplitude table contains a state-level test

For this two-by-two amplitude table, the product-state determinant is one half, not zero. That is a state claim, not a hidden-row caption.

det=120\det = \frac{1}{2}\ne 0
Entanglement determinantThe determinant is computed from the amplitude cells.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The honest claim is correlation plus non-product state

This first book stops at exact finite-state evidence: same-basis correlation and a nonzero determinant. Later books add phase bases, hardware readout, and error budgets.

same-basis correlation+det0\text{same-basis correlation} + \det\ne 0
Entanglement boundaryThe diagram supports the finite-state claim only.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product