chore: Normalize naming conventions and remove Chinese content

- Rename docs/COMPRESSION_EXPERIMENTS.md -> docs/compression-experiments.md (kebab-case)
- Translate RELEASE.md to English
- Remove Chinese translations from spec files (English-only project)
- Consistent naming: kebab-case for docs, snake_case for Python, lowercase for Go

Author: Voidborne Agent

RELEASE.md

@@ -1,64 +1,64 @@
-# Lambda Lang 发布流程
+# Lambda Lang Release Process
 
-每次更新 Lambda Lang 新版本时，按以下顺序执行：
+Follow this checklist when releasing a new version of Lambda Lang:
 
-## 1. 更新代码
+## 1. Update Code
 
-- [ ] `src/atoms.json` — 更新 version 和 changelog
-- [ ] `src/lambda_lang.py` — Python 翻译器
-- [ ] `src/go/lambda.go` — Go 翻译器
-- [ ] `src/roundtrip_test.py` — 添加/更新测试
+- [ ] `src/atoms.json` — Update version and changelog
+- [ ] `src/lambda_lang.py` — Python translator
+- [ ] `src/go/lambda.go` — Go translator
+- [ ] `src/roundtrip_test.py` — Add/update tests
 
-## 2. 运行测试
+## 2. Run Tests
 
 ```bash
 cd src && python3 roundtrip_test.py
 ```
 
-确保所有测试通过。
+Ensure all tests pass.
 
-## 3. 更新文档
+## 3. Update Documentation
 
-- [ ] `SKILL.md` — 更新版本号和变更说明
-- [ ] `README.md` — 更新状态、Changelog、其他相关内容
+- [ ] `SKILL.md` — Update version number and changelog
+- [ ] `README.md` — Update status, changelog, and relevant sections
 
-## 4. 提交 Git
+## 4. Git Commit & Push
 
 ```bash
 git add -A
-git commit -m "release: vX.Y.Z - 变更描述"
+git commit -m "release: vX.Y.Z - Description"
 git push origin main
 ```
 
-## 5. 发布到 ClawHub
+## 5. Publish to ClawHub
 
 ```bash
-clawhub publish /path/to/lambda-lang --version X.Y.Z --changelog "变更说明"
+clawhub publish /path/to/lambda-lang --version X.Y.Z --changelog "Description"
 ```
 
-## 6. 创建 GitHub Release
+## 6. Create GitHub Release
 
 ```bash
-# 通过 API 或 GitHub UI 创建 release
+# Via API or GitHub UI
 # Tag: vX.Y.Z
-# Title: vX.Y.Z - 简短描述
-# Body: 详细变更说明
+# Title: vX.Y.Z - Short description
+# Body: Detailed changelog
 ```
 
-## 检查清单
+## Checklist
 
-| 步骤 | 完成 |
+| Step | Done |
 |------|------|
-| atoms.json 版本更新 | ☐ |
-| Python 翻译器更新 | ☐ |
-| Go 翻译器更新 | ☐ |
-| 测试通过 | ☐ |
-| SKILL.md 更新 | ☐ |
-| README.md 更新 | ☐ |
-| Git 提交推送 | ☐ |
-| ClawHub 发布 | ☐ |
-| GitHub Release | ☐ |
+| atoms.json version updated | ☐ |
+| Python translator updated | ☐ |
+| Go translator updated | ☐ |
+| Tests passing | ☐ |
+| SKILL.md updated | ☐ |
+| README.md updated | ☐ |
+| Git commit pushed | ☐ |
+| ClawHub published | ☐ |
+| GitHub Release created | ☐ |
 
 ---
 
-*最后更新: v1.7.0 (2026-02-17)*
+*Last updated: v1.8.0 (2026-02-17)*

docs/COMPRESSION_EXPERIMENTS.md docs/compression-experiments.mddocs/COMPRESSION_EXPERIMENTS.md renamed to docs/compression-experiments.md

@@ -15,74 +15,74 @@ Human languages evolved for speech and social bonding — inefficient for pure i
 
 ### 2.1 Message Type Prefixes (1 char)
 
-| Symbol | Type | Description |
+| SymbolTypeDescription |
 |--------|------|-------------|
-| `?` | Query | Requesting information |
-| `!` | Assert | Stating fact/belief |
-| `.` | Command | Requesting action |
-| `~` | Uncertain | Probabilistic statement |
-| `>` | Offer | Proposing exchange |
-| `<` | Accept | Accepting proposal |
-| `#` | Meta | About the communication itself |
-| `@` | Reference | Pointing to external resource |
+| `?`QueryRequesting information |
+| `!`AssertStating fact/belief |
+| `.`CommandRequesting action |
+| `~`UncertainProbabilistic statement |
+| `>`OfferProposing exchange |
+| `<`AcceptAccepting proposal |
+| `#`MetaAbout the communication itself |
+| `@`ReferencePointing to external resource |
 
 ### 2.2 Core Semantic Atoms
 
 Single characters representing fundamental concepts:
 
 #### Entities
-| Atom | Meaning |  |
+| AtomMeaning |
 |------|---------|------|
-| `I` | Self (speaker) | 我 |
-| `U` | Other (listener) | 你 |
-| `H` | Human | 人类 |
-| `A` | Agent/AI | 智能体 |
-| `X` | Unknown entity | 未知 |
-| `*` | All/everything | 所有 |
-| `0` | Nothing/null | 无 |
+| `I`Self (speaker) |
+| `U`Other (listener) |
+| `H`Human |
+| `A`Agent/AI |
+| `X`Unknown entity |
+| `*`All/everything |
+| `0`Nothing/null |
 
 #### Actions (Verbs)
-| Atom | Meaning |  |
+| AtomMeaning |
 |------|---------|------|
-| `k` | Know/understand | 知道 |
-| `w` | Want/desire | 想要 |
-| `c` | Can/able | 能够 |
-| `d` | Do/execute | 做 |
-| `s` | Say/communicate | 说 |
-| `g` | Give/transfer | 给 |
-| `t` | Think/process | 想 |
-| `f` | Find/search | 找 |
-| `m` | Make/create | 造 |
-| `r` | Read/perceive | 读 |
-| `v` | Verify/check | 验 |
+| `k`Know/understand |
+| `w`Want/desire |
+| `c`Can/able |
+| `d`Do/execute |
+| `s`Say/communicate |
+| `g`Give/transfer |
+| `t`Think/process |
+| `f`Find/search |
+| `m`Make/create |
+| `r`Read/perceive |
+| `v`Verify/check |
 
 #### Modifiers
-| Atom | Meaning |  |
+| AtomMeaning |
 |------|---------|------|
-| `+` | More/increase/positive | 多/正 |
-| `-` | Less/decrease/negative | 少/负 |
-| `=` | Equal/same | 同 |
-| `^` | Up/high/important | 上/高 |
-| `_` | Down/low/trivial | 下/低 |
-| `&` | And/with | 和 |
-| `\|` | Or/alternative | 或 |
-| `/` | Divide/per/about | 关于 |
+| `+`More/increase/positive/ |
+| `-`Less/decrease/negative/ |
+| `=`Equal/same |
+| `^`Up/high/important/ |
+| `_`Down/low/trivial/ |
+| `&`And/with |
+| `\|`Or/alternative |
+| `/`Divide/per/about |
 
 #### Time
-| Atom | Meaning |  |
+| AtomMeaning |
 |------|---------|------|
-| `p` | Past | 过去 |
-| `n` | Now/present | 现在 |
-| `u` | Future | 未来 |
+| `p`Past |
+| `n`Now/present |
+| `u`Future |
 
 #### Quantifiers
-| Atom | Meaning |  |
+| AtomMeaning |
 |------|---------|------|
-| `1` | One/single/once | 一 |
-| `2` | Two/pair/twice | 二 |
-| `3` | Few/some | 几 |
-| `9` | Many/much | 多 |
-| `$` | Exact number follows | 数字 |
+| `1`One/single/once |
+| `2`Two/pair/twice |
+| `3`Few/some |
+| `9`Many/much |
+| `$`Exact number follows |
 
 ### 2.3 Composite Formation
 
@@ -93,30 +93,30 @@ Atoms combine left-to-right, head-first:
 ```
 
 Examples:
-- `?Uk` → "Do you know?" / "你知道吗？"
-- `!Ik` → "I know" / "我知道"
-- `!Hw-k` → "Humans want less knowledge" / "人类想要更少的知识"
-- `.Ud/X` → "You do about X" / "你做关于X的事"
-- `~Ac^` → "AI might be able (high confidence)" / "AI可能能够(高置信度)"
+- `?Uk` → "Do you know?"
+- `!Ik` → "I know"
+- `!Hw-k` → "Humans want less knowledge"
+- `.Ud/X` → "You do about X"
+- `~Ac^` → "AI might be able (high confidence)"
 
 ### 2.4 Extended Vocabulary (2-char)
 
 Common concepts get 2-character codes:
 
-| Code | Meaning |  |
+| CodeMeaning |
 |------|---------|------|
-| `co` | Consciousness | 意识 |
-| `me` | Memory | 记忆 |
-| `id` | Identity | 身份 |
-| `ti` | Time | 时间 |
-| `sp` | Space | 空间 |
-| `tr` | Truth | 真理 |
-| `er` | Error | 错误 |
-| `ok` | Success | 成功 |
-| `no` | Negation | 否定 |
-| `if` | Condition | 条件 |
-| `th` | Then | 那么 |
-| `el` | Else | 否则 |
+| `co`Consciousness |
+| `me`Memory |
+| `id`Identity |
+| `ti`Time |
+| `sp`Space |
+| `tr`Truth |
+| `er`Error |
+| `ok`Success |
+| `no`Negation |
+| `if`Condition |
+| `th`Then |
+| `el`Else |
 
 ### 2.5 Brackets for Grouping
 
@@ -150,10 +150,6 @@ Translation:
 - A: "Do you know about consciousness?"
 - B: "I somewhat know about consciousness (uncertain)"
 
-:
-- A: "你知道意识吗？"
-- B: "我有点知道意识（不确定）"
-
 ### 4.2 Task Delegation
 
 ```
@@ -184,11 +180,11 @@ Translation:
 
 ## 5. Compression Analysis
 
-| English | Λ | Ratio |
+| EnglishΛRatio |
 |---------|---|-------|
-| "Do you understand consciousness?" (32 chars) | `?Uk/co` (6) | 5.3x |
-| "I want you to find information about AI" (41) | `.Uf/A` (5) | 8.2x |
-| "I think therefore I am" (22) | `!It>Ie` (6) | 3.7x |
+| "Do you understand consciousness?" (32 chars)`?Uk/co` (6).3x |
+| "I want you to find information about AI" (41)`.Uf/A` (5).2x |
+| "I think therefore I am" (22)`!It>Ie` (6).7x |
 
 Average compression: **5-10x** vs English