A controlled interaction is represented here only by a checked joint-state output. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A coupling output can be a joint state
The coupling lesson starts from a checked joint-state output: zero-zero and one-one carry the probability. It does not claim a hardware Hamiltonian or simulate the control pulse.
coupling output is a joint table
The joint output has two populated cells
The coupling output is summarized by the same populated diagonal cells and the nonzero determinant.