P03 评分表
| 维度 | 权重 | 满分表现 | 部分完成 |
|---|---|---|---|
| 功能正确性 | 40 | Raft、KV、controller、迁移在公开/隐藏契约下保持安全语义 | 稳定网络可用，但分区、重启或配置变化失败 |
| 边界/故障测试 | 25 | 故障时间线可复现，线性一致性和重复请求有证据 | 只测 happy path 或只能说“最终会收敛” |
| 性能或资源指标 | 15 | 以模拟器条件报告延迟、消息、日志/迁移流量和快照开销 | 有数字但没有基线、种子或假设 |
| 代码结构与文档 | 10 | Raft/KV/分片/传输边界明确，不变量映射到代码位置 | 层间泄漏、错误/重试语义不清 |
| 实验报告与设计反思 | 10 | 生命周期图、安全/活性取舍、失败案例和个人贡献完整 | 只有输出截图或没有设计理由 |