A saturating-clamp-boundary scan varies the unclamped update across rows and marks when the clamp takes over, separating free evolution from the saturated branch. The arithmetic is exact only for the stated parameters, clamp limits, iterates, and rows in the ideal discrete-map model. Real systems add continuous-time dynamics, noise, parameter drift, finite precision, model mismatch, sampling choices, and measurement uncertainty.

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.

2⋅14=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.

2⋅12=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