A rail-limited output stops satisfying the equal-input feedback condition. 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 feedback formula requests more than the rail
The linear request is 15 volts, above the high rail of 12 volts.
Vrequest=15V>12V
The rail breaks the equal-input contract
The clipped output is 12 volts, and the feedback node is only 4 volts while the plus input is 5 volts.