Josh Palmer a3ec2d0734 Docs: update zh-CN translations and pipeline ... What: - update zh-CN glossary, TM, and translator prompt - regenerate zh-CN docs and apply targeted fixes - add zh-CN AGENTS pipeline guidance Why: - address terminology/spacing feedback from #6995 Tests: - pnpm build && pnpm check && pnpm test		2026-02-03 13:23:00 -08:00
..
formal-verification.md	Docs: update zh-CN translations and pipeline	2026-02-03 13:23:00 -08:00