B Numerical record
On this page · Permalink · Source line 1421
| case | global RMSE | known-packet RMSE | estimated RMSE |
|---|---|---|---|
| 1D rectangular packet | \(5.4023\times10^{-2}\) | \(1.3692\times10^{-4}\) | \(2.4029\times10^{-2}\) |
| 2D disk packet | \(3.7643\times10^{-2}\) | \(6.4752\times10^{-5}\) | \(3.4043\times10^{-3}\) |
| 2D multiedge packet | \(3.3740\times10^{-2}\) | known composite packet only | |
| artifact | purpose |
|---|---|
results/numerical_results.json | complete machine-readable certificate record |
tables/numerical_summary.csv | flat summary of errors and residuals |
tables/sparse_representation.csv | wavelet/Fourier coefficient study |
tests/ | automated finite identity and estimator tests |
figures/ | PNG and vector-PDF figure pairs |
VERIFY_PAPER.py | combined manuscript, numerical, and Lean checks |