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. Illustrative windows are shown; the gate is the state, not the week.
- PV
Vertical Skeleton
ProvenProvenScope — 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
ProvenWeeks 0–6Scope — 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
ProvenWeeks 6–14Scope — 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
In flightWeeks 14–24Scope — 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
PlannedWeeks 24–34Scope — 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
PlannedWeeks 34–44Scope — 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
PlannedWeeks 44–56Scope — 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
PlannedWeeks 56–68Scope — 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. Roughly a third 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.
No phase gate is a date — it is a Gauntlet state. 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 54 crates, or trace a request through the seven layers.