Devlog · U-M1c-02/03/04 GMM 分层器 + CN48/SV32（2026-09-30）

U-M1c-02 GMM 超突变分层器（交付 + 审核 PASS）

• 语义主张经对抗验证（审核员独立克隆 SigProfilerExtractor master cc6bf5e 重验全部行号）：TMB = 原始计数列和无 log 变换（Sub:154）；cutoff 非后验 0.5——多数簇迭代剪枝（<4σ 即停）+ trunc(mean+2σ) 被 100×通道数下限托底（Sub:236/197-198/Sig:919）；上游重标定压 cutoff 全员留提取（Sub:233-247）——ARCH §5”分类+排除+强制 refit”为我方 deliberate divergence，M2 承接（divergence 合法性经全史 grep 证实）。
• 实现：engine/stats.rs（k=2 EM，锚点+最远点确定性 init、reg_covar=1e-6 保留、D11 协议层冻结口径诚实）+ R/stratify.R 协议孪生（纯 R PCG64 位精确复刻，无 FFI 过渡态；cutoff 整数跨语言钉死）。修复双端同病真 bug：EM 责任 >1 若干 ulp → 塌缩分量方差为负 → NaN（clamp 治标经审核确认为充分卫生修复）。
• 电池：Rust 307→（集成后 15 套件 42 engine）、testthat 1433。

U-M1c-03/04 CN48 + SV32（交付 + 审核 PASS）

• 语义源钉死：SPMG CNVMatrixGenerator/SVMatrixGenerator（master edccbea6 vs v1.3.6 唯二差异均不触及本实现）+ COSMIC v3.6 参考矩阵逐字节同序双锚。
• 简报猜测被证伪：CN48 无需相邻段/BoZ——SPMG/COSMIC 执行定义是纯 (TCN, 倍性, 段长) 函数（BoZp/BoZd 属 Macintyre 36 变体，文档化取舍）；SV32 增 clustered 字段（32 通道空间必需）。
• D11 亮点：整数 bp 比较 ≡ 上游浮点比较经审核员 Python 独立证明（40Mb=0x4044…、1bp 间隔 ≫ ulp），全程无浮点。
• 19 新测试（穷举双射 + 全部 bin 边界两侧 + 1000/999 丢弃边界 + trans 豁免）。

审核（单轮覆盖三单元）：PASS + P2×2 引文精度已修

谓词行号 Sub:476→236、col_sums 152→154；cn48 “only file diff”→“only differing hunk”（同 hunk 含 debug print 删除）。审核员独立克隆上游重验全部行号声称（含 v1.0.4 反向封顶史）+ 整数≡浮点独立证明 + COSMIC 双表独立比对。

遗留

• ms_stratify_rust FFI 接线 + 排除 de novo + 强制 refit 流水线 = M2；cutoff 可视化 = M4。
• CN/SV 参考矩阵接线、ms_segments/ms_sv R 输入层、BEDPE 解析 = 后续单元。
• GMM memo §4 失效条件：上游再触 get_normalization_cutoff/normalize_samples 即重跑对拍。