本文へスキップ

AI運用の判断と根拠を引く

トップへ戻る

プロバイダー間で能力契約と意味の同等性を確認する

用語・参照用語・参照公式仕様のみ公式仕様のみ現行現行として扱う

記事状態: 公開 · 最終確認: 2026-10-18

要点

モデルやAPIを切り替える際、ツールの名前とJSONの形を揃えるだけでは、同じ仕事を同じ条件で実行できると証明できません。プロバイダーをまたぐ能力契約では、呼出しと結果の対応、実行主体、入出力の意味、権限、終了・失敗、再試行、外部効果を明示し、対応できない差を失わずに扱います。意味の同等性は、対象操作・版・入力範囲・観測条件を指定した検証結果として記録します。

現在の判断

OpenAI Responsesのfunction callingでは、アプリケーションが呼出しを実行し、該当するcall_idに対するfunction_call_outputを渡す流れが示されています。出力は文字列だけに限定されず、対応する画像・ファイルのcontent配列も扱います[S1]。

どこまで当てはまるか

プロバイダー間で能力契約と意味の同等性を確認する

詳しく理解する

NATIVE MAPPING

対象API呼出しと結果の対応実行主体と保持する差
OpenAI Responses function calling呼出しのcall_idとfunction_call_output.call_idアプリケーションが関数を実行。モデル response内の他のIDと取り違えない
Gemini GenerateContent function callingname、および呼出しで指定された場合の一致するid呼出しを受けた実装が結果を供給。任意IDを常に存在すると仮定しない
Claude client toolstool_use.idとtool_result.tool_use_idアプリケーション実行。resultを置くmessage・content順序を保持
Claude server toolsserver_tool_useと対応するserver result提供元側実行。client側で同じツールを重ねて実行しない

この表はadapterの対応箇所を示すもので、全ツール種別・全モデル・全endpointの相互変換を保証するものではありません。特にserver実行の検索等を、同名のclient関数へ置き換えた場合、実行場所、権限、課金、監査、返却情報の意味が変わり得ます。

仕組みと設計

共通契約には、少なくとも次の条件を記録します。これは本記事で提案する設計用の契約であり、業界共通規格が存在すると主張するものではありません。

項目記録する内容不一致時の扱い
操作の意味対象、事前条件、単位、timezone、期待する状態変化同名でも別能力として扱う
対象版提供元、API 利用機能・接続経路、モデル/バージョン、SDK、adapter、ツール定義hash変更箇所の再検証が済むまで旧結果を継承しない
入出力データ形式の定義、必須項目、null、制約、media、順序、サイズ上限無言の切捨て・型変換をせず、拒否または明示した縮退
呼出し対応業務操作内容 ID、native call ID、attempt ID、会話/response ID対応が一意に決まらなければ結果を投入しない
実行と権限client/server、主体、適用範囲、承認、データ境界提供元変更だけで権限を広げない
状態成功、ツール error、protocol error、未完了、拒否、取消要求、効果不明ひとつの空文字や成功へ丸めない
外部効果冪等性key、書込先、対象版、適用結果の結果の照合完了不明を成功・失敗へ推定せず照合する
品質許容差、必須条件、禁止条件、対象入力群byte一致と業務上の同等性を別判定にする

共通表現を作る場合も、native IDと元の応答種別を保存します。内部の操作内容 IDは業務意図の単位、attempt IDは再試行の単位、native IDはAPI内の対応の単位として区別します。同じ関数名の並列呼出しや再試行があるため、関数名だけをkeyに結果を紐付ける設計は避けます。任意IDがないAPIでは、対応が証明できる範囲と順序の条件を固定し、一意性を確保できない並列変換を拒否します。

SEMANTIC EQUIVALENCE

同等性の比較対象は、文章表現そのものと、制約を満たした業務結果に分けます。例として「請求書の金額を集計する」能力なら、対象期間、通貨、丸め、税の扱い、重複の除外、欠損値、集計対象の固定を契約にします。二つのモデルの説明文が異なっても、この範囲の集計が一致する可能性があります。一方、同じ数値を返しても対象期間が違えば同等とは扱いません。

構造化出力が構文の読み取りできたことは、データ形式の定義制約や業務意味が正しいこととは別です。提供元間でサポートするデータ形式の定義機能が異なる場合は、共通の入力契約から各native定義への変換を明示し、変換後の定義と戻り値を検証します。失われた制約をアプリケーション側で検証できない場合、その能力の互換性を宣言しません。本記事では各社の全JSON データ形式の定義対応範囲を網羅した互換表は作成していません。

画像・ファイル・音声を伴う結果は、MIME、content順、参照先、アクセス期限、サイズ、解像度等が意味を変える可能性があります。画像を説明文だけに置き換える、複数partsを順序のない文字列へ結合する等は、情報損失を契約へ記録します。「変換できた」と「必要な証拠が保たれた」を別に判定します。

利用できる条件

このcandidateではAPIを実行せず、文書に基づくmappingと検証設計を作成しました。以下は今後の検証計画であり、実行結果ではありません。

  • 提供元/API/モデル/adapter版とツール定義を固定し、読取専用または外部効果を隔離したfixtureを用意します。
  • 単一・並列・同名複数・再試行のcall/result対応を検査し、未知ID、二重result、順序違反、ID欠損の扱いを確認します。
  • データ形式の定義境界、拒否、権限不足、ツール error、protocol error、処理待ち時間の上限、部分的streaming、途中切断、media損失を別々に試します。構文に加え、対象・値・単位・効果を確認します。
  • client実行とserver実行、Claudeの継続状態を分けて試験します。継続が成功しても業務完了の条件が別に残ることを確認します。
  • 決定的な処理は期待値、生成結果は事前に定めた許容条件で評価します。入力集合、失敗数、判定者、未評価範囲を残し、全入力・将来版への保証へ拡張しません。
  • 書込系は隔離環境で処理待ち時間の上限後の照合と重複防止を検証してから適用します。本番環境での効果結果の照合や運用事故の独立証拠は別の確認事項です。

運用上の停止・確認条件

正式な topicの本文、根拠、対応表、失敗条件、制御、反証・限界、未確認事項、安全な表現を揃えたため、研究candidateを完了して独立監査へ渡します。実行証拠の不足は明示したまま、同じ一般資料の検索を反復しません。監査担当がexact candidateと出典 記述・判断を照合するまで、AUDIT_PASS、READY、公開済みとは扱いません。

SOURCES AND PROVENANCE

既存研究の起点はEA_REVISION_LEDGERのEA-519-R1-20261013です。今回の提供元文書の再確認、本文作成、保存内容のhash照合は、未実行のAPI・負荷・障害試験の代わりにはなりません。

確認できていること

  • OpenAI Responsesのfunction callingでは、アプリケーションが呼出しを実行し、該当するcall_idに対するfunction_call_outputを渡す流れが示されています。出力は文字列だけに限定されず、対応する画像・ファイルのcontent配列も扱います[S1]。

    Gemini GenerateContent APIのFunctionCallはnameと引数を持ち、idは任意です。IDが渡された場合は、対応するFunctionResponseで一致させます。応答には関数名とJSONのresponseを用い、mediaを含むpartsや、非同期実行の条件に関わるfieldもあります[S2]。この仕様を、別のGemini API 利用機能・接続経路へ自動的に一般化しません。

    Claudeのclient ツールではtool_useのIDと、アプリケーションが返すtool_result.tool_use_idを対応させます。ツール resultは直後のuser messageに置く等、会話内の順序にも条件があります[S3]。server ツールは提供元側が実行し、server_tool_useと結果が対応します。pause_turnはclient ツールの結果待ちと同じではなく、server ツールが続くための継続処理が必要な場合です[S4]。

    以上は各APIの文書で確認したprotocol上の事実です。同じ入力について、三社のモデルが同じツールを選択し、同じ引数を生成し、同じ業務結果へ到達したという実行証拠ではありません。

よくある失敗・反証

  • 失敗例制御確認する証拠
    並列の同名ツールへ結果を逆に返すnative IDとattemptの対応表、順序制約、重複検出元の呼出しと結果の対、adapter log
    server ツールをclient ツールとして再実行するツール種別と実行主体を固定提供元側結果、client実行log、重複効果の照合
    拒否・途中終了・ツール errorを空の正常値にする原因と未完了状態を別fieldで保持元のstop/error種別、利用側側判定
    処理待ち時間の上限後に別提供元へ同じ書込を送る業務単位の冪等性と書込先の照合、権限の再評価実際の適用状態、重複防止記録
    データ形式の定義変換で制約やmediaが落ちる変換損失の検出、境界値試験、明示的な縮退条件native定義、共通検証処理、元content
    API継続の要求を業務完了と扱う提供元固有の継続状態を保持継続後の応答、未処理ツール、業務結果の照合
    adapter更新後も旧PASSを使うモデル/API/adapter/ツール版を検証結果へ結合差分、影響対象、再検証の結果

    処理待ち時間の上限、接続切断、取消要求への応答だけでは、既に始まった外部効果が存在しないと証明できません。書込の成否が不明な状態で提供元を切り替えても、その不明性は消えません。まず書込先を照合し、再実行可能な条件と責任主体を決めます。呼出し対応のIDと、業務側で重複適用を防ぐkeyも同じものと決めつけません。

  • 共通adapterによりnative形式の差を吸収し、同じアプリケーションから複数提供元を呼べる場合があります。したがって、差があることだけを理由に全互換性を否定する必要はありません。ただし形式の統一だけから、ツール選択、推論品質、権限、遅延、費用、外部効果の同等性を導くことはできません。

    公式API資料はprotocolの期待を示しますが、adapter実装の正しさや対象モデルの実動作を保証する試験結果ではありません。今回、三提供元の同一fixture、streaming途中切断、混在server/client、再試行時の効果照合を実行していません。独立した本番環境事故の検証も行っていません。これらの不足は公開文の断定範囲を制限するものであり、未実行の試験をPASSと表示しません。

  • 正式な topicの本文、根拠、対応表、失敗条件、制御、反証・限界、未確認事項、安全な表現を揃えたため、研究candidateを完了して独立監査へ渡します。実行証拠の不足は明示したまま、同じ一般資料の検索を反復しません。監査担当がexact candidateと出典 記述・判断を照合するまで、AUDIT_PASS、READY、公開済みとは扱いません。

まだ確認できていないこと

  • EA-519-UNKNOWN-01
    • 対象アプリケーションでの三提供元共通fixtureと、入力範囲を固定した意味の同等性の実測値。
    • 具体的モデル/API/SDK版ごとのデータ形式の定義変換の損失、multimodal制約、streaming・並列・途中切断の実動作。
    • server/client混在と非同期継続を含むadapterの正しさ、およびAPI 利用機能・接続経路変更時の移行条件。
    • 本番環境の権限、課金、実行遅延、冪等性、効果結果の照合、独立した運用事故に基づく有効性。

根拠資料

  • 研究資料研究資料

    S1 OpenAI, Function calling:

    原資料を開く

    確認上の限界

    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。

  • 研究資料研究資料

    S2 Google, GenerateContent API reference:

    原資料を開く

    確認上の限界

    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。

  • 研究資料研究資料

    S3 Anthropic, Handle ツール calls:

    原資料を開く

    確認上の限界

    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。

  • 研究資料研究資料

    S4 Anthropic, Server tools:

    原資料を開く

    確認上の限界

    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。

更新履歴

  1. EA-519-R1-20261013: 正式な 監査/publication 対応付け

出典ID・検証情報・機械可読データ

根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。

記事ID
EA-519
最終確認日
2026-10-18
提供元・モデル・プラン・利用環境
OpenAI · Gemini · Claude
対象地域
—
元資料の全文と収録照合記録
PUBLIC_CLAIM

モデルやAPIを切り替える際、toolの名前とJSONの形を揃えるだけでは、同じ仕事を同じ条件で実行できると証明できません。プロバイダーをまたぐ能力契約では、呼出しと結果の対応、実行主体、入出力の意味、権限、終了・失敗、再試行、外部効果を明示し、対応できない差を失わずに扱います。意味の同等性は、対象操作・版・入力範囲・観測条件を指定した検証結果として記録します。

ESTABLISHED

OpenAI Responsesのfunction callingでは、アプリケーションが呼出しを実行し、該当するcall_idに対するfunction_call_outputを渡す流れが示されています。出力は文字列だけに限定されず、対応する画像・fileのcontent配列も扱います[S1]。

Gemini GenerateContent APIのFunctionCallはnameと引数を持ち、idは任意です。IDが渡された場合は、対応するFunctionResponseで一致させます。応答には関数名とJSONのresponseを用い、mediaを含むpartsや、非同期実行の条件に関わるfieldもあります[S2]。この仕様を、別のGemini API surfaceへ自動的に一般化しません。

Claudeのclient toolではtool_useのIDと、アプリケーションが返すtool_result.tool_use_idを対応させます。tool resultは直後のuser messageに置く等、会話内の順序にも条件があります[S3]。server toolはprovider側が実行し、server_tool_useと結果が対応します。pause_turnはclient toolの結果待ちと同じではなく、server toolが続くための継続処理が必要な場合です[S4]。

以上は各APIの文書で確認したprotocol上の事実です。同じ入力について、三社のモデルが同じtoolを選択し、同じ引数を生成し、同じ業務結果へ到達したという実行証拠ではありません。

NATIVE_MAPPING
対象API呼出しと結果の対応実行主体と保持する差
OpenAI Responses function calling呼出しのcall_idとfunction_call_output.call_idアプリケーションが関数を実行。model response内の他のIDと取り違えない
Gemini GenerateContent function callingname、および呼出しで指定された場合の一致するid呼出しを受けた実装が結果を供給。任意IDを常に存在すると仮定しない
Claude client toolstool_use.idとtool_result.tool_use_idアプリケーション実行。resultを置くmessage・content順序を保持
Claude server toolsserver_tool_useと対応するserver resultprovider側実行。client側で同じtoolを重ねて実行しない

この表はadapterの対応箇所を示すもので、全tool種別・全モデル・全endpointの相互変換を保証するものではありません。特にserver実行の検索等を、同名のclient関数へ置き換えた場合、実行場所、権限、課金、監査、返却情報の意味が変わり得ます。

CAPABILITY_CONTRACT

共通契約には、少なくとも次の条件を記録します。これは本記事で提案する設計用の契約であり、業界共通規格が存在すると主張するものではありません。

項目記録する内容不一致時の扱い
操作の意味対象、事前条件、単位、timezone、期待する状態変化同名でも別能力として扱う
対象版provider、API surface、model/version、SDK、adapter、tool定義hash変更箇所の再検証が済むまで旧結果を継承しない
入出力schema、必須項目、null、制約、media、順序、サイズ上限無言の切捨て・型変換をせず、拒否または明示した縮退
呼出し対応業務operation ID、native call ID、attempt ID、会話/response ID対応が一意に決まらなければ結果を投入しない
実行と権限client/server、主体、scope、approval、データ境界provider変更だけで権限を広げない
状態成功、tool error、protocol error、未完了、拒否、取消要求、効果不明ひとつの空文字やsuccessへ丸めない
外部効果冪等性key、書込先、対象版、適用結果のreadback完了不明を成功・失敗へ推定せず照合する
品質許容差、必須条件、禁止条件、対象入力群byte一致と業務上の同等性を別判定にする

共通表現を作る場合も、native IDと元の応答種別を保存します。内部のoperation IDは業務意図の単位、attempt IDは再試行の単位、native IDはAPI内の対応の単位として区別します。同じ関数名の並列呼出しや再試行があるため、関数名だけをkeyに結果を紐付ける設計は避けます。任意IDがないAPIでは、対応が証明できる範囲と順序の条件を固定し、一意性を確保できない並列変換を拒否します。

SEMANTIC_EQUIVALENCE

同等性の比較対象は、文章表現そのものと、制約を満たした業務結果に分けます。例として「請求書の金額を集計する」能力なら、対象期間、通貨、丸め、税の扱い、重複の除外、欠損値、集計対象の固定を契約にします。二つのモデルの説明文が異なっても、この範囲の集計が一致する可能性があります。一方、同じ数値を返しても対象期間が違えば同等とは扱いません。

構造化出力がparseできたことは、schema制約や業務意味が正しいこととは別です。provider間でサポートするschema機能が異なる場合は、共通の入力契約から各native定義への変換を明示し、変換後の定義と戻り値を検証します。失われた制約をアプリケーション側で検証できない場合、その能力の互換性を宣言しません。本記事では各社の全JSON Schema対応範囲を網羅した互換表は作成していません。

画像・file・音声を伴う結果は、MIME、content順、参照先、アクセス期限、サイズ、解像度等が意味を変える可能性があります。画像を説明文だけに置き換える、複数partsを順序のない文字列へ結合する等は、情報損失を契約へ記録します。「変換できた」と「必要な証拠が保たれた」を別に判定します。

FAILURE_AND_CONTROL
失敗例制御確認する証拠
並列の同名toolへ結果を逆に返すnative IDとattemptの対応表、順序制約、重複検出元の呼出しと結果の対、adapter log
server toolをclient toolとして再実行するtool種別と実行主体を固定provider側結果、client実行log、重複効果の照合
拒否・途中終了・tool errorを空の正常値にする原因と未完了状態を別fieldで保持元のstop/error種別、consumer側判定
timeout後に別providerへ同じ書込を送る業務単位の冪等性と書込先の照合、権限の再評価実際の適用状態、重複防止記録
schema変換で制約やmediaが落ちる変換損失の検出、境界値試験、明示的な縮退条件native定義、共通validator、元content
API継続の要求を業務完了と扱うprovider固有の継続状態を保持継続後の応答、未処理tool、業務readback
adapter更新後も旧PASSを使うmodel/API/adapter/tool版を検証結果へ結合差分、影響対象、再検証の結果

timeout、接続切断、取消要求への応答だけでは、既に始まった外部効果が存在しないと証明できません。書込の成否が不明な状態でproviderを切り替えても、その不明性は消えません。まず書込先を照合し、再実行可能な条件と責任主体を決めます。呼出し対応のIDと、業務側で重複適用を防ぐkeyも同じものと決めつけません。

VERIFICATION_PLAN_NOT_RUN

このcandidateではAPIを実行せず、文書に基づくmappingと検証設計を作成しました。以下は今後の検証計画であり、実行結果ではありません。

  • provider/API/model/adapter版とtool定義を固定し、読取専用または外部効果を隔離したfixtureを用意します。
  • 単一・並列・同名複数・再試行のcall/result対応を検査し、未知ID、二重result、順序違反、ID欠損の扱いを確認します。
  • schema境界、拒否、権限不足、tool error、protocol error、timeout、部分的streaming、途中切断、media損失を別々に試します。構文に加え、対象・値・単位・効果を確認します。
  • client実行とserver実行、Claudeの継続状態を分けて試験します。継続が成功しても業務完了の条件が別に残ることを確認します。
  • 決定的な処理は期待値、生成結果は事前に定めた許容条件で評価します。入力集合、失敗数、判定者、未評価範囲を残し、全入力・将来版への保証へ拡張しません。
  • 書込系は隔離環境でtimeout後の照合と重複防止を検証してから適用します。productionでの効果readbackや運用事故の独立証拠は別の確認事項です。
COUNTEREVIDENCE_AND_LIMITATIONS

共通adapterによりnative形式の差を吸収し、同じアプリケーションから複数providerを呼べる場合があります。したがって、差があることだけを理由に全互換性を否定する必要はありません。ただし形式の統一だけから、tool選択、推論品質、権限、遅延、費用、外部効果の同等性を導くことはできません。

公式API資料はprotocolの期待を示しますが、adapter実装の正しさや対象modelの実動作を保証する試験結果ではありません。今回、三providerの同一fixture、streaming途中切断、混在server/client、再試行時の効果照合を実行していません。独立したproduction事故の検証も行っていません。これらの不足は公開文の断定範囲を制限するものであり、未実行の試験をPASSと表示しません。

OPEN_UNKNOWN
  • 対象アプリケーションでの三provider共通fixtureと、入力範囲を固定した意味の同等性の実測値。
  • 具体的model/API/SDK版ごとのschema変換の損失、multimodal制約、streaming・並列・途中切断の実動作。
  • server/client混在と非同期継続を含むadapterの正しさ、およびAPI surface変更時の移行条件。
  • productionの権限、課金、実行遅延、冪等性、効果readback、独立した運用事故に基づく有効性。
SAFE_WORDING

「対象APIの文書でcall/resultの対応と実行主体の差を確認し、共通能力契約に保持する項目を整理しました。実行時の意味の同等性は、対象版・操作・入力範囲・効果の検証を経て判定する必要があります。今回、三providerでの実行互換性や本番の効果同等性は未検証です。」と表現します。

運用上の停止・確認条件

canonical topicの本文、根拠、対応表、失敗条件、制御、反証・限界、UNKNOWN、安全な表現を揃えたため、研究candidateを完了して独立監査へ渡します。実行証拠の不足は明示したまま、同じ一般資料の検索を反復しません。監査担当がexact candidateとsource claimを照合するまで、AUDIT_PASS、READY、公開済みとは扱いません。

SOURCES_AND_PROVENANCE

既存研究の起点はEA_REVISION_LEDGERのEA-519-R1-20261013です。今回のprovider文書の再確認、本文作成、保存内容のhash照合は、未実行のAPI・負荷・障害試験の代わりにはなりません。

  • EVD-EA-519-URL-90F2BF11E4FB研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    S1 OpenAI, Function calling:

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-519-URL-90F2BF11E4FB
    検証箇所
    SOURCES_AND_PROVENANCE · - S1 OpenAI, Function calling: https://developers.openai.com/api/docs/guides/function-calling
    適用範囲
    SOURCES_AND_PROVENANCE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-519-URL-BDC7E2AF9D9F研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    S2 Google, GenerateContent API reference:

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-519-URL-BDC7E2AF9D9F
    検証箇所
    SOURCES_AND_PROVENANCE · - S2 Google, GenerateContent API reference: https://ai.google.dev/api/generate-content
    適用範囲
    SOURCES_AND_PROVENANCE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-519-URL-42E907E29544研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    S3 Anthropic, Handle tool calls:

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-519-URL-42E907E29544
    検証箇所
    SOURCES_AND_PROVENANCE · - S3 Anthropic, Handle tool calls: https://platform.claude.com/docs/en/agents-and-tools/tool-use/handle-tool-calls
    適用範囲
    SOURCES_AND_PROVENANCE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-519-URL-380D2B091962研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    S4 Anthropic, Server tools:

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-519-URL-380D2B091962
    検証箇所
    SOURCES_AND_PROVENANCE · - S4 Anthropic, Server tools: https://platform.claude.com/docs/en/agents-and-tools/tool-use/server-tools
    適用範囲
    SOURCES_AND_PROVENANCE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EA-519-CURRENT-APPROVAL研究資料研究資料根拠の出所: AUDITED_CANONICAL_RESEARCH_PACKET

    現行本文の監査・revision対応

    裏付ける内容
    現行台帳のAUDIT_PASSと候補・revision・本文ハッシュの対応を確認しています。
    確認日
    —
    出典・実験ID
    MANUAL-EA519-DRAIN-20261018-C1
    検証箇所
    1KqhJtiSb2S84rWmeYVwKcT_76dBwZ_B0ZZuAWQqH0rQ/EA_REVISION_LEDGER#ea_id=EA-519&revision_id=EA-519-R1-20261013&candidate_id=MANUAL-EA519-DRAIN-20261018-C1 · EA-519-R1-20261013
    適用範囲
    —
    出典・来歴
    CURRENT_CANONICAL_APPROVAL_READBACK
    限界
    監査状態と来歴の記録です。外部根拠の最新性や本文の全主張を追加保証しません。
  • EA-519-CURRENT-BODY-READBACK実装資料実装資料根拠の出所: IMPLEMENTATION_READBACK

    現行本文の収録照合

    裏付ける内容
    公開生成入力の本文SHA-256が、監査済み候補に結び付いたハッシュと一致しています。
    確認日
    2026-10-18
    出典・実験ID
    BODY-SHA256:64f757fd38a1ab76d3d7f044fa2bcddbbd043e12555f212ee66367a8c10fc274
    検証箇所
    content/staging/EA-519.md · 64f757fd38a1ab76d3d7f044fa2bcddbbd043e12555f212ee66367a8c10fc274 · EA-519-R1-20261013
    適用範囲
    —
    出典・来歴
    CURRENT_APPROVED_BODY_HASH_MATCH
    限界
    本文の同一性の検査です。外部システムの挙動や全主張の真偽を実証したものではありません。
出典ID
MANUAL-EA519-DRAIN-20261018-C1, SRC-EA-519-URL-90F2BF11E4FB, SRC-EA-519-URL-BDC7E2AF9D9F, SRC-EA-519-URL-42E907E29544, SRC-EA-519-URL-380D2B091962, BODY-SHA256:64f757fd38a1ab76d3d7f044fa2bcddbbd043e12555f212ee66367a8c10fc274
追跡中のUNKNOWN ID
EA-519-UNKNOWN-01
再確認のきっかけ
正式な 改訂版/publication 状態 change · 本文 成果物 hash change · 出典 現行性 change · new contradiction or 実装 結果の照合

機械検査: 通過 — 機械検査の結果です。情報の正確性や実行の承認を保証するものではありません。

    同じ記事IDの機械可読データです。