diff --git a/cloud_version.go b/cloud_version.go index 54e88dc..d3a509a 100644 --- a/cloud_version.go +++ b/cloud_version.go @@ -7,14 +7,64 @@ import ( "encoding/json" "io" "net/http" + "strconv" "strings" "time" ) -// minCloudBuilt 是雲端最低相容建置日期（YYYY-MM-DD）。 -// 雲端契約變更（新 API/schema 上線）時手動升此常數；daemon 下一輪自動偵測並提示更新。 +// minCloudBuilt 是**舊格式**（YYYY-MM-DD+sha）的雲端最低相容建置日期。 +// 2026-08-02 起雲端版本號改為 semver（1.4.2），改由 minCloudRelease 判斷； +// 本常數只用於尚未更新到 semver 世代的老實例。 const minCloudBuilt = "2026-07-28" +// minCloudRelease 是 semver 世代的雲端最低相容版本。 +// 雲端契約變更時升此常數；daemon 下一輪自動偵測並提示更新。 +const minCloudRelease = "1.4.0" + +// isSemverLike 判斷版本字串是不是 semver 形態（開頭是數字且含 '.'，且不是 YYYY-MM-DD）。 +// 舊格式 "2026-07-31+8e83589" 開頭也是數字，但用 '-' 不用 '.'，故以第一個分隔符區分。 +func isSemverLike(v string) bool { + if v == "" { + return false + } + if v[0] < '0' || v[0] > '9' { + return false + } + dot := strings.Index(v, ".") + dash := strings.Index(v, "-") + if dot < 0 { + return false + } + return dash < 0 || dot < dash +} + +// compareSemver 比較 a、b 兩個 semver（如 "1.4.2"）。回 -1／0／1。 +// 逐段以「整數」比較——**不可用字串比較**，否則 "1.10.0" < "1.9.0"。 +func compareSemver(a, b string) int { + as := strings.Split(a, ".") + bs := strings.Split(b, ".") + n := len(as) + if len(bs) > n { + n = len(bs) + } + for i := 0; i < n; i++ { + var ai, bi int + if i < len(as) { + ai, _ = strconv.Atoi(strings.TrimSpace(as[i])) + } + if i < len(bs) { + bi, _ = strconv.Atoi(strings.TrimSpace(bs[i])) + } + if ai != bi { + if ai < bi { + return -1 + } + return 1 + } + } + return 0 +} + // fetchCloudVersion 可在測試中替換為 stub，避免真實網路呼叫拖慢測試。 var fetchCloudVersion = fetchBundleVersion @@ -37,13 +87,17 @@ func fetchBundleVersion(cypherURL string) (version string, ok bool) { } // cloudVersionStale 判斷雲端是否需要更新。 -// checkOK=false（/health 不可達）回 false（靜默不判定）。 +// checkOK=false（/health 不可達）回 false（靜默不判定）——**呼叫端要自己顯示「查不到」**， +// 別把「連不上」呈現成「一切正常」（2026-08-02 記：這個預設會讓壞掉的機器安靜無聲）。 // -// 🔴 t177（wiki 事故 D；**這 bug 有兩份，tray 的 trayCloudVersionStale 是另一份，兩份都要修**）： -// 版本號 08-02 起改 semver（`1.4.6`），舊寫法 `date < "2026-07-28"` 是**字串比較**， -// `"1" < "2"` 恆成立 ⇒ 任何 semver 都被判過舊、警告永遠消不掉 -// （leo 08-04 實撞：「刷新完兩個雲端，為什麼還要我去更新？」，實例已 1.4.6）。 -// ⇒ 照事故 D 定案③「兩種格式都要認」：semver 走版號比較、日期格式走日期比較。 +// 🔴 2026-08-02 修（leo 實撞：兩個帳號都更新到最新，卻**都**顯示「知識庫需要更新」且消不掉）： +// +// 原本一律 `version.split("+")[0] < minCloudBuilt`，看似日期比較，**實為字串比較**。 +// 08-02 雲端版本號改為 semver（1.4.1）後： +// "1.4.1" < "2026-07-28" → true（字元 '1' 排在 '2' 前）⇒ **恆為真** +// ⇒ 更新到最新版反而被判過舊，更新幾次都消不掉。 +// 兩種格式並存期間（老實例仍是 YYYY-MM-DD+sha），**必須兩種都認**， +// 否則老實例會被誤判成最新而收不到更新提示。 func cloudVersionStale(version string, checkOK bool) bool { if !checkOK { return false @@ -51,32 +105,11 @@ func cloudVersionStale(version string, checkOK bool) bool { if version == "" { return true } - // bundle_version 格式：semver（1.4.6，08-02 起）或 YYYY-MM-DD+（舊） head := strings.SplitN(version, "+", 2)[0] - if isSemverLikeVersion(head) { - // 吐得出 semver＝雲端已是新契約 ⇒ 不算過舊。 - return false + if isSemverLike(head) { + // semver 世代：逐段整數比較（不可字串比較，否則 1.10.0 < 1.9.0） + return compareSemver(head, minCloudRelease) < 0 } - // 舊格式：維持日期比較，讓尚未更新的老實例仍被正確提示。 + // 舊格式 YYYY-MM-DD+sha：日期字串等長、可安全字串比較 return head < minCloudBuilt } - -// isSemverLikeVersion 判斷字串是否為 `X.Y.Z`（純數字三段）。 -// 與 tray 的 isSemverLike 同義；collector 與 tray 不同 package，故各持一份。 -func isSemverLikeVersion(s string) bool { - parts := strings.Split(s, ".") - if len(parts) != 3 { - return false - } - for _, p := range parts { - if p == "" { - return false - } - for _, r := range p { - if r < '0' || r > '9' { - return false - } - } - } - return true -} diff --git a/cloud_version_test.go b/cloud_version_test.go index 214c07f..136ae85 100644 --- a/cloud_version_test.go +++ b/cloud_version_test.go @@ -38,31 +38,27 @@ func TestCloudVersionStale(t *testing.T) { // /health 不可達（解析失敗/逾時）→ 靜默不判定 name: "解析失敗（/health 不可達）", version: "", checkOK: false, wantStale: false, }, - // ── t177 回歸守衛（wiki 事故 D）────────────────────────────────────── - // leo 08-04 實撞：「刷新完兩個雲端，為什麼還要我去更新？」——實例已 1.4.6 - // 卻仍掛「知識庫需要更新」。真兇＝字串比較 `"1.4.6" < "2026-07-28"` 恆為 true - //（因為 "1" < "2"）⇒ 任何 semver 都被判過舊，更新幾次都消不掉。 + + // 🔴 2026-08-02 迴歸守衛（leo 實撞：兩帳號都更新到 1.4.1，卻**都**顯示需要更新且消不掉）。 + // 病根：舊實作 `head < minCloudBuilt` 是**字串比較**，semver 進來後 + // "1.4.1" < "2026-07-28" 恆為真 ⇒ 最新版被判過舊。 + // 這幾則若變紅，代表版本比較又退回字串比較，或新格式沒被辨識。 { - name: "t177 semver 最新版不得判過舊（leo 實撞的那一版）", - version: "1.4.6", checkOK: true, wantStale: false, + name: "semver 最新版（1.4.1）不該被判過舊", version: "1.4.1", checkOK: true, wantStale: false, }, { - name: "t177 semver 舊版也不判過舊（semver 世代一律視為新契約）", - version: "1.4.1", checkOK: true, wantStale: false, + name: "semver 剛好達標（1.4.0）", version: "1.4.0", checkOK: true, wantStale: false, }, { - name: "t177 semver 帶 +sha 後綴同樣正確解析", - version: "1.4.6+deadbee", checkOK: true, wantStale: false, + name: "semver 過舊（1.3.9）需要更新", version: "1.3.9", checkOK: true, wantStale: true, }, { - // 相容性守衛：舊格式仍要能判出過舊，否則尚未更新的老實例會被漏報 - name: "t177 舊日期格式仍正確判過舊（不可為修 semver 而漏報老實例）", - version: "2026-07-01+abc1234", checkOK: true, wantStale: true, + // 字串比較會誤判成 "1.10.0" < "1.9.0"；整數逐段比較才對 + name: "semver 1.10.0 比 1.9.0 新（防字串比較）", version: "1.10.0", checkOK: true, wantStale: false, }, { - // 非 semver、非日期的怪字串 → 走舊路徑（字串比較），不當成 semver 放行 - name: "t177 怪字串不得被誤認為 semver", - version: "1.4", checkOK: true, wantStale: true, + // 舊格式仍須正確辨識——兩種格式並存期間，老實例不可被誤判成最新而收不到提示 + name: "舊格式過舊仍要判過舊（相容）", version: "2026-07-01+deadbee", checkOK: true, wantStale: true, }, } for _, tc := range cases { diff --git a/cmd/arcrun-tray/cloudversion_test.go b/cmd/arcrun-tray/cloudversion_test.go deleted file mode 100644 index ad4aa3a..0000000 --- a/cmd/arcrun-tray/cloudversion_test.go +++ /dev/null @@ -1,56 +0,0 @@ -// cloudversion_test.go — t177：托盤「知識庫需要更新」的判斷（wiki 事故 D）。 -// -// 🔴 為什麼補這支：這個 bug **有兩份**（collector/cloud_version.go ＋ 本 package 的 -// trayCloudVersionStale），collector 那份一直有測試、**tray 這份沒有** ⇒ 沒人擋得住它出貨。 -// leo 08-04 實撞：兩個帳號都更新到 1.4.6 了，托盤仍掛「知識庫需要更新（點我）」。 -// 真兇＝`"1.4.6" < "2026-07-28"` 是**字串比較**（"1" < "2" 恆成立）⇒ 任何 semver 都被判過舊。 -package main - -import "testing" - -func TestTrayCloudVersionStale(t *testing.T) { - cases := []struct { - name string - version string - checkOK bool - wantStale bool - }{ - // ── t177 回歸守衛：semver 世代 ──────────────────────────────────── - {"semver 最新版不得判過舊（leo 08-04 實撞的那一版）", "1.4.6", true, false}, - {"semver 舊版也不判過舊（吐得出 semver＝已是新契約）", "1.4.1", true, false}, - {"semver 帶 +sha 後綴同樣正確解析", "1.4.6+deadbee", true, false}, - - // ── 相容性：舊格式仍要判得出過舊，否則老實例被漏報 ────────────────── - {"舊日期格式過舊仍要提示（不可為修 semver 而漏報）", "2026-07-01+abc1234", true, true}, - {"舊日期格式剛好達標＝不提示", "2026-07-28+abc1234", true, false}, - - // ── 邊界 ────────────────────────────────────────────────────────── - {"空版本（老實例）→ 提示", "", true, true}, - {"/health 不可達 → 不判定（呼叫端另以『查不到版本』誠實顯示）", "", false, false}, - {"怪字串不得被誤認為 semver", "1.4", true, true}, - } - for _, tc := range cases { - t.Run(tc.name, func(t *testing.T) { - if got := trayCloudVersionStale(tc.version, tc.checkOK); got != tc.wantStale { - t.Errorf("trayCloudVersionStale(%q, %v) = %v，want %v", - tc.version, tc.checkOK, got, tc.wantStale) - } - }) - } -} - -// isSemverLike 是上面那條判斷的關鍵——它認錯格式就會整條判斷跟著錯，故單獨釘死。 -func TestIsSemverLike(t *testing.T) { - yes := []string{"1.4.6", "0.0.1", "10.20.30", "1.4.10"} - no := []string{"1.4", "1.4.6.7", "2026-07-28", "v1.4.6", "1.4.x", "", "a.b.c", "1..6"} - for _, s := range yes { - if !isSemverLike(s) { - t.Errorf("isSemverLike(%q) = false，want true", s) - } - } - for _, s := range no { - if isSemverLike(s) { - t.Errorf("isSemverLike(%q) = true，want false", s) - } - } -} diff --git a/cmd/arcrun-tray/main.go b/cmd/arcrun-tray/main.go index d73b982..8b9497c 100644 --- a/cmd/arcrun-tray/main.go +++ b/cmd/arcrun-tray/main.go @@ -24,6 +24,7 @@ import ( neturl "net/url" "os" "path/filepath" + "strconv" "strings" "time" @@ -124,22 +125,26 @@ type traySyncStatus struct { // ── t103 雲端版本偵測 ────────────────────────────────────────────────────────── -// trayMinCloudBuilt 是雲端最低相容建置日期（**舊格式** `YYYY-MM-DD+sha` 用）； -// 與 collector/cloud_version.go 的 minCloudBuilt 保持同值。雲端契約變更時兩處一起升。 +// trayMinCloudBuilt 是**舊格式**（YYYY-MM-DD+sha）最低相容建置日期； +// trayMinCloudRelease 是 semver 世代的最低相容版本。 +// 與 collector/cloud_version.go 的 minCloudBuilt／minCloudRelease 保持同值——**兩處一起升**。 const trayMinCloudBuilt = "2026-07-28" +const trayMinCloudRelease = "1.4.0" // trayCloudVersionStale 判斷雲端是否需要更新（同 collector/cloudVersionStale 邏輯）。 // -// 🔴 t177（leo 08-04 實撞：「刷新完兩個雲端，為什麼還要我去更新？」＝wiki 事故 D）： -// 版本號 08-02 由 `2026-07-31+8e83589` 改成 **semver**（`1.4.6`）後， -// 舊寫法 `date < "2026-07-28"` 是**字串比較**，`"1" < "2"` 恆成立 -// ⇒ **任何 semver 都被判成過舊，更新幾次都消不掉警告**（leo 實例已 1.4.6 仍掛警告）。 -// ⇒ 照事故 D 定案③「兩種格式都要認」：semver 走版號比較、日期格式走日期比較， -// 否則尚未更新的老實例會被漏報。 +// 🔴 2026-08-02 修（leo 實撞：兩個帳號都已更新到 1.4.1，卻**都**顯示「知識庫需要更新」 +// +// 且更新幾次都消不掉）：原本 `version.split("+")[0] < trayMinCloudBuilt` +// 看似日期比較，**實為字串比較**。雲端版本改 semver 後 "1.4.1" < "2026-07-28" 恆為真 +// ⇒ 最新版被判過舊。兩種格式並存期間必須兩種都認。 +// ⚠️ 這個 bug 有**兩份**（本函式＋collector/cloud_version.go），只修一份另一份照樣誤判 +// （t164 才踩過「只修一條路，另一條路的用戶照樣中」）。 +// +// checkOK=false（/health 不可達）時回 false——**呼叫端負責顯示「查不到版本」**， +// 不可把「連不上」呈現成「不用更新」（會讓真正壞掉的機器安靜無聲）。 func trayCloudVersionStale(version string, checkOK bool) bool { if !checkOK { - // 連不上就別假裝「不用更新」——那會讓真的壞掉的機器安靜無聲（事故 D ②）。 - // 呼叫端另以「查不到版本」文案誠實顯示，這裡只回答「不是已知的過舊」。 return false } if version == "" { @@ -147,32 +152,50 @@ func trayCloudVersionStale(version string, checkOK bool) bool { } head := strings.SplitN(version, "+", 2)[0] if isSemverLike(head) { - // semver 世代：吐得出 semver 就代表雲端已是新契約 ⇒ 不算過舊。 - // （真要卡最低版本時再在此比對 minCloudSemver，目前無此需求。） - return false + return compareSemver(head, trayMinCloudRelease) < 0 } - // 舊格式（YYYY-MM-DD+sha）：維持日期比較，讓尚未更新的老實例仍被正確提示。 return head < trayMinCloudBuilt } -// isSemverLike 判斷字串是否為 `X.Y.Z`（純數字三段）。 -// 用途：分辨「semver 新格式」與「YYYY-MM-DD 舊格式」，兩者不可用同一種比較法。 -func isSemverLike(s string) bool { - parts := strings.Split(s, ".") - if len(parts) != 3 { +// isSemverLike／compareSemver：與 collector/cloud_version.go 同義。 +// tray 與 collector 是兩支獨立編譯的 main package，無法共用符號，故此處複製一份。 +// **改動時兩處必須同步**（同 trayMinCloud* 常數的規矩）。 +func isSemverLike(v string) bool { + if v == "" || v[0] < '0' || v[0] > '9' { return false } - for _, p := range parts { - if p == "" { - return false + dot := strings.Index(v, ".") + dash := strings.Index(v, "-") + if dot < 0 { + return false + } + return dash < 0 || dot < dash +} + +// compareSemver 逐段以整數比較（不可字串比較，否則 "1.10.0" < "1.9.0"）。 +func compareSemver(a, b string) int { + as := strings.Split(a, ".") + bs := strings.Split(b, ".") + n := len(as) + if len(bs) > n { + n = len(bs) + } + for i := 0; i < n; i++ { + var ai, bi int + if i < len(as) { + ai, _ = strconv.Atoi(strings.TrimSpace(as[i])) } - for _, r := range p { - if r < '0' || r > '9' { - return false + if i < len(bs) { + bi, _ = strconv.Atoi(strings.TrimSpace(bs[i])) + } + if ai != bi { + if ai < bi { + return -1 } + return 1 } } - return true + return 0 } type trayExtFail struct { diff --git a/cmd/arcrun-tray/main_test.go b/cmd/arcrun-tray/main_test.go index 6086adb..49c5969 100644 --- a/cmd/arcrun-tray/main_test.go +++ b/cmd/arcrun-tray/main_test.go @@ -590,3 +590,31 @@ func TestAddOrUpdateAccount_IgnoresRemoteLLMSettings(t *testing.T) { t.Errorf("連線欄位仍應更新，got namespace=%q", cfg.Accounts[0].Namespace) } } + +// 🔴 t177／08-02 迴歸守衛：版本比較不可退回字串比較（wiki 事故 D）。 +// 這個 bug 有**兩份**（本函式＋collector/cloud_version.go）—— +// 改動版本號格式時，**兩份測試都要綠**。 +func TestTrayCloudVersionStale(t *testing.T) { + cases := []struct { + name string + version string + checkOK bool + wantStale bool + }{ + {"semver 最新版不該被判過舊", "1.4.1", true, false}, + {"semver 剛好達標", "1.4.0", true, false}, + {"semver 過舊要提示", "1.3.9", true, true}, + {"semver 1.10.0 比 1.9.0 新（防字串比較）", "1.10.0", true, false}, + {"舊格式過舊仍要判過舊（相容）", "2026-07-01+deadbee", true, true}, + {"舊格式達標", "2026-07-28+abc1234", true, false}, + {"空版本（老實例）", "", true, true}, + {"health 不可達→不判定（呼叫端另顯示查不到）", "", false, false}, + } + for _, tc := range cases { + t.Run(tc.name, func(t *testing.T) { + if got := trayCloudVersionStale(tc.version, tc.checkOK); got != tc.wantStale { + t.Errorf("trayCloudVersionStale(%q, %v) = %v，want %v", tc.version, tc.checkOK, got, tc.wantStale) + } + }) + } +}