Princess searches: combined release archive
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 combined PDF · Original LaTeX package · Original Lean package · Original research package
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.