Replace the interpreter sections with the two-head machine and translating organism proved in Rocq, prove the hosted constructor in full, compute the restoration bound in C, add independent reproductions of the paper's constructions and measurements, and cut the paper to 36 pages

threshold-computers: a family of machines built from ternary threshold gates, with the paper on universal construction and exact self-reproduction