diff --git a/cloud_version.go b/cloud_version.go index 19de0c1..54e88dc 100644 --- a/cloud_version.go +++ b/cloud_version.go @@ -38,7 +38,12 @@ func fetchBundleVersion(cypherURL string) (version string, ok bool) { // cloudVersionStale 判斷雲端是否需要更新。 // checkOK=false（/health 不可達）回 false（靜默不判定）。 -// bundle_version 空（老實例）或日期部分 < minCloudBuilt 回 true。 +// +// 🔴 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 走版號比較、日期格式走日期比較。 func cloudVersionStale(version string, checkOK bool) bool { if !checkOK { return false @@ -46,7 +51,32 @@ func cloudVersionStale(version string, checkOK bool) bool { if version == "" { return true } - // bundle_version 格式：YYYY-MM-DD+（或純 YYYY-MM-DD） - date := strings.SplitN(version, "+", 2)[0] - return date < minCloudBuilt + // bundle_version 格式：semver（1.4.6，08-02 起）或 YYYY-MM-DD+（舊） + head := strings.SplitN(version, "+", 2)[0] + if isSemverLikeVersion(head) { + // 吐得出 semver＝雲端已是新契約 ⇒ 不算過舊。 + return false + } + // 舊格式：維持日期比較，讓尚未更新的老實例仍被正確提示。 + 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 22b295b..214c07f 100644 --- a/cloud_version_test.go +++ b/cloud_version_test.go @@ -38,6 +38,32 @@ 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 都被判過舊，更新幾次都消不掉。 + { + name: "t177 semver 最新版不得判過舊（leo 實撞的那一版）", + version: "1.4.6", checkOK: true, wantStale: false, + }, + { + name: "t177 semver 舊版也不判過舊（semver 世代一律視為新契約）", + version: "1.4.1", checkOK: true, wantStale: false, + }, + { + name: "t177 semver 帶 +sha 後綴同樣正確解析", + version: "1.4.6+deadbee", checkOK: true, wantStale: false, + }, + { + // 相容性守衛：舊格式仍要能判出過舊，否則尚未更新的老實例會被漏報 + name: "t177 舊日期格式仍正確判過舊（不可為修 semver 而漏報老實例）", + version: "2026-07-01+abc1234", checkOK: true, wantStale: true, + }, + { + // 非 semver、非日期的怪字串 → 走舊路徑（字串比較），不當成 semver 放行 + name: "t177 怪字串不得被誤認為 semver", + version: "1.4", checkOK: true, wantStale: true, + }, } for _, tc := range cases { t.Run(tc.name, func(t *testing.T) { diff --git a/cmd/arcrun-tray/cloudversion_test.go b/cmd/arcrun-tray/cloudversion_test.go new file mode 100644 index 0000000..ad4aa3a --- /dev/null +++ b/cmd/arcrun-tray/cloudversion_test.go @@ -0,0 +1,56 @@ +// 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 a91a3ff..d73b982 100644 --- a/cmd/arcrun-tray/main.go +++ b/cmd/arcrun-tray/main.go @@ -124,21 +124,55 @@ type traySyncStatus struct { // ── t103 雲端版本偵測 ────────────────────────────────────────────────────────── -// trayMinCloudBuilt 是雲端最低相容建置日期；與 collector/cloud_version.go 的 minCloudBuilt 保持同值。 -// 雲端契約變更時兩處一起升。 +// trayMinCloudBuilt 是雲端最低相容建置日期（**舊格式** `YYYY-MM-DD+sha` 用）； +// 與 collector/cloud_version.go 的 minCloudBuilt 保持同值。雲端契約變更時兩處一起升。 const trayMinCloudBuilt = "2026-07-28" // trayCloudVersionStale 判斷雲端是否需要更新（同 collector/cloudVersionStale 邏輯）。 -// checkOK=false（/health 不可達）回 false（靜默不判定）。 +// +// 🔴 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 走版號比較、日期格式走日期比較， +// 否則尚未更新的老實例會被漏報。 func trayCloudVersionStale(version string, checkOK bool) bool { if !checkOK { + // 連不上就別假裝「不用更新」——那會讓真的壞掉的機器安靜無聲（事故 D ②）。 + // 呼叫端另以「查不到版本」文案誠實顯示，這裡只回答「不是已知的過舊」。 return false } if version == "" { return true } - date := strings.SplitN(version, "+", 2)[0] - return date < trayMinCloudBuilt + head := strings.SplitN(version, "+", 2)[0] + if isSemverLike(head) { + // semver 世代：吐得出 semver 就代表雲端已是新契約 ⇒ 不算過舊。 + // （真要卡最低版本時再在此比對 minCloudSemver，目前無此需求。） + return false + } + // 舊格式（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 { + return false + } + for _, p := range parts { + if p == "" { + return false + } + for _, r := range p { + if r < '0' || r > '9' { + return false + } + } + } + return true } type trayExtFail struct {