Single-Molecule Audit
A loading cycle keeps forward, return, and net work as separate checked quantities. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
The forward path carries 36 joules of work.
Returning 18 joules leaves net work 18 joules.