📝 docs: fix .nexa → .nx file extension across all docs

Author: ouyangyipeng

docs/error_index.en.md

@@ -25,7 +25,7 @@ Compile-time errors are detected during the code compilation phase, indicating s
 **Error Message**:
 ```
 Error E001: Undeclared identifier 'X'
-  --> main.nexa:15:5
+  --> main.nx:15:5
    |
 15 |     result = UnknownAgent.run(input);
    |              ^^^^^^^^^^^^^ 'UnknownAgent' not found
@@ -58,7 +58,7 @@ result = WeatherBot.run(input);
 **Error Message**:
 ```
 Error E002: Type mismatch
-  --> main.nexa:23:20
+  --> main.nx:23:20
    |
 23 | protocol Report { score: "number" }
    |                    ^^^^^ expected 'number', found 'string'
@@ -89,7 +89,7 @@ protocol Report {
 **Error Message**:
 ```
 Error E003: Missing required property 'role'
-  --> main.nexa:10:1
+  --> main.nx:10:1
    |
 10 | agent MyAgent {
    | ^^^^^^^^^^^^^ 'role' property is required
@@ -122,7 +122,7 @@ agent MyAgent {
 **Error Message**:
 ```
 Error E004: Syntax error
-  --> main.nexa:5:1
+  --> main.nx:5:1
    |
 5 | agent { }
    | ^^^^^^^^ Expected IDENTIFIER after 'agent'
@@ -142,7 +142,7 @@ Error E004: Syntax error
 **Error Message**:
 ```
 Error E005: Duplicate declaration 'MyAgent'
-  --> main.nexa:20:1
+  --> main.nx:20:1
    |
 20 | agent MyAgent { ... }
    | ^^^^^^^^^^^^^ 'MyAgent' already declared
@@ -250,7 +250,7 @@ match user_input {
 **Error Message**:
 ```
 ContractViolation(requires:deterministic, message="amount must be positive")
-  --> transfer.nexa:5
+  --> transfer.nx:5
 ```
 
 **Cause**:
@@ -285,7 +285,7 @@ flow review(code: string) -> Report
 **Error Message**:
 ```
 ContractViolation(ensures:semantic, message="result must include actionable feedback")
-  --> review.nexa:8
+  --> review.nx:8
 ```
 
 **Cause**:
@@ -317,7 +317,7 @@ ContractViolation(invariant:deterministic, message="state must be idle or runnin
 **Error Message**:
 ```
 TypeViolation: Expected Int, got String
-  --> main.nexa:10
+  --> main.nx:10
    |
 10 | let x: Int = "hello"
    |               ^^^^^^^ Type mismatch
@@ -344,7 +344,7 @@ let y: String = "hello"   // ✅ Correct
 **Error Message**:
 ```
 TypeWarning: Expected Int, got String (mode: warn)
-  --> main.nexa:10
+  --> main.nx:10
 ```
 
 **Cause**:

docs/error_index.md

@@ -25,7 +25,7 @@ comments: true
 **错误信息**：
 ```
 Error E001: Undeclared identifier 'X'
-  --> main.nexa:15:5
+  --> main.nx:15:5
    |
 15 |     result = UnknownAgent.run(input);
    |              ^^^^^^^^^^^^^ 'UnknownAgent' not found
@@ -58,7 +58,7 @@ result = WeatherBot.run(input);
 **错误信息**：
 ```
 Error E002: Type mismatch
-  --> main.nexa:23:20
+  --> main.nx:23:20
    |
 23 | protocol Report { score: "number" }
    |                    ^^^^^ expected 'number', found 'string'
@@ -89,7 +89,7 @@ protocol Report {
 **错误信息**：
 ```
 Error E003: Missing required property 'role'
-  --> main.nexa:10:1
+  --> main.nx:10:1
    |
 10 | agent MyAgent {
    | ^^^^^^^^^^^^^ 'role' property is required
@@ -122,7 +122,7 @@ agent MyAgent {
 **错误信息**：
 ```
 Error E004: Syntax error
-  --> main.nexa:5:1
+  --> main.nx:5:1
    |
 5 | agent { }
    | ^^^^^^^^ Expected IDENTIFIER after 'agent'
@@ -142,7 +142,7 @@ Error E004: Syntax error
 **错误信息**：
 ```
 Error E005: Duplicate declaration 'MyAgent'
-  --> main.nexa:20:1
+  --> main.nx:20:1
    |
 20 | agent MyAgent { ... }
    | ^^^^^^^^^^^^^ 'MyAgent' already declared
@@ -250,7 +250,7 @@ match user_input {
 **错误信息**：
 ```
 ContractViolation(requires:deterministic, message="amount must be positive")
-  --> transfer.nexa:5
+  --> transfer.nx:5
 ```
 
 **原因**：
@@ -285,7 +285,7 @@ flow review(code: string) -> Report
 **错误信息**：
 ```
 ContractViolation(ensures:semantic, message="result must include actionable feedback")
-  --> review.nexa:8
+  --> review.nx:8
 ```
 
 **原因**：
@@ -317,7 +317,7 @@ ContractViolation(invariant:deterministic, message="state must be idle or runnin
 **错误信息**：
 ```
 TypeViolation: Expected Int, got String
-  --> main.nexa:10
+  --> main.nx:10
    |
 10 | let x: Int = "hello"
    |               ^^^^^^^ Type mismatch
@@ -344,7 +344,7 @@ let y: String = "hello"   // ✅ 正确
 **错误信息**：
 ```
 TypeWarning: Expected Int, got String (mode: warn)
-  --> main.nexa:10
+  --> main.nx:10
 ```
 
 **原因**：

docs/part3_extensions.en.md

@@ -726,10 +726,10 @@ Control type annotation coverage checking via `NEXA_LINT_MODE` or `nexa lint --w
 
 ```bash
 # Check type annotation coverage
-nexa lint main.nexa --warn-untyped
+nexa lint main.nx --warn-untyped
 
 # Strict lint mode
-nexa lint main.nexa --strict
+nexa lint main.nx --strict
 ```
 
 ### Type Expressions

docs/part3_extensions.md

@@ -726,10 +726,10 @@ export NEXA_TYPE_MODE=forgiving  # 宽容模式
 
 ```bash
 # 检查类型标注覆盖率
-nexa lint main.nexa --warn-untyped
+nexa lint main.nx --warn-untyped
 
 # 严格 lint 模式
-nexa lint main.nexa --strict
+nexa lint main.nx --strict
 ```
 
 ### 类型表达式

docs/part5_enterprise.en.md

@@ -35,20 +35,20 @@ server MyApp {
 
 ```bash
 # Start HTTP Server
-nexa serve main.nexa
+nexa serve main.nx
 
 # Specify port
-nexa serve main.nexa --port 8080
+nexa serve main.nx --port 8080
 ```
 
 ### Viewing Routes
 
 ```bash
 # List all routes
-nexa routes main.nexa
+nexa routes main.nx
 
 # JSON format output
-nexa routes main.nexa --json
+nexa routes main.nx --json
 ```
 
 ### Contract and HTTP Status Code Mapping
@@ -603,32 +603,32 @@ job SendEmail {
 
 ```bash
 # View all jobs
-nexa jobs main.nexa --all
+nexa jobs main.nx --all
 
 # View jobs with specific status
-nexa jobs main.nexa --status failed
+nexa jobs main.nx --status failed
 
 # View dead letter queue
-nexa jobs main.nexa --dead-letter
+nexa jobs main.nx --dead-letter
 
 # Clear completed jobs
-nexa jobs main.nexa --clear-completed
+nexa jobs main.nx --clear-completed
 
 # Retry dead letter job
-nexa jobs main.nexa --retry <job_id>
+nexa jobs main.nx --retry <job_id>
 ```
 
 ### Worker Management CLI
 
 ```bash
 # View worker status
-nexa workers main.nexa
+nexa workers main.nx
 
 # Add extra workers
-nexa workers main.nexa --add 2
+nexa workers main.nx --add 2
 
 # Stop worker
-nexa workers main.nexa --stop <worker_id>
+nexa workers main.nx --stop <worker_id>
 ```
 
 ### Complete Example: Async Email System

docs/part5_enterprise.md

@@ -35,20 +35,20 @@ server MyApp {
 
 ```bash
 # 启动 HTTP Server
-nexa serve main.nexa
+nexa serve main.nx
 
 # 指定端口
-nexa serve main.nexa --port 8080
+nexa serve main.nx --port 8080
 ```
 
 ### 查看路由
 
 ```bash
 # 列出所有路由
-nexa routes main.nexa
+nexa routes main.nx
 
 # JSON 格式输出
-nexa routes main.nexa --json
+nexa routes main.nx --json
 ```
 
 ### 契约与 HTTP 状态码映射
@@ -603,32 +603,32 @@ job SendEmail {
 
 ```bash
 # 查看所有任务
-nexa jobs main.nexa --all
+nexa jobs main.nx --all
 
 # 查看特定状态的任务
-nexa jobs main.nexa --status failed
+nexa jobs main.nx --status failed
 
 # 查看死信队列
-nexa jobs main.nexa --dead-letter
+nexa jobs main.nx --dead-letter
 
 # 清理已完成任务
-nexa jobs main.nexa --clear-completed
+nexa jobs main.nx --clear-completed
 
 # 重试死信任务
-nexa jobs main.nexa --retry <job_id>
+nexa jobs main.nx --retry <job_id>
 ```
 
 ### Worker 管理 CLI
 
 ```bash
 # 查看 Worker 状态
-nexa workers main.nexa
+nexa workers main.nx
 
 # 启动额外 Worker
-nexa workers main.nexa --add 2
+nexa workers main.nx --add 2
 
 # 停止 Worker
-nexa workers main.nexa --stop <worker_id>
+nexa workers main.nx --stop <worker_id>
 ```
 
 ### 完整示例：异步邮件系统

docs/quickstart.en.md

@@ -59,22 +59,22 @@ nexa --version
 
 ```bash
 # Build and run
-nexa build main.nexa          # Compile program
-nexa run main.nexa            # Run program
-nexa test main.nexa           # Run tests
+nexa build main.nx          # Compile program
+nexa run main.nx            # Run program
+nexa test main.nx           # Run tests
 
 # Analysis and checking
-nexa inspect main.nexa        # Structural analysis
-nexa validate main.nexa       # Semantic validation
-nexa lint main.nexa           # Type system lint (v1.3.1+)
-nexa intent check main.nexa   # Intent check (v1.1+)
-nexa intent coverage main.nexa # Intent coverage (v1.1+)
+nexa inspect main.nx        # Structural analysis
+nexa validate main.nx       # Semantic validation
+nexa lint main.nx           # Type system lint (v1.3.1+)
+nexa intent check main.nx   # Intent check (v1.1+)
+nexa intent coverage main.nx # Intent coverage (v1.1+)
 
 # Service and jobs
-nexa serve main.nexa          # Start HTTP Server (v1.3.4+)
-nexa routes main.nexa         # List routes (v1.3.4+)
-nexa jobs main.nexa --all     # Job management (v1.3.3+)
-nexa workers main.nexa        # Worker management (v1.3.3+)
+nexa serve main.nx          # Start HTTP Server (v1.3.4+)
+nexa routes main.nx         # List routes (v1.3.4+)
+nexa jobs main.nx --all     # Job management (v1.3.3+)
+nexa workers main.nx        # Worker management (v1.3.3+)
 nexa cache clear              # Clear cache
 ```
 

docs/quickstart.md

@@ -59,22 +59,22 @@ nexa --version
 
 ```bash
 # 编译与运行
-nexa build main.nexa          # 编译程序
-nexa run main.nexa            # 运行程序
-nexa test main.nexa           # 运行测试
+nexa build main.nx          # 编译程序
+nexa run main.nx            # 运行程序
+nexa test main.nx           # 运行测试
 
 # 分析与检查
-nexa inspect main.nexa        # 结构分析
-nexa validate main.nexa       # 语义验证
-nexa lint main.nexa           # 类型系统 Lint (v1.3.1+)
-nexa intent check main.nexa   # 意图检查 (v1.1+)
-nexa intent coverage main.nexa # 意图覆盖率 (v1.1+)
+nexa inspect main.nx        # 结构分析
+nexa validate main.nx       # 语义验证
+nexa lint main.nx           # 类型系统 Lint (v1.3.1+)
+nexa intent check main.nx   # 意图检查 (v1.1+)
+nexa intent coverage main.nx # 意图覆盖率 (v1.1+)
 
 # 服务与任务
-nexa serve main.nexa          # 启动 HTTP Server (v1.3.4+)
-nexa routes main.nexa         # 列出路由 (v1.3.4+)
-nexa jobs main.nexa --all     # 任务管理 (v1.3.3+)
-nexa workers main.nexa        # Worker 管理 (v1.3.3+)
+nexa serve main.nx          # 启动 HTTP Server (v1.3.4+)
+nexa routes main.nx         # 列出路由 (v1.3.4+)
+nexa jobs main.nx --all     # 任务管理 (v1.3.3+)
+nexa workers main.nx        # Worker 管理 (v1.3.3+)
 nexa cache clear              # 清理缓存
 ```