The strict stability gate is scanned through positive, zero, and negative margins. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A zero slope sits inside the stability gate

The logistic fixed point at one half has slope zero, leaving a full margin below one.

m=0,1m=1m=0,\quad 1-|m|=1
Stable slope rowThe fixed source and slope source agree.mapId=logistic_r2parameter=nonecandidate=1/2outputValue=1/2fixedBit=1 bitslope=0slopeMagnitude=0acceptedBit=1 bit

Magnitude one is the rejected edge

The reflection row returns to itself but its slope magnitude is exactly one, so the strict gate rejects it.

m=1,1m=0m=\mathbin{-}1,\quad 1-|m|=0
Neutral slope edgeThe sign does not rescue a magnitude-one slope.mapId=reflectionparameter=1candidate=1/2outputValue=1/2fixedBit=1 bitslope=-1slopeMagnitude=1acceptedBit=0 bit

A larger slope gives a negative margin

The repeller row shows the outside side of the same gate.

xmmarginaccepted12011121001232120\begin{array}{c|c|c|c}x^*&m&\text{margin}&\text{accepted}\\\frac{1}{2}&0&1&1\\\frac{1}{2}&\mathbin{-}1&0&0\\\frac{1}{2}&\frac{3}{2}&\mathbin{-}\frac{1}{2}&0\\\end{array}
Rejected slope rowThe accepted bit follows the signed margin.mapId=affine_repellerparameter=nonecandidate=1/2outputValue=1/2fixedBit=1 bitslope=3/2slopeMagnitude=3/2acceptedBit=0 bit