Boundary, rejection, and re-admission rows show the load gate as an energy inequality. 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 four-newton load exactly spends twelve joules

Available energy is 12 joules and the step is 3 metres. A 4 newton load requires 12 joules, so the accepted bit is 1.

43=12124\cdot3=12\le12
Load limit ledgerPer-step energy sets the maximum accepted load.loadmax1

Five newtons asks for more energy than is available

Keep available energy at 12 joules and keep the step at 3 metres. A 5 newton load requires 15 joules, so the accepted bit drops to 0.

53=15>125\cdot3=15>12
Load limit ledgerPer-step energy sets the maximum accepted load.loadmax0

Raising available energy accepts that same five-newton load

Now available energy is 15 joules for the same 3 metre step. The 5 newton load still requires 15 joules, and the accepted bit returns to 1.

53=15155\cdot3=15\le15
Load limit ledgerPer-step energy sets the maximum accepted load.loadmax1