语言Zig
zperf 证据
zperf-lint 规则的墙钟门前/门后。政策:../docs/evidence-policy.md。
当前 (md + jsonl)
zp-alloc-hot, zp-append-without-reserve, zp-page-allocator-small, zp-print-hot, zp-unbuffered-io, zp-aos-single-field, zp-bool-array, zp-static-string-map, zp-runtime-div-hot, zp-queue-ordered-remove, zp-shift-on-read, zp-per-packet-alloc(共享 zp-alloc-hot 数据),zp-invariant-float-div, zp-map-put-without-ensure, zp-arena-reset-free-all, zp-create-destroy-hot, zp-fixed-size-alloc-hot
待处理措施(仅限 md 占位符 — 无 jsonl)
- zp-broad-runtime-safety — ReleaseSafe 范围内关闭安全性
- zp-packable-bools / zp-usize-index-field / zp-optional-scalar-field — 在此传递中利用布局密度而不使用已提交的带宽
不适用(仅限静态 / 正确性 / 静态大小)——仅 MD 存根
- zp-debug-allocator 构建模式下的 GPA 选择
- zp-missing-free 缺失的释放
- zp-catch-unreachable-alloc 捕获不可达的分配
- zp-oversized-enum-tag 超大的枚举标签(大小/ABI)
- zp-catch-unreachable-io 捕获不可达的 I/O
不确定(仅医学存根 — 无 jsonl)
- zp-large-struct-by-value large-struct-by-value — ReleaseFast 省略了微基准测试;不要伪造 JSONL
测试工具:../examples/bench/evidence_fill.zig · 重新生成:../scripts/regen-evidence.sh