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 a cantilever, not a distributed load, and not an indeterminate beam. ≤2 ULP vs O3 applies only to the published tabulated beam-deflection 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 ac85afeb2106dd775e07c517629996243e2a59b8a3f2760d5e262c84a0bd27ac. 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 | {"P":"480","L":"2","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":80,"P":480,"L":2,"E":1,"I":1} | {"model":"beam_deflection","P":480,"L":2,"E":1,"I":1,"delta":80,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
o3-SI | SI | {"P":"1000","L":"4","E":"200e9","I":"1e-5"} | {"oracle_layer":"analytic","delta":0.0006666666666666666,"P":1000,"L":4,"E":200000000000,"I":0.00001} | {"model":"beam_deflection","P":1000,"L":4,"E":200000000000,"I":0.00001,"delta":0.0006666666666666665,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 1 | PASS |
o3-alias | alias | {"load":"960","span":"2","modulus":"1","Ix":"1"} | {"oracle_layer":"analytic","delta":160,"P":960,"L":2,"E":1,"I":1} | {"model":"beam_deflection","P":960,"L":2,"E":1,"I":1,"delta":160,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
o3-awkward | awkward | {"P":"137","L":"3.5","E":"2.1e5","I":"0.83"} | {"oracle_layer":"analytic","delta":0.0007020791499330656,"P":137,"L":3.5,"E":210000,"I":0.83} | {"model":"beam_deflection","P":137,"L":3.5,"E":210000,"I":0.83,"delta":0.0007020791499330656,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
o3-neg | signed | {"P":"-480","L":"2","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":-80,"P":-480,"L":2,"E":1,"I":1} | {"model":"beam_deflection","P":-480,"L":2,"E":1,"I":1,"delta":-80,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
o3-small | small | {"P":"10","L":"1","E":"1000","I":"0.01"} | {"oracle_layer":"analytic","delta":0.020833333333333332,"P":10,"L":1,"E":1000,"I":0.01} | {"model":"beam_deflection","P":10,"L":1,"E":1000,"I":0.01,"delta":0.020833333333333332,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
o3-stiff | stiff | {"P":"5000","L":"3","E":"210e9","I":"2e-4"} | {"oracle_layer":"analytic","delta":0.00006696428571428572,"P":5000,"L":3,"E":210000000000,"I":0.0002} | {"model":"beam_deflection","P":5000,"L":3,"E":210000000000,"I":0.0002,"delta":0.00006696428571428572,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
o3-long | long | {"P":"200","L":"8","E":"70e9","I":"5e-5"} | {"oracle_layer":"analytic","delta":0.0006095238095238095,"P":200,"L":8,"E":70000000000,"I":0.00005} | {"model":"beam_deflection","P":200,"L":8,"E":70000000000,"I":0.00005,"delta":0.0006095238095238095,"solver":"simply supported midspan","convention":"Simply supported span with one concentrated load at midspan. δ = P L³/(48 E I). Positive P is the positive deflection direction. I is an input. A cantilever and a distributed load are their own pages."} | 0 | PASS |
