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.

14121\frac{1}{4}\to\frac{1}{2}\to 1
Saturating feedback ledgerEach branch choice is validated.mapId=saturating_doubleparameter=nonestates=1/4,1/2,1,1stepCount=3branchRoles=linear,linear,clamped

The clamp is an exact state, not a drawing label

After reaching 1, another step remains 1.

111\mapsto 1
Checked clamp stateThe clamp status cannot be stale.mapId=saturating_doubleparameter=nonestates=1/4,1/2,1,1stepCount=3branchRoles=linear,linear,clamped