t177 更正：取回 08-02 的原版修法，撤掉我重寫的次級版本

【leo 08-04 質問】「這不是先前改過為什麼又出現？你去查看 wiki，是不是你沒看 wiki 就改？」 ——**是。查證屬實，而且比沒查更糟。** 【事實】08-02 commit `dde7a5b` 已完整修過這個 bug（t170 daemon 側），但它**只在 `fix/cis-round3-landing-favicon` 分支**，`feat/daemon` 不含它。我在 feat/daemon 上看到沒修過的舊 code，就當新 bug 從頭修了一遍。【而且我修得比原版差】 08-02 原版：isSemverLike 辨格式 → compareSemver **逐段整數比較** （能擋 "1.10.0" < "1.9.0" 這個經典坑）＋ minCloudRelease 最低版本常數我今天版：只判「是不是 semver」，是就放行 ⇒ 無法表達「semver 世代的最低相容版本」 ⇒ 本 commit **取回 08-02 原版**（git checkout dde7a5b -- ...），刪掉我另建的重複測試檔 cloudversion_test.go，改用原版在 main_test.go 的 8 則。【測試】兩模組全綠；8 則逐項通過，含「semver 1.10.0 比 1.9.0 新（防字串比較）」 ——那則正是我的版本表達不出來的。【病根】hook 給的是 wiki grep 命中行，而那幾行**不含「已修過」的線索** （關鍵字 compareSemver/isSemverLike 不在搜尋詞裡）。我把「hook 沒提」當成「沒人修過」，且跳過了 `git log --all -S` 這個五秒就能做的機械檢查。 ⇒ 已在頂層 InkStoneCo 補 hook：改檔時一併列出**該檔在所有分支的近期 commit**。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-04 09:51:48 +08:00
parent e516e0dbce
commit 1e139a2e7e
5 changed files with 155 additions and 131 deletions
@@ -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+<commit hash>（舊）
 	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
-}
@@ -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 {
@@ -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)
-		}
-	}
-}
@@ -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 {
@@ -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)
+			}
+		})
+	}
+}