# 性能与质量验证

## 当前固定数据集

- 10,000 个稳定键；
- 8 节点扩容到 9 节点；
- 4 个区域、8 个机架；
- 3 副本；
- 每波最多 128 个动作；
- 每节点每波最多 16 个动作。

## 指标

- 主分片最小、最大负载与跨度；
- 不完整放置和拓扑约束违例；
- 扩容移动键数与比例；
- 安全工作流动作数、波次数和阻塞数；
- 计划校验问题数。

## 复杂度

- 环构建：`O(V log V)`，`V` 为虚拟点总数；
- 环查询：`O(log V)`，副本查询还需扫描相邻点；
- Rendezvous：`O(N * W)`，`N` 为节点数，`W` 为整数权重；
- 放置与迁移分析：`O(K * placement)`；
- 工作流分波：当前数组实现为确定性线性扫描，节点压力统计随单波动作数增长。

后续基准将记录 MoonBit 版本、目标后端、硬件、完整命令和原始输出。