Python rewrite of the Urb/Homemaker stack
Bruno Postle
191f603440
core_divide: divides a C leaf simultaneously on ALL storeys that share that path, maintaining staircase consistency as an atomic invariant rather than requiring multi-step recovery. core_undivide: reverses core_divide consistently across all floors, merging a C sub-core back into a single C leaf everywhere. level_fix: atomically moves a level-constrained room to its required floor by retyping the largest leaf there and vacating the wrong-floor leaf to C. Requires `reqs` (SpaceReq dict); disabled (zero probability) without it. mutate() gains `reqs=None` parameter; driver.search() passes its already- loaded reqs so level_fix fires during the main memetic loop. Together these let the optimiser escape the deceptive valley around the 2-fail warmstart: level_fix moves l1 to level 0 (reducing fails 2→1), then core_divide can split the C core to accommodate the displaced t3. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> |
||
|---|---|---|
| .beads | ||
| .claude | ||
| examples | ||
| experiments | ||
| src/homemaker_layout | ||
| tests | ||
| .gitignore | ||
| AGENTS.md | ||
| CLAUDE.md | ||
| DESIGN.md | ||
| pyproject.toml | ||
| README.md | ||
homemaker-layout
Programme-driven building-layout search over slicing trees. A clean-room Python successor to the Perl Urb project, intended to eventually be 100% Python.
Why a rewrite
Urb represents a building as a binary slicing tree where room sizes are derived top-down from division ratios. That makes room area an emergent property of every cut above it, which:
- gives the genome low locality (a cut near the root rescales every descendant),
- makes target room sizes nearly impossible to hit, so the gaussian size penalty dominates fitness, and
- defeats crossover (transplanted subtrees lose their proportions).
homemaker inverts this: leaves carry target dimensions from the programme and division ratios are solved bottom-up for a fixed topology. The evolutionary search then only explores topology + types + adjacency.
Phase plan
- Solver experiment (current): port Urb's geometry, re-solve ratios from programme targets, score the result against the original via the Perl oracle.
- Native Python fitness (retire the Perl oracle).
- Canonical slicing encoding (normalized Polish expression) + memetic search.
Layout
src/homemaker_layout/dom.py— read/write Urb.domYAML into aNodetree.src/homemaker_layout/geometry.py— faithful port of Urb's top-down geometry.src/homemaker_layout/programme.py— parsepatterns.configspace requirements.src/homemaker_layout/solver.py— bottom-up ratio solve (scipy).src/homemaker_layout/oracle.py— Phase-1 scaffold: score a.domvia Urb'surb-fitness.pl.
The Perl oracle is the only throwaway component; everything else is permanent.