Machine-checked math

Built to be checked, not blindly trusted

Engineers do not sign off on unverified AI output, and they should not. So ForgePilot recomputes its own results with plain deterministic arithmetic, independent of the AI, and shows you both. This page documents that verification layer against closed-form textbook solutions.

1 · Equations shown

Every report states the governing equation, the substitution, and the intermediate arithmetic. Nothing is a black box you have to take on faith.

2 · Machine-checked

For beam deflection, tolerance stack-ups, pressure vessels, and axial/torsion stress, your inputs are recomputed with pure deterministic arithmetic, no AI involved, and shown as an independent badge next to the AI report.

3 · Verify yourself

Every report ends with the hand spot-checks a senior engineer would run: the highest-leverage calculations, which inputs matter most, and what rests on assumptions vs given data.

Deterministic layer vs closed-form solutions

The cases below compare ForgePilot's machine-check layer against the exact closed-form solutions (Roark's Formulas, Shigley's, standard thin-wall and Lamé equations). These are the same computations that run live on your inputs in the workspace.

ToolCaseInputsGoverning equationClosed-form solutionForgePilot machine-check
Beam DeflectionCantilever, point load at free endL = 500 mm, F = 1000 N, E = 68.9 GPa (Al 6061), I = 106,667 mm⁴ (20×40 rect)δ = FL³/3EI, M = FLδ = 5.669 mm, M = 500 N·mδ = 5.669 mm, M = 500.0 N·m
Beam DeflectionSimply supported, central point loadL = 1000 mm, F = 500 N, E = 200 GPa (steel), I = 833,333 mm⁴ (50×100 rect)δ = FL³/48EI, M = FL/4δ = 0.0625 mm, M = 125 N·mδ = 0.063 mm, M = 125.0 N·m
Tolerance Stack-Up4-dimension chainTolerances ±0.05, ±0.03, ±0.02, ±0.01 mmWC = Σ|tᵢ|, RSS = √(Σtᵢ²)WC = ±0.1100 mm, RSS = ±0.0625 mmWC = ±0.110 mm, RSS = ±0.062 mm
Pressure VesselThin-wall cylinderp = 1.5 MPa, rᵢ = 150 mm, t = 8 mm, Sy = 170 MPa (316L)σ_hoop = pr/t, σ_long = pr/2tσ_hoop = 28.13 MPa, σ_long = 14.06 MPa, FoS = 6.04σ_hoop = 28.13 MPa, σ_long = 14.06 MPa, FoS = 6.04
Pressure VesselMarginal thin-wall (rᵢ/t = 6.25)p = 1.5 MPa, rᵢ = 50 mm, t = 8 mmLamé: σ_hoop,inner = p(rₒ²+rᵢ²)/(rₒ²−rᵢ²)σ_hoop,inner = 10.18 MPa (thin-wall would give 9.38)Flags rᵢ/t < 10, reports Lamé 10.18 MPa alongside thin-wall
Stress AnalysisAxial, solid circular, with KtF = 5000 N, D = 50 mm, Kt = 2.0σ = Kt·F/A, A = πD²/4A = 1963.5 mm², σ = 5.09 MPaA = 1963.5 mm², σ = 5.09 MPa
Stress AnalysisTorsion, solid circular shaftT = 50,000 N·mm, D = 50 mmτ = Tr/J, J = πD⁴/32τ = 2.04 MPaτ = 2.04 MPa

Verified July 2026 against hand calculations. The machine-check layer is deterministic: identical inputs always produce identical results.

Why this layer exists: honest scope

Language models can make arithmetic mistakes even when their engineering reasoning is sound, a dropped exponent, a unit slip. Industry surveys show most engineers redo AI math by hand for exactly this reason. Rather than pretend that risk away, ForgePilot puts a deterministic arithmetic layer next to the AI: where the two disagree, the badge tells you to trust the arithmetic.

The badge only appears where the computation is genuinely unambiguous. Standard beam configurations get badged; a propped cantilever does not. Axial and torsion stress get badged; bending without a defined moment arm does not. Fatigue life is never badged, it is judgment-heavy by nature. A wrong badge would be worse than no badge.

And to be direct about what ForgePilot is not: it is not FEA. Meshed simulation of complex geometry is ANSYS-class work, and for final structural validation of complex parts, that remains the right tool. ForgePilot covers the classical analytical layer, concept and detail-stage reasoning, documentation, FMEA, standards compliance, and its hand calculations double as the sanity check on your FEA setup.

Run your own numbers through it

The fastest way to evaluate the verification layer is with a calculation you already know the answer to.

Try It Free

No credit card required · Free plan includes 10 analyses/day