Fixed summation of delimited binary words

This facade exposes numeric correctness, the exact controller run, and the compiled polynomial-time fixed-machine theorem.