NAC Admin
|
c631c10917
|
fix(all-crates): 主网部署零警告清理 - 全部15个crate达到0错误0警告
修复内容：
- nac-udm: 补全1022条missing_docs文档注释，修复14条unused/dead_code警告
- nac-cbpp: 修复signature.rs/validation.rs/timeout.rs/fork.rs共6条警告
- nac-lens: 修复l4_constitution.rs/performance.rs/retry.rs/l1_cell.rs等8条警告
- cnnl-service: 修复main.rs中3条unused import/variable警告
- nac-nvm: 修复jit.rs中IRMetadata和CompilationRecord的dead_code警告
- charter-compiler: 修复codegen/mod.rs中unreachable pattern警告
验证结果：
- 全部15个crate: 0错误 0警告
- 符合主网部署零警告标准
|
2026-03-06 19:01:04 +08:00 |
NAC Core Team
|
c57b5216f7
|
feat(cnnl-service): 添加根路径 API 文档页面
- 新增 GET / 路由，返回 HTML 格式的 API 文档页面
- 页面展示所有 5 个 API 端点说明
- 深色主题，符合 NAC 技术风格
- 包含 curl 快速示例和服务信息卡片
- 修复浏览器访问根路径返回 404 的问题
|
2026-02-28 09:05:26 +08:00 |
|
NAC Core Team
|
dfe2a85d69
|
fix(cnnl): 修复编译器字段名并添加新字段支持，实现 cnnl-service HTTP 服务
修复内容：
1. ast.rs: 恢复原始字段名 ty: Type（而非 type_: TypeAnnotation）
- 添加 name/version/description 字段到 Clause
- 添加 description 字段到 Obligation
- 添加 tests 字段到 Program
- 添加 Expression::Raw 变体
- 添加 ObligationFrequency::Display 实现
- 添加 Literal::Display 实现
2. parser/mod.rs: 完全重写，基于原始版本添加新字段支持
- 支持 name:/version:/description: 字段解析
- 支持 test "..." { assert ... } 测试块解析
- 支持 obligation { description: ... } 字段
3. 修复所有模块的编译错误：
- codegen/bytecode_generator.rs
- semantic/type_checker.rs
- semantic/scope_resolver.rs
- semantic/obligation_validator.rs
- verification/constraint_generator.rs
4. 新增 cnnl-service HTTP 服务：
- POST /api/v1/compile - 编译 CNNL 源代码
- POST /api/v1/parse - 解析 CNNL 源代码（返回 AST）
- POST /api/v1/validate - 验证 CNNL 语法
- GET /api/v1/health - 健康检查
- GET /api/v1/version - 版本信息
- 监听端口 8765，已部署为 systemd 服务
测试结果：26/26 通过
关联 Issues: #64 #65
|
2026-02-28 07:52:27 +08:00 |