COS Method

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begin{center}
2 \begin{tabular}{@{}lrl@{}}
3 \toprule
4 Regression group & Tests & Result\\
5 \midrule
6 Streaming, phases, pruning, residuals, and case study & 31 & pass\\
7 Directed positive COS interval backend and width reporting & 5 & pass\\
8 Accuracy-driven positive controller & 2 & pass\\
9 Verified dense spectrum and matrix-to-tail bridge & 4 & pass\\
10 Signed and noncentral analytic-ledger engines & 8 & pass\\
11 Directed acceptance and endpoint serialization & 10 & pass\\
12 \midrule
13 Total & 60 & pass\\
14 \bottomrule
15 \end{tabular}
16 \end{center}
17 
18 All 60 test methods passed, with no failures, errors, or skips. Test methods
19 can contain multiple subcases, so this is not an assertion count. Source
20 hashes before and after the replay agree.
21 
22 The exact-spectrum control $0.02\chi^2_{80}$ near $10^{-5000}$ met a
23 requested multiplicative tolerance of $10^{-18}$. Its directed ratio upper
24 bound was less than $9.202\times10^{-20}$, and an independently evaluated
25 finite Erlang log interval was fully contained in the returned interval.
26 
27 The dense $64\times64$ exact-binary64 Hadamard-factor control near
28 $10^{-16}$ met a requested tolerance of $10^{-12}$. All 64 known exact
29 eigenvalues were enclosed. The final directed probability ratio upper bound
30 was less than $2.783\times10^{-15}$. These displayed bounds are rounded
31 upward. The full outward endpoints and literal inputs are in the accompanying
32 control record.

Back to source controls

Back to COS Method