desktop/src-tauri/crates/core/src/metrics.rs

第 1 条注释，第 1 行

//! 统计数学：互斥输入分类求和、缓存占比、聚合与矛盾诊断。

//! 约定：input_total = 三类互斥之和；total_tokens = input_total + output_total；

//! cache_input_ratio = SUM(cache_read) / SUM(input_total)（两字段均已知的记录集合）。

/// 数学矛盾信息包含代码、字段和数值说明，不包含会话正文。

/// 已知字段求和，任一未知则整体未知。防溢出。

/// input_total：三类互斥拆分全已知时相加；否则采用来源直报值；都没有则为 None。

/// 返回值的第二个分量是推导出的字段质量。

/// 已知 input_total 与 output_total 相加，否则保留 usage.total_tokens 及其质量。

/// 一致性诊断：负值在 domain 校验拒绝；这里发现"缓存大于已知总输入"等矛盾，

/// 进入诊断，不用 max(0, …) 隐藏。

/// 比例：分子/分母的精确整数对。分母为零或无有效样本时返回 None（显示"—"）。

/// 一组记录的缓存输入占比：只对 input_total 与 input_cache_read 均已知的记录集合。

/// 返回 (ratio, 有效记录数)。无有效样本或分母为零时 ratio 为 None。