Update v0.1.3 post-release docs

README.ja-JP.md

@@ -8,9 +8,9 @@ DeepSeekCode は DeepSeek-first のターミナル code agent です。ローカ
 
 > Public beta status: Linux/macOS の dogfood とリポジトリ作業には今日から利用できます。
 > `v0.1.3` は GitHub Release binaries、検証済み GHCR image、TUI/service smoke gates、
-> `deepseek quickstart`、release-binary smoke verifier を備えています。Homebrew、
-> npm registry publishing、より広い external repo evidence、リッチな launch media は
-> 引き続き product-hardening work です。
+> `deepseek quickstart`、release-binary smoke verifier、検証済み Homebrew tap を
+> 備えています。npm registry publishing、より広い external repo evidence、
+> リッチな launch media は引き続き product-hardening work です。
 
 <p align="center">
   <img src="./docs/demo/deepseek-code-tui-demo.svg" alt="DeepSeekCode animated TUI demo recording" width="100%">
@@ -40,7 +40,16 @@ repo-aware です。
 
 ## クイックスタート
 
-ソースからインストール:
+Homebrew でインストール:
+
+```bash
+brew tap willamhou/deepseekcode
+brew install deepseek
+deepseek version
+deepseek quickstart
+```
+
+またはソースからインストール:
 
 ```bash
 cargo install --git https://github.com/willamhou/DeepSeekCode.git --locked
@@ -119,13 +128,11 @@ git から無視されます。
 Linux/macOS local CLI milestone に絞れば、中心となる interaction loop はすでに
 成立しています。残りは主に evidence depth と distribution polish です。
 
-- next-release matrix で release-binary shell/runtime smoke evidence を補強すること。
-  local recheck には `deepseek update release-smoke --version <version>` を使えます。
-- Homebrew tap credentials と public tap install verification。
+- npm registry publishing と public `npm install` verification。
 - Python invoice sample 以外の optional external repo fixtures。
 - committed model-backed SVG 以外の optional GIF/MP4 launch media。
 
-Windows long-tail service proof、hosted IDE evidence、npm registry publishing は
+Windows long-tail service proof、hosted IDE evidence、installed service proof は
 より広い product hardening であり、Linux/macOS local code-agent CLI milestone の
 blocker ではありません。
 

README.md

@@ -8,9 +8,9 @@ working from the same terminal.
 
 > Public beta status: usable today for Linux/macOS dogfooding and repository
 > work. `v0.1.3` ships GitHub Release binaries, a verified GHCR image, TUI and
-> service smoke gates, `deepseek quickstart`, and a release-binary smoke
-> verifier. Homebrew, npm registry publishing, broader external repo evidence,
-> and richer launch media are still product-hardening work.
+> service smoke gates, `deepseek quickstart`, a release-binary smoke verifier,
+> and a verified Homebrew tap. npm registry publishing, broader external repo
+> evidence, and richer launch media are still product-hardening work.
 
 <p align="center">
   <img src="./docs/demo/deepseek-code-tui-demo.svg" alt="DeepSeekCode animated TUI demo recording" width="100%">
@@ -40,7 +40,16 @@ plain chat wrapper. The default path is terminal-first and repo-aware:
 
 ## Quick Start
 
-Install from source:
+Install with Homebrew:
+
+```bash
+brew tap willamhou/deepseekcode
+brew install deepseek
+deepseek version
+deepseek quickstart
+```
+
+Or install from source:
 
 ```bash
 cargo install --git https://github.com/willamhou/DeepSeekCode.git --locked
@@ -120,15 +129,12 @@ git.
 For the Linux/macOS local CLI milestone, the core interaction loop is already in
 place. The remaining gaps are mainly evidence depth and distribution polish:
 
-- next-release matrix evidence for release-binary shell/runtime smoke, with
-  `deepseek update release-smoke --version <version>` available for local
-  rechecks;
-- Homebrew tap credentials and public tap installation verification;
+- npm registry publishing and public `npm install` verification;
 - optional additional external repo fixtures beyond the Python invoice sample;
 - optional GIF/MP4 launch media beyond the committed model-backed SVG.
 
-Windows long-tail service proof, hosted IDE evidence, and npm registry
-publishing are broader product-hardening work. They are not blockers for the
+Windows long-tail service proof, hosted IDE evidence, and installed service
+proof are broader product-hardening work. They are not blockers for the
 Linux/macOS local code-agent CLI milestone.
 
 ## Evidence

README.zh-CN.md

@@ -7,8 +7,8 @@ DeepSeekCode 是一个 DeepSeek-first 的终端 code agent，面向本地开发
 
 > Public beta 状态：今天已经可以用于 Linux/macOS dogfood 和仓库内代码任务。
 > `v0.1.3` 已提供 GitHub Release 二进制、实测 GHCR 镜像、TUI/service smoke gate、
-> `deepseek quickstart` 和 release-binary smoke verifier。Homebrew、npm registry
-> 发布、更广的外部仓库证据，以及更精致的发布素材仍属于产品硬化工作。
+> `deepseek quickstart`、release-binary smoke verifier 和已验证的 Homebrew tap。
+> npm registry 发布、更广的外部仓库证据，以及更精致的发布素材仍属于产品硬化工作。
 
 <p align="center">
   <img src="./docs/demo/deepseek-code-tui-demo.svg" alt="DeepSeekCode animated TUI demo recording" width="100%">
@@ -36,7 +36,16 @@ DeepSeekCode 的目标不是普通聊天壳，而是更接近 Claude Code CLI /
 
 ## 快速开始
 
-从源码安装：
+通过 Homebrew 安装：
+
+```bash
+brew tap willamhou/deepseekcode
+brew install deepseek
+deepseek version
+deepseek quickstart
+```
+
+或者从源码安装：
 
 ```bash
 cargo install --git https://github.com/willamhou/DeepSeekCode.git --locked
@@ -114,14 +123,12 @@ deepseek tui --runtime-url http://127.0.0.1:13000
 如果目标收敛到 Linux/macOS 本地 CLI，核心交互闭环已经成立。剩余差距主要是证据厚度
 和分发打磨：
 
-- 下一轮 release matrix 需要补 release-binary shell/runtime smoke 证据；本地可用
-  `deepseek update release-smoke --version <version>` 复验；
-- Homebrew tap 凭据与公开 tap 安装验证；
+- npm registry 发布和公开 `npm install` 验证；
 - Python invoice 样本之外，可选再补更多真实外部 repo fixtures；
 - 已提交 model-backed SVG 之外，可选补 GIF/MP4 发布素材。
 
-Windows 长尾 service proof、hosted IDE 证据和 npm registry 发布属于更大的产品硬化，
-不是 Linux/macOS 本地 code-agent CLI milestone 的 blocker。
+Windows 长尾 service proof、hosted IDE 证据和真实安装后的 service proof 属于更大的
+产品硬化，不是 Linux/macOS 本地 code-agent CLI milestone 的 blocker。
 
 ## 证据与检查
 

docs/current-status.md

@@ -11,8 +11,8 @@ DeepSeekCode 的目标是成为一个 DeepSeek-first 的 code agent CLI：用户
 当前执行口径收敛到 Linux/macOS 本地 code agent CLI。只要用户能在 Linux/macOS 安装并
 运行 `deepseek`，稳定进入 TUI/REPL，完成模型读写代码、shell 验证、diff review、
 resume 和本地 runtime/shell-supervisor 工作流，就可以认为这个 milestone 成立。
-Windows、hosted IDE 和 npm 发布属于更大的产品硬化目标；Homebrew 是 macOS 分发打磨，
-但不是核心交互能力 blocker。
+Windows、hosted IDE 和 npm 发布属于更大的产品硬化目标；Homebrew 已是经过 smoke
+验证的 Linux/macOS 分发路径。
 
 ## 当前判断
 
@@ -23,12 +23,10 @@ dogfood 证据。
 
 但它还不是“可以公开宣称等同 Claude Code CLI / Codex CLI”的成熟产品。剩余差距主要是：
 
-- Homebrew tap 和 npm registry 的发布凭据与公开安装验证；
+- npm registry 的发布凭据与公开安装验证；
 - 更多真实外部 repo 样本；
 - 持续维护精简的新用户文档、public beta 说明和故障排查路径；
-- 干净 Linux x64/macOS 机器上的 release-binary install smoke 复验；
-- Linux arm64 release artifact、hosted IDE、真实安装后的 systemd/launchd service smoke、
-  以及更广的 Windows 长尾验证。
+- hosted IDE、真实安装后的 systemd/launchd service smoke，以及更广的 Windows 长尾验证。
 
 ## 已经成立的证据
 
@@ -46,12 +44,22 @@ dogfood 证据。
   `recovery 23/25`、`pr_workflow 47/50`。
 - README 已提交真实 model-backed SVG，展示失败 Rust 测试、模型修改、通过 `cargo test`
   和最终 diff。
-- `v0.1.2` 已发布 GitHub Release binaries，并通过 Release Matrix：
-  https://github.com/willamhou/DeepSeekCode/actions/runs/26349960665
-- `v0.1.2` GHCR image 已由 workflow 推送，公开 registry manifest 可读取，digest 为
-  `sha256:c927e14280c6a7f41a11811a23d0f7824eaf936cdd58ca2f7a7f28d62b12d75a`。
-- `v0.1.2` npm/Homebrew packaging metadata、download-plan 和 publish-status 检查已就绪；
-  npm registry 发布因缺少 `NPM_TOKEN` 跳过，Homebrew tap 发布因缺少 tap 配置跳过。
+- `v0.1.3` 已发布 GitHub Release binaries，并通过 Release Matrix：
+  https://github.com/willamhou/DeepSeekCode/actions/runs/26351958964
+- `v0.1.3` release assets 覆盖 Linux x64、Linux arm64、macOS x64、macOS arm64 和
+  Windows x64；新增 Linux arm64 build 在 hosted `ubuntu-24.04-arm` 上完整通过。
+- `v0.1.3` Release Smoke 已在干净 hosted Linux x64、Linux arm64、macOS x64 和
+  macOS arm64 runner 上验证公开 release binary 下载、checksum、解压和 install smoke：
+  https://github.com/willamhou/DeepSeekCode/actions/runs/26352088322
+- `v0.1.3` GHCR image 已由 workflow 推送，公开 registry manifest 可读取，digest 为
+  `sha256:f7f1574e100bd491cf2e8ddfa4aefccca5a957867b97199fd930f0e6b0af9fc9`。
+- Homebrew tap 已发布到 `willamhou/homebrew-deepseekcode`，canonical tap 命令
+  `brew tap willamhou/deepseekcode && brew install deepseek` 已通过 macOS x64/arm64
+  Homebrew Smoke：
+  https://github.com/willamhou/DeepSeekCode/actions/runs/26352180898
+- `v0.1.3` npm packaging metadata、download-plan 和 publish-status 检查已就绪；
+  npm registry 发布因 repository secrets 中缺少 `NPM_TOKEN` 被 tag workflow 明确跳过，
+  当前 `npm view @deepseek-code/cli` 仍为 registry 404。
 - PR #18 增加 `deepseek quickstart` / `deepseek onboarding` 首跑检查，并通过 CI：
   https://github.com/willamhou/DeepSeekCode/actions/runs/26335387193
 - PR #19 增加 `deepseek update release-smoke`，用于发布二进制复验，并通过 CI：
@@ -78,41 +86,38 @@ dogfood 证据。
   CI smoke，但不是 Linux/macOS milestone blocker。
 - 自动化：background worktree task runner，GitHub Action review/fix/patch bridge，
   disabled-by-default hosted review/write workflow examples。
-- 发布：GitHub Release、GHCR、release package、npm package staging、Homebrew formula
-  rendering、secret scan、publish-status readiness audit。
+- 发布：GitHub Release、GHCR、release package、Homebrew tap、npm package staging、
+  Homebrew formula rendering、secret scan、publish-status readiness audit。
 
 ## 剩余工作
 
 ### Linux/macOS 本地 CLI milestone
 
-这个限定目标的核心交互能力和 evidence gate 已经成立。下一步主要是 release hardening：
+这个限定目标的核心交互能力和 evidence gate 已经成立。下一步主要是样本厚度和文档维护：
 
-1. 在干净 Linux x64 和 macOS 机器上执行
-   `deepseek update release-smoke --version 0.1.2 --json`，记录公开 release binary 安装复验。
-2. 配置 Homebrew tap 凭据，完成 tap 发布和公开安装验证。
-3. 评估是否需要 Linux arm64 release artifact；当前本机 `aarch64` 不能执行已发布的
-   `linux-x64` artifact。
-4. 可选再增加 1-2 个真实外部 repo fixture，扩大 multi-file/多语言样本厚度。
-5. 持续维护 README、install、release、current-status、public-beta 和 dogfood evidence
+1. 可选再增加 1-2 个真实外部 repo fixture，扩大 multi-file/多语言样本厚度。
+2. 持续维护 README、install、release、current-status、public-beta 和 dogfood evidence
    文档；当前推荐首跑入口是 `deepseek quickstart`，README 只保留安装、试用、证据入口。
 
 ### 更大产品目标
 
 1. 配置 `NPM_TOKEN` 并发布 npm wrapper，验证 `npm install` 后裸 `deepseek` 入口。
-2. 在干净 Linux/macOS 机器上安装 systemd/launchd user services，记录
+2. 配置 `HOMEBREW_TAP_TOKEN`，让后续 tag workflow 自动更新 tap；当前 `v0.1.3` tap
+   已手动发布并验证。
+3. 在干净 Linux/macOS 机器上安装 systemd/launchd user services，记录
    `service-doctor --installed` 和 `service-smoke --installed` 证据。
-3. 补真实 VS Code CLI runner 或 manual GUI fixture 证据。
-4. 持续和 Claude Code CLI / Codex CLI / DeepSeek-TUI 做核心 loop 对照，只保留会影响真实用户使用的差距。
+4. 补真实 VS Code CLI runner 或 manual GUI fixture 证据。
+5. 持续和 Claude Code CLI / Codex CLI / DeepSeek-TUI 做核心 loop 对照，只保留会影响真实用户使用的差距。
 
 ## 推荐公开表述
 
 > DeepSeekCode is usable today for Linux/macOS dogfooding and repository work,
 > with a full-screen TUI, REPL, durable runtime, permissioned tools, hosted
-> Linux/macOS shell-supervisor smoke gates, release binaries, a 100-run online
-> dogfood release gate, verified online multi-file external fixture evidence,
-> real hosted GitHub workflow evidence, and a committed real model-backed README
-> demo SVG. The remaining Linux/macOS CLI work is Homebrew publishing,
-> clean-machine release binary smoke evidence, broader external sample depth,
-> and continuing documentation polish; hosted IDE, Linux arm64, Windows/service
-> proof, npm publishing, and optional richer demo media remain broader
-> product-hardening work.
+> Linux/macOS shell-supervisor smoke gates, release binaries including Linux
+> arm64, clean hosted release-smoke evidence, a verified Homebrew tap, a 100-run
+> online dogfood release gate, verified online multi-file external fixture
+> evidence, real hosted GitHub workflow evidence, and a committed real
+> model-backed README demo SVG. The remaining Linux/macOS CLI work is broader
+> external sample depth and continuing documentation polish; hosted IDE,
+> Windows/service proof, npm publishing, and optional richer demo media remain
+> broader product-hardening work.

docs/install.md

@@ -2,6 +2,20 @@
 
 `deepseek` 是默认命令名。推荐先安装，再用 `deepseek version` 和 `deepseek quickstart` 做最小验证。
 
+## Homebrew
+
+macOS/Linux 推荐从公开 tap 安装：
+
+```bash
+brew tap willamhou/deepseekcode
+brew install deepseek
+deepseek version
+deepseek quickstart
+deepseek doctor --json
+```
+
+`v0.1.3` 的 tap 已通过 macOS x64 和 macOS arm64 Homebrew Smoke 验证。
+
 ## 从源码安装
 
 从公开仓库直接安装：
@@ -222,7 +236,8 @@ docker run --rm ghcr.io/willamhou/deepseekcode:0.1.3 version
 ```
 
 同一次 tag 发布会写入 `<version>`、`v<version>` 和 `latest` 三个 tag；镜像名会按
-GHCR 要求转成小写。每次发布后都要读取公开 registry manifest 并记录真实 digest；
+GHCR 要求转成小写。`v0.1.3` 的公开 registry manifest digest 为
+`sha256:f7f1574e100bd491cf2e8ddfa4aefccca5a957867b97199fd930f0e6b0af9fc9`；
 有 Docker 权限的机器仍应按上面的 `docker run` 命令做本地 pull/run smoke。
 
 npm wrapper 位于 `npm/`，用于发布时把平台 binary 包装成 `deepseek` 命令。root 包通过 optional dependency 解析当前平台的 binary 包，例如 `@deepseek-code/cli-linux-x64`、`@deepseek-code/cli-linux-arm64`、`@deepseek-code/cli-macos-arm64`、`@deepseek-code/cli-macos-x64` 和 `@deepseek-code/cli-windows-x64`。发布前至少验证 wrapper 语法、平台包解析和本地 binary 转发：
@@ -247,9 +262,9 @@ npm tarball，并在 tag run 且配置 `NPM_TOKEN` 时先发布平台包，再
 齐全；加 `--json` 会输出 `deepseek.publish_status.v1`，便于 CI 或 release
 脚本消费。输出中的 `public_install` 会区分 source checkout、GitHub Release、
 npm、Homebrew、GHCR 和 Cargo registry 当前是 `source_available`、
-`ready_to_publish`、`requires_publish` 还是 `source_only_policy`。每次 tag 发布后
-都要重新记录 GitHub Release、GHCR、npm 和 Homebrew 的真实状态；在配置
-registry/tap 凭据并完成外部验证前，不要把 npm/Homebrew 写成已可用。
+`ready_to_publish`、`requires_publish` 还是 `source_only_policy`。`v0.1.3` 的
+GitHub Release、GHCR 和 Homebrew tap 已完成公开验证；npm registry 仍未发布，
+因为 repository secrets 中没有 `NPM_TOKEN`，tag workflow 明确跳过 npm publish。
 
 ## Runtime 服务模板
 
@@ -269,7 +284,7 @@ Linux 用户通常把 `services/systemd/*.service` 安装到
 install、start、status、logs、restart、stop、disable/unload 和 runtime
 health-check 命令；命令只生成文件，不会自动 enable、load 或 start。
 
-## Homebrew
+## Homebrew Formula
 
 Homebrew formula 模板位于 `packaging/homebrew/deepseek.rb`。它指向 GitHub
 release assets：
@@ -282,7 +297,9 @@ release assets：
 正式发布前必须把 formula 里的 `sha256` 占位值替换为对应 release asset 的真实
 SHA-256。GitHub `Release Matrix` workflow 会为每个 archive 上传旁路
 `.sha256` 文件并创建 signed artifact attestations，优先使用这些值填写
-formula，确保 tap 和发布资产完全一致。安装前可用 `gh attestation verify
+formula，确保 tap 和发布资产完全一致。`v0.1.3` 的 tap formula 已用 release asset
+SHA-256 更新，并通过 Homebrew Smoke run `26352180898` 在 macOS x64/arm64 上完成
+公开 tap 安装验证。安装前可用 `gh attestation verify
 <archive> --repo <owner>/<repo>` 验证 provenance。然后运行：
 
 ```bash