Edition README
Hypergraph Lumpability and Bayesian Refinement
README.md
1 # Hypergraph Lumpability and Bayesian Refinement
2
3 **Version:** 0.1.4
4 **Author:** Komorebi P.
5 **Project status:** `internal_complete`
6 **Submission status:** independent proof review and literature review remain pending
7
8 This release contains the internally complete first paper in the series:
9
10 > **Hypergraph Lumpability and Bayesian Refinement for Dynamical Systems with Projector Resolutions**
11 > Exact Interaction Quotients, Filtering Cocycles, and Certified Coarse Models
12
13 Version 0.1.4 integrates the final publication figure system into the manuscript. The theorem chain and proofs are unchanged. Nine visual assets are now generated directly from the certificate run as vector PDF and 600 dpi PNG files. They appear in seven figure environments, with the quotient views and the compression views paired for page economy. The new set includes the coefficient fiber map, exact quotient flow, exact filter residual, separate dynamical and Bayesian perturbation sweeps, the joint posterior certificate, and the hyperedge energy and pruning plots. The prose conventions from version 0.1.3 remain in force.
14
15 `internal_complete` means that the declared theorem chain, proofs, examples, algorithms, tests, and reproducibility materials are present. It does not mean that the paper is ready for journal submission.
16
17 ## Core theorem chain
18
19 For a surjective coarse map \(C:X_f\to X_c\), the paper studies
20
21 \[
22 CA_m^f=A_m^cC^{\times m}
23 \Longrightarrow
24 CF_f=F_cC
25 \Longrightarrow
26 C\Phi_t^f=\Phi_t^cC.
27 \]
28
29 For normalized positive observations,
30
31 \[
32 CL_f=sL_cC
33 \Longrightarrow
34 C\mathsf B_f=\mathsf B_cC.
35 \]
36
37 The two identities combine to give
38
39 \[
40 C\Psi_{1:N}^f=\Psi_{1:N}^cC.
41 \]
42
43 When exact descent fails, the paper carries the interaction defect and the observation defect into an explicit certificate for the final posterior.
44
45 ## Release contents
46
47 | Path | Purpose |
48 |---|---|
49 | `Hypergraph_Lumpability_Bayesian_Refinement.pdf` | Compiled 52 page paper |
50 | `Hypergraph_Lumpability_Bayesian_Refinement.tex` | Editable manuscript |
51 | `src/priq/core.py` | Finite reference implementation |
52 | `tests/test_priq.py` | Independent tests of the main formulas |
53 | `examples/run_certificates.py` | Deterministic certificate and figure generator |
54 | `figures/` | Vector PDF and large PNG figures |
55 | `tables/` | Generated LaTeX and CSV ledgers |
56 | `results/` | JSON verification and manuscript audit records |
57 | `build/pdf_contact_sheet.png` | Rendered overview of the manuscript |
58 | `tools/audit_manuscript.py` | Deterministic manuscript audit |
59 | `INTERNAL_COMPLETION_AUDIT.md` | Editorial and verification record |
60 | `PROOFREADING_AUDIT.md` | Final prose and proof presentation audit |
61 | `MANUSCRIPT_STATUS.md` | Build and claim status |
62 | `SOURCE_CROSSWALK.md` | Relation to earlier Komorebi work |
63 | `FILE_MANIFEST.json` | File sizes and SHA256 digests |
64
65 ## Verified build state
66
67 | Check | Result |
68 |---|---:|
69 | Deterministic finite certificates | 35 passed, 0 failed |
70 | Independent pytest functions | 8 passed |
71 | Compiled manuscript | 52 pages |
72 | Theorem statements without an explicit proof | 0 |
73 | Undefined references or citations | 0 |
74 | Overfull boxes | 0 |
75 | Semicolons in ordinary manuscript prose | 0 |
76 | Banned stylistic dash compounds in ordinary manuscript prose | 0 |
77 | Deterministic manuscript audit | 22 passed, 0 failed |
78
79 These checks validate the supplied finite examples and implementation. They do not replace independent mathematical review or an external review of the literature and priority claims.
80
81 ## Run the verification suite
82
83 From the extracted source root in PowerShell:
84
85 ```powershell
86 $env:PYTHONPATH="$PWD\src"
87 python .\examples\run_certificates.py
88 python -m pytest -q
89 ```
90
91 Build the paper and run the manuscript audit:
92
93 ```powershell
94 $env:PYTHONPATH="$PWD\src"
95 python .\examples\run_certificates.py
96 python -m pytest -q
97 latexmk -pdf -interaction=nonstopmode -halt-on-error .\Hypergraph_Lumpability_Bayesian_Refinement.tex
98 python .\tools\audit_manuscript.py
99 ```
100
101 POSIX shell:
102
103 ```bash
104 PYTHONPATH=src python examples/run_certificates.py
105 PYTHONPATH=src python -m pytest -q
106 latexmk -pdf -interaction=nonstopmode -halt-on-error Hypergraph_Lumpability_Bayesian_Refinement.tex
107 python tools/audit_manuscript.py
108 ```
109
110 ## Dependencies
111
112 1. Python 3.11 or later
113 2. NumPy
114 3. Matplotlib
115 4. pytest for the independent test suite
116 5. A LaTeX installation containing `latexmk`, `pdflatex`, and the packages imported by the manuscript
117
118 The numerical reference implementation runs on the CPU and does not require network access.