Enterprise Application Intelligence · 企业应用构建智能体平台
宇纳万器，器成有度
让智能有形，让应用可信——AI 做的东西看得见，交付的系统信得过：每行逻辑都有本体约束，可度量、可核验。
您描述业务需求，AliothStudio 平台负责构建系统。杭州宇器科技有限公司以自研 Alioth 数据本体模型约束智能体，数据库结构由模型发布链一次性冻结、智能体不生成 DDL，它只在这套冻结模型上确定性地产出后端 API、类型定义与前端界面——交付的不是"看着能用"的演示，而是经 229 项质量门禁核验、可直接投产的企业级应用。
模型在 GitHub 开源发布：github.com/CosmicTools9/Alioth · 最新 v10.0.44（2026-10-19）
Solutions
我们能为您解决什么
企业应用建设的三类典型困境，以及宇器科技给出的答案。
通用 Agent 生成的系统"看着完整、实际不能跑"
LLM 凭空编造不存在的表、字段、接口与业务规则，产物看似完整却无法运行——企业应用对准确性的硬要求，让多数 AI 生成工具止步于演示。
我们的答案：用冻结的本体模型约束智能体——一切结构产物必须在 645 条本体语义坐标内继承定位、与机读契约逐字段对齐，幻觉在构建期即被检出拒绝。
表单拼装出来的系统，跟不上业务变化
传统低代码平台以表单拼装为思路，结构旁路复制、语义各自为政；业务一变，系统就陷入修一处坏三处的泥沼。
我们的答案：本体驱动——先以数学化的本体语言精确刻画业务世界，业务变更即模型变更，系统随业务共同演化，而非在旧代码上打补丁。
一套业务系统动辄数月开发，需求等不起
数据库设计、后端接口、前端界面分头开工，联调返工层层叠加，等系统上线时业务需求往往已经变了。
我们的答案：数据结构由模型发布链一次性冻结（与构建链物理分离），智能体管线只产出后端 API、类型定义与前端界面——应用层全栈一体化生成，构建全程零 DDL、零模型补丁。
Proven in Production
已在这些行业落地运行
同一套 Alioth 模型与 AliothStudio 平台，已在 6 个命名空间落地——15 个应用、61 个模块、293 个 Block、82 个服务（第 6 个命名空间 MAT 接入进行中），覆盖从询盘到结汇、从委托到开票的全链路。
外贸服装加工订单与财务一体化管理系统
覆盖经营总览、客户询盘、报价、订单、BOM、采购、打样、生产、质检、出货、单证、应收应付、账龄、汇率、成本、利润、退税、报销、权限与设置共 18 个业务场景，打通"询盘 → 出货 → 结汇"全链路。
物流运输运营管理系统
委托物流、运输执行、收入往来、应付往来四大模块，内置"客户 ↔ 平台 ↔ 承运商"外部协同链路与裁决留痕机制，运单、轨迹、围栏、结算、开票一体化管理。
体系研发与适航管理平台
面向航空工业客户：体系研发管理、审批工作流与适航合规模块，工程师 / 技能标签 / 审批角色 / 变更控制委员会（CCB）等要素本体化建模。
研发项目主数据与预算管理
研发项目台账、科研工号取号与换号留痕、项目多维度标签、立项档案版本化、项目依赖与经费结转关系、预算域计划联动——零冗余建表，全量锚定统一模型结构。
How It Works
平台如何为您工作
您只需提出业务需求，其余由 AliothStudio 的企业应用构建智能体完成。平台由两条独立链路构成：模型发布链产出数据基座，应用构建链在冻结的基座上组装您的业务应用。
其中数据基座由独立的模型发布链维护（结构唯一通道），智能体在整个应用构建链中零 DDL——保证您拿到的系统始终锚定同一套冻结模型：
元数据平台
管理模型全生命周期的中枢。所有结构变更只能经人工审核后进入发布管线；内置生成引擎与智能体运行时，把业务需求自动编译为应用配置与代码产物。
统一入口
业务应用的统一运行时：自动发现应用并加载扩展能力（约束 / 规则 / 状态机 / 工作流），统一鉴权。每个行业系统独立编译、隔离部署，互不影响。
单点登录
独立部署的统一认证服务，所有应用共享同一身份链路，一次登录处处通行。
协同门户
面向客户、供应商等外部协作角色的门户框架，按需启用、独立部署，与内部系统共享同一数据基座。
Reliability
为什么可靠：让智能体免于 LLM 幻觉
通用 Agent 开发最大的工程风险是 LLM 幻觉——模型凭空编造不存在的表、字段、接口与业务规则，产物看似完整却无法运行。宇器科技的路径是用本体模型约束智能体：LLM 只做需求理解与本体映射，一切结构产物必须在冻结的本体空间内继承定位、锚定机读契约，幻觉在数学结构与工程门禁的双重夹击下无处落脚——满足企业应用对准确性与可靠性的硬要求。
只能继承定位，不许凭空创造
智能体的结构动作被限定在 isahl 冻结 schema 的本体空间内：扩展只能沿 DAG 偏序下锥继承定位、绑定三维本体坐标，坐标由触发器机制分配而非模型自拟——LLM 无法发明不存在的表与字段，新行业接入零 DDL、零模型补丁。
产物对齐发布包契约
Alioth/v* 发布包携带机读契约与验证报告，智能体的每一项产物——模块、Block、Service、app.json——必须与契约逐字段对齐；任何幻觉编造的引用（悬空 service、不存在的坐标）在构建期即被检出拒绝。
229 条门禁机械核验
从需求到部署的全链路设有 229 条登记门禁（commit 阶段 137 条 / push 阶段 92 条）：本体语义坐标合法性、结构引用完整性、编译与测试通过性全部由机器判定——不依赖人工评审的细心，也不依赖模型的自信度，幻觉产物无法通过门禁进入生产。
LLM 不生成运行代码
业务运行逻辑由 alioth-gen 生成器从本体配置确定性地产出（API、类型、界面——不含 DDL：数据结构只经模型发布链变更），理论核心不变量另由 Lean 4 机器证明（零 sorry 为推送硬判据）。LLM 仅承担其擅长的需求理解与映射选择，准确性由结构与证明背书。
Get Started
如何开始
四种方式，由浅入深：在线试用、照手册实操、读懂理论、审阅代码——所有承诺均可自行验证。
SaaS 学习实践版
cosmic-tools.shop 提供 AliothStudio 的在线 SaaS 学习实践版——面向个人用户的精简部署，核心建模、应用组装与运行动线完整可用，无需本地环境即可跟随蓝皮书实操。
构建蓝皮书
《AliothStudio 应用构建操作手册》：从环境准备、模型中心、AppAgent 工作流、模块与 Service 开发铁律，到构建部署与 229 条质量门禁速查的完整操作路径。
理论白皮书
《Alioth 模型理论白皮书》：交换本体论的数学基础——交换范畴与群胚对称性、坐标积空间、五领域完备性、守恒测度、多命名空间模型论验证，以及五条核心元定理的 Lean 机器证明。
GitHub 开源验证
核心模型在 CosmicTools9/Alioth 开源（PLpgSQL · MIT）：最新 v10.0.44（2026-10-19）含 1022 张继承表 + 268 张种子表，每次发布经专用验证库全量重建核验——白皮书断言的每条数学性质，都能在仓库中找到对应的结构定义与约束。
应用生成器 CosmicTools9/dsh-alioth（TypeScript）：用户以对话描述应用，框架经确定性程序化管线产出可导入产物——LLM 只提供结构化参数与语义决策，从不生成产物文本。这是「免于 LLM 幻觉」承诺的可查验实现。
Technology
技术能力
| 能力 | 说明 |
|---|---|
| NGAC 细粒度权限 | 基于 NGAC 国际标准（ANSI/INCITS 565-2022）实现 DAG 有向无环图权限模型：策略类多租户隔离、用户/对象属性层级继承、关联授权与禁止规则（负授权优先）、策略变更全量审计。 |
| SQL / AGE 智能查询路由 | 后端自动适配关系查询与图查询：高频权限检查走 SQL（1–2ms），多跳遍历与最短路径走 Apache AGE 图引擎；关系表为唯一真相源，AGE 为可选加速层。 |
| AI 驱动应用生成 | AppAgent 运行时以状态机驱动"需求 → 原型 → 本体映射 → 模块 / Block / Service 产物"的自动化链路，EmpAgent 知识注入管线保障领域知识对称完备。 |
| Lean 4 形式化验证 | 理论核心不变量（价值守恒、对合结构性、补全终止性与正确性、5 领域完备性可判定）由 Lean 4 机器证明，零 sorry 为代码推送门禁硬判据——数学正确性不靠评审背书，靠证明器核验。 |
| 分布式身份与审计 | 业务数据采用分布式唯一 ID（zuid）策略，全量操作落入独立审计 schema，配合交易对称性模型实现端到端可追溯。 |
| 一体化发布链 | Meta 生成产物 → 命名空间构建 → 发布部署包（二进制 + DDL + docker-compose + 运维脚本），生产阶段自动重启网关，发布过程闭环可回滚。 |
| 现代技术栈 | 后端 Rust（高性能、内存安全）；前端 React + TypeScript；数据库 PostgreSQL + Apache AGE 图扩展；工程化基于 pnpm / Cargo workspace 多模组单体。 |
Theory
理论基础：Alioth 数据本体模型
为什么这套模型能约束智能体？因为 Alioth 是基于范畴论与对称性原理构建的企业级数据本体建模框架：经济行为被形式化为交换范畴中的态射，可逆交易构成核群胚（core groupoid），对称性由对合自函子严格刻画——每笔交易存在唯一镜像逆交易，从而保证价值守恒与结构完整性。全部数学不变量均锚定工程门禁，核心定理由 Lean 4 机器证明。模型已开源：github.com/CosmicTools9/Alioth。
范畴 / 群胚 / 对合自函子
交易是交换范畴 𝓔 中的态射，可逆交易构成核群胚 core(𝓔)；对称性 = 对合自函子 S : core(𝓔) → core(𝓔)ᵒᵖ，S² = id。工程含义——镜像交易唯一存在，价值守恒逐笔见证：每张凭证回填期初/期末余额，"前态 + 净变 = 后态"逐行机械可核验。
积范畴 / 坐标函子
坐标函子 χ = (dk_scene, dk_factor, dk_function) 把每个业务实体定位到 S × F × U 积范畴中的唯一点：三个维度正交、独立取值、独立演化，维度编码即分层地址，由触发器机制分配而非人工约定。
DAG 偏序 / 关系代数 / span
继承体系是有向无环图偏序（484 子表、374 叶表），扩展只能沿偏序下锥增长、禁止旁路复制；r_* / rr_* 关系族分别对应函数关系与 span（1:N / M:N），关系复合即态射复合，层级关系由无环不变量守门。
符号测度 / 可加性
库存与余额不是实体属性，而是凭证事实的可加符号测度——"算出来的"而非"存出来的"；盘点是测度修正原子事件，盘盈盘亏作为正常测度误差被吸收校准，而非被掩盖。
4D 元数快照
任意交易沿生命周期切片后，得到本体 4 元数：场景 Scene（Where & When）、要素 Factor（Who & What）、职能 Function（How）、状态 Status（单向演进的离散逻辑时间）。三维正交编码构成可解析的本体空间。
5 领域完备性
每个 4 元数快照必须覆盖 人 L / 箱 C / 货 G / 场 P / 财 F 五个交易领域，不允许对称性破缺——从模型层面保证业务闭环：谁在交易、用什么承载、交易什么、在哪交易、怎么流转。
event / task 镜像对合
时间轴被"现在"分划为两半：已发生的 event（过去事实）与未发生的 task（未来待办）互为镜像，任务完成即切片翻转；plan 经双桥向两侧展开，事件驱动与任务驱动是同一驱动模型的两个时间方向。
多命名空间模型验证
模型论视角：isahl 模型是理论 𝕋，每个行业命名空间部署是 𝕋 的一个模型 ℳ ⊨ 𝕋。同一理论已承载 6 个命名空间、15 个应用、61 个模块、82 个服务、645 条本体语义坐标——新行业接入零 DDL、零模型补丁，仅靠继承定位与坐标绑定完成。
About
关于我们
杭州宇器科技有限公司是一家专注于企业应用构建智能体的软件技术公司。公司以自研的 Alioth 模型为理论内核、AliothStudio 平台为工程载体，为外贸制造、物流运输、航空适航、科研管理等行业提供从数据模型到完整业务系统的全链路解决方案。
不同于传统低代码平台的表单拼装思路，宇器科技的路径是本体驱动 + 智能体构建：先以数学化的本体语言精确刻画业务世界，数据库结构由模型发布链冻结（DDL 只在该链生成，智能体不接触数据库模型），智能体管线随后在同一套本体上产出后端 API、类型定义与前端界面——业务变更即模型变更，系统随业务共同演化。
名之由来 · Name Origin
宇纳万器，器成有度
公司名「宇器」由此而来——以宇为怀，容纳万象之器；以度为纲，所成之器皆有法度。这也是我们的工程信条：包容企业业务的万千形态，交付的每一个系统都经得起度量与核验。
Build What's Next
让复杂业务，
拥有可持续演进的系统。
无需本地环境，在线体验 AliothStudio 的建模、应用组装与运行全流程——跟随蓝皮书，亲手构建您的第一个企业应用。
进入 SaaS 学习实践版 →