Repository navigation

core: move old roofs to the roof level, by hand or by agent - #1047

Merged

Aymericr merged 4 commits into

mainfrom

feedback/roof-level-move

Oct 13, 2026

Merged

core: move old roofs to the roof level, by hand or by agent#1047
Aymericr merged 4 commits into
mainfrom
feedback/roof-level-move

Commits on Oct 13, 2026
- core: move old roofs to the roof level, by hand or by agent
  
  Aymericr
  and
  claude
  committed
  0b3a6c4
- core: a moved roof keeps to its walls over a support level or a level still to be built
  
  Aymericr
  and
  claude
  committed
  d4460eb
- core: a roof level made for the move is as tall as the roofs rise over its floor
  
  Aymericr
  and
  claude
  committed
  4e440fa
- core: a wall-following roof moved over a level between keeps its height
  
  Aymericr
  and
  claude
  committed
  b7b7ec6