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: two-sided k = t_{(1+p)/2}(ν) vs separate-module inverse (|Δk|≤2e-6). Infinite ν uses Φ⁻¹. Not U=k·u_c, not one-sided k. ≤2e-6 vs O3 applies only to the published tabulated k vectors (ν=8/1/2/30, inf, default p, p=0.99, nu_eff alias). It is not a whole-domain guarantee and does not cover U=k·u_c or one-sided k. Infinite-ν comparison is limited by the IUT Hastings erf polyfill when Math.erfc is absent.
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 9213aef2eb7e0658f5fa58a359ec01d581848a34001b0b63117a2d53ddcaa058. 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-t8 | student-t | {"nu":8,"confidence":0.95} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":8,"k":2.3060041352041667,"confidence":0.95} | {"k":2.306004135203951,"confidence":0.95,"nu":8,"infinite":false,"k_source":"student_t"} | 486 | PASS |
o3-inf | infinite | {"nu":"inf","confidence":0.95} | {"oracle_layer":"analytic","infinite":true,"k_source":"normal","nu":null,"k":1.9599639845400543,"confidence":0.95} | {"k":1.9599628032771197,"confidence":0.95,"nu":null,"infinite":true,"k_source":"normal"} | 5319935312 | PASS |
o3-default | default-p | {"nu":8} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":8,"k":2.3060041352041667,"confidence":0.95} | {"k":2.306004135203951,"confidence":0.95,"nu":8,"infinite":false,"k_source":"student_t"} | 486 | PASS |
o3-nu1 | student-t | {"nu":1,"confidence":0.95} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":1,"k":12.706204736174705,"confidence":0.95} | {"k":12.706204736174683,"confidence":0.95,"nu":1,"infinite":false,"k_source":"student_t"} | 12 | PASS |
o3-nu30 | student-t | {"nu":30,"confidence":0.95} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":30,"k":2.042272456301238,"confidence":0.95} | {"k":2.0422724563006796,"confidence":0.95,"nu":30,"infinite":false,"k_source":"student_t"} | 1258 | PASS |
o3-p99 | other-p | {"nu":8,"confidence":0.99} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":8,"k":3.3553873313333953,"confidence":0.99} | {"k":3.3553873313333478,"confidence":0.99,"nu":8,"infinite":false,"k_source":"student_t"} | 107 | PASS |
o3-alias | alias | {"nu_eff":8,"confidence":0.95} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":8,"k":2.3060041352041667,"confidence":0.95} | {"k":2.306004135203951,"confidence":0.95,"nu":8,"infinite":false,"k_source":"student_t"} | 486 | PASS |
o3-nu2 | student-t | {"nu":2,"confidence":0.95} | {"oracle_layer":"analytic","infinite":false,"k_source":"student_t","nu":2,"k":4.302652729749464,"confidence":0.95} | {"k":4.302652729749459,"confidence":0.95,"nu":2,"infinite":false,"k_source":"student_t"} | 5 | PASS |
