flower-trellis 0.6.10-beta.6 → 0.6.10-beta.7

package/README.md

@@ -117,7 +117,7 @@ flower-trellis -v
 | `--variant <old\|0.5\|0.6>` | 强制指定强化包变体(默认按 `.trellis/.version` 自动选) |
 | `--target <dir>` | 目标目录(默认当前目录) |
 | `--no-update-check` | 本次跳过 flower-trellis 新版本检测(等价环境变量 `FLOWER_NO_UPDATE_CHECK=1`) |
-| `--backup-retention <n>` | `update` 成功后保留最近 n 份 `.trellis/.backup-<timestamp>` 快照(默认 3，`0` 表示本次不清理) |
+| `--backup-retention <n>` | `update` 成功后保留最近 n 份 `.trellis/.backup-<timestamp>` 快照(默认 1，`0` 表示本次不清理) |
 
 未指定平台时,交互模式会弹出多选菜单(默认勾选 Claude Code + Codex);也可直接传 `--claude` / `--codex` / `--cursor` / `--devin` / `--zcode` / `--trae` / `--omp` / `--grok` / `--kimi` / `--snow` 等指定,或用 `-y` 跳过菜单。`--windsurf` 仍作为 Devin 的旧别名透传给 Trellis。其余未识别的 flag(如 `-u`、`-f`、`--template`、`--with-statusline`)一律透传给 Trellis。
 
@@ -145,20 +145,21 @@ flower-trellis enable --target .
 
 项目处于 disabled 时，`flower-trellis update`、`self-update` 的项目更新链，以及 `plugin add/update/remove/replay` 会临时恢复必要入口，完成写操作后再次 detach，并校验最终仍为 disabled；外部 Plugin 内容不会被当作 Trellis 入口删除。直接运行上游 `trellis update` 不经过这一控制面，可能重新生成入口，此时 `flower-trellis status` 会报告 `drifted`。`disable` 也不等同于 `uninstall`：历史数据和恢复能力会继续保留。
 
-## Astra 工作流提示
+## Astra 与 Sol 工作流提示
 
-Codex 的 SessionStart 在 `startup`、`clear`、`compact` 时，只有事件输入的当前模型精确为 `gpt-6-astra`，才会在 state 分段追加一份英文工作流提示。其他模型（包括 5.5）、缺失模型和未知别名不会追加；普通用户轮次不重复注入。
+Codex 的 SessionStart 在 `startup`、`clear`、`compact` 时，事件输入的当前模型精确为 `gpt-6-astra` 或 `gpt-6-sol`，才会在 state 分段追加对应模型的一份英文工作流提示。两者使用相同的工作流正文和各自的模型标识；其他模型（包括 5.5）、缺失模型和未知别名不会追加；普通用户轮次不重复注入。
 
 提示用于辅助遵循技能、工作流、模板和证据陈述，效果仍需行为对照验证。它不能删除宿主或历史指令，也不保证覆盖更高优先级要求。会话中切换模型后，要等下次 SessionStart 才重新判断是否追加。
 
-默认开启。要独立关闭，在项目 `.trellis/config.yaml` 已有的 `codex` 配置下合并这一项，保留原有字段：
+两个模型默认分别开启。要单独关闭某个模型的提示，在项目 `.trellis/config.yaml` 已有的 `codex` 配置下合并对应字段，保留原有字段：
 
 ```yaml
 codex:
   astra_workflow_hint: false
+  sol_workflow_hint: false
 ```
 
-设置 `true` 或删除该字段恢复默认。开关只影响后续新增提示；做无历史干扰的对照时应使用新会话。原工作流上下文继续注入，Trellis 全局禁用、resume 和非交互跳过规则保持原有行为。`no-trellis` 仍只跳过本轮 UserPromptSubmit。
+任一字段设置 `true` 或删除可恢复该模型的默认值。开关只影响后续新增提示；做无历史干扰的对照时应使用新会话。原工作流上下文继续注入，Trellis 全局禁用、resume 和非交互跳过规则保持原有行为。`no-trellis` 仍只跳过本轮 UserPromptSubmit。
 
 ## Flower Plugin
 
@@ -227,11 +228,12 @@ flower-trellis plugin add flower/flower-plugin-author --platform codex --json
 ### 升级备份保留
 
 上游 `trellis update` 会在写入前创建 `.trellis/.backup-<timestamp>/` 完整快照。
-`flower-trellis update` 在 Trellis 更新、强化包叠加和本地配置恢复流程完成后，默认只保留最近 3 份：
+`flower-trellis update` 在 Trellis 更新、强化包叠加和本地配置恢复流程完成后，默认只保留最近 1 份：
 
 - 只有名称严格符合时间戳格式的直接子目录会参与清理；`.trellis/.backup-flower/`、普通文件、
   软链接和相似名称目录不会被删除。
 - 更新失败时不清理，并保留本轮上游已经创建的备份。
+- 本轮新建的备份始终受保护；若一次更新新建多份，可能临时超过默认保留数量。
 - `--dry-run` 只展示预计保留和删除的备份，不修改文件系统。
 - `--backup-retention 0` 可关闭本次自动清理；该设置只影响当前命令，不写入项目配置。
 - `self-update` 可通过 `--` 传入覆盖值，例如

package/enhancements/0.6/.agents/skills/trellis-push/SKILL.md

@@ -88,16 +88,29 @@ git ls-files -u
 git rev-parse --verify MERGE_HEAD 2>/dev/null || true
 git log --oneline -5
 git log @{u}..HEAD --oneline 2>/dev/null || true
+git rev-list --reverse @{u}..HEAD 2>/dev/null || true
 ```
 
 停止条件：
 
 - detached HEAD、分支不可读、未解决冲突、rebase、cherry-pick、revert 或其它非 merge 的未完成 Git 集成状态。
 - `MERGE_HEAD` 存在时仅普通模式可继续，并且必须固定当前 `HEAD` / `MERGE_HEAD`、确认 `git ls-files -u` 为空、全部 staged paths 都属于 planned 且没有 retained staged；否则停止。用户/auto-loop `commit-only` 不适用。
-- 普通推送会携带无法归属本次任务的历史 ahead commits。
+- 普通推送会携带既无法归属本次任务、也未通过下述自动 GC 审计的历史 ahead commits。
 - 无法确定 planned file 是否属于当前请求或活动任务。
 - 内部 `commit-only` 发现 staged 区非空。
 
+### 历史自动 GC 提交
+
+仅普通推送及其任务记录发布恢复使用这一默认许可。对 `@{u}..HEAD` 的每个完整提交哈希逐个判断：已由当前任务证据归属的提交沿用原规则；候选自动 GC 提交调用当前平台 `trellis-push` skill 目录中的只读脚本：
+
+```bash
+python3 <skill-dir>/scripts/verify_gc_commit.py --repo <repository-root> --commit <full-sha>
+```
+
+`<skill-dir>` 是当前实际加载的 `.agents/skills/trellis-push` 或 `.claude/skills/trellis-push`，不能从另一平台借用脚本。只有退出码为 0、JSON `status=verified` 且返回的完整 `commit` 与请求哈希一致，才把该提交标为“已验证自动 GC”。脚本逐项验证单父和完整固定消息、无重命名推断的 Git 树、顶层 closed 任务与 UTC 月份归档文件的同 blob/模式映射；支持同批多任务和已有相同归档的去重。它不读取或修改工作区，不凭提交消息单独放行。脚本缺失、执行失败、JSON 损坏、内容改写或任一证据不符都保持未知 ahead 并停止普通推送。
+
+记录已验证 GC 的完整哈希及仓库，作为计划和执行前复核基线。它是用户对纯自动 GC 的默认许可，不属于业务 `planned` 或任务记录 exact files，不增加专项确认，也不自行触发 GC 或单独 push。正常业务提交仍须展示并确认一次 Push 计划；用户 `commit-only` 和 auto-loop 内部 `commit-only` 不因本规则扩大授权。
+
 业务 Git 文件分为两组；普通模式的当前任务记录 exact files 按下方独立提交规则处理：
 
 - `planned`：本轮明确归属且准备提交的 exact files。
@@ -142,7 +155,7 @@ auto-loop 内部 `commit-only` 不渲染交互式计划或结果，也不再次
 
 ## Step 4：精确提交与推送
 
-每个仓库按计划顺序执行。执行前重新检查 planned files、当前分支、HEAD、upstream、冲突状态、staged、全部 dirty paths 和 retained 摘要；任一关键条件变化都停止当前执行并重新规划。普通模式仅 `retained` 内容变化时可更新说明；auto-loop 内部模式的 retained 内容必须保持不变。
+每个仓库按计划顺序执行。执行前重新检查 planned files、当前分支、HEAD、upstream、冲突状态、staged、全部 dirty paths 和 retained 摘要；普通推送还须逐个重验计划中已验证 GC 的完整哈希与当前 `@{u}..HEAD`。任一关键条件变化都停止当前执行并重新规划。普通模式仅 `retained` 内容变化时可更新说明；auto-loop 内部模式的 retained 内容必须保持不变。
 
 计划包含本地生成命令时，前置仓成功后按计划执行命令，再复用本节现有预检。命令成功、后续仓全部 dirty paths（auto-loop 内部 `commit-only` 扣除已登记且验证未变化的 retained paths）都在预计 exact files 内且 retained 摘要未漂移时直接继续；否则停止并重新生成计划。预计文件最终 clean 时不强行提交。
 
@@ -220,7 +233,7 @@ auto-loop 内部链失败时向调用方返回全部已完成仓库提交和失
 
 - 当前任务 exact files 与首次确认的路径集合一致，没有新增当前任务路径或无法归属的 dirty 内容。
 - 父仓分支、upstream 和冲突状态安全。
-- 推送不会携带无法归属的历史 ahead commits。
+- 对当前 `@{u}..HEAD` 重做 Step 2 归属检查；已验证的自动 GC 可随任务记录推送，其它无法归属的历史 ahead commits 仍停止。
 
 全部业务 commit/push 成功时，通过 helper 用同一份最终 progress 原子写入 `progress`、`status=completed`、`completedAt` 与确定性 `closeout`：
 
@@ -251,7 +264,7 @@ git push origin <current-branch>
 - 任务记录 commit 成功但 push 失败：任务目录应为 clean，并保留可归属的 ahead commit；后续只重试该 commit 的 push，不重复业务提交、helper 写入或任务记录 commit。
 - 任务记录 push 成功：本任务产生的当前任务目录变更必须 clean；不得再次写入完成态或 Close。
 
-任何恢复都必须验证当前分支、upstream、HEAD、`@{u}..HEAD`、任务记录 commit message 与 exact file set，以及 `task.json` 的最终完成态。无法证明归属时停止，不把未知 ahead 或 dirty 当作可恢复任务记录。
+任何恢复都必须验证当前分支、upstream、HEAD、`@{u}..HEAD`、任务记录 commit message 与 exact file set，以及 `task.json` 的最终完成态。已验证自动 GC 可按 Step 2 默认许可归属；其它未知 ahead 或 dirty 不能当作可恢复任务记录。
 
 ## Step 6：结果
 

package/enhancements/0.6/.agents/skills/trellis-push/references/completed-task-recovery.md

@@ -6,15 +6,17 @@
 
 固定当前任务路径与 `task.json`，读取文件级任务状态、`closeout`、当前分支、upstream、`HEAD`、`@{u}..HEAD` 的提交消息与文件集合，以及 `python3 ./.trellis/scripts/auto_loop.py status --verbose`。所有恢复都必须验证 exact task、最终 progress、`status=completed`、Close 状态、分支和提交归属；progress 文本不能替代 runtime 或 Git 证据。
 
+普通发布恢复逐个审计 ahead 提交。除本任务可归属的业务或任务记录提交外，只有按同目录 `SKILL.md` Step 2 及 `scripts/verify_gc_commit.py` 验证的纯自动 GC 提交可使用默认许可；仅凭 GC 消息或路径名不构成证据。
+
 ## Outcomes
 
 按以下优先级只返回一个结果：
 
 1. **Auto-loop 本地完成，无需 Push**：健康的终态或 recent auto-loop run 精确包含当前任务，记录的本地提交仍可验证，且任务 dirty 仅为 runner 在提交后写入的 `<task-dir>/task.json` progress/lifecycle bookkeeping。停止 Push；`closeout.status=closed` 时无需其它生命周期动作。
 2. **任务记录 commit + push 恢复计划**：当前任务 exact files 仍 dirty，`task.json` 已包含合法最终 progress 与 `status=completed`，且文件集合可由首次确认或重新确认闭合。不得重复业务提交或 helper 写入；即使 Close 已成功，也只恢复已确认的任务记录发布。
-3. **任务记录 push-only 恢复计划**：当前任务目录 clean；upstream 存在；`@{u}..HEAD` 中存在消息、exact file set 和完成态均可归属的任务记录 commit。只推送该已存在提交，不创建新 commit。
+3. **任务记录 push-only 恢复计划**：当前任务目录 clean；upstream 存在；`@{u}..HEAD` 中存在消息、exact file set 和完成态均可归属的任务记录 commit；其余 ahead 仅含已验证自动 GC 或其它可归属本任务的提交。只推送这些已存在提交，不创建新 commit。
 4. **Close 待解阻**：任务记录已经同步，`closeout.status=blocked|pending`，且 blockers 证据一致。报告结构化 blockers；条件解决后只重试 `task.py close <task>`，持久化语义 blocker 由所属 owner 完成后追加 `--resolve-blocker <code>`，不重复业务 Git 动作或 progress 写入。
 5. **无需动作**：任务记录已经同步且 `closeout.status=closed`。任务已退出活跃视图，物理 GC 由后续 SessionStart 在三天阈值后处理。
-6. **阻断**：runtime 与 Git 矛盾、auto-loop marker 无健康完成证据、缺少普通路径 upstream、任务 dirty 超出 exact files、未知 ahead 修改任务，或提交消息/文件集合/分支无法闭合。报告具体证据缺口，不 push、不 Close，也不猜测完成来源。
+6. **阻断**：runtime 与 Git 矛盾、auto-loop marker 无健康完成证据、缺少普通路径 upstream、任务 dirty 超出 exact files、存在未通过 GC 审计且无法归属的 ahead，或提交消息/文件集合/分支无法闭合。报告具体证据缺口，不 push、不 Close，也不猜测完成来源。
 
 恢复计划仍使用 `trellis-push` 的既有一次确认、执行前漂移检查和结果模板。这里只决定完成态恢复范围，不新增状态、持久化字段或自动确认。

package/enhancements/0.6/.agents/skills/trellis-push/references/output-templates.md

@@ -23,6 +23,7 @@
 - **变更**：<N> 个文件 · `+<adds> -<deletes>`
 - **父提交**：`<pre-merge-head>` + `<merge-head>`（仅已有 merge 时显示）
 - **Push**：<执行 / 跳过（commit-only）>
+- **已验证自动 GC**：<随本次推送的历史 GC short hashes>（仅存在时显示）
 
 计划提交：
 - <exact files 或分组摘要>
@@ -54,6 +55,7 @@
 - 计划中单仓 `planned` 不超过 8 个文件时完整列出。
 - 超过 8 个时按目录归组，最多 12 行；用户要求展开时展示同一 exact set。
 - 顶部仓库/commit/file 总数包含独立任务记录提交所在 Git root、该提交及其 exact files；任务记录文件使用相同的 8 文件展示阈值和展开规则。
+- 已验证自动 GC 是已有的历史 ahead，不计入顶部本轮新建 commit/file 数、业务 planned 或任务记录 exact files；仅在实际将随普通推送发布时展示其仓库和 short hashes，不作为风险或第二次确认项。
 - 计划中的保留变更按仓库计数：不超过 8 项时逐项标注 `[untracked]`、`[unstaged]`、`[staged]`；超过 8 项时将非 staged 项按目录与 Git 状态汇总数量，每仓最多 12 行，必要时合并到上级目录。同一路径计数一次，兼有 staged/unstaged 时同时标注。
 - 计划中的计划外 staged 项始终逐项单列，不计入分组摘要；计划和结果中的真正风险均在独立“风险”区逐项展示，不受行数限制。分组、展开均只改变展示，不改变 exact set 或确认范围。
 - 用户要求“展开保留变更”时在对话中列出同一 exact set 与 Git 状态，不生成清单附件；“展开文件”仍指 planned files。
@@ -73,6 +75,7 @@
 [推送成功 / 仅本地提交成功 / 部分完成 / 失败]
 
 - **<repository-name>**：`<branch> → <upstream>` · `<short-hash[, short-hash...]>` · <已推送 / 仅本地 / 失败 / 未执行>
+- **已验证自动 GC**：<repository-name> · <short hashes> · <已推送 / 未推送待恢复>（仅存在时显示）
 - **任务记录**：`<task-record-hash>` · <completed + Close 已同步 / completed 但 Close blocked / partial 已同步，仍为 in_progress / commit 待恢复 / push 待恢复 / 同步失败>
 - **保留未提交的变更（dirty）**：<每仓数量与实际核对结论>
 
@@ -92,6 +95,7 @@
 - 仅普通模式且存在活动任务时显示“任务记录”行；没有实际 commit hash 时省略 hash，不填占位值。用户 `commit-only` 的仓库行只写当前分支与本地提交，不显示推送箭头或暗示已同步远端。
 - untracked 结果用“无任务状态”行替代“任务记录”，展示 work id 与 `<已清理/保留待恢复>`；不生成或暗示 task progress commit。没有保留变更、失败或风险时省略对应行或章节。
 - 部分完成时必须明确列出已成功仓库、失败仓库/步骤、当前分支和下一恢复动作。业务结果与 progress sync 状态不得合并成一个模糊结论。
+- 结果中的已验证自动 GC 只报告实际随对应仓库推送的历史提交；push 失败时标明待恢复，不把本地 commit 误报为已推送，也不重复为 GC 生成提交。
 - 普通成功结果必须确认本任务产生的当前任务目录变更 clean。其它 retained dirty（含计划外 staged）仍逐项核验，已核对保持原状时每仓只报告数量与结论，不重复清单。异常或未核验项列出路径、实际状态和处理情况，不得笼统声称全部保持原状；用户要求详情时再展示实际文件、message、命令或进度，展开文件仍沿用共用规则。
 - Git 成功不消除现有风险；成功结果省略未变化且接受仍有效的问题，不重复接受数量或原影响说明。结果的“风险”区保留新增、变化、接受失效或无法验证的事项，以及仍适用的其它完成链风险与 `[上线后验证]`；用户要求详情时再展开原问题与处置。
 - helper 成功但任务记录 commit 失败时，结果写“任务记录 commit 待恢复”，说明本地 `completed`、Close 结果与 exact task dirty 已保留；任务记录 commit 成功但 push 失败时写“任务记录 push 待恢复”，说明 clean ahead commit 已保留。两种情况都不得暗示需要重复业务提交、helper 写入或 Close。

package/enhancements/0.6/.agents/skills/trellis-push/scripts/verify_gc_commit.py

@@ -0,0 +1,203 @@
+#!/usr/bin/env python3
+"""只读核验 Trellis 物理 GC 提交是否为纯归档移动。"""
+
+from __future__ import annotations
+
+import argparse
+from datetime import datetime, timezone
+import json
+from pathlib import Path
+import re
+import subprocess
+import sys
+from typing import Any
+
+
+GC_MESSAGE = b"chore(task): gc closed tasks\n"
+TASK_ROOT = b".trellis/tasks/"
+ARCHIVE_ROOT = TASK_ROOT + b"archive/"
+COMMIT_RE = re.compile(r"[0-9a-fA-F]{40}(?:[0-9a-fA-F]{24})?\Z")
+
+
+class GcCommitAuditError(Exception):
+    """表示提交缺少默认放行所需的确定性证据。"""
+
+
+def _git(repo_root: Path, *args: str) -> bytes:
+    """以字节形式读取 Git，保留路径中的制表符及非 ASCII 字节。"""
+    result = subprocess.run(
+        ["git", "-C", str(repo_root), *args],
+        capture_output=True,
+        check=False,
+    )
+    if result.returncode != 0:
+        detail = result.stderr.decode("utf-8", errors="replace").strip()
+        raise GcCommitAuditError(f"Git 查询失败：{detail or '未知错误'}")
+    return result.stdout
+
+
+def _tree(repo_root: Path, commit: str) -> dict[bytes, tuple[bytes, bytes]]:
+    """读取任务目录的路径、文件模式和 blob ID。"""
+    raw = _git(repo_root, "ls-tree", "-r", "-z", commit, "--", ".trellis/tasks")
+    entries: dict[bytes, tuple[bytes, bytes]] = {}
+    for record in raw.split(b"\0"):
+        if not record:
+            continue
+        try:
+            header, path = record.split(b"\t", 1)
+            mode, kind, oid = header.split(b" ")
+        except ValueError as error:
+            raise GcCommitAuditError("Git 树条目格式损坏") from error
+        if kind != b"blob" or path in entries:
+            raise GcCommitAuditError("任务树包含非文件或重复路径")
+        entries[path] = (mode, oid)
+    return entries
+
+
+def _changes(repo_root: Path, parent: str, commit: str) -> tuple[set[bytes], set[bytes]]:
+    """读取无重命名推断的新增和删除路径。"""
+    raw = _git(
+        repo_root,
+        "diff-tree",
+        "--no-commit-id",
+        "--no-renames",
+        "--ignore-submodules=none",
+        "--name-status",
+        "-r",
+        "-z",
+        parent,
+        commit,
+    )
+    records = raw.split(b"\0")
+    if not records or records[-1] != b"" or len(records[:-1]) % 2:
+        raise GcCommitAuditError("Git 差异记录格式损坏")
+    deleted: set[bytes] = set()
+    added: set[bytes] = set()
+    for index in range(0, len(records) - 1, 2):
+        status, path = records[index:index + 2]
+        if not path or path in deleted or path in added:
+            raise GcCommitAuditError("Git 差异包含空路径或重复路径")
+        if status == b"D":
+            deleted.add(path)
+        elif status == b"A":
+            added.add(path)
+        else:
+            raise GcCommitAuditError("提交包含非归档移动的文件修改")
+    if not deleted:
+        raise GcCommitAuditError("提交没有顶层任务文件删除")
+    return deleted, added
+
+
+def _source_name(path: bytes) -> bytes:
+    """从被删除文件中提取顶层任务名。"""
+    if not path.startswith(TASK_ROOT):
+        raise GcCommitAuditError("提交修改了任务目录以外的路径")
+    remainder = path[len(TASK_ROOT):]
+    name, separator, relative = remainder.partition(b"/")
+    if not separator or not name or name == b"archive" or not relative:
+        raise GcCommitAuditError("被删除文件不属于顶层任务")
+    return name
+
+
+def _bucket(repo_root: Path, task_json: tuple[bytes, bytes]) -> bytes:
+    """校验关闭态，并返回生成器使用的 UTC 归档月份。"""
+    mode, oid = task_json
+    if mode not in {b"100644", b"100755"}:
+        raise GcCommitAuditError("task.json 不是普通文件")
+    try:
+        data = json.loads(_git(repo_root, "cat-file", "blob", oid.decode("ascii")).decode("utf-8"))
+    except (UnicodeError, json.JSONDecodeError) as error:
+        raise GcCommitAuditError("task.json 不是有效的 UTF-8 JSON") from error
+    if not isinstance(data, dict) or data.get("status") != "completed":
+        raise GcCommitAuditError("归档任务不是 completed")
+    closeout = data.get("closeout")
+    if not isinstance(closeout, dict) or closeout.get("status") != "closed" or closeout.get("blockers") != []:
+        raise GcCommitAuditError("归档任务没有合法的 closed 状态")
+    closed_at = closeout.get("closedAt")
+    if not isinstance(closed_at, str):
+        raise GcCommitAuditError("归档任务缺少关闭时间")
+    try:
+        parsed = datetime.fromisoformat(closed_at.strip().replace("Z", "+00:00"))
+    except ValueError as error:
+        raise GcCommitAuditError("归档任务的关闭时间无效") from error
+    if parsed.tzinfo is None:
+        raise GcCommitAuditError("归档任务的关闭时间缺少时区")
+    return parsed.astimezone(timezone.utc).strftime("%Y-%m").encode("ascii")
+
+
+def verify_gc_commit(repo_root: Path, commit: str) -> dict[str, Any]:
+    """验证单个提交仅将已关闭任务原字节移入归档。
+
+    Args:
+        repo_root: 待检查的 Git 仓库根目录。
+        commit: 完整的 40 或 64 位提交哈希。
+
+    Returns:
+        已验证提交、任务名与移动文件数的结构化摘要。
+
+    Raises:
+        GcCommitAuditError: 提交不满足纯 GC 归档契约或 Git 证据不可读。
+    """
+    if not COMMIT_RE.fullmatch(commit):
+        raise GcCommitAuditError("必须提供完整提交哈希")
+    resolved = _git(repo_root, "rev-parse", "--verify", f"{commit}^{{commit}}").strip().decode("ascii")
+    header, separator, message = _git(repo_root, "cat-file", "-p", resolved).partition(b"\n\n")
+    parents = [line[7:].decode("ascii") for line in header.splitlines() if line.startswith(b"parent ")]
+    if not separator or len(parents) != 1 or message != GC_MESSAGE:
+        raise GcCommitAuditError("提交父节点或消息不符合自动 GC 契约")
+    parent = parents[0]
+    deleted, added = _changes(repo_root, parent, resolved)
+    before = _tree(repo_root, parent)
+    after = _tree(repo_root, resolved)
+    names = {_source_name(path) for path in deleted}
+    expected_added: set[bytes] = set()
+    reported_names: list[str] = []
+    for name in sorted(names):
+        source_prefix = TASK_ROOT + name + b"/"
+        source_files = {path for path in before if path.startswith(source_prefix)}
+        if not source_files or deleted.intersection(source_files) != source_files:
+            raise GcCommitAuditError("顶层任务未完整移走")
+        task_json = before.get(source_prefix + b"task.json")
+        if task_json is None:
+            raise GcCommitAuditError("顶层任务缺少 task.json")
+        destination_prefix = ARCHIVE_ROOT + _bucket(repo_root, task_json) + b"/" + name + b"/"
+        if any(path.startswith(source_prefix) for path in after):
+            raise GcCommitAuditError("提交后仍残留顶层任务文件")
+        for source in source_files:
+            destination = destination_prefix + source[len(source_prefix):]
+            if after.get(destination) != before[source]:
+                raise GcCommitAuditError("归档文件与原文件内容或模式不同")
+            if destination not in before:
+                expected_added.add(destination)
+        try:
+            reported_names.append(name.decode("utf-8"))
+        except UnicodeDecodeError as error:
+            raise GcCommitAuditError("任务名不是 UTF-8") from error
+    if added != expected_added:
+        raise GcCommitAuditError("提交包含未归属的新增路径")
+    return {"status": "verified", "commit": resolved, "tasks": reported_names, "files": len(deleted)}
+
+
+def main(argv: list[str] | None = None) -> int:
+    """解析只读校验参数并输出机器可读的结果。
+
+    Args:
+        argv: 测试可传入的命令行参数；缺省使用进程参数。
+
+    Returns:
+        验证通过返回 0，证据不足或 Git 查询失败返回 1。
+    """
+    parser = argparse.ArgumentParser(description="核验 Trellis 纯归档 GC 提交")
+    parser.add_argument("--repo", type=Path, required=True)
+    parser.add_argument("--commit", required=True)
+    args = parser.parse_args(argv)
+    try:
+        result = verify_gc_commit(args.repo, args.commit)
+    except GcCommitAuditError as error:
+        result = {"status": "rejected", "commit": args.commit, "reason": str(error)}
+    print(json.dumps(result, ensure_ascii=False, sort_keys=True))
+    return 0 if result["status"] == "verified" else 1
+
+
+if __name__ == "__main__":
+    sys.exit(main())

package/enhancements/0.6/.claude/skills/trellis-push/SKILL.md

@@ -88,16 +88,29 @@ git ls-files -u
 git rev-parse --verify MERGE_HEAD 2>/dev/null || true
 git log --oneline -5
 git log @{u}..HEAD --oneline 2>/dev/null || true
+git rev-list --reverse @{u}..HEAD 2>/dev/null || true
 ```
 
 停止条件：
 
 - detached HEAD、分支不可读、未解决冲突、rebase、cherry-pick、revert 或其它非 merge 的未完成 Git 集成状态。
 - `MERGE_HEAD` 存在时仅普通模式可继续，并且必须固定当前 `HEAD` / `MERGE_HEAD`、确认 `git ls-files -u` 为空、全部 staged paths 都属于 planned 且没有 retained staged；否则停止。用户/auto-loop `commit-only` 不适用。
-- 普通推送会携带无法归属本次任务的历史 ahead commits。
+- 普通推送会携带既无法归属本次任务、也未通过下述自动 GC 审计的历史 ahead commits。
 - 无法确定 planned file 是否属于当前请求或活动任务。
 - 内部 `commit-only` 发现 staged 区非空。
 
+### 历史自动 GC 提交
+
+仅普通推送及其任务记录发布恢复使用这一默认许可。对 `@{u}..HEAD` 的每个完整提交哈希逐个判断：已由当前任务证据归属的提交沿用原规则；候选自动 GC 提交调用当前平台 `trellis-push` skill 目录中的只读脚本：
+
+```bash
+python3 <skill-dir>/scripts/verify_gc_commit.py --repo <repository-root> --commit <full-sha>
+```
+
+`<skill-dir>` 是当前实际加载的 `.agents/skills/trellis-push` 或 `.claude/skills/trellis-push`，不能从另一平台借用脚本。只有退出码为 0、JSON `status=verified` 且返回的完整 `commit` 与请求哈希一致，才把该提交标为“已验证自动 GC”。脚本逐项验证单父和完整固定消息、无重命名推断的 Git 树、顶层 closed 任务与 UTC 月份归档文件的同 blob/模式映射；支持同批多任务和已有相同归档的去重。它不读取或修改工作区，不凭提交消息单独放行。脚本缺失、执行失败、JSON 损坏、内容改写或任一证据不符都保持未知 ahead 并停止普通推送。
+
+记录已验证 GC 的完整哈希及仓库，作为计划和执行前复核基线。它是用户对纯自动 GC 的默认许可，不属于业务 `planned` 或任务记录 exact files，不增加专项确认，也不自行触发 GC 或单独 push。正常业务提交仍须展示并确认一次 Push 计划；用户 `commit-only` 和 auto-loop 内部 `commit-only` 不因本规则扩大授权。
+
 业务 Git 文件分为两组；普通模式的当前任务记录 exact files 按下方独立提交规则处理：
 
 - `planned`：本轮明确归属且准备提交的 exact files。
@@ -142,7 +155,7 @@ auto-loop 内部 `commit-only` 不渲染交互式计划或结果，也不再次
 
 ## Step 4：精确提交与推送
 
-每个仓库按计划顺序执行。执行前重新检查 planned files、当前分支、HEAD、upstream、冲突状态、staged、全部 dirty paths 和 retained 摘要；任一关键条件变化都停止当前执行并重新规划。普通模式仅 `retained` 内容变化时可更新说明；auto-loop 内部模式的 retained 内容必须保持不变。
+每个仓库按计划顺序执行。执行前重新检查 planned files、当前分支、HEAD、upstream、冲突状态、staged、全部 dirty paths 和 retained 摘要；普通推送还须逐个重验计划中已验证 GC 的完整哈希与当前 `@{u}..HEAD`。任一关键条件变化都停止当前执行并重新规划。普通模式仅 `retained` 内容变化时可更新说明；auto-loop 内部模式的 retained 内容必须保持不变。
 
 计划包含本地生成命令时，前置仓成功后按计划执行命令，再复用本节现有预检。命令成功、后续仓全部 dirty paths（auto-loop 内部 `commit-only` 扣除已登记且验证未变化的 retained paths）都在预计 exact files 内且 retained 摘要未漂移时直接继续；否则停止并重新生成计划。预计文件最终 clean 时不强行提交。
 
@@ -220,7 +233,7 @@ auto-loop 内部链失败时向调用方返回全部已完成仓库提交和失
 
 - 当前任务 exact files 与首次确认的路径集合一致，没有新增当前任务路径或无法归属的 dirty 内容。
 - 父仓分支、upstream 和冲突状态安全。
-- 推送不会携带无法归属的历史 ahead commits。
+- 对当前 `@{u}..HEAD` 重做 Step 2 归属检查；已验证的自动 GC 可随任务记录推送，其它无法归属的历史 ahead commits 仍停止。
 
 全部业务 commit/push 成功时，通过 helper 用同一份最终 progress 原子写入 `progress`、`status=completed`、`completedAt` 与确定性 `closeout`：
 
@@ -251,7 +264,7 @@ git push origin <current-branch>
 - 任务记录 commit 成功但 push 失败：任务目录应为 clean，并保留可归属的 ahead commit；后续只重试该 commit 的 push，不重复业务提交、helper 写入或任务记录 commit。
 - 任务记录 push 成功：本任务产生的当前任务目录变更必须 clean；不得再次写入完成态或 Close。
 
-任何恢复都必须验证当前分支、upstream、HEAD、`@{u}..HEAD`、任务记录 commit message 与 exact file set，以及 `task.json` 的最终完成态。无法证明归属时停止，不把未知 ahead 或 dirty 当作可恢复任务记录。
+任何恢复都必须验证当前分支、upstream、HEAD、`@{u}..HEAD`、任务记录 commit message 与 exact file set，以及 `task.json` 的最终完成态。已验证自动 GC 可按 Step 2 默认许可归属；其它未知 ahead 或 dirty 不能当作可恢复任务记录。
 
 ## Step 6：结果
 

package/enhancements/0.6/.claude/skills/trellis-push/references/completed-task-recovery.md

@@ -6,15 +6,17 @@
 
 固定当前任务路径与 `task.json`，读取文件级任务状态、`closeout`、当前分支、upstream、`HEAD`、`@{u}..HEAD` 的提交消息与文件集合，以及 `python3 ./.trellis/scripts/auto_loop.py status --verbose`。所有恢复都必须验证 exact task、最终 progress、`status=completed`、Close 状态、分支和提交归属；progress 文本不能替代 runtime 或 Git 证据。
 
+普通发布恢复逐个审计 ahead 提交。除本任务可归属的业务或任务记录提交外，只有按同目录 `SKILL.md` Step 2 及 `scripts/verify_gc_commit.py` 验证的纯自动 GC 提交可使用默认许可；仅凭 GC 消息或路径名不构成证据。
+
 ## Outcomes
 
 按以下优先级只返回一个结果：
 
 1. **Auto-loop 本地完成，无需 Push**：健康的终态或 recent auto-loop run 精确包含当前任务，记录的本地提交仍可验证，且任务 dirty 仅为 runner 在提交后写入的 `<task-dir>/task.json` progress/lifecycle bookkeeping。停止 Push；`closeout.status=closed` 时无需其它生命周期动作。
 2. **任务记录 commit + push 恢复计划**：当前任务 exact files 仍 dirty，`task.json` 已包含合法最终 progress 与 `status=completed`，且文件集合可由首次确认或重新确认闭合。不得重复业务提交或 helper 写入；即使 Close 已成功，也只恢复已确认的任务记录发布。
-3. **任务记录 push-only 恢复计划**：当前任务目录 clean；upstream 存在；`@{u}..HEAD` 中存在消息、exact file set 和完成态均可归属的任务记录 commit。只推送该已存在提交，不创建新 commit。
+3. **任务记录 push-only 恢复计划**：当前任务目录 clean；upstream 存在；`@{u}..HEAD` 中存在消息、exact file set 和完成态均可归属的任务记录 commit；其余 ahead 仅含已验证自动 GC 或其它可归属本任务的提交。只推送这些已存在提交，不创建新 commit。
 4. **Close 待解阻**：任务记录已经同步，`closeout.status=blocked|pending`，且 blockers 证据一致。报告结构化 blockers；条件解决后只重试 `task.py close <task>`，持久化语义 blocker 由所属 owner 完成后追加 `--resolve-blocker <code>`，不重复业务 Git 动作或 progress 写入。
 5. **无需动作**：任务记录已经同步且 `closeout.status=closed`。任务已退出活跃视图，物理 GC 由后续 SessionStart 在三天阈值后处理。
-6. **阻断**：runtime 与 Git 矛盾、auto-loop marker 无健康完成证据、缺少普通路径 upstream、任务 dirty 超出 exact files、未知 ahead 修改任务，或提交消息/文件集合/分支无法闭合。报告具体证据缺口，不 push、不 Close，也不猜测完成来源。
+6. **阻断**：runtime 与 Git 矛盾、auto-loop marker 无健康完成证据、缺少普通路径 upstream、任务 dirty 超出 exact files、存在未通过 GC 审计且无法归属的 ahead，或提交消息/文件集合/分支无法闭合。报告具体证据缺口，不 push、不 Close，也不猜测完成来源。
 
 恢复计划仍使用 `trellis-push` 的既有一次确认、执行前漂移检查和结果模板。这里只决定完成态恢复范围，不新增状态、持久化字段或自动确认。

package/enhancements/0.6/.claude/skills/trellis-push/references/output-templates.md

@@ -23,6 +23,7 @@
 - **变更**：<N> 个文件 · `+<adds> -<deletes>`
 - **父提交**：`<pre-merge-head>` + `<merge-head>`（仅已有 merge 时显示）
 - **Push**：<执行 / 跳过（commit-only）>
+- **已验证自动 GC**：<随本次推送的历史 GC short hashes>（仅存在时显示）
 
 计划提交：
 - <exact files 或分组摘要>
@@ -54,6 +55,7 @@
 - 计划中单仓 `planned` 不超过 8 个文件时完整列出。
 - 超过 8 个时按目录归组，最多 12 行；用户要求展开时展示同一 exact set。
 - 顶部仓库/commit/file 总数包含独立任务记录提交所在 Git root、该提交及其 exact files；任务记录文件使用相同的 8 文件展示阈值和展开规则。
+- 已验证自动 GC 是已有的历史 ahead，不计入顶部本轮新建 commit/file 数、业务 planned 或任务记录 exact files；仅在实际将随普通推送发布时展示其仓库和 short hashes，不作为风险或第二次确认项。
 - 计划中的保留变更按仓库计数：不超过 8 项时逐项标注 `[untracked]`、`[unstaged]`、`[staged]`；超过 8 项时将非 staged 项按目录与 Git 状态汇总数量，每仓最多 12 行，必要时合并到上级目录。同一路径计数一次，兼有 staged/unstaged 时同时标注。
 - 计划中的计划外 staged 项始终逐项单列，不计入分组摘要；计划和结果中的真正风险均在独立“风险”区逐项展示，不受行数限制。分组、展开均只改变展示，不改变 exact set 或确认范围。
 - 用户要求“展开保留变更”时在对话中列出同一 exact set 与 Git 状态，不生成清单附件；“展开文件”仍指 planned files。
@@ -73,6 +75,7 @@
 [推送成功 / 仅本地提交成功 / 部分完成 / 失败]
 
 - **<repository-name>**：`<branch> → <upstream>` · `<short-hash[, short-hash...]>` · <已推送 / 仅本地 / 失败 / 未执行>
+- **已验证自动 GC**：<repository-name> · <short hashes> · <已推送 / 未推送待恢复>（仅存在时显示）
 - **任务记录**：`<task-record-hash>` · <completed + Close 已同步 / completed 但 Close blocked / partial 已同步，仍为 in_progress / commit 待恢复 / push 待恢复 / 同步失败>
 - **保留未提交的变更（dirty）**：<每仓数量与实际核对结论>
 
@@ -92,6 +95,7 @@
 - 仅普通模式且存在活动任务时显示“任务记录”行；没有实际 commit hash 时省略 hash，不填占位值。用户 `commit-only` 的仓库行只写当前分支与本地提交，不显示推送箭头或暗示已同步远端。
 - untracked 结果用“无任务状态”行替代“任务记录”，展示 work id 与 `<已清理/保留待恢复>`；不生成或暗示 task progress commit。没有保留变更、失败或风险时省略对应行或章节。
 - 部分完成时必须明确列出已成功仓库、失败仓库/步骤、当前分支和下一恢复动作。业务结果与 progress sync 状态不得合并成一个模糊结论。
+- 结果中的已验证自动 GC 只报告实际随对应仓库推送的历史提交；push 失败时标明待恢复，不把本地 commit 误报为已推送，也不重复为 GC 生成提交。
 - 普通成功结果必须确认本任务产生的当前任务目录变更 clean。其它 retained dirty（含计划外 staged）仍逐项核验，已核对保持原状时每仓只报告数量与结论，不重复清单。异常或未核验项列出路径、实际状态和处理情况，不得笼统声称全部保持原状；用户要求详情时再展示实际文件、message、命令或进度，展开文件仍沿用共用规则。
 - Git 成功不消除现有风险；成功结果省略未变化且接受仍有效的问题，不重复接受数量或原影响说明。结果的“风险”区保留新增、变化、接受失效或无法验证的事项，以及仍适用的其它完成链风险与 `[上线后验证]`；用户要求详情时再展开原问题与处置。
 - helper 成功但任务记录 commit 失败时，结果写“任务记录 commit 待恢复”，说明本地 `completed`、Close 结果与 exact task dirty 已保留；任务记录 commit 成功但 push 失败时写“任务记录 push 待恢复”，说明 clean ahead commit 已保留。两种情况都不得暗示需要重复业务提交、helper 写入或 Close。

package/enhancements/0.6/.claude/skills/trellis-push/scripts/verify_gc_commit.py

@@ -0,0 +1,203 @@
+#!/usr/bin/env python3
+"""只读核验 Trellis 物理 GC 提交是否为纯归档移动。"""
+
+from __future__ import annotations
+
+import argparse
+from datetime import datetime, timezone
+import json
+from pathlib import Path
+import re
+import subprocess
+import sys
+from typing import Any
+
+
+GC_MESSAGE = b"chore(task): gc closed tasks\n"
+TASK_ROOT = b".trellis/tasks/"
+ARCHIVE_ROOT = TASK_ROOT + b"archive/"
+COMMIT_RE = re.compile(r"[0-9a-fA-F]{40}(?:[0-9a-fA-F]{24})?\Z")
+
+
+class GcCommitAuditError(Exception):
+    """表示提交缺少默认放行所需的确定性证据。"""
+
+
+def _git(repo_root: Path, *args: str) -> bytes:
+    """以字节形式读取 Git，保留路径中的制表符及非 ASCII 字节。"""
+    result = subprocess.run(
+        ["git", "-C", str(repo_root), *args],
+        capture_output=True,
+        check=False,
+    )
+    if result.returncode != 0:
+        detail = result.stderr.decode("utf-8", errors="replace").strip()
+        raise GcCommitAuditError(f"Git 查询失败：{detail or '未知错误'}")
+    return result.stdout
+
+
+def _tree(repo_root: Path, commit: str) -> dict[bytes, tuple[bytes, bytes]]:
+    """读取任务目录的路径、文件模式和 blob ID。"""
+    raw = _git(repo_root, "ls-tree", "-r", "-z", commit, "--", ".trellis/tasks")
+    entries: dict[bytes, tuple[bytes, bytes]] = {}
+    for record in raw.split(b"\0"):
+        if not record:
+            continue
+        try:
+            header, path = record.split(b"\t", 1)
+            mode, kind, oid = header.split(b" ")
+        except ValueError as error:
+            raise GcCommitAuditError("Git 树条目格式损坏") from error
+        if kind != b"blob" or path in entries:
+            raise GcCommitAuditError("任务树包含非文件或重复路径")
+        entries[path] = (mode, oid)
+    return entries
+
+
+def _changes(repo_root: Path, parent: str, commit: str) -> tuple[set[bytes], set[bytes]]:
+    """读取无重命名推断的新增和删除路径。"""
+    raw = _git(
+        repo_root,
+        "diff-tree",
+        "--no-commit-id",
+        "--no-renames",
+        "--ignore-submodules=none",
+        "--name-status",
+        "-r",
+        "-z",
+        parent,
+        commit,
+    )
+    records = raw.split(b"\0")
+    if not records or records[-1] != b"" or len(records[:-1]) % 2:
+        raise GcCommitAuditError("Git 差异记录格式损坏")
+    deleted: set[bytes] = set()
+    added: set[bytes] = set()
+    for index in range(0, len(records) - 1, 2):
+        status, path = records[index:index + 2]
+        if not path or path in deleted or path in added:
+            raise GcCommitAuditError("Git 差异包含空路径或重复路径")
+        if status == b"D":
+            deleted.add(path)
+        elif status == b"A":
+            added.add(path)
+        else:
+            raise GcCommitAuditError("提交包含非归档移动的文件修改")
+    if not deleted:
+        raise GcCommitAuditError("提交没有顶层任务文件删除")
+    return deleted, added
+
+
+def _source_name(path: bytes) -> bytes:
+    """从被删除文件中提取顶层任务名。"""
+    if not path.startswith(TASK_ROOT):
+        raise GcCommitAuditError("提交修改了任务目录以外的路径")
+    remainder = path[len(TASK_ROOT):]
+    name, separator, relative = remainder.partition(b"/")
+    if not separator or not name or name == b"archive" or not relative:
+        raise GcCommitAuditError("被删除文件不属于顶层任务")
+    return name
+
+
+def _bucket(repo_root: Path, task_json: tuple[bytes, bytes]) -> bytes:
+    """校验关闭态，并返回生成器使用的 UTC 归档月份。"""
+    mode, oid = task_json
+    if mode not in {b"100644", b"100755"}:
+        raise GcCommitAuditError("task.json 不是普通文件")
+    try:
+        data = json.loads(_git(repo_root, "cat-file", "blob", oid.decode("ascii")).decode("utf-8"))
+    except (UnicodeError, json.JSONDecodeError) as error:
+        raise GcCommitAuditError("task.json 不是有效的 UTF-8 JSON") from error
+    if not isinstance(data, dict) or data.get("status") != "completed":
+        raise GcCommitAuditError("归档任务不是 completed")
+    closeout = data.get("closeout")
+    if not isinstance(closeout, dict) or closeout.get("status") != "closed" or closeout.get("blockers") != []:
+        raise GcCommitAuditError("归档任务没有合法的 closed 状态")
+    closed_at = closeout.get("closedAt")
+    if not isinstance(closed_at, str):
+        raise GcCommitAuditError("归档任务缺少关闭时间")
+    try:
+        parsed = datetime.fromisoformat(closed_at.strip().replace("Z", "+00:00"))
+    except ValueError as error:
+        raise GcCommitAuditError("归档任务的关闭时间无效") from error
+    if parsed.tzinfo is None:
+        raise GcCommitAuditError("归档任务的关闭时间缺少时区")
+    return parsed.astimezone(timezone.utc).strftime("%Y-%m").encode("ascii")
+
+
+def verify_gc_commit(repo_root: Path, commit: str) -> dict[str, Any]:
+    """验证单个提交仅将已关闭任务原字节移入归档。
+
+    Args:
+        repo_root: 待检查的 Git 仓库根目录。
+        commit: 完整的 40 或 64 位提交哈希。
+
+    Returns:
+        已验证提交、任务名与移动文件数的结构化摘要。
+
+    Raises:
+        GcCommitAuditError: 提交不满足纯 GC 归档契约或 Git 证据不可读。
+    """
+    if not COMMIT_RE.fullmatch(commit):
+        raise GcCommitAuditError("必须提供完整提交哈希")
+    resolved = _git(repo_root, "rev-parse", "--verify", f"{commit}^{{commit}}").strip().decode("ascii")
+    header, separator, message = _git(repo_root, "cat-file", "-p", resolved).partition(b"\n\n")
+    parents = [line[7:].decode("ascii") for line in header.splitlines() if line.startswith(b"parent ")]
+    if not separator or len(parents) != 1 or message != GC_MESSAGE:
+        raise GcCommitAuditError("提交父节点或消息不符合自动 GC 契约")
+    parent = parents[0]
+    deleted, added = _changes(repo_root, parent, resolved)
+    before = _tree(repo_root, parent)
+    after = _tree(repo_root, resolved)
+    names = {_source_name(path) for path in deleted}
+    expected_added: set[bytes] = set()
+    reported_names: list[str] = []
+    for name in sorted(names):
+        source_prefix = TASK_ROOT + name + b"/"
+        source_files = {path for path in before if path.startswith(source_prefix)}
+        if not source_files or deleted.intersection(source_files) != source_files:
+            raise GcCommitAuditError("顶层任务未完整移走")
+        task_json = before.get(source_prefix + b"task.json")
+        if task_json is None:
+            raise GcCommitAuditError("顶层任务缺少 task.json")
+        destination_prefix = ARCHIVE_ROOT + _bucket(repo_root, task_json) + b"/" + name + b"/"
+        if any(path.startswith(source_prefix) for path in after):
+            raise GcCommitAuditError("提交后仍残留顶层任务文件")
+        for source in source_files:
+            destination = destination_prefix + source[len(source_prefix):]
+            if after.get(destination) != before[source]:
+                raise GcCommitAuditError("归档文件与原文件内容或模式不同")
+            if destination not in before:
+                expected_added.add(destination)
+        try:
+            reported_names.append(name.decode("utf-8"))
+        except UnicodeDecodeError as error:
+            raise GcCommitAuditError("任务名不是 UTF-8") from error
+    if added != expected_added:
+        raise GcCommitAuditError("提交包含未归属的新增路径")
+    return {"status": "verified", "commit": resolved, "tasks": reported_names, "files": len(deleted)}
+
+
+def main(argv: list[str] | None = None) -> int:
+    """解析只读校验参数并输出机器可读的结果。
+
+    Args:
+        argv: 测试可传入的命令行参数；缺省使用进程参数。
+
+    Returns:
+        验证通过返回 0，证据不足或 Git 查询失败返回 1。
+    """
+    parser = argparse.ArgumentParser(description="核验 Trellis 纯归档 GC 提交")
+    parser.add_argument("--repo", type=Path, required=True)
+    parser.add_argument("--commit", required=True)
+    args = parser.parse_args(argv)
+    try:
+        result = verify_gc_commit(args.repo, args.commit)
+    except GcCommitAuditError as error:
+        result = {"status": "rejected", "commit": args.commit, "reason": str(error)}
+    print(json.dumps(result, ensure_ascii=False, sort_keys=True))
+    return 0 if result["status"] == "verified" else 1
+
+
+if __name__ == "__main__":
+    sys.exit(main())

package/enhancements/MANIFEST.json

@@ -1,7 +1,7 @@
 {
-  "syncedAt": "2026-09-23T10:30:48.306Z",
+  "syncedAt": "2026-09-26T04:08:42.758Z",
   "syncedFrom": "vendor/skill-garden",
-  "sourceCommit": "f2feb8b818f72b124466a186987690f69665e8d1",
+  "sourceCommit": "eb848932da1890aaf66804b69c483072b1685b05",
   "common": {
     "codexSkills": [
       "aliyun-ops",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "flower-trellis",
-  "version": "0.6.10-beta.6",
+  "version": "0.6.10-beta.7",
   "description": "一键安装/升级 Trellis 并自动融合 skill-garden 强化包(默认 Claude + agents)",
   "type": "module",
   "bin": {
@@ -70,9 +70,9 @@
     "commit-and-tag-version": "^12.7.3"
   },
   "flowerReleaseNotes": {
-    "version": "0.6.10-beta.6",
+    "version": "0.6.10-beta.7",
     "source": "CHANGELOG.md",
-    "body": "### ✨ 新功能 Features\n\n* **aliyun-ops:** 新增 ACK 受控切换镜像与环境变量 ([70527ca](https://github.com/SilentFlower/flower-trellis/commit/70527ca2372c22d124a6a38ab3331be5c2119bc0))",
+    "body": "### ✨ 新功能 Features\n\n* **flower:** 支持自动 GC 提交默认放行 ([79ef652](https://github.com/SilentFlower/flower-trellis/commit/79ef652abf793c4b84e8b5150b4808be02ad3eec))\n* **flower:** 默认只保留一份升级备份并支持 Sol 提示 ([7704dc9](https://github.com/SilentFlower/flower-trellis/commit/7704dc9e190abc5d6e57de517e2dfc0ec31cbbae))",
     "truncated": false
   },
   "optionalDependencies": {

package/src/assets/flower_session_start.py

@@ -19,10 +19,10 @@ HOOKS = (".codex/hooks/session-start.py", ".claude/hooks/session-start.py")
 MAX_PART_CHARS = 8000
 WORKFLOW_BLOCK = re.compile(r"<trellis-workflow>\n(.*?)\n</trellis-workflow>\n*", re.DOTALL)
 ASTRA_MODEL = "gpt-6-astra"
-ASTRA_HINT_MAX_BYTES = 2048
+SOL_MODEL = "gpt-6-sol"
+MODEL_HINT_MAX_BYTES = 2048
 WORKFLOW_STATE_REFRESH_ARG = "--trellis-session-start-refresh"
-ASTRA_WORKFLOW_HINT = """<trellis-astra-workflow-hint model="gpt-6-astra" version="1">
-Applies only while the active model is gpt-6-astra; it does not apply after switching models. Perform checks internally, without a routine checklist report. Keep ordinary answers brief.
+MODEL_WORKFLOW_HINT_BODY = """Applies only while the active model is {model}; it does not apply after switching models. Perform checks internally, without a routine checklist report. Keep ordinary answers brief.
 When executing the current task:
 - Act autonomously within applicable SKILL and WORKFLOW steps. Do not waive required steps, references, review gates or templates because work seems simple, a check seems redundant, or fewer interruptions are preferred.
 - Before a step, review its rules and required references. Reuse material already read in full and unchanged; search matches are not full reads.
@@ -30,14 +30,22 @@ When executing the current task:
 - Resolve conflicts by instruction hierarchy. Follow the owning workflow's phase-transition and review requirements. Permission to begin planning does not approve the final plan.
 - Where the workflow requires review of a displayed plan, a generic request such as "commit and push" starts that workflow; it does not itself confirm a plan produced afterward. Reuse approval of the same plan or an explicit waiver within its scope, including valid auto-loop preauthorization. Otherwise, display the plan and wait for the user's confirmation before acting. Verify the actual user reply; displaying a plan or saying "executing as authorized" is not confirmation.
 - Before claiming "read", "checked", or "complete", verify actual tool records and artifacts. Successful reading and compliant execution are separate facts.
-- When corrected, review the applicable rules, execution records, and actual result before repairing it. If evidence is missing, state uncertainty. Do not invent causes such as "not read", "forgot", or "file missing", or consult unrelated rules in place of the relevant ones.
-</trellis-astra-workflow-hint>"""
+- When corrected, review the applicable rules, execution records, and actual result before repairing it. If evidence is missing, state uncertainty. Do not invent causes such as "not read", "forgot", or "file missing", or consult unrelated rules in place of the relevant ones."""
+ASTRA_WORKFLOW_HINT = (f'<trellis-astra-workflow-hint model="{ASTRA_MODEL}" version="1">\n'
+                       f'{MODEL_WORKFLOW_HINT_BODY.format(model=ASTRA_MODEL)}\n'
+                       '</trellis-astra-workflow-hint>')
+SOL_WORKFLOW_HINT = (f'<trellis-sol-workflow-hint model="{SOL_MODEL}" version="1">\n'
+                     f'{MODEL_WORKFLOW_HINT_BODY.format(model=SOL_MODEL)}\n'
+                     '</trellis-sol-workflow-hint>')
 
 
-def _astra_workflow_hint(root: Path) -> str:
-    """读取项目开关，返回唯一来源的 Astra 提示或空串。
+def _model_workflow_hint(root: Path, config_key: str, hint: str, label: str) -> str:
+    """读取指定模型的项目开关，返回该模型提示或空串。
 
     @param root: 当前部署项目根目录。
+    @param config_key: codex 配置下的模型开关键。
+    @param hint: 对应模型的完整提示块。
+    @param label: 用于诊断的模型名称。
     @return: 完整提示块；显式关闭时为空串，非法配置或超预算时抛出异常。
     """
     scripts_dir = str(root / ".trellis" / "scripts")
@@ -49,17 +57,35 @@ def _astra_workflow_hint(root: Path) -> str:
     codex = config.get("codex", {})
     if not isinstance(codex, dict):
         raise ValueError("codex 配置必须为映射")
-    enabled = codex.get("astra_workflow_hint", True)
+    enabled = codex.get(config_key, True)
     # 上游无依赖 YAML 读取器返回字符串，不能把字符串 false 当作真值。
     if isinstance(enabled, str) and enabled.lower() in ("true", "false"):
         enabled = enabled.lower() == "true"
     if not isinstance(enabled, bool):
-        raise ValueError("codex.astra_workflow_hint 必须为 true 或 false")
+        raise ValueError(f"codex.{config_key} 必须为 true 或 false")
     if not enabled:
         return ""
-    if len(ASTRA_WORKFLOW_HINT.encode("utf-8")) > ASTRA_HINT_MAX_BYTES:
-        raise ValueError("Astra 工作流提示超过 2048 字节预算")
-    return ASTRA_WORKFLOW_HINT
+    if len(hint.encode("utf-8")) > MODEL_HINT_MAX_BYTES:
+        raise ValueError(f"{label} 工作流提示超过 2048 字节预算")
+    return hint
+
+
+def _astra_workflow_hint(root: Path) -> str:
+    """读取 Astra 独立开关并返回提示。
+
+    @param root: 当前部署项目根目录。
+    @return: Astra 提示块；关闭时为空串。
+    """
+    return _model_workflow_hint(root, "astra_workflow_hint", ASTRA_WORKFLOW_HINT, "Astra")
+
+
+def _sol_workflow_hint(root: Path) -> str:
+    """读取 Sol 独立开关并返回提示。
+
+    @param root: 当前部署项目根目录。
+    @return: Sol 提示块；关闭时为空串。
+    """
+    return _model_workflow_hint(root, "sol_workflow_hint", SOL_WORKFLOW_HINT, "Sol")
 
 
 def split_workflow(summary: str) -> dict[str, str]:
@@ -285,17 +311,24 @@ def render_part(root: Path, hook: str, part: str, hook_input: dict) -> dict | No
             message = f"workflow-state 基线未刷新：{error}"
             result["systemMessage"] = "\n".join(filter(None, [result.get("systemMessage"), message]))
             print(message, file=sys.stderr)
-        if (hook == HOOKS[0] and hook_input.get("model") == ASTRA_MODEL
-                and hook_input.get("source") in ("startup", "clear", "compact")):
-            try:
-                hint = _astra_workflow_hint(root)
-                if hint:
-                    context = f"{context}\n{hint}"
-            except Exception as error:
-                # 提示是可选增强；失败不能吞掉已成功生成的原生启动上下文。
-                message = f"Astra 工作流提示未注入：{error}"
-                result["systemMessage"] = "\n".join(filter(None, [result.get("systemMessage"), message]))
-                print(message, file=sys.stderr)
+        if hook == HOOKS[0] and source in ("startup", "clear", "compact"):
+            model = hook_input.get("model")
+            hint_builder = None
+            label = ""
+            if model == ASTRA_MODEL:
+                hint_builder, label = _astra_workflow_hint, "Astra"
+            elif model == SOL_MODEL:
+                hint_builder, label = _sol_workflow_hint, "Sol"
+            if hint_builder is not None:
+                try:
+                    hint = hint_builder(root)
+                    if hint:
+                        context = f"{context}\n{hint}"
+                except Exception as error:
+                    # 提示是可选增强；失败不能吞掉已成功生成的原生启动上下文。
+                    message = f"{label} 工作流提示未注入：{error}"
+                    result["systemMessage"] = "\n".join(filter(None, [result.get("systemMessage"), message]))
+                    print(message, file=sys.stderr)
     else:
         module = _load_hook(root, hook)
         if module.should_skip_injection():

package/src/cli.js

@@ -8,6 +8,7 @@ import { ProjectStore } from "./plugin/state/project-store.js";
 import { runTrellis } from "./lib/trellis-runner.js";
 import { parseCliArgs } from "./lib/cli-args.js";
 import { installWindowsTerminalInputRecovery, scheduleWindowsTerminalExit } from "./lib/terminal-state.js";
+import { DEFAULT_UPDATE_BACKUP_RETENTION } from "./constants.js";
 
 /**
  * flower-trellis CLI 主入口。
@@ -98,7 +99,7 @@ flower 自有 flag:
   --variant <old|0.5|0.6>  强制强化包变体(默认按 .trellis/.version 自动选)
   --target <dir>           目标目录(默认当前目录)
   --no-update-check        本次跳过 flower-trellis 新版本检测(等价 FLOWER_NO_UPDATE_CHECK=1)
-  --backup-retention <n>   update 成功后保留最近 n 份升级备份(默认 3,0=不清理)
+  --backup-retention <n>   update 成功后保留最近 n 份升级备份(默认 ${DEFAULT_UPDATE_BACKUP_RETENTION},0=不清理)
 
 启动更新检查:
   self-check --json [--manual]      稳定输出检查 JSON；manual 只绕过提示节流

package/src/constants.js

@@ -9,7 +9,7 @@
 export const VARIANTS = ["old", "0.5", "0.6"];
 
 /** `flower-trellis update` 默认保留的 Trellis 时间戳备份数量。 */
-export const DEFAULT_UPDATE_BACKUP_RETENTION = 3;
+export const DEFAULT_UPDATE_BACKUP_RETENTION = 1;
 
 /**
  * Trellis init 支持的全部平台 flag。