用在关键处
为有后果的回答而造
流畅是廉价的。在商业、运营和受监管的工作里，一个错误回答就是一笔退款、一次泄露，或一场诉讼。MARS 正是为这些场合设计的。
电商
一个从不编造价格的智能体
会幻觉价格与政策的聊天机器人带来真实法律风险——已有法院判决企业必须兑现其机器人做出的承诺。
整个商品目录以版本化快照存于本地 Hyphae。站内智能体要么引用当前快照中的确切价格——附回执——要么弃答并转交人工。
- 价格变动即快照——昨天的回答依然可审计。
- 回执同时是每条响应的合规审计记录。
- 跑在你自己的服务器上。目录数据不出楼。
- 01 目录 + 政策作为版本化来源入库
- 02 提问 → 确定性意图 → 带证明的检索
- 03 引用确切片段，价格绑定快照版本
- 04 没有证据？受治理弃答 → 转交人工
后台办公智能体
小任务、可审计的行动、极小的硬件
邮件分流、日程协调和例行回复不需要前沿大模型——它们需要可靠性、隐私和书面痕迹。
智能体运行在一台小型本地服务器上。确定性规则处理例行事务；紧凑模型起草其余部分；每个动作都要过验证器。先草稿制：可信类别通过门槛才赢得自动发送。
- 天然异步——一块小 GPU 就能服务整个办公室。
- 个人记忆支持记住、纠正与遗忘——全部带回执。
- 最难的 5% 升级给前沿教师模型，仍在同一验证器之下。
- 01 公司知识 + 偏好存于本地 Hyphae
- 02 触发 → 规则优先，必要时才用模型
- 03 动作提案 → 验证器 → 策略检查
- 04 执行并留回执——或停放待人工处理
受监管行业
为「证据即产品」的场合提供带证明的回答
法律、医疗、金融与国防场景无法接受「模型通常是对的」。它们需要溯源、范围控制，以及断网运行的能力。
PRIVATE_LOCAL 模式在物理隔离下运行完整栈：本地推理、本地 Hyphae、离线验证的证明。可见范围强制谁能看什么；过期或越权的知识失败关闭。
- 适合物理隔离：无外部推理，无外部检索。
- 遗忘是可验证的——删除会产生可证明的弃答。
- 权威是确定性代码，不是神经网络的自信。
- 01 受控语料带许可证 + 溯源入库
- 02 检索时强制租户与可见范围
- 03 回答绑定到已授权来源的确切片段
- 04 每条响应留有完整回执链——可导出