人民大學與 Microsoft Research 的 Arbor，用「假設樹」把研究變成可累積、可剪枝的搜尋：常駐 Coordinator 維護樹、短命 Executor 在隔離 git worktree 跑實驗。六項任...