Deterministic Howell Pseudo-Rigid-Body Model (γ=0.85, K_Θ=2.65) potential energy double-well dU/dx = 0 with negative-stiffness snap-through check engine (.stl, .step, .dxf) built for Bambu Lab, Formlabs, SendCutSend, Protolabs — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…