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: delta vs a separate-module identity (≤2 ULP). Not midspan under the same moment, not equal end moments, and not a cantilever. ≤2 ULP vs O3 applies only to the published tabulated beam-moment-maximum vectors.
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 3ac405520d499ed0a104a01619142625f1480795fa015267c6ff8ad888c7eda2. 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-check | check | {"M":"16","L":"2","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":4.105601914237338,"x":1.1547005383792515,"M":16,"L":2,"E":1,"I":1} | {"model":"beam_moment_max_deflection","M":16,"L":2,"E":1,"I":1,"x":1.1547005383792517,"delta":4.105601914237339,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-SI | SI | {"M":"1000","L":"2","E":"200e9","I":"1e-5"} | {"oracle_layer":"analytic","delta":0.00012830005981991684,"x":1.1547005383792515,"M":1000,"L":2,"E":200000000000,"I":0.00001} | {"model":"beam_moment_max_deflection","M":1000,"L":2,"E":200000000000,"I":0.00001,"x":1.1547005383792517,"delta":0.00012830005981991684,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-alias | alias | {"moment":"32","span":"2","modulus":"1","Ix":"1"} | {"oracle_layer":"analytic","delta":8.211203828474677,"x":1.1547005383792515,"M":32,"L":2,"E":1,"I":1} | {"model":"beam_moment_max_deflection","M":32,"L":2,"E":1,"I":1,"x":1.1547005383792517,"delta":8.211203828474678,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-awkward | awkward | {"M":"13.7","L":"2","E":"210000","I":"0.83"} | {"oracle_layer":"analytic","delta":0.000020168798847192894,"x":1.1547005383792515,"M":13.7,"L":2,"E":210000,"I":0.83} | {"model":"beam_moment_max_deflection","M":13.7,"L":2,"E":210000,"I":0.83,"x":1.1547005383792517,"delta":0.000020168798847192894,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-neg | signed | {"M":"-16","L":"2","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":-4.105601914237338,"x":1.1547005383792515,"M":-16,"L":2,"E":1,"I":1} | {"model":"beam_moment_max_deflection","M":-16,"L":2,"E":1,"I":1,"x":1.1547005383792517,"delta":-4.105601914237339,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-small | small | {"M":"10","L":"2","E":"1000","I":"0.01"} | {"oracle_layer":"analytic","delta":0.25660011963983365,"x":1.1547005383792515,"M":10,"L":2,"E":1000,"I":0.01} | {"model":"beam_moment_max_deflection","M":10,"L":2,"E":1000,"I":0.01,"x":1.1547005383792517,"delta":0.25660011963983365,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-stiff | stiff | {"M":"500","L":"2","E":"210e9","I":"2e-4"} | {"oracle_layer":"analytic","delta":0.000003054763329045639,"x":1.1547005383792515,"M":500,"L":2,"E":210000000000,"I":0.0002} | {"model":"beam_moment_max_deflection","M":500,"L":2,"E":210000000000,"I":0.0002,"x":1.1547005383792517,"delta":0.0000030547633290456392,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
o3-long | long | {"M":"200","L":"4","E":"70e9","I":"5e-5"} | {"oracle_layer":"analytic","delta":0.00005865145591767627,"x":2.309401076758503,"M":200,"L":4,"E":70000000000,"I":0.00005} | {"model":"beam_moment_max_deflection","M":200,"L":4,"E":70000000000,"I":0.00005,"x":2.3094010767585034,"delta":0.00005865145591767627,"solver":"simply supported end moment maximum","convention":"Simply supported span with one concentrated moment at one end. The largest deflection is δ = M L²/(9√3 E I) at x = L/√3 from the end that does not carry the moment. Positive M is the positive deflection direction. I is an input. Midspan deflection is its own page."} | 1 | PASS |
