> The Mathematical Formulation: Because SQS is explicitly a superfluid Bose–Einstein condensate, treating it purely as a classical Navier–Stokes fluid misses quantized vorticity. The full formulation maps to the Gross–Pitaevskii (Euler–Korteweg) equations via the Madelung transformation
...
> To adapt the Córdoba–Martínez-Zoroa (CMZ) / Buckmaster / OpenAI Lean cascade to Euler–Korteweg, three core structural adjustments must be made:
How to tree shake Lean4? (Edit: `lake shake`,)
[1] https://github.com/openai/NavierStokesAndEuler/tree/main/Nav...