Deterministic Equal-area optimal mainspring theorem (A_arbor : A_spring : A_free = 1 : 4 : 4), development turns N = (√(2(R²+r²)) - (R+r))/(π·t) engine (.pdf, .csv) built for Generale Ressorts, Cousins UK, ETA, Hermle — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…