Consistency Audit: domain-model / functional-spec
- 修改文件：domain-model.fp.md
- 修改日期：2026-06-05
- 編輯者：Alan
- Diff 摘要：新增 Stage 2 共用 spec
domain-model（VSM／投產單／可用產能／Freeze／RoughScheduleResult）；消費方 rough-cut-scheduler 改為引用＋投影、投產單 identity 連動poNo - Audit 觸發時點：簽核前（domain-model 仍為草稿）
共用 spec 例外適用：本檔為跨 feature 共用 spec（無 requirement 上游，見
product-module-development-workflow.md§可追溯性 → 共用／跨 feature spec）。依consistency-audit§3a 例外，略過 requirement 上游比對，改以單一檢查取代：「是否引入任何消費方 spec 都未涵蓋的概念？」
上游一致性
共用 spec：以「概念是否被消費方涵蓋」取代 requirement 比對。
| 項目（物件） | 狀態 | 說明 |
|---|---|---|
| 投產單（poNo / product / qty / dueDate / prioritySeq） | ✅ | 全數被消費方 rough-cut I/O 範例與 §RCS-FS-12 涵蓋；poNo 已雙向連動 |
| 可用產能 | ✅ | 被 rough-cut §RCS-FS-2／§RCS-FS-9 與 I/O 約定涵蓋 |
| Freeze | ✅ | 被 rough-cut §RCS-FS-9 涵蓋 |
| RoughScheduleResult | ✅ | 被 rough-cut 圖 3／UC A1 預期結果（每節點 LSD／LeanPlay／投產順序）涵蓋；已與 VSM 解耦為「可回溯」而非「內嵌快照」 |
| VSM | ⚠️ | identity 粒度（工單-料號-工作站-製程-工序）、物料列表、後置等待時間／移動至下站時間 目前無任何消費方使用（rough-cut 僅用 工作站-製程 拓樸 + CT/CO） |
需討論項目
⚠️ 集中於此，由人裁定。
- VSM 是否保留「目前無消費方使用」的概念？ domain-model 作為 Published Language，持有消費方需求的 superset 是合理的；但
工序-級 identity、物料列表、等待／移動時間目前無任一消費方投影使用 —— 要當領域真相先釘下（為未來消費方鋪路），還是依 YAGNI 修剪到目前被消費的範圍、待真實消費方出現再加？- 裁定（2026-06-05，Alan）：保留為領域真相。 domain-model 作為 Published Language 刻意持有消費方需求的 superset；
工序-級 identity、物料列表、等待／移動時間先釘為領域真相，待未來消費方投影使用。⚠️1 結案。
- 裁定（2026-06-05，Alan）：保留為領域真相。 domain-model 作為 Published Language 刻意持有消費方需求的 superset；
矛盾項目
（無）
下游影響
| 下游文件 | 受影響章節 | 行動 |
|---|---|---|
| rough-cut-scheduler.fp.md | I/O 範例 / breadcrumb（poNo、domain-model 投影） | 已連動（無殘留） |
| rough-cut-scheduler.fp.md | §RCS-FS-4「初期僅支援單一工作站-製程」 | 需重看（確認與 domain-model 新 identity「工單-料號-工作站-製程-工序」為階段範圍收斂而非定義衝突） |
spec/rough-cut-scheduler/rough-cut-scheduler.fp.validate.py（.py 不上站） | input dict key poNo | 已連動（assertion 全通過、輸出檔逐字不變） |
| ooa/domain-model.md（尚未建立） | VSM databox 欄位／型別／單位、物料列表、上下游 link 的欄位級定義；RoughScheduleResult 是否內嵌 VSM 快照 | 需更新（待 OOA 建立時承接，非本階段阻擋） |
行動標籤定義見
workflow.md§步驟 5。下游更新由該階段的 partner skill 執行，本 audit 不開處方。
建議行動清單
- 裁定 ⚠️1：保留為領域真相（2026-06-05，Alan）—— domain-model 刻意持有 superset，待未來消費方投影
- 人 review：rough-cut §RCS-FS-4 措辭與 domain-model VSM identity 是否需加一句「階段範圍收斂」註記
- 待建
ooa/domain-model.md時，由 object-oriented-analysis-partner 承接欄位級定義與 RoughScheduleResult 結構取捨
統計
- ✅ 4 | ⚠️ 1（已裁定保留、結案）| ❌ 0
- 下游受影響點：4（其中 2 已連動完成、1 需重看、1 待 OOA 承接）
- 簽核擋判定：不擋（❌ = 0）
簽核
- 編輯者已跑過 audit：____ / 日期 ____
- AI 產出 Impact Report：consistency-audit skill / 2026-06-05
- Reviewer 確認：____ / 日期 ____
❌ 項目未處理前，本 audit 不應該簽核通過。本次 ❌ = 0，不擋簽核；⚠️1 已裁定（保留）結案。 domain-model 仍為草稿；餘下「rough-cut §RCS-FS-4 措辭 review」與「欄位級定義由 OOA 承接」皆非阻擋，可逕行收斂後簽核 Stage 2 Exit Gate。