LEAFCUTTERハキリアリ Atta

（design-notes.md より）

題材

ハキリアリは葉を切って巣に運び、葉そのものは食べずに、巣の中の菌（キノコ）を育てる畑にする。大型の働きアリと小型の働きアリで役目が違う。

核ルール

• 切る：アリの立つマスから向いている方へ、決まった形（大＝L字4マス、小＝2マス）。L字の左右は固定（裏返せない）
• 運ぶ：形を保ったまま通路を通る。回転は90°時計回りで、回った形が収まる所でしかできない
• 置く：菌畑のすき間（ピンク）にぴったり重なったときだけ。置いた葉は通り道をふさぐ
• 葉は余さず使い、菌畑を全部埋める。アリごとに運べる枚数が決まっている

途中での修正

• 最初は運べる枚数の制限がなく、小さいアリだけで L字の分も切れてしまった（大きいアリが要らない）。アリごとの枚数を決めて解決。これで 2匹の面は正解の最初の一手が数通りに絞られた（10〜12面は 32〜38通り中1通り）
• 置いた葉の上を、運んでいないアリは歩ける（菌畑の奥で閉じこめられないように）
• 菌畑の上では ❎ が「置く」になるので、菌畑の上では回せない（ソルバーも同じ扱い）

生成と選定

• gen.py：草地4行・土の中に幅1〜2の通路を曲がりながら掘り、部屋（3×3）を置く。通路の先に菌畑（葉の形を組み合わせたすき間）、草地に同じ組み合わせの葉を別の並べ方で置く
• solve.py：状態＝(残りの葉, 埋まったすき間, 残り枚数)。運搬は「草地から届く置き場所」を埋まり方ごとに一度だけ計算して高速化
• select.py：1〜6面は1枚の練習（回す回数を少しずつ増やす）、7面以降は詰む手の割合が高く正解が少ない面

シリーズ規約

• 文字は面番号と面の名前だけ。説明文なし
• itch：公開前にページのテーマを用意。説明文にソルバー/PARの一文は入れない
• 見た目は企画時の GIF に合わせる