核心命题
大语言模型直接生成的产品需求文档（PRD）往往浮于表面，充斥着未经推演的假设与遗漏的异常边界。
Acorn-Make 将产品经理的核心判断逻辑形式化为一套四阶状态机流水线：
- 事实与假设剥离：强制输入真实业务约束，剔除空洞套话。
- 核心用例流程推演：穷举所有主次路径与错误分支。
- 边界约束与门禁澄清：校验权限、并发、数据一致性等硬性条件。
- 结构化工程 PRD 交付：输出可直接供全栈智能体消费的 Spec 与原型代码。
// 状态机核心状态契约
type Stage = 'FACT_EXTRACTION' | 'USE_CASE_FLOW' | 'BOUNDARY_GATE' | 'SPEC_DELIVERY';