A hundred-plus crates, one workspace.

Physics-VCS bisect (addendum Proposal 10): git-bisect for a wrong number.

The standalone evidence-package checker (addendum Proposal 12): an independently distributable verifier that re-verifies a package's completeness.

Flagship 2 (plan 15.2): the seismic-minimal building frame - ground-structure layout LP with duality certificates, code-checked sizing.

FrankenScript, the system's one true interface: a typed, versioned IR with isomorphic s-expr + JSON syntaxes and structured errors that teach.

The Design Ledger on FrankenSQLite: content-addressed artifacts, event-sourced ops, lineage, tune cache, and time-travel / explain().

The P2 marquee demo: shape/topology optimization on a raw SDF with no mesh in the loop.

Machine-checkable evidence packages (addendum Proposal 12): a content-addressed Merkle bundle of color-typed claims + provenance.

Per-operator error & cost models, the Error Ledger / Time Ledger attribution trees, and a plan-cost oracle rebuilt from tune records.

A content-addressed Merkle DAG with per-node slack = tolerance − achieved error, for certified-skip incremental recomputation.

Automatic lab notebooks + semantic design diffs (fs-report): every study emits a deterministic, content-addressed.

Machine-axis probing, kernel specs, the roofline registry, a measurement harness, and staleness checks.

Sessions, capability tokens, an enforcing resource governor, idempotency keys, and estimate() dry runs.

Certified-speculation accept/reject economics (addendum Proposal 9): the decision rule.

The vertical skeleton: a deliberately tiny SDF → PDE → objective → adjoint → optimize → ledger → replay demonstrator.

Browser (WASM) surface over FrankenSim's pure numerical leaves — real math in the browser, no mocks.

Deterministic PNG / OpenEXR image plumbing, film / display transforms, and bias-labeled denoising for the render lane.

Unbiased spectral path-tracing core (fs-render): the verifiable Monte-Carlo foundations.

Scientific visualization (fs-viz): the topological summaries that make a 10^8-cell field legible to an agent in one image.

Quality-diversity archives (fs-archive): MAP-Elites and CVT illumination archives that ILLUMINATE a behavior space.

The gradient-based optimizer stack: L-BFGS with strong-Wolfe search, trust-region Newton-Krylov (Steihaug).

Data assimilation: validation as a living belief (addendum Proposal 11).

Bayesian optimization: Matern-family Gaussian processes with QMC-multistart hyperparameter fitting, EI/q-EI acquisitions, and deterministic BO loops.

A constraint calculus with semantics: Hard / Soft / Chance / Robust / Certification / Fabrication kinds, evidence-typed violations, and minimal unsat cores.

Derivative-free engines: CMA-ES as a natural-gradient flow, BIPOP restarts, and Nelder–Mead, all deterministic from seed and cross-ISA golden-hashed.

Dimensional knowledge mining (addendum Proposal 9): fit closed-form power-law scaling laws over a certified corpus in dimensionless-group.

Betting e-processes, pairwise races, Gaussian-mixture confidence sequences, and e-Benjamini–Hochberg for anytime-valid stopping.

Manufacturing, fabrication, and code compliance as its own layer (fs-fab): optimization without fabrication semantics produces fantasy artifacts.

First-class manufacturability constraints: min-thickness (the anti-paperclip constraint), draft angle, symmetry-by-construction, and keep-out envelopes.

The optimization problem IR: typed objective / constraint graphs over manifold variables, with the Goodhart guard.

Objective epistemics (addendum Proposal F): apply the three colors to the GOAL itself.

Proof-carrying optimization (fs-sos): sum-of-squares certificates as executable PROOFS of polynomial lower bounds.

Learned accelerators with guarantees (fs-surrogate): classical reduced-order models permitted ONLY inside certified validity bands.

Adjoint-driven tolerance allocation (addendum Proposal 11's commercial kicker): spend tight manufacturing tolerances.

Level-set topology optimization: WENO narrow-band advection, fast-iterative-method redistancing, normal velocity extension.

Density-based topology optimization: SIMP with Helmholtz filtering, Heaviside projection, exact chain-rule sensitivities.

Ground-structure truss layout optimization: fnx candidate graphs, PDHG plastic-design LP with duality-gap certificates.

Uncertainty quantification: Karhunen-Loeve random fields with captured-variance evidence, polynomial chaos by regression, QMC propagation.

Value-of-information and active validation (fs-voi): the strategic layer deciding what information to acquire next.

Gradient truth: IFT discrete adjoints through solvers, time-dependent adjoints under revolve checkpointing, Hadamard shape gradients.

Laplace BEM panel methods: 3D exterior potential flow with FMM-accelerated GMRES, 2D Hess-Smith airfoils with Kutta condition and adjoint gradients.

Assume-guarantee component contracts (addendum Proposal E): certified design motifs.

Multiphysics composition through port-Hamiltonian Dirac structures (fs-couple): partitioned coupling that is PASSIVE BY CONSTRUCTION.

CutFEM on SDFs: certified cut-cell classification, cut quadrature with error control, ghost-penalty stabilization, aggregation fallback.

Domain decomposition: BDDC substructuring with corners-primal coarse spaces, sheaf-harmonic edge enrichment (Bet 11's second consumer).

Dual-weighted-residual goal-oriented adaptivity: enriched-adjoint DWR estimates, Doerfler marking, octree h-refinement loops.

Exterior-calculus core: cochains on complexes, exact integer incidence d, Hodge stars / Whitney masses, and grad→curl→div identities to machine precision.

Incompressible Navier-Stokes, FEEC-native: H(div)-conforming RT0 velocities (exactly divergence-free, pressure-robust), interior-penalty viscous DG.

Interface types and a coupling-graph checker: Arnold's FEEC periodic table as a type lattice; illegal couplings become compile-time rejections.

Isogeometric analysis (fs-iga): Galerkin directly on B-spline spaces.

The fidelity-ladder registry: ordered rungs per kernel (correlation → RANS → LES) with typed prolongation / restriction.

Lattice Boltzmann core (fs-lbm): a D2Q9 BGK stream-and-collide solver with Guo body forcing and halfway bounce-back walls.

Constitutive-law kernel: elastic, hyperelastic, J2 plasticity, Mander concrete / Menegotto–Pinto steel, with consistent tangents.

A typed operator IR: one symbolic definition yields residual, JVP, VJP / adjoint, DWR indicators, and MMS studies. A kernel-generating algebra.

Discrepancy probes + budget pie (addendum Proposal 3): runs adjacent-rung model-form probes over the fidelity-ladder registry.

Physics-regime & nondimensionalization: which solver is even valid here? Buckingham-π groups, scaling maps, and alternatives-ranked refusals.

A boundary-condition & load-case algebra: what is being done to it? as a typed, dimensioned value with frames and stochastic ensembles.

Elasticity core: small-strain and finite-strain hyperelasticity (via fs-material), locking-free B-bar, body-fitted and CutFEM frontends.

Matrix-free Krylov (CG / MINRES / GMRES) plus p-multigrid: resumable, cancellable, deterministic, and adjoint-equipped by construction.

Structure-preserving integrators: symplectic Verlet, Lie-group SE(3) / SO(3), generalized-α, IMEX / exponential, with adjoints.

The certified-speculation verifier: an equilibrated-flux (Prager–Synge) a-posteriori accept test that stamps candidates verified or fails closed.

Vortex particle method (fs-vpm): 2-D inviscid vortex dynamics by direct desingularized Biot-Savart induction and RK4 advection.

As-built ingestion: reality as another chart (addendum Proposal 11).

Restriction-map plugin conformance SDK (addendum Proposal 7): third-party chart-to-chart converters are certified into tiers.

Kernel-independent black-box FMM: Chebyshev interpolation operators on octrees (P2M/M2M/M2L/L2L/L2P), direct near field.

Geometric algebra: PGA Cl(3,0,1) motors / screws and CGA Cl(4,1), with const-evaluated multiplication tables.

The Region / Chart abstraction, chart-agreement as a checkable proposition, the Rep Router, and sheaf certificates.

Import / export with quarantine: dirty geometry lands as Quarantined and only promotes to Evidence after repair + validity.

Incremental Delaunay / tet scaffolding, exact audits, quality refinement, metric fields, and remeshing.

Uniform geometry queries across chart types: closest point, sphere-trace raycast, offsets, certified clearance, and curvature.

CSG / F-rep builders, differentiable R-function Booleans, and interval / Lipschitz / gradient evaluators.

Half-edge surfaces, oriented tet complexes, soup repair, generalized winding numbers, dual contouring, and quality.

Neural implicit charts (fs-rep-neural): small coordinate MLPs as shapes (DeepSDF-style) with SPECTRAL-NORM/Lipschitz-constrained layers.

Rational B-spline charts with exact knot insertion & degree elevation (i128 rationals), trimmed patches, and certified closest-point.

Dense tiled SDF grids, the FrankenVDB sparse tree, adaptive octree SDF, narrow-band, and SDF charts.

Occupancy / multi-material voxel charts on VDB, exact Euclidean distance transforms, point clouds, and lattice graphs.

Generative geometry program synthesis (fs-shapeprog): a typed constructive-geometry DSL with SDF semantics.

Validity & topology certificates: manifoldness, self-intersection proofs (exact orient3d), and cubical Betti numbers.

FFD lattices, RBF morphs, level-set velocity bands, SIMP density fields, composed parameterizations, and foldover detection.

Forward-mode duals, the Real trait, gradient checks, implicit-function adjoint hooks, and revolve checkpointing.

Adaptive 1D Chebyshev, Lobatto points, differentiation matrices, and Orr–Sommerfeld growth rates.

Complex and real FFTs, DCT-II/III, Stockham structure, and transform conformance.

What the word Certified means: outward-rounded intervals, affine arithmetic, Taylor models, Newton / Krawczyk, and exact geometric predicates.

Dense BLIS-style GEMM, batched small-dense, factorizations, mixed precision, eigensolvers, and randomized NLA.

Counter-based Philox streams keyed by logical identity, Sobol / Owen QMC, lattice rules, and distributions.

COO / CSR / BSR / SELL formats, deterministic assembly, SpMV / SpMM, Chebyshev smoothers, ILU0, PCG, and smoothed-aggregation AMG.

Spectral health monitoring (addendum Proposal 5): track the sheaf-Laplacian lambda-gap as a runtime health metric with hysteresis.

Symmetry harvesting (addendum Proposal 13): detect cyclic symmetry with a certified asymmetry residual.

Tropical (max-plus) critical-path analytics (fs-tropical): task-DAG timing in the max-plus semiring.

128-byte aligned allocation, cache padding, scoped arenas, arena pools, and hugepage policy.

The Cx context, two-lane executor, cancellation gates, tile kernels, deterministic reductions, speculative races, and resumable solvers.

Deterministic elementary functions with declared ULP budgets, complex arithmetic, error-free transforms, and double-double.

Scalar baseline plus registered NEON / AVX-512 unsafe capsules behind safe façades and alignment contracts.

Structure-of-arrays runtime: 128-byte-aligned per-field buffers, SIMD across elements, zero-copy views. No unsafe.

Machine capability probes, fingerprints, topology maps, dispatch tiers, and Morton / tile IDs.

A safe tile-kernel DSL: one body lowers to scalar and lane-shaped variants (bitwise-equal) with roofline metadata and auto-generated determinism twins.