项目

每个项目由一份共享上下文和若干条工作线组成：工作线是可以闭合的问题，里面是并行推进的候选，全部版本化在 git 里。