Edition README
Machine Societies
README.md
1 # Machine Societies
2
3 **A Theory of Persistent Plural Computational Organization**
4 Komorebi P. · Operation Komorebi
5 Text edition 1.0.0, 8 October 2026
6 **Final monograph edition, 15 October 2026**
7
8 Open `Machine_Societies_v1.0.0.pdf` for the final 118-page reading edition.
9 It follows Paper I's typography and layout, with muted plum (`#6B3C63`) for
10 the machine-theory series. Appendix D contains a clickable index of all 62
11 theorem and proposition statements. Appendix E states the verification scope.
12
13 ## What passed
14
15 - All 62 statement-and-proof pairs are byte-identical to the original source.
16 - A targeted self-review covered 15 central results and supporting lemmas.
17 No failed implication was identified under their written hypotheses.
18 - A fresh exact run passed 75 groups and 922,032 assertions.
19 - The 60 PDF bookmarks and 186 theorem-index links reach the checked targets.
20 - All 118 pages were rendered. New and changed pages were inspected, and
21 unchanged pages were matched to the previously reviewed edition.
22
23 `MATHEMATICAL_REVIEW.md` contains the claim cards and dependency review.
24 `LITERATURE_REVIEW.md` records primary-source checks and retrieval limits.
25 `RELEASE_LEDGER.json` records the release history and current evidence boundary.
26 `verification/` contains production, preservation, visual, and computation records.
27
28 The other 47 retained proofs were not newly audited in this targeted pass.
29 Finite checks do not replace general proofs. This edition makes no claim of
30 independent peer review, proof-assistant verification, an agent deployment,
31 or closure of the research questions in Section 45.
32
33 ## Rebuild the PDF
34
35 Install Python 3 and XeLaTeX with the packages listed in
36 `publication/BUILD_README.txt`. From this package directory, run:
37
38 ```bash
39 python3 publication/build.py
40 ```
41
42 On Windows PowerShell, run `python publication/build.py`.
43
44 The editable manuscript and series style are in `publication/`. The new
45 appendices are `statement_index.tex` and `release_review.tex`. Local fonts,
46 licenses, vector figures, and original figure generators are included. The
47 build updates the root PDF, compiler logs, and compiled cross-reference record.
48 The delivered build ran on Linux. Windows execution was not tested.
49
50 ## Reproduce the exact reference checks
51
52 Python 3.10 or later is sufficient. These commands use the standard library:
53
54 ```bash
55 python3 code/demo_commons.py
56 python3 code/demo_accountability.py
57 python3 validation/check_finite_models.py
58 ```
59
60 Each group in `validation/finite_checks.json` declares its input range.
61 The quotient experiment covers two specified refinement families, not all
62 possible refinements. The five-unit and eight-unit examples use different
63 declared observation and resource contracts.
64
65 The delivered replay is separately preserved in `verification/final_computation/`.
66 Its version 2 manifest pins execution inputs, records actual commands,
67 resource limits and result hashes, and can be checked with:
68
69 ```bash
70 python3 verification/tools/validate_manifest.py verification/final_computation/manifest.json --root .
71 ```
72
73 For PDF and source-preservation checks, install PyMuPDF and run:
74
75 ```bash
76 python3 verification/verify_monograph.py
77 ```
78
79 ## Provenance
80
81 `source_release/` preserves the complete original first edition, including
82 its original PDF, code, historical sources, and evidence. Its records describe
83 their own dates and inputs. Active reference code is copied into `code/`;
84 the active tests in `validation/` point to the current manuscript and correct
85 one overly broad coverage description. Mathematical program logic is unchanged.
86
87 `SHA256SUMS.txt` inventories the delivered package. Running commands that
88 regenerate outputs changes those outputs, so a later snapshot mismatch is
89 expected. The final release has no outstanding editorial or production blocker.
90 Theoretical and external-model limitations remain as stated in the manuscript.