fractalsense-ai/lumina-ffd

GitHub: fractalsense-ai/lumina-ffd

一个零信任编排层,为任意LLM封装确定性契约,解决提示注入与幻觉不可追溯问题。

Stars: 2 | Forks: 0

# Lumina OS **一种面向领域边界的人工智能系统确定性编排操作系统。** ## 截图 **聊天界面** — 用于 HITL 审核的自然语言管理命令,setup link 已生成: ![聊天界面](https://static.pigsec.cn/wp-content/uploads/repos/2026/04/f0896ab380211926.png) **详细 CLI 输出** — 完整 PPA 管道追踪:GATE → AUDIT → TURN → ENRICH → INSPECT → ORCH → RESPONSE → RESULT: ![详细 CLI 输出](https://static.pigsec.cn/wp-content/uploads/repos/2026/04/8eaeb5d542211934.png) ## 什么是 Lumina OS? Lumina OS 是一个**零信任编排层**,为任意 LLM 封装确定性契约。LLM 是**处理单元**,而非权威。所有围绕它的内容——输入归一化、提示组装、输出验证与审计日志——都是**确定且可验证**的。 该系统由三条性质定义: 1. **提示注入在结构上被缓解**——LLM 接收用户的原始输入,但从不以孤立形式接收。所有输入在进入提示契约组装前,都会流经检查中间件管道(NLP 提取 → 模式验证 → 不变性检查)。模型看到的是嵌入在确定性契约中的原始消息——领域物理、参与者身份、状态上下文以及最近回合的滑动窗口——因此无法仅凭输入被操纵。 2. **幻觉可追溯**——每个 LLM 输出都会经过确定性工具适配器验证。未被识别的模式会触发双密钥门控:LLM 标记异常,随后由人类领域权威确认或拒绝。追加式系统日志记录每个决策的 `model_id`、`model_version` 与裁决结果。 3. **每个输出都经过门控**——没有 LLM 响应能在通过确定性验证前到达用户。违规行为会升级到人类。新型合成事件需要明确的领域权威批准。 核心引擎**完全与领域无关**。所有领域行为——提示、状态模型、工具适配器与模板——都位于运行时加载的独立 **领域包(domain packs)** 中。切换领域无需更改服务器代码。 ## D.S.A. 框架 每个会话契约都基于三个结构支柱构建: | 支柱 | 名称 | 角色 | 可变性 | |--------|------|------|------------| | **D** | 领域 | 不可变规则、不变性、现行指令、升级触发器 | 每会话不可变 | | **S** | 状态 | 从结构化证据更新的紧凑实体档案 | 可变 | | **A** | 参与者 | 产生证据的实体(学生、传感器、操作员、设备) | 每会话识别 | 编排器的响应来源于三者支柱,而非其本身。编排器是一个**执行器与翻译器**:它观察传入证据,更新状态,检查领域不变性,在既定指令范围内选择响应,并在无法稳定时升级。 **决策层级**控制编排器的响应方式: | 层级 | 条件 | 动作 | |------|-----------|--------| | `ok` | 所有不变性通过 | 在既定指令范围内响应 | | `minor` | 软不变性触发 | 应用既定指令进行修正 | | `major` | 硬不变性触发 | 升级至领域权威 | | `escalate` | 无法稳定 | 需要人机协同 | 详见 [`specs/dsa-framework-v1.md`](specs/dsa-framework-v1.md) 获取完整的 D.S.A. 规范。 ## 提示包组装(PPA) 如同 TCP/IP,PPA 从分层组件组装数据包——每一层添加其头部,数据包通过,验证确认完整性: ``` ┌────────────────────────────────────────────────────┐ │ Input Interface (chat, sensor, API) │ ├────────────────────────────────────────────────────┤ │ Inspection Middleware │ ← NLP extraction → schema validation → invariant check ├────────────────────────────────────────────────────┤ │ SLM Pre-Interpreter │ ← pre-digests domain physics → compressed context ├────────────────────────────────────────────────────┤ │ Global Base Prompt │ ← universal rules (like IP headers) ├────────────────────────────────────────────────────┤ │ Domain Physics │ ← immutable domain-specific policy ├────────────────────────────────────────────────────┤ │ Module State + Turn Data │ ← session context + NLP anchors ├════════════════════════════════════════════════════╡ │ Assembled Prompt Contract │ ← the "packet" ready for dispatch ├────────────────────────────────────────────────────┤ │ Task Weight Classifier │ ← LOW → SLM | HIGH → LLM ├────────────────────────────────────────────────────┤ │ Tool-Adapter Verification │ ← deterministic output checking ├────────────────────────────────────────────────────┤ │ System Log │ ← append-only audit ledger └────────────────────────────────────────────────────┘ ``` LLM 无需猜测上下文——它只收到恰好需要的契约,不会多也不会少。 详见 [`docs/7-concepts/prompt-packet-assembly.md`](docs/7-concepts/prompt-packet-assembly.md) 获取完整层参考。 ## 斜杠命令 斜杠命令**完全绕过语言模型**。它们是确定性操作,经过模式验证、RBAC 强制与审计日志——无任何 LLM 参与。 存在三级命令: | 层级 | 示例 | 门控 | |------|----------|------| | **用户** | `/status`, `/glossary`, `/history` | 会话作用域 | | **领域** | `/add-term`, `/update-physics` | 领域权威 | | **管理** | `/escalate`, `/override`, `/audit` | RBAC + HITL 确认 | 执行路径如下: 1. **输入** → 识别为斜杠命令(前缀匹配) 2. **模式验证** → 命令负载按管理命令模式验证 3. **RBAC 检查** → 调用者角色与命令所需层级验证 4. **执行** → 确定性处理器(无 LLM) 5. **系统日志** → 动作记录到追加式审计账本 对于自然语言管理指令(例如“将 'photosynthesis' 添加到术语表”),**SLM 命令翻译器**会将意图解析为结构化操作。SLM 是一个小型语言模型,用于结构化提取——它不是推理 LLM。该操作随后沿上述确定性路径执行。 详见 [`docs/1-commands/`](docs/1-commands/README.md) 获取完整命令参考。 ## 快速开始 ### 先决条件 - Python 3.12+(在 3.13 上测试通过) - LLM API 密钥(OpenAI 或 Anthropic)——仅用于实时响应 ### 安装并运行(确定性模式——无需 API 密钥) ``` # 创建虚拟环境 python3 -m venv .venv && source .venv/bin/activate # Windows: py -3.13 -m venv .venv && .venv\Scripts\Activate.ps1 # 安装依赖 pip install -r requirements.txt # 设置运行时配置 export LUMINA_RUNTIME_CONFIG_PATH="domain-packs/education/cfg/runtime-config.yaml" # Windows: $env:LUMINA_RUNTIME_CONFIG_PATH="domain-packs/education/cfg/runtime-config.yaml" # 启动服务器 python -m lumina.api.server # 发送确定性请求(无需 LLM) curl -X POST http://localhost:8000/api/chat \ -H "Content-Type: application/json" \ -d '{"message": "I solved it and checked by substitution.", "deterministic_response": true}' ``` ### 启用实时 LLM ``` export OPENAI_API_KEY="sk-..." pip install openai # 然后发送不带 deterministic_response 的请求 ``` ### 运行测试 ``` pip install -r requirements-dev.txt python -m pytest tests -q ``` 详见 [`docs/1-commands/installation-and-packaging.md`](docs/1-commands/installation-and-packaging.md) 获取详细设置,以及 [`docs/8-admin/secrets-and-runtime-config.md`](docs/8-admin/secrets-and-runtime-config.md) 获取生产配置。 ## 仓库结构 ``` lumina-os/ ├── src/lumina/ ← core engine (API, orchestrator, middleware, persistence, system log) ├── src/web/ ← Vite + React reference UI ├── domain-packs/ ← self-contained domain knowledge + behavior │ ├── education/ ← algebra, world-sim, MUD builder │ ├── agriculture/ ← sensor ops, group library reference implementation │ └── system/ ← SLM-only routing, no external LLM ├── specs/ ← formal specifications (DSA, principles, RBAC) ├── standards/ ← JSON schemas and conformance standards ├── docs/ ← UNIX man-page reference (sections 1–8) ├── tests/ ← pytest suite (3690+ tests, zero regressions) ├── scripts/ ← build, integrity, migration, and verification tools └── data/ ← retrieval indices, profiles, blackbox snapshots ``` ## 文档 完整参考文档遵循 UNIX 手册页章节约定: | 章节 | 名称 | 内容 | |---------|------|----------| | [1](docs/1-commands/) | 命令 | CLI 工具与实用程序 | | [2](docs/2-syscalls/) | 系统调用 | API 端点与服务器接口 | | [3](docs/3-functions/) | 函数 | 库接口(认证、持久化) | | [4](docs/4-formats/) | 格式 | JSON 模式与数据结构 | | [5](docs/5-standards/) | 标准 | 核心规范与协议 | | [6](docs/6-examples/) | 示例 | 工作交互追踪 | | [7](docs/7-concepts/) | 概念 | 架构与设计哲学 | | [8](docs/8-admin/) | 管理 | 治理、RBAC、审计、操作 | 所有工件均使用语义化版本头、状态字段与 SHA-256 完整性记录。详见 [`docs/MANIFEST.yaml`](docs/MANIFEST.yaml) 获取机器可读的工件索引。 ## 符合性 所有领域包与实现必须符合 [`standards/lumina-core-v1.md`](standards/lumina-core-v1.md)。详见 [`docs/5-standards/`](docs/5-standards/README.md) 获取完整规范索引。 ## 许可证 Apache 2.0 —— 参见 [LICENSE](LICENSE)。 ## 免责声明 Lumina OS 是研究/实验性软件,按原样提供,遵循 Apache 2.0,不提供任何担保。本项目任何部分未经独立验证,均不适用于安全关键、高风险或受监管用途(包括对未成年人)。 该引擎提供结构性问责(D.S.A. 契约、系统日志追踪),但**不替代**人类监督、专业判断或法律合规。最终问责始终在于各层的人类领域权威,而非 AI 或引擎本身。 *最后更新:2026-04-16*
标签:AI系统治理, API密钥检测, AUDIT, Domain Bounded AI, ENRICH, GATE, HITL, INSPECT, JSONLines, ORCH, PPA管道, RESPONSE, RESULT, TURN, 中间件, 人机协同, 人类权威, 可验证合约, 审计日志, 幻觉追踪, 提示注入缓解, 滑动窗口, 确定性编排, 确定性验证, 系统日志, 输入验证, 输出验证, 逆向工具, 零信任, 零信任架构, 领域边界AI