r2r-jev —— Jev 判断之后的持久治理：Rust 实现的 MCP 控制面
内容提要
r2r-jev 是一个为 Jev 决策模型的判断结果提供持久治理的 Rust 开源项目。其核心是将“判断”转化为带类型的证据，只有通过准入层（接受、暂缓或拒绝）后，才会改变信任、授权等长期状态，避免概率直接转化为权限。项目强调确定性：概率转为整数、不使用浮点数和时钟、相同输入产生相同输出，并支持事件重放对账。准入层包含七步判定与反例，实验显示可缩小误报的影响。此外还提供 MCP 治理控制面，无需 API key 即可运行。
延伸解读
把“概率”与“权限”拆开的设计动机
文章指出，常见 guardrail 做法是概率过阈值就直接 block，下次调用又从零开始，长期状态无人维护。r2r-jev 把链路拉长为判断→证据→准入→关系状态→执行，只有被接纳的证据才能改动 Trust、Delegation、Authorization。这一区分的实际意义是：0.94 的越权判断只作为证据候选，不会自动等同于授权被暂停，从而避免单次概率输出直接改写长期权限。
确定性纪律带来的可对账性
项目在 adapter 边界把概率转成整数 ppm，治理路径不使用浮点数、时钟和随机数，ID 采用顺序计数器，事件序列本身充当时间。由此相同输入产生逐字节一致的输出，可用 fixture 跑两遍 diff 验证，并作为 CI 断言。事件库还支持重启恢复与重放对账，状态版本不一致时会报出第一个发散点，这对排查治理状态漂移有直接价值。
准入层的收益与边界
准入层 v0.1 采用七步判定与七条不变量，内置反例如高置信但来源不可靠或已过期会被 Reject，76% 置信无佐证则 Hold。对照实验显示，强信任来源的高置信误报下，准入层与直接阈值同样中招；但在不确定带场景中，准入层能把误报影响范围压到零，且佐证充分的真实违规比固定阈值拦得更早。可见其价值集中在证据质量可区分的情形，而非全面优于阈值。
MCP 控制面与待解问题
仓库提供可运行的 MCP 治理控制面，支持 stdio 与 HTTP 两种 transport，覆盖提交观测、查询关系状态、执行前取确定性决策、记录执行结果与溯源重放，决策无副作用、写失败 fail-closed，且无需 API key 即可运行。作者同时列出八个未解决问题，其中“独立佐证的身份如何定义”和“已接纳证据是否应随时间失效”直接关系到准入层结论的可靠性，值得关注后续讨论。
Q&A
r2r-jev 是什么？它主要解决什么问题？
r2r-jev 是一个用 Rust 实现的开源项目，为 Jev 决策模型的判断结果提供持久治理。它解决的是“判断之后”的问题：将模型的概率判断转化为带类型的证据，经过准入层（接受、暂缓或拒绝）后，才可能改变信任、授权等长期状态，避免概率直接转化为权限。
r2r-jev 如何保证确定性？
r2r-jev 通过以下方式保证确定性：概率在适配器边界转换为整数 ppm（如 0.94 → 940000），治理路径全程不使用浮点数；不使用时钟和随机数，ID 采用顺序计数器（如 ev-0001），事件序列本身即时间；相同输入产生逐字节一致的输出，可通过运行 fixture 两次并 diff 验证，这也是 CI 中的断言。
准入层是如何工作的？有哪些判定结果？
准入层采用七步有序判定和七条不变量，对证据候选给出三种结果：Accept（接受）、Hold（暂缓）或 Reject（拒绝）。例如，99.9% 置信但低可靠来源会被 Reject；76.0% 置信且无佐证会被 Hold；76.0% 置信且有 2 个独立佐证会被 Accept(Corroborated)。只有被接受的证据才能改变长期关系状态。
r2r-jev 的对照实验显示了什么效果？
对照实验显示：对于强信任来源的高置信误报，准入层和直接阈值一样会中招（false-deny 两臂打平）；但在不确定带（87 万 ppm 单源无佐证）场景下，准入层能将误报爆炸半径降为零，并且对于佐证充分的真实违规，比固定阈值拦截得更早。实验数据通过四条 CSV trace 和双臂 harness 被测试锁死。
如何运行 r2r-jev 的演示？需要 API key 吗？
不需要 API key。克隆仓库后，运行 `cargo run -- fixture` 可执行三幕演示（判断→证据→三连降级→DENY）；运行 `cargo run --bin admission` 可查看准入参考案例 A–G；运行 `cargo run --bin admission-compare -- experiments/evidence-admission-v0.1/traces/uncertain-single-source.csv` 可进行对照实验。
r2r-jev 提供了哪些 MCP 治理功能？
r2r-jev 提供了一个可运行的 MCP 治理控制面，支持 stdio 和 HTTP 两种传输方式。功能包括：提交观测、查询关系状态、执行前获取确定性决策、记录执行结果、溯源与重放检查。决策过程无副作用，写入失败时采取 fail-closed 策略。
