Menu
AIBDD Spec by Example Analyze SOP。
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional SOC
| name | aibdd-spec-by-example-analyze |
| description | AIBDD Spec by Example Analyze SOP。 |
| metadata | {"user-invocable":true,"source":"project-level"} |
嚴格遵照底下 Principles 來執行 SOP。
CWD 所涵蓋之專案／規格樹內（相對路徑自 CWD 解析；本檔所列 ${SPECS_ROOT_DIR}、${CURRENT_PLAN_PACKAGE}、${FEATURE_SPECS_DIR}、${TRUTH_FUNCTION_PACKAGE}、${PLAN_REPORTS_DIR} 等皆以 CWD 為錨。CWD 外的任意絕對路徑，或以「方便」為由落到未載明於當步 SOP 的其他根目錄。.feature 區塊內做 idempotent inline update（例如 01 的 Example skeleton、02 的 # candidates:）；不得改寫其他 phase 已落地決策或 upstream accepted truth。THINK / REASONING 時，才拉長內省與推演；否則以最直接可做之 READ／PARSE／DERIVE／WRITE／UPDATE／DELEGATE／TRIGGER 工具呼叫達成該步，省略與該步授權範圍無關的冗長鋪墊，以降低往返等待時間。$questions 或 $NEED_TO_CLARIFY，外層 orchestrator 必須先 DELEGATE /clarify 完成澄清，再只重跑受影響的 worker。/aibdd-spec-by-example-analyze 完成。長流程會跨多輪對話；在 conversation compact（對話摘要壓縮）之後，執行者仍要靠同一套待辦還原：目前卡在哪個 phase，該 phase 內細項又到哪一格。底下為兩層約定：外層只列 phase，進入該 phase 再把該 sub-SOP 第一層編號步驟拆成子項。尚未開始的 phase 不必預先展開成檔案級細項，以免待辦與實際 SOP.md 脫節。
TODOCREATE、TASKCREATE 等 tool；或宿主 IDE／Agent 內與之等效的待辦 API），在跑 sub-SOP 當下就建好清單並隨步驟推進更新狀態。禁止只靠聊天裡口頭列點、不經工具建立的「心裡待辦」——壓縮後無法還原，也無法核對漏步。# SOP 最外層每一項；每一項對應一個 sub-SOP 目錄（例：01-bind-and-load/）。這一層的勾選語意是「該 phase 的細項已全部展開且依 SOP.md 跑完」。SOP.md 裡第一層編號步驟拆解出的動作（READ／WRITE／DERIVE／DELEGATE／TRIGGER 等）。編號建議：(phase序)、(phase序-子序)（例：1、1-1）；進入該 phase 時以 TODOCREATE／TASKCREATE（或等效） 補齊子項。(1) 的子項全部完成後，以 TODOCREATE／TASKCREATE（或等效） 將 Tier 0 之 (1) 標為完成，再對 (2) 重複「展開 → 跑完」，依序往後。未完成當前 phase 前，不要為後續 phase 預開檔案層級的細項。
請執行到哪讀到哪，千萬不要提早閱讀後續文件，這會讓用戶起始體驗到的延遲度很久，SOP 寫啥就做啥，沒叫你 [THINK/REASONING] 就絕對不准啟用 EXTENDED THINKING。
在 CWD 底下 grep 搜尋 **/arguments.yml 檔案，做 parameters binding for all following phases，這些參數後續每一 phase 都會用到。此檔案一定存在，如不存在請直接停止執行，向使用者回報：「我在 ${CWD} 底下找不到 **/arguments.yml 檔案，你是否已經執行過 /aibdd-kickoff、/aibdd-flows-specify、/aibdd-rules-specify、/aibdd-plan 了？」
BIND feature files——以 read --spec-path '\.feature$' --spec-status inconsistent 取本輪仍待改寫的 mutable .feature spec，攤平 impacts[].specs[].path 物化成 ${SCOPED_FEATURE_PATHS}（每筆若未以 ${SPECS_ROOT_DIR}/ 開頭則 prefix ${SPECS_ROOT_DIR}/，去重後排序）；後續所有 sub-SOP 一律沿用 ${SCOPED_FEATURE_PATHS}。CLI 用法詳見 aibdd-core::impact-matrix/cli-usage.md。
若 matrix 缺失、violations 非空、或物化後 ${SCOPED_FEATURE_PATHS} 為空，STOP 並回報本輪無 mutable feature scope。
EXECUTE 01-example-form-lock/SOP.md
EXECUTE 02-handler-retrieval/SOP.md
EXECUTE 03-dsl-arrangement/SOP.md
EXECUTE 04-parameter-instantiation/SOP.md
當且僅當 clarify gate 都已清空，和用戶說道（可使用不同詞彙但維持語意）：「OK /aibdd-spec-by-example-analyze 完成。本輪 ${SCOPED_FEATURE_PATHS} 內 atomic rules 已展成 Scenario／Scenario Outline + Examples，並完成 Given／When／Then 的 DSL arrangement 與 canonical exemplar instantiation（唯一產物為原地改寫之 .feature）。
嗯，本步完成後即可直接執行 /aibdd-tasks！」
當要把一筆需求對齊進 plan package 時觸發，這筆需求可以是對既有規格的變更或缺陷，也可以是要落到既有或全新 plan package 的全新需求。把這筆需求追加進 spec.md 並校準 impact matrix。
跨 skill 共用資源庫，本身不會被執行，只存放供其他 skill 載入的共用資源（reference／asset／script）。
Turn a legal Red handoff for target feature files green by verifying drift, editing product code only, detecting failure oscillation, and emitting a Green handoff. TRIGGER when Green execute is requested after aibdd-red-execute. SKIP when no legal Red handoff exists or the request is test, DSL, runtime, or architecture repair.
當 reconcile 校準 impact matrix 後、本 owner 名下有 pending impact 待落成 persistent data schema 時觸發。以 `read --owner aibdd-data-plan --impact-status pending` 為 worklist，依 Discovery 真相（spec.md／feature truth）把須穩定保存的系統狀態推論成 state schema、在草稿上收斂後委派 boundary profile 宣告之 state_specifier 落地至 `${DATA_DIR}`，最後回寫 impact matrix。
Build the entity-to-table mapping (`entity_to_table_mapping.yml`) from a boundary's physical schema specs (DBML / SQL DDL), preserving existing entity names and naming new tables from the plan spec.
Create legal AIBDD red for target feature files by loading project config, mapping every Scenario step to DSL and core preset assets, rendering runtime-visible step definitions, and emitting a Red handoff. TRIGGER when Red execute is requested or delegated by implementation/debug flow. SKIP when the feature package or BDD stack config is absent.