没有不值得去解决的问题,也没有不值得去学习的技术!

审核都通过了,为什么上线前还要再检查一次?v2 的 Activation、prior SHA 与 CAS 设计

v2 Activation 流程图:Surface PASS 后先执行只读 activation-preflight 获取 prior_sha256,activation-apply 时通过 CAS 再次比较当前状态,只有 current 等于 prior 才提交 result_sha256,否则停止并重新 preflight。

作者:

在

Go 学习与文档多语言本地化项目

图3:访问过去的 Go Tour 简体中文站 tour.go-zh.org 时,当前已经无法正常建立连接。

(1) 从「A Tour of Go 中文版」这个搜索词开始:我决定做一个持续维护的 Go Tour 中文版

本地运行的 A Tour of Go「Methods continued」课程页面,左侧为课程说明,右侧为 Go 代码编辑器及运行结果。

(2) A Tour of Go 中文版项目设计冻结:从 101 页到 103 页,从 Gin 转向 Cobra CLI

A Tour of Go 中文版开发实战:英文基线、在线运行与 101 页上游同步体系

(3) A Tour of Go 中文版开发实战:英文基线、在线运行与 101 页上游同步体系

go-tour-i18n 项目完成首个简体中文课程页面 welcome/1 的整页翻译、结构校验和本地预览。

(4) A Tour of Go 多语言翻译项目实录:完成首个 zh-CN 页面翻译闭环

图 1:DeepSeek 官方更新日志显示,本次只更新 DeepSeek-V4-Flash,DeepSeek-V4-Pro API 与 APP、Web 模型均未更新

(5) A Tour of Go 中文翻译项目进展:完成前 8 页、修复 present 语法,并暂缓 DeepSeek 对比

图 1:generics/1 简体中文页面本地预览

(6) 一个页面重试五次:使用 GLM-5.2 翻译 A Tour of Go 时遇到的 Token 与 Present 结构问题

图 1:methods/16 简体中文页面浏览器预览

(7) A Tour of Go 中文翻译实录:如何只翻译教学代码注释,而不破坏 Go 代码

图 2:A Tour of Go methods/20「练习:错误」中文候选页面最终渲染效果

(8) A Tour of Go 多语言翻译:当正确的中文语序被受保护标记顺序校验误判

图 3:methods/24 中文页面,静态代码、Bounds 行内代码和链接内的 image.Rectangle 均正确渲染

(9) A Tour of Go 中文翻译完成 7 个代表页校准:最后 3 页又发现了哪些真实问题

图 2:首批 10 个普通页面经过试跑与流程校准后全部进入 ready

(10) A Tour of Go 多语言翻译项目:首批 10 个普通页面试跑,从 2 个 blocked 到全部 ready

图 2:flowcontrol/6 最终中文页面,return 与 v 为适应自然中文语序发生整体换位

(11) A Tour of Go 中文翻译第二批实跑:从 Inline Code 顺序误判到历史响应重新验证

图 1:flowcontrol/6 首次原始输入实验直接通过统一自动校验

(12) A Tour of Go 多语言翻译项目:从 swap 问题重新审视 Token 保护,原始输入与最小保护的一次真实实验

图 7:moretypes/1 最终中文页面预览。左侧课程正文、静态代码块、行内代码和教学注释均正常渲染,右侧官方 Go 示例继续保持原样。

(13) A Tour of Go 多语言翻译实战:第三批 10 页全部 Ready,继续校准 Protected Token 的结构角色

图 4:上游源码确认共有 103 个课程页面,zh-CN 最终达到 ready=103、pending=0、blocked=0

(14) A Tour of Go 多语言翻译项目:zh-CN 103 个课程页面全部 ready,课程正文翻译阶段完成

图 4:GitHub 与 ChatGPT 已成功连接

(15) ChatGPT 连接 GitHub 实测:让 AI 直接读取 go-tour-i18n 仓库参与译文审核

图 3:中文 Go 术语校准完成后,将确定的译法写入 zh-CN glossary

(16) 为什么 channel 最终选择“通道”:A Tour of Go 中文术语统一的一次实践

图 1:技术含义基本正确,但“返回一个返回……”已经明显影响阅读,因此仍被列入 C 类修订

(17) 103 页逐页审核后,只返修 16 页:A Tour of Go 中文正文发布前质量审计

图 2:中文课程页面以及已经完成本地化的编辑器控制区

(18) A Tour of Go 多语言翻译项目:公共 UI 本地化完成,从课程译文走向完整中文界面

图 2:完整 zh-CN 正式投影成功生成,103 个课程页面被重新组装为 7 个 .article

(19) 从 103/103 ready 到完整站点验收:A Tour of Go 中文版补齐正式投影与课程元数据本地化

图 3:从 production bundle 独立启动的 A Tour of Go 简体中文页面,课程正文、公共 UI 和官方 Go 示例均已进入最终发布形态。

(20) A Tour of Go 多语言翻译项目:103 页全部完成后,我终于生成了可独立部署的 zh-CN Production Bundle

图 1:A Tour of Go 简体中文版正式生产页面,远程运行已经成功输出“Hello, 世界”。

(21) A Tour of Go 多语言翻译项目:zh-CN 正式上线,从生产发布到 go.dev Playground 的完整部署记录

图 1:新生产域名 go-dev.shuijingwanwq.com 已正常访问,Go 示例远程运行成功

(22) A Tour of Go 多语言翻译项目:从 go-tour 到 go-dev,完成 EdgeOne、Nginx 与 HTTPS 生产域名迁移

图 1:A Tour of Go 多语言翻译项目正式生产首页

(23) A Tour of Go 多语言翻译项目正式上线:从项目首页、公共 Footer 到生产发布元数据的完整收尾

图 3:GA4 g/collect 请求返回 HTTP 204,并携带当前课程页面地址,确认 Google Analytics 已产生真实事件上报

(24) A Tour of Go 多语言翻译项目:接入 Google Analytics 与百度统计,从 systemd 注入到 EdgeOne 与真实上报验证

图 1:生产环境 robots.txt 与 sitemap.xml 已正确对外提供,Sitemap 共包含 104 个规范 URL。

(25) A Tour of Go 中文站上线后:补齐 robots.txt、Sitemap,并完成五大搜索引擎提交

图 4:发布生产并刷新 EdgeOne 缓存后,再次通过真实手机访问,顶栏项目名称已经完整保持在一行,最终移动端验收通过。

(26) A Tour of Go 多语言翻译项目:修复手机端首页顶栏标题换行,并完成真机验证

图 3:生产自动部署脚本第一次真实运行时,systemd 已经显示 active,但首次 localhost 探测仍然得到 HTTP 000;随后连续 3 次同时满足 active + HTTP 200 后,脚本才判定部署成功,并继续完成公网 HTTP 200 验收。这次真实运行验证了连续应用层健康检查的必要性。

(27) A Tour of Go 多语言翻译项目:从一次 203/EXEC 故障到生产自动部署脚本落地

图 1:阿里云生产环境访问 go.dev Playground 时出现 TLS 握手超时

(28) A Tour of Go 多语言翻译项目:为 Playground 搭建独立的 ZgoCloud 执行代理

图 3:清除 /tour/script.js 缓存后,Run 已直接请求 ZgoCloud /compile 并返回 HTTP 200

(29) A Tour of Go 多语言翻译项目:将生产 Run / Format 切换到 ZgoCloud 执行节点

【图 1:微信中运行 Go 示例时出现 Error communicating with remote server.】

(30) A Tour of Go 中文版手机端运行与格式化偶发失败排查:从间歇性报错到补强 Nginx 可观测性

【图 4:向 golang-dev 公开邮件列表发送 Playground 使用告知邮件并投递成功】

(31) A Tour of Go 多语言项目:为 Playground 代理增加唯一 User-Agent,并主动告知 Go 官方

【图 3:百度剩余 9 个核心 URL 提交成功,remain 归零】

(32) A Tour of Go 搜索引擎收录实测:从 Google 自然索引到百度主动提交与 Bing IndexNow

【图 1:当前正式中文 methods/24 页面,右侧示例代码运行成功】

(33) A Tour of Go 中文翻译完成后,我为什么重新评估 minimal-protect 翻译模式

【图 3:5 个页面 Request SHA256 完全一致,但 Response SHA256 全部不同】

(34) A Tour of Go 翻译实验:更多原始上下文为什么没有更好?从 157 个保护标记到 30 次重复盲评

图 3:3 个代表页 × 4 个评审模型,共 12 次匿名评审的完整排名与第一名票数。

(35) A Tour of Go 翻译质量再评估:minimal-protect 未达预期后,我开始比较 ChatGPT、Codex 与 GLM-5.2

图 2:GitHub 中的 chatgpt-zh-CN-008 重译批次。一个 Batch 同时保存 inputs、raw-responses、candidates、validation 和 retry 记录,GitHub 成为 ChatGPT 与本地翻译流水线之间的数据交接层。

(36) 没有 OpenAI API,我如何用 ChatGPT + GitHub 完成 A Tour of Go 103 页全量重译

图 1:103 个正式课程页面完成最终语义质量审核,结果为 A=103、B/C/D=0,同时不存在缺失、重复或额外页面。A/B/C/D 是本轮项目内部语义质量分级,并不是自动结构 validator 的结果。

(37) 103 页翻完还不能发布:A Tour of Go ChatGPT 译文的语义审核与 Canonical Promotion

图 3:7 个 article endpoint 的 production origin 与 EdgeOne 公网响应全部 exact match,同时新的 ChatGPT 译文标记存在,旧版译文标记已经消失。

(38) 103/103 与 7/7 Exact Match:A Tour of Go ChatGPT 新译文的最终线上验收

【图 2:upstream source preview】

(39) A Tour of Go 多语言翻译项目首次实现 upstream 同步机制:从一次性翻译到长期维护

图 2:A/B/C/D 质量评级规则,展示正式质量 rubric 与 Promotion gate。

(40) A Tour of Go 多语言翻译项目引入 Translation Quality Review:从自动验证到 AI 翻译质量控制

图 4:翻译后 Playground Example,展示中文注释与保持不变的 Go 代码结构。

(41) A Tour of Go 多语言翻译项目实现 Playground Example 本地化:从代码注释翻译到完整学习体验

图 5:公网页面验证广告脚本输出

(42) A Tour of Go 多语言翻译项目接入广告系统:从 AdSense 专用配置到通用 HTML 注入架构

图 3:百度统计单页应用设置

(43) go-dev 单页网站接入统计与 Google AdSense Auto Ads 验证记录

图 1:GitHub 仓库中的多语言翻译项目结构

(44) A Tour of Go 多语言翻译项目:选择日语作为第二语言并启动翻译验证

图 5:模型身份描述不一致

(45) A Tour of Go 多语言翻译项目中的 AI 协作异常排查:一次长期工程会话失效分析

【图 1:ChatGPT GitHub 写入流程调整说明截图】

(46) go-tour-i18n 翻译流程调整:从 ChatGPT GitHub 写入到本地 artifact 导入

图 4 展示了本次异常状态。

(47) go-tour-i18n 翻译自动化流程复盘:已验证的 ChatGPT 翻译能力在新任务中的稳定性问题

【图 6:全部评审结束以后才读取 secret key,完成最终揭盲】

(48) A Tour of Go 翻译质量再评估:Codex High 已接近 ChatGPT High,我决定调整默认翻译引擎

图 4:ja-JP 生产课程页实际运行 Go 示例

(49) A Tour of Go 日语版正式上线:第二门语言 ja-JP 完成生产发布

图 1:ja-JP 上线以后,先提交“新增语言标准化流程”

(50) A Tour of Go 多语言扩展复盘:为第三门语言建立标准化流程

图 1:课程正文结束以后,页面左侧仍然存在大块视觉空白,但 AdSense 并没有在这里插入展示广告。

(51) A Tour of Go 明明有大片空白,为什么 AdSense 就是不显示展示广告?

图 2:golang/website 当前的 _content/tour/。课程内容、静态资源和模板都在这个上游目录中持续维护。

(52) 为了 AdSense,要不要放弃 SPA?A Tour of Go 页面架构的一次取舍

图 4:最终的手动课程广告真实展示在课程内容区域内,而不是 footer 之后。

(53) 保留 SPA 以后,广告应该放在哪里?从 AdSense 预览到方案 B

图 1:Google Search Console 中,多个不同的 A Tour of Go 课程 URL 被判断为“重复网页,用户未选定规范网页”。

(54) SPA 的 SEO 老问题:为什么最后还是给 103 个 A Tour of Go 课程页生成了 Prerender HTML

图 2:方案 B 生产环境中,源码已经正常,但课程主体高度异常缩短,footer 提前进入第一屏。

(55) 从源码空白到 AdSense 高度污染:A Tour of Go 方案 B 的生产收尾

图 1:A Tour of Go 德语版 de-DE 已正式运行在生产环境

(56) A Tour of Go de-DE 上线复盘:第三门语言用了约 16 小时,下一门如何压到 8 小时?

图 1:fr-FR 首次 production 验收完成后,我没有立即开始 ko-KR,而是先连续完成新增语言与首次生产流程的优化

(57) 法语版上线后,我没有马上开始韩语:A Tour of Go 新增语言流程的一轮完善与简化

图 1:根据 ko-KR 期间 76 次 Git 提交估算实际工作时间

(58) 原本预计 6 小时,最后用了约 16~18 小时:A Tour of Go 韩语版上线复盘

图 2:英文 source 与当时发生 validation failure 的 ko-KR candidate 对比

(59) Validator 报错,到底该改译文还是改规则?一次 A Tour of Go 韩语翻译实战

图 2:法语 A Tour of Go 仓库目前已经归档,页面仍保留 553 Commits 和 61 Contributors 的历史

(60) 从法语 553 次提交到韩语两代离线:A Tour of Go 社区翻译为什么难以长期维护

【图 4:es-ES 首次 Production 收口后连续完成的流程优化 commit】

(61) 从 es-ES 首次上线复盘:我把 A Tour of Go 新增语言的 Production 流程又收敛了一轮

图 1:旧公网验收链路连续出现 curl 28 超时,最终导致 public-machine 阶段失败

(62) A Tour of Go Production 公网验收踩坑:从跨境 SOCKS 链路改为 zgocloud direct

图 1:两次 Production Machine Acceptance 都已经通过,但 Headless Chrome 分别在 / 和 /tour/ 判定页面没有完成渲染

(63) 页面明明能打开,为什么 Headless Chrome 仍然判定 Production 失败?

图 3:Bing 从 Google Search Console 中识别到新的 it-IT 站点,并同时发现已有的 1 个 sitemap

(64) GSC → Bing Webmaster Tools:多语言站点如何减少重复验证

图 3:英文站 3 小时内出现 565 个 Cloudflare 来源 URL

(65) IndexNow 实战:手工提交长期不显示,Cloudflare Crawler Hints 却很快出现在 Bing Webmaster Tools

【图 1:A Tour of Go 项目首页目前的语言版本列表】

(66) 从 nl-NL 到 tr-TR:A Tour of Go 连续上线三门语言后,我又优化了哪些流程

【图 4:Go local 页面中已经出现 French、German、Korean、Simplified Chinese】

(67) 从邮件无人回复到进入 Go 官方 Go local:我的 4 个 A Tour of Go 翻译站终于被收录

图8:最终只保留一把启用的新 API Key

(68) 腾讯云 EdgeOne API 自动化:从 CAM 子用户到最小权限 API Key 的完整配置

【图 7:Production Release Batch 最终汇总】

(69) 从同步 Go 官方上游到一个命令发布 10 个语言站:A Tour of Go Production 流程的再次收敛

【图 3:Cloudflare Smart Tiered Cache 已启用】

(70) Cloudflare 缓存 HIT 很快,MISS 却不稳定:回源阿里云杭州的一次真实优化

【图 3:简体中文站 Support 页面】

(71) 广告之外,社区项目如何长期活下去?我给 A Tour of Go 多语言项目加了 Support

图5:评论成功发布

(72) 从 Go Weekly 到 Reddit、DEV 和 Go Forum:第一次系统推广 A Tour of Go 多语言项目

【图 4:RTL 桌面课程布局修复后的效果】

(73) 第一次把 A Tour of Go 做成 RTL:阿拉伯语版本上线,以及我踩过的几个坑

多语言项目应该先做哪些语言?我的 66 个语言版本商业优先级排序

(74) 多语言项目应该先做哪些语言?我的 66 个语言版本商业优先级排序

当术语一致性遇到性能瓶颈:Go 多语言翻译项目的一次架构取舍

(75) 当术语一致性遇到性能瓶颈:Go 多语言翻译项目的一次架构取舍

从 A Tour of Go 走向 Go Learning & Documentation:为什么这个多语言项目需要 v2

(76) 从 A Tour of Go 走向 Go Learning & Documentation:为什么这个多语言项目需要 v2

Markdown 明明可以拆成很多段,为什么 v2 仍然坚持一个 Page 就是一个 TranslationUnit

(77) Markdown 明明可以拆成很多段,为什么 v2 仍然坚持一个 Page 就是一个 TranslationUnit

Tour、Learn、Docs 为什么不应该各维护一份术语表:v2 的统一 Glossary 设计

(78) Tour、Learn、Docs 为什么不应该各维护一份术语表:v2 的统一 Glossary 设计

v2 术语表变更后的页面影响范围判断流程:区分 Compatible 与 Affected,只处理真正受影响的页面。

(79) 术语表改了,为什么不应该让所有页面重新翻译?v2 的影响范围判断

CLI 性能优化示意图:通过 Prepare Once、Reuse Many Times,将执行时间从 6m54.554s 降至 10.335s,约提升 40.1 倍。

(80) 从 6 分 54 秒到 10.3 秒:Go 多语言项目一次 CLI 性能优化实战

Markdown Page 经过 Parse / Protect、Generation 和 Reconstruct / Validate 的流程示意图,强调保护 inline code、链接、代码等机器语义,同时允许译文按照自然语言调整语序。

(81) Markdown 不是纯文本:Learn / Docs 为什么需要新的 parser 与结构保护

历史状态通过 Trusted Checkpoint 建立可信断点,旧记录继续保留用于审计和诊断,后续工作流从当前状态继续向前,不再要求无限重建过去。

(82) 历史应该被保留,而不是被反复重建:v2 为什么最终需要一个“断点”

历史为什么值得保留:复用已经完成的翻译成果,而不是重新做一遍

(83) 历史为什么值得保留:复用已经完成的翻译成果,而不是重新做一遍

v2 依赖与失效传播流程图:从内容变化开始,评估依赖关系和真实影响,将结果区分为“仍然有效”和“需要失效”,只让真正受影响的状态重新进入流程。

(84) 一次内容变化,到底应该让哪些状态失效?v2 的依赖与失效传播设计

v2 本地内容覆盖判断流程图:官方英文页面先检查是否已有正式本地覆盖,有覆盖时使用本地 URL,没有覆盖时直接链接 go.dev,并保持本地路径真实 404。

(85) 有英文页面,不代表一定应该有本地页面:v2 如何处理本地内容覆盖、canonical 与真实 404

v2 代码注释完整性审计流程图:从源页面建立代码块清单,分类教学注释、机器语义和无法判断的内容,再与当前译文精确对应,确认 missing、extra 和 protected mutation 均为 0。

(86) 代码块里的注释为什么不能只靠肉眼检查?v2 如何统计并验证代码注释翻译完整性

结构化语义输入扩展示意图:同一份 books.yaml 原始文件保持不变,旧 parser 识别 10 个可本地化单元,当前 parser 识别 12 个,并新增 PDF 和 GitHub,确认旧单元无删除无修改后重新进入 Generation。

(87) 原始文件一个字没变,为什么还要重新翻译?从 books.yaml 10→12 看语义输入扩展

v2 Activation 流程图:Surface PASS 后先执行只读 activation-preflight 获取 prior_sha256,activation-apply 时通过 CAS 再次比较当前状态,只有 current 等于 prior 才提交 result_sha256,否则停止并重新 preflight。

(88) 审核都通过了,为什么上线前还要再检查一次?v2 的 Activation、prior SHA 与 CAS 设计

前面的流程已经很长了。

一份内容从 Generation 开始,要经过机器校验、独立审核、修订、复审、最终确认、内容包封存,然后还要进入整合站点层(Surface)审核。

如果这些全部通过,很容易产生一个直觉:

既然内容和整合站点都已经审核通过,那接下来直接激活不就行了吗?

我最开始也比较容易这样理解。

但真正实现 Activation 以后发现,这里面还差一个非常重要的问题:

审核通过时看到的状态,和真正准备写入激活状态时看到的状态,还是同一个状态吗?

如果不能证明这一点,那么即使之前所有审核都正确,最后一次写入仍然可能覆盖掉别人在这段时间里已经完成的变化。

所以 v2 最终没有把 Activation 设计成:

“Surface PASS 以后执行一次写入。”

而是拆成了:

先做只读 preflight,冻结当前前驱状态;真正 apply 时再验证这个前驱仍然没有变化。

这里就出现了三个很关键的概念:

  • activation-preflight
  • prior_sha256
  • CAS

这篇就专门整理它们为什么存在。


Surface PASS 证明的是“审核通过”,不是“状态永远不会再变”

先把两个阶段分开。

整合站点审核主要回答:

当前准备整合进站点的内容,在完整站点上下文里是否正确?

它会关注:

  • 页面之间的链接;
  • 本地内容覆盖;
  • structured content;
  • glossary;
  • carried 内容与 fresh 内容;
  • 整合后的语义;
  • 页面之间是否出现冲突。

如果通过,就可以证明:

这一组输入在审核时组成的整合站点状态是可以接受的。

但是它不能证明:

从审核结束以后,仓库里的激活权威状态永远不会再变化。

例如:

Plaintext
10:00:Package A 的 Surface PASS
10:03:另一个合法流程激活了 Package B
10:05:Package A 开始执行 Activation

这时候 Package A 在 10:00 审核时看到的前驱状态,和 10:05 真正准备写入时的前驱状态,已经可能不是同一个了。

如果 Activation 仍然直接按照 10:00 的假设写入,就有可能把 10:03 的合法变化覆盖掉。

所以:

Surface PASS 是语言和整合质量证明,不是并发写入锁。


Activation 真正修改的是什么

这里还有一个容易混淆的地方。

Activation 并不等于:

把网站直接部署到 Production。

它更接近:

把某个已经完成正式生命周期的内容包,写入当前激活权威状态。

也就是说,工作流中仍然有:

Plaintext
Package Closure
→ Integrated Surface Review
→ Activation
→ Preview
→ Production

Activation 解决的是:

哪一组经过证明的内容现在正式属于 activated state。

而 Preview 和 Production 还要继续验证真正的渲染、路由、浏览器行为和生产发布。

所以:

Activation 不是部署终点,而是正式内容状态发生变化的那个写入点。

也正因为它真的会改变权威状态,所以这里必须比普通只读检查更谨慎。


为什么不能直接执行 activation-apply

假设当前激活状态是:

Plaintext
当前状态:S0

Package A 已经完成:

Plaintext
Generation
→ validation
→ Independent QC
→ A-only finalization
→ package closure
→ Integrated Surface Review PASS

现在希望把 A 激活进去。

最简单的设计可能是:

Plaintext
读取当前状态 S0
→ 加入 Package A
→ 写成 S1

问题在于:

“读取 S0”和“写入 S1”不是同一个瞬间。

如果中间发生了另一个合法写入:

Plaintext
读取时:S0
另一个流程写入:S0 → SB
当前流程仍然写入:S0 → SA

最终可能变成:

Plaintext
SB 被 SA 覆盖

而 Package A 本身可能完全没有问题。

Surface 也可能完全没有问题。

真正的问题只是:

写入时使用了已经过期的前驱假设。

所以 Activation 不能只问:

“我准备写什么?”

还必须问:

“我准备基于哪个当前状态写?”


这就是 prior_sha256 的作用

v2 的 Activation 会先执行:

activation-preflight

它是只读的。

输入不是 Surface receipt,也不是 Surface scope,更不是 Reviewer Bundle。

它的正式输入是:

package closure

preflight 会从这个 closure 出发,自动找到当前应该绑定的 Integrated Surface 状态,并重新计算当前 Activation plan。

其中一个非常重要的输出就是:

prior_sha256

可以把它理解成:

“我刚刚检查过的当前前驱状态”的精确 SHA-256。

例如概念上:

Plaintext
package closure:Package A
当前激活状态:S0
prior_sha256:hash(S0)
计划结果状态:S1
result_sha256:hash(S1)

这时候 preflight 只是告诉维护者:

如果当前状态仍然是这个 prior_sha256,那么应用这次 closure 后,预期结果应该是这个 result_sha256。

它还没有修改任何正式状态。


preflight 为什么必须是只读的

这点非常重要。

如果 preflight 本身就修改状态,那么:

“检查当前状态”和“正式写入状态”

就又混在了一起。

失败以后也会很难回答:

到底有没有改过?

所以 v2 明确要求:

activation-preflight 不执行正式状态变更。

它负责的是:

  • 读取 package closure;
  • 找到当前 Integrated Surface;
  • 检查 closure 与 Surface 是否仍然有效;
  • 读取当前激活 authority;
  • 计算 exact prior state;
  • 计算预期 result state;
  • 判断是否已经处于目标状态。

最后输出一个完整计划。

这一步失败时,应该可以明确说:

Plaintext
MUTATION=none

也就是说:

检查失败不应该留下半个 Activation。


result_sha256 又解决什么问题

prior_sha256 描述的是:

写入之前应该看到什么。

result_sha256 描述的是:

如果这次 Activation 正确完成以后,应该得到什么。

于是一次 Activation 不再只是:

“运行了一个命令。”

而可以表达成:

Plaintext
已验证前驱:prior_sha256
已计划结果:result_sha256

这使 Activation 从:

一个模糊的“切换动作”

变成:

从一个精确状态到另一个精确状态的转换。

这样后续检查就可以回答:

当前 state 到底是不是这次计划产生的结果?

而不是只看:

“某个 activation 文件是不是存在。”


真正的保护发生在 activation-apply

preflight 完成以后,维护者会拿到 exact:

prior_sha256

真正执行 activation-apply 时,不是只传 closure。

还必须同时提供:

刚才 preflight 得到的 exact prior_sha256。

概念上就是:

Plaintext
输入 closure:Package A
预期前驱:prior_sha256=S0

然后 apply 不会盲信旧 preflight。

它会重新读取当前状态,再做一次检查。

如果现在仍然是:

Plaintext
current sha256 == prior_sha256

才允许继续写入。

如果不是,就停止。


CAS 到底是什么

这里使用的思路,本质上就是 CAS。

CAS 一般叫:

Compare-And-Swap

可以简单理解成:

只有当前值仍然等于我之前看到的值,才允许把它替换成新值。

放到 Activation 里就是:

Plaintext
如果 current == prior
→ 写入 result

如果 current != prior
→ 停止,不写

它和数据库里的乐观锁非常像。

假设你打开了一篇文章准备修改。

你读取时版本号是:

Plaintext
version = 20

你编辑了十分钟。

这期间别人已经保存了一次,版本变成:

Plaintext
version = 21

如果你仍然直接保存,就可能覆盖别人刚才的修改。

更安全的方式是:

Plaintext
只有 version 仍然等于 20
→ 才允许保存

如果已经变成 21
→ 拒绝旧写入,重新读取

Activation 的 prior_sha256 就承担了类似角色。

只不过这里比较的不是一个简单整数,而是:

当前权威状态的精确 identity。


为什么 SHA 比“状态名称”更可靠

假设只判断:

Plaintext
当前 package 数量 = 3

这远远不够。

两个完全不同的状态可能都有 3 个 package。

甚至 package 名字一样,里面绑定的 closure、Surface、identity 也可能不同。

所以 Activation 不应该只比较:

  • 数量;
  • 文件名;
  • 某个 loose status;
  • “看起来已经差不多”的 scope。

而应该绑定:

完整 canonical state 的确定性 SHA-256。

于是只要真正参与 authority 的内容发生变化,prior_sha256 就应该变化。

这样才能准确检测:

从 preflight 到 apply 之间有没有出现并发状态变化。


一个最典型的并发场景

假设当前 activated state 是:

Plaintext
S0

Package A 和 Package B 都已经完成各自的正式流程。

维护者先给 A 做 preflight:

Plaintext
A preflight:
prior = S0
result = SA

接着又给 B 做 preflight:

Plaintext
B preflight:
prior = S0
result = SB

如果先 apply A:

Plaintext
current S0 == A prior S0
→ A apply PASS
→ current 变成 SA

接下来再执行旧的 B apply。

如果没有 CAS,B 可能仍然按:

Plaintext
S0 → SB

写入。

这就可能把 A 刚刚激活的状态覆盖掉。

但有 CAS 以后:

Plaintext
当前:SA
B 旧 prior:S0
SA != S0

于是 B 必须停止。

正确处理方式是:

Plaintext
读取当前 authority
→ 对 B 重新执行 preflight
→ 得到新的 prior=SA
→ 重新计算新的 result
→ 再 apply

这样 B 就会基于 A 已经存在的最新状态继续前进。


prior mismatch 不是“再运行一次”就行

这一点很容易踩坑。

如果 activation-apply 报:

prior mismatch

它真正表达的是:

你之前检查过的那个世界已经不存在了。

这时候最危险的反应是:

“可能只是偶发问题,我再执行一次原命令。”

因为旧命令仍然携带旧 prior_sha256。

正确做法必须是:

Plaintext
停止
→ 读取当前 authority
→ 重新 activation-preflight
→ 获取新的 exact prior_sha256
→ 再决定是否 apply

不能:

修改参数绕过 CAS。

也不能:

使用旧 prior 强行 replay。

因为 CAS 失败本身就是在保护刚刚发生的合法变化。


为什么 apply 还要重新 preflight

既然已经有 CAS,可能会问:

apply 只比较 prior_sha256 不就够了吗?

v2 仍然会在 apply 时重新执行 preflight 逻辑。

原因是:

Activation 依赖的不只是一个 prior 文件。

从第一次 preflight 到 apply 之间,还可能有其他 currentness 发生变化,例如:

  • package closure 不再 current;
  • Surface binding 变化;
  • authority 顺序变化;
  • dependency 变化;
  • 当前 package 状态变化。

所以 apply 不能只做:

Plaintext
SHA 一样 → 无条件写

而要重新确认:

如果现在重新做一次 preflight,这个计划是否仍然成立。

然后再做 prior/current CAS 和并发变更检查。

因此:

preflight 的结果不是一张永久有效的写入许可证。

它只是当前时刻的精确计划。


already_active 为什么不是失败

Activation 还需要处理另一个现实问题:

命令可能被重复执行。

例如第一次 apply 已经成功。

但终端连接中断了,维护者没有看到最后的 PASS。

后来重新执行 preflight,发现:

当前 active state 已经就是预期结果。

这时候不应该再次写一遍。

也不应该报:

状态冲突。

正式结果应该能表达:

Plaintext
already_active=true

也就是:

目标状态已经存在,不需要再次 mutation。

这是幂等性。


幂等和“重复执行没有关系”不是一回事

有时会把幂等理解成:

同一个命令随便执行多少次都行。

其实更准确的含义是:

如果目标状态已经正确存在,再执行不会制造第二次不同的状态变化。

例如:

Plaintext
第一次:
S0 → S1

第二次:
current 已经是 S1
→ already_active=true
→ 不重复写入

但如果 current 已经变成:

Plaintext
S2

那就不能说:

反正这个命令幂等,再跑一次。

因为这已经不是同一个前驱状态了。

所以:

幂等不能替代 currentness。


Activation 顺序也不能靠 package 名字猜

当多个 package 都准备 Activation 时,还会遇到一个问题:

哪一个应该先激活?

最简单的人工办法可能是:

“Tour 比 Learn/Docs 老,所以先 Tour。”

或者:

“文件名排序。”

这些都不可靠。

正式顺序应该来自:

当前 sparse authority / package workflow authority。

也就是说:

当前系统明确声明哪个 package 是下一步合法 Activation 对象。

这件事尤其重要,因为在 transition state 中,某些旧 coverage 命令可能因为当前状态尚未完全切换而变成 stale-sensitive。

所以不能为了找顺序,使用一个本身已经依赖“全部 activation 完成”的 coverage 结果反向推断。

原则应该是:

Activation order 来自当前 authority,不来自人的直觉。


为什么 transition state 特别危险

假设一个 locale 正处于:

Plaintext
Package A:active
Package B:已完成 closure,待 activation
Package C:还未完成

这时候它既不是:

完整旧状态。

也不是:

完整新状态。

很多只适合稳定状态的检查,在这里可能得到:

Plaintext
stale

如果错误使用这种 stale-sensitive coverage 来决定:

下一步谁应该 activation

就可能形成循环:

Plaintext
coverage 等 activation
activation 又拿 coverage 判断顺序

所以 v2 把顺序 authority 单独明确下来。

这也是我后来越来越重视的一件事:

不同阶段的问题,应该读取属于那个阶段的 authority。

不要拿一个“最终完成状态”的检查器去推断中间过渡状态。


Surface receipt 为什么不能直接拿来做 activation 输入

另一个容易发生的错误是:

Surface 已经 PASS 了,那 activation-preflight --input 应该直接接 Surface receipt 吧?

实际不是。

正式输入是:

package closure。

原因是 package closure 才是这个内容包进入 Activation 的正式生命周期输入。

Integrated Surface Review 是它需要满足的后续 gate。

所以 Activation 会:

Plaintext
从 package closure 出发
→ 自动绑定当前合法 Integrated Surface
→ 再计算 activation plan

而不是让维护者手工把:

  • closure;
  • Surface receipt;
  • scope;
  • Reviewer Bundle;

拼在一起。

这样可以减少:

拿错 receipt、拿旧 scope、手工绑定错 Surface

之类的问题。


Surface PASS 以后为什么仍然不能马上 Production

这也是 Activation 设计带来的另一个边界。

完整路径是:

Plaintext
package closure
→ Integrated Surface Review PASS
→ Activation
→ Preview
→ Production

Surface 主要证明:

组合后的内容语义和链接关系可以接受。

Activation 证明:

当前正式 activated authority 已经安全切换到新的内容状态。

Preview 再证明:

这份 activated state 真正通过 renderer、route、browser 和机器验收以后,运行结果也是正确的。

最后才进入 Production。

所以:

Surface PASS ≠ activated。

同样:

Activation PASS ≠ Production ready。

每个 gate 证明的是不同事情。


mutation=unknown 为什么必须立即停止

Activation 是正式状态变更。

所以最危险的不是:

明确失败。

而是:

不知道到底有没有写成功。

例如:

Plaintext
进程中断
磁盘错误
异常返回
写入结果无法确认

这时候如果系统只能确定:

Plaintext
mutation=unknown

就不能直接重新执行。

因为真实状态可能是:

Plaintext
情况 A:实际上完全没写
情况 B:已经写成功,但结果没返回
情况 C:写了一部分,状态异常

如果不知道属于哪一种,再盲目 replay 就可能造成二次破坏。

所以这里的原则是:

mutation=unknown 时停止,并先 diagnosis。

只有重新证明 current authority 以后,才能决定恢复方式。


明确失败和未知失败必须区别对待

例如 preflight 失败:

Plaintext
preflight FAILED
MUTATION=none

这是相对简单的。

因为可以明确知道:

正式状态没有变化。

修复问题后重新 preflight 即可。

但 apply 阶段如果发生:

Plaintext
mutation=unknown

处理策略完全不同。

这时候首先需要回答:

当前 authority 到底是什么?

而不是:

命令为什么退出非零?

在正式状态机里,后者只是技术错误。

前者才决定是否安全恢复。


这就是 fail-closed 在 Activation 里的真正含义

项目里经常使用:

fail-closed

以前容易把它理解成:

出错就退出。

实际上,在 Activation 这种 mutation 阶段,它更具体:

只要无法证明继续写入安全,就不写。

包括:

  • prior 不匹配;
  • currentness 不足;
  • Surface binding 不确定;
  • authority 顺序不确定;
  • concurrent mutation;
  • mutation state 不可确认。

都必须停止。

目的并不是让工作流显得更严格。

而是避免:

一个本来完全合法的旧操作,因为执行得太晚,破坏了更新的合法状态。


CAS 保护的不是“当前任务”,而是别人刚刚完成的工作

这一点我觉得特别值得写出来。

看到 CAS 失败时,第一感受很容易是:

它阻止了我。

但换一个角度:

它可能刚刚保护了另一个已经成功完成的 Activation。

例如:

Plaintext
我的 prior:S0
当前状态:S1

CAS 不知道 S1 是谁写的。

它只知道:

当前世界已经不是我当初检查的那个世界。

于是拒绝使用旧假设覆盖它。

这其实就是一个很重要的工程原则:

不确定新变化是否合法时,也不能因为自己的任务曾经合法,就覆盖更新状态。


为什么不能用“最后写入者获胜”

还有一种很简单的并发策略:

谁最后写,谁生效。

很多普通配置系统确实会这么做。

但对于翻译 lifecycle 来说并不合适。

因为这里每一个 activated state 背后都绑定着:

  • Generation;
  • machine validation;
  • Independent QC;
  • A-only finalization;
  • package closure;
  • Integrated Surface Review。

如果最后写入者可以无条件覆盖前一个合法状态,就等于:

后执行的旧计划可以抹掉先执行的新计划。

这会破坏整个证据链。

所以 Activation 更适合:

optimistic concurrency control

也就是:

大部分时间不加长期锁,但真正提交时必须确认前驱没有变化。


为什么不用一个很长时间的全局锁

既然怕并发,也可以想到:

preflight 开始就拿锁,直到 apply 结束。

理论上可以。

但实际工作流里 preflight 和 apply 之间可能包含:

  • 人工检查;
  • 终端操作;
  • handoff;
  • 多个 package 顺序处理。

长时间持有全局锁会带来:

  • 阻塞;
  • 死锁恢复;
  • 中断清理;
  • 锁状态不确定;
  • 更复杂的运维。

CAS 的优势是:

不需要假设整个检查期间世界静止。

允许别人正常推进。

只是在自己真正提交时确认:

“我之前看到的前驱还在不在?”

如果不在,就重新计算。

这更符合当前这套增量工作流。


Activation 其实是一个很小的事务

后来我越来越觉得,可以把 Activation 看成一个小型事务。

它的逻辑大概是:

Plaintext
第一步:读取并验证 closure
第二步:绑定 current Surface
第三步:读取 current activation authority
第四步:计算 prior_sha256
第五步:计算 result_sha256
第六步:preflight 返回,只读结束

真正 apply 时:
重新执行当前检查
验证 current == prior_sha256
确认没有 concurrent mutation
原子提交新的 activation state
验证结果

这里最重要的不是命令有多少。

而是保证:

从被证明的旧状态,只能转换到被证明的新状态。


我现在更认可的 Activation 原则

做到这里以后,我觉得 Activation 可以浓缩成几条比较清楚的原则。

第一:

Surface PASS 证明的是整合质量,不是未来写入时的并发安全。

第二:

activation-preflight 必须是只读的,失败时明确 MUTATION=none。

第三:

Activation 的正式输入是 package closure,由系统自动绑定 current Integrated Surface。

第四:

preflight 必须返回 exact prior_sha256 和 result_sha256,让状态转换有明确的前驱和结果 identity。

第五:

activation-apply 必须使用同一 closure 和 fresh preflight 得到的 exact prior_sha256。

第六:

apply 时必须重新验证 currentness,不能把旧 preflight 当成永久许可证。

第七:

prior mismatch 或 concurrent mutation 不是重试旧命令,而是重新读取 authority、重新 preflight。

第八:

already_active=true 属于正常幂等结果,不应该再次 mutation。

第九:

Activation 顺序来自 current authority,不能根据 package 名称、历史经验或 stale-sensitive coverage 猜。

第十:

mutation=unknown 必须停止诊断,不能盲目 replay。

最终我觉得最值得记住的一句话是:

一次操作曾经合法,不代表它现在仍然可以安全写入。

prior_sha256 和 CAS 真正保护的,就是:

从“我刚才看过这个状态”到“我现在真的要修改这个状态”之间,世界有没有发生变化。

原始文件一个字没变,为什么还要重新翻译?从 books.yaml 10→12 看语义输入扩展

Go 学习与文档多语言本地化项目

本系列完整记录 Go 学习与文档多语言本地化项目从 A Tour of Go 起步,逐步扩展到站点首页、项目说明页、学习内容、文档以及未来内容包的实际开发过程,包括架构设计、统一术语治理、整页翻译、结构保护、自动校验、独立质量审核、生产发布与长期维护。

项目源码:
✅ GitHub:shuijingwan/go-tour-i18n

语言版本:

当前跨项目目标语言池共包含 66 个语言版本。Go 项目本身目前提供 65 个社区 Production 语言版本,下面每一门 Go 语言版本都直接链接到其当前公开站点。语言列表沿用项目首页现有的展示顺序。

英语(美国)仅作为跨项目目标语言纳入列表,并不是单独的 Go Production 语言版本。当前 Go 的英文源内容仍为官方 generic English,因此英语(美国)链接到 Go 官方站点,而不是不存在的本地社区部署。

  1. 阿姆哈拉语
  2. 阿拉伯语
  3. 孟加拉语
  4. 葡萄牙语(巴西)
  5. 保加利亚语
  6. 加泰罗尼亚语
  7. 克罗地亚语
  8. 捷克语
  9. 丹麦语
  10. 荷兰语
  11. 英语(美国)(Go 官方英文站点)
  12. 英语(澳大利亚)
  13. 英语(加拿大)
  14. 英语(印度)
  15. 英语(新加坡)
  16. 英语(南非)
  17. 英语(英国)
  18. 爱沙尼亚语
  19. 菲律宾语
  20. 芬兰语
  21. 法语(法国)
  22. 法语(加拿大)
  23. 德语(德国)
  24. 德语(奥地利)
  25. 德语(瑞士)
  26. 希腊语
  27. 古吉拉特语
  28. 希伯来语
  29. 印地语
  30. 匈牙利语
  31. 印度尼西亚语
  32. 意大利语
  33. 日语
  34. 卡纳达语
  35. 哈萨克语
  36. 韩语
  37. 西班牙语(拉丁美洲)
  38. 拉脱维亚语
  39. 立陶宛语
  40. 马来语
  41. 马拉雅拉姆语
  42. 马拉地语
  43. 书面挪威语(Bokmål)
  44. 波斯语
  45. 波兰语
  46. 葡萄牙语(葡萄牙)
  47. 旁遮普语(果鲁穆奇文,印度)
  48. 罗马尼亚语
  49. 俄语
  50. 塞尔维亚语(西里尔文)
  51. 简体中文(中国大陆)
  52. 简体中文(新加坡)
  53. 斯洛伐克语
  54. 斯洛文尼亚语
  55. 西班牙语(西班牙)
  56. 斯瓦希里语(坦桑尼亚)
  57. 瑞典语
  58. 泰米尔语
  59. 泰卢固语
  60. 泰语
  61. 繁体中文(台湾)
  62. 繁体中文(香港)
  63. 土耳其语
  64. 乌克兰语
  65. 乌尔都语
  66. 越南语

项目正在持续扩展新的 Go 学习与文档内容,并长期维护各语言版本的术语一致性、翻译质量、独立审核、生产发布与后续更新。

本项目属于非官方社区多语言本地化项目,与 Go 官方无隶属、授权或背书关系。