問題データと証明の手順

データとルールを分ける

基本機能にコード、解法、生成、操作、メタデータがあります。問題は大きさ別に読み、盤だけ、難しさ、番号の移行は別の用途です。

生成側を正本にする

既存のスクリプトで候補、一意性、難しさ、使用済みの盤、順番、移行を扱います。新しいコメント用の共有処理は読み込みの例を作ります。--refreshはコメントだけで、新しい盤を探したり順番を変えたりしません。

確認の目的を分ける

解答の確認、解の数の証明、収録問題のテスト、承認された盤の識別は別の質問です。ホストでも区別します。構成とREADMEにソースと測定の詳細があります。