# Claim Audit: 2026-09-11 `python3 scripts/claim-audit.py record` が台帳(`.vault-meta/claim-audit.json`)の当日分から再描画する。手で編集しない。判定は命題が引く source ページ(と `.raw/` の抽出テキスト)との照合であり、命題そのものの真偽ではない。 ## Summary - Claims audited: 9(supported 8 / unsupported 0 / not_in_source 1 / source_missing 0 / unclear 0) - Pages: 9 ## Findings - [[サービスレベル目標]] L363 — **「証拠(SLI/SLO)が結論(SLA)を後押しするようにする」という定式化は、Mogul+Wilkes の「法律家的思考から統計家的思考への転換」を大企業向けの一言に圧縮したものである。** — `not_in_source` — 両出典は各半分(SLI から始め証拠が結論を後押しする / 法律家的思考から統計家的思考へ)を個別に述べるだけで、前者が後者を『圧縮したもの』だという対応づけはどちらの出典にも無い。wiki 側の解釈を事実の形で書いている。留保を付けるか『同じ順序の逆転を述べる』へ弱める。出典: [[@2022__OReillyJapan__SREエンタープライズロードマップ - Chapter 3 SREの原則]]、[[@2019__HotOS__Nines are Not Enough - Meaningful Metrics for Clouds]] ## Supported - [[LLM推論]] L325 — リクエスト間の応答長ばらつきが、KV キャッシュ管理とロードバランシングの両方に波及する。 - [[SRE組織変革]] L251 — 意思決定者までの距離は、廊下でも報告ラインでも、共有基盤の所有でも縮められる。 - [[eBPF]] L272 — eBPF は AIOps・LLM 推論観測に限らず、サービス依存マップ構築という用途でも本番採用されている。 - [[インシデント管理]] L287 — コミュニティマネージャは、ICS の「コミュニケーション担当」ロールが体系化される 5 年前に、ユーザ向け情報発信という下位機能を専任職として実務運用していた。 - [[カオスエンジニアリング]] L344 — 対象は可用性の本番インフラから、LLM API 層、セキュリティ制御、ステートフルな一貫性、サイバーフィジカル系へ広がる。 - [[時系列基盤モデル]] L163 — 確率的予測の実現手段は量子化+分類(categorical)・パラメトリック密度・flow-matching という 3 系統に分かれ、この二分は訓練目的関数の二分(点予測 対 確率的)と対応する。 - [[根本原因分析]] L434 — LLM の RCA 適応はモデル更新より、検索された事例と異種証拠の統合が主因である。 - [[異常検知]] L214 — 解釈性は検知精度と背反でなく協働しうる。LLMAD の AnoCoT(判定ルール・異常タイプ定義・段階推論)は標準 CoT 比 Best F1 +6.2%、人手評価 usefulness +13.4%