BLOGE
0.9.8-RC1在线版 · 事实校验 2026-09-15 · English
第五阶段回顾 —— 技术信心（第 18–22 章）
你现在可以准确说明测试、观测、接线和容量证据证明了什么，以及证据到哪里为止。
信心阶梯
| 章节 | 回答的问题 | 产出的证据 |
|---|---|---|
| 18 —— 测试你的 Graph | 选定行为是否发生？ | Operator、graph、DSL 与受控时间检查 |
| 19 —— 生产环境中的可观测性 | 能否解释一次真实执行？ | 用四个投影重建一个事故 |
| 20 —— Spring 与生产环境接线 | 谁创建、谁覆盖运行时组件？ | 最短自动配置加一次有 owner 的 override |
| 21——单 JVM 里的调度与复杂度 | ready set 与 graph 复杂度如何塑造本地工作？ | 调度合同测试与本地测量协议 |
| 22——分布式运行与容量验证 | 集群能力声明何时可信？ | Routing、lease、store、recovery 与 migration 边界 |
这五章是一架梯子。Graph 测试变绿不等于生产可解释；trace 可查询不等于业务正确；单机吞吐也不等于水平扩展。
你现在应该能做到
- 按 claim 拆分 operator、graph、DSL 和时间相关测试。
- 从 lifecycle、business、trace 与 capacity 四个视角重建一个事故。
- 自动配置 Spring 应用，并让一个组件 override 只有一个 owner。
- 调整复杂度限制，并报告来自所记录环境、可复现的单 JVM 测量。
- 在 routing、lease、共享 store、recovery 与 migration 证据齐备前，拒绝分布式容量 claim。
常见声明错误
| 声明 | 隐藏缺口 | 更准确的说法 |
|---|---|---|
| “工作流正确。” | 只检查了终点输出 | “该场景产生了预期的节点状态与输出。” |
| “生产问题可调试。” | 日志无法连接到同一次执行 | “四个投影共享同一 execution identity。” |
| “Spring 管理所有组件。” | 手工 bean 悄然替换自动配置 | “这个命名 override 只有一个明确 owner。” |
| “BLOGE 可以水平扩展。” | 基准只跑在一台主机上 | “单 JVM 在所记录负载下持续达到 X。” |
试一试：拒绝一个过度声明
某基准在一台 32 核主机上达到每秒 20,000 次 graph 运行，团队据此写下“BLOGE 可以水平扩展”。请列出缺失证据，再把结论改写到证据恰好能支持的强度。答案应区分 scheduler 吞吐与 routing、lease ownership、共享 store recovery、migration。
下一步
第六阶段回顾把问题从“运行时是否执行”改成“业务承诺是否成立，以及哪些证据可以进入发布决策”。继续阅读第 23 章 —— 业务正确性不等于测试通过。生产配置细节请查附录 I。