代码仓库分析

discern

Effect 的语义控制流库:把 Jev 的 Choice / Noul / Score 答案变成带类型的分支。阈值由调用方提供,低于阈值的答案走显式的 `Uncertain` 分支(编译器强制处理),而不是被四舍五入成最高分标签;procedure 路由先用确定性谓词筛选候选,只剩一个时完全跳过模型调用。

E2 · 资料已核对已检查公开资料或源码证据;仅有固定提交链接并经对应源码核对,才可称固定版本核验。不代表本站运行过、认可性能或保证安全。
Stars
12
Forks
2
协议
MIT
最近提交
2026-09-22

Jev 在这里做什么

**单文件证据(provider 接入与决策调用在同一源码文件中)/ Single-file evidence — provider wiring and the decision call live in the same file:**

把语义判断接到已有的命令行工作流。

核对所引 src/index.ts 中分开的匹配/不匹配门槛及显式 Uncertain 分支。本站未执行 Effect 工作流或模型请求;不确定分支是可检查的控制流,不代表门槛已校准。

这个项目适合解决什么任务?

在 Effect 应用中把“不确定”变成显式控制流结果。

资料分析日期:

从输入到动作

  1. 将语义观测与业务策略分别声明。
  2. 通过模型层批量、缓存或回放证据。
  3. 按顺序评估 Match、Miss、Uncertain,再调用处理器。

实现中值得检查的地方

中间概率不会自动当作 false

模式可分别设 match 和 miss 门槛,中间保留 Uncertain;取反仍保留不确定,不能悄悄折叠为布尔值。

查看对应来源 ↗

缺少不确定处理会明确失败

dispatcher 调用 onUncertain 或抛出 UncertainMatchError,高优先级规则不确定时不会直接滑到无关回退。

查看对应来源 ↗

选择建议

适合需要可审计类型化策略的语义证据流程;库不会替你选对阈值,仍需真实结果验证。

如何自行检查

沿 src/index.ts 的模式评估和 dispatch,输入固定 0.62、missBelow=0.5、match=0.8,检查显式不确定分支。

结论的适用边界

  • 本站未运行 Effect 工作流或在线调用。
  • 回放/缓存一致是工程属性,不证明语义答案正确。
本次分析的原始资料