タスクファイルの共通フォーマット・ディレクトリ構造・記述ガイドラインを定義する。他のスキルから参照される共通ルール。
タスクファイルを生成するすべてのスキル(project-manager 等)が従う共通ルールを定義する。
本プロジェクトは、2次元イジングモデルの厳密解を数学的に厳密な形で導出するものである。
main.typ が parts/ 以下の .typ ファイルを #include して構成check_calc.py) および SageMath (sage/) で数値的に検証する場合があるタスクファイルは docs/tasks/<scope-id>/ 配下に格納する。
<scope-id> はタスクの起点に応じて命名する(例: fix_arg_interval, fermion-B13)。
docs/tasks/<scope-id>/
├── task-dependency-graph.md # 必須: 依存関係グラフ
└── proof/ # 証明タスク
├── 000_<task-name>.md
├── 010_<task-name>.md
└── ...
カテゴリは内容に応じて proof/, definition/, refactor/ 等を使い分けてよい。
タスク間の依存関係と実行順序を記述する。以下の要素を 必ず 含めること:
# Task Dependency Graph
## 概要
- **スコープ**: <scope-id>
- **タイトル**: <タイトル>
- **概要**: <概要の要約>
## 依存状況
- <関連する既存の .typ ファイルや Claim>: <ステータス(完了/WIP/未着手)>
## 依存関係図
```mermaid
graph TD
A[000: タスク名] --> C[020: タスク名]
B[010: タスク名] --> C
C --> D[将来: 次のステップ]
```
## タスク一覧
| # | ファイル | カテゴリ | 概要 | 依存先 | 並列可否 |
| --- | ---------- | -------- | ---- | ------ | -------- |
| 000 | 000_xxx.md | proof | ... | なし | 可 |
すべてのタスクファイルは以下のセクションを含む:
# <タスクタイトル>
## 概要
<このタスクで達成する数学的目標>
## 背景・前提
- <出典(参考文献の該当箇所、既存の .typ ファイルへの参照等)>
- <依存タスク・依存する Definition/Claim/Theorem>
- <必要な前提知識(例: arg の定義、√ の分岐条件、反交換関係 等)>
## スコープ
<このタスクの対象範囲を明確に記述>
## 作業内容
### 1. <具体的な作業ステップ>
- <詳細な指示(どの式からどの式への変形か、どの公式を使うか等)>
### 2. <具体的な作業ステップ>
- <詳細な指示>
## 対象ファイル
- `parts/XXX/YYY.typ`
## 完了条件
- [ ] <数学的な完了条件(例: ○○の等式が証明されている)>
- [ ] ステートメントと証明が整合している
- [ ] #ref による他の Definition/Claim への参照が正しく解決される
- [ ] `typst compile main.typ` がエラーなしで通過する
スキルごとに追加セクションを設けてもよいが、上記セクションは省略しない。
#definition("名前")[...] で記述#claim("名前")[...] で記述#theorem("名前")[...] で記述#proof[...] で記述<label> と @label または #ref(<label>) を使用