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.
≤2 ULP vs O3 applies to the 16 published tabulated vectors (common angles away from poles plus 8 seeded random angles in (−50°, 50°)). It is not a guarantee over the entire real line, including poles, huge angles, or unlisted neighborhoods of zeros.
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 efdad939a92a67df1f3995db36c52bb87f428a59fc73568f789c02540f4372ee. 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-tan-0 | angle | {"theta":0,"unit":"deg"} | 0 0.0 | 0 | 0 | PASS |
o3-tan-30 | angle | {"theta":30,"unit":"deg"} | 0.5773502691896257 0.5773502691896257645091487805019574556476 | 0.5773502691896258 | 1 | PASS |
o3-tan-45 | angle | {"theta":45,"unit":"deg"} | 1 1.000000000000000000000000000000000000000 | 1 | 0 | PASS |
o3-tan-60 | angle | {"theta":60,"unit":"deg"} | 1.7320508075688772 1.732050807568877293527446341505872366943 | 1.7320508075688772 | 0 | PASS |
o3-tan-33.3 | angle | {"theta":33.3,"unit":"deg"} | 0.6568772224012793 0.6568772224012793058993686214134783616336 | 0.6568772224012792 | 1 | PASS |
o3-tan-12.5 | angle | {"theta":12.5,"unit":"deg"} | 0.2216946626429399 0.2216946626429399015774175351629076072995 | 0.2216946626429399 | 0 | PASS |
o3-tan--30 | angle | {"theta":-30,"unit":"deg"} | -0.5773502691896257 -0.5773502691896257645091487805019574556476 | -0.5773502691896258 | 1 | PASS |
o3-tan-15 | angle | {"theta":15,"unit":"deg"} | 0.2679491924311227 0.2679491924311227064725536584941276330572 | 0.2679491924311227 | 0 | PASS |
o3-tan-rand-00 | random-interior | {"theta":-9.521018178202212,"unit":"deg"} | -0.16771974138327453 -0.1677197413832745375180055677494087768826 | -0.16771974138327453 | 0 | PASS |
o3-tan-rand-01 | random-interior | {"theta":-49.17627475224435,"unit":"deg"} | -1.1575417700993667 -1.157541770099366585757296964226963485660 | -1.1575417700993667 | 0 | PASS |
o3-tan-rand-02 | random-interior | {"theta":-15.125182247720659,"unit":"deg"} | -0.27029227487610746 -0.2702922748761074788453417315550358776229 | -0.27029227487610746 | 0 | PASS |
o3-tan-rand-03 | random-interior | {"theta":-20.3740899451077,"unit":"deg"} | -0.371381992439033 -0.3713819924390330019484798354167363428041 | -0.37138199243903297 | 1 | PASS |
o3-tan-rand-04 | random-interior | {"theta":41.5409168926999,"unit":"deg"} | 0.8859991849240253 0.8859991849240252437343455376912939508883 | 0.8859991849240252 | 1 | PASS |
o3-tan-rand-05 | random-interior | {"theta":18.29761858098209,"unit":"deg"} | 0.3306722711014023 0.3306722711014022785131506591232206820565 | 0.3306722711014023 | 0 | PASS |
o3-tan-rand-06 | random-interior | {"theta":-32.824693503789604,"unit":"deg"} | -0.6450661727384714 -0.6450661727384714584971252542617801539225 | -0.6450661727384714 | 0 | PASS |
o3-tan-rand-07 | random-interior | {"theta":0.6524018943309784,"unit":"deg"} | 0.011387053231385207 0.01138705323138520762201678784849229637230 | 0.011387053231385206 | 1 | PASS |
