Princess searches — earlier combined manuscript
Historical archiveFrozen 13 September 2026 · not the current manuscript
PDF: Frozen combined manuscript · 13 September 2026.
Current rectangle project · Parked extensions · Current completion gaps
Historical snapshot, frozen before scope separation. This combined manuscript has 128 pages and seven figures. Its broader project scope and recurrence-based completion language have been superseded by the current fixed-size numerical goal. Its mathematical achievements and source-specific evidence are preserved.
Original release hashes · Original compiler receipt · Research history at that checkpoint
The PDF SHA-256 is 695d5df27fa5f17b9bc7b5c0e7c80a548d6451927c2fa961c08ead8843732a43. The contemporary check covered 83 Lean modules; complete physical classifications were paths, two-row grids and the two specified cubes, not every theorem in the manuscript.
Resources
- LaTeX
- Historical Lean archive — The contemporary checked scope is described on this page; not a new complete formalization.
- Evidence
- Current rectangle overview