中间概率不会自动当作 false
模式可分别设 match 和 miss 门槛,中间保留 Uncertain;取反仍保留不确定,不能悄悄折叠为布尔值。
查看对应来源 ↗Effect 的语义控制流库:把 Jev 的 Choice / Noul / Score 答案变成带类型的分支。阈值由调用方提供,低于阈值的答案走显式的 `Uncertain` 分支(编译器强制处理),而不是被四舍五入成最高分标签;procedure 路由先用确定性谓词筛选候选,只剩一个时完全跳过模型调用。
**单文件证据(provider 接入与决策调用在同一源码文件中)/ Single-file evidence — provider wiring and the decision call live in the same file:**
把语义判断接到已有的命令行工作流。
核对所引 src/index.ts 中分开的匹配/不匹配门槛及显式 Uncertain 分支。本站未执行 Effect 工作流或模型请求;不确定分支是可检查的控制流,不代表门槛已校准。
在 Effect 应用中把“不确定”变成显式控制流结果。
资料分析日期:
模式可分别设 match 和 miss 门槛,中间保留 Uncertain;取反仍保留不确定,不能悄悄折叠为布尔值。
查看对应来源 ↗dispatcher 调用 onUncertain 或抛出 UncertainMatchError,高优先级规则不确定时不会直接滑到无关回退。
查看对应来源 ↗适合需要可审计类型化策略的语义证据流程;库不会替你选对阈值,仍需真实结果验证。
沿 src/index.ts 的模式评估和 dispatch,输入固定 0.62、missBelow=0.5、match=0.8,检查显式不确定分支。