CVP reproduce
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.”
Calculation version, protocol version, and evidence revision are distinct.
O3 PASS is a tabulated-vector claim, not a whole-domain proof.
≤2 ULP vs O3 applies only to the published tabulated 1-D magnitude vectors (fields, array, signed REST, single, zeros, small, large, 3-4-5). Long equal-term sums such as n=100×0.01 remain Evidence/property and are not an O3 2-ULP claim. It is not a whole-domain guarantee and does not cover GD&T or nominal chains.
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.
Re-running the generator without changing seed or inputs should reproduce table SHA-256 607ca78611141ec50d4334238ea22b9abfdf4b07b31dabb47fea3d3e6fae3790. Compare each expected_f64 to the production result within the declared ULP threshold.
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-tol-fields | fields | {"tol1":0.1,"tol2":0.2,"tol3":0.1} | {"stack":0.4,"stack_rss":0.24494897427831783,"n":3} | {"mode":"worst_case","n":3,"tol":[0.1,0.2,0.1],"tolerances":[0.1,0.2,0.1],"unit":null,"stack":0.4,"stack_worst":0.4,"stack_rss":0.24494897427831783,"rss_over_wca":0.6123724356957946,"wc_over_rss":1.632993161855452,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
o3-array | canonical-array | {"tolerances":[0.1,0.2,0.1],"unit":"mm"} | {"stack":0.4,"stack_rss":0.24494897427831783,"n":3} | {"mode":"worst_case","n":3,"tol":[0.1,0.2,0.1],"tolerances":[0.1,0.2,0.1],"unit":"mm","stack":0.4,"stack_worst":0.4,"stack_rss":0.24494897427831783,"rss_over_wca":0.6123724356957946,"wc_over_rss":1.632993161855452,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
o3-signed | signed-rest | {"tol1":0.1,"tol2":-0.2,"tol3":0.3} | {"stack":0.6,"stack_rss":0.3741657386773941,"n":3} | {"mode":"worst_case","n":3,"tol":[0.1,-0.2,0.3],"tolerances":[0.1,-0.2,0.3],"unit":null,"stack":0.6000000000000001,"stack_worst":0.6000000000000001,"stack_rss":0.37416573867739417,"rss_over_wca":0.6236095644623235,"wc_over_rss":1.6035674514745464,"warnings":[{"code":"SIGN_IGNORED_FOR_TOLERANCE_MAGNITUDE","severity":"warning","detail":"Negative values are treated as tolerance magnitudes; the sign is ignored. This calculator does not encode dimensional direction.","suggestion":"For +/− dimensional direction, use Tolerance Stack-up Engineering mode."},{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 1 | PASS |
o3-one | single | {"tolerances":[0.2]} | {"stack":0.2,"stack_rss":0.2,"n":1} | {"mode":"worst_case","n":1,"tol":[0.2],"tolerances":[0.2],"unit":null,"stack":0.2,"stack_worst":0.2,"stack_rss":0.2,"rss_over_wca":1,"wc_over_rss":1,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
o3-zeros | zeros | {"tol":[0,0,0]} | {"stack":0,"stack_rss":0,"n":3} | {"mode":"worst_case","n":3,"tol":[0,0,0],"tolerances":[0,0,0],"unit":null,"stack":0,"stack_worst":0,"stack_rss":0,"rss_over_wca":null,"wc_over_rss":null,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
o3-small | small | {"tolerances":[1e-12,2e-12]} | {"stack":3e-12,"stack_rss":2.2360679774997897e-12,"n":2} | {"mode":"worst_case","n":2,"tol":[1e-12,2e-12],"tolerances":[1e-12,2e-12],"unit":null,"stack":3e-12,"stack_worst":3e-12,"stack_rss":2.2360679774997897e-12,"rss_over_wca":0.7453559924999299,"wc_over_rss":1.3416407864998738,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
o3-large | large | {"tolerances":[1000000,2000000]} | {"stack":3000000,"stack_rss":2236067.9774997896,"n":2} | {"mode":"worst_case","n":2,"tol":[1000000,2000000],"tolerances":[1000000,2000000],"unit":null,"stack":3000000,"stack_worst":3000000,"stack_rss":2236067.9774997896,"rss_over_wca":0.7453559924999299,"wc_over_rss":1.3416407864998738,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
o3-pythag | pythagorean | {"tolerances":[0.3,0.4]} | {"stack":0.7,"stack_rss":0.5,"n":2} | {"mode":"worst_case","n":2,"tol":[0.3,0.4],"tolerances":[0.3,0.4],"unit":null,"stack":0.7,"stack_worst":0.7,"stack_rss":0.5,"rss_over_wca":0.7142857142857143,"wc_over_rss":1.4,"warnings":[{"code":"RSS_COMPARISON_ASSUMPTION","severity":"info","detail":"RSS comparison assumes tolerance magnitudes have a consistent statistical basis and contributions are independent.","suggestion":"For distribution-aware statistical analysis, use Monte Carlo Tolerance Analysis (engineering.tolerance.monte_carlo)."},{"code":"WCA_MODEL_SCOPE","severity":"info","detail":"Worst-case bounds the declared 1-D linear stack when every included contributor remains within its specified limits. Model assumes unit sensitivity |cᵢ|=1.","suggestion":"For nominal / direction / asymmetric ±Tol use Tolerance Stack-up. For general |cᵢ| use Uncertainty Propagation."}]} | 0 | PASS |
