リリース
リリースフィード
リリース、標準アップデート、研究ノート。
Release2026-02-15
HELM実行カーネルの初期OSSリリース。PEP、Guardian、ProofGraph、EvidencePackエクスポート、適合性L1/L2、OpenAI SDK互換性を含みます。
- 1行のBASE_URL統合
- SHA-256 + ランポート時計によるレシートチェーン
- EvidencePackエクスポートとオフライン検証
- 制限付き計算のWASIサンドボックス
- 適合性L1（決定論的実行）とL2（検証可能なエビデンス）
Standard2026-02-14
正準決定論的実行標準を公開。ProofGraph、レシートスキーマ、適合性レベル、EvidencePackフォーマットを定義。
- RFC-001: ProofGraph仕様
- RFC-002: EvidencePackフォーマット
- RFC-003: PEP境界仕様
- RFC-004: Bounded Compute (WASI/Wazero)
- RFC-005: 承認セレモニー
Research2026-02-13
なぜ決定論的実行境界が自律エージェントの安全性に必要なのか。制限なしのツール呼出しシステムにおける障害モードの分析。
- エージェント障害モードの分類法
- 確率的安全性が不十分であることの証明
- Guardian関数の形式的モデル
すべてのリリースは暗号署名され、適合性証明を含みます。