README.md

@@ -29,7 +29,7 @@ Marketplace 統一為 `jsc`（https://gitea.jsc.idv.tw/plugins/meta.git），安
 | `hooks/skill-usage.sh` | PostToolUse(Skill) | 記錄技能使用與呼叫鏈到 `$JSC_HOME/usage/*.jsonl`，供 `jsc-log:stats` 統計 |
 | `hooks/comment-scope.sh` | UserPromptSubmit、PostToolUse(Write、Edit、MultiEdit)、codex `notify`、kiro `userPromptSubmit`、`tools/jsc-wrap.sh` 收尾 | 程式碼註解不得夾帶文件相關資訊與審查流程痕跡，共三種模式。`prompt`：在每次提示注入規則摘要（禁止項與白名單各一行），五個 CLI 都接得到。無參數：寫檔後的逐檔掃描，從 stdin JSON 取 `file_path`（或環境變數 `JSC_CHANGED_FILE`），只有 claude 的 PostToolUse 接得上。`sweep [dir]`：掃整個 git 工作區這次改過的所有檔案，給沒有 post-tool hook 的四個 CLI 用，找不到 git 就安靜 exit 0。掃描時機每個 CLI 不同——claude 逐檔即時（PostToolUse）、codex 每輪結束（`notify`）、kiro 每輪提示送出時（`userPromptSubmit`，掃的是上一輪寫的檔）、copilot 與 antigravity 只有工作階段結束時由 `tools/jsc-wrap.sh` 收尾掃一次。兩種掃描模式都只看 `git diff HEAD` 的新增行、不翻舊帳，命中就把警告與最多三行證據送到 stderr 並以 exit 2 交回模型就地修正（不擋寫入，檔案已經寫好了）。markdown、純文字、資料檔與二進位檔一律跳過。只實作可用樣式判定的項目，專案代號、客戶名稱這類判不出來的交給 `/jsc-review:code-review`。規則正文的唯一來源在 `jsc-review` 的 `references/comment-scope.md`，本存取庫不留副本。逃生門 `JSC_COMMENT_SCOPE=off` |
 | `hooks/lang-guard.sh` | UserPromptSubmit、PostToolUse(Write、Edit、MultiEdit)、codex `notify`、kiro `userPromptSubmit`、`tools/jsc-wrap.sh` 收尾 | 所有非程式碼輸出一律繁體中文、UTF-8、無亂碼、無簡體字，共三種模式。`prompt`：在每次提示注入規則摘要（適用範圍與自我檢查各一行），五個 CLI 都接得到。無參數：寫檔後的逐檔掃描，從 stdin JSON 取 `file_path`（或環境變數 `JSC_CHANGED_FILE`），只有 claude 的 PostToolUse 接得上。`sweep [dir]`：掃整個 git 工作區這次改過的所有檔案，給沒有 post-tool hook 的四個 CLI 用，找不到 git 就安靜 exit 0。接線位置與掃描時機跟 `comment-scope.sh` 完全一樣，見下面那張表。偵測三項：簡體字（字表在 `hooks/simplified.txt`，讀不到就安靜跳過這一項）、亂碼（U+FFFD 替代字元與雙重編碼殘骸）、非 UTF-8 編碼（用 `iconv` 判定，沒有 `iconv` 就跳過）。三項都掃整個檔案、不只掃註解行，`.md` 與純文字檔照掃——那些正是「非程式碼輸出」的主場，這兩點跟 `comment-scope.sh` 刻意不同。掃描深度仍只看 `git diff HEAD` 的新增行、不翻舊帳，命中就把警告與最多三行證據送到 stderr 並以 exit 2 交回模型就地修正（不擋寫入）。二進位檔（只認 NUL 位元組）與 `*.lock`、`*.min.js`、`*.map` 這類產生檔跳過；`hooks/simplified.txt`、`hooks/ste100-guard.sh`、`hooks/lang-guard.sh` 也跳過，那三份檔案裡的簡體字與亂碼樣本是被討論的對象，不是被使用。規則正文的唯一來源在 `jsc-meta` 的 `references/ste100.md`。逃生門 `JSC_LANG_GUARD=off` |
-| `hooks/sdlc-gate.sh` | UserPromptSubmit、PreToolUse(Skill) | SDLC 階段能力標籤閘門與模型鎖：`lock {stage}` 由 jsc-sdlc 階段技能呼叫，從 transcript 讀出實際模型 id 比對該階段必要標籤（`$JSC_HOME/model-tags.tsv`），不符就拒絕上鎖；`check` 在模型不符時以 exit 2 擋下該輪提示（其他 hook 一律 exit 0，此處是刻意例外）；`unlock` 為逃生門。另含工作包 PR 閘門：`wp-lock {owner}/{repo} {index} [{工作包代號}]` 記下一筆未結清的工作包 PR、`wp-unlock {owner}/{repo} {index}` 結清那一筆（檔案不存在也算成功）、`wp-claim {owner}/{repo} {工作包代號} [{PR 編號}] [{分析頁頁名}]` 記下這個存取庫目前領取哪一包、`wp-unclaim {owner}/{repo}` 交回、`wp-report` 印出所有未結清、`wp-check {prompt｜skill}` 為 hook 模式。狀態檔一個工作包一支，在 `$JSC_HOME/wp/{owner}-{repo}-{index}.pr`，**刻意不綁 session**——PR 沒合併時換一個工作階段照樣要擋；一個工作包一支鎖檔是為了讓好幾個互不相依的工作包能同時記在案，不會互相覆蓋掉對方的鎖。`wp-check prompt` 只注入提醒、絕不擋提示（擋了連「去修那支 PR」的對話都送不出去）；`wp-check skill` 在有未結清 PR 時以 exit 2 擋下 `plan`、`analyze`、`maintain`，但一律放行 `implement`（結清 PR 正是 implement 的步驟，擋它會鎖死流程）——這一層是整個存取庫共用的粗粒度提醒，「某個候選工作包能不能挑」的細粒度判斷在 `jsc-sdlc/tools/wp-gate.sh check-deps`，不是這裡。另外會比對歸屬：未結清的 PR 不屬於目前領取的工作包時，`prompt` 多注入一行「那幾支交給領取它的工作階段」，`skill` 在擋下 `plan`、`analyze`、`maintain` 時一併點名，`implement` 仍放行但收到同一則提醒。逃生門 `JSC_WP_GATE=off`。這道閘門只讀檔案、不打網路，PR 的真實合併狀態由 `jsc-sdlc/tools/wp-gate.sh` 查證 |
+| `hooks/sdlc-gate.sh` | UserPromptSubmit、PreToolUse(Skill) | SDLC 階段能力標籤閘門與模型鎖：`lock {stage}` 由 jsc-sdlc 階段技能呼叫，從可驗證來源讀出模型 id，比對該階段必要標籤（`$JSC_HOME/model-tags.tsv`），不符就拒絕上鎖；來源優先序為 transcript、hook stdin JSON、Codex 本機 session 記錄，最後才接受 `JSC_MODEL` 人工覆寫，且回報會標明人工覆寫；`check` 在模型不符時以 exit 2 擋下該輪提示（其他 hook 一律 exit 0，此處是刻意例外）；`report` 印出階段、必要標籤、模型 id、模型來源與判定結果；`unlock` 為逃生門。另含工作包 PR 閘門：`wp-lock {owner}/{repo} {index} [{工作包代號}]` 記下一筆未結清的工作包 PR、`wp-unlock {owner}/{repo} {index}` 結清那一筆（檔案不存在也算成功）、`wp-claim {owner}/{repo} {工作包代號} [{PR 編號}] [{分析頁頁名}]` 記下這個存取庫目前領取哪一包、`wp-unclaim {owner}/{repo}` 交回、`wp-report` 印出所有未結清、`wp-check {prompt｜skill}` 為 hook 模式。狀態檔一個工作包一支，在 `$JSC_HOME/wp/{owner}-{repo}-{index}.pr`，**刻意不綁 session**——PR 沒合併時換一個工作階段照樣要擋；一個工作包一支鎖檔是為了讓好幾個互不相依的工作包能同時記在案，不會互相覆蓋掉對方的鎖。`wp-check prompt` 只注入提醒、絕不擋提示（擋了連「去修那支 PR」的對話都送不出去）；`wp-check skill` 在有未結清 PR 時以 exit 2 擋下 `plan`、`analyze`、`maintain`，但一律放行 `implement`（結清 PR 正是 implement 的步驟，擋它會鎖死流程）——這一層是整個存取庫共用的粗粒度提醒，「某個候選工作包能不能挑」的細粒度判斷在 `jsc-sdlc/tools/wp-gate.sh check-deps`，不是這裡。另外會比對歸屬：未結清的 PR 不屬於目前領取的工作包時，`prompt` 多注入一行「那幾支交給領取它的工作階段」，`skill` 在擋下 `plan`、`analyze`、`maintain` 時一併點名，`implement` 仍放行但收到同一則提醒。逃生門 `JSC_WP_GATE=off`。這道閘門只讀檔案、不打網路，PR 的真實合併狀態由 `jsc-sdlc/tools/wp-gate.sh` 查證 |
 
 Claude 由 `hooks/hooks.json` 自動接線八支 hook；其他 CLI 用 `hooks-install` 技能接線、改裝包裝啟動器，或降級為規則檔。寫進使用者設定的長期命令一律指向 `$JSC_HOME/current/jsc-hooks`，不指向帶版號的 plugin 快取目錄，也不指向開發存取庫。
 
@@ -160,7 +160,7 @@ Claude 由 `hooks/hooks.json` 自動接線八支 hook；其他 CLI 用 `hooks-in
 | `JSC_LANG_GUARD` | 設 `off` 完全略過繁中與編碼檢查（`lang-guard.sh` 三種模式都直接結束） | 啟用檢查 |
 | `JSC_CHANGED_FILE` | 非 Claude CLI 要掃描的檔案路徑，代替 stdin JSON 的 `file_path`，供 `comment-scope.sh` 與 `lang-guard.sh` 使用 | 安靜降級，不掃描 |
 | `JSC_CLI` / `JSC_SESSION_ID` / `JSC_SKILL` / `JSC_TOOL_NAME` | 非 Claude CLI 接線時由 `tools/jsc-wrap.sh` 或接線設定提供，代替 stdin JSON 的 `session_id`、`skill`、`tool_name`（`version-guard.sh` 也收沒有前綴的 `SKILL`、`TOOL_NAME`） | 安靜降級 |
-| `JSC_MODEL` | 非 Claude CLI 的目前模型，供 `sdlc-gate.sh` 比對；優先序在 transcript 實際值與 stdin `model` 之後 | 改讀 `~/.claude/settings.json`，再不行就安靜降級 |
+| `JSC_MODEL` | `sdlc-gate.sh` 找不到 transcript、hook stdin JSON 與 Codex 本機 session 記錄時的人工覆寫模型 id；回報會標明 `人工覆寫:JSC_MODEL` | 找不到可驗證模型來源時拒絕 `lock`，並列出已檢查來源與修復建議 |
 
 ## 相關 domain
 

hooks/lib.sh

@@ -30,20 +30,99 @@ session_id() {
   printf '%s' "$sid"
 }
 
-# 目前實際使用的模型 id：讀 transcript 最後一筆帶 model 的訊息。
-# 這是 shell 唯一能「驗證」的模型來源——模型自我回報無法驗證，等同沒有閘門。
-# 取不到（無 transcript_path、檔案不存在、尚無 assistant 訊息）時不輸出，由呼叫端決定如何降級。
-transcript_model() {
-  tp=$(json_str transcript_path)
-  [ -n "$tp" ] && [ -f "$tp" ] || return 0
-  # 只掃尾端若干行即可命中最近一輪；`<...>` 這類佔位模型名（例如 <synthetic>）排除。
-  tail -n 500 "$tp" 2>/dev/null \
-    | grep -o '"model":"[^"]*"' \
-    | sed 's/^"model":"//; s/"$//' \
+MODEL_SOURCE_CHECKS=""
+
+model_checked() {
+  MODEL_SOURCE_CHECKS="${MODEL_SOURCE_CHECKS:+$MODEL_SOURCE_CHECKS；}$1"
+}
+
+model_clean() {
+  printf '%s' "$1" | tr -d '\r' | sed 's/^[[:space:]]*//; s/[[:space:]]*$//'
+}
+
+json_model_value() {
+  printf '%s' "$1" \
+    | grep -o '"\(model\|model_id\|model_slug\|modelName\|current_model\|currentModel\)"[[:space:]]*:[[:space:]]*"[^"]*"' \
+    | sed 's/^"[^"]*"[[:space:]]*:[[:space:]]*"//; s/"$//' \
     | grep -v '^<' \
     | tail -n 1
 }
 
+model_from_file() { # $1=檔案
+  [ -f "$1" ] && [ -r "$1" ] || return 1
+  json_model_value "$(tail -n 1000 "$1" 2>/dev/null)" | tail -n 1
+}
+
+# transcript 是首選。它是 CLI 寫下的執行紀錄，不採用對話裡模型自己的宣稱。
+transcript_model() {
+  tp=$(json_str transcript_path)
+  [ -n "$tp" ] || tp="${JSC_TRANSCRIPT_PATH:-}"
+  [ -n "$tp" ] && [ -f "$tp" ] || return 0
+  model_from_file "$tp"
+}
+
+codex_session_file() { # $1=CODEX_HOME $2=session id
+  ch="$1"; sid="$2"
+  [ -d "$ch/sessions" ] || return 1
+  if [ -n "$sid" ] && [ "$sid" != default ]; then
+    find "$ch/sessions" -type f -name "*$sid*.jsonl" 2>/dev/null | sort | tail -n 1
+    return 0
+  fi
+  files=$(find "$ch/sessions" -type f -name '*.jsonl' 2>/dev/null)
+  [ -n "$files" ] || return 1
+  printf '%s\n' "$files" | xargs ls -t 2>/dev/null | head -n 1
+}
+
+codex_model() {
+  ch="${CODEX_HOME:-$HOME/.codex}"
+  [ -d "$ch" ] || return 1
+
+  sf=$(codex_session_file "$ch" "$(session_id)" 2>/dev/null || true)
+  if [ -n "$sf" ]; then
+    m=$(model_from_file "$sf" 2>/dev/null || true)
+    [ -n "$m" ] && { printf '%s\t%s\n' "$m" "codex-session:$sf"; return 0; }
+  fi
+
+  for f in "$ch/history.jsonl" "$ch/session_index.jsonl"; do
+    [ -f "$f" ] || continue
+    m=$(model_from_file "$f" 2>/dev/null || true)
+    [ -n "$m" ] && { printf '%s\t%s\n' "$m" "codex-jsonl:$f"; return 0; }
+  done
+  return 1
+}
+
+current_model_report() {
+  MODEL_SOURCE_CHECKS=""
+
+  tp=$(json_str transcript_path)
+  [ -n "$tp" ] || tp="${JSC_TRANSCRIPT_PATH:-}"
+  model_checked "transcript_path:${tp:-未提供}"
+  if [ -n "$tp" ] && [ -f "$tp" ]; then
+    m=$(transcript_model)
+    [ -n "$m" ] && { printf '%s\t%s\t%s\n' "$(model_clean "$m")" "transcript:$tp" "$MODEL_SOURCE_CHECKS"; return 0; }
+  fi
+
+  model_checked "hook-stdin:model/model_id/model_slug/modelName/current_model/currentModel"
+  m=$(json_model_value "$STDIN_JSON")
+  [ -n "$m" ] && { printf '%s\t%s\t%s\n' "$(model_clean "$m")" "hook-stdin" "$MODEL_SOURCE_CHECKS"; return 0; }
+
+  model_checked "codex:${CODEX_HOME:-$HOME/.codex}、~/.codex/sessions、history.jsonl、session_index.jsonl"
+  cm=$(codex_model 2>/dev/null || true)
+  if [ -n "$cm" ]; then
+    m=$(printf '%s' "$cm" | cut -f1)
+    src=$(printf '%s' "$cm" | cut -f2)
+    [ -n "$m" ] && { printf '%s\t%s\t%s\n' "$(model_clean "$m")" "$src" "$MODEL_SOURCE_CHECKS"; return 0; }
+  fi
+
+  model_checked "JSC_MODEL"
+  if [ -n "${JSC_MODEL:-}" ]; then
+    printf '%s\t%s\t%s\n' "$(model_clean "$JSC_MODEL")" "人工覆寫:JSC_MODEL" "$MODEL_SOURCE_CHECKS"
+    return 0
+  fi
+
+  printf '\t\t%s\n' "$MODEL_SOURCE_CHECKS"
+}
+
 # 目前 CLI 名稱：環境變數 > 依 stdin 特徵猜測 > unknown
 cli_name() {
   if [ -n "${JSC_CLI:-}" ]; then printf '%s' "$JSC_CLI"

hooks/sdlc-gate.sh

@@ -3,19 +3,20 @@
 #
 # 判準是階段的「能力標籤」，不是模型名稱：
 #   - 標籤資料讀 $JSC_HOME/model-tags.tsv，由 jsc-cli/tools/model-tags.sh sync 產生。
-#   - 目前模型 id 取自 transcript 記錄的實際值（lib.sh 的 transcript_model），
-#     不採用模型自我回報——自我回報無法驗證，等同沒有閘門。
+#   - 目前模型 id 取自可驗證紀錄。優先讀 transcript，其次讀 hook stdin JSON 與 Codex 本機
+#     session 記錄。只有這些來源都失敗時，才接受 JSC_MODEL 這個人工覆寫。
+#   - 不採用對話內容裡模型自稱的 id。自我回報無法驗證，等同沒有閘門。
 #   - 鎖存的是「階段的必要標籤」，不是「上鎖那一刻的模型」。鎖當時的模型只留作記錄，
 #     否則用不合格的模型起跑就會把自己鎖成合格，閘門永遠通過。
 #
-# 狀態檔：$JSC_HOME/sessions/{sid}.stage，單行「{stage}<TAB>{必要標籤}<TAB>{上鎖時的模型}」。
+# 狀態檔：$JSC_HOME/sessions/{sid}.stage，單行「{stage}<TAB>{必要標籤}<TAB>{上鎖時的模型}<TAB>{模型來源}」。
 #
 # 用法：
 #   sdlc-gate.sh lock {stage}  階段閘門：比對實際模型與該階段必要標籤，通過才上鎖。
 #                              exit 0 = 通過並已上鎖；exit 1 = 未通過，呼叫端必須停止流程。
 #   sdlc-gate.sh unlock        移除狀態檔（被擋住又確定要放行時的逃生門）。
 #   sdlc-gate.sh check         hook 模式（UserPromptSubmit）：模型不符即擋下該輪提示。
-#   sdlc-gate.sh report        印出 {sid} {stage} {必要標籤} {上鎖時的模型}；無鎖不印。
+#   sdlc-gate.sh report        印出 {sid} {stage} {必要標籤} {模型 id} {模型來源} {判定}；無鎖不印。
 #
 #   sdlc-gate.sh wp-lock {owner}/{repo} {index} [{工作包代號}]
 #                              記下一筆未結清的工作包 PR；第四個參數是這支 PR 做的是哪一包，
@@ -136,17 +137,22 @@ eligible_models() { # $1=必要標籤
   ' "$TAGS_TSV"
 }
 
-# 目前模型：transcript 實際值 > stdin JSON model > JSC_MODEL > ~/.claude/settings.json。
-# transcript 排最前面，因為那是唯一可驗證的實際值，其餘都只是宣告值。
-current_model() {
-  m=$(transcript_model)
-  [ -n "$m" ] || m=$(json_str model)
-  [ -n "$m" ] || m="${JSC_MODEL:-}"
-  if [ -z "$m" ] && { [ -z "${JSC_CLI:-}" ] || [ "${JSC_CLI:-}" = "claude" ]; }; then
-    m=$(tr -d '\n' < "$HOME/.claude/settings.json" 2>/dev/null \
-      | sed -n 's/.*"model"[[:space:]]*:[[:space:]]*"\([^"]*\)".*/\1/p' | head -n1)
-  fi
-  printf '%s' "$m"
+model_info() {
+  current_model_report
+}
+
+model_verdict() { # $1=stage $2=req $3=model
+  stage="$1"; req="$2"; cur="$3"
+  [ -n "$cur" ] || { printf 'unknown-model'; return 0; }
+  [ "$req" = "any" ] && { printf 'pass'; return 0; }
+  have=$(model_tags "$cur")
+  [ -n "$have" ] || { printf 'unknown-model'; return 0; }
+  miss=$(missing_tags "$req" "$have")
+  [ -z "$miss" ] && printf 'pass' || printf 'fail:%s' "$miss"
+}
+
+model_fail_message() { # $1=stage $2=checked
+  echo "[jsc][SDLC 閘門][ERR]：判定不出目前實際使用的模型，無法驗證是否符合階段「$1」。已檢查來源：${2:-無}。請確認 hook stdin 帶有 transcript_path 或 model 欄位、Codex session 記錄可讀，或明確設定 JSC_MODEL 作為人工覆寫後重跑。本次不進行任何工作。" >&2
 }
 
 # --- 工作包 PR 閘門（狀態檔：$JSC_HOME/wp/{owner}-{repo}-{index}.pr，一個工作包一支） ---
@@ -249,9 +255,12 @@ case "${1:-check}" in
       exit 1
     fi
 
-    cur=$(current_model)
+    info=$(model_info)
+    cur=$(printf '%s' "$info" | cut -f1)
+    src=$(printf '%s' "$info" | cut -f2)
+    checked=$(printf '%s' "$info" | cut -f3-)
     if [ -z "$cur" ]; then
-      echo "[jsc][SDLC 閘門][ERR]：判定不出目前實際使用的模型，無法驗證是否符合階段「$stage」。請確認 transcript 可讀，或設定 JSC_MODEL 後重跑，本次不進行任何工作。" >&2
+      model_fail_message "$stage" "$checked"
       exit 1
     fi
 
@@ -269,9 +278,9 @@ case "${1:-check}" in
       fi
     fi
 
-    printf '%s\t%s\t%s\n' "$stage" "$req" "$cur" > "$state" 2>/dev/null || {
+    printf '%s\t%s\t%s\t%s\n' "$stage" "$req" "$cur" "$src" > "$state" 2>/dev/null || {
       echo "[jsc][SDLC 閘門][ERR]：寫不進狀態檔 $state，階段鎖未生效。" >&2; exit 1; }
-    echo "[jsc][SDLC 閘門][OK]：階段「$stage」通過（需要 $req，目前模型 $cur），已上鎖。"
+    echo "[jsc][SDLC 閘門][OK]：階段「$stage」通過（需要 $req，目前模型 $cur，來源 $src），已上鎖。"
     exit 0 ;;
 
   unlock)
@@ -286,16 +295,19 @@ case "${1:-check}" in
     [ -n "$stage" ] && [ -n "$req" ] && [ "$stage" != "$req" ] || exit 0
     [ "$req" = "any" ] && exit 0
 
-    cur=$(current_model)
+    info=$(model_info)
+    cur=$(printf '%s' "$info" | cut -f1)
+    src=$(printf '%s' "$info" | cut -f2)
+    checked=$(printf '%s' "$info" | cut -f3-)
     # 判定不出模型時只提醒，不擋——否則使用者會被鎖在無法送出提示的狀態。
     if [ -z "$cur" ]; then
-      echo "[jsc] SDLC 階段「${stage}」需要標籤「${req}」，但判定不出目前模型。請自行確認模型是否合格。"
+      echo "[jsc] SDLC 階段「${stage}」需要標籤「${req}」，但判定不出目前模型。已檢查來源：${checked:-無}。請確認 transcript、Codex session 記錄，或設定 JSC_MODEL 人工覆寫。"
       exit 0
     fi
 
     have=$(model_tags "$cur")
     if [ -z "$have" ]; then
-      echo "[jsc][SDLC 閘門][ERR]：模型「${cur}」不在能力標籤表上，無法確認是否夠格跑階段「${stage}」（需要 ${req}）。請補進 jsc-cli/references/model-tags.md 並執行 model-tags.sh sync；確定要放行請執行 jsc-hooks/hooks/sdlc-gate.sh unlock。本輪提示已擋下。" >&2
+      echo "[jsc][SDLC 閘門][ERR]：模型「${cur}」（來源 ${src:-未知}）不在能力標籤表上，無法確認是否夠格跑階段「${stage}」（需要 ${req}）。請補進 jsc-cli/references/model-tags.md 並執行 model-tags.sh sync；確定要放行請執行 jsc-hooks/hooks/sdlc-gate.sh unlock。本輪提示已擋下。" >&2
       exit 2
     fi
 
@@ -303,13 +315,22 @@ case "${1:-check}" in
     [ -z "$miss" ] && exit 0
 
     ok=$(eligible_models "$req")
-    echo "[jsc][SDLC 閘門][ERR]：SDLC 階段「${stage}」需要標籤「${req}」，目前模型「${cur}」缺少「${miss}」。請切換到下列任一模型後重送：${ok:-（表上無合格模型，請補表）}。要結束本階段的鎖請執行 jsc-hooks/hooks/sdlc-gate.sh unlock。本輪提示已擋下。" >&2
+    echo "[jsc][SDLC 閘門][ERR]：SDLC 階段「${stage}」需要標籤「${req}」，目前模型「${cur}」（來源 ${src:-未知}）缺少「${miss}」。請切換到下列任一模型後重送：${ok:-（表上無合格模型，請補表）}。要結束本階段的鎖請執行 jsc-hooks/hooks/sdlc-gate.sh unlock。本輪提示已擋下。" >&2
     exit 2 ;;
 
   report)
     if [ -f "$state" ]; then
-      line=$(sed -n '1p' "$state" 2>/dev/null | tr '\t' ' ')
-      [ -n "$line" ] && echo "$sid $line"
+      stage=$(cut -f1 "$state" 2>/dev/null | head -n1)
+      req=$(cut -f2 "$state" 2>/dev/null | head -n1)
+      locked_model=$(cut -f3 "$state" 2>/dev/null | head -n1)
+      locked_source=$(cut -f4 "$state" 2>/dev/null | head -n1)
+      info=$(model_info)
+      cur=$(printf '%s' "$info" | cut -f1)
+      src=$(printf '%s' "$info" | cut -f2)
+      [ -n "$cur" ] || cur="$locked_model"
+      [ -n "$src" ] || src="$locked_source"
+      verdict=$(model_verdict "$stage" "$req" "$cur")
+      [ -n "$stage" ] && echo "$sid $stage $req ${cur:-未知} ${src:-未知} $verdict"
     fi
     exit 0 ;;
 

tools/wire-cli.sh

@@ -760,6 +760,46 @@ if [ "$action" = smoke ]; then
   smoke_one sdlc-gate.sh "wp-check prompt"
   smoke_one sdlc-gate.sh "wp-check skill"
 
+  smoke_model_case() { # $1=情境 $2=來源模式 $3=預期來源片段
+    _name="$1"; _mode="$2"; _want="$3"
+    _home=$(mktemp -d 2>/dev/null) || {
+      smoke_fails=$((smoke_fails + 1))
+      printf '[jsc] sdlc-gate.sh model：建不出暫存目錄，模型來源判定沒驗到。\n' >> "$smoke_out"
+      return
+    }
+    mkdir -p "$_home/sessions" "$_home/codex/sessions/2026/08/28" 2>/dev/null
+    printf 'stage\tplan\treasoning-max\nmodel\tgpt-5.x\treasoning-max,reasoning-high,coding\nmodel\tgpt-5.x-mini\tcoding,fast,cheap\n' > "$_home/model-tags.tsv"
+    _tp="$_home/transcript.jsonl"
+    _cf="$_home/codex/sessions/2026/08/28/rollout-2026-08-28T00-00-00-smoke-model.jsonl"
+    printf '{"type":"assistant","model":"gpt-5.x"}\n' > "$_tp"
+    printf '{"type":"turn_context","payload":{"model":"gpt-5.x"}}\n' > "$_cf"
+    case "$_mode" in
+      transcript) _json='{"transcript_path":"'"$_tp"'","session_id":"smoke-model"}'; _env="" ;;
+      codex) _json='{"session_id":"smoke-model"}'; _env="" ;;
+      stdin) _json='{"model":"gpt-5.x","session_id":"smoke-model-stdin"}'; _env="" ;;
+      override) _json='{"session_id":"smoke-model-override"}'; _env="JSC_MODEL=gpt-5.x" ;;
+    esac
+    if [ "$_mode" = override ]; then
+      _out=$(printf '%s' "$_json" | JSC_HOME="$_home" CODEX_HOME="$_home/codex" JSC_CLI="$cli" JSC_MODEL="gpt-5.x" sh "$HOOKS/sdlc-gate.sh" lock plan 2>&1); _rc=$?
+    else
+      _out=$(printf '%s' "$_json" | JSC_HOME="$_home" CODEX_HOME="$_home/codex" JSC_CLI="$cli" sh "$HOOKS/sdlc-gate.sh" lock plan 2>&1); _rc=$?
+    fi
+    _rep=$(JSC_HOME="$_home" CODEX_HOME="$_home/codex" JSC_CLI="$cli" \
+      sh "$HOOKS/sdlc-gate.sh" report </dev/null 2>/dev/null)
+    if [ "$_rc" -eq 0 ] && printf '%s\n%s' "$_out" "$_rep" | grep -qF "$_want"; then
+      printf '[jsc] sdlc-gate.sh model（%s）：exit 0，來源含 %s，與預期相同。\n' "$_name" "$_want" >> "$smoke_out"
+    else
+      smoke_fails=$((smoke_fails + 1))
+      printf '[jsc] sdlc-gate.sh model（%s）：exit %s，來源未命中 %s，輸出：%s\n' \
+        "$_name" "$_rc" "$_want" "$(printf '%s %s' "$_out" "$_rep" | tr '\n' ' ' | cut -c1-200)" >> "$smoke_out"
+    fi
+    rm -rf "$_home"
+  }
+  smoke_model_case "transcript 實查" transcript "transcript:"
+  smoke_model_case "Codex session 記錄" codex "codex-session:"
+  smoke_model_case "stdin model 欄位" stdin "hook-stdin"
+  smoke_model_case "JSC_MODEL 人工覆寫" override "人工覆寫:JSC_MODEL"
+
   # 工作包歸屬判定（wp-check 的第二段）：上面兩支清空技能名，只走得到「沒有未結清 PR」與
   # 「取不到技能名」兩條捷徑，歸屬比對整段都沒跑到。這裡自備一份暫時的 $JSC_HOME 狀態檔，
   # 把每條判定路徑各跑一次，驗的是判定結果本身，不只是腳本跑得完。用暫時目錄是為了不動到