CVP reproduce

engineering.tolerance.stackup

Independent re-run pack: fixed input vectors, O3 expected values, oracle version, commands, and the last result summary. This is how a reader moves from “CalculatorX says it passed” to “I can reproduce why it passed.”

Reproduce JSON CVP Manifest O3 table Generator REST checker Calculator

Identity

Calculation version, protocol version, and evidence revision are distinct.

Calculation version: 1.4.0
CVP protocol: 1.0.0-proposed · proposed
Evidence revision: 2026-09-16.o3-linear
Oracle: O3 · mpmath 1.4.1 · 80 dps
Generator: tolerance-stackup-mpmath-o3 · seed 20260916.stackup-o3
Table SHA-256: c4a42ddcea761a928f5000550fe934a9fdc7e76b98583d5fa12f5551ad08c917

Numerical claim

O3 PASS is a tabulated-vector claim, not a whole-domain proof.

≤2 ULP vs O3 applies only to the published tabulated Basic RSS/WCA and Engineering dimensions[] vectors (symmetric, asymmetric, 1σ, 3σ, uniform). It is not a whole-domain stack guarantee and does not cover GD&T or 3-D loops.

Last O3 run 10 / 10
Max error observed 1 ULP
Threshold ≤ 2 ULP

Commands

Regenerate the table from the public generator. Independent REST check needs only this page's reproduce.json plus stdlib Python — no repo clone and no mpmath. The CVP runner remains a maintainer command.

Regenerate O3 table: python3 generate-tolerance-stackup-o3.py after downloading the public generator next to the table
Repo maintainer path: python3 scripts/lib/cvp/oracles/generate-tolerance-stackup-o3.py
Independent REST check: Compare POST /api/v1/calc/tolerance-stackup against /developers/cvp/reproduce/tolerance-stackup-o3-tables.json after downloading check-math-o3-rest.py next to tolerance-stackup-o3-tables.json (or pass --reproduce reproduce.json)
Re-run CVP: npm run cvp:run -- --capability engineering.tolerance.stackup
REST check: POST https://www.calculatorx.com/api/v1/calc/tolerance-stackup with a tabulated input from the table below

Re-running the generator without changing seed or inputs should reproduce table SHA-256 c4a42ddcea761a928f5000550fe934a9fdc7e76b98583d5fa12f5551ad08c917. Compare each expected_f64 to the production result within the declared ULP threshold.

Tabulated vectors

Every O3 vector used for the ≤2 ULP claim. Expected values come from the published mpmath table, not from the implementation under test.

ID	Kind	Inputs	Expected (f64)	Actual	ULP	Status
`o3-rss`	basic-rss	`{"mode":"rss","tol":[0.1,0.2,0.1]}`	{"mode":"rss","profile":"basic","stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4}	{"mode":"rss","profile":"basic","n":3,"tol":[0.1,0.2,0.1],"stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4,"stack_range":0.8,"stack_half_range":0.4,"stack_nom":null,"stack_stat_center":null,"stack_center_shift":null,"stack_min":null,"stack_max":null,"rss_over_wca":0.6123724356957946,"dimensions":null}	0	PASS
`o3-wca`	basic-wca	`{"mode":"worst_case","tol1":0.1,"tol2":0.2,"tol3":0.1}`	{"mode":"worst_case","profile":"basic","stack":0.4,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4}	{"mode":"worst_case","profile":"basic","n":3,"tol":[0.1,0.2,0.1],"stack":0.4,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4,"stack_range":0.8,"stack_half_range":0.4,"stack_nom":null,"stack_stat_center":null,"stack_center_shift":null,"stack_min":null,"stack_max":null,"rss_over_wca":0.6123724356957946,"dimensions":null}	0	PASS
`o3-rss-fields`	basic-rss-fields	`{"mode":"rss","tol1":0.1,"tol2":0.2,"tol3":0.1}`	{"mode":"rss","profile":"basic","stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4}	{"mode":"rss","profile":"basic","n":3,"tol":[0.1,0.2,0.1],"stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4,"stack_range":0.8,"stack_half_range":0.4,"stack_nom":null,"stack_stat_center":null,"stack_center_shift":null,"stack_min":null,"stack_max":null,"rss_over_wca":0.6123724356957946,"dimensions":null}	0	PASS
`o3-eng-symmetric`	engineering-symmetric	`{"mode":"rss","dimensions":[{"name":"A","nom":10,"tol_plus":0.1,"tol_minus":0.1,"direction":"+"},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-"},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+"}]}`	{"mode":"rss","profile":"engineering","stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4,"stack_nom":8,"stack_stat_center":8,"stack_min":7.6,"stack_max":8.4}	{"mode":"rss","profile":"engineering","n":3,"tol":[0.1,0.2,0.1],"stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.4,"stack_worst_plus":0.4,"stack_worst_minus":0.4,"stack_range":0.8,"stack_half_range":0.4,"stack_nom":8,"stack_stat_center":8,"stack_center_shift":0,"stack_min":7.6,"stack_max":8.4,"rss_over_wca":0.6123724356957946,"dimensions":[{"name":"A","nom":10,"tol_plus":0.1,"tol_minus":0.1,"direction":"+","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":10,"center_shift":0,"signed_center":10,"delta_max":0.1,"delta_min":-0.1,"tol_rss":0.1},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":-5,"center_shift":0,"signed_center":-5,"delta_max":0.2,"delta_min":-0.2,"tol_rss":0.2},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":3,"center_shift":0,"signed_center":3,"delta_max":0.1,"delta_min":-0.1,"tol_rss":0.1}]}	0	PASS
`o3-eng-asymmetric`	engineering-asymmetric-wca	`{"mode":"worst_case","dimensions":[{"name":"A","nom":10,"tol_plus":0.05,"tol_minus":0.15,"direction":"+"},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-"},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+"}]}`	{"mode":"worst_case","profile":"engineering","stack":0.45,"stack_rss":0.24494897427831783,"stack_worst":0.45,"stack_worst_plus":0.35000000000000003,"stack_worst_minus":0.45,"stack_nom":8,"stack_stat_center":8,"stack_min":7.55,"stack_max":8.35}	{"mode":"worst_case","profile":"engineering","n":3,"tol":[0.1,0.2,0.1],"stack":0.44999999999999996,"stack_rss":0.24494897427831783,"stack_worst":0.44999999999999996,"stack_worst_plus":0.35,"stack_worst_minus":0.44999999999999996,"stack_range":0.7999999999999999,"stack_half_range":0.39999999999999997,"stack_nom":8,"stack_stat_center":8,"stack_center_shift":0,"stack_min":7.55,"stack_max":8.35,"rss_over_wca":0.5443310539518175,"dimensions":[{"name":"A","nom":10,"tol_plus":0.05,"tol_minus":0.15,"direction":"+","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":10,"center_shift":0,"signed_center":10,"delta_max":0.05,"delta_min":-0.15,"tol_rss":0.1},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":-5,"center_shift":0,"signed_center":-5,"delta_max":0.2,"delta_min":-0.2,"tol_rss":0.2},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":3,"center_shift":0,"signed_center":3,"delta_max":0.1,"delta_min":-0.1,"tol_rss":0.1}]}	1	PASS
`o3-eng-asymm-rss`	engineering-asymmetric-rss	`{"mode":"rss","dimensions":[{"name":"A","nom":10,"tol_plus":0.05,"tol_minus":0.15,"direction":"+"},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-"},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+"}]}`	{"mode":"rss","profile":"engineering","stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.45,"stack_worst_plus":0.35000000000000003,"stack_worst_minus":0.45,"stack_nom":8,"stack_stat_center":8,"stack_min":7.55,"stack_max":8.35}	{"mode":"rss","profile":"engineering","n":3,"tol":[0.1,0.2,0.1],"stack":0.24494897427831783,"stack_rss":0.24494897427831783,"stack_worst":0.44999999999999996,"stack_worst_plus":0.35,"stack_worst_minus":0.44999999999999996,"stack_range":0.7999999999999999,"stack_half_range":0.39999999999999997,"stack_nom":8,"stack_stat_center":8,"stack_center_shift":0,"stack_min":7.55,"stack_max":8.35,"rss_over_wca":0.5443310539518175,"dimensions":[{"name":"A","nom":10,"tol_plus":0.05,"tol_minus":0.15,"direction":"+","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":10,"center_shift":0,"signed_center":10,"delta_max":0.05,"delta_min":-0.15,"tol_rss":0.1},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":-5,"center_shift":0,"signed_center":-5,"delta_max":0.2,"delta_min":-0.2,"tol_rss":0.2},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+","statistical_basis":"magnitude","distribution":"magnitude","signed_nom":3,"center_shift":0,"signed_center":3,"delta_max":0.1,"delta_min":-0.1,"tol_rss":0.1}]}	1	PASS
`o3-eng-1sigma`	engineering-1sigma	`{"mode":"rss","dimensions":[{"name":"A","nom":0,"tol":0.3,"direction":"+","statistical_basis":"1sigma"}]}`	{"mode":"rss","profile":"engineering","stack":0.3,"stack_rss":0.3,"stack_worst":0.3,"stack_worst_plus":0.3,"stack_worst_minus":0.3,"stack_nom":0,"stack_stat_center":0,"stack_min":-0.3,"stack_max":0.3}	{"mode":"rss","profile":"engineering","n":1,"tol":[0.3],"stack":0.3,"stack_rss":0.3,"stack_worst":0.3,"stack_worst_plus":0.3,"stack_worst_minus":0.3,"stack_range":0.6,"stack_half_range":0.3,"stack_nom":0,"stack_stat_center":0,"stack_center_shift":0,"stack_min":-0.3,"stack_max":0.3,"rss_over_wca":1,"dimensions":[{"name":"A","nom":0,"tol_plus":0.3,"tol_minus":0.3,"direction":"+","statistical_basis":"1sigma","distribution":"1sigma","signed_nom":0,"center_shift":0,"signed_center":0,"delta_max":0.3,"delta_min":-0.3,"tol_rss":0.3}]}	0	PASS
`o3-eng-3sigma`	engineering-3sigma	`{"mode":"rss","dimensions":[{"name":"A","nom":0,"tol":0.3,"direction":"+","statistical_basis":"3sigma"}]}`	{"mode":"rss","profile":"engineering","stack":0.09999999999999999,"stack_rss":0.09999999999999999,"stack_worst":0.3,"stack_worst_plus":0.3,"stack_worst_minus":0.3,"stack_nom":0,"stack_stat_center":0,"stack_min":-0.3,"stack_max":0.3}	{"mode":"rss","profile":"engineering","n":1,"tol":[0.3],"stack":0.09999999999999999,"stack_rss":0.09999999999999999,"stack_worst":0.3,"stack_worst_plus":0.3,"stack_worst_minus":0.3,"stack_range":0.6,"stack_half_range":0.3,"stack_nom":0,"stack_stat_center":0,"stack_center_shift":0,"stack_min":-0.3,"stack_max":0.3,"rss_over_wca":0.3333333333333333,"dimensions":[{"name":"A","nom":0,"tol_plus":0.3,"tol_minus":0.3,"direction":"+","statistical_basis":"3sigma","distribution":"3sigma","signed_nom":0,"center_shift":0,"signed_center":0,"delta_max":0.3,"delta_min":-0.3,"tol_rss":0.09999999999999999}]}	0	PASS
`o3-eng-uniform`	engineering-uniform	`{"mode":"rss","dimensions":[{"name":"A","nom":0,"tol":0.3,"direction":"+","statistical_basis":"uniform"}]}`	{"mode":"rss","profile":"engineering","stack":0.17320508075688773,"stack_rss":0.17320508075688773,"stack_worst":0.3,"stack_worst_plus":0.3,"stack_worst_minus":0.3,"stack_nom":0,"stack_stat_center":0,"stack_min":-0.3,"stack_max":0.3}	{"mode":"rss","profile":"engineering","n":1,"tol":[0.3],"stack":0.17320508075688773,"stack_rss":0.17320508075688773,"stack_worst":0.3,"stack_worst_plus":0.3,"stack_worst_minus":0.3,"stack_range":0.6,"stack_half_range":0.3,"stack_nom":0,"stack_stat_center":0,"stack_center_shift":0,"stack_min":-0.3,"stack_max":0.3,"rss_over_wca":0.5773502691896258,"dimensions":[{"name":"A","nom":0,"tol_plus":0.3,"tol_minus":0.3,"direction":"+","statistical_basis":"uniform","distribution":"uniform","signed_nom":0,"center_shift":0,"signed_center":0,"delta_max":0.3,"delta_min":-0.3,"tol_rss":0.17320508075688773}]}	0	PASS
`o3-eng-uniform-center`	engineering-uniform-center	`{"mode":"rss","dimensions":[{"name":"A","nom":10,"tol_plus":0.05,"tol_minus":0.15,"direction":"+","statistical_basis":"uniform"},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-","statistical_basis":"uniform"},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+","statistical_basis":"uniform"}]}`	{"mode":"rss","profile":"engineering","stack":0.1414213562373095,"stack_rss":0.1414213562373095,"stack_worst":0.45,"stack_worst_plus":0.35000000000000003,"stack_worst_minus":0.45,"stack_nom":8,"stack_stat_center":7.95,"stack_min":7.55,"stack_max":8.35}	{"mode":"rss","profile":"engineering","n":3,"tol":[0.1,0.2,0.1],"stack":0.14142135623730953,"stack_rss":0.14142135623730953,"stack_worst":0.44999999999999996,"stack_worst_plus":0.35,"stack_worst_minus":0.44999999999999996,"stack_range":0.7999999999999999,"stack_half_range":0.39999999999999997,"stack_nom":8,"stack_stat_center":7.949999999999999,"stack_center_shift":-0.05000000000000071,"stack_min":7.55,"stack_max":8.35,"rss_over_wca":0.31426968052735454,"dimensions":[{"name":"A","nom":10,"tol_plus":0.05,"tol_minus":0.15,"direction":"+","statistical_basis":"uniform","distribution":"uniform","signed_nom":10,"center_shift":-0.049999999999999996,"signed_center":9.95,"delta_max":0.05,"delta_min":-0.15,"tol_rss":0.05773502691896258},{"name":"B","nom":5,"tol_plus":0.2,"tol_minus":0.2,"direction":"-","statistical_basis":"uniform","distribution":"uniform","signed_nom":-5,"center_shift":0,"signed_center":-5,"delta_max":0.2,"delta_min":-0.2,"tol_rss":0.11547005383792516},{"name":"C","nom":3,"tol_plus":0.1,"tol_minus":0.1,"direction":"+","statistical_basis":"uniform","distribution":"uniform","signed_nom":3,"center_shift":0,"signed_center":3,"delta_max":0.1,"delta_min":-0.1,"tol_rss":0.05773502691896258}]}	1	PASS