Edition README
COS Method
README.md
1 # The K-COS Method
2
3 **Structured Gaussian Quadratic Forms, Spectral Compression, and Certified Extreme-Tail Evaluation**
4 Komorebi P. · Realization Calculus
5
6 ## Publication master
7
8 Open **K_COS_Monograph.pdf**. This is the closing publication master: 138 pages, four parts, twelve chapters, four appendices, seventeen numbered visual studies, and fifty vector graphics. It supersedes the previous monograph and figure editions. The source is the latest corrected vector-figure branch, not an earlier design branch.
9
10 The mathematical statement inventory remains 61 numbered environments and 39 proofs. The closing edits clarify assumptions, logarithm branches, pruning boundary cases, notation, and numerical guarantees. Four statement/proof environments were edited; their exact changes are recorded. Inventory preservation does not independently prove their validity.
11
12 | Path | Contents |
13 | --- | --- |
14 | `K_COS_Monograph.pdf` | Authoritative book with linked contents and bookmarks |
15 | `book/` | Editable LaTeX, typography, references, and figures |
16 | `book/figures_production/` | Fifty unchanged PDF/SVG/PNG figure sets |
17 | `illustrations/production_figures.py` | Publication-figure generator |
18 | `engine/` | Numerical engine, tests, and retained data |
19 | `lean/` | Pinned formal source and retained compiler evidence |
20 | `verification/closing/` | Current replay, finite controls, source diff, and publication audit |
21 | `verification/figure_pass/` | Earlier figure-production evidence, retained as provenance |
22 | `verification/current_revision/` | Earlier numerical records, retained as provenance |
23 | `provenance/` | Source archives and concordance |
24
25 ## Verify the delivered package
26
27 ```text
28 python verify_manifest.py
29 ```
30
31 This standard-library command compares the supplied files with `SHA256SUMS.txt`. Run it before regeneration. Rebuilding or replaying may change files and invalidate the delivered byte manifest.
32
33 ## Build the book
34
35 ```text
36 python build.py
37 ```
38
39 The builder runs pdfLaTeX three times and copies the book to the package root. Install a TeX distribution containing the packages named in `book/monograph.sty`. Supplied graphics are sufficient for typesetting; numerical calculations need not be rerun to build the PDF. Font binaries and TeX installations are not bundled.
40
41 ## Reproduce numerical checks
42
43 ```text
44 python -m pip install -r requirements-engine.txt
45 python replay.py --include-controls --output verification/local_replay
46 ```
47
48 The closing replay in `verification/closing/numerical/` passed **60 of 60 tests** and both independent interval controls. It is a fresh execution, distinct from the older figure-pass records. The numerical source and retained data were unchanged.
49
50 For the worked example and finite algebra checks:
51
52 ```text
53 python -m pip install -r requirements-illustrations.txt
54 python illustrations/worked_example.py
55 python verification/closing/finite/exact_algebra.py
56 python verification/check_range_core.py
57 python verification/closing/finite/closing_controls.py
58 ```
59
60 Work in a copy. The original worked-example driver writes its declared results and auxiliary figures under `verification/current_revision/` and `book/figures_edition/`; those are not the authoritative publication figures. The closing replay was isolated so that historical records and final graphics were not overwritten.
61
62 ## Publication audit and page rendering
63
64 ```text
65 python -m pip install -r requirements-publication.txt
66 python audit.py
67 python verification/closing/render_review.py --output /tmp/kcos-page-review
68 ```
69
70 The audit checks the source inventory and explicit changes, figure/data correspondence, recorded execution results, page geometry, navigation, and final build diagnostics. It reads the numerical records; it does not rerun the numerical tests or prove the theorems. Rendering produces all pages and contact sheets for visual review.
71
72 ## Regenerate the fifty publication figures
73
74 ```text
75 python -m pip install -r requirements-illustrations.txt
76 python illustrations/production_figures.py
77 python build.py
78 ```
79
80 The older `generate_figures.py` and `redraw_recorded_figures.py` are provenance, not the generator for the final vector assets. Source fonts are referenced by name; exact text metrics can depend on the installed font versions. The delivered PDF/SVG/PNG assets are the publication master.
81
82 ## Verification scope and rights
83
84 Read `VERIFICATION_REPORT.md` for the closing checks and limits. Lean was **not recompiled** because neither `lean` nor `lake` was available in the closing environment. The formal source, dependency pins, and historical compiler records remain unchanged. The limited formal companion does not establish end-to-end correctness of the probability analysis or arithmetic implementation.
85
86 No new hardware benchmark, universal performance claim, or broader directed-rounding guarantee is introduced. Source-specific notices and external dependency terms remain in force. Assembly does not infer a new license. No font binaries are supplied.