RULE CHAIN / 口径链
每条规则给出编号、判据和可挑战点。判据必须落到公式或阈值；挑战点必须指向可争议的输入或常数，而不是态度。
用两类错误的相对成本决定拦截概率，不先验设定“污染率”。
C_FP = 一次误放行的期望成本；C_FN = 一次误隔离的期望成本；p = 污染后验概率。
可挑战点两个成本由谁定价、如何核价；若成本来自客户合同，阈值必须随合同附件重算并进入版本记录。
运营下限只允许抬高拦截概率，不允许被模型单独下调。
任何低于默认值的 τ_min 必须由合同附件单独列明，并写入决策记录的 method_version 与标签元数据。
可挑战点下限是业务约束，不是统计结论；客户可替换，但必须写进合同，否则不得用于签发。
高阈值直接隔离，低阈值以上必须镜检复核，避免把不确定样本直接放行。
| p 区间 | 动作 | 记录要求 |
|---|---|---|
p < τ_lo | 放行 / release | 常规决策记录 |
τ_lo ≤ p < τ_hi | 镜检复核 / microscopy review | 复核结论回写；未回写不得关闭 |
p ≥ τ_hi | 隔离处置 / quarantine | 隔离批次号 + 处置凭证 |
可挑战点0.06 与 0.45 是工程常数，不是从数据估计出来的；换作物或换复核成本后必须重新验证。
加权分只负责闸门之上的排序，不能覆盖硬约束。
| 触发条件 | 分数上限 |
|---|---|
根数 N_root < 3 | ≤ 55 |
褐变 browning > 60% | ≤ 60 |
污染后验 p ≥ 0.5 | ≤ 40 |
可挑战点三个 cap 来自事故复盘；多个闸门同时触发时只取最小值，是否足以覆盖交叉风险，需要用反例检验。
弃权是正式输出，不是错误码；必须写入 ledger 并计入统计，不得用默认动作填充。
| 输出 | 触发条件 | 下游动作 |
|---|---|---|
need_more_info | 12 字段缺失或互相冲突 | 指定补件字段与截止时间 |
abstain | 输入超出训练分布，或置信区间跨阈值 | 不给出方向，转人工 |
no_safe_option | 可行集为空 | 输出该语义；流程置 stop_and_review |
defer_to_human | 成本参数未确认，或超出授权 | 交有权限的人签署 |
可挑战点no_safe_option 与 defer_to_human 的边界由判定树固定；判定树变化必须发版。
先过硬约束，再算效用，最后只在可行集内排序；不允许用高收益补偿违规动作。
g_k 为硬约束函数；U 为期望效用；β=6 是排序锐度，仅在可行集内生效。
可挑战点硬约束集合 K 是否完整，以及 β=6 在成本尺度变化后是否需要重标定。
决策与标签同构，任何字段变化都必须导致哈希变化；旧记录不可覆盖。
payload 骨架含 method_version、inputs_digest、output、decided_at；标签使用同一骨架，可独立重算。
可挑战点FNV-1a-64 只提供篡改检测，不是抗碰撞承诺；外部锚定由客户另行决定；规范化实现变化必须升 MAJOR 并启新链。
只用计量电能，不用估算电量；标签保留小时级电量与因子版本。
| 时段 | EF(h) / kgCO2e·kWh⁻¹ |
|---|---|
| 00:00–04:00 | 0.31 |
| 04:00–08:00 | 0.38 |
| 08:00–12:00 | 0.44 |
| 12:00–16:00 | 0.47 |
| 16:00–20:00 | 0.58 |
| 20:00–24:00 | 0.41 |
可挑战点因子是区域与年度相关的，六段常数不等于真小时曲线；自备光伏或绿电合同必须选择市场法或地区法并升版本。
计量占比决定等级，等级决定凭证价格与积分系数；不能拿估算数据换 A 级。
| 等级 | 计量占比 q | 价格系数 k | 积分系数 κ |
|---|---|---|---|
A | ≥ 70% | 1.00 | 1.00 |
B | 45% ≤ q < 70% | 0 < k_B < 1 | 0 < κ_B < 1 |
C | < 45% | 0 < k_C < k_B | 0 < κ_C < κ_B |
系数符号必须在合同附件中固定，且只对新批次生效；已签发标签按原版本保留。
可挑战点分母是否包含估算电量、计量窗口是累计还是连续、采样丢失如何计入，三个选择都会改变等级，必须写进规则快照。
批次是最小签发单位，不是可拆分的计费单位。
同谱系 24h 内合并为一个批次；一个批次只对应一个采收窗口；禁止拆分套取签发费。
可挑战点240 株下限是运营约束不是统计最优；24h 边界必须为闭区间；客户不共享谱系时该规则不可执行。
减排基线由双方在合同签署时冻结，平台不得单方设定或追溯调整。
缺任一方签名，不得签发减排声明；基线更新只能通过合同附件，不得在运行期静默替换。
可挑战点共签方是否有能力核验基线、历史数据缺失时用哪个参考年、基线更新是否只能走合同附件。
方法变更必须发新版本号；旧标签永久指向旧版本，禁止静默重算或覆盖。
旧标签的 method_version 不可修改；新版本只能生成新标签，不得回写旧记录。
可挑战点什么算“不改变判据的文本勘误”需要白名单；否则 PATCH 会被用来绕过版本记录。