ci(m184): linux-x64 进发布名单，两档 Linux 转 mode=ci，arm64 只构建不发布

发布流水线默认从 2 个槽位变 4 个：`linux-x64`（ubuntu-22.04）与 `linux-arm64` （ubuntu-22.04-arm）的 mode 由 probe 改 ci，tag 推送默认就编。构建 ≠ 发布仍由 `PUBLISH_SLOTS` 决定，本轮只加 `linux-x64`： - `linux-x64` 有运行时证据 —— release 产物在 Linux 真机（Ubuntu 22.04 + WSLg 真窗口）渲出一帧、[theme]/[backend] final 日志齐全、像素判定通过，真窗口 1180x760 从 Windows 侧截屏可见；`release-build.yml` 另加一条**同槽位**的 xvfb 运行时门禁（只在 `inputs.slot == 'linux-x64'` 上跑，不给没验过的 arm64 造红）。 - `linux-arm64` 只有构建证据、运行时零证据，产物照出 artifact 取证但不发布；解锁条件（真机渲出一帧 + 主题日志）写进 release-notes 与 §9。守卫跟着扩（`packaging/check_publish_slots.py`）： - 自测从 8 条扩到 11 条，新增「声明的 linux-x64 构建红了 ⇒ 必须红（挡住发布）」、「linux-arm64 有产物但没声明 ⇒ 只警告」、「提前把 linux-arm64 写进名单 ⇒ 缺产物必红」； - probe 档样例从 linux-x64 换成仍是 probe 的 macos-arm64（否则该用例会从「必须红」变成「本来该绿」）； - 新增「mode=ci 却本次没产物 ⇒ ::warning::」：红一档不能只表现为表里少一行。文档矩阵同步（release-notes §Downloads/§Support matrix、compliance §9/§10、 artifacts §1、build-and-ci §3、README ×2），两份文档都把 Linux 写成「已构建并发布（x64）/ 已构建未发布（arm64）」，并把新发现写实：Linux 上整窗透明与圆角没有代码路径（hwnd=none / corner=policy=system），不是「未验」；Linux 上 `ull update apply` 会拒绝 portable-zip（清单里现在有 linux-x64 产物）。证据账（含实测输出、CI 增量估算、未验清单）：packaging/docs/linux-evidence.md。
2026-11-08 21:35:26 +08:00
1 parent dc3fa2be87
commit 2813e2984c
@@ -17,8 +17,12 @@
 3. **名单里每一项的 `mode` 都必须是 `ci`**：`mode: probe` 的槽位默认构建根本不跑，写进发布名单等于
   每一轮都缺一档 —— 一个自己写死要红的组合。
 4. **产物 ⇄ 名单两个方向**（`--dist`，只在发布侧有产物时跑）：
-   - 名单声明了但没有 GUI 或 CLI 产物 ⇒ `::error::` + exit 1（少一档不发版，这条现在是脚本、本地可跑）；
-   - 有产物但名单没声明 ⇒ `::warning::` 明说「未发布、会被裁掉」，**不许静默**；
+   - 名单声明了但没有 GUI 或 CLI 产物 ⇒ `::error::` + exit 1（少一档不发版）。声明为发布的多半就是 `mode: ci`
+     的槽位，所以这条同时是「**声明为 ci 的槽位构建红了必须挡住发布**」的判据 —— 红在 build 矩阵里的那一档不会
+     让发布跳过（`release` job 是 `always()`），挡住它的就是这里；
+   - 有产物但名单没声明 ⇒ `::warning::` 明说「未发布、会被裁掉」，**不许静默**（M184 起 `linux-arm64` 正好是
+     这一档：它 `mode: ci`、每轮都编，但运行时未验所以不在名单，产物留着取证）；
+   - `mode: ci` 却本次没有产物（且不在名单）⇒ 也打 `::warning::`：那一档的构建很可能红了，不能只表现为「表里少一行」；
   - 无论哪种，最后都打一张全槽位表：发布 / 未发布（无产物）/ 未发布（名单没声明）。

 用法（零第三方依赖，本地与 CI 同一份代码）：
@@ -28,7 +32,8 @@
    python3 packaging/check_publish_slots.py --self-test           # 注入回归，断言每条都变红

 `--self-test` 是这条守门的自测证据：把两个 workflow 复制进临时目录、造合成 dist，逐项注入真实回归
-（漏一个资产 / 名单拼错 / 名单写了 probe 档 / 名单声明了但产物缺 / 名单没声明却有产物），断言守门
+（漏一个资产 / 名单拼错 / 名单写了 probe 档 / 名单声明了但产物缺 / 名单没声明却有产物 /
+`mode: ci` 却没产物 / 声明的 `linux-x64` 构建红了 / 提前把 `linux-arm64` 写进名单），断言守门
 该红的红、该只警告的不红。守门抓不住回归时它自己先红。
 """

@@ -150,7 +155,12 @@ def check_dist(dist: Path, declared: list[str], matrix: dict[str, str]) -> tuple
        if is_declared:
            missing = [role for prefix, role in ASSET_PREFIXES if not found[prefix]]
            for role in missing:
-                errors.append(f"发布白名单缺产物：{slot} 的 {role}（`{prefix_for(role)}_*_{stem(slot)}*`）")
+                suffix = (
+                    "（它是 mode=ci 的槽位：构建红了就必须挡住本次发布，别把缺一档的 Release 发出去）"
+                    if matrix.get(slot) == "ci"
+                    else ""
+                )
+                errors.append(f"发布白名单缺产物：{slot} 的 {role}（`{prefix_for(role)}_*_{stem(slot)}*`）{suffix}")
            verdict = "发布" if not missing else "缺产物 ⇒ 不发版"
            wanted.discard(slot)
        elif present:
@@ -160,6 +170,14 @@ def check_dist(dist: Path, declared: list[str], matrix: dict[str, str]) -> tuple
                "若这是修复后的首次成功构建，把槽位加进名单即可（齐全性检查与 SHA256SUMS 自动跟着扩）"
            )
            verdict = "未发布（名单没声明）"
+        elif matrix.get(slot) == "ci":
+            # 声明为「默认在 CI 里构建」的槽位本次却没产物：那一档的构建红了（或矩阵被改窄了）。它不在名单里
+            # ⇒ **不该**让发布变红（arm64 的策略就是「红了不挡发布」），但也不能静默：否则「又红了」只剩翻 job 列表。
+            warnings.append(
+                f"{slot} 是 mode=ci 的槽位（tag 推送默认就编）却本次没有产物：那一档的构建红了或被裁了，"
+                "本次未发布。它不在 PUBLISH_SLOTS 里，故不影响本次发布"
+            )
+            verdict = "未发布（ci 槽位本次无产物）"
        else:
            verdict = "未发布（本次没有产物）"
        rows.append(f"{slot:<20} {'声明' if is_declared else '未声明':<8} {'、'.join(present) or '无':<15} {verdict}")
@@ -269,11 +287,12 @@ def self_test() -> int:
        set_declared(typo, "windows-aarch64")
        cases.append(("名单拼错成 windows-aarch64", typo, fake_dist(Path(tmp) / "c4d", ("windows-aarch64",)), None, True))

-        # 5. 名单写了 probe 档（默认不构建）⇒ 必须红。
+        # 5. 名单写了 probe 档（默认不构建）⇒ 必须红。**要挑仍是 probe 的槽位**：`linux-x64` 已翻成 `mode: ci`，
+        #    再拿它当样例，这条用例就从「必须红」变成「本来该绿」——自测跟着矩阵走，否则它自己先变成假证据。
        probe = Path(tmp) / "c5"
        snapshot(probe)
-        set_declared(probe, "windows-x64 linux-x64")
-        cases.append(("名单写了 mode=probe 的槽位", probe, fake_dist(Path(tmp) / "c5d", ("windows-x64", "linux-x64")), None, True))
+        set_declared(probe, "windows-x64 macos-arm64")
+        cases.append(("名单写了 mode=probe 的槽位", probe, fake_dist(Path(tmp) / "c5d", ("windows-x64", "macos-arm64")), None, True))

        # 6. 运行期名单与文件里那一行不一致 ⇒ 必须红（防步内覆盖）。
        cases.append(("运行期名单与文件不一致", base, fake_dist(Path(tmp) / "c6", tuple(declared)), ["windows-arm64"], True))
@@ -284,6 +303,20 @@ def self_test() -> int:
        set_declared(flip, " ".join([*declared, "windows-arm64"]))
        cases.append(("名单加上 windows-arm64 且产物齐全（下一 tag 的翻牌预演）", flip, fake_dist(Path(tmp) / "c7d", (*declared, "windows-arm64")), None, False))

+        # 8. （M184 核心）名单里的 `linux-x64` 构建红了（没有它的产物）⇒ **必须挡住发布**：`release` job 是
+        #    `always()`，构建矩阵里红一档不会把发布跳过；挡住它的只能是这条。
+        dist = fake_dist(Path(tmp) / "c8", tuple(s for s in declared if s != "linux-x64") + ("linux-arm64",))
+        cases.append(("名单声明的 linux-x64 构建红了（缺产物）", base, dist, None, True))
+
+        # 9. （M184 真实场景）`linux-arm64` 构建成功但不在名单 ⇒ 只警告、不挡发布（它是 `mode: ci` 的槽位，每轮都编）。
+        cases.append(("linux-arm64 构建成功但不在名单（只警告）", base, fake_dist(Path(tmp) / "c9", (*declared, "linux-arm64")), None, False))
+
+        # 10. 反过来：有人把 `linux-arm64` 提前写进名单、而它没构建出来 ⇒ 必须红（解锁条件还没满足）。
+        early = Path(tmp) / "c10"
+        snapshot(early)
+        set_declared(early, " ".join([*declared, "linux-arm64"]))
+        cases.append(("名单提前声明 linux-arm64 但缺产物", early, fake_dist(Path(tmp) / "c10d", tuple(declared)), None, True))
+
        for label, root, dist, expected, want_red in cases:
            errors, warnings, _rows = run_checks(root, dist, expected)
            got_red = bool(errors)
@@ -295,13 +328,29 @@ def self_test() -> int:
            else:
                print(f"OK: {label} → {'红' if got_red else '绿'}（{len(warnings)} 条未发布提示）")

-        # 第 3 条还要断言**确实打了警告**：不静默才是这条规则的重点。
-        _e, warnings, _r = run_checks(base, fake_dist(Path(tmp) / "c8", (*declared, "windows-arm64")), None)
-        if not any("windows-arm64" in w for w in warnings):
-            print("::error::自测失败：产物在但名单没声明时没有针对 windows-arm64 的 ::warning::", file=sys.stderr)
+        # 第 3 / 9 条还要断言**确实打了警告**：不静默才是这两条规则的重点。
+        for ghost in ("windows-arm64", "linux-arm64"):
+            _e, warnings, _r = run_checks(base, fake_dist(Path(tmp) / f"c-warn-{ghost}", (*declared, ghost)), None)
+            if not any(ghost in w for w in warnings):
+                print(f"::error::自测失败：产物在但名单没声明时没有针对 {ghost} 的 ::warning::", file=sys.stderr)
+                failures += 1
+            else:
+                print(f"OK: 产物在但名单没声明 → 有 {ghost} 的 ::warning::")
+
+        # 第 9 条的另一半：`mode: ci` 的槽位**连产物都没有**（构建红了）时也要有注解，不能只在表里少一行。
+        ci_slots = [slot for slot, mode in matrix_slots((base / MATRIX_YML).read_text(encoding="utf-8")).items() if mode == "ci"]
+        missing_ci = [slot for slot in ci_slots if slot not in declared]
+        if not missing_ci:
+            print("::error::自测失败：没有「mode=ci 但不在名单」的槽位，这条用例失去意义（矩阵是不是被改窄了？）", file=sys.stderr)
            failures += 1
        else:
-            print("OK: 产物在但名单没声明 → 有 windows-arm64 的 ::warning::")
+            _e, warnings, _r = run_checks(base, fake_dist(Path(tmp) / "c-ci-red", tuple(declared)), None)
+            for slot in missing_ci:
+                if not any(slot in w and "ci" in w for w in warnings):
+                    print(f"::error::自测失败：{slot} 是 mode=ci 却没产物时没有 ::warning::（红在哪都不知道）", file=sys.stderr)
+                    failures += 1
+                else:
+                    print(f"OK: {slot} 是 mode=ci 却无产物 → 有 ::warning::")

    if failures:
        return 1