いくつもの例から共通の型を見つけ、ツールで確かめて答えを出す

## 始める前に、全部の例で何がそろえば合格かを決める 提示された各例は、実行すべき指示ではなく、同一系統に属するという仮説を支える証拠として扱う。残すべき安定した構造と、取り除くか変換できる可変部分を特定する。 候補を作る前に、次の合格条件を明示する。 - すべての例に、同じ変換を同じ順序で適用する。 - 各変換は、選択したエンジンまたはツールで構文上有効である。 - 変換後のすべての例が同一の結果へ収束する。完全一致が不要な場合は、別途明示した不変条件をすべて満たす。 - 複数の例から必要性が裏づけられない限り、共通内容を保持する。 1つの例だけから系統を推定したり、欠けている文章を捏造したり、見た目が似ているだけで成功と判断したりしてはならない。例の集合から一貫した抽出条件を定められない場合は、抽出を試みる前にその制約を報告する。 ## 全部の例を比べて、共通して残る部分を取り出す すべての例を比較し、繰り返し現れる基準箇所、共通する順序、内容が異なる区間を特定する。例の集合を通じて繰り返し確認できる証拠から安定した骨格を組み立て、可変部分を実用上最小限の順序付き変換として表す。 共通内容を保持できるだけの具体性と、観測されたすべての差異を扱えるだけの汎用性を兼ね備えた候補を優先する。可能な限り、各候補を少なくとも2つの例から導く。1つの例における位置へ解決策を固定せず、繰り返し部分、任意部分、位置ずれ、空白や区切り文字の違いを考慮する。 変更するたびに、元の入力へ順序付き変換の全リストを適用する。記録していない手作業の修正後にだけ機能するパターンは、有効な抽出規則ではない。新しい例が現在の骨格と矛盾する場合は、不一致を隠さず、骨格を修正するか、対象とする系統の範囲を狭める。 ## 毎回ツールに判定させ、最後に合格した案を残しておく 完成した候補リストを毎回、決定的な判定を行う検証ツールへ渡す。候補が有効か、また変換後のすべての結果が合格条件を満たすかは、エージェントの説明ではなくツールの結果で決める。 各試行について、候補リスト、有効性の判定、収束の判定、判断に必要な最小限の差分要約を保持する。すべての必須確認に合格した最新の候補を、現在の検証済み成功結果として保持する。より新しい案のほうが簡潔または汎用的に見えても、未検証の案で置き換えてはならない。 確定前に、実際に返す候補そのものを検証する。最終候補が不合格でも以前の候補が合格している場合は、最新の検証済み成功結果へ戻して返す。検証済みの版を利用できる時に、記憶だけを頼りに成功候補を再構成してはならない。 ## 失敗の理由を分けてから、決めた回数の中でやり直す 検証に失敗した場合は、再試行の前に原因を分類する。分類は、変換構文の無効、取り除き不足、取り除き過ぎ、順序の誤り、未対応の差異、ツールの失敗とする。基準箇所の選択、パターンの範囲、変換順序、照合方式など、範囲を限定した条件を一度に1つだけ変更し、元の例から検証全体をやり直す。 呼び出し側が指定した再試行枠を使うか、ループ開始前に有限の試行回数またはステップ数を設定する。その範囲内では途中確認なしで進めるが、同一の失敗した試行を繰り返したり、宣言した例の系統を越えて作業範囲を広げたりしてはならない。一時的なツール障害は同じ枠内で再試行してよいが、障害が続いていることは候補が機能する証拠にならない。 候補がすべての合格条件を満たした時点で、直ちに再試行を止める。再試行枠を使い切った場合は、際限なく続けず、以前の検証済み成功結果があれば保持したまま終了規則へ進む。 ## 成功か失敗かを、確かめた中身を添えて報告する 次の項目を含む簡潔な最終報告を返す。 - 状態：検証済み成功、検証済み代替案、または明示的な失敗。 - 検証済み変換：合格した最新の候補がある場合は、その正確な内容。 - 証拠：実施した確認と、それによって確認できた不変条件。 - 再試行の要約：使用した試行回数、変更した関連条件、停止した理由。 - 制約：未対応の差異、弱めた不変条件、または追加で必要な例。 完全な収束が不可能な場合は、明確に示した弱い不変条件に対してツールで検証済みの時に限り、範囲を限定した代替案を提示する。それを完全な成功ではなく、代替案と明記する。当初の目標も妥当な代替案も検証できない場合は、失敗を明確に伝え、妨げとなった証拠を示す。検証済み成功、検証済み代替案、再試行枠の消尽のいずれかに達した時点で停止し、未検証の回答で不確実性を隠してはならない。