The plan runs in phases, PV → P6. Each gate is a Gauntlet state, not a date; nothing Moonshot is allowed to gate anything Solid. The vertical skeleton, Bedrock, and Geometry are proven; the first optimization is landing now.
Each phase exits only when its Gauntlet tier goes green. The gate is the state of the certificate, never a date on a calendar.
- PV
Vertical Skeleton
ProvenScope: A tiny 2D SDF → PDE → objective → adjoint → optimize → replay demonstrator.
Exit: The typed continuum runs end-to-end and replays bit-for-bit.
- P0
Bedrock
ProvenScope: Substrate, two-lane executor, alloc, la, sparse, fft, ivl, rand, ledger v0.
Exit: G0 + G4 green; GEMM / SpMV / FFT within 80% of targets on both ISAs; deterministic mode bit-stable.
- P1
Geometry + Eyes
ProvenScope: geom, SDF / F-rep / mesh charts, Rep Router v1, dual contouring, Delaunay, the Lumen preview tracer.
Exit: Chart round-trips certified; watertightness vs. a ray-parity oracle; sphere-traced turntables at target ray rates.
- P2
Elasticity + First Optimization
ProvenScope: FEEC elasticity, CutFEM-on-SDF, matrix-free p-MG + AMG, adjoints, SIMP.
Exit: Marquee demo: topology optimization on a raw SDF (no mesh in the loop) with a composed error certificate.
- P3
Fluids I
ProvenScope: LBM (cumulant, sparse, free-surface), the lattice-scaling assistant, thermal, non-Newtonian.
Exit: Cavity / TGV / cylinder benchmarks green; GLUP/s targets met; the first spout pours end-to-end.
- P4
Structures at Scale
ProvenScope: IGA + Kirchhoff–Love shells, fiber beams, ground-structure PDHG, Kanai–Tajimi + MLMC + e-stop.
Exit: Frame flagship v1: fragility with anytime-valid stopping; the NAFEMS shell suite green.
- P5
Aero Stack
ProvenScope: BEM + FMM + Kutta, vortex particles, Dirac coupling, SE(3) integrators, Koopman surrogates.
Exit: Ornithoid flagship v1: a live, e-raced Pareto front.
- P6
Certificates & Self-Optimization
In flightScope: SOS / Lasserre SDP, sheaf certificates, conformal e-prediction, the self-optimizing planner, differentiable rendering.
Exit: Moonshot features pass certification or ship flagged-off; the planner beats hand-tuned allocation.
The build is tracked as a dependency graph of beads. Nearly half is already closed; the foundations are done, and the flywheel research bets are the frontier.
Every issue rolls up into one of seventeen epics: the seven-layer kernel, four cross-cutting programs, and six addendum research bets.
Kernel Stack
The seven acyclic layers, L0 → L6.Hardware, execution, memory, determinism.
Numerical foundations.
The geometry kernel.
The physics kernel.
The optimization kernel.
Rendering & visualization.
Orchestration, ledger & agent interface.
Programs
Cross-cutting efforts that touch every layer.Workspace, constellation, CI, contracts, safety, vertical skeleton.
The tiered correctness program G0–G5 + certifier trials.
Rooflines, machine-adaptive tuning, tropical analytics.
Ornithoid aircraft, seismic frame, laminar vessel.
Research Bets
The addendum's ambitious, individually-gated wagers.Speculation, incremental recompute, physics VCS, swarm memory.
Three-color ledger, objective epistemics, falsifiers, Goodhart guard.
End-to-end adjoints, reality-as-a-chart, spacetime complex.
Interface types + symmetry, spectral health, explanations, value-of-information.
The wedge and the conformance-tested plugin surface.
Governance, phases, risks: an epistemic engine for physical claims.
A phase gate is a Gauntlet state, not a date. Property laws, manufactured-solution order verification, benchmarks, metamorphic tests, chaos storms, and determinism audits, in that order.
The plan is enormous, but the spine is built. Browse all 100+ crates, or trace a request through the seven layers.