Zenodo links:

• .pdf, 8/16/26: https://zenodo.org/records/21960650
• .lean, 8/16/26: https://zenodo.org/records/21960729
• .lean, 8/20/26: https://zenodo.org/records/22033747 [Lean certificate!]