| name | explain-ahc-solver |
| description | AHC形式のRust solverから、日本語の再現可能な解説を作る。入力としてチャンピオン実装や提出候補コードが与えられたときに、Phase 1で削除や簡素化により本質を抽出し、Phase 2でjapanese-tech-writingに従う解説を書き、subagentに解説だけから再実装と評価をさせて品質を検証する。 |
explain-ahc-solver
AHC solver の実装から、読者が方針を再現できる日本語解説を作る。
この skill は、実装をそのまま説明するためのものではない。
まず得点と時間設計を保った簡素化 solver を作り、そこから解説すべき本質を確定する。
その後、その本質を文章に落とし込み、事情を知らない subagent が解説だけから十分な solver を再実装できるかを検証する。
ワークフロー
この skill は、次の2つの phase を順に実行する。
-
Phase 1：実装から本質を抽出する
対象 solver を削除や簡素化で整理し、得点と時間設計を保つ簡素化 solver を作る。
手順は simplification.md に従う。
-
Phase 2：解説を作り、再現性を検証する
Phase 1 で抽出した本質を日本語解説へ落とし込み、subagent による再実装で解説の品質を検証する。
手順は explanation-validation.md に従う。
Phase 1 が完了するまで、Phase 2 に入らない。
ただし、ユーザーがすでに Phase 1 相当の簡素化 solver と本質抽出メモを与えた場合は、それを Phase 1 の成果物として扱ってよい。
必ず読むもの
作業の入口では、次を読む。
problem_description.txtnotes/notations.md- 対象 solver
src/bin/v000_template.rs- 評価に使う
scripts/eval.py, scripts/run.sh, Cargo.toml
Phase 2 に入る前に、japanese-tech-writing を読む。
解説本文は、その規範に従って一文一行で書く。
Phase 2 では、subagent に渡す前に writing-checklist.md で検証対象本文を確定する。
subagent 検証を実行するときは、subagent-validation.md のプロンプトと読み取り制限に従う。
Phase 1 の完了条件
Phase 1 は、入力 solver を読んで分かった気になるだけでは完了しない。
次の状態になってから Phase 2 に進む。
- 簡素化 solver がある
- 目標スコアを超える評価結果がある
max_elapsed がプロジェクトの時間条件を満たすように設計されている- 採用した削除と不採用にした削除が記録されている
- 残った構造を解説本文の中心として説明できる
- 削れた処理を解説本文から落としてよい理由が分かっている
詳しい反復手順、停止条件、時間超過への対応は simplification.md に従う。
Phase 2 の完了条件
Phase 2 は、解説 Markdown を書いただけでは完了しない。
次の状態になってから成果物とする。
- 解説本文が
japanese-tech-writing に従っている
- 解説本文が、何をするかだけでなく、なぜ必要かを説明している
- 実装細部を書きすぎず、本質のアイデアを中心にしている
- 新規 subagent が、v000 以外の既存 solver を読まずに再実装している
- subagent の再実装が目標スコアを超えている
- subagent の成功が過度な試行錯誤や評価後チューニングに依存していない
- 最終本文が subagent の読んだ検証対象本文と同一である、または意味を変えない編集だけである
詳しい文章作成、検証、失敗時の扱い、再検証、最終確認は explanation-validation.md に従う。
subagent に渡す前の本文点検には writing-checklist.md を使う。
subagent を起動するときは subagent-validation.md を使う。
検証 agent には、読んでよいファイル、作ってよい新規ファイル、読んではいけない既存 solver を明示する。
参照ファイル
最終報告
最後に、次を簡潔に報告する。
- Phase 1 の簡素化 solver、評価コマンド、スコア、時間設計の確認
- Phase 1 で採用した削除と不採用にした削除
- Phase 2 の解説ファイル
- subagent 検証の有無、再実装 solver、評価コマンド、スコア
- subagent が読んだ解説ファイル、可能なら checksum、最終解説ファイルとの同一性
- 解説に残る曖昧点
- 本文へ反映した改善点
- 反映しなかったパラメータやケース固有情報と、その理由
