📝 docs(v2): align docs content with Nexa v2.0/v2.1 — no visual changes

Content-only update across 14 files:
- index.md/.en.md: add v2.0 Harness 6-tuple + v2.1 Agent properties overview
- preface.md: add Harness Native design philosophy
- part1_basic.md: add v2.1 agent properties + v2.0 autoloop/try_agent/@tool
- part2_advanced.md: add v2.0/v2.1 to feature summary table
- part3_extensions.md: add @tool/catch_correction/output_format
- part4_ecosystem_and_stdlib.md: extend namespace table
- part4_future.md: restructure as milestones + roadmap
- part5_architecture_evolution.md: mark achieved items
- part5_compiler.md: add HarnessValidator
- part5_enterprise.md: extend features table
- part6_best_practices.md: add Harness Native best practices
- cli_reference.md: add harness-check command
- reference.md: add v2.0/v2.1 keywords + Harness EBNF grammar

Zero visual files touched (no extra.css/fonts.css/main.html changes).

Author: ouyangyipeng

docs/cli_reference.md

@@ -16,9 +16,10 @@ Nexa CLI 是 Nexa 语言的命令行接口，提供编译、运行、测试、
 
 | 命令 | 说明 | 版本 |
 |------|------|------|
-| `nexa build` | 编译 .nx 文件为 .py | v0.9.7+ |
-| `nexa run` | 编译并执行 .nx 文件 | v0.9.7+ |
+| `nexa build` | 编译 .nx → .py (支持 `--harness`) | v0.9.7+ |
+| `nexa run` | 编译并执行 (支持 `--harness`) | v0.9.7+ |
 | `nexa test` | 编译并运行测试 | v0.9.7+ |
+| `nexa harness-check` | Harness 六元组编译期验证 | v2.0 |
 | `nexa inspect` | 结构分析 (Agent-Native Tooling) | v1.3.0 |
 | `nexa validate` | 语义验证 | v1.3.0 |
 | `nexa lint` | 类型系统 Lint (渐进式类型系统) | v1.3.1 |

docs/index.en.md

@@ -197,7 +197,39 @@ branch2 = agent.branch()
 
 ---
 
-## 🎯 More Core Features
+## 🔥 v2.1: Production Hardening — Agent-Level Property Primitives
+
+Nexa v2.1 adds **Agent-level language primitives**:
+
+```nexa
+agent Coder {
+    stream: true, max_tool_calls: 10,
+    tool_call_strategy: "auto"
+}
+agent Planner {
+    output_format: "json",
+    output_schema: { steps: [{title: "string"}], estimated_time: "string" }
+}
+```
+
+## 🔥 v2.0: Harness Native Runtime — Six-Tuple H=(E,T,C,S,L,V)
+
+| Dimension | Syntax | Runtime | Tests |
+|-----------|--------|---------|-------|
+| **E** | `autoloop` / `try_agent` | ExecutionEngine | 52 |
+| **T** | `@tool` annotation | ToolRegistry | 53 |
+| **C** | `with_context` | ContextManager | 52 |
+| **S** | `snapshot` / `fork` / `merge` | StateStore | 45 |
+| **L** | `before_step` / `reflect` | LifecycleHookManager | 53 |
+| **V** | `verify ... satisfies` | EvaluationInterface | 59 |
+| **Actor** | `spawn` / `pass` / `await` | ActorSystem | 18 |
+| **WASM** | sandbox | WASM Sandbox | 15 |
+
+Fully backward compatible. See [examples/v2.0/](https://github.com/ouyangyipeng/Nexa/tree/main/examples/v2.0).
+
+---
+
+## 🎯 More Core Features (v1.x)
 
 Beyond code simplicity, Nexa provides these powerful language-level features:
 

docs/index.md

@@ -197,7 +197,44 @@ branch2 = agent.branch()
 
 ---
 
-## 🎯 更多核心特性
+## 🔥 v2.1: Production Hardening — Agent 级属性原语
+
+Nexa v2.1 为 Nexa Code 新增了 **Agent 级语言原语**：
+
+```nexa
+agent Coder {
+    stream: true,                    // 流式输出
+    max_tool_calls: 10,             // 单次请求最多 10 轮工具调用
+    tool_call_strategy: "auto"      // auto | required | none
+}
+
+agent Planner {
+    output_format: "json",          // 强制 JSON 模式
+    output_schema: {                // 编译器自动生成 Pydantic 模型
+        steps: [{title: "string", description: "string"}],
+        estimated_time: "string"
+    }
+}
+```
+
+## 🔥 v2.0: Harness Native Runtime — 六元组 H=(E,T,C,S,L,V)
+
+| 维度 | 语法原语 | 运行时组件 | 测试数 |
+|------|---------|-----------|--------|
+| **E** | `autoloop` / `try_agent` | ExecutionEngine | 52 |
+| **T** | `@tool` 注解 | ToolRegistry | 53 |
+| **C** | `with_context` | ContextManager | 52 |
+| **S** | `snapshot` / `fork` / `merge` | StateStore | 45 |
+| **L** | `before_step` / `reflect` | LifecycleHookManager | 53 |
+| **V** | `verify ... satisfies` | EvaluationInterface | 59 |
+| **Actor** | `spawn` / `pass` / `await` | ActorSystem | 18 |
+| **WASM** | sandbox | WASM Sandbox | 15 |
+
+完整示例参见 [examples/v2.0/](https://github.com/ouyangyipeng/Nexa/tree/main/examples/v2.0) 和 [examples/v2.1/](https://github.com/ouyangyipeng/Nexa/tree/main/examples/v2.1)。向后兼容：v1.x 代码无需修改。
+
+---
+
+## 🎯 更多核心特性 (v1.x)
 
 除了代码简洁性，Nexa 还提供以下强大的语言级特性：
 

docs/part1_basic.md

@@ -35,7 +35,7 @@ agent FriendlyBot {
 | `prompt` | string | **是** | - | v0.5+ | Agent 的核心任务指令 |
 | `model` | string | 否 | 默认模型 | v0.5+ | 指定使用的 LLM 模型 |
 | `memory` | string | 否 | - | v0.5+ | 记忆模式：`persistent`（持久化）等 |
-| `stream` | boolean | 否 | false | v0.5+ | 是否启用流式输出 |
+| `stream` | boolean | 否 | false | v2.1+ | 是否启用流式输出 |
 | `cache` | boolean | 否 | false | v0.5+ | 是否启用智能缓存 |
 | `experience` | string | 否 | - | v0.5+ | 长期记忆文件路径 |
 | `fallback` | string/list | 否 | - | v0.5+ | 备用模型配置 |
@@ -45,6 +45,10 @@ agent FriendlyBot {
 | `retry` | int | 否 | 3 | v0.5+ | 失败重试次数 |
 | `requires` | clause | 否 | - | v1.2+ | 前置条件契约条款 |
 | `ensures` | clause | 否 | - | v1.2+ | 后置条件契约条款 |
+| `output_format` | string | 否 | - | v2.1+ | 输出格式约束，支持 `"json"` |
+| `output_schema` | dict | 否 | - | v2.1+ | JSON Schema → 编译器自动生成 Pydantic |
+| `max_tool_calls` | int | 否 | - | v2.1+ | 最大工具调用轮数 |
+| `tool_call_strategy` | string | 否 | `"auto"` | v2.1+ | `"auto"`/`"required"`/`"none"` |
 
 ### 属性详细说明
 
@@ -228,6 +232,59 @@ agent HighAvailabilityBot {
 }
 ```
 
+#### `output_format` / `output_schema` — 结构化输出 (v2.1+)
+
+```nexa
+agent Planner {
+    output_format: "json",
+    output_schema: {
+        steps: [{title: "string", description: "string"}],
+        estimated_time: "string"
+    }
+}
+```
+
+#### `max_tool_calls` / `tool_call_strategy` — 工具调用控制 (v2.1+)
+
+```nexa
+agent Coder {
+    max_tool_calls: 10,
+    tool_call_strategy: "auto"
+}
+```
+
+| 策略值 | 含义 |
+|--------|------|
+| `"auto"` | 模型自行判断（默认） |
+| `"required"` | 强制调用至少一个工具 |
+| `"none"` | 禁用所有工具调用 |
+
+---
+
+## 🔄 v2.0 基础执行原语
+
+### `autoloop` (E维度)
+```nexa
+autoloop max_steps: 10, exit_when: "任务完成", timeout: 300 {
+    result = Agent.run(input)
+}
+```
+
+### `try_agent` / `catch_correction` (E+L维度)
+```nexa
+try_agent {
+    result = Agent.run(input)
+} catch_correction(e: ToolError) {
+    reflect "工具执行失败，请调整参数重试"
+}
+```
+
+### `@tool` 注解 (T维度)
+```nexa
+@tool("搜索网页内容")
+fn web_search(query: string): string { ... }
+```
+
 ---
 
 ## 🎯 Agent 修饰器（Decorators）

docs/part2_advanced.md

@@ -952,8 +952,16 @@ formatted = p.format();  // 调用 Printable trait 的 format 方法
 | 延迟执行 | `defer` | v1.3.x | 资源清理 |
 | 模式匹配 | `match` | v1.3.x | 数据解构 |
 | 代数数据类型 | `struct/enum/trait` | v1.3.x | 类型安全建模 |
+| **自主循环** | `autoloop` | v2.0 | ReAct 自主执行 |
+| **容错自纠** | `try_agent/catch_correction` | v2.0 | 错误反射纠错 |
+| **上下文管理** | `with_context` | v2.0 | Token 预算控制 |
+| **状态快照** | `snapshot/fork/merge` | v2.0 | COW 分支探索 |
+| **输出验证** | `verify ... satisfies` | v2.0 | 四层输出验证 |
+| **生命周期** | `before/after_step/reflect` | v2.0 | 步骤级钩子注入 |
+| **Actor 并发** | `spawn/pass/await` | v2.0 | 多智能体消息传递 |
+| **并行分发** | `|>> spawn` | v2.1 | DAG 并行分发 |
 
-这些特性让 Nexa 能够优雅地处理最复杂的智能体编排场景，从简单的流水线到复杂的 DAG 拓扑，从确定性的分支到语义级别的条件判断，再到类型安全的数据建模。
+这些特性让 Nexa 能够优雅地处理最复杂的智能体编排场景——从简单的流水线到复杂的 DAG 拓扑，从类型安全的数据建模到**语言原生的安全运行时**。
 
 ---
 
@@ -963,3 +971,4 @@ formatted = p.format();  // 调用 Printable trait 的 format 方法
 - [语法扩展](part3_extensions.md) - 学习 Protocol 与契约高级用法
 - [语言参考手册](reference.md) - 查看完整语法规范
 - [最佳实践](part6_best_practices.md) - 企业级开发经验
+- [Harness Agent 设计文档](https://github.com/ouyangyipeng/Nexa/blob/main/docs/others/Harness_Agent.md) - Harness 六元组详解

docs/part3_extensions.md

@@ -880,8 +880,11 @@ flow main {
 | Design by Contract | v1.2.0+ | requires/ensures/invariant | 输入输出契约验证 |
 | Gradual Type System | v1.3.1+ | strict/warn/forgiving | 渐进式类型安全 |
 | Error Propagation | v1.3.2+ | `?` 与 `otherwise` | 优雅错误处理 |
+| **`@tool` 注解** | v2.0 | 声明式工具绑定 | 编译器自动生成 ToolSchema |
+| **`try_agent/catch_correction`** | v2.0 | 容错自纠执行 | 工具错误触发反思注入 |
+| **`output_format/schema`** | v2.1 | Agent 结构化输出 | 编译器自动生成 Pydantic 模型 |
 
-通过将 `protocol` 的刚性契约与动态 `fallback` 流转网络相结合，再配合 v1.2.0 的契约式编程、v1.3.1 的渐进式类型系统和 v1.3.2 的错误传播机制，Nexa 在赋予高度"思考灵活性"的同时，从未抛弃几十年来传统软件工程所积累的"鲁棒性与边界确定性"基因。这也是 Agent 开发向正规化轨道迈出的决定性一步。
+通过将 `protocol` 的刚性契约与 `fallback` 流转网络相结合，再配合 v1.2.0 的契约式编程、v1.3.1 的渐进式类型系统、v1.3.2 的错误传播、v2.0 的 Harness 六元组运行时验证和 v2.1 的 Agent 级结构化输出，Nexa 在赋予高度"思考灵活性"的同时，从未抛弃传统软件工程的"鲁棒性与边界确定性"基因。
 
 ---
 

docs/part4_ecosystem_and_stdlib.md

@@ -803,8 +803,16 @@ agent.run("使用 API key: sk-xxx");  // 危险！
 | `std.trait` | v1.3.x | 特质 | 多态行为 |
 | `secret()` | v0.5+ | 密钥管理 | API 认证、数据库连接 |
 | `img()` | v0.8+ | 多模态 | 图像分析、视觉任务 |
-
-Nexa 对于物理世界模块的封装，永远是以降低开发者的心智门槛、坚守系统沙盒安全性为最高原则。从 v0.5 的基础 10 个命名空间到 v1.3.x 的 25 个命名空间，这些功能为你搭建自动化王国奠定了最扎实的水电煤基建。
+| **Harness Kernel** | v2.0 | 六元组运行时内核 | autoloop/with_context 执行 |
+| **ExecutionEngine** | v2.0 | ReAct 循环引擎 | E维度 |
+| **ContextManager** | v2.0 | 三层上下文压缩 | C维度 |
+| **StateStore** | v2.0 | COW 状态存储 | S维度 |
+| **LifecycleHookManager** | v2.0 | 生命周期钩子 | L维度 |
+| **EvaluationInterface** | v2.0 | 四层验证接口 | V维度 |
+| **ActorSystem** | v2.0 | 多智能体并发 | spawn/pass/await |
+| **WASM Sandbox** | v2.0 | 工具安全沙盒 | wasmtime + 四级权限 |
+
+Nexa 从 v0.5 的基础 10 个命名空间到 v1.3.x 的 25 个命名空间，再到 v2.0 的 Harness Native 运行时组件，为你搭建自动化王国奠定了最扎实的基础。
 
 ---
 

docs/part4_future.md

@@ -2,11 +2,29 @@
 comments: true
 ---
 
-# 5. 未来展望：进军完全认知架构与资源控制 (Cognitive Architecture)
-
-智能体架构的发展日新月异，今天我们探讨的 Pipeline 管道、Intent 路由和 Join 汇聚，实际上仅仅是 Nexa 宏大图景的冰山一角。在我们从“自动化工具”走向“全自治企业级数字雇员”的征途中，不可避免地要解决关于成本、安全、人机协同等深水区难题。
-
-在 Nexa 项目核心维护团队（Genesis Team）的案头与架构蓝图中，有一批即将融合入语言底层的革命性原语。本章将为您揭晓 Nexa 在下一个大版本中将带来的前瞻性特性。
+# 5. 未来展望与已实现里程碑
+
+## ✅ 已实现里程碑
+
+| 蓝图 | 状态 | 版本 |
+|------|------|------|
+| Rust AVM 底座 | ✅ | v1.0-alpha (0 errors, 0 warnings) |
+| WASM 安全沙盒 | ✅ | v1.0-alpha (wasmtime v21) |
+| 智能调度器 | ✅ | v1.0-alpha |
+| 向量虚存分页 | ✅ | v1.0-alpha |
+| HITL: wait_for_human() | ✅ | v0.9.7 |
+| reason() 原语 | ✅ | v0.9.7 |
+| RBAC 权限控制 | ✅ | v0.9.6-rc |
+| 传统控制流 | ✅ | v1.0.1-beta |
+| IDD 意图驱动开发 | ✅ | v1.1.0 (104 tests) |
+| Design by Contract | ✅ | v1.2.0 (47 tests) |
+| 16 项 v1.3.x 特性 | ✅ | v1.3.0-v1.3.7 |
+| Harness Native Runtime | ✅ | v2.0 (296 tests) |
+| Agent 级属性原语 | ✅ | v2.1 |
+
+## 🔮 未来展望
+
+在 Nexa 核心团队（Genesis Team）的架构蓝图中，下一阶段的重点方向：
 
 ---
 

docs/part5_architecture_evolution.md

@@ -468,4 +468,29 @@ impl ContextPager {
 
 ---
 
+## 6. 当前进展 (截至 v2.1.0)
+
+### ✅ 已完成
+
+| 阶段 | 状态 | 说明 |
+|------|------|------|
+| Rust AVM 底座 | ✅ 已完成 | v1.0-alpha: cargo check 0 errors 0 warnings |
+| WASM 安全沙盒 | ✅ 已完成 | v1.0-alpha: wasmtime v21 + 四级权限 |
+| 智能调度器 | ✅ 基础实现 | v1.0-alpha: DAG 拓扑排序 |
+| 向量虚存分页 | ✅ 基础实现 | v1.0-alpha: LRU/LFU/Hybrid |
+| Harness Native Runtime | ✅ 已完成 | v2.0: 六元组 296 测试 |
+| ActorSystem | ✅ 已完成 | v2.0: 18 测试 |
+| HarnessValidator | ✅ 已完成 | v2.0: --harness=warn/strict/off |
+| Agent 性能属性 | ✅ 已完成 | v2.1: stream/output_format/schema 等 |
+
+### 🔮 未来路线图
+
+| 阶段 | 状态 |
+|------|------|
+| 可视化 DAG 编辑器 | 🔮 架构规划已完成 |
+| 包管理器 (nxm) | 🔮 规划中 |
+| AVM 生产就绪 | 🔮 规划中 |
+
+---
+
 *此文档将随项目进展持续更新*

docs/part5_compiler.md

@@ -618,14 +618,13 @@ nexa run script.nx --profile
 
 ## 📝 本章小结
 
-在本章中，我们深入了解了：
-
-1. **编译管道**：从词法分析到代码生成的完整流程
-2. **AVM 架构**：Rust 编写的高性能执行引擎
-3. **WASM 沙盒**：四级权限模型和资源限制
+1. **编译管道**：从词法分析到代码生成（含 v2.0 HarnessValidator）
+2. **AVM 架构**：Rust 高性能执行引擎（cargo check clean）
+3. **WASM 沙盒**：四级权限模型（wasmtime v21）
 4. **智能调度器**：优先级队列和负载均衡
-5. **向量虚存**：LRU/LFU 淘汰策略
-6. **Runtime 组件**：memory、orchestrator、evaluator、rbac
+5. **向量虚存**：LRU/LFU/Hybrid 淘汰策略
+6. **HarnessValidator**：v2.0 编译期六维约束验证（`--harness=strict/warn/off`）
+7. **Runtime 组件**：execution_engine、context_manager、state_store 等
 
 ---