Spectral Quantum Gravity: Proved and Computed Results — A compendium of the SQG programme

Version 2 of the compendium of proved and computed results of the Spectral Quantum Gravity programme. The compendium collects, in one place and with a uniform grading (proved / computed / argued / open), the results distributed over the main text and the companion papers (measure, condensate, flavour, generations, lattice), each with its source.Changes relative to v1: the entry for the measure companion now refers to its current version 14.1 (doi:10.5281/zenodo.23828390), which proves existence, positivity and reflection positivity of the joint Planck-lattice measure for substrate and fermions; the source marks and the bibliography are updated accordingly. No results were added or removed. The compendium does not depend on the lattice computations currently in progress.