Skip to contents
U-M1s-05(交付,随下轮审核)
- engine 最小扩展:
fit_kl_on_stream(seeded_init 参数化 StreamId——replicate r 寻址冻结流 StreamId{replicate:r} 的唯一合规途径;fit_kl/fit_eu 改为 ZERO 流纯管道,内核循环序零改动)。
- FFI 驱动
msffi_nmf_replicates_probe:per-call ThreadPool 并行 replicates 个独立 KL-NMF(单元内单线程、按 replicate 索引定序拼接——无浮点顺序敏感归约);中断照 probes 模式(chunk 边界轮询 + AtomicBool,触发即整调用报错无部分结果)。
- 测试:Rust threads∈{1,4,16} objective 向量 assert_eq! 逐位 identical + threads=1 对拍纯顺序参考 + 边界 poll 计数/预取消/参数校验;R 侧真实 FFI threads=1 vs 4 vs NULL(option) identical() 三组全过;ffi-surface.md 同步、漂移守卫绿;testthat 768 PASS。
- 修 U-M0-09 遗留模式确认:真实 Ctrl-C 长跳跳过 Rust 析构、池留至进程回收 = 已接受限制(无状态语义不受影响),与冻结模式一致。
审核轮(U-M1s-03/04/EU 修复):PASS
-
6 处测试修改全部经受住对抗重推(“修改有据,非驯化”):stride bug 数值实锤(buggy=0.93 vs 修复 1.388e-5)、3×3 重根案例原断言推导上不可满足、masking 行主映射独立闭式重推、÷100 尺度的每个诊断值(16.14/154/168×)被精确复现、@50 恒输扫描证实且新增尺度稳健支配断言、阈值 1e-3 仍保 q=1 回归 24× 检出力。
- resample 抽查过:恰 n word 续接法测试、CDF 端点构造性 1.0、χ² 常数 16.2662 精确核对、功效算式复核。
- EU 修复复核过:k≥2 无残留 in-place 读;golden 各量二进制精确、比值恰 1.0;D6 措辞数学正确。
-
P2×5 已修:nndsvd 两处注释数字按运行日志逐字重录(0.408⁷≈1.9e-3;比率 0.60–0.69≈1.5×、1.05–1.38);死代码 orthogonal_matrix/column 删除(–all-targets clippy 零警告);resample 两处
let _ 死语句删除。
状态
- engine 99/99 双工具链;workspace 8 套件绿;audit 轮关闭 U-M1s-02/03/04。
- G0:用户供给 xuanyuan.run 镜像源(Docker Hub/ghcr 等 11 域名)→ alpine 实证可拉 → rocker/r-ver:4.3.3 已入库本地;STL 与 sigfit 双容器构建后台进行中。sigfit 构建含 rstan 编译(30–60 分钟量级)。