Deterministic ISO 2901 / ASME B1.5 flank helix geometry + lead-angle self-locking condition tan(lambda) < mu/cos(alpha/2) & cantilever petal preload engine (.step, .stl) built for Igus DryLin, Misumi, PBC Linear, RatRig — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…