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