文章索引
記錄系統設計、AI Agent 工作流，以及實際專案裡值得保留的技術取捨。
用 Decisions API 分流客服案件：分類、覆核與退款流程
以商品損壞案件說明 Decisions API 的 choice、probability、confidence 與拒答處理，整理 GA 升級、人工覆核、分類校準、退款檢查及成本計算。
Agent Skills 移交 AAIF 後，團隊仍要自己固定版本與執行權限
Anthropic 將 Agent Skills 捐贈給 AAIF，版本發布與安全指引仍是提議路線圖。把標準治理、宿主相容性、技能版本與腳本授權分開驗收，避免把開放格式當成安全認證。
Claude 寫出形式證明後，還要核對它證明的是哪個 binary
Anthropic 與 Theorem 將 OSS-Fuzz 入口轉成形式證明。分清研究規模、公開證明與部署產物，建立包含 binary、定理、機器模型及未涵蓋行為的驗收紀錄。
地址剛改好，倉庫卻寄到舊家：出貨資料在哪一刻凍結？
替已付款訂單定義改址截止點：地址修改與本地派工共用訂單列鎖，將地址版本、不可變派工快照與交付待辦一起提交，避免舊頁覆寫與倉庫讀到另一份地址。
API 版本控制與平滑演進策略：URI Path、Header、Query Param 與破壞性變更相容性治理
比較 4 種主流 API 版本控制策略（URI Path / Custom Header / Content Negotiation Accept / Query Parameter）的優缺點，整理哪些變更向後相容（Backward Compatibility）、哪些會破壞舊客戶端，以及 Stripe 用版本變更模組逐版轉換回應的做法。
零信任架構（Zero Trust Architecture）：BeyondCorp 案例、微隔離與動態存取控制
為什麼「邊界防火牆 + 內網 VPN」的傳統安全模型會失效？從 Google BeyondCorp 的存取代理（Access Proxy）、裝置清冊與信任層級，到通用的屬性存取控制（ABAC），以及服務間的微隔離（Micro-segmentation）與雙向 mTLS 實務。
Meta 的 SapFix 怎麼自動修 Bug：Sapienz 找當機、SapFix 產生補丁、Infer 輔助驗證
依 Meta 2018 年的工程部落格與 ICSE-SEIP 2019 論文，整理 SapFix 這個 proof-of-concept 的流程：Sapienz 找到當機後觸發 SapFix 產生補丁，Infer 協助定位並在修補後重跑，最後交給工程師審查；論文報告約一半補丁被判定正確、約四分之一合入生產程式碼。
Pinterest 用一行 refspec 把 Git Clone 縮短 99%：另談 Commit-Graph 與大型 Monorepo 的 Clone 策略
Pinterest 在 Jenkins 的 Checkout 階段加上 refspec、只抓 master，超過 35 萬筆 commit 的 Pinboard monorepo clone 從 40 分鐘降到 30 秒。後半另外拆解 Git 的 Commit-Graph、generation number 與 Blobless／Treeless／Shallow Clone。
Slack 訊息投遞之旅：Gateway Server、Channel Server 與 Vitess 分片 MySQL
依 Slack 工程部落格三篇原文（2017 Flannel、2020 Vitess、2023 Real-time Messaging）整理一則訊息的路徑：Envoy 與 Gateway Server 接住 WebSocket，Admin Server 依雜湊環找到 Channel Server 扇出，訊息資料在遷移 Vitess 時改按頻道分片。
時序資料庫（TSDB）架構演進：LSM-Tree 寫入特化、倒排索引與 Facebook Gorilla 浮點壓縮
拆解千萬級監控指標與 IoT 遙測場景下的時序資料庫（TSDB）架構：傳統 B+ Tree 為何撐不住高頻時序寫入、LSM-Tree / TSM 寫入管線、Tag 倒排索引（Inverted Index）多維檢索、Facebook Gorilla 壓縮演算法（時間戳 Delta-of-Delta 與 Float64 XOR 壓縮），以及 InfluxDB 與 TimescaleDB 的架構選型。