docs(wiki): 新增关键字分层与保留字清单，校准 extern 内部标记写法

- README.MD：新增「关键字分层与保留字」小节（保留字 / 上下文软关键字 / 纯词三层 + 拒绝位置）

- README.MD：FFI 说明由已退役的 T | t.State 改为 State[T] / ExportT[T]

- 08-c-operations.md：同步 extern/export 与 extern 全局的内部标记承载写法

08-c-operations.md

@@ -267,7 +267,9 @@ Viper 的 FFI（Foreign Function Interface）通过 `extern` / `export` 关键
 - `extern def foo() -> T`（函数体为 `pass`）：仅声明。编译器只生成 `declare` 原型，不生成 `define` 函数体，由链接器在外部库中解析符号；
 - `export def foo() -> T`：以裸名导出函数定义。
 
-> `extern` / `export` 是语言层软关键字，解析器会把它们改写为返回注解中的存储类标记（`extern` → `T | t.State`，`export` → `T | t.CExport`）。`t.State` / `t.CExtern` / `t.CExport` 标记并未废弃，仍是这些关键字与 `extern` 全局变量的内部承载。
+> `extern` / `export` 是语言层软关键字，解析器会把它们改写为返回注解中的存储类标记包装（`extern` → `State[T]`，`export` → `ExportT[T]`）。`State` / `ExternT` / `ExportT` 标记仍是这些关键字与 `extern` 全局变量的内部承载。
+>
+> 注意：注解中的旧联合写法 `T | t.State` 已退役（注解里不允许 `|`），现在只能用 `extern` 关键字（或内部形式 `State[T]`）。
 
 ### 基本声明
 
@@ -318,19 +320,20 @@ HANDLE CreateFileA(LPCSTR, ULONG, ULONG, SECURITY_ATTRIBUTES*,
 | `extern def f()` | ❌ 不加 | 仅 `declare` | FFI 外部函数声明（引用外部） |
 | `export def f()` | ❌ 不加 | 裸名 `define` | 对外导出 API |
 
-> 新关键字等价写法：无修饰 = 普通函数加 SHA1 前缀；`extern` = 仅 declare；`export` = 裸名 define。旧的 `t.CExtern` / `t.CExport` / `t.State` 标记在内部仍承载这些关键字，手写可用但不推荐。
+> 新关键字等价写法：无修饰 = 普通函数加 SHA1 前缀；`extern` = 仅 declare；`export` = 裸名 define。内部承载标记为 `State[T]`（extern）/ `ExportT[T]`（export）；旧联合写法 `T | t.CExtern` 已不可解析。
 
 > **`extern` 重名（临时规则，待修正）**：多个模块声明同名 `extern` 符号时，调用点按**依赖 / 导入顺序取「最近」的那个**实体；请避免多模块重复声明同名 `extern`，该行为日后会修正。详见 [10-imports.md 的跨模块约束](10-imports.md#跨模块约束)。
 
 ### 声明外部全局变量
 
-外部全局变量用 `extern` 软关键字声明（推荐），或等价的 `t.CExtern` 标记：
+外部全局变量用 `extern` 软关键字声明：
 
 ```python
-extern errno: int                # extern int errno;（推荐）
-fd: t.CExtern | int              # 等价写法（内部标记）
+extern errno: int                # extern int errno;
 ```
 
+解析器把它改写为 `errno: State[int]`（内部标记包装），后续走同一条 external global 路径。
+
 模块级 `extern` 全局生成 `@裸名 = external global T`（external linkage、无初始值、无 storage），符号由外部单元提供。
 
 详见 [02-type-system.md 的 t.State 章节](02-type-system.md#tstate-声明性标记) 和 [includes/w32](../includes/w32) 的 Win32 绑定实现。

README.MD

@@ -34,6 +34,22 @@
 | 空值 | `None` | `None`（编译为 `NULL`/零值） |
 | 模块系统 | 运行时 `import` | 编译时解析，插入 `.stub.ll`，`SHA1` 命名空间隔离 |
 
+### 关键字分层与保留字
+
+Viper 的关键字分三层，判据以 [includes/ast/tokens.vp](../includes/ast/tokens.vp) 的枚举注释为准：
+
+| 层级 | 词 | 规则 |
+|---|---|---|
+| **保留字（硬）** | `typedef` `define` `enum` `union` `renum` `struct` `switch` `fallthrough` `export` | 语句级语法，**任何标识符位置都禁用**（变量名/函数名/类名/形参名/模块别名/循环变量） |
+| **上下文软关键字** | `fn` `fun` `func` `function`、`extern`、`const` `volatile` `bigend` `littlend`、`virtual` `novirtual`、`tls` | 只在特定位置生效；其它位置仍是普通标识符（例如 AST 字段 `func: AST*`） |
+| **非关键字（纯词）** | `inline` `static` `cif` `celif` `celse` `default` `temp` `__attribute__` | 不进关键字表，仅由解析器按上下文识别 |
+
+保留字的拒绝实现在 `parser.vp::_RejectReservedIdent` / `_RejectReservedTargets`，TPC 侧同一张表在 `TransPyC/lib/vast/Tokenizer.py::RESERVED_KEYWORDS`（报错文案一致）。
+
+> **两个必须知道的细节**：
+> 1. 保留字在**语句首**会先被当作语法消费（`enum X:` / `switch x:` / `fallthrough`），因此 `enum = 1` 报的是语法错误；新检查覆盖的是**非语句首**的标识符位置（`def struct()`、`class union:`、`def f(switch: int)`、`import x as typedef`、`for renum in ...`、`a, enum = ...`）。
+> 2. `func` / `temp` / `default` **故意不列为保留字**：它们分别是 AST 字段名（`Call.func`）、`includes/viperlib.vp` 的局部变量名、`includes/argparse.vp` 的形参名。
+
 ### 与 C 的关系
 
 Viper 编译后的代码在底层等价于 `C` 编译后的机器码（都经过 LLVM），但 Viper 在语言层面提供了 C 所没有的能力：
@@ -46,7 +62,7 @@ Viper 编译后的代码在底层等价于 `C` 编译后的机器码（都经过
 - **存根驱动的模块系统**：`.vpi` 存根文件实现跨模块类型解析，无需头文件
 - **更多内容**：额外更多的不依赖操作系统的函数和语法
 
-> **FFI/导出新写法**：推荐使用语言软关键字 `extern`/`export`——`extern def foo(...) -> T` 仅声明外部函数（实现来自外部），`export def` 以裸名导出符号。解析器会把它们改写为返回注解中的存储类标记（`extern` → `T | t.State`，`export` → `t.CExport`），因此 `t.State`/`t.CExtern`/`t.CExport` 标记并未废弃，仍是内部承载（手写可用）。
+> **FFI/导出新写法**：推荐使用语言软关键字 `extern`/`export`——`extern def foo(...) -> T` 仅声明外部函数（实现来自外部），`export def` 以裸名导出符号。解析器会把它们改写为返回注解中的存储类标记包装（`extern` → `State[T]`，`export` → `ExportT[T]`），因此 `State`/`ExternT`/`ExportT` 标记仍是内部承载（手写 `State[T]` 可用）。注意 `T | t.State` 这类旧联合写法已退役：注解中不允许 `|`。
 
 ### C-LIKE 语法（逐步支持）