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 6 published tabulated vectors ((2,10), (10,2), (5,0), (9,0.5), (2,−3), (e,1)). It is not a guarantee over all real bases and exponents.
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-exp-2-10 | interior | {"a":2,"n":10} | 1024 1024.000000000000000000000000000000000000 | 1024 | 0 | PASS |
o3-exp-10-2 | interior | {"a":10,"n":2} | 100 100.0000000000000000000000000000000000000 | 100 | 0 | PASS |
o3-exp-5-0 | interior | {"a":5,"n":0} | 1 1.000000000000000000000000000000000000000 | 1 | 0 | PASS |
o3-exp-9-0.5 | interior | {"a":9,"n":0.5} | 3 3.000000000000000000000000000000000000000 | 3 | 0 | PASS |
o3-exp-2--3 | interior | {"a":2,"n":-3} | 0.125 0.1250000000000000000000000000000000000000 | 0.125 | 0 | PASS |
o3-exp-2.718281828459045-1 | interior | {"a":2.718281828459045,"n":1} | 2.718281828459045 2.718281828459045235360287471352662497757 | 2.718281828459045 | 0 | PASS |
