用途：witness 是 Allium 循环的独立见证者。当循环报告已收敛（测试通过、weed 干净、无阻塞问题）时，它对照运行方无法伪造的基准事实确认该声明，并留下签名的见证记录。它不复做循环的工作，只观察各阶段已产出的证据。与 verify 阶段的区别：verify 由执行者自问“代码是否满足规格”，witness 独立追问“执行者关于满足规格的声明是否属实、是否诚实达成”，把防作弊契约从文字约定变成可验证的检查。
主要能力：以确定性而非主观判断给出结论，复跑廉价确定性工具并比对输出，绝不用一段叙述去评判另一段叙述。检查项包括：测试确实通过（复跑测试命令读退出码，而非执行者自报的 12/12）；生成的测试未被削弱（重算文件哈希并与账本比对）；覆盖率与声明相符；weed 裁决真实；无阻塞问题被悄悄搁置；收敛确实成立；spec-first 运行中的红转绿为尽力而为并标注。每项检查都指明其读取的基准事实。
使用方式：运行于两种模式。交互模式在对话中内联运行，直接呈现裁决与违规，并询问用户如何路由失败。非交互模式作为 witness 子代理运行（如在收敛门），无人可答，绝不等待回复，写入见证记录并在最终输出返回裁决及每条违规的路由。每次运行写一个产物到 .allium-loop/<goal-slug>.witness.json，包含目标 slug、tick 数、整体裁决、逐项检查结果与所读基准事实、每条违规及路由、因缺证据而跳过的检查。作为循环子代理时，只返回符合 witness-result.schema.json 的单个 JSON 对象，无前后文字。交互式运行则跳过 JSON，以一行人类可读摘要结束。
适用场景：需要独立核验 AI 循环收敛声明是否真实、是否诚实达成的场合，可作为 CI 门控、恢复依据或审计展示。
限制：它是见证者而非修复者，不编辑规格、测试或代码，不生成或修复测试，不做架构或产品决策，仅分类并路由违规。不重跑模型密集型阶段（propagate、distill、weed 完整对齐推理），只读其产物与摘要行。硬模式下才自行重跑 weed，默认关闭。缺失事实：具体安装命令、收费与定价、支持平台等资料暂未提供。