A load beyond the per-step energy limit fails the exact 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

An overload asks for too much energy

A load of 8 newtons over 2 metres would require 16 joules.

82=168\cdot2=16
Load limit ledgerPer-step energy sets the maximum accepted load.loadmax0

The packet cannot pay that load

Only 12 joules are available per step, so the accepted bit is 0.

16>12016>12\Rightarrow0
Load limit ledgerPer-step energy sets the maximum accepted load.loadmax0