pi-multi-viewers 0.2.2 → 0.4.0

package/scripts/mv.sh

@@ -1,364 +1,17 @@
 #!/usr/bin/env bash
 #
-# pi-multi-viewers wrapper——多视角协同分析（fork 主 session + meeting 协议）
+# mv.sh —— 多视角协同分析的**稳定入口**（shim）。
 #
-# 用法：
-#   ./scripts/mv.sh --prepare "<主题>" [--agents "a,b,c"|4]
-#   ./scripts/mv.sh --start <spec目录>   # 可选 --fork-mode compaction|budget|full
-#   ./scripts/mv.sh --status <dir>
-#   ./scripts/mv.sh --report <dir>
-#   ./scripts/mv.sh --wait <dir>
-#   ./scripts/mv.sh --cleanup <dir>
-#   ./scripts/mv.sh --view <dir> [--since <ref>]     # human-viewer 封装
-#   ./scripts/mv.sh --say <dir> "<文本>"              # human-sayer 封装
+# 逻辑在 mv_cli.py（见该文件首注释：为什么这层从 364 行 bash 收敛为 Python——
+# bash 陷阱产出的真实 bug 与"零行覆盖"的盲区）。本文件只做一件事：找到仓库
+# 根、把展示名（$0 语义）与参数交给 mv_cli.py。
+#
+# **路径不能变**：prompt / README / 用户习惯都引用 scripts/mv.sh。
 set -u
-
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 ROOT_DIR="$(dirname "$SCRIPT_DIR")"
-PYTHON="${PYTHON:-python3}"
-START_DISCUSSION="$ROOT_DIR/start_discussion.py"
-OBSERVABILITY="$ROOT_DIR/observability.py"
-HUMAN_VIEWER="$ROOT_DIR/human_viewer.py"
-HUMAN_SAYER="$ROOT_DIR/human_sayer.py"
-
-
-usage() {
-    cat <<'USAGE_EOF'
-用法:
-  $0 --prepare "<问题>" [--background "<背景>"] [--agents "a,b,c"|4]
-  $0 --start <spec目录> [--fork-mode compaction|budget|full]
-  $0 --status  [dir]
-  $0 --report  [dir]
-  $0 --wait    [dir]
-  $0 --cleanup [dir]
-  $0 --view    [dir] [--since <ref>]
-  $0 --say     [dir] "<文本>"
-
-消费命令的 <dir> 可省略（自动发现本 session 当前分析——按 cwd 下
-mv-<PI_SESSION_ID>-* 最新；找不到则取最新 mv-* 并警告）
-
-默认参数:
-  agents=a,b,c  max-meeting=10  max-rr=7   # 配额默认值的权威在 python argparse（wrapper 不传）
-
---agents: 逗号分隔名称列表（如 "x,y"）或纯数字（如 4 → 生成 a..d）；
-          human 是保留名，不能作为参与者
-
-human 通道:
-  --view: 增量查看分析进展（--since 之后的新消息+状态；末尾输出 HEAD=<hash>，主 pi 记录作下轮 --since）
-  --say:  插话（写一条 human 消息，agents 可见并可回应）
-USAGE_EOF
-}
-
-fail() {
-    echo "错误: $*" >&2
-    exit 1
-}
-
-
-
-require_dir() {
-    local dir="$1"
-    [ -n "$dir" ] || fail "缺少目录参数"
-    [ -d "$dir" ] || fail "目录不存在: $dir"
-}
-
-# 目录解析：显式参数优先；**省略则自动发现**（python observability
-# --find-dir——单一实现，extension 同一入口）。为什么允许省略：唯一知道
-# 路径的是 --start 的输出，此前消费命令都要求把它传给每个命令，等于让
-# 调用方（主 pi）把长绝对路径记在 LLM 上下文里再复用——改错/截断/相对
-# 路径都出过（参数形态标准化就是为此）。发现逻辑下沉后路径不经 LLM 记忆。
-# **调用方必须 `|| exit $?`**：本函数的 exit 发生在命令替换的子 shell 里，
-# 不检查返回值会让空结果继续往下走（表现为双重错误消息：python 的原因 +
-# require_dir 的"缺少目录参数"——实测踩到）。
-resolve_dir() {
-    local dir="${1:-}"
-    if [ -z "$dir" ]; then
-        # 省略 = 自动发现；**失败原因由 python 给出**（错误文案留一处——
-        # e2e16 F7：两条文案没有信息增益，只用工具层那条更贴近原因）。
-        dir="$("$PYTHON" "$OBSERVABILITY" --find-dir)" || exit 1
-    fi
-    normalize_dir "$dir"
-}
-
-# 目录参数规范化：裸名（无路径符）会被 start_discussion 加 discussion-
-# 前缀导致找错目录（实测 2026-09-03）——所有消费命令入口统一转绝对路径
-normalize_dir() {
-    readlink -f "$1"
-}
-
-cmd_status() {
-    local dir
-    dir="$(resolve_dir "${1:-}")" || exit $?
-    require_dir "$dir"
-    "$PYTHON" "$START_DISCUSSION" --dir "$dir" --status
-}
-
-cmd_report() {
-    local dir
-    dir="$(resolve_dir "${1:-}")" || exit $?
-    require_dir "$dir"
-    "$PYTHON" "$START_DISCUSSION" --dir "$dir" --report
-}
-
-cmd_wait() {
-    local dir
-    dir="$(resolve_dir "${1:-}")" || exit $?
-    require_dir "$dir"
-    "$PYTHON" "$START_DISCUSSION" --dir "$dir" --wait
-}
-
-cmd_cleanup() {
-    local dir
-    dir="$(resolve_dir "${1:-}")" || exit $?
-    require_dir "$dir"
-    "$PYTHON" "$START_DISCUSSION" --dir "$dir" --cleanup
-}
-
-cmd_view() {
-    local dir since=""
-    # 首参：非空且非 --since → 显式目录（**F5 回归修复**：此前无条件 shift
-    # 后总走自动发现，显式目录被静默丢弃——多分析并存/跨目录调用会看错对象）。
-    # 判据与 status/report/wait/cleanup 的 `resolve_dir "${1:-}"` 一致。
-    # 注意与 --say 的区别：--say 按**参数个数**区分（文本可含空格/以 -- 开头，
-    # 不能按值判形）；--view 的 --since 是本命令自己的选项名，可以判形。
-    if [ -n "${1:-}" ] && [ "${1:-}" != "--since" ]; then
-        dir="$(resolve_dir "$1")" || exit $?
-        shift
-    else
-        dir="$(resolve_dir "")" || exit $?
-    fi
-    while [ "$#" -gt 0 ]; do
-        case "$1" in
-            --since)
-                [ "$#" -ge 2 ] || fail "--since 需要一个值"
-                since="$2"
-                shift 2
-                ;;
-            *)
-                fail "未知参数: $1（--view 只接受 --since）"
-                ;;
-        esac
-    done
-    require_dir "$dir"
-    [ -d "$dir/repo.git" ] || fail "分析不存在: $dir（无 repo.git）"
-    if [ -n "$since" ]; then
-        "$PYTHON" "$HUMAN_VIEWER" "$dir" --since "$since"
-    else
-        "$PYTHON" "$HUMAN_VIEWER" "$dir"
-    fi
-    # HEAD 游标（主 pi 记录作下轮 --since；无状态，不写游标文件——
-    # 与 --follow 的 .viewer-cursor 互不干扰）
-    echo "HEAD=$(git -C "$dir/repo.git" rev-parse HEAD)"
-}
-
-cmd_say() {
-    # 两种形态（**按参数个数区分，不是按值猜语义**）：
-    #   --say <dir> "<文本>"   显式目录（兼容原有调用）
-    #   --say "<文本>"         目录自动发现（本 session 当前分析）
-    local dir text
-    if [ "$#" -ge 2 ]; then
-        dir="$(resolve_dir "$1")" || exit $?
-        text="$2"
-    else
-        dir="$(resolve_dir "")" || exit $?
-        text="${1:-}"
-    fi
-    require_dir "$dir"
-    [ -d "$dir/work-human" ] || fail "分析缺少 work-human: $dir"
-    [ -n "$text" ] || fail "插话文本不能为空"
-    "$PYTHON" "$HUMAN_SAYER" "$dir" "$text"
-}
-
-# 定位主 pi 的 session 文件：优先 PI_SESSION_FILE，否则用当前 cwd 编码路径查找
-# 读取主 pi 的 model/thinking（用户 2026-08-31：aft 不再替换 bash 后
-# 环境变量可用且是当前生效值——优先环境变量，session 文件解析仅为兜底）
-cmd_prepare() {
-    local topic="" background="" agents_list=""
-    if [ "$#" -lt 1 ]; then
-        usage >&2
-        exit 2
-    fi
-    topic="$1"
-    shift
-    while [ "$#" -gt 0 ]; do
-        case "$1" in
-            --background)
-                [ "$#" -ge 2 ] || fail "--background 需要一个值"
-                background="$2"
-                shift 2
-                ;;
-            --agents)
-                [ "$#" -ge 2 ] || fail "--agents 需要一个值（逗号分隔名称列表或数字）"
-                agents_list="$2"
-                shift 2
-                ;;
-            -h|--help)
-                usage
-                exit 0
-                ;;
-            *)
-                fail "未知参数: $1（--prepare 只接受 <问题>、--background、--agents）"
-                ;;
-        esac
-    done
-    [ -n "$topic" ] || fail "问题不能为空"
-
-    # agents 解析（数字展开/human/名字校验）全部收归 python
-    # _parse_agents（2026-09-09 结构收敛：bash = 调度与展示）
-    # viewers 模式（无 --agents）：校验 + 快照已全部移入 python
-    # _snapshot_viewers（铁律 1 职责边界；用户 2026-09-09：不合规根本
-    # 不应该开始 spec-gen，校验在骨架生成之前失败）
-    local snapshot_mode=0
-    [ -z "$agents_list" ] && snapshot_mode=1
-
-    local stamp
-    stamp="$(date +%Y%m%d-%H%M%S)"
-    local spec_dir="$PWD/mv-spec-${stamp}"
-    # （目录不预创建——python 校验失败 = 零产物：预创建会让"不合规
-    # 零产物"失效，实测 2026-09-09；成功时 gen_spec_skeleton 自建）
-
-    # 骨架生成 = start_discussion --spec-gen（唯一实现）：agents/ 三态
-    # （显式占位骨架 / viewers 校验+快照 / 无）全部在 python 侧，bash
-    # 与 CLI 直用产出一致；viewers 校验失败时 python 退出非 0（不合规
-    # 根本不应该开始 spec-gen）
-    local skeleton_args=(--spec-gen "$spec_dir" --topic "$topic")
-    [ -n "$background" ] && skeleton_args+=(--background "$background")
-    if [ "$snapshot_mode" -eq 0 ]; then
-        skeleton_args+=(--agents "$agents_list")
-    fi
-    "$PYTHON" "$START_DISCUSSION" "${skeleton_args[@]}" || {
-        fail "spec 骨架生成失败（start_discussion --spec-gen，见上方错误）"
-    }
-
-    cat <<OUTPUT_EOF
-已生成分析 spec:
-  $spec_dir
-
-请查看/编辑该目录，补充背景、各 agent 视角等。
-编辑完成后，告诉我"继续"，我会自动启动分析。
-OUTPUT_EOF
-}
-
-cmd_start() {
-    local spec_dir="$1"
-    shift                      # 余参 = 透传给 python 的选项（如 --fork-mode X）
-    require_dir "$spec_dir"
-    [ -f "$spec_dir/question.md" ] || fail "spec 缺少 question.md: $spec_dir"
-
-    local session_id="${PI_SESSION_ID:-}"
-    local stamp
-    stamp="$(date +%Y%m%d-%H%M%S)"
-    # 目录前缀 mv-：与 pi-agents-helper 的 discuss-<sid>-* **命名空间隔离**
-    # ——两个系统的 extension 都按"同 sid 最新目录"发现目标，共用前缀会
-    # 在同 session 并发两套时互相插错（且 human 消息格式兼容 → 静默写错）。
-    # 前缀也是产品语言的统一（本项目用"分析"，不再沿用"discuss"）。
-    local dir_name="mv"
-    if [ -n "$session_id" ]; then
-        dir_name="${dir_name}-${session_id}"
-    fi
-    dir_name="${dir_name}-${stamp}"
-    local dir_path="$PWD/$dir_name"
-
-    # fork 源解析已收归 python（resolve_fork_source：env + sessions 编码
-    # glob，2026-09-09 结构收敛；解析失败 python 内部报错退出）
-    # 第 1 步：创建分析环境（不启动；fork 源自动解析）
-    # 配额（max-meeting/max-rr）是环境属性：唯一默认在 python argparse
-    # （10/7），创建时固化 protocol.json——wrapper 不传（W1 双源分叉修复：
-    # 此前 wrapper 5 与 python 7 不一致，两条入口 RR 上限差 40%）
-    # 余参哑转发（P0，e2e10 评审：wrapper 不得静默丢弃参数——值识别/默认值
-    # 的唯一家在 python；本层只转发）
-    if ! "$PYTHON" "$START_DISCUSSION" --dir "$dir_path" --spec "$spec_dir" "$@"; then
-        fail "环境创建失败，请查看上方输出"
-    fi
-
-    # spec 已被消费：只删**本工具生成的形态**（mv-spec-*）——用户自建的
-    # spec 目录不动（可能是有价值的视角快照）。删除前提示一行（此前静默
-    # 删除：spec 是视角任务书/背景/models 在用户侧的唯一副本，删了不可恢复）
-    case "$(basename "$spec_dir")" in
-        mv-spec-*)
-            echo "[start] spec 已消费，删除（本工具生成形态）: $spec_dir"
-            rm -rf "$spec_dir"
-            ;;
-        *)
-            echo "[start] spec 已消费（保留未删——非 mv-spec-* 形态）: $spec_dir"
-            ;;
-    esac
-
-    # 第 3 步：启动已有环境
-    if ! "$PYTHON" "$START_DISCUSSION" --dir "$dir_path" --skip-setup --start; then
-        fail "启动失败，请查看上方输出"
-    fi
-
-    cat <<OUTPUT_EOF
-多视角分析已启动
-目录: $dir_path
-
-观看分析（复制执行，不进 LLM；Ctrl-C 中断后可插话再续看）:
-!!python3 "$ROOT_DIR/human_viewer.py" $dir_path --follow
-
-查看进展: $0 --view $dir_path
-插话: $0 --say $dir_path "<文本>"
-查看状态: $0 --status $dir_path
-等待完成: $0 --wait $dir_path
-清理: $0 --cleanup $dir_path
-
-说明:
-- human 通道：--view 增量查看（主 pi 记录末尾 HEAD 作下轮 --since）；
-  --say 插话（agents 可见并可回应；已冻结 agent 不响应）
-- 完成后 result.md 自动保存到固定位置：$dir_path-result.md（与分析目录同级——resultWriter loop 退出时保存；cleanup 也会保存）
-- 读取 result.md 摘要后请执行 --cleanup 清理分析目录
-OUTPUT_EOF
-}
-
-if [ "$#" -ge 1 ]; then
-    case "$1" in
-        --prepare)
-            shift
-            cmd_prepare "$@"
-            exit $?
-            ;;
-        --start)
-            [ "$#" -ge 2 ] || fail "--start 需要 spec 目录参数"
-            shift
-            cmd_start "$@"
-            exit $?
-            ;;
-        --status)
-            shift
-            cmd_status "${1:-}"
-            exit $?
-            ;;
-        --report)
-            shift
-            cmd_report "${1:-}"
-            exit $?
-            ;;
-        --wait)
-            shift
-            cmd_wait "${1:-}"
-            exit $?
-            ;;
-        --cleanup)
-            shift
-            cmd_cleanup "${1:-}"
-            exit $?
-            ;;
-        --view)
-            shift
-            cmd_view "$@"
-            exit $?
-            ;;
-        --say)
-            shift
-            cmd_say "$@"
-            exit $?
-            ;;
-        -h|--help)
-            usage
-            exit 0
-            ;;
-    esac
-fi
 
-usage >&2
-exit 2
+# MV_INVOKED_AS：usage 与启动块里展示用户实际敲的那条命令（沿用 bash 的
+# $0 语义；直接跑 mv_cli.py 时它会退回默认名）
+MV_INVOKED_AS="${MV_INVOKED_AS:-$0}" \
+exec "${PYTHON:-python3}" "$ROOT_DIR/mv_cli.py" "$@"

package/scripts/pi-probe.sh

@@ -0,0 +1,134 @@
+#!/usr/bin/env bash
+#
+# pi-probe.sh —— LLM 探针（把临时 pi 运行变成**可追溯、经同意的测试产物**）
+#
+# 它管三件事（都是吃过的教训）：
+#
+# 1. **闸门：没有当次同意就不跑**（2026-09-13 教训）
+#    我在未征得用户同意的情况下连跑 6 个真实 pi 进程（合计 ~9.5 分钟，其中一个
+#    458s），理由是"在后台跑、不占用户终端"。判据本应是**预估时长**（用户规则：
+#    秒级冒烟免批；分钟级/多轮必须当次确认），且**不因后台运行而豁免**。
+#    现在：不带 `--approved "<凭据>"` 直接**拒绝执行**并提示先去问。
+#
+# 2. **登记：跑过的 LLM 运行留下账本**
+#    `~/.pi/pi-multi-viewers-llm-runs.log` 每行一次运行：起止时间、时长、退出码、
+#    凭据、命令摘要。汇报时给账本，不靠记忆。
+#
+# 3. **收尾提醒：跑完先汇报，再决定下一步**
+#    结束时打印一行显式提醒——2026-09-13 的第二个错误正是"跑完没汇报就接着跑
+#    第二批实验"。
+#
+# 另外它把新建的 session 登记进 `~/.pi/pi-multi-viewers-test-sessions.log`
+# （与 build_bootstrap 同一份），使 check-residue 能判定归属（否则白名单 cwd
+# 下的探针 session 完全不可见）。
+#
+# 用法:
+#   ./scripts/pi-probe.sh --approved "用户 2026-09-13 15:20 同意跑 AFT 隔离实验" \
+#       --print "ok"
+#   ./scripts/pi-probe.sh --approved "..." --no-extensions --print "ok"
+#
+# 退出码 = pi 的退出码（闸门拒绝时为 2）。
+set -u
+
+SESS_DIR="$HOME/.pi/agent/sessions"
+REGISTRY="$HOME/.pi/pi-multi-viewers-test-sessions.log"
+LEDGER="$HOME/.pi/pi-multi-viewers-llm-runs.log"
+
+usage() {
+    cat >&2 <<'EOS'
+用法: pi-probe.sh --approved "<凭据>" [pi 参数...]
+
+  --approved "<凭据>"   必填：用户**当次**同意的凭据（原话/时间/授权范围）。
+                        没有它就说明还没问——先去问，不要绕过这里直接调 pi。
+
+判据（用户规则）：预估**时长**——秒级冒烟免批；预计 ≥30s、多轮唤醒、
+整场分析一律**当次**确认，且不因"后台跑、不占用户终端"豁免。
+EOS
+}
+
+APPROVED=""
+if [ "$#" -gt 0 ] && [ "$1" = "--approved" ]; then
+    APPROVED="${2:-}"
+    shift 2 2>/dev/null || true
+fi
+if [ -z "$APPROVED" ]; then
+    echo "拒绝执行：没有 --approved（= 未取得用户当次同意）。" >&2
+    usage
+    exit 2
+fi
+if [ "$#" -eq 0 ]; then
+    echo "拒绝执行：缺少 pi 参数。" >&2
+    usage
+    exit 2
+fi
+
+cmd_brief="pi $*"
+
+BEFORE="$(mktemp)"
+AFTER="$(mktemp)"
+trap 'rm -f "$BEFORE" "$AFTER"' EXIT
+find "$SESS_DIR" -name '*.jsonl' -print 2>/dev/null | sort > "$BEFORE"
+
+T0=$(date +%s)
+pi "$@"
+rc=$?
+T1=$(date +%s)
+
+# 账本（运行即登记：时长 / 退出码 / 凭据 / 命令摘要）
+python3 - "$LEDGER" "$T0" "$T1" "$rc" "$APPROVED" "$cmd_brief" <<'PYEOF'
+import json, sys
+from datetime import datetime, timezone
+ledger, t0, t1, rc, approved, cmd = sys.argv[1:7]
+rec = {
+    "started": datetime.fromtimestamp(int(t0), timezone.utc).isoformat(),
+    "seconds": int(t1) - int(t0),
+    "rc": int(rc),
+    "approved": approved,
+    "cmd": cmd[:400],
+}
+with open(ledger, "a", encoding="utf-8") as f:
+    f.write(json.dumps(rec, ensure_ascii=False) + "\n")
+print(f"[pi-probe] 账本已记：{rec['seconds']}s rc={rec['rc']} | 同意凭据：{approved[:60]}")
+PYEOF
+
+# session 登记（归属判定用）
+find "$SESS_DIR" -name '*.jsonl' -print 2>/dev/null | sort > "$AFTER"
+NEW=$(comm -13 "$BEFORE" "$AFTER")
+if [ -n "$NEW" ]; then
+    echo "$NEW" | while IFS= read -r f; do
+        [ -n "$f" ] || continue
+        python3 - "$f" "$REGISTRY" <<'PYEOF'
+import json, os, sys
+from datetime import datetime, timezone
+path, registry = sys.argv[1], sys.argv[2]
+sid = cwd = ""
+with open(path, encoding="utf-8") as f:
+    for line in f:
+        try:
+            ev = json.loads(line)
+        except ValueError:
+            continue
+        if ev.get("type") == "session":
+            sid = ev.get("id") or ""
+            cwd = ev.get("cwd") or ""
+            break
+rec = {
+    "created": datetime.now(timezone.utc).isoformat(),
+    "session_id": sid,
+    "path": os.path.abspath(path),
+    "cwd": cwd,
+    "origin": "pi-probe",
+}
+with open(registry, "a", encoding="utf-8") as f:
+    f.write(json.dumps(rec, ensure_ascii=False) + "\n")
+print(f"[pi-probe] session 已登记: {path}")
+print(f"[pi-probe]   session_id={sid} cwd={cwd}（用完删掉该文件）")
+PYEOF
+    done
+else
+    echo "[pi-probe] 未新建 session（用了 --session/--session-id 续接既有会话？）"
+fi
+
+# 收尾提醒（2026-09-13 教训：跑完先汇报，别接着跑下一批）
+echo "[pi-probe] ⚠ 先把本次结果汇报给用户并停下等他指示——不要连续追加第二批实验。"
+exit "$rc"

package/spec_gen.py

@@ -22,7 +22,7 @@ PI_AGENT_DIR = os.environ.get("PI_CODING_AGENT_DIR",
 MAX_AGENT_NAME_LEN = 32
 
 import meeting_fs
-from meeting_fs import run_git, DEFAULT_STALL_TIMEOUT
+from meeting_fs import run_git, DEFAULT_STALL_TIMEOUT, DEFAULT_THINKING
 
 
 def _join_model_ref(provider, model_id):
@@ -276,24 +276,27 @@ def gen_spec_skeleton(spec_dir, participants, topic=None, background=None,
                 "本行是说明行，不会注入。\n\n")
         if background:
             f.write(background + "\n")
-    # models.md（用户 8024/9204/9271：预列各 agent，每行 agent名: model，
-    # variant 默认 max 隐式——只有非 max 才写 `, variant`，日常更简洁；
-    # model/thinking 预填主 pi 当前值，用户少改一个文件）
+    # models.md（用户 8024/9204/9271：预列各 agent，每行 agent名: model,
+    # variant；model/thinking 预填主 pi 当前值，用户少改一个文件）
+    # **两个槽都永远显式写出**（含探测失败的路径）：variant 槽留空会静默落到
+    # DEFAULT_THINKING，而 spec 文件表面完全正常（甚至更"干净"）——意图与
+    # 生效值之间没有留痕（e2e17 评审 §7.3）。探测失败另打一行可见提示。
     pm, pt = _detect_pi_model_thinking()
+    variant = pt or DEFAULT_THINKING
     with open(os.path.join(spec_dir, "models.md"), "w") as f:
-        lines = ["# models.md——模型配置（可选）。每行：agent名: model[, variant]。"
-                 "model 默认 default，variant 默认 max（只有不用 max 才写 variant）。"
+        lines = ["# models.md——模型配置（可选）。每行：agent名: model, variant。"
+                 "model 写 default = 继承本机默认；variant 不写 = "
+                 f"{DEFAULT_THINKING}（**两个槽都显式写出**，一眼可见）。"
                  "本行是说明行，不会注入。"]
         for p in participants:
-            if pm and pt:
-                lines.append(f"{p}: {pm}, {pt}")
-            elif pm:
-                lines.append(f"{p}: {pm}")
-            elif pt:
-                lines.append(f"{p}: default, {pt}")
-            else:
-                lines.append(f"{p}: default")
+            lines.append(f"{p}: {pm or 'default'}, {variant}")
         f.write("\n".join(lines) + "\n")
+    if not pt:
+        # 探测失败**可见**（不是静默取档）：打印在使用者能看到的地方，
+        # 不阻断（终端直用时 PI_* 环境变量本就不存在，报错会断掉合法路径）。
+        print(f"[spec-gen] 未探测到主 pi 的 thinking 档位——models.md 用默认 "
+              f"{DEFAULT_THINKING}（如需其它档位请直接编辑该文件）",
+              file=sys.stderr)
     # agents/X.md 占位 + .order（仅显式 --agents 时；快照路径的 .order
     # 由 _snapshot_viewers 写入，此处不得重写）
     if participants and not viewers_dir:
@@ -367,7 +370,7 @@ def gen_question(topic, stances, background, questions):
     return "\n".join(lines)
 
 
-def gen_protocol(topic, participants, max_meeting, max_rr, pure=False,
+def gen_protocol(topic, participants, max_meeting, max_rr, extensions=False,
                  result_writer=None,
                  stall_timeout=DEFAULT_STALL_TIMEOUT,
                  fork_source=None, fork_cwd=None,
@@ -385,8 +388,8 @@ def gen_protocol(topic, participants, max_meeting, max_rr, pure=False,
         "stallTimeoutSeconds": stall_timeout,
         "commitPolicy": "one-message-per-commit",
     }
-    if pure:
-        proto["pure"] = True
+    # 显式写出扩展策略（默认零扩展 = agents 不加载任何外部扩展）
+    proto["extensions"] = bool(extensions)
     if fork_source:
         # fork 模式（多视角）：首唤挂载主 session + cwd=主项目
         # forkMode 取值域与默认值的定义在 meeting_fs（FORK_MODES /