v1.0.0 — First official major release
The first official release of the manuscript. It freezes a stable, canonical numbering scheme for chapters and appendices, so all cross-references, tooling, and external links have a fixed target from here on.
What decision changes?
Use v1.0.0 (or later) when citing or linking this section of the manuscript externally.
Released 2026-06-30.
Commit: bd8f82f · Tag: v1.0.0
The first official release of the manuscript. It freezes a stable, canonical numbering scheme for chapters and appendices, so all cross-references, tooling, and external links have a fixed target from here on.
Highlights
- Sequential chapters
ch01–ch48. The temporary split chapters (ch19b,ch25b,ch35b,ch39b) are absorbed into the main sequence. Filename prefix,metadata/book.ymlkey, generated table column, and the printed\chapter{...}number now all agree. - Appendices A–G match their printed letters in
book.texinclude order (Notation, Bridge Crosswalk, Institutional Translation, Worked Example, Glossary, Research Program, Lean Proof Spine). Stub appendices are parked at H–L. - History preserved. All 40 path changes were committed as
git mvrenames (similarity 93–100%), sogit log --followtraces each file through the renumber into its pre-release history. - Numbering scheme documented as a canonical rule in
INSTRUCTIONS.md§14 (no moreb-suffix file ids; tables derive numbers from manuscript order).
Manuscript state at release
- 10 parts, 48 chapters (all with first drafts and at least one review pass).
- 7 built appendices (A–G) plus 5 stubs (H–L).
- Bibliography of ~235 categorized entries with one-line summaries.
- Self-contained Lean proof spine (
formal/) calibrating manuscript claims to proof / counterexample / bridge status. - Build:
./build.sh→dist/pdf/towards-superintelligence-alignment.pdf;make checkpasses (structure, citations, bibliography summaries).
Renumbering map
Chapters (split chapters shown; ch01–ch19 unchanged):
| Old id | New id |
|---|---|
| ch19b | ch20 |
| ch20–ch24 | ch21–ch25 |
| ch25b | ch27 |
| ch26–ch35 | ch28–ch37 |
| ch35b | ch38 |
| ch36–ch39 | ch39–ch42 |
| ch39b | ch43 |
| ch40–ch44 | ch44–ch48 |
Built appendices:
| Old file | New file (letter) |
|---|---|
| appBridge-crosswalk | appB-bridge-crosswalk (B) |
| appJ-institutional-translation | appC-institutional-translation (C) |
| appK-worked-example | appD-worked-example (D) |
| appF-glossary | appE-glossary (E) |
| appH-research-program | appF-research-program (F) |
| appI-lean-proof-spine | appG-lean-proof-spine (G) |
Known issues
- ~48 undefined LaTeX references remain in the build, mostly pre-existing
(
appe-assumptions,app:lean-proof-spine, and similar); they are unrelated to the renumber. - Some historical conversation logs and review notes still mention old chapter numbers in prose; these are archival and were left as-is.
Upgrade / linking notes
- External links and citations should target the new
chNN/ appendix letters. - Tag this release:
git tag -a v1.0.0 -m "First official major release" bd8f82f.