A controlled switch needs below, equality, and above-threshold rows before a margin claim is trusted. 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 switch helper uses a strict greater-than threshold
This ideal interface closes only when control voltage is greater than threshold. Equality is still open, so the boundary row must be shown instead of assumed.
Vc>Vth⇒closed
Three control rows expose the boundary
The source and load stay fixed. Only the control voltage changes, so the current column is a checked consequence of the strict comparison.