concept-designlisted

# 概念设计 仅在用户显式调用 `$concept-design` 时运行。把需求、访谈或既有模型转成独立 concepts、syncs、产品依赖与取舍。Concept 既是用户理解功能的心理构造，也对应连贯功能单元；页面、实体和代码模块不直接等同概念。以下是本仓对 Jackson 方法的操作化，不是作者规定的固定流程。 只要求建模时交付模型；用户同时要求 PRD/实现且取舍已明确时继续交接 `concept-prd` / `concept-implementation`，不重复索要确认。未安装伴生技能时交付可用模型与缺口，不假定其存在。 ## 设计循环 1. **找需要**：从受益者、具体 misfit、现有做法、期望结果与约束识别目的；区分确认事实、推断和待决项。 2. **刻画候选**：每个候选写一个 purpose、具体 principle、最小 state 与完整 actions。先用具体故事检验价值，再把外部身份抽象为类型参数。 3. **批评边界**：读 [criteria.md](references/criteria.md)，检查资格与专一/完整/独立/熟悉；逐候选给理由和结论：保留、拆分、合并、参数化、降级为 type/action/implementation、移至 sync、待确认。 4. **组合检验**：读 [sync-notation.md](references/sync-notation.md)，实例化 concepts，写成功、拒绝及后台联动；检查绑定、响应、并发与排除动作。分别派生同步图与 extrinsic 依赖图，圈定 MVP。 5. **解决 misfits**：用 split/merge、unify/specialize、tighten/loosen 回到边界或组合；仍需产品判断的取舍进入未决表，不把“所有 misfits 消失”当作无限循环条件。 6. **交付**：按下列结构呈现，核对完成条件。未决项只阻塞依赖它的部分。 ## 规格契约 - **purpose**：恰好一个可评价的需要；**principle**（operational principle/OP）：说明如何兑现目的的原型故事，可用 after/then。它是代表性行为，不是完整正确性规格。 - **state/actions** 完整定义允许行为、前置条件、效果及不变量；不混入页面步骤、协议、表布局。每个输出 case 说明条件与状态效果，错误不必固定为 String。 - 类型参数 `[T, ...]` 可零个或多个，是不假定字段的身份。定义不依赖其他概念；同名局部参数不是外部引用。可选 notes 记录应用背景，不能藏跨概念执行规则。 - `_` queries 是只读查询，集中列在 actions 节便于导航，但不产生动作完成事件。查询只返回已声明的绑定/case；无匹配不自动成为错误。 - 跨概念联动写 sync；where 经公开查询读状态，then 仅调用已声明动作。具体语法、flow 关联与行为保持检查见组合参考。 ## 输出结构 ````markdown ## 需求与 Misfits 用户 / 需要 / 现状 / 结果 / 约束；确认与推断 ## Concepts ```text # concept Name [T, ...] ## purpose <一个需要> ## principle after <动作序列与条件> then <目的兑现的结果> ## state <本概念需要记住的事实与约束>