adjudicate-regression

証拠の判定

使用する場合

入力：候補、凍結されたソース、利用可能な再現／再生パッケージ、レジストリの割り当てです。再現担当者および再生担当者とは異なる新しいコンテキストを使用してください。初期段階で除外する場合、実験がないこともあります。 対象作業を始める前に、プロジェクトのガイダンスに従ってください。

使用しない場合

不足している証拠を作成する場合は使用せず、不足を依頼元に返してください。

判定する

1. 標準、 ラベル、ファイル契約を確認してください。封印を検証してください。要約だけでなく、ソース、セットアップ、PoC、実際のログ、セキュリティ上の前提を調査してください。
2. 主張されている欠陥を特定し、その変更によって欠陥が生じたかを評価してください。引用した証拠に基づき、不完全な修正、潜在的／既存のバグ、意図的な変更、サポートされていない期待、到達不能なシナリオを除外してください。セキュリティ上の指摘については、攻撃者がアクセスできる範囲と適用される保護策を明らかにしてください。
3. 同じ PoC／入力を、実際のインターフェースを通じて稼働中の S0／S1 に対して再現と独立した再生の両方で実行し、変更前は正常に動作し、変更後に失敗することが示された場合にのみ確認してください。サポートされる動作、到達可能性、パッチとの因果関係を説明してください。理由を添えて重大度／発生可能性を割り当ててください。
4. それ以外の場合は、証拠のある除外理由または UNRESOLVED を選択し、何が未証明かを明記してください。UNRESOLVED の場合は、標準にある、観察された不足、考えられる説明、解決のための確認事項を分けた簡潔な段落を reason に記載し、レポートにも残るようにしてください。不完全な修正と既存のバグは、回帰の集計対象外です。新規性を主張する前に、既知の指摘／Issue／PR を確認してください。確認できない場合は不明と報告してください。
5. 重複排除を求められた場合は、提示された候補が同じ根本原因を共有しているかを明らかにしてください。変更の対応関係を維持し、未解決の主張を確認済みに重複排除してはいけません。
6. decision.json を作成して封印してください。すべての結論に証拠を引用してください。判定を妨げる障害があれば記録してください。

結果を報告する

詳細な推論は封印済みパッケージに記載してください。返答は次の項目だけにしてください。

• Status：記録と一致する complete または blocked。
• Record：封印済みの decision.json のパス、または作成されなかった理由。
• Result：判定結果と、その理由を一文で記載。
• Gap：不足している証拠、または依頼元に必要な対応があれば記載。

判定が完了していても、UNRESOLVED の場合があります。タスクのステータスと指摘の判定結果は異なります。

退けるべき合理化

• 「S0 は成功し、S1 は失敗する」：既存の欠陥が表面化した場合は、潜在的なバグです。