決定日:2026-10-20。決定者:利用者。状態:現在の開発・研究の進め方として適用。
利用者の指定
今回のこのリポは確認者なしで行きます。確認者を入れる場合は、別のリポ(そちらは英語で記述)を立ててそちらで確認が必要な時点から進めます。
この決定は、P2-dの完了時点 で挙げた「独立の確認者を得てG0から進める」という次の候補の運用を更新します。現在のリポジトリで確認者を確保することは、今後の研究・実装・内部検証の進行条件にしません。
現在のリポジトリ
- 日本語を基本に、作成者側の研究・実装・内部検証として進めます。独立の確認者は置きません。
- 独立確認の代わりに、内部の検証を独立確認済みと表示することはしません。
independent_reviewと、独立確認済み正解の凍結を表すevaluation_frozenは false のまま扱います。草案の実体・分母をhashで固定することとは区別します。 - 証明義務、内部判断、反例、未対応、検査の欠落、仕様・実装・期待結果の変更理由、旧版と実行根拠を引き続き残します。独立確認を行わないことによって、検証済みと主張できる範囲は広がりません。
- この決定は研究成果の独立確認に関するものです。原主張の人による確認、AI生成候補の保留、未知能力・不明情報への停止といった、モデル上の条件は維持します。
将来、確認者を入れる場合
英語で記述する別リポジトリを立ち上げ、そのリポジトリで独立確認を進めます。最新の実装から始めるとあらかじめ決めず、対象の主張や判断について確認が必要となった時点に戻って再開します。
- 対象となる時点を、元リポジトリのコミット、契約・仕様の版、manifest・実体束のhashで特定します。必要なら複数の版を引き継ぎます。
- 対象の意味定義、証明義務、入力・期待結果、内部判断とその理由、反例、未解決点、再現コマンド・環境・実行根拠を英語で記述します。元の実体を参照できる形で保持し、翻訳や再実装による変更も区別します。
- 別リポジトリでG0(資料固定)から、担当・独立性・対象と保証範囲を記録します。そのうえで、必要な証明義務と内部判断を確認し直します。英語化や別リポジトリへの移行だけで独立性が成立したとは扱いません。
- 不一致の裁定、修正、再実行、独立確認済みの期待結果の凍結は、別リポジトリで記録します。現在の内部判定をそのまま承認済みとして引き継ぎません。
以前に整えた レビュー計画、P0/P1の再開点、P2のPO13〜PO18・内部判断J01〜J12・再開手順 は、その際の準備資料として保持します。確認者を現在のリポジトリに割り当てる手順としては適用しません。
決定時の基準と適用範囲
決定時の基準コミットは f1fb9663495c1dc3fb9aef17af84b231fc0e908e(P2-d完了)。P0/P1の過去の基準は 内部実施の完了記録 に残っています。これは将来の別リポジトリで必ずP2-dから始めるという指定ではありません。
過去の設計・検証結果は、その実施当時の記録として保持します。本決定は運用方針の変更であり、既存の評価結果・認定範囲・実装の意味や最終目標を変更しません。P2の次のパイロット候補B(有効期間つきの主張)とC(単位つきの数量)は、引き続き選定対象です。
別リポジトリの作成・翻訳・確認者への連絡は今回実施していません。現在の非公開・ライセンス未決定の方針も維持します。