dependency-analyze

从 task 的 read/write set + concept state_machine 推导 6 种依赖类型的提案。主 planner 决定边的真实性。派它时只给 read/write set 与疑点、不给预期边集；已有预判逐条标「待复核」交它取证。