一键导入
concept-pipeline
為 Semorphe 新增概念的端到端管線。 串接全部 5 個概念 skill:discover → generate → roundtrip → fuzz → integrate。 當你想從「我要支援 <特性>」到完全整合的概念,用一個指令完成時使用。 支援任何語言。
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
為 Semorphe 新增概念的端到端管線。 串接全部 5 個概念 skill:discover → generate → roundtrip → fuzz → integrate。 當你想從「我要支援 <特性>」到完全整合的概念,用一個指令完成時使用。 支援任何語言。
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
研究程式語言的函式庫、標準標頭檔或語言特性。從文件和網路資源中探索函式簽名、 常見用法模式,按 Topic 層級樹分類,並依 Semorphe 慣例提出概念命名。 用於新增任何語言的函式庫、標頭檔或語言特性支援時。
為概念探索報告中定義的概念產生 BlockSpec JSON、程式碼產生器、提升器和渲染映射。 產生在 Semorphe 語義樹管線中支援新概念所需的所有產出物。 在 /concept.discover 之後使用,用於建立實作產出物。支援任何語言。
新 Semorphe 概念的最終整合關卡。執行所有驗證步驟 (TypeScript 編譯、單元測試、round-trip 測試、模糊測試), 然後將通過的概念整合到程式碼庫中並完成正確的註冊。 在 /concept.generate 之後作為最終步驟使用。支援任何語言。
審計、修復並重構 Semorphe 已有的語言概念實作。 偵測四路完備性缺口、信心等級違規、雙重註冊、死概念, 並自動修復缺失的產出物。用於清理技術債和確保第一性原理合規性。 支援任何語言。
為 Semorphe 的程式碼↔積木管線產生資訊隔離的模糊測試。 使用雙代理架構:Agent A(不知道實作)寫真實程式, Agent B 驗證 round-trip 正確性和編譯器/直譯器輸出等價性。 用於找出實作感知測試會遺漏的邊界案例和 bug。支援任何語言。
對特定程式透過 Semorphe 管線執行目標性 round-trip 測試。 驗證:原始碼 → lift → SemanticTree → generate → 原始碼 → 執行 → 比較 stdout。 用於驗證特定概念、除錯已知失敗或回歸測試。支援任何語言。
| name | concept-pipeline |
| description | 為 Semorphe 新增概念的端到端管線。 串接全部 5 個概念 skill:discover → generate → roundtrip → fuzz → integrate。 當你想從「我要支援 <特性>」到完全整合的概念,用一個指令完成時使用。 支援任何語言。 |
| user-invocable | true |
語言指示:所有輸出文件(報告、摘要、註解)必須使用當前對話的語言撰寫。下方模板僅為結構參考,實際用語應配合使用者的語言設定。
本節規則為最高優先級,不可因任何理由違反。
| 階段 | 必須調用的 Skill | 調用方式 |
|---|---|---|
| 1. 探索 | concept-discover | Skill tool: skill="concept-discover", args="{lang} {target}" |
| 2. 產生 | concept-generate | Skill tool: skill="concept-generate", args="{lang} {concept}" |
| 3. Round-trip | concept-roundtrip | Skill tool: skill="concept-roundtrip", args="{lang} {concept}" |
| 4. 模糊測試 | concept-fuzz | Skill tool: skill="concept-fuzz", args="{lang} {difficulty} {scope} {count}" |
| 5. 整合 | concept-integrate | Skill tool: skill="concept-integrate", args="{lang} {concept}" |
「調用」的唯一合法方式是使用 Skill tool。 以下行為全部視為違規:
必須按順序執行所有 5 個階段。 只有以下旗標允許跳過:
--dry-run → 允許跳過階段 3、4、5--skip-fuzz → 允許跳過階段 4沒有旗標時,任何階段都不可跳過。 不可以因為「概念很簡單」、「已經有類似概念」、「時間不夠」等理由省略任何階段。
每個階段完成後,必須在繼續下一階段之前明確確認:
✅ 階段 {N} 完成:{skill_name}
產出物:{列出具體產出物}
關卡結果:PASS / FAIL
→ 繼續階段 {N+1}
如果關卡 FAIL,必須先修復再繼續,不可跳過。
每個子 skill 調用完成後,必須輸出以下格式的完成標記(由各子 skill 自動產生):
🏁 SKILL_COMPLETE: {skill_name} | {lang} | {target} | {result}
如果你無法找到這個標記,代表 skill 未正確完成,不可繼續下一階段。
$ARGUMENTS
參數格式為 [語言] <目標>,例如:
cpp <algorithm> — 新增 C++ <algorithm> 支援python list comprehension — 新增 Python list comprehension 支援java Stream API — 新增 Java Stream API 支援do-while — 未指定語言時使用預設語言可選旗標(附加在目標之後):
--dry-run — 只執行 discover + generate,跳過測試和整合--skip-fuzz — 跳過模糊測試階段(更快,但較不徹底)--concepts=X,Y,Z — 只處理探索報告中的特定概念(跳過其餘)--fuzz-count=N — 要產生的模糊測試程式數量(預設:10)此 skill 編排完整的概念新增管線:
┌─────────────┐ ┌──────────────┐ ┌───────────────┐ ┌──────────────┐ ┌───────────────┐
│ 1. 探索 │───▶│ 2. 產生 │───▶│ 3. Round-trip │───▶│ 4. 模糊測試 │───▶│ 5. 整合 │
│ │ │ │ │ │ │ │ │ │
│ 研究 & │ │ BlockSpec, │ │ 目標性 │ │ 資訊隔離 │ │ 最終關卡, │
│ 分類概念 │ │ generator, │ │ round-trip │ │ 盲測 │ │ 註冊 │
│ │ │ lifter, 測試 │ │ 驗證 │ │ │ │ & commit │
└─────────────┘ └──────────────┘ └───────────────┘ └──────────────┘ └───────────────┘
Skill tool: Skill tool: Skill tool: Skill tool: Skill tool:
concept-discover concept-generate concept-roundtrip concept-fuzz concept-integrate
每個階段有一個通過/不通過關卡。如果某個階段失敗,管線會停下來報告哪裡出了問題,讓你修復後再繼續。
在開始任何概念工作之前,建立獨立的 feature branch:
{NNN}-{lang}-{topic} 格式的 feature branch 上,跳過建立specs/ 目錄,找到最大編號 N,使用 N+1{NNN}-{lang}-{short_name},例如 024-cpp-string-ops、025-cpp-const-ref
short_name 從使用者輸入推導(標頭檔名、特性名、概念群組名)git checkout -b {NNN}-{lang}-{short_name}
關卡:已在正確的 feature branch 上。
⚠️ 必須使用 Skill tool 調用:
Skill tool: skill="concept-discover", args="{lang} $ARGUMENTS"
不可手動執行探索步驟。必須調用 Skill tool。
關卡:探索報告已產生(路徑在 specs/concepts/ 目錄下)
完成標記:🏁 SKILL_COMPLETE: concept-discover | ...
決策點:探索後,向使用者呈現概念目錄:
在 {language} 的 {topic} 中找到 {N} 個概念:
通用概念:{list}
語言特定概念:{list}
按 Topic 層級樹節點分組:
{各節點 label}:{概念 list}
建議實作順序:{ordered list}
要處理全部 {N} 個概念嗎?或用 --concepts=X,Y,Z 指定特定的
對每個概念,按實作順序:
Skill tool: skill="concept-generate", args="{lang} {concept_name}"
npx tsc --noEmit — 型別必須能編譯🏁 SKILL_COMPLETE: concept-generate | ...如果 TypeScript 失敗,在處理下一個概念之前先修復錯誤。
對每個產生的概念:
Skill tool: skill="concept-roundtrip", args="{lang} {concept_name}"
🏁 SKILL_COMPLETE: concept-roundtrip | ...如果有 ❌ FAIL:
跳過條件:設定了 --dry-run 或 --skip-fuzz 旗標。
⚠️ 沒有設定跳過旗標時,此階段為強制執行,不可因任何理由省略。
根據新增概念在 Topic 層級樹中的深度自動決定難度和範疇(scope):
loops)Skill tool: skill="concept-fuzz", args="{lang} {difficulty} {scope} {count}"
🏁 SKILL_COMPLETE: concept-fuzz | ...如果模糊測試發現 bug:必須修復後重新執行,不得只記錄 todo 就繼續。具體規則:
it.todo 轉為正式測試。it.todo,但必須在註解中寫明依賴什麼、何時回頭修。it.todo 數量和原因,逐條確認是否可修。跳過條件:設定了 --dry-run 旗標。
對每個通過階段 2-4 的概念:
Skill tool: skill="concept-integrate", args="{lang} {concept_name}"
🏁 SKILL_COMPLETE: concept-integrate | ...## 概念管線完成:{language} — {topic}
### 結果
| 概念 | 通用/特定 | 探索 | 產生 | Roundtrip | 模糊 | 整合 | 狀態 |
|------|----------|------|------|-----------|------|------|------|
| {name} | 通用 | ✅ | ✅ | ✅ 5/5 | ✅ | ✅ | 已交付 |
| {name} | {lang} | ✅ | ✅ | ⚠️ 4/5 | N/A | ❌ | 已阻擋 |
### 已交付:{N} 個概念
### 已阻擋:{N} 個概念
### 覆蓋影響
- {language} 之前:{N} 個概念 → 之後:{N+M} 個概念
- 新的 Topic 層級樹覆蓋:各節點新增概念數
### 建議後續步驟
1. 修復已阻擋的概念
2. 值得探索的相關特性
3. 執行 `/concept.fuzz {lang} all 20` 進行更廣泛的回歸測試
如果有概念成功整合:
git add -A)feat({lang}): add {topic} concepts ({concept_list})
{N} 個 {language} 概念已整合到 branch {branch_name}。
要推送並建立 PR 嗎?(yes/no)
gh pr create 建立 PR,body 包含概念清單和測試結果摘要管線被中斷時,所有中間產出物都會保留。可以透過個別 skill 從任何階段恢復:
/concept.generate specs/concepts/{lang}-{topic}.md/concept.roundtrip {lang} {concept_name}/concept.integrate {lang} {concept_name}如果發現既有概念存在問題(四路不完備、信心等級違規、死概念等),應使用 /concept.refactor 的醫治模式修復:
/concept.refactor {lang} audit — 完整審計,了解問題全貌/concept.refactor {lang} fix {concept} — 修復單一概念的缺失路徑/concept.refactor {lang} fix all — 修復該語言所有概念/concept.refactor {lang} full — 完整重構(audit → fix → dedup → migrate → render-fix → purge)pipeline 與 refactor 的分工:
/concept.pipeline 用於新增概念(從零到一)/concept.refactor fix 用於修復既有概念(從不完整到完整)/concept.refactor migrate 用於重構既有概念的 lift 路徑(從 hand-written lifter 到 JSON pattern)。注意:extract 路徑已統一由 PatternExtractor 處理(auto-derive from blockDef args + concept children),無需遷移# C++ 完整管線
/concept.pipeline cpp <algorithm>
# Python 快速管線
/concept.pipeline python list comprehension --skip-fuzz
# Java 只處理特定概念
/concept.pipeline java Stream API --concepts=stream_map,stream_filter
# 乾跑看看會產生什麼
/concept.pipeline cpp pointer arithmetic --dry-run
# 帶更多模糊測試覆蓋
/concept.pipeline python decorators --fuzz-count=30