旧 make verify 依赖磁盘注入/官方套件/非确定性标记,不稳定易卡死。全部砍掉,
改为把压测代码内嵌进内核(类 lmbench/unixbench),不读盘内容、不注入、自检自关机。

- stealbench 按真实在线核数(ONLINE_CORES)自适应压力档:单核中压基线 vs 4 核
  超高压(32× 负载);末尾 diag::dump() 露出 ipi_send 等跨核事件作日志实据。
- run-verify.sh 重写(架构参数化 rv/la,三趟 stealbench,</dev/null 不抢终端,
  等 qemu 自关机退出),bench-report.py 出两份报告:
    docs/log/perf-stability-<A>.md  性能与稳定性
    docs/log/mechanism-proof-<A>.md Steal-Task / Chunk 机制频率证明
- Makefile verify/verify-la/verify-all → run-verify.sh;删 7 个旧测试脚本。
- 新增 .gitignore 排除 target/ / .cargo/ / vendor/ / *.log 等生成物。

全部测试代码 cfg(stealbench) 包裹,单核构建零影响、零警告...