A pulse label means nothing unless it is tied to a checked state map. 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 named pulse has a reviewed map
The flip pulse is not a free label. It maps \lvert 0\rangle to \lvert 1\rangle through the checked gate box.
flip(∣0⟩)=∣1⟩
The reviewed map covers both basis inputs
The same pulse table is checked row by row, so a later page can reuse the name without changing its meaning.
input∣0⟩∣1⟩totaloutput∣1⟩∣0⟩totalpoutput111
No pulse area is inferred
Only the reviewed pulse name is modeled here. No decimal pulse area or device curve is part of the claim.