心智
MARS
推理身份。一个紧凑的低比特模型，负责分解任务、导航知识、起草回答。模型本体可以更换；MARS 不是某一个 checkpoint。
MARS / 01·MARS 为何存在
训练结束的那一天，模型权重就开始过时。
没有证据的自信回答，是一种法律风险。
知识应当活在模型之外——
有版本、有来源、可验证。
MARS 把推理与知识分离。模型负责思考；Hyphae 负责记忆；HiveMind 负责治理。任何事实都不会仅仅因为神经网络说过，就被当成真的。
MARS / 02·受治理的回路
MARS 如何作答
每个请求都要经过六个站点。任何环节都不信任上一个环节——模型永远不掌握权威。
- 1
有界任务
每个请求以类型化信封进入，带有明确上限：迭代次数、证据字节数、工具调用、截止时间。没有任何环节可以无限运行。
- 2
ELIZA 执行器
确定性规则优先匹配意图——优先级、检索模式、澄清。若已准入的规则可以裁决，则完全不调用神经网络。
- 3
低比特导航模型
一个紧凑的量化模型提出检索请求与候选回答。它是可替换的进程、状态隔离——并且没有任何权威。
- 4
Hyphae 检索
证据带着来源身份、不可变版本快照和检索证明返回。在证明通过之前，检索到的文本仅供参考。
- 5
验证器
回答必须绑定到已授权来源中的确切片段。证明以确定性方式校验。错误来源的证据会被拒绝——在对照实验中 225 次里拒绝了 225 次。
- 6
回执——或弃答
经验证的回答附带 SHA-256 回执：裁决、来源摘要、工件身份。验证不通过时，MARS 选择弃答，而不是猜测。
从构造上就是 fail-closed：任何站点无法验证时，输出是一次受治理的拒绝——绝不是一个语气自信的猜测。
MARS / 03·一个产品，三个平面
MARS × HiveMind × Hyphae
三个名字对应三种职责。把它们分开，本身就是这套架构。
受治理的运行时
HiveMind
进程生命周期、确定性规则、上下文预算、验证与回执。HiveMind 决定模型能看到什么，以及它的输出能否存活。
活的记忆
Hyphae
持久、版本化的知识，带有来源身份、溯源信息与检索证明。Hyphae 是「什么是已知的」的权威——模型只是在其中导航。
MARS / 04·类型化知识接口
九个通道，而不是一团模糊
「读取记忆」不是一项单一能力。MARS 将 Hyphae 知识的每一种属性作为独立通道来学习，并分别测试。
source_identity
来源身份
一条陈述来自哪个确切来源。
unit: hyphae/docs/quickstart
version_snapshot
版本快照
正在读取该来源的哪个不可变修订版。
snapshot: 9f2c…e41a
support_state
支持状态
证据是否真正支持该声明。
SUPPORTED / CONTRADICTED
retrieval_intent
检索意图
任务需要哪种检索模式。
EXACT / LEXICAL / HYBRID
proof_authority
证明权威
检索证明是否有效且已获授权。
VERIFIED_ALLOWED / EXPIRED
topology
拓扑
证据相对于问题所处的位置。
SAME_UNIT / CROSS_UNIT
extractive_answer
抽取式回答
绑定在来源内部的确切回答片段。
bytes 1,204 – 1,262
visibility_scope
可见范围
谁有权看到这条知识。
PRIVATE_ALLOWED / PUBLIC
continuity
连续性
知识是当前有效，还是已被取代。
CURRENT / SUPERSEDED
其中四个通道——证明权威、可见范围、拓扑、连续性——永远由 HiveMind 的确定性权威覆盖。神经头只是解释器，绝不是裁判。
MARS / 05·彻底的可审计性
每个回答都带回执
不是让你凭信任接受的引用——而是一条密码学记录，绑定裁决、确切的来源版本，以及产出它的工件。
- 来源摘要（digest）标识回答所绑定的确切内容版本。
- 工件的 SHA-256 锁定是哪个模型本体给出了该候选回答。
- 回执可复现：同样的测试套件、工件与证据会复现同样的裁决。
{
"schema": "hivemind.api.receipt/v1",
"decision": "SUPPORTED",
"source_digests": ["9f2c…e41a"],
"answer_path": "extractive_span_verified",
"artifact_sha256": "396dd653384c…b42571f2"
}
MARS / 06·实测，而非承诺
有回执的数字
下方每个数字都经过实测，并绑定 HiveMind 仓库中公开的证据回执。
0 tok/s
在消费级 RTX 5050 笔记本 GPU 上的生成速度
回执 · mars1-q4-rtx5050-benchmark
0 MiB
峰值显存（预算 8,151 MiB）——8 GB 显卡绰绰有余
回执 · mars1-q4-rtx5050-benchmark
491/ 0
通道激活时，冻结父模型输出的精确保持
回执 · mars-hyphae-full-promotion-decision
0 %
晋升时九个通道全部的类型化接口准确率
回执 · mars-hyphae-full-promotion-decision
0
受治理的训练数据行——训练/保留集来源零重叠
回执 · mars-hyphae-multichannel-datasheet
0 %
有 Hyphae 证据时的已验证回答率，对比无证据时的 1.7%（开发对照）
回执 · gemma4-e4b-hyphae-development
MARS / 07·没人愿意发布的功能
MARS 知道什么时候不该回答
当证据缺失、过期、越权或互相矛盾时，MARS 不会即兴发挥。它返回一次受治理的弃答——并附上准确说明原因的回执。
- 对被遮蔽证据的弃答是一道晋升门槛，不是偶然行为。
- 过期的证明与越权来源通过权威覆盖直接失败关闭（fail-closed）。
- 弃答是有去处的治理结果——升级、澄清，或移交给人。
「2019 年下的订单，退款窗口是多久？」
没有经过验证的本地证据覆盖该请求。
裁决：ABSTAIN · 原因：无已授权来源
进行中的研究。绑定证据的声明。
MARS 尚在实验阶段。本站描述的是实测结果——包括未通过的门槛。尚未证明的内容，都会如实标注。