lawful

lawful(有 .lawful/ 的 Haskell 專案)的稽核:lint 與 status 的紅逐條分類(文檔錯還是程式碼錯)、需求與里程碑是否貼合、laws 與邊界的人工判斷,產出「哪裡、什麼事、怎麼辦」表,不直接改契約。觸發詞:稽核、audit、健檢、對帳、文檔與程式碼對不上、邊界檢查。Use when checking that .lawful and the code still agree and how healthy the project is.

lawful(有 .lawful/ 的 Haskell 專案)的建構指揮(conductor):對 ready 的 pipeline 派 qa 寫測試、驗首跑、派 refactor 調整實作、仲裁紅燈,每條 law 成立才改 verified;目標也可以是 R-n 或 INV-n(只補那一條驗收測試)。觸發詞:build、建構、開工、跑這條里程碑、跑 pipeline、補驗收測試、委派開發。Use when ready pipelines should be turned into tests and law-abiding code, or an acceptance test is missing.

lawful(有 .lawful/ 的 Haskell 專案)全域 Law 落筆的地方。全域 Law 是從做出來的切片裡抽上去的:scope-laws 列的候選或開發者點名的一條既有 law,攤影響範圍、開發者明確批准才寫進 Cone.md「全域 Law」區,抽上去的 law 從原 pipeline 搬走;之後的修改、放寬、替換、刪除同樣要批准、也只在這裡。觸發詞:全域 Law、抽上去、領域不變量、四層、對外 I/O、放寬全域 Law。Use when a Law from a finished slice should become a global Law, or a global Law must be changed, relaxed or removed.

lawful(有 .lawful/ 的 Haskell 專案)的整合,唯一發 PR 的出口:把達成的 build 分支合成一條,整套綠、每條 law 仍成立才發 PR;兩條線的 law 互斥時向開發者仲裁、寫 ADR;全域 Law 只提變更建議。觸發詞:發 PR、pull request、整合、integrate、合併分支、merge、仲裁、ADR。Use when finished branches should be merged, verified together and sent as a pull request.

lawful(純函數式的 Haskell 專案)的立案,專案的第一個命令(還沒有 .lawful/ 的專案從這裡開始):建立 .lawful/ 的樹,與開發者訂願景、名詞表、Cone.md 的 Constraint(硬性限制,語言與版本、編譯器與執行環境、套件、環境、命名與寫法,同一節也裝工具要讀的語言、三道指令、模組前綴、原始碼根目錄)與模組單元表的骨架;Constraint 之後要補、要改也回這裡;不談需求也不談全域 Law,收尾自動接上 require-design。觸發詞:開新專案、立案、kickoff、建 .lawful、Cone.md、專案願景、技術選型、模組表、補名詞表。Use when starting a new project and creating its .lawful tree, vision, project constraints and module table.

lawful(有 .lawful/ 的 Haskell 專案)的模組單元:劃一個新的模組單元(名字、職責、有哪幾層)並在四棵原始碼樹裡開好資料夾;立案時、或切片途中要一個還沒有的單元或層時先跑。觸發詞:新模組、模組單元、module、劃邊界、加一層、modules.md。Use when a slice or the project setup needs a module unit or layer that does not exist yet.

lawful(有 .lawful/ 的 Haskell 專案)的 qa 角色,只由 build 的 conductor 委派(開發者要補測試走 build):只讀 pipeline 文檔、types 層與宣告,每條 law 一條 property test、每個 example 一條 example test,或一條需求驗收、領域不變量的測試;不讀 core 與 shell 的本體。觸發詞:寫測試、qa、property test、性質測試、驗收測試。Use when translating laws and examples into tests without reading any implementation.

lawful(有 .lawful/ 的 Haskell 專案)的 refactor 角色,只由 build 的 conductor 委派(開發者說測試紅了、要調實作,走 build 的仲裁,不直接用這一份):依 pipeline 文檔與紅燈歸因調整或重寫實作,直到每條 law 成立,假的換成真的;不碰測試與宣告。觸發詞:調整實作、重寫實作、refactor、讓 law 成立、把假的換成真的。Use when code must be adjusted or rewritten until a pipeline's laws hold, without touching tests or declarations.

lawful(有 .lawful/ 的 Haskell 專案)的需求設計:與開發者一次一條談需求(一句話、驗收、優先 1 到 4;用到的領域名詞先講定、寫進名詞表),當場切成有順序的里程碑 M-n-<slug>,每條是使用者看得到、展示得出來的階段,把既有的東西改快改好也是一條里程碑(綁既有的 pipeline,靠修訂達成);之後加需求、改驗收、重排、加里程碑也走這裡。觸發詞:需求、requirement、驗收、里程碑、milestone、優先、名詞的定義、這條 pipeline 為什麼做。Use when adding or reshaping requirements, their acceptance, priorities and milestones.

lawful(有 .lawful/ 的 Haskell 專案)談與調整 Scope Law 的地方。切片做完後根據決策紀錄把約束逐條談成 law,並列出全域 Law 的候選;既有的 law 要修改、放寬、替換、刪除只在這裡,一手做到 verified,含刪 stage、重複的 stage 改成引用、文檔退役。觸發詞:談約束、談 Law、切片做完、寫 pipeline 文檔、改既有的 law、放寬 law、刪 stage、文檔退役。Use when a finished slice needs its laws discussed, an existing law must be changed or removed, or a pipeline is retired.

lawful(有 .lawful/ 的 Haskell 專案)的 pipeline 修訂,既有的 law 一條都不動。改 verified pipeline 的簽名、型別、模組與層,或做一條靠修訂這條 pipeline 達成的里程碑(效能、大小這類實作品質,或新的承諾);可以新增 law,改完仍是 verified;非調整既有的 law 不可就放棄,整件交給 scope-laws。觸發詞:改簽名、改介面、改型別、搬模組、換層、效能調整、靠修訂達成的里程碑、補保護用的 law。Use when a verified pipeline's signatures, types, modules or code must change while every existing law stays unchanged.

lawful(有 .lawful/ 的 Haskell 專案)的切片:拿一條里程碑,在 build/M-n-<slug> 工作樹上用實作從 shell 的進入點貫通到出口,做出跑得通的垂直切片並留下決策紀錄;同時是可行性驗證,走不通也是答案。觸發詞:切片、spike、先做出來、貫通、做這條里程碑、可行性、試一下、PoC、prototype、原型。Use when a milestone should first be made to work end to end in code, before any pipeline document or law is written.

lawful(有 .lawful/ 的 Haskell 專案)的派工報告:跑 lawful status,用人話講每條需求達成了沒與它的里程碑走到哪、全域 Law 有沒有被踩到、今天能開幾條線、每條分支走到哪一步、卡住的與建議路線;可畫成看板。觸發詞:進度、狀態、status、今天做什麼、派工、還差什麼、哪些卡住、看板。Use when the developer asks where the project stands or what to do next.

lawful 的專案導讀,給純函數式專案:帶開發者由上而下讀懂一個專案,六層縮放(全景 → 純度地圖 → 理念 → 型別 → trace → 細讀),每個結論附 檔案:行號 的原文,一次一課。觸發詞:study、理解專案、導讀、帶我看 code、trace code、熟悉專案、onboarding。Use when guiding a developer through a pure-functional codebase top-down with code evidence.