The non-product claim is the determinant check, not a caption. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

The determinant is the entanglement audit

The determinant is 1/2, not 0. That is the non-product claim.

det=120\det=\frac{1}{2}\neq0
Determinant auditNonzero determinant means not product.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The determinant scan crosses the product boundary

A zero determinant row is product; the checked coupled row is nonzero and must be flagged non-product.

rowdetflaguncoupled0productcoupled12not productaudit12not product\begin{array}{c|c|c}\text{row}&\det&\text{flag}\\\text{uncoupled}&0&\text{product}\\\text{coupled}&\frac{1}{2}&\text{not product}\\\text{audit}&\frac{1}{2}&\text{not product}\\\end{array}
Determinant flag scanThe flag follows the nonzero determinant.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

The flag must match the determinant

A raw diagram cannot set the non-product flag false while keeping this determinant.

notProduct    det0\text{notProduct}\iff \det\neq0
Bidirectional product checkThe renderer checks the flag both ways.state1/sqrt(2) zerozero0 zeroone1/sqrt(2) onezero0 oneonestate1/sqrt(2) zerozero0 zeroone0 onezero1/sqrt(2) oneoneCNOTcouple001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product