京公网安备11010502063487号用 cargo bench 与自写基准验证基准测试的陷阱:没有 black_box 时 mix(1000) 测得 0.29 ns(计算被删掉),有 black_box 1,719 ns;sum_to 即使有 black_box 也被优化成闭式公式(15 条指令、无循环);5 次运行波动;准备工作计入耗时;稳定版自写基准与 #[bench] 一致。
本机真实索引2个含nested商品的订单，直接对items.price跑avg聚合真实不报错，静默返回value:null——比报错更危险。真实用nested聚合正确包装后，avg_price精确算出116.67，跟手工(100+200+50)/3吻合；真实发现nested聚合的doc_count统计的是3个子文档总数而非2个父订单数，这个特殊语义容易造成误解。
本机真实建2个问题3个回答的join关系，children聚合默认跨问题拉平统计，avg_score=6.0。真实用parent_id限定到q1，avg_score变7.5(只算q1的2个回答)。真实用has_child查询找出有分数>=10回答的问题，真实只命中q1，排除q2——印证parent-child支持nested不具备的双向关联查询。
下载 criterion 0.7 验证:预热 + 100 次采样给出置信区间(mix_1000 为 [1.7172 µs 1.7185 µs 1.7199 µs])与吞吐;离群值报告;不改代码再跑一次竟有 2 个基准被判 regressed(纯噪声),另 2 个 within noise threshold;换成 mix_slow 后四个基准 +3~5%;estimates.json 里的 mean / 置信区间 / 标准差。
本机真实对均匀分布1-10000数据跑percentiles，TDigest算出的p50/p95/p99/p99.9真实跟精确值分毫不差。真实换成99%集中10附近、1%离群值9万-10万的偏态数据，p99恰好卡在分界线上，TDigest偏离45.6%、HDR偏离99.99%；但p99.9和p99.99两种算法误差都不到0.1%——证明近似误差真实集中在数据分布结构突变的边界百分位附近。
用一个故意写得不地道的小库验证 clippy:默认 11 条诊断、9 个 lint(含 eq_op 与 absurd_extreme_comparisons 两个 deny 级别,cargo clippy 退出码 101);-W clippy::pedantic 22 条;#[allow] 与 -D warnings;cargo clippy --fix 改了 7 行并留下 needless_range_loop 与 ptr_arg。
用 rustfmt 1.9 验证代码格式化:--check 退出码 1 并给出 Diff;格式化前后汇编哈希相同(f43810d33a73,语义不变);幂等;max_width = 40 时 12 行对 100 时 5 行;#[rustfmt::skip];稳定版忽略 nightly 才有的配置项并警告。
本机真实灌2万条会话数据，给safari注入30%崩溃率(其余2%)。普通terms聚合在崩溃会话里safari(1492)领先但firefox(114)/edge(101)/chrome(94)也都有数，容易误判。significant_terms聚合真实只剩safari一个桶，精确排除了比例正常的三个浏览器，直接定位到真实注入的bug。
本机真实对20万条文档测普通sum vs 脚本sum。第一轮测试出现假象：脚本版第一次451ms，后两次骤降到0-1ms，是request cache在起作用。排除缓存干扰(request_cache=false)后，脚本版真实稳定在418-422ms，普通sum稳定2ms，差距约210倍——提醒测聚合性能要排除缓存才能拿到真实数字。
用 Miri(nightly)检查 unsafe 代码:释放后使用、越界读、未初始化与非法 bool、未对齐引用、Stacked/Tree Borrows 别名违规、数据竞争、内存泄漏,这些在普通运行里多数「正常」退出;Miri 比原生 -O 慢约 33602 倍,且不支持外部 C 函数。
本机真实对30万唯一UUID跑terms聚合size=300000，真实被拒绝报错精确写默认上限65536。size=60000(低于上限)真实成功执行。真实临时调低search.max_buckets到1000，同样5000个桶的请求立刻被拦截，报错数字精确跟随配置变化，证明这是可配置精确生效的聚合内存保护阈值。
用 nightly 的 -Zsanitizer 验证:ASan 在原生速度上报告释放后使用、堆/栈越界、重复释放、泄漏(本机 detect_leaks=1 可用)与 libc memcpy 越界;TSan 需要 -Zbuild-std 才能报数据竞争;-Zsanitizer=leak/memory 在本机不支持;开销:分配密集场景 ×9.3,遍历 ×2.4,内存 ×2.3。