Notes
- Exact constructions: split and move
- Geometric recipes: split and move
- Hafner step 1: split and move the twenty pyramids
- Hafner step 2: transfer the twelve pentagonal pyramids
- Language syntax
- Two operations: split and move
- Documentation overview
- Hafner dissection: from three polyhedra to one cube
- A geometric construction language in Python
- Hafner–Conway: certifying the first step
- Hafner–Conway: moving the pyramids, and defining our vocabulary
- 3D Scissors Congruence
- Exact certificate checker v1
- How exact algebraic certification works
- The saved eight-piece construction · interactive
- TI → cube puzzle: current research status
- A practical truncated-icosidodecahedron dissection: search design
- Archived research campaigns
- Balanced-piece search, 2026-09-20
- Certifying a dissection independently of the search
- Diagnosing the remaining 4.9332%
- Direct search for the common-core remainder
- Directed motions and complementary cuts
- Experimental review and proposed cleanup
- Fifteen-minute search budget: an 80% handoff with a finishable residual
- Fifteen-minute whole-solid search, 2026-09-20
- First Rust search with an 80% handoff target
- Fresh-start residual search
- Group 14: exact local completion pilot
- Historical campaign runners
- Hybrid restart: relaxed numerical search, exact completion
- Joint exact completion: literature and first implementation
- Literature review: avoiding an awkward last remainder
- Paired residual search with soft piece count
- Policy search: interrupted run and completed continuation
- Reconstructing Hafner's intermediate dissection
- Research tools
- Residual-first search pilot
- Retry: separate geometry search from assembly order
- Rust geometry acceleration
- Rust numerical geometry
- Search policy improvements: short implementation check
- Search spaces beyond the current construction
- Splitting the dominant central piece
- Whole-solid search with a 99-piece budget
- Combining prisms
- Conway dissection reference
- Conway-Radin-Sadun Dissection: Three.js Visualization Plan
- Cube dissection reference
- Exact certification of the 95.0668% incumbent
- Hill tetrahedron of the first kind
- Hill Tetrahedron to Rectangular Prism Component
- Hill tetrahedron to triangular prism
- Prism to cube
- Prolate Rhombohedron to Rectangular-Prism Block Component
- Rectangle-to-rectangle dissection
- Refactor Plan: index.html
- Rhombic triacontahedron decomposition
- Rhombohedron to Hill tetrahedra
- Truncated icosidodecahedron to cube: a constructive route