[Grove](https://github.com/alxshelepenok/grove) - Grove 以带 checksum 的 `.grove/state.lock`、依赖图和机器不变量记录长期项目状态，`done` 必须绑定 evidence，分支 checksum 不一致时会拒绝静默合并。每个 JSONL journal 记录命令、时间、session 和 inverse，可用 `grove undo` 回放决策；默认 WIP limit 为 2，适合跨会话重构而非一次性原型。