@namewta/speculo 0.8.11 → 0.8.13
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +2 -1
- package/package.json +1 -1
- package/template/canonical/canonical-specdev-goal-plan.md +13 -7
- package/template/canonical/canonical-specdev-grill-with-docs.md +1 -1
- package/template/canonical/canonical-specdev-orchestrate-implementation.md +29 -11
- package/template/canonical/canonical-specdev-spec.md +1 -1
- package/template/canonical/canonical-specdev-tickets.md +38 -4
- package/template/skills/engineering-standards-builder/README.md +6 -28
- package/template/skills/engineering-standards-builder/SKILL.md +88 -163
- package/template/skills/engineering-standards-builder/examples/README.md +2 -0
- package/template/skills/engineering-standards-builder/manifest.txt +4 -0
- package/template/skills/engineering-standards-builder/references/rules/00-governance-and-precedence.md +22 -29
- package/template/skills/engineering-standards-builder/references/rules/01-project-discovery.md +26 -59
- package/template/skills/engineering-standards-builder/references/rules/02-evidence-topology-and-scope.md +28 -55
- package/template/skills/engineering-standards-builder/references/rules/03-interview-and-decisions.md +4 -3
- package/template/skills/engineering-standards-builder/references/rules/14-generation-contract.md +64 -80
- package/template/skills/engineering-standards-builder/references/rules/15-validation-contract.md +24 -47
- package/template/skills/engineering-standards-builder/references/rules/16-language-adapter-contract.md +11 -48
- package/template/skills/engineering-standards-builder/references/rules/README.md +3 -3
- package/template/skills/engineering-standards-builder/scripts/self-test.mjs +51 -5
- package/template/skills/engineering-standards-builder/scripts/validate-builder.mjs +16 -4
- package/template/skills/engineering-standards-builder/scripts/validate-generated-skill.mjs +166 -64
- package/template/skills/engineering-standards-builder/templates/README.md +12 -3
- package/template/skills/engineering-standards-builder/templates/domain-skill/SKILL.md.template +32 -0
- package/template/skills/engineering-standards-builder/templates/project-skill/SKILL.md.template +16 -11
- package/template/skills/engineering-standards-builder/templates/project-skill/generated-skill-set.json.template +7 -0
- package/template/skills/engineering-standards-builder/templates/project-skill/references/project/00-project-profile.md.template +3 -1
- package/template/skills/engineering-standards-builder/templates/project-skill/references/project/01-module-map.md.template +4 -0
- package/template/skills/engineering-standards-builder/templates/project-skill/references/project/02-decisions-and-exceptions.md.template +1 -1
- package/template/skills/engineering-standards-builder/templates/project-skill/references/project/03-skill-map.md.template +19 -0
- package/template/skills/engineering-standards-builder/templates/project-skill/references/project/04-source-and-template-map.md.template +22 -0
- package/template/skills/engineering-standards-builder/templates/project-skill/references/project/review-checklist.md.template +2 -0
- package/template/skills/git-history-squash/SKILL.md +100 -0
- package/template/skills/git-history-squash/assets/request-template.json +18 -0
- package/template/skills/git-history-squash/references/recovery-contract.md +50 -0
- package/template/skills/git-history-squash/references/rewrite-contract.md +123 -0
- package/template/skills/git-history-squash/references/submodule-contract.md +54 -0
- package/template/skills/git-history-squash/scripts/git-history-squash.mjs +1171 -0
- package/template/workflows/specdev/I-implement/I-implement.md +12 -4
- package/template/workflows/specdev/I-implement/execution-preflight.md +4 -0
- package/template/workflows/specdev/README.md +1 -1
- package/template/workflows/specdev/T-tickets/T-tickets.md +16 -3
- package/template/workflows/specdev/T-tickets/ticket-readiness.md +3 -0
- package/template/workflows/specdev/T-tickets/ticket-template.md +3 -0
- package/template/workflows/specdev/T-tickets/tickets-map-template.md +15 -0
- package/template/workflows/specdev/common/rules/artifact-contract.md +1 -1
- package/template/workflows/specdev/common/skills/subagent-delivery/SKILL.md +4 -2
- package/template/workflows/specdev/common/skills/subagent-delivery/references/external-web-subagent.md +2 -1
- package/template/workflows/specdev/common/skills/subagent-delivery/references/native-subagent.md +2 -1
- package/template/workflows/specdev/common/skills/subagent-delivery/references/source-package.md +4 -2
- package/template/workflows/specdev/common/tools/validate-specdev.mjs +143 -3
|
@@ -1,228 +1,153 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: engineering-standards-builder
|
|
3
|
-
description:
|
|
3
|
+
description: 探索当前项目并生成或刷新项目专属工程 Skill Set,持久化到项目 .agents/skills/。
|
|
4
|
+
disable-model-invocation: true
|
|
4
5
|
---
|
|
5
6
|
|
|
6
7
|
# Engineering Standards Builder
|
|
7
8
|
|
|
8
|
-
|
|
9
|
+
本 Skill 只在用户明确调用时运行。它不会在新项目中自动启动,也不把 Builder 自带的通用建议直接复制成项目规范。
|
|
9
10
|
|
|
10
|
-
|
|
11
|
+
目标是先理解当前项目真实的代码、目录、配置、测试、CI 与模板,再生成一组可长期复用的项目专属 Skill:一个稳定的工程规范路由入口,以及零个或多个有独立触发价值的领域 Skill。
|
|
11
12
|
|
|
12
13
|
```text
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
- 不适用规则
|
|
18
|
-
- 已记录例外
|
|
19
|
-
= 当前项目专属工程规范 Skill
|
|
14
|
+
项目事实 + 用户指定的重点范围 + 已确认目标
|
|
15
|
+
-> 证据审计与冲突收敛
|
|
16
|
+
-> 最小充分 Skill Set
|
|
17
|
+
-> .agents/skills/
|
|
20
18
|
```
|
|
21
19
|
|
|
22
|
-
|
|
20
|
+
## 产物与所有权
|
|
23
21
|
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
默认 canonical 输出:
|
|
22
|
+
始终生成根路由:
|
|
27
23
|
|
|
28
24
|
```text
|
|
29
|
-
.agents/skills/
|
|
30
|
-
├──
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
25
|
+
.agents/skills/
|
|
26
|
+
├── engineering-standards/
|
|
27
|
+
│ ├── SKILL.md
|
|
28
|
+
│ ├── generated-skill-set.json
|
|
29
|
+
│ └── references/project/
|
|
30
|
+
│ ├── 00-project-profile.md
|
|
31
|
+
│ ├── 01-module-map.md
|
|
32
|
+
│ ├── 02-decisions-and-exceptions.md
|
|
33
|
+
│ ├── 03-skill-map.md
|
|
34
|
+
│ ├── 04-source-and-template-map.md
|
|
35
|
+
│ └── review-checklist.md
|
|
36
|
+
└── <optional-domain-skill>/
|
|
37
|
+
├── SKILL.md
|
|
38
|
+
└── references/...
|
|
41
39
|
```
|
|
42
40
|
|
|
43
|
-
|
|
41
|
+
`engineering-standards` 是规范权威与路由器;领域 Skill 负责可独立触发的实现导航,不重复定义冲突规则。`generated-skill-set.json` 只登记 Builder 拥有的 `.agents/skills/*` 路径。刷新时不得改动或删除清单之外的 Skill。
|
|
44
42
|
|
|
45
|
-
|
|
46
|
-
.agents/skills/typescript-standards/SKILL.md
|
|
47
|
-
.agents/skills/typescript--standards/SKILL.md
|
|
48
|
-
.claude/skills/engineering-standards/SKILL.md
|
|
49
|
-
.claude/skills/typescript-standards/SKILL.md
|
|
50
|
-
```
|
|
43
|
+
## 最小原则
|
|
51
44
|
|
|
52
|
-
|
|
45
|
+
- 不按语言、目录或 Agent 数量机械拆 Skill。
|
|
46
|
+
- 能由根路由和少量 references 清楚表达时,不新增领域 Skill。
|
|
47
|
+
- 没有项目证据的规则不生成;Builder references 只提供审计维度与 fallback。
|
|
48
|
+
- 不复制项目源码、FM 模板或脚手架正文;引用其真实路径并说明适用条件、集成步骤和验证方式。
|
|
49
|
+
- 不新增配置文件、参数、时间戳、hash 或模型元数据来制造形式化负担。
|
|
50
|
+
- 扫描深度、文件数和字节限制只是脚本内部资源保护,不是用户需要决策的项目规范。
|
|
53
51
|
|
|
54
|
-
##
|
|
52
|
+
## 执行流程
|
|
55
53
|
|
|
56
|
-
### 1.
|
|
54
|
+
### 1. 确定项目根与学习范围
|
|
57
55
|
|
|
58
|
-
|
|
56
|
+
从用户当前工作目录、Git/Workspace 边界和用户指定的代码或目录确定真实项目根。记录需要重点学习的模块、代码、目录、模板或脚手架;未指定时覆盖所有可编辑模块。
|
|
59
57
|
|
|
60
|
-
-
|
|
61
|
-
- 覆盖整个仓库、指定模块还是指定路径;
|
|
62
|
-
- `create`、`refresh`、`merge` 或 `dry-run` 模式;
|
|
63
|
-
- 生成代码、第三方镜像、Vendor、构建输出与冻结区域;
|
|
64
|
-
- 已存在的工程规范、`AGENTS.md`、`CLAUDE.md`、`CONTRIBUTING.md` 和架构文档。
|
|
58
|
+
读取现有 `AGENTS.md`、`CLAUDE.md`、贡献文档、架构文档和 `.agents/skills/`,但将它们视为待验证证据。识别 generated、vendor、build、cache、fixture 与冻结目录。发现已有 `generated-skill-set.json` 时进入 refresh;只有 legacy `engineering-standards` 时,在计划中声明接管该根 Skill,其他现有 Skill 一律视为非 Builder 所有。
|
|
65
59
|
|
|
66
|
-
|
|
60
|
+
冲突优先级见 [治理与证据优先级](references/rules/00-governance-and-precedence.md),路径和 scope 见 [证据、拓扑与作用域](references/rules/02-evidence-topology-and-scope.md)。本阶段只读。
|
|
67
61
|
|
|
68
|
-
|
|
62
|
+
**完成标准**:项目根、重点范围、排除范围、现有规范和 Builder 写入边界明确。
|
|
69
63
|
|
|
70
|
-
|
|
64
|
+
### 2. 建立确定性事实基线
|
|
71
65
|
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
先运行确定性扫描器,再进行人工语义抽样:
|
|
66
|
+
运行扫描器并捕获 stdout;默认不在项目中持久化 inventory:
|
|
75
67
|
|
|
76
68
|
```bash
|
|
77
|
-
node <skill-root>/scripts/discover-project.mjs
|
|
78
|
-
--root <project-root> \
|
|
79
|
-
--pretty \
|
|
80
|
-
--output .engineering/project-inventory.json
|
|
69
|
+
node <skill-root>/scripts/discover-project.mjs --root <project-root> --pretty
|
|
81
70
|
```
|
|
82
71
|
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
必须建立:
|
|
72
|
+
扫描合同见 [项目发现合同](references/rules/01-project-discovery.md)。扫描器只提供拓扑基线,不能替代源码审计。继续读取真实 manifest/build 配置、CI 命令、公共入口、代表性实现、测试、消费者与项目模板。
|
|
86
73
|
|
|
87
|
-
|
|
88
|
-
- 每个模块的路径、语言、框架、运行时、构建系统、测试系统和交付物;
|
|
89
|
-
- 源码根、测试根、公开入口、生成目录和边界;
|
|
90
|
-
- 已生效的格式化、静态检查、类型检查、测试、构建与 CI 命令;
|
|
91
|
-
- 每项判断的证据路径、置信度、冲突和未知项;
|
|
92
|
-
- 代表性源码样本,而不是只读取 manifest。
|
|
74
|
+
**完成标准**:每个可编辑模块有路径、技术栈、入口、质量门禁和证据;扫描限制、冲突与未知项已记录。
|
|
93
75
|
|
|
94
|
-
|
|
76
|
+
### 3. 用 Agent Team 分域取证
|
|
95
77
|
|
|
96
|
-
|
|
78
|
+
当运行环境支持 Agent Team 且存在两个以上可独立审计的证据域时,默认由 leader 并行派发只读 scout。证据域按项目真实边界划分,例如架构与公共 API、后端、前端、公共复用、测试与 CI、FM/脚手架;不得套用固定角色表。
|
|
97
79
|
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
装配顺序:
|
|
80
|
+
leader 是唯一写入者。每个 scout 必须返回同一份精简证据合同:
|
|
101
81
|
|
|
102
82
|
```text
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
|
|
108
|
-
|
|
83
|
+
Scope
|
|
84
|
+
Observed capability
|
|
85
|
+
Canonical source paths
|
|
86
|
+
Mature implementations
|
|
87
|
+
Template paths
|
|
88
|
+
Consumers and tests
|
|
89
|
+
Applicable conditions
|
|
90
|
+
Legacy/counterexamples
|
|
91
|
+
Conflicts/unknowns
|
|
92
|
+
Recommended skill boundary
|
|
109
93
|
```
|
|
110
94
|
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
- [通用规则](references/rules/README.md)
|
|
114
|
-
- [TypeScript / JavaScript](references/typescript/README.md)
|
|
115
|
-
- [Java](references/java/README.md)
|
|
116
|
-
- [Go](references/go/README.md)
|
|
117
|
-
- [Rust](references/rust/README.md)
|
|
118
|
-
|
|
119
|
-
分支路由:
|
|
120
|
-
|
|
121
|
-
| 识别事实 | 读取 |
|
|
122
|
-
|---|---|
|
|
123
|
-
| 所有项目 | `references/rules/04`~`13` 中与任务相关的文件 |
|
|
124
|
-
| TypeScript/JavaScript | `references/typescript/00`~`04` |
|
|
125
|
-
| React | `references/typescript/frameworks/react.md` |
|
|
126
|
-
| Vue | `references/typescript/frameworks/vue.md` |
|
|
127
|
-
| 浏览器、Node、Electron | 对应 `references/typescript/runtimes/*` |
|
|
128
|
-
| CLI 或发布库 | 对应 `references/typescript/app-types/*` |
|
|
129
|
-
| Java | `references/java/00`~`04` |
|
|
130
|
-
| Spring Boot | `references/java/frameworks/spring-boot.md` |
|
|
131
|
-
| Go | `references/go/00`~`04` |
|
|
132
|
-
| Rust | `references/rust/00`~`04` |
|
|
133
|
-
| 未内置语言 | `references/rules/16-language-adapter-contract.md` 的 fallback |
|
|
95
|
+
leader 必须复读高影响路径,检查跨域冲突,并把同一事实的重复报告合并。Agent Team 不可用或任务不可合理拆分时,leader 按相同合同顺序审计;结果标准不变。
|
|
134
96
|
|
|
135
|
-
|
|
97
|
+
**完成标准**:重要规范均有真实路径、消费者或测试支撑;反例、旧实现和未知项没有被“多数模式”掩盖。
|
|
136
98
|
|
|
137
|
-
|
|
99
|
+
### 4. 收敛规范与 Skill 边界
|
|
138
100
|
|
|
139
|
-
|
|
101
|
+
先识别项目已经声明的 canonical 模板或代码样板,例如 `docs/fm/**`、scaffold、generator assets。模板与成熟代码冲突时,判断它是目标模板、过期模板还是仅负责骨架,并记录 current、target 与 migration;不得静默任选一方。
|
|
140
102
|
|
|
141
|
-
|
|
103
|
+
只有同时满足以下条件才创建领域 Skill:
|
|
142
104
|
|
|
143
|
-
|
|
105
|
+
1. 有可独立描述的触发场景;
|
|
106
|
+
2. 会在多次开发中复用;
|
|
107
|
+
3. 有充分的项目源码、模板、测试或配置证据;
|
|
108
|
+
4. 与根路由或其他领域 Skill 边界清晰;
|
|
109
|
+
5. 独立后能明显减少无关上下文。
|
|
144
110
|
|
|
145
|
-
-
|
|
146
|
-
- 模块边界、公开 API 和允许的依赖方向;
|
|
147
|
-
- 仓库中真实存在冲突的目录、命名、测试或工具链选择;
|
|
148
|
-
- React/Vue、Spring Boot、Go 或 Rust 的版本迁移与兼容边界;
|
|
149
|
-
- 临时例外的所有者、到期条件和删除条件。
|
|
111
|
+
否则内容留在 `engineering-standards`。领域 Skill 名称来自项目语义,不使用固定列表或固定数量。高影响未知项按 [决策收敛合同](references/rules/03-interview-and-decisions.md) 询问;用户已授权直接生成时,将无法安全推断的事项记为 `pending-decision`。
|
|
150
112
|
|
|
151
|
-
|
|
113
|
+
只读取与项目事实匹配的 [通用规则索引](references/rules/README.md)、[TypeScript/JavaScript](references/typescript/README.md)、[Java](references/java/README.md)、[Go](references/go/README.md) 或 [Rust](references/rust/README.md) references。内置语言包和 [未内置语言 fallback](references/rules/16-language-adapter-contract.md) 是检查清单,不是高于项目代码的规范来源。
|
|
152
114
|
|
|
153
|
-
|
|
154
|
-
2. 给出推荐默认值及理由;
|
|
155
|
-
3. 提供 2~4 个可执行选项;
|
|
156
|
-
4. 记录用户选择、适用 scope 和来源;
|
|
157
|
-
5. 不重复询问已回答或已由仓库确认的事项。
|
|
115
|
+
**完成标准**:每个生成 Skill 都有独立价值和证据边界;没有为了覆盖目录或技术栈而过度拆分。
|
|
158
116
|
|
|
159
|
-
|
|
117
|
+
### 5. 计划、生成与刷新
|
|
160
118
|
|
|
161
|
-
|
|
119
|
+
先展示精简计划:模块与证据摘要、Skill Map、每个 Skill 的来源路径、保留/更新/新增/删除项、冲突决策和验证命令。用户已在当前请求中授权实施时,展示后直接执行。
|
|
162
120
|
|
|
163
|
-
|
|
121
|
+
按 [Skill Set 生成合同](references/rules/14-generation-contract.md) 和 [模板索引](templates/README.md) 生成。所有项目引用使用项目根相对路径,并说明:何时读取、它负责什么、输出位置、需要哪些手工集成、运行什么验证。
|
|
164
122
|
|
|
165
|
-
|
|
123
|
+
先准备完整候选内容并校验,再替换 Builder 拥有的文件。刷新规则:
|
|
166
124
|
|
|
167
|
-
-
|
|
168
|
-
-
|
|
169
|
-
-
|
|
170
|
-
-
|
|
171
|
-
-
|
|
172
|
-
-
|
|
125
|
+
- 只更新或删除旧 `generated-skill-set.json` 登记的路径;
|
|
126
|
+
- 名称与未登记 Skill 冲突时停止覆盖并重新命名或询问;
|
|
127
|
+
- 保留仍有效的用户决策、例外和项目特有知识;
|
|
128
|
+
- 删除或重命名必须在计划中显式列出;
|
|
129
|
+
- 候选验证失败时保留旧 Skill Set;发布后验证失败时恢复旧内容;
|
|
130
|
+
- 相同项目事实与决策重复运行应无无意义 diff。
|
|
173
131
|
|
|
174
|
-
|
|
132
|
+
**完成标准**:根路由、领域 Skill、项目引用与所有权清单一致,清单外 Skill 未发生变化。
|
|
175
133
|
|
|
176
|
-
|
|
134
|
+
### 6. 验证与报告
|
|
177
135
|
|
|
178
|
-
|
|
179
|
-
|
|
180
|
-
读取:
|
|
181
|
-
|
|
182
|
-
- [`references/rules/14-generation-contract.md`](references/rules/14-generation-contract.md)
|
|
183
|
-
- [生成模板索引](templates/README.md)
|
|
184
|
-
- 对应的语言/框架 references
|
|
185
|
-
|
|
186
|
-
生成原则:
|
|
187
|
-
|
|
188
|
-
- canonical 只有 `.agents/skills/engineering-standards/` 一份;
|
|
189
|
-
- `SKILL.md` 只保留每次执行必须读取的流程、作用域和路由;
|
|
190
|
-
- 详细规则按 `project/`、`rules/`、语言与框架分层;
|
|
191
|
-
- 只生成当前项目实际使用的语言、框架与运行时目录;
|
|
192
|
-
- 每条重要规则包含 `Scope`、`Level`、`Source`、`Verification`;
|
|
193
|
-
- 项目真实命令来自仓库事实或用户确认,不能凭空创造;
|
|
194
|
-
- `refresh`/`merge` 保留用户决策、公共 API、项目特有规则和未到期例外;
|
|
195
|
-
- 存量代码采用 Ratchet,不借生成规范发动无关的大规模重写。
|
|
196
|
-
|
|
197
|
-
**完成标准**:生成树可由项目事实和决策完整解释;没有不适用章节;canonical 内容仅存在一份;所有旧入口单向路由。
|
|
198
|
-
|
|
199
|
-
### 7. 验证并报告
|
|
200
|
-
|
|
201
|
-
先运行生成 Skill 验证器:
|
|
136
|
+
运行:
|
|
202
137
|
|
|
203
138
|
```bash
|
|
204
|
-
node <skill-root>/scripts/validate-generated-skill.mjs
|
|
205
|
-
--root <project-root> \
|
|
206
|
-
--strict
|
|
139
|
+
node <skill-root>/scripts/validate-generated-skill.mjs --root <project-root> --strict
|
|
207
140
|
```
|
|
208
141
|
|
|
209
|
-
|
|
210
|
-
|
|
211
|
-
随后只运行仓库已经定义且本次允许执行的质量门禁。不得为获得通过而删除测试、关闭核心规则、放宽类型/编译配置或扩大例外。
|
|
212
|
-
|
|
213
|
-
最终报告:
|
|
142
|
+
再按 [验证合同](references/rules/15-validation-contract.md) 执行项目已存在且本次允许的质量门禁。不得通过删除测试、放宽编译配置或扩大例外获取通过。
|
|
214
143
|
|
|
215
|
-
|
|
216
|
-
- 实际采用与排除的规则包;
|
|
217
|
-
- 运行的命令、退出码和关键结果;
|
|
218
|
-
- 未执行或无法验证的项目门禁及原因;
|
|
219
|
-
- 待确认决策、临时例外与后续删除条件。
|
|
144
|
+
最终报告生成/更新/保留/删除的 Skill,关键证据与模板路径,运行命令及退出码,未验证项、待确认决策和临时例外。
|
|
220
145
|
|
|
221
|
-
|
|
146
|
+
**完成标准**:所有权、frontmatter、Skill 路由、项目内引用、选择性适配和规则字段通过;项目门禁通过或留下可复现阻塞证据。
|
|
222
147
|
|
|
223
148
|
## Builder 自校验
|
|
224
149
|
|
|
225
|
-
维护本 Skill
|
|
150
|
+
维护本 Skill 时读取 [fixture 合同](examples/README.md),并运行:
|
|
226
151
|
|
|
227
152
|
```bash
|
|
228
153
|
node scripts/sync-manifest.mjs --root . --check
|
|
@@ -230,4 +155,4 @@ node scripts/validate-builder.mjs --root .
|
|
|
230
155
|
node scripts/self-test.mjs --root .
|
|
231
156
|
```
|
|
232
157
|
|
|
233
|
-
|
|
158
|
+
这些脚本无第三方依赖、接受显式根目录、拒绝路径越界,并提供 `--help`。
|
|
@@ -104,9 +104,13 @@ templates/compatibility/agents-typescript--standards.md
|
|
|
104
104
|
templates/compatibility/agents-typescript-standards.md
|
|
105
105
|
templates/compatibility/claude-engineering-standards.md
|
|
106
106
|
templates/compatibility/claude-typescript-standards.md
|
|
107
|
+
templates/domain-skill/SKILL.md.template
|
|
108
|
+
templates/project-skill/generated-skill-set.json.template
|
|
107
109
|
templates/project-skill/references/project/00-project-profile.md.template
|
|
108
110
|
templates/project-skill/references/project/01-module-map.md.template
|
|
109
111
|
templates/project-skill/references/project/02-decisions-and-exceptions.md.template
|
|
112
|
+
templates/project-skill/references/project/03-skill-map.md.template
|
|
113
|
+
templates/project-skill/references/project/04-source-and-template-map.md.template
|
|
110
114
|
templates/project-skill/references/project/review-checklist.md.template
|
|
111
115
|
templates/project-skill/SKILL.md.template
|
|
112
116
|
templates/README.md
|
|
@@ -1,52 +1,45 @@
|
|
|
1
|
-
#
|
|
1
|
+
# 治理、规则级别与证据优先级
|
|
2
2
|
|
|
3
3
|
## 规则级别
|
|
4
4
|
|
|
5
|
-
|
|
5
|
+
- **MUST**:正确性、安全、协议、公共 API、数据、资源生命周期或已生效门禁要求;必须有可执行检查或精确 review 证据。
|
|
6
|
+
- **SHOULD**:项目证据支持的常规做法;偏离时记录理由和 scope。
|
|
7
|
+
- **MAY**:可选模式,不作为伪门禁。
|
|
8
|
+
- **EXCEPTION**:例外;记录所有者、原因、范围、风险、到期或删除条件。
|
|
6
9
|
|
|
7
|
-
|
|
8
|
-
- **SHOULD**:大多数场景适用;偏离时需要记录理由、scope 和恢复条件。
|
|
9
|
-
- **MAY**:允许的模式,不作为伪门禁。
|
|
10
|
-
- **EXCEPTION**:临时或永久例外;必须写明所有者、原因、范围、风险、到期或删除条件。
|
|
11
|
-
|
|
12
|
-
不要把偏好包装成 MUST。无法验证的规则最多为 SHOULD,并给出具体 review 证据。
|
|
10
|
+
不要把偏好包装成 MUST。无法验证的规则最多为 SHOULD。
|
|
13
11
|
|
|
14
12
|
## 冲突优先级
|
|
15
13
|
|
|
16
|
-
|
|
14
|
+
按以下顺序判断,但任何冲突都要显式记录:
|
|
15
|
+
|
|
16
|
+
1. 安全、协议、编译器、运行时、监管和数据正确性硬约束;
|
|
17
|
+
2. 用户明确指定为 canonical 的代码、目录、模板及目标状态;
|
|
18
|
+
3. 当前生效的测试、构建、CI、公共 API、运行时配置和发布合同;
|
|
19
|
+
4. 同一 owner/scope 下成熟、受测试且有真实消费者的实现;
|
|
20
|
+
5. 项目声明的 FM、scaffold 或 generator 在其责任范围内的合同;
|
|
21
|
+
6. 项目 `AGENTS.md`、架构文档、贡献文档和现有 Skills;
|
|
22
|
+
7. Builder 内置语言规则与通用 baseline。
|
|
17
23
|
|
|
18
|
-
|
|
19
|
-
2. 用户针对本项目明确确认的目标状态;
|
|
20
|
-
3. 当前生效的构建配置、CI 合同、发布合同与公共 API;
|
|
21
|
-
4. 当前模块稳定且占主导、能被证据证明的实践;
|
|
22
|
-
5. 对应语言、框架和工具的当前官方文档;
|
|
23
|
-
6. 团队选定的风格 profile;
|
|
24
|
-
7. Builder 默认建议。
|
|
24
|
+
“代码数量更多”不是优先级。大量 legacy 实现不能自动成为新代码规范。
|
|
25
25
|
|
|
26
|
-
|
|
26
|
+
模板与成熟实现不一致时,要判定:模板是否表达目标状态、模板是否过期、或模板是否只负责骨架。必要时生成“当前状态 -> 迁移阶段 -> 目标状态”,而不是把冲突藏起来。
|
|
27
27
|
|
|
28
|
-
##
|
|
28
|
+
## 来源标记
|
|
29
29
|
|
|
30
|
-
|
|
30
|
+
重要规则使用以下来源,并附精确路径或命令:
|
|
31
31
|
|
|
32
32
|
```text
|
|
33
33
|
repository-fact
|
|
34
|
+
project-template
|
|
34
35
|
user-decision
|
|
35
36
|
official-guidance
|
|
36
37
|
builder-baseline
|
|
37
38
|
compatibility-exception
|
|
38
39
|
```
|
|
39
40
|
|
|
40
|
-
`
|
|
41
|
+
`builder-baseline` 只用于项目证据缺失时的待确认建议,不得伪装为项目既有事实。官方文档也不能覆盖项目版本和真实配置。
|
|
41
42
|
|
|
42
43
|
## 不可被历史惯例弱化的底线
|
|
43
44
|
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
- 外部输入未经验证;
|
|
47
|
-
- 密钥、Token、密码或个人敏感数据泄露;
|
|
48
|
-
- 资源、线程、goroutine、任务、监听器、连接或子进程没有所有者和关闭路径;
|
|
49
|
-
- 错误被静默吞掉或只记录后继续假装成功;
|
|
50
|
-
- 公共边界使用无约束动态类型;
|
|
51
|
-
- 依赖方向绕过模块边界;
|
|
52
|
-
- 删除测试、关闭核心规则或放宽编译配置以隐藏失败。
|
|
45
|
+
外部输入验证、秘密与敏感数据、错误传播、资源/任务关闭路径、公共边界类型、依赖方向和测试门禁等正确性问题,即使仓库中普遍违规,也只能采用 Ratchet 或迁移方案,不能继续扩散。
|
package/template/skills/engineering-standards-builder/references/rules/01-project-discovery.md
CHANGED
|
@@ -1,79 +1,46 @@
|
|
|
1
1
|
# 项目发现合同
|
|
2
2
|
|
|
3
|
-
##
|
|
3
|
+
## 确定性基线
|
|
4
4
|
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
- 不执行安装、构建、测试、代码生成或项目脚本;
|
|
8
|
-
- 不依赖目录名字猜测技术栈;
|
|
9
|
-
- manifest、配置、CI、源码与文档相互交叉验证;
|
|
10
|
-
- 每个判断保留证据路径和置信度;
|
|
11
|
-
- 扫描器结果是基线,必须再抽样源码和边界。
|
|
12
|
-
|
|
13
|
-
## 确定性扫描
|
|
14
|
-
|
|
15
|
-
运行:
|
|
5
|
+
先运行只读扫描:
|
|
16
6
|
|
|
17
7
|
```bash
|
|
18
|
-
node <skill-root>/scripts/discover-project.mjs
|
|
19
|
-
--root <project-root> \
|
|
20
|
-
--pretty \
|
|
21
|
-
--output <approved-path>/project-inventory.json
|
|
8
|
+
node <skill-root>/scripts/discover-project.mjs --root <project-root> --pretty
|
|
22
9
|
```
|
|
23
10
|
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
扫描器识别:
|
|
27
|
-
|
|
28
|
-
- Git/Workspace/Monorepo 拓扑;
|
|
29
|
-
- JavaScript/TypeScript manifests、Workspace、锁文件、tsconfig、框架与工具;
|
|
30
|
-
- Maven/Gradle、Java 源集与 Spring Boot;
|
|
31
|
-
- `go.mod`、`go.work`、Go package/command;
|
|
32
|
-
- Cargo package/workspace、toolchain、Rust crate;
|
|
33
|
-
- CI、Agent 手册、贡献文档、架构文档和已有规范;
|
|
34
|
-
- 源码/测试扩展名统计及代表性根目录;
|
|
35
|
-
- 生成、Vendor、构建和缓存目录。
|
|
11
|
+
默认捕获 stdout,不把 inventory 写进项目。只有用户明确需要保留诊断证据时才使用 `--output`,且输出路径必须在项目根内。
|
|
36
12
|
|
|
37
|
-
|
|
13
|
+
扫描器识别 Workspace/Monorepo、多模块、语言、框架、build/test 系统、CI、现有规范以及生成/Vendor/构建目录。它不执行安装、构建、测试、生成器、项目脚本或网络请求。
|
|
38
14
|
|
|
39
|
-
|
|
15
|
+
## 项目语义审计
|
|
40
16
|
|
|
41
|
-
|
|
42
|
-
2. 编译、Lint、格式化和测试配置;
|
|
43
|
-
3. CI 中真正执行的命令;
|
|
44
|
-
4. 公开入口和模块边界;
|
|
45
|
-
5. 两到三个代表性业务目录;
|
|
46
|
-
6. 普通实现、测试、配置和入口文件;
|
|
47
|
-
7. 大型或高频修改文件;
|
|
48
|
-
8. 生成代码标记和不可编辑目录;
|
|
49
|
-
9. README、ADR、AGENTS、CLAUDE、CONTRIBUTING 中的有效合同。
|
|
17
|
+
扫描之后仍要检查每个可编辑模块的:
|
|
50
18
|
|
|
51
|
-
|
|
19
|
+
1. manifest、build、formatter、lint、编译和测试配置;
|
|
20
|
+
2. CI 真正执行的命令及 working directory;
|
|
21
|
+
3. 公共入口、依赖方向和跨模块消费者;
|
|
22
|
+
4. 成熟实现、相应测试、失败路径与资源清理;
|
|
23
|
+
5. 用户指定需要学习的代码和目录;
|
|
24
|
+
6. FM、scaffold、generator asset、catalog、context contract 与其 validator;
|
|
25
|
+
7. README、ADR、AGENTS、CLAUDE、CONTRIBUTING 和现有 Skills;
|
|
26
|
+
8. legacy、generated、vendor、fixture、冻结和不可编辑区域。
|
|
52
27
|
|
|
53
|
-
|
|
28
|
+
代表性样本按架构角色和调用链选择,不按文件名排序取前几个。只出现依赖或扩展名是“信号”,不能单独升级为全模块规则。
|
|
54
29
|
|
|
55
|
-
|
|
56
|
-
- **medium**:大量稳定源码模式与目录结构相互支持;
|
|
57
|
-
- **low**:仅由目录名、少量文件或间接依赖推断。
|
|
30
|
+
## Agent Team 证据合同
|
|
58
31
|
|
|
59
|
-
|
|
32
|
+
有独立证据域且运行环境支持时,由 leader 派只读 scouts 并行审计。每个 scout 返回:Scope、Observed capability、Canonical source paths、Mature implementations、Template paths、Consumers and tests、Applicable conditions、Legacy/counterexamples、Conflicts/unknowns、Recommended skill boundary。
|
|
60
33
|
|
|
61
|
-
|
|
34
|
+
scout 不修改项目,不直接生成最终 Skill。leader 复读高影响文件、解决跨域冲突并负责唯一写入。团队不可用时按同一合同顺序执行。
|
|
62
35
|
|
|
63
|
-
|
|
36
|
+
## 置信度
|
|
64
37
|
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
bin obj .cache .venv __pycache__
|
|
69
|
-
```
|
|
38
|
+
- **high**:配置、入口、CI、测试或真实消费者直接支持;
|
|
39
|
+
- **medium**:多个稳定源码模式与目录结构相互支持;
|
|
40
|
+
- **low**:仅由目录名、少量文件或间接依赖推断。
|
|
70
41
|
|
|
71
|
-
|
|
42
|
+
低置信度且高影响的判断必须询问或登记为 `pending-decision`。
|
|
72
43
|
|
|
73
|
-
##
|
|
44
|
+
## 完成条件
|
|
74
45
|
|
|
75
|
-
|
|
76
|
-
- 每个判断可追溯;
|
|
77
|
-
- 作用域互不混淆;
|
|
78
|
-
- 冲突、未知项和扫描限制已记录;
|
|
79
|
-
- 尚未向用户询问可以直接从仓库回答的问题。
|
|
46
|
+
每个模块和模板职责均可追溯;项目规范来源、反例、冲突、未知项和扫描限制明确;没有向用户询问仓库可直接回答的问题。
|
|
@@ -1,47 +1,28 @@
|
|
|
1
|
-
#
|
|
1
|
+
# 证据、项目拓扑与作用域
|
|
2
2
|
|
|
3
|
-
##
|
|
4
|
-
|
|
5
|
-
每个模块至少记录:
|
|
3
|
+
## 最小模块记录
|
|
6
4
|
|
|
7
5
|
```text
|
|
8
6
|
id
|
|
9
7
|
path
|
|
10
|
-
languages
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
publicEntrypoints
|
|
18
|
-
generatedPaths
|
|
19
|
-
qualityGates
|
|
20
|
-
evidence
|
|
21
|
-
confidence
|
|
8
|
+
languages/frameworks/runtimes
|
|
9
|
+
build and test systems
|
|
10
|
+
source/test roots
|
|
11
|
+
public entrypoints
|
|
12
|
+
generated/frozen paths
|
|
13
|
+
quality gates
|
|
14
|
+
evidence/confidence
|
|
22
15
|
```
|
|
23
16
|
|
|
24
|
-
模块可以是 Workspace package、Maven/Gradle 子项目、Go module、Cargo crate
|
|
25
|
-
|
|
26
|
-
## 拓扑分类
|
|
27
|
-
|
|
28
|
-
- `single-project`
|
|
29
|
-
- `workspace`
|
|
30
|
-
- `monorepo`
|
|
31
|
-
- `multi-module`
|
|
32
|
-
- `polyglot-monorepo`
|
|
33
|
-
- `multi-root`
|
|
17
|
+
模块可以是 Workspace package、Maven/Gradle 子项目、Go module、Cargo crate,也可以是由源码、配置和依赖边界共同证明的独立应用。多个 manifest 不自动等于 Monorepo。
|
|
34
18
|
|
|
35
|
-
|
|
19
|
+
## Scope
|
|
36
20
|
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
生成规则时使用最窄充分 scope:
|
|
21
|
+
使用最窄充分范围:
|
|
40
22
|
|
|
41
23
|
```text
|
|
42
24
|
repository
|
|
43
25
|
module:apps/web
|
|
44
|
-
module:services/orders
|
|
45
26
|
language:typescript
|
|
46
27
|
framework:vue
|
|
47
28
|
runtime:node
|
|
@@ -49,39 +30,31 @@ path:packages/sdk/**
|
|
|
49
30
|
public-api:packages/sdk
|
|
50
31
|
```
|
|
51
32
|
|
|
52
|
-
|
|
33
|
+
“前端”“后端”只有在项目已有对应路径定义时才可使用。
|
|
53
34
|
|
|
54
|
-
##
|
|
35
|
+
## 项目来源记录
|
|
55
36
|
|
|
56
|
-
|
|
37
|
+
项目源码或模板证据至少记录:
|
|
57
38
|
|
|
58
39
|
```text
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
40
|
+
Path: docs/fm/controller.java.ftl
|
|
41
|
+
Role: canonical scaffold template
|
|
42
|
+
Applies when: generating a controller
|
|
43
|
+
Produces: <target path/pattern>
|
|
44
|
+
Integration: <manual registration/import/configuration>
|
|
45
|
+
Verification: <existing validator/test/build command>
|
|
46
|
+
Consumers/tests: <paths>
|
|
47
|
+
Confidence: high
|
|
66
48
|
```
|
|
67
49
|
|
|
68
|
-
|
|
50
|
+
生成 Skill 只引用真实项目路径,不复制源码或模板正文。若没有正式模板,引用同一 owner/scope 下的成熟实现和测试;没有足够证据则省略规则或标记待确认。
|
|
69
51
|
|
|
70
52
|
## 冲突类型
|
|
71
53
|
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
- manifest 与源码不一致;
|
|
75
|
-
- 同一 scope 内多种无规律命名或目录策略;
|
|
76
|
-
- 本地脚本与 CI 门禁不一致;
|
|
77
|
-
- 声明的 Java/Node/Go/Rust 版本不一致;
|
|
78
|
-
- React 与 Vue、Maven 与 Gradle等多框架/多构建系统共存但边界不清;
|
|
79
|
-
- 公开 API 实际被跨模块深导入绕过;
|
|
80
|
-
- 生成代码与手写代码混合;
|
|
81
|
-
- 新目标规则无法通过当前门禁。
|
|
54
|
+
重点识别 manifest 与源码不一致、CI 与本地脚本不一致、模板与成熟代码不一致、公开 API 被深导入绕过、generated 与手写代码混合、多框架边界不清,以及目标规则无法通过当前门禁。
|
|
82
55
|
|
|
83
|
-
|
|
56
|
+
冲突不得靠“选择多数”消失。高影响冲突进入决策;存量问题进入 Ratchet、迁移或局部例外。
|
|
84
57
|
|
|
85
|
-
##
|
|
58
|
+
## 完成条件
|
|
86
59
|
|
|
87
|
-
|
|
60
|
+
每条规范和每个 Skill 边界均可映射到明确 scope 与路径;框架规则不泄漏到其他模块;模板的责任范围与后续手工集成已说明。
|