FrankenSim is driven by three flagship pipelines plus a marquee demo — each a forcing function that must work end-to-end, each producing a certified artifact, not just a number.
A certified Pareto atlas for a bird-like flyer
A multi-inlet, bird-like aircraft optimized jointly for lift-to-drag, stability, and maneuverability across a flight envelope.
delivers a certified Pareto atlas with SOS Lyapunov region-of-attraction proofs.
Adjoint-native gradients
differentiate through the solution — not through the iterations
The adjoint aero solve: solve the flow forward once, then a single adjoint solve returns the full gradient over every shape parameter — differentiating through the converged solution, not the solver's iterations.
Least material, provable fragility
A building frame that uses the minimum material while carrying a certified seismic fragility curve — the anti-paperclip constraint made real.
a fragility curve with anytime-valid stopping — you stop the moment the evidence is decisive.
Anytime-valid fragility stopping: candidate frames race under a betting e-process, and the Kanai–Tajimi + MLMC campaign halts the instant the seismic evidence is decisive — no fixed-horizon core-hours burned.
Budgets first — Error & Time Ledgers
every op takes an accuracy / time / memory budget; they compose end-to-end
The Error Ledger and Time Ledger attribute every digit of the fragility bound and every core-second back to the operator that produced it, so a tighter tolerance has a visible price.
A laminar-pour vessel, rendered from the same bytes
A pouring vessel shaped so its stream stays laminar — an Orr–Sommerfeld stability objective validated against a free-surface LBM pour.
the marketing shot and the physics are the same bytes — a differentiable render of the certified design.
The vessel is a level set — an SDF — so physics runs directly on it with zero body-fitted meshing (shown: cut cells with a ghost penalty and Nitsche BCs). The laminar pour itself is a free-surface LBM solve tuned to an Orr–Sommerfeld stability objective.
For the Spout That Never Dribbles, the hero render is not a separate art asset. Lumen's differentiable renderer draws the certified vessel from the same bytes the Orr–Sommerfeld stability objective and the free-surface LBM pour were computed on. The image you would put on the box is a differentiable function of the design — so you can optimize what the product looks like and what it does at once, and never ship a picture the physics disagrees with.
The forcing function for the whole geometry-physics bridge. A SIMP density field evolves to minimize compliance under a volume fraction, its physics computed by CutFEM directly on the level set. A grey blob resolves into a classic cantilever truss — and every iterate carries a composed error certificate, with the mesh-step counter pinned at zero.
The optimizer reshapes the boundary every iteration; compliance falls as the density field condenses into load-bearing structure.
Underneath, CutFEM-on-SDF supplies FEM-grade physics on the moving level set — the cut cells are certified, so the optimizer never has to wait on a remesh.
FEEC elasticity, CutFEM-on-SDF, matrix-free p-MG + AMG, adjoints, SIMP.
Marquee demo: topology optimization on a raw SDF — no mesh in the loop — with a composed error certificate.
Every flagship bottoms out in the same seven-layer continuum. See how the kernel is built, or clone it and run the vertical skeleton yourself.