CHANGELOG.md
Hypergraph Lumpability and Bayesian Refinement
CHANGELOG.md
1 ## 0.1.4 | September 2026
2
3 - Integrated nine publication visual assets into seven manuscript figure environments.
4 - Added a coefficient fiber constancy map and an exact quotient flow figure.
5 - Added separate exact filtering, dynamical perturbation, Bayesian perturbation, joint posterior, energy spectrum, and pruning visuals.
6 - Standardized figure dimensions, typography, legends, logarithmic axes, vector PDF output, and 600 dpi PNG output.
7 - Added two deterministic checks for the Bayesian perturbation sweep.
8 - Rebuilt the manuscript as a 52 page paper and inspected the complete page render.
9 - Preserved the theorem statements, proofs, and claim boundaries from version 0.1.3.
10
11 # Changelog
12
13 ## 0.1.3 | September 2026
14
15 1. Completed a final proofreading pass across the manuscript, captions, generated tables, release notes, and audit records.
16 2. Rewrote dense or mechanical passages in more natural academic prose without changing the main theorem chain.
17 3. Removed semicolon punctuation, dash punctuation, and word hyphens from ordinary manuscript prose. Mathematical minus signs, internal labels, program options, proper names, and bibliographic ranges remain where required.
18 5. Revised the abstract, section transitions, proof explanations, worked examples, claim boundaries, and conclusion for clearer rhythm and more direct wording.
19 6. Clarified that the coefficient comparison in polynomial descent concerns a polynomial with values in the coarse space.
20 7. Refined the proof of best coarse interaction attainment so that existence and possible nonuniqueness are stated separately.
21 8. Added the compatible initial condition and the sequence evidence definitions to the exact evidence theorem.
22 9. Corrected the hidden Markov composition notation and the nonlinear quotient diagram.
23 10. Distinguished exact arithmetic from tolerance based approximation in the coordinate algorithm.
24 11. Defined the combined quotient and pruning defect before using its norm bounds.
25 12. Qualified the likelihood oscillation criterion and stated the probability vector assumption in the evidence error proof.
26 13. Expanded the manuscript audit to check these corrections directly.
27 14. Added deterministic manuscript checks for proof coverage, version consistency, reference labels, prose punctuation, and known prose regressions.
28 15. Executed 33 deterministic checks with 0 failures.
29 16. Executed 8 independent pytest functions with 0 failures.
30 17. Passed 22 manuscript audit checks with 0 failures.
31 18. Rebuilt and visually inspected the 50 page PDF with no undefined references, undefined citations, or overfull boxes.
32
33 ## 0.1.2 | September 2026
34
35 1. Strengthened analytic interaction descent with an explicit normal summability hypothesis on every smaller ball.
36 2. Sharpened the normalization perturbation inequality by using the larger of the two positive masses in the denominator.
37 3. Updated the implementation and tests to use the same normalization bound.
38 4. Restricted the likelihood perturbation example to the strictly positive regime.
39 5. Added explicit proofs to every corollary that had previously relied on an immediate but unstated derivation.
40 6. Added deterministic checks for the symmetric normalization inequality and the positive likelihood regime.
41 7. Rebuilt the manuscript as a 50 page internal completion release.
42
43 ## 0.1.1 | September 2026
44
45 1. Reconstructed the complete downloadable release after the earlier archive failed to persist.
46 2. Restored the 49 page PDF and editable LaTeX manuscript.
47 3. Added a clean `priq` reference package and independent pytest suite.
48 4. Regenerated five vector PDF figures, five PNG figures, and machine readable certificate ledgers.
49 5. Executed 31 deterministic checks with 0 failures.
50 6. Executed 7 independent pytest functions with 0 failures.
51 7. Corrected one malformed LaTeX control character and two missing notation macros.
52 8. Removed all overfull boxes from the manuscript build.
53 9. Added build, status, source crosswalk, manifest, and checksum documentation.