concept-design-cn · diff
git:20261101.c49d700 to v2.0.0
72 added, 33 removed. Audit A to A.
---
name: concept-design-cn
- description: "仅在显式调用时使用。需要将软件需求建模为独立概念时使用。依据 Daniel Jackson 模型明确目的、状态、动作与同步规则，记录取舍和未决事项。"
+ description: "仅在显式调用时，按 Daniel Jackson 的概念与同步方法设计、写规格、实现、检查、精炼或解释软件。分别检查目的、行为、边界与证据。"
metadata:
language: zh-CN
translation_of: concept-design
- openclaw:
- homepage: https://github.com/ontology-of-everything/concept-skills
+ version: "2.0.0"
---
- # 设计软件概念
+ # 概念设计
- ## 目标
+ 先定义有用行为，再选择实现。
- 把软件需求整理为可确认的概念设计。仅在显式调用 `$concept-design-cn` 时运行。
- 交付模型和未决事项。用户已授权时，继续编写 PRD 或实现。
+ 本技能借鉴 **WYSIWID**（Meng 与 Jackson，MIT）的概念与同步方法。
- ## 原则
+ 软件结构应直接表达用户可观察的行为。
+ 概念定义独立功能，同步规则定义概念之间的协作。
+ 理解或修改一项行为时，应能找到对应的概念与规则。
- 需求、实例和已读代码是证据。区分事实、建议、推断与未决，页面、实体和文件只提供候选线索。
+ ## 从需要出发
- 分别检查概念契约如何支持运作原理和目的，以及概念选择与同步如何兑现应用场景和目的。
- 两层论证分别成立，不能互相代替。单一目的要求用于概念。
+ - 明确受益者及其需要的可观察结果。
+ - 概念为一个目的提供独立行为。
+ - 状态与动作定义允许的行为。
+ - 运作原理（OP）用一段代表性历史说明行为如何达成目的。
+ - OP 不覆盖全部行为，也不保证进展。
+ - 每个概念实例拥有自己的状态。
+ - 概念 MUST NOT 互调或互读状态。
+ - 外部身份不假定另一概念的字段。
+ - 应用协调放在概念之外的同步规则中。
+ - 组合 MAY 限制行为，但 MUST 保持各概念契约。
- 沿用已有确认。只确认影响范围或行为的未决取舍，继续不依赖它的工作，并说明它阻碍哪部分。
+ ## 检验论证
- ## 概念
+ - 说明主张、证据及其所需前提。
+ - 寻找能使主张不成立的场景。
+ - 比较备选，包含不改。
+ - 多次修复在同一前提下失败时，重新检验该前提。
+ - 检查契约能否支持 OP。
+ - 检查 OP 能否达成目的。
+ - 应用场景与概念正确性分别检查。
+ - 所需时限、失败与一致性前提须明确。
+ - 缺少的决定保留未决；未执行的测试保留未验证。
- - 概念服务一个目的，拥有自己的状态与动作，定义不依赖其他概念。熟悉的概念或小幅变体能满足需要时，优先采用。
- - 运作原理称为 OP，用典型动作说明概念怎样兑现目的。
- - 同步规则在概念外协调动作，使它们共同满足应用需要。规则可以限制行为，但须遵守各概念的契约。
+ ## 每项决定只定义一次
- ## 流程
+ - 区分 `confirmed`（已确认）、`proposed`（建议）、`inferred`（推断）、`open`（未决）。
+ - 建议或推断 MUST NOT 经转录变成确认需求。
+ - 每个模型元素只有一处权威定义。
+ - 沿用已确认决定，直到需求或证据支持重新评估。
+ - 增加机制前，检查能否删除规则或职责而保持所需行为。
+ - 重构保持行为，有意重新设计须另行说明。
- 1. 明确受益者、应用目的、现状、期望结果与约束。既有系统还要检查入口、状态归属、失败路径和测试。
- 2. 按[设计产物](references/artifacts.md)提出清单。确认纳入范围后，按[规格契约](references/spec-format.md)写状态与动作。
- 外部身份使用不假定字段的类型参数。
- 3. 检查八项[资格判据](references/criteria.md)，记录证据与争议边界，修正已证实的行为与需要的偏差。
- 4. 按[组合检查](references/sync-notation.md)写规则与同步图，核对遗漏联动和过度自动化。
- 确认产品依赖及子集的目的、入口、剩余规则与资源。
- 5. 已确认项写入设计记录，待确认概念、前提与备选放入排除和未决，说明影响。
+ ## 选择工作
- 首次操作读[订位例](references/example-reserving.md)，核对定义时读[来源](references/sources.md)。每步只读所需参考。
+ 以下为提示词选择器，不是已安装的 shell 命令：
- ## 正反例
+ ```text
+ $concept-design-cn [design|settle|prd|build|review|guard|refine|explain] [范围与请求]
+ $concept-design-cn guard [audit|concept|drift|pipeline|sync|map] [范围]
+ ```
- | 正例 | 反例 |
- | --- | --- |
- | 评论使用通用的目标身份，在应用中绑定到帖子。 | 评论直接引用帖子概念或读取它的私有状态。 |
- | 用预订和到场兑现说明预约承诺。 | 把创建数据库记录当作预约目的已经兑现。 |
+ 未指明模式时按请求判断。
+ 意图不清时先只读检查，再询问阻碍工作的取舍。
+ 只读当前工作所需流程。
+ 跨模式沿用已有授权。
- ## 完成条件
+ | 模式 | 按需读取 | 产出 |
+ | --- | --- | --- |
+ | `design` | [设计](references/design.md) | 概念、组合与决策 |
+ | `settle` | [整理](references/settle.md) | 带确认状态的讨论结论 |
+ | `prd` | [规格](references/prd.md) | 记录确认模型与验收 |
+ | `build` | [实现](references/build.md) | 范围内实现、结构审查或重构 |
+ | `review` | [审查](references/review.md) | 带证据的只读发现 |
+ | `guard` | [维护](references/guard/workflow.md) | 覆盖、回填、漂移、管道或概念与同步关系图 |
+ | `refine` | [精炼](references/refine.md) | 修正建议或授权修复 |
+ | `explain` | [图解](references/explain/workflow.md) | 有源码依据的行为解释 |
- 记录包含已确认概念、规则、同步图、排除与未决。标明确认状态、目的论证与缺口。
- 需要响应的入口覆盖成功与拒绝，模型通过规格和组合检查。
+ 审查、审计、漂移和仅规划请求 MUST 保持只读。
+ 其他模式只在本次范围内写入。
+ 回填 MUST 区分观察行为、推断目的、缺陷与确认需求。
+ MUST NOT 改规格掩盖代码缺陷。
+
+ ## 规格与检查
+
+ 图 MUST 使用 Markdown 中的 Mermaid 代码块。
+ 编写或比较规格时使用 [CONCEPT/SYNCS 格式](references/spec-format.md)。
+
+ ```sh
+ python3 <技能目录>/scripts/concept_lint.py <CONCEPT.md或SYNCS.md> [其他文件] --json
+ ```
+
+ 语法结果不证明目的达成、契约符合性或运行时正确性。
+ [来源与本地约定](references/sources.md)。