A front-end sampler captures the node voltage left after the source is loaded. 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 input load sets the node voltage
A 12 volt source with 3 ohms inside and 9 ohms at the input gives 9 volts at the node.
12V/(3ohm+9ohm)=1A
The sampler captures the loaded node
With the sample switch closed, the held voltage is the loaded 9 volt node.