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 δ under the load, not midspan under the same load, and not a station curve. ≤2 ULP vs O3 applies only to the published tabulated offset-load-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 2b4c7ef53a75dc18a37ddb715cc6aa56f8009f392ebce72bdffc98f6a6f0e779. 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":"48","a":"1","L":"4","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":44.721359549995796,"x":1.7639320225002102,"b":3,"c":1,"P":48,"a":1,"L":4,"E":1,"I":1} | {"model":"offset_load_max_deflection","P":48,"a":1,"b":3,"c":1,"x":1.7639320225002102,"L":4,"E":1,"I":1,"delta":44.721359549995796,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 0 | PASS |
o3-SI | SI | {"P":"1000","a":"1","L":"4","E":"200000000000","I":"0.00001"} | {"oracle_layer":"analytic","delta":0.00046584749531245617,"x":1.7639320225002102,"b":3,"c":1,"P":1000,"a":1,"L":4,"E":200000000000,"I":0.00001} | {"model":"offset_load_max_deflection","P":1000,"a":1,"b":3,"c":1,"x":1.7639320225002102,"L":4,"E":200000000000,"I":0.00001,"delta":0.00046584749531245617,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 0 | PASS |
o3-alias | alias | {"load":"96","span":"4","modulus":"1","Ix":"1","a":"1"} | {"oracle_layer":"analytic","delta":89.44271909999159,"x":1.7639320225002102,"b":3,"c":1,"P":96,"a":1,"L":4,"E":1,"I":1} | {"model":"offset_load_max_deflection","P":96,"a":1,"b":3,"c":1,"x":1.7639320225002102,"L":4,"E":1,"I":1,"delta":89.44271909999159,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 0 | PASS |
o3-awkward | awkward | {"P":"13.7","a":"1.2","L":"4","E":"210000","I":"0.83"} | {"oracle_layer":"analytic","delta":0.00008403948075794632,"x":1.7969717810855592,"b":2.8,"c":1.2,"P":13.7,"a":1.2,"L":4,"E":210000,"I":0.83} | {"model":"offset_load_max_deflection","P":13.7,"a":1.2,"b":2.8,"c":1.2,"x":1.796971781085559,"L":4,"E":210000,"I":0.83,"delta":0.00008403948075794632,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 1 | PASS |
o3-neg | signed | {"P":"-48","a":"1","L":"4","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":-44.721359549995796,"x":1.7639320225002102,"b":3,"c":1,"P":-48,"a":1,"L":4,"E":1,"I":1} | {"model":"offset_load_max_deflection","P":-48,"a":1,"b":3,"c":1,"x":1.7639320225002102,"L":4,"E":1,"I":1,"delta":-44.721359549995796,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 0 | PASS |
o3-small | small | {"P":"10","a":"0.5","L":"4","E":"1000","I":"0.01"} | {"oracle_layer":"analytic","delta":0.501219216635795,"x":1.70871215252208,"b":3.5,"c":0.5,"P":10,"a":0.5,"L":4,"E":1000,"I":0.01} | {"model":"offset_load_max_deflection","P":10,"a":0.5,"b":3.5,"c":0.5,"x":1.70871215252208,"L":4,"E":1000,"I":0.01,"delta":0.501219216635795,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 0 | PASS |
o3-stiff | stiff | {"P":"500","a":"1","L":"4","E":"210e9","I":"2e-4"} | {"oracle_layer":"analytic","delta":0.000011091607031248956,"x":1.7639320225002102,"b":3,"c":1,"P":500,"a":1,"L":4,"E":210000000000,"I":0.0002} | {"model":"offset_load_max_deflection","P":500,"a":1,"b":3,"c":1,"x":1.7639320225002102,"L":4,"E":210000000000,"I":0.0002,"delta":0.000011091607031248958,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 1 | PASS |
o3-long | long | {"P":"200","a":"1","L":"4","E":"70e9","I":"5e-5"} | {"oracle_layer":"analytic","delta":0.00005323971374999499,"x":1.7639320225002102,"b":3,"c":1,"P":200,"a":1,"L":4,"E":70000000000,"I":0.00005} | {"model":"offset_load_max_deflection","P":200,"a":1,"b":3,"c":1,"x":1.7639320225002102,"L":4,"E":70000000000,"I":0.00005,"delta":0.00005323971374999499,"solver":"simply supported offset load maximum","convention":"Simply supported span with one concentrated load at distance a from the left support. The largest deflection is δ = P c (L² − c²)^(3/2) / (9 √3 E I L), where c is the shorter segment. x is measured from the left support and lies in the longer segment. I is an input. a = L/2 recovers the midspan point-load page. The value under the load is its own page."} | 0 | PASS |
