A saturating recurrence is scanned below, at, and above the cap. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Below the clamp, doubling is still linear

One quarter doubles to one half with no clipping.

214=122\cdot\frac{1}{4}=\frac{1}{2}
Saturating linear rowThe branch is linear below the cap.mapId=saturating_doubleparameter=noneinputValue=1/4outputValue=1/2branchRole=linear

At the cap, the linear branch reaches one exactly

The equality row is not clipped yet because the raw output is one.

212=12\cdot\frac{1}{2}=1
Saturating edge rowThe boundary convention is pinned by the branch role.mapId=saturating_doubleparameter=noneinputValue=1/2outputValue=1branchRole=linear

Above the cap, different inputs share the capped output

Three rows separate linear growth from the clamped plateau.

xf(x)branch1412linear121linear341clamped\begin{array}{c|c|c}x&f(x)&\text{branch}\\\frac{1}{4}&\frac{1}{2}&\text{linear}\\\frac{1}{2}&1&\text{linear}\\\frac{3}{4}&1&\text{clamped}\\\end{array}
Saturating clamped rowThe clamped row keeps the same output but changes branch.mapId=saturating_doubleparameter=noneinputValue=3/4outputValue=1branchRole=clamped