Fixed-machine indexed occurrence rows

This facade exposes the semantic row theorem and the polynomial-time raw-input machine while keeping controller simulation, termination, and arithmetic bounds in smaller implementation files.