DSPy

用語・参照公式仕様のみ鮮度未確認

記事状態: 公開 · 最終確認: 未確認

要点

Status: DICTIONARY PROPOSAL Authority: COMM-044-EA0139

現在の判断

Status: DICTIONARY PROPOSAL Authority: COMM-044-EA0139

どこまで当てはまるか

DSPy

詳しく理解する

要点と前提

Status: DICTIONARY PROPOSAL Authority: COMM-044-EA0139

実装・運用

DSPyはstructured signatures、modules、tools、metrics、optimizersを組み合わせてLLM programを構成・調整するPython frameworkである。監査済みcurrentnessはDSPy 3.4.0。optimizerの結果はmetric・評価データ・model・探索条件に依存し、業務の正しさ、安全性、再現性、production SLOを自動保証しない。

実装・運用 2

signature/module/metric/optimizer/model/data/versionを別々に固定・記録する。optimizer前後はholdoutだけでなく、分布外、安全性、cost、latencyを別測定する。provider/model更新、cache、randomness、version変更によりprogram再現性が崩れ得るため、artifact pin、rollback、regression suiteを運用条件とする。

セキュリティとプライバシー

LocalInterpreterはsecurity sandboxではない。tools/MCPを含む実行系は、権限、入力、side effect、traceを別管理し、metric最適化を安全判定の代替にしない。

利用できる条件

Python/runtime、DSPy package/release、LLM provider/API資格情報、model ID、region/契約、optimizer用データ・計算資源、tools/MCP権限、metric評価環境、program artifact保存形式を個別確認する。

実務での使い方

LocalInterpreterはsecurity sandboxではない。tools/MCPを含む実行系は、権限、入力、side effect、traceを別管理し、metric最適化を安全判定の代替にしない。
Python/runtime、DSPy package/release、LLM provider/API資格情報、model ID、region/契約、optimizer用データ・計算資源、tools/MCP権限、metric評価環境、program artifact保存形式を個別確認する。

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

EA-139-UNKNOWN-01
実業務accepted outcome、optimizerごとの再現性、metric hacking、provider/model更新耐性、tool/MCP security boundary、program portability、production SLOは確定しない。
EA-139-UNKNOWN-CURRENTNESS
外部根拠の再確認日がcanonical body/control-planeで確定していないため、currentnessはUNKNOWNとして保持する。日付を推測補完しない。

根拠資料

この記事には、直接開ける外部出典が登録されていません。出典IDや検証情報は末尾で確認できます。

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

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

記事ID: EA-139
最終確認日: —
提供元・モデル・プラン・利用環境: —
対象地域: —

元資料の全文と収録照合記録

要点と前提

Status: DICTIONARY PROPOSAL Authority: COMM-044-EA0139

Operational claim

Implementation boundary

Security / tool boundary

LocalInterpreterはsecurity sandboxではない。tools/MCPを含む実行系は、権限、入力、side effect、traceを別管理し、metric最適化を安全判定の代替にしない。

Availability gates

OPEN_UNKNOWN

実業務accepted outcome、optimizerごとの再現性、metric hacking、provider/model更新耐性、tool/MCP security boundary、program portability、production SLOは確定しない。

EA-139-R11-RESEARCH研究資料研究資料根拠の出所: AUDITED_CANONICAL_RESEARCH_PACKET
EA-139 監査済みresearch / canonical revision binding
裏付ける内容
Status: DICTIONARY PROPOSAL Authority: COMM-044-EA0139
確認日
—
出典・実験ID
COMM-044-EA0139
検証箇所
COMM-044-EA0139 · EA-139-R5-LEGACY-MIGRATION-20261008-R1 · content/staging/EA-139.md
適用範囲
監査済みEA本文・canonical revision・既存Source Graph relationの範囲。欠損currentnessは推測で閉じない。
出典・来歴
AUDIT_PASS_CANONICAL_BINDING
限界
canonical監査・revision bindingの存在を示す。外部ソースcurrentnessが本文またはcontrol-planeで確定していない場合は、currentnessをUNKNOWNのまま保持する。
EA-139-R11-WEB-READBACK実装資料実装資料根拠の出所: IMPLEMENTATION_READBACK
EA-139 Web body identity / canonical readback
裏付ける内容
canonical staging bodyのSHA-256一致とR9 canonical ledger readbackをProduction projectionの入力として検証する。
確認日
—
出典・実験ID
WEBBODY-EA0139-R8-8912158C
検証箇所
WEBBODY-EA0139-R8-8912158C · content/staging/EA-139.md · EA-139-R5-LEGACY-MIGRATION-20261008-R1
適用範囲
R9/R10 canonical readback後のProduction生成時body identity。
出典・来歴
CANONICAL_READBACK_BODY_HASH_MATCH
限界
body identity/readbackは本文claim自体の真偽や外部ソースの最新性を追加保証しない。

出典ID: COMM-044-EA0139, WEBBODY-EA0139-R8-8912158C
追跡中のUNKNOWN ID: EA-139-UNKNOWN-01, EA-139-UNKNOWN-CURRENTNESS
再確認のきっかけ: canonical revision/publication state change · body artifact hash change · source currentness change · new contradiction or implementation readback

機械検査: 通過 — Automated validation does not guarantee accuracy or authorize execution.

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