證據索引 · 更新日期 2026-07-14

先有證據，再做承諾

每一筆記錄都把公開主張連到 repository 契約與已記錄的驗證路徑。三個模組的成熟度不同，因此會明確標示證據層級。

證據摘要

1. Repository verification：Activity、Govern 與 Relay 都列出已記錄的 repository verification command 與 expected result。前置條件、repository 或 artifact 未完全公開時，不稱為 independently reproducible。
2. Reference integration verification：Hanken 以 reference host 身分驗證 Govern integration contract，不是 customer 或 design-partner evidence。
3. Customer pilot evidence：尚未公開。正式運行是受控 pilot 的交付目標，不是既有 deployment record。
4. Production-scale operational evidence：尚未公開。目前不主張已有公開的規模、可用性、延遲或恢復記錄。

Activity · Repository 驗證

主張：已簽章的產品事件會透過可安全重試的 fan-out，收斂成有序且可重建的時間軸。

• 公開契約：Activity HTTP 操作索引
• 已驗證 source 版本：103dec9
• 執行：formal/feed-core/bin/verify，接著執行 cd server && mix test
• 預期結果：形式模型沒有不變式違規，server 測試以零失敗結束

這能驗證 repository 底層能力，但不能證明已有下游正式採用、託管可用性或生產環境恢復目標。

Govern · 參考整合驗證

主張：Host event 可以經過最新事實重新驗證，轉成有界提案，由 host 審查並執行，再透過生命週期證據完成 reconciliation。

• 公開契約：Govern 提案生命週期
• 已驗證 source 版本：e267d2a
• 執行：mix tonetify.hanken.golden_smoke，執行輸出的 Hanken 指令，最後執行 mix tonetify.hanken.verify_golden_smoke --proposal-id <proposal_id>
• 預期結果：Tonetify 記錄提案傳遞與生命週期 reconciliation，Hanken 記錄由營運者控制的執行與 outcome metrics

Hanken 是 reference host，不是 customer 或 design-partner evidence。這項驗證不是通用權限服務，也不能證明已有 customer deployment 或 live permit-backed host mutation。

Relay · Repository 驗證

主張：REST 與 WebSocket send 共用同一條寫入路徑，channel 排序由資料庫 seq 決定，而相同 channel 與 nonce 的重試會回傳同一則訊息。

• 公開契約：Relay 核心概念
• 已驗證 source 版本：46abc3b
• 公開 package：@tonetify/relay@0.1.0-beta.1
• 執行：cd server && mix test，接著執行 cd ../sdk && npm test -- --run && npm run typecheck && npm run build && npm pack --dry-run
• 預期結果：兩套測試都以零失敗結束，SDK 產生通過檢查的 package 成品

這能驗證 repository 核心與 package 成品。公開測試版 artifact 能獨立從 npm 讀回，但除非所有 repository 與前置條件都已公開，完整路徑只稱為 recorded repository verification command and expected result。這不代表已建立跨版本 server compatibility、受支援的部署映像檔、服務目標或託管可用性。

證據政策

規模、可用性、延遲與恢復能力必須有可重複的 benchmark 或營運記錄，才能出現在產品介面。每筆證據都必須列出不變式、指令、預期結果、版本、驗證日期，以及尚未證明的部分。