构建实践与节点使用记录

用小规模 Dijkstra 参考模型验收 iOS 路径计算，覆盖零权环、不可达、平行边与整数溢出，并把固定图样本接进流水线。

用一个可执行的 Swift 状态机，把收藏按钮的立即反馈、失败回滚和会话切换变成确定性检查，并说明本地票据不能替代服务端并发控制。