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=21=0
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.