One unit core reaches its irrational least state in one exact cycle jump; full-system audit confirms leastness.
Configured 3-module assembly: fixed margin feasible; strict feasible; robust feasible; finite grid grid_feasible.
Canonical factor tolerance 19/301; joint activity/factor residual >= 1175221/2000000000; food 5071/40000 per module.
QF_NRA decisions and exact fixed-margin control flow are implemented; the positive-infinitesimal projected-CAD and FPT backend are not. Lean not rerun.
