Benchmark evidence engineers can inspect.

RANS turbulence-model implementation verification with public grids and reference-code sample results.

2D zero-pressure-gradient flat plate; 2D bump-in-channel; 3D bump-in-channel

pass 0, research 0, rollup 0, not registered 6

Register each verification family with source grid, QoI, tolerance, and first failing RANS command.

Fundamental turbulent-flow validation cases spanning wall flows, jets, wakes, airfoils, separation, shocks, and internal flows.

NACA 0012 airfoil; NASA wall-mounted hump; ACSSJ cold supersonic jet

pass 0, research 1, rollup 0, not registered 20

Continue ACSSJ through RANS/reference-solver research, then register the remaining TMR validation families.

2D and 3D laminar cylinder cases with drag, lift, pressure difference, recirculation, Strouhal, and mesh/time-refinement reporting.

2D-1 Re20 steady cylinder; 2D-2 Re100 unsteady cylinder; 3D circular-cylinder cases

pass 0, research 1, rollup 0, not registered 8

Resolve the DFG Re20 force/pressure research gate before registering broader 2D/3D cylinder rows as pass candidates.

Classic incompressible square-cavity reference profiles used for CFD code verification and comparison.

Re=100/Re=400 centerline velocity profiles

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the active Ghia u-centerline gates and SimulationLedger replay; Re=1000, high-cost N=129 witnesses, turbulence, and external CFD-suite parity remain out of scope.

Classic one-dimensional compressible Euler shock-tube Riemann problem used for shock-capturing code verification and grid-convergence comparison.

1D Sod shock-tube L1/Linf convergence

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the active exact-Riemann L1/Linf convergence and conservation gates; multidimensional CFD, turbulence, external CFD-suite parity, and production shock-capturing validation remain out of scope.

Classic slotted-disk passive-advection benchmark for multidimensional transport and interface-capturing methods.

One-revolution slotted-disk VOF advection

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to passive-advection shape, boundedness, and mass-conservation QoIs; coupled multiphase Navier-Stokes, surface tension, spray, cavitation, free-surface validation, and external CFD-suite parity remain out of scope.

Canonical periodic incompressible vortex benchmark used for closed-form 2D diagnostics and 3D turbulence-code comparison studies.

2D periodic vortex FFT kernel

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the active 2D closed-form FFT kernel gates; 3D Taylor-Green turbulence, wall-bounded separated flow, external CFD-suite parity, and production CFD accuracy remain out of scope.

Closed-form laminar planar Couette and body-force Poiseuille channel-flow references for CFD profile, residual, wall-shear, and flow-rate verification.

Laminar planar Couette/Poiseuille profiles

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to laminar analytic channel-flow gates and ledger replay; turbulence, high-Re separated flow, 3D customer geometry, external CFD-suite parity, flame, plume, certification, and hardware-readiness remain out of scope.

Closed-form one-dimensional steady conduction through a plane wall or slab for thermal solver temperature-profile and heat-flux verification.

1D steady conduction slab temperature and heat flux

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the checked 1D steady conduction slab/bar benchmark; transient thermal behavior, convection, radiation, contact resistance, conjugate/electronics cooling, customer hardware readiness, incumbent CAE parity, certification, and physical-test correlation remain out of scope.

Closed-form one-dimensional finite-slab transient conduction with fixed surface temperatures for tabulated temperature-time and sensitivity-ladder verification.

1D transient slab temperature-time history

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the checked finite-slab Carslaw/Jaeger transient conduction fixture; convection, radiation, contact resistance, conjugate heat transfer, phase change, electronics cooling, customer hardware readiness, physical-test correlation, incumbent CAE parity, and certification remain out of scope.

Closed-form homogeneous small-strain thermal expansion and restrained thermal-stress references for thermo-structural solver verification.

Thermal expansion bar free displacement and restrained stress

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the homogeneous small-strain thermo-structural bar fixture; transient heat transfer, convection, radiation, contact resistance, conjugate heat transfer, electronics cooling, nonlinear materials, contact, plasticity, physical-test correlation, regulated approval, and broad thermal/structural/multiphysics parity remain out of scope.

Closed-form one-dimensional steady composite-slab conduction with partitioned Dirichlet-Neumann CHT interface-temperature checks.

1D composite-slab CHT interface temperature

pass 1, research 0, rollup 0, not registered 0

Keep the pass scoped to the steady 1D composite-slab CHT primitive; 2D counterflow fluid advection, turbulence, radiation, contact resistance, electronics/AI-chip package cooling, conjugate CFD production readiness, broad CHT parity, physical-test correlation, certification, and production sign-off remain out of scope.

Independent finite-element static stress, thermal, thermo-elastic, and free-vibration benchmark targets.

LE3 hemisphere point loads; LE11 hollow sphere pressure; FV12 free thin square plate; FV4 offset-mass cantilever

pass 3, research 1, rollup 1, not registered 22

Split exact P18 fixtures from narrower analytic stand-ins before claiming full NAFEMS P18 coverage.

About 30 free-vibration finite-element assembly benchmarks with target frequencies and mode-shape schematics.

Beam frequency assemblies; Plate frequency assemblies; Offset-mass modal assemblies

pass 0, research 1, rollup 4, not registered 1

Split R0015 modal assemblies into individual frequency and mode-shape rows with MAC and tolerance gates.

Open CFD/turbulence test-case database with descriptions, downloadable data, references, computational results, and workshop conclusions.

Wall-bounded flows; Separated turbulent flows; Heat-transfer flows

pass 0, research 0, rollup 0, not registered 6

Select the first source-bound ERCOFTAC case and register downloadable data, QoIs, and validation tolerance.

Public DNS datasets for isotropic, channel, MHD, buoyancy-driven, rotating/stratified, transitional, and high-Re turbulence.

Channel-flow DNS; Forced isotropic turbulence; Transitional boundary layer DNS

pass 0, research 0, rollup 0, not registered 9

Register DNS postprocessing benchmarks as reference-data targets, not broad solver-validation passes.

Public CRM geometry, force/moment data, pressure data, and wind-tunnel comparison path for aircraft CFD.

CRM transonic wing forces; CRM pressure distributions; High-lift CRM

pass 0, research 0, rollup 0, not registered 4

Route through source geometry, RANS, pressure, and force/moment evidence before any aircraft-CFD benchmark claim.

Archive of example, verification, and validation cases for Wind-US plus a general CFD V&V data resource.

NPARC example cases; NPARC verification cases; Wind-US reference comparisons

pass 0, research 0, rollup 0, not registered 4

Select source-bound NPARC cases with public QoIs before using Wind-US as reference-solver confidence.

cantilever-beam

tip_deflection_y

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id cantilever-beam --json

simply-supported-beam

midspan_deflection_y

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id simply-supported-beam --json

thick-walled-pressure-vessel

hoop_stress_at_inner_radius

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id thick-walled-pressure-vessel --json

plate-with-central-hole

stress_concentration_factor

10% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id plate-with-central-hole --json

thermal-expansion-bar

free_end_displacement_x

1% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id thermal-expansion-bar --json

hertz-contact

approach_displacement

10% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id hertz-contact --json

cooks-membrane

tip_node_displacement_y

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id cooks-membrane --json

patch-test

interior_node_stress

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id patch-test --json

cantilever-modal

first_natural_frequency_Hz

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id cantilever-modal --json

thermal-conduction-wall

midplane_temperature_K

5% relative tolerance

projects/anvil-sim/benchmarks/run_benchmarks.py --id thermal-conduction-wall --json

Taylor-Green closed-form 2D vortex

Velocity, vorticity, enstrophy, divergence, and refinement gates pass.

Rust FFT kernel benchmark and .anvilprov proof pack.

taylor-green-cfd-benchmark

Ghia, Ghia, and Shin centerline velocity profiles

Re=100/Re=400 centerline profile gates and ledger replay pass.

anvil-validation cavity tests plus SimulationLedger proof pack.

lid-driven-cavity-cfd-benchmark

Zalesak/Rider-Kothe/Youngs interface benchmark lineage

Shape error, mass conservation, bounds, and rigid-rotation checks pass.

VOF solver receipt and proof pack.

vof-zalesak-disk-benchmark

Analytic planar channel-flow profiles

Velocity profile, residual, wall shear, and flow-rate gates pass.

Channel-flow continuous proof with SimulationLedger buffers.

cfd-channel-flow-continuous-proof

Closed-form 1D conduction and finite-difference cross-check

Temperature, residual, heat flux, and refinement gates pass.

Thermal solver ladder receipt.

thermal-conduction-slab-benchmark

Carslaw-Jaeger transient slab

Temperature-time, mesh, and time-step sensitivity gates pass.

Transient thermal solver/oracle receipt.

thermal-transient-slab-benchmark

Timoshenko-Goodier free and restrained bar formulas

Free displacement, restrained stress, refinement, Tet10, and sign gates pass.

Thermal-expansion bar proof pack.

thermal-expansion-bar-benchmark

Carslaw-Jaeger composite-slab interface temperature

Interface temperature, scatter, residual, and heat-flow gates pass.

Partitioned CHT driver receipt.

cht-composite-slab-carslaw-jaeger-benchmark

Mills heat-exchanger outlet-temperature reference

Outlet temperature, residual, bounds, and monotone cooling gates pass.

Fluid-channel and solid-plate coupling receipt.

cht-2d-counterflow-mills-benchmark

Public adaptive-FEM L-shape convergence benchmark

Dorfler marker and adaptive-rate gates pass.

Adaptive loop primitive and integration test.

l-shape-adaptive-dorfler-mesh-benchmark

Analytic Fourier slab conduction

Centerline temperature, heat rate, heat flux, and balance gates pass.

Rust-owned electronics thermal proof pack.

electronics-c01-slab-steady-dirichlet

Same-mesh uniform-grey baseline

Volume fraction, compliance, and >=30% baseline reduction gates pass.

Thermal topology optimization benchmark.

heat-sink-thermal-simp-topology-benchmark

Bernoulli-Euler tip and stress references

Tip displacement, reaction balance, EAS cure, and stress QoIs pass.

Static cantilever solver receipt and proof pack.

static-cantilever-hex8-eas-benchmark

Cook membrane displacement benchmark

Active <=10% tip-displacement gate passes; <=5% stays research-gated.

Cook closure audit and validation test.

cooks-membrane-tet10-sri-benchmark

Blevins cantilever frequency reference

Mode 1 is within the named 5% tolerance.

Executable Blevins modal receipt.

cantilever-modal-tet10-mode1-benchmark

Blevins/Timoshenko longitudinal fixed-free bar

Period and five-period amplitude drift gates pass.

Elastic-bar-wave dynamics proof pack.

elastic-bar-wave-dynamics-benchmark

Undamped oscillator analytic solution

Amplitude, cardinal probe, displacement, and CFL gates pass.

Time-integration SDOF proof pack.

time-integration-sdof-textbook-benchmark

Pipe, room, box, and circular-duct eigenfrequencies

Bar2, Tri3, Tet4, and circular duct frequency gates pass.

Acoustic Helmholtz proof pack.

acoustic-helmholtz-textbook-benchmark

Analytic beam plus same-input CalculiX B32

First-mode, peak-frequency, and curve-RMS gates pass.

FRF CalculiX comparison and proof pack.

frf-cantilever-harmonic-response

NAFEMS R0094 and Leissa thin-plate checks

First elastic mode passes; all-six-mode claim stays research-gated.

Release-profile MITC4 modal benchmark.

nafems-fv12-thin-plate-mitc4-modal-benchmark

Macneal-Harder / NAFEMS hemisphere point-load displacement

MITC9 BB2018 N=12 radial displacement passes.

LE3 release-profile validation gate.

nafems-le3-hemisphere-mitc9-bb2018-benchmark

Lamé thick-cylinder pressure solution

Tet10 radial stress and convergence-trend gates pass.

Pressure-vessel bundle integrity gate.

nafems-le2-thick-cylinder-lame-benchmark

Analytic uniaxial tension reference

Tip elongation and convergence-trend gates pass.

LE5 Tet10 bundle scope gate.

nafems-le5-uniaxial-tet10-benchmark

Lamé thick-sphere pressure solution

Inner radial and hoop stress gates pass.

Tet10 SPR-EB-Split receipt.

nafems-le11-hollow-sphere-lame-benchmark

Sod exact Riemann solution

Smooth-region density, velocity, pressure, and wave-localization gates pass.

Discontinuity-aware shock-tube checker.

sod-shock-tube-smooth-region

Sod 1978 exact Riemann solution

Density L1 refinement and conservation gates pass.

AUSM+ shock-tube solver JSON receipt.

sod-shock-tube-l1-linf-convergence

Rankine-Hugoniot analytic shock relations

Mach, pressure, density, temperature, and stagnation pressure gates pass.

Normal-shock analytic receipt.

generic-normal-shock-analytic-reference

Isentropic area-Mach and mass-flow relations

Exit Mach, area roundtrip, mass-flow spread, and report gates pass.

Design-nozzle report and checked JSON reference.

nozzle-quasi-1d-isentropic-expansion

FeatFlow / Schaefer-Turek DFG 2D-1 Re20

0.5 mesh drag passes while lift fails; 0.25 refinement keeps drag passing but flips lift sign and regresses pressure difference.

OpenFOAM mesh-sensitivity ratchet: REFINED_MESH_REGRESSED_QOIS_NOT_VALIDATION, so DFG Re20 remains research-gated.

dfg-re20-mac-error-budget-frontier

Same-input FDS reference-metrics workflow

Five strict heat-release, plume, smoke, temperature, and velocity QoIs fail.

FDS QoI, source-power, mesh-sensitivity, soot, and OpenFOAM gates request deep research.

flame-cfd-low-mach-reacting-plume

NASA/TMR ACSSJ cold Mach-2 centerline fixture

Euler scaffold is finite, but Mach and total-pressure station tolerances fail.

ACSSJ receipt and continuation frontier request RANS or same-input reference-solver research.

axisymmetric-euler-verification-rung

Analytic fixed-free beam and same-input CalculiX B32

Peak 8,150 Hz vs CalculiX 8,178.154 Hz; 0.3443% peak-frequency delta and 0.0233 normalized curve RMS.

FRF cantilever reference-solver comparison and public harmonic-response clip, May 2026.

Current public evidence is cantilever harmonic response against analytic and CalculiX references.

Bernoulli-Euler same-location Gauss-point stress reference

Stress error 1.4588e-2 at 20x4x2 and 5.1531e-3 at 40x8x4.

Static cantilever stress-QoI proof receipt, May 13 2026.

Current public evidence is integration-point stress evidence with mesh refinement.

Scenario-local acceptance gate with a public expansion path

Trajectory enters the 0.50 m return window while airborne before first ground contact.

2026-05-13 flight-path replay plus return-window diagnostics packet.

Current public evidence is scenario-local return-window evidence; measured-flight and wind-tunnel correlation are the next expansion path.

NAFEMS published linear-elastic targets

Selected LE rows are within declared tolerances; additional families remain in validation.

Core benchmark anchors and public verification dashboard.

Current public evidence separates passing linear-elastic rows from modal and shell expansion rows.

NAFEMS FV4 first-six-mode reference case

Target first-six-mode accuracy; direct shifted-solve routes are finite, but worst-mode error remains about 91% at the n10 rung.

Direct shifted-solve and virtual-mass audit gates, May 14 2026.

Mode-shape, model-form, and dense-solver comparison are the current validation focus.

SAE 840300 Ahmed body and Lienhart-Becker wake reference targets

Reference Cd/Cl targets are present; public Anvil deltas are the next solver rung.

Ahmed benchmark-target presenter asset and public CFD target row.

Cd/Cl deltas, turbulence-closure validation, and grid-sensitivity evidence are the next public step.

Public plume/flame references and FDS-style comparison workflow

QoI and tolerance bands are being attached; public clips are visual previews today.

Reference-calibration work is available, with public plume visuals still labeled partial.

Reference source, plume QoI, tolerance band, and Anvil delta are the current validation focus.

Canonical lid-driven cavity references such as Ghia-style centerline velocity profiles

Centerline u/v profile deltas and grid-sensitivity tolerances are the next evidence step.

CFD validation ladder queue with cavity references selected for a public delta row.

Reference-profile ingestion, conservation checks, and grid-sensitivity evidence are the current focus.

Analytic Riemann shock-tube solution family

Density, pressure, and shock/contact location tolerances are the next public Anvil delta row.

Public shock-tube visual exists as a demo asset with analytic comparison planned.

Same-case analytic extraction, numerical delta table, and convergence evidence are the next public step.

Taylor-Green vortex analytic/decay reference family

Energy/enstrophy decay and velocity-field tolerances are the next Anvil output step.

Public Taylor-Green visual is available as an early motion preview.

Conservation, decay-curve, and grid-sensitivity comparison are the next public step.

Cylinder wake Strouhal reference band

Strouhal target band is selected; calibration is moving through documented Reynolds setup and grid sensitivity.

Karman vortex public clip and Strouhal receipt.

Documented Reynolds number, domain, boundary conditions, and grid sensitivity are the current validation focus.

Carslaw-Jaeger style transient heat-conduction analytic gate

Temperature-time profile comparison exists with the boundary-condition model called out for refinement.

Transient heat-conduction public clip and thermal receipt.

Boundary-condition refinement and temperature-profile tolerance deltas are the next public step.

Electronics thermal characterization references; public source and package model selected through intake track

Junction/package temperature, heat-spreader assumptions, and airflow tolerances are the next evidence step.

Electronics thermal-airflow preview and heat-sink SIMP clip.

Public package/reference model, power map, material stack, and reference measurement are the current intake focus.

Heat-balance receipt and thermal-SIMP benchmark band

Thermal channel and heat-balance evidence are visible; conjugate heat-transfer tolerance is the next expansion path.

Thermal-SIMP and electronics thermal-airflow public clips.

External thermal reference and electronics-module temperature tolerances are the current validation focus.

Hertz analytical baseline plus penalty NTS contact primitives

Active-set evolution and a 9x9 contact-face force sample grid are visible; Hertz C-1 closure is the current comparison target.

Gripper contact-stress receipt and public overlay clip.

Contact continuity and reference-solver comparison are the current robotics validation focus.

Five-part source-CAD corpus and mesh gauntlet

2 of 5 corpus entries are ready; the closure matrix has 3 ready fixtures, 1 expected exception fixture, and 1 unresolved entry with explicit mesh and source-face validation codes.

Geometry/mesh gauntlet status carried into reviewer packet.

Source-face review, mesh quality, reference-mesher availability, and pre-solver readiness gates are the current focus.

Public launch references selected for small proof rows

QoI and tolerance selection starts with one small launch subclaim.

Flagship composition roadmap with subclaim decomposition underway.

Subclaim decomposition, reference sources, solver gates, and visual/evidence separation are the current focus.