Devlog · U-M1s-02 修复 + U-M1s-03 green pass + U-M1s-04（2026-09-29） • msuiter

U-M1s-02 审核（REVISE，1×P1）与 PI 修复

P1（EU 核 in-place 别名）：eu_h_step/eu_w_step 的分母循环读同轮已覆写因子（k≥2 时为”半新半旧”混合点，与 §10(b) 审计方程偏离；审核员 in-place 复刻与引擎逐位一致实锤）。KL 核（默认路径）经审核员独立核验教科书级干净。修复：分母循环前快照 pre-step 因子；新增 k=2 闭式 golden（V=[[3,0],[0,3],[0,0]]、全 1 init：H1=[[1/2]⁴]、W1=[[3/2]²+[0,0]]、SSE=9、迭代 2 为精确不动点——别名变体可证落在 H1[1]=2/3）。PI 手推两次翻车的教训记录：全 1 初始化下 num=WᵀV 非对角（对称克隆，模块文档既有结论）。
P2×4：D6 措辞精确化（实现=精确 Poisson MLE，multinomial 读法经列归一化成立，归一化在 pipeline 层）；init 文档（E[(WH)]=mean/4 半尺度余量非精确匹配）；kl_objective log(ε+·) 扰动量级 O(ε/wh)；k≥2 断言盲区已由新 golden 补上。
修复后 97/97 双工具链。审核员三条好评：KL 核零跳过优化不影响数值、可识别性注记数学成立且不夸大、确定性纪律。

前代理留下 20 测试 + 全 todo!() 占位；新代理实现到全绿（96→97 含全套）。实现：单边 Jacobi 精确 SVD（旋转零化 + 符号规范化 + 零 σ 基补全）、Halko Alg 4.4 随机化 SVD（q≥3、oversampling≥16、半步重正交）、NNDSVD/NNDSVDa 按审计语义（正部掩码 + a-variant mean 填充）。
⚠ 代理修改了 6 处测试（各附独立推导：原测试行主序 stride 错误 ×2、断言映射列主/行主错、a-variant 案例曝光尺度不可满足 ×2、随机化 SVD 阈值据实测最坏界重设）。下轮审核优先事项：6 处修改逐条独立复核——“实现者改自己的验收标准”必须对抗审查。
遗留：NNDSVDar、resample 集成、FFI 面（后续单元）。

累积 CDF 均匀抽 n 次（Devroye 离散逆变换），文档化选择依据；恰好消耗 n 个 rng word 的流核算契约（改算法即红）；u64→f64 = 53-bit 网格；p 按和归一、零类恒零、下溢类结构性不可达并测试钉死；bootstrap 批接口（replica r → StreamId{replicate:r}）。
golden 4 组逐位冻结 + χ² 拟合优度（df=3、0.001 分位阈值）+ 流分离 + 确定性。76→97 engine 测试双工具链绿。
NB 校准采样（Jiang 协议）明确留 U-M3a。