sonium.

Reference solutions · 46

Self-contained closed-form identities and limiting/scaling checks, one per binary, across FEM physics. Method shown on hover; tolerance is the pass gate. back to QA

CaseTierReferenceGate
reference.fem-aeroacoustics-wavy-wall.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-aeroacoustics-convected-duct.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-aeroacoustics-cylinder-potential.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-aeroacoustics-mms.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-electroacoustics-piston-tube.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-electroacoustics-piston-baffle.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-electroacoustics-pulsating-sphere.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-electroacoustics-oscillating-sphere.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-electroacoustics-lumped.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-lumped-circuit-rc-step.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-lumped-circuit-op-amp-gain.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-maxwell-1d-pec-cavity.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-maxwell-2d-waveguide-te10.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-maxwell-2d-waveguide-te11.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-maxwell-pec-cylinder-scattering.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-biharmonic-ss-rectangular-sinusoidal.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-biharmonic-clamped-circular.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-biharmonic-ss-circular-point-load.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-biharmonic-corner-supported-square.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-biharmonic-levy-rectangle.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-eddy-current-cylinder-ac.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-eddy-current-slab-filament.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-eddy-current-mms.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-piezoelectric-bimorph.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-piezoelectric-radial-cylinder.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-piezoelectric-mms.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-shell-cylindrical-ring-load.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-nonlinear-solid-sphere-inflation.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-nonlinear-solid-tube-inflation.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-plasticity-thick-cylinder.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-plasticity-mms.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-contact-hertz-sphere.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-contact-hertz-cylinder.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-contact-rigid-punch.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-contact-winkler-layer.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-shell-clamped-circular-plate.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-shell-ss-circular-plate.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-shell-cylindrical-pressure.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.fem-shell-spherical-pressure.v1reference-onlyclosed-form helper assertions in this binarycase-local reference assertions; numerical_solve_executed = 0
reference.room-modal-validation.v1reference-onlyc/2 sqrt((m/Lx)^2+(n/Ly)^2+(p/Lz)^2)frequency <= 5e-7Hz; numerical_solve_executed = 0
reference.fem-ns-2d-poiseuille-low-re.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-ns-kovasznay.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-ns-taylor-green.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-ns-1d-burgers.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-ns-mms.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0
reference.fem-necking-bar.v1reference-onlyclosed-form identities and limiting/scaling checks in this binarycase-local analytical assertions; numerical_solve_executed = 0