# DSPy

CURRENT_STATUS: UNKNOWN
OBSERVATION: SPEC_ONLY
FRESHNESS: UNKNOWN
PAGE_TYPE: reference
CANONICAL_URL: /tools/ea-139-dspy
CLAIM_IDS: none
EVIDENCE_IDS: EA-139-R11-RESEARCH, EA-139-R11-WEB-READBACK
UNKNOWN_IDS: EA-139-UNKNOWN-01, EA-139-UNKNOWN-CURRENTNESS
OPS_IDS: none

## Summary
Status: DICTIONARY PROPOSAL
Authority: COMM-044-EA0139

## Current judgment
Status: DICTIONARY PROPOSAL
Authority: COMM-044-EA0139

## Scope
DSPy

## Confirmed

## UNKNOWN
- 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として保持する。日付を推測補完しない。

## Evidence
- EA-139-R11-RESEARCH (RESEARCH): EA-139 監査済みresearch / canonical revision binding
- EA-139-R11-WEB-READBACK (IMPL): EA-139 Web body identity / canonical readback

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

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

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

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

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

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

NEXT: /agent/start.json
STOP: This is a knowledge projection, not an execution order.