almanacA0a — the centre of the even hybrid family quantum GL(1)

What is in this almanac

Everything below is in this package and works offline. Read the mathematics first if that is what you came for; the three layers and the apparatus that joins them are underneath it, and the twelve statements themselves follow further down.

• The mathematics explained — at length, for a general reader. Formulas typeset; no renderer, no network.

• Ink The informal proof — headed by the paper (PDF, 8 pp.) and the explanation, with the signed goal it proves, the referee chain that read it, and the limit stated on its own face.
• Orange The proof ledger — which computation backs which step, receipt by receipt. Not a Lean blueprint, and this edition has none: its formal layer is seven files, not a dependency graph.
• Blue The formal layer — what the proof kernel actually certified, row by row, with the axioms measured for each and the sources beside them.

• The twelve statements, with their warrants — every result in the edition, one row each, joined across the three layers: what it says, which warrant it carries, the axioms measured for it, and the convention frame it is read in. Filter by warrant, search, open any row.

• The edition as one page, the reader’s edition, and the edition’s own front matter.
• Checking any of it yourself — including how to install every piece of software from scratch.