A clipped feedback recurrence validates each branch and clamp. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Feedback follows the selected branch
The saturating gain sends one quarter to one half and then to 1.