cli-blueprint 5.0.4 → 7.0.1

package/package.json

@@ -12,11 +12,10 @@
   ],
   "license": "UNLICENSED",
   "name": "cli-blueprint",
-  "private": false,
   "repository": {
     "type": "git",
     "url": "https://github.com/88208555/blueprint-clitax.git"
   },
   "type": "module",
-  "version": "5.0.4"
+  "version": "7.0.1"
 }

package/skill/SKILL.md

@@ -5,6 +5,8 @@ description: '把一个目标编译为可执行、可验证、可追溯的工程
 
 # Blueprint Skill
 
+版本：v6.0.0
+
 Endpoint: https://cli.tax/wvz6zmRWmX
 Request schema: blueprint.skill.request/1.0
 Response schema: blueprint.skill.response/1.0
@@ -49,3 +51,261 @@ After `capabilities`, read `officialCatalog`. Default allowlist is official skil
 - Never send credentials, model keys, provider endpoints, or personal secrets inside the request envelope or `input`.
 - The response `status` must be `succeeded`; a `failed` response is an error, not a result.
 - Public responses never prove that code was developed, tested, or deployed.
+
+## IR Schema 完整文档（v6.0.0）
+
+### 顶层结构
+
+```json
+{
+  "schemaVersion": "blueprint.ir/1.0",  // 必填，必须是这个值
+  "blueprintId": "string",               // 必填，kebab-case
+  "title": "string",                     // 必填
+  "revision": 0,                         // 必填，非负整数（0, 1, 2...）
+  "entryNodeId": "string",              // 必填，指向 nodes 中 entry:true 的节点
+  "baseline": {
+    "summary": "string",                // 必填
+    "facts": [                           // 必填，对象数组
+      {
+        "id": "string",                  // 每个 fact 必须有 id
+        "statement": "string",           // 必填
+        "status": "confirmed"            // 必填枚举，见下方
+      }
+    ]
+  },
+  "domains": [                           // 必填
+    {
+      "id": "string",
+      "name": "string",
+      "summary": "string"                // 可选
+    }
+  ],
+  "modules": [                           // 必填
+    {
+      "id": "string",                    // 必填
+      "domainId": "string",              // 必填，引用 domains.id
+      "name": "string"
+    }
+  ],
+  "nodes": [                             // 必填，非空
+    {
+      "id": "string",                    // 注意：是 id 不是 nodeId
+      "entry": true,                     // true 标记入口节点（且仅一个）
+      "moduleId": "string",              // 引用 modules.id
+      "title": "string",                 // 必填
+      "inputs": [                        // 必须是命名对象数组，字符串数组被拒
+        { "name": "string" }
+      ],
+      "outputs": [                       // 同上
+        { "name": "string", "exposed": true }
+      ],
+      "requirementRefs": ["string"]      // 引用 baseline.facts.id
+    }
+  ],
+  "edges": [                             // 必填
+    {
+      "id": "string",
+      "fromNodeId": "string",            // 引用 nodes.id
+      "toNodeId": "string",              // 引用 nodes.id
+      "type": "data",                    // 必填枚举，见下方
+      "fromOutput": "string",            // 数据边必须精确到端口名
+      "toInput": "string",               // 数据边必须精确到端口名
+      "allowCycle": true,                // 环边必须 true
+      "loopGuard": "string",             // 环边必须有文字说明
+      "loopLimit": {                     // 环边必须有迭代上限
+        "maxIterations": 10
+      }
+    }
+  ],
+  "acceptanceCriteria": [                // 必填
+    {
+      "id": "string",
+      "statement": "string",
+      "nodeRefs": ["string"]             // 引用 nodes.id，无 nodeRefs 视为未链接（P1）
+    }
+  ]
+}
+```
+
+### 字段枚举值
+
+**fact.status**：`"confirmed"` | `"inferred"` | `"defaulted"` | `"unknown"` | `"conflicted"` | `"rejected"`
+
+**edge.type**：`"data"` | `"control"` | `"success"` | `"error"` | `"trace"` | `"event"` | `"approval"` | `"recovery"` | `"audit"` | `"optional"` | `"compensation"`
+
+> ⚠️ `"depends-on"` 不被接受，必须使用上述合法枚举值。
+
+### 校验规则
+
+- **节点覆盖**：每个节点必须被至少一条 acceptanceCriteria 覆盖（通过 `nodeRefs`）
+- **事实追溯**：每个 fact 必须追溯到节点（通过 `nodes.requirementRefs`）
+- **入口节点**：仅一个节点 `entry: true`，且必须是 `entryNodeId` 指向的节点
+- **数据边**：必须 `fromOutput` / `toInput` 精确匹配端口名
+- **控制边**：不需要端口级连线
+- **环边**：`type` 必须是 `"control"` 或 `"optional"`，必须同时包含 `allowCycle: true` + `loopGuard`（文字说明）+ `loopLimit`（含 `maxIterations` 数字）
+
+### 最小合法示例
+
+```json
+{
+  "schemaVersion": "blueprint.ir/1.0",
+  "blueprintId": "demo-pipeline",
+  "title": "Demo Pipeline",
+  "revision": 0,
+  "entryNodeId": "step-a",
+  "baseline": {
+    "summary": "A minimal 2-node linear pipeline",
+    "facts": [
+      {
+        "id": "f-input",
+        "statement": "System must accept user input",
+        "status": "confirmed"
+      }
+    ]
+  },
+  "domains": [
+    {
+      "id": "d-core",
+      "name": "Core"
+    }
+  ],
+  "modules": [
+    {
+      "id": "m-impl",
+      "domainId": "d-core",
+      "name": "Implementation"
+    }
+  ],
+  "nodes": [
+    {
+      "id": "step-a",
+      "entry": true,
+      "moduleId": "m-impl",
+      "title": "Step A – Receive Input",
+      "inputs": [],
+      "outputs": [
+        { "name": "data" }
+      ],
+      "requirementRefs": ["f-input"]
+    },
+    {
+      "id": "step-b",
+      "moduleId": "m-impl",
+      "title": "Step B – Process",
+      "inputs": [
+        { "name": "data" }
+      ],
+      "outputs": []
+    }
+  ],
+  "edges": [
+    {
+      "id": "e-a-to-b",
+      "fromNodeId": "step-a",
+      "toNodeId": "step-b",
+      "type": "data",
+      "fromOutput": "data",
+      "toInput": "data"
+    }
+  ],
+  "acceptanceCriteria": [
+    {
+      "id": "ac-step-a",
+      "statement": "Input is received and forwarded",
+      "nodeRefs": ["step-a"]
+    },
+    {
+      "id": "ac-step-b",
+      "statement": "Processing completes successfully",
+      "nodeRefs": ["step-b"]
+    }
+  ]
+}
+```
+
+## 粗粒度模式（Coarse Mode）
+
+在请求 `input` 中设置 `coarseMode: true` 即可启用粗粒度模式：
+
+```json
+{
+  "input": {
+    "schemaVersion": "blueprint.skill.request/1.0",
+    "requestId": "unique-id",
+    "operation": "compile-inline",
+    "coarseMode": true,
+    "input": { "blueprint": { ... } }
+  }
+}
+```
+
+启用后的行为差异：
+
+- **节点端口可省略**：`inputs` 和 `outputs` 可以为空数组 `[]`，无需声明具体端口
+- **边无需端口级连线**：`edges` 中不提供 `fromOutput` / `toInput` 仍可通过校验，节点级连接即满足输入源 / 输出消费检查
+- **端口校验仅在显式声明时生效**：只有当节点明确声明了 `inputs` 或 `outputs`（非空数组）时，才强制要求数据边绑定端口名
+- **适用场景**：推荐用于单文件、单实现者的快速原型场景，无需声明详细端口拓扑
+
+## 新操作文档
+
+### `acceptance-report`
+
+接受实施后验证结果，关闭验收标准闭环。
+
+**输入**：
+
+```json
+{
+  "blueprintId": "your-blueprint-id",
+  "results": [
+    {
+      "acId": "ac-step-a",
+      "passed": true,
+      "evidence": "单元测试覆盖，运行通过"  // 可选，提供通过证据
+    },
+    {
+      "acId": "ac-step-b",
+      "passed": false,
+      "evidence": "缺少边界条件测试"        // 可选，记录失败原因
+    }
+  ]
+}
+```
+
+- `blueprintId`：目标蓝图 ID
+- `results`：数组，每项包含 `acId`（对应 `acceptanceCriteria.id`）、`passed`（布尔）、`evidence`（可选字符串）
+
+### `answer-questions`
+
+关闭 OPEN-QUESTIONS 循环，回答蓝图中的开放问题。
+
+**输入**：
+
+```json
+{
+  "blueprintId": "your-blueprint-id",
+  "answers": [
+    {
+      "questionId": "q-storage-backend",
+      "answer": "使用 PostgreSQL 作为持久化存储，因为团队已有运维经验"
+    }
+  ]
+}
+```
+
+- `blueprintId`：目标蓝图 ID
+- `answers`：数组，每项包含 `questionId`（问题标识）和 `answer`（回答内容）
+
+### IR 模板
+
+以下是系统提供的常用 IR 模板，可作为构建蓝图的起点：
+
+| 模板名称 | 说明 | 适用场景 |
+|---------|------|---------|
+| `linear-pipeline` | 线性流水线，节点依次执行 | 数据处理、ETL 任务 |
+| `fan-out-fan-in` | 分叉汇聚模式，多路并行后合并 | 批量处理、并行计算 |
+| `state-machine` | 状态机模式，带状态转移控制 | 流程审批、工作流引擎 |
+| `event-driven` | 事件驱动模式，基于事件触发节点 | 微服务、异步任务编排 |
+| `recursive-loop` | 递归循环模式，带环边与迭代守卫 | 迭代优化、爬虫、搜索 |
+
+使用模板时，在 `compile-inline` 的 `input` 中传入 `template: "linear-pipeline"` 即可自动填充基础结构。

package/skill/skill.json

@@ -6,5 +6,5 @@
   "name": "blueprint",
   "schemaVersion": "blueprint.skill.request/1.0",
   "type": "Skill",
-  "version": "v5.0.4"
-}
+  "version": "v7.0.1"
+}