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.
O2: Mp = σ_y Z vs a separate-module identity (≤2 ULP). Not elastic S, not transverse shear, and not beam deflection. ≤2 ULP vs O3 applies only to the published tabulated plastic-moment vectors. Not elastic S.
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 5645808124b39ef1383ee3476d8048e610ac808088a83558528854dcbe3aa95c. 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-unit | unit | {"sigma_y":"250","Z":"18"} | {"oracle_layer":"analytic","Mp":4500,"sigma_y":250,"Z":18} | {"model":"plastic_moment","sigma_y":250,"Z":18,"Mp":4500,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-SI | SI | {"sigma_y":"250e6","Z":"8e-6"} | {"oracle_layer":"analytic","Mp":2000,"sigma_y":250000000,"Z":0.000008} | {"model":"plastic_moment","sigma_y":250000000,"Z":0.000008,"Mp":2000,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-alias | alias | {"Fy":"300","plastic_modulus":"12"} | {"oracle_layer":"analytic","Mp":3600,"sigma_y":300,"Z":12} | {"model":"plastic_moment","sigma_y":300,"Z":12,"Mp":3600,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-awkward | awkward | {"sigma_y":"255.5","Z":"17.25"} | {"oracle_layer":"analytic","Mp":4407.375,"sigma_y":255.5,"Z":17.25} | {"model":"plastic_moment","sigma_y":255.5,"Z":17.25,"Mp":4407.375,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-Zx | Zx | {"sigma_y":"400","Zx":"10"} | {"oracle_layer":"analytic","Mp":4000,"sigma_y":400,"Z":10} | {"model":"plastic_moment","sigma_y":400,"Z":10,"Mp":4000,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-small | small | {"sigma_y":"0.5","Z":"0.02"} | {"oracle_layer":"analytic","Mp":0.01,"sigma_y":0.5,"Z":0.02} | {"model":"plastic_moment","sigma_y":0.5,"Z":0.02,"Mp":0.01,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-large | large | {"sigma_y":"1e9","Z":"1e-3"} | {"oracle_layer":"analytic","Mp":1000000,"sigma_y":1000000000,"Z":0.001} | {"model":"plastic_moment","sigma_y":1000000000,"Z":0.001,"Mp":1000000,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
o3-mild | mild | {"sigma_y":"36","Z":"100"} | {"oracle_layer":"analytic","Mp":3600,"sigma_y":36,"Z":100} | {"model":"plastic_moment","sigma_y":36,"Z":100,"Mp":3600,"solver":"plastic moment","convention":"Mp = σ_y Z on one centroidal axis. Z comes from a plastic-modulus page. This page does not rebuild the section. Transverse shear is its own page."} | 0 | PASS |
