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 tip-only under the same uniform load, and not a simply supported span. ≤2 ULP vs O3 applies only to the published tabulated cantilever-uniform-at 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 f5878de7cbb708cb3202eea8fc1a66bcea26e8f67945175b4418aaad64b99aaa. 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 | {"w":"24","x":"2","L":"2","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":48,"w":24,"x":2,"L":2,"E":1,"I":1} | {"model":"cantilever_uniform_at_deflection","w":24,"x":2,"L":2,"E":1,"I":1,"delta":48,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
o3-SI | SI | {"w":"1000","x":"2","L":"2","E":"200000000000","I":"0.00001"} | {"oracle_layer":"analytic","delta":0.001,"w":1000,"x":2,"L":2,"E":200000000000,"I":0.00001} | {"model":"cantilever_uniform_at_deflection","w":1000,"x":2,"L":2,"E":200000000000,"I":0.00001,"delta":0.0009999999999999998,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 1 | PASS |
o3-alias | alias | {"intensity":"48","span":"2","modulus":"1","Ix":"1","x":"2"} | {"oracle_layer":"analytic","delta":96,"w":48,"x":2,"L":2,"E":1,"I":1} | {"model":"cantilever_uniform_at_deflection","w":48,"x":2,"L":2,"E":1,"I":1,"delta":96,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
o3-awkward | awkward | {"w":"13.7","x":"1.2","L":"2","E":"210000","I":"0.83"} | {"oracle_layer":"analytic","delta":0.00007470154905335628,"w":13.7,"x":1.2,"L":2,"E":210000,"I":0.83} | {"model":"cantilever_uniform_at_deflection","w":13.7,"x":1.2,"L":2,"E":210000,"I":0.83,"delta":0.00007470154905335628,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
o3-neg | signed | {"w":"-24","x":"2","L":"2","E":"1","I":"1"} | {"oracle_layer":"analytic","delta":-48,"w":-24,"x":2,"L":2,"E":1,"I":1} | {"model":"cantilever_uniform_at_deflection","w":-24,"x":2,"L":2,"E":1,"I":1,"delta":-48,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
o3-small | small | {"w":"10","x":"0.5","L":"2","E":"1000","I":"0.01"} | {"oracle_layer":"analytic","delta":0.2109375,"w":10,"x":0.5,"L":2,"E":1000,"I":0.01} | {"model":"cantilever_uniform_at_deflection","w":10,"x":0.5,"L":2,"E":1000,"I":0.01,"delta":0.2109375,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
o3-stiff | stiff | {"w":"500","x":"1","L":"2","E":"210e9","I":"2e-4"} | {"oracle_layer":"analytic","delta":0.000008432539682539682,"w":500,"x":1,"L":2,"E":210000000000,"I":0.0002} | {"model":"cantilever_uniform_at_deflection","w":500,"x":1,"L":2,"E":210000000000,"I":0.0002,"delta":0.000008432539682539682,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
o3-long | long | {"w":"200","x":"2","L":"4","E":"70e9","I":"5e-5"} | {"oracle_layer":"analytic","delta":0.0006476190476190476,"w":200,"x":2,"L":4,"E":70000000000,"I":0.00005} | {"model":"cantilever_uniform_at_deflection","w":200,"x":2,"L":4,"E":70000000000,"I":0.00005,"delta":0.0006476190476190476,"solver":"cantilever uniform load at a station","convention":"Cantilever fixed at one end with a uniform load over the whole length. Deflection at distance x from the fixed end is δ = w x² (6 L² − 4 L x + x²)/(24 E I). Positive w is the positive deflection direction. I is an input. x = L is the tip uniform-load page."} | 0 | PASS |
