Fifty-four crates, one workspace.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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.

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

The #[derive(Soa)] procedural macro.

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

The kernel! macro implementation for fs-tilelang.