pi-multi-viewers 0.3.0 → 0.5.0

package/meeting_loop.py

@@ -4,7 +4,7 @@
 复用 meeting_engine 的唯一状态机，只注入"唤醒 pi"的 responder。
 协议逻辑（锁/配额/级联/信号）全在引擎，此处只做 LLM 交互。
 
-用法：python3 meeting_loop.py <workdir> <agent> [--pure]
+用法：python3 meeting_loop.py <workdir> <agent> [--extension-policy V]
 （配额/超时从 protocol.json 读——单一事实源；无 CLI 覆盖）
 """
 
@@ -289,7 +289,7 @@ def _prepare_fork_session(workdir, agent, sid, fork_source, fork_cwd,
 
 
 def _build_wake_cmd(workdir, agent, sid, cfg, fork_source, fork_cwd,
-                    session_dir, first_wake, pure, prompt,
+                    session_dir, first_wake, extension_policy, prompt,
                     fork_mode=meeting_fs.DEFAULT_FORK_MODE, topic=""):
     """组装唤醒命令（#3 拆分，e2e7 评审）：返回 (cmd, spawn_cwd)。
 
@@ -309,11 +309,50 @@ def _build_wake_cmd(workdir, agent, sid, cfg, fork_source, fork_cwd,
     else:
         cmd = ["pi", "--mode", "json", "--session-id", sid,
                "--session-dir", session_dir]
-    if pure:
-        # Pi 的 pure 近似：关闭外部扩展/技能/prompt-template/主题加载，
-        # 保留内置工具（read/bash/edit/write）与项目内 AGENTS.md。
-        cmd += ["--no-extensions", "--no-skills", "--no-prompt-templates",
-                "--no-themes"]
+    # ---- agent 进程的扩展策略（design.md 决策 20；三档见 meeting_fs）----
+    # 三档共用**同一段零扩展前缀**；mc-tools 只决定"能否再追加 -e <MC 入口>"。
+    # 为什么这样写：此前 mc-tools 的降级分支自己拼前缀后**提前 return**，把后面的
+    # model/thinking/system-prompt/--print 与 spawn cwd 全截断——那条"降级"路径在
+    # 无 MC 的机器上产出残缺命令（e2e24 评审 S1；根因 = 前缀抄三遍 + 短路返回）。
+    # 现在**只有一个出口**（本函数末尾），降级只是"少追加一个 -e"。
+    #
+    # 三档语义：mc-tools（默认）给 agents `ctx_search`（MC 的只读检索工具；
+    # entry 只注册工具、不装 hook → 不带 historian/压缩）；none 零扩展（零依赖）；
+    # all 走 pi 默认发现（A/B 与显式 opt-in，须有净收益账）。
+    no_ext = ["--no-extensions", "--no-skills", "--no-prompt-templates",
+              "--no-themes"]
+    effective_policy = extension_policy
+    downgrade_reason = ""
+    if extension_policy not in meeting_fs.EXTENSION_POLICIES:
+        # 值域守卫在 __main__ 已拦（配置错误不进 engine）；直调也要响
+        raise RuntimeError(f"未知 extensionPolicy: {extension_policy!r}"
+                           f"（合法值: {'/'.join(meeting_fs.EXTENSION_POLICIES)}）")
+    if extension_policy == "none":
+        cmd += no_ext
+    elif extension_policy == "mc-tools":
+        entry, err = meeting_fs.resolve_mc_tools_entry()
+        if entry:
+            cmd += no_ext + ["-e", entry]
+        elif meeting_fs.mc_tools_strict():
+            # 严格模式（测试/探针保真）：缺 MC 即响，不降级——否则测试可能在
+            # "没装 MC"的环境里通过，而 ctx_search 从未生效
+            log(agent, f"[fatal] mc-tools 档入口解析失败（严格模式）：{err}")
+            raise RuntimeError(f"mc-tools 档不可用: {err}")
+        else:
+            # mc-tools **允许**而非要求 MC：缺 MC → 降级零扩展，但**可见**
+            effective_policy = "none"
+            downgrade_reason = err
+            cmd += no_ext
+    # "all"：不加任何 --no-*（走 pi 默认发现）
+    if first_wake:
+        # 登记行（观测面的稳定字段；报告据此给"声明 vs 生效"）。只在首唤打：
+        # 策略在一次运行内不变，变了也是配置错误（重跑即可）。
+        log(agent, f"扩展策略: 声明={extension_policy} 生效={effective_policy}"
+                   f" strict={int(meeting_fs.mc_tools_strict())}"
+                   + (f" 降级原因={downgrade_reason}" if downgrade_reason else ""))
+        if downgrade_reason:
+            log(agent, f"mc-tools 档未生效（{downgrade_reason}）——本次按零扩展"
+                       f"运行：ctx_search 不可用")
     model = cfg.get("model") or ""
     if model:
         cmd += ["--model", model]
@@ -333,6 +372,22 @@ def _build_wake_cmd(workdir, agent, sid, cfg, fork_source, fork_cwd,
     return cmd, (fork_cwd or workdir)
 
 
+def _spawn_env(workdir):
+    """agent 进程的环境（Popen 的 env 是**整体替换** → 必须合并 os.environ，
+    否则丢 PATH）。
+
+    只注入 `GIT_CEILING_DIRECTORIES=<讨论目录>`：**git 上溯防护**（实现 A1）。
+    为什么需要：`_lock_git` 把 work-<agent>/.git 改名后，git 的默认行为是
+    **向上继续找仓库**——fork 模式下 cwd = 主项目，实测锁态下
+    `git rev-parse --git-dir` 从 workdir 发起会命中主项目 .git（rc=0），守卫
+    形同虚设（见 `_lock_git` docstring 的范围说明）。本进程的 argv 就是 agent
+    会话里 bash 工具所继承的环境来源。
+    （此前还注入 XDG_CONFIG_HOME 做作用域配置——随"屏蔽 AFT"整块退役。）
+    """
+    env = {**os.environ, "GIT_CEILING_DIRECTORIES": os.path.dirname(workdir)}
+    return env
+
+
 def _run_wake_proc(cmd, spawn_cwd, workdir, agent):
     """spawn + 分片等待（#3 拆分）：返回 CompletedProcess。
 
@@ -348,17 +403,12 @@ def _run_wake_proc(cmd, spawn_cwd, workdir, agent):
     # 成功）。性能实测 ≈150-200 KB/唤醒、峰值亚 MB（不构成风险）；
     # 若改为流式读取，必须让"谁读 session 头"同样显式可见（可读性保留票）。
     #
-    # GIT_CEILING_DIRECTORIES=<讨论目录>：**git 上溯防护**（实现 A1）。
-    # 本进程的 argv 就是 agent 会话里 bash 工具所继承的环境来源——
-    # 注入后，从 work-<agent> 发起的 git 不会上溯到主项目仓库。
-    # 为什么需要：_lock_git 把 work-<agent>/.git 改名后，git 的默认行为是
-    # **向上继续找仓库**——fork 模式下 cwd=主项目，实测锁态下
-    # `git rev-parse --git-dir` 从 workdir 发起会命中主项目 .git（rc=0），
-    # 守卫形同虚设（见 _lock_git docstring 的范围说明）。
-    # 注：Popen 的 env 是**整体替换**，必须合并 os.environ（否则丢 PATH）。
+    # 环境构造统一在 _spawn_env（GIT_CEILING_DIRECTORIES 的 git 上溯防护
+    # 理由见该函数；brief：本进程的 argv 就是 agent 会话里 bash 工具所继承的
+    # 环境来源，而 _lock_git 只锁 work-<agent>/.git、git 默认会向上找仓库）。
     proc = subprocess.Popen(cmd, cwd=spawn_cwd, stdout=subprocess.PIPE,
                             stderr=subprocess.PIPE, text=True,
-                            env={**os.environ, "GIT_CEILING_DIRECTORIES": base})
+                            env=_spawn_env(workdir))
     _current_proc = proc
     try:
         # 分片等待：每片检查讨论目录是否被清理（cleanup 删目录）——
@@ -387,7 +437,9 @@ def _run_wake_proc(cmd, spawn_cwd, workdir, agent):
                                        err or "")
 
 
-def wake_llm(workdir, agent, prompt, pure=False, fork_source=None, fork_cwd=None,
+def wake_llm(workdir, agent, prompt,
+             extension_policy=meeting_fs.DEFAULT_EXTENSION_POLICY,
+             fork_source=None, fork_cwd=None,
              fork_mode=meeting_fs.DEFAULT_FORK_MODE, topic=""):
     """唤醒 pi（fork-only：首唤由本地生成 fork 源 + `--session` 打开，
     后续 `--session-id` 续接）。返回 (sessionID, returncode)。
@@ -412,7 +464,7 @@ def wake_llm(workdir, agent, prompt, pure=False, fork_source=None, fork_cwd=None
         sid = str(uuid.uuid4())
     cmd, spawn_cwd = _build_wake_cmd(workdir, agent, sid, cfg, fork_source,
                                      fork_cwd, session_dir, first_wake,
-                                     pure, prompt, fork_mode, topic)
+                                     extension_policy, prompt, fork_mode, topic)
 
     log_dir = os.path.join(base, "wake-logs")
     os.makedirs(log_dir, exist_ok=True)
@@ -489,7 +541,7 @@ def _read_perspective_brief(workdir, agent):
     return brief or None
 
 
-def make_responder(pure, fork_source=None, fork_cwd=None,
+def make_responder(extension_policy, fork_source=None, fork_cwd=None,
                    fork_mode=meeting_fs.DEFAULT_FORK_MODE, topic=""):
     """构造真实 LLM responder：唤醒 pi，LLM 写内容文件。
 
@@ -514,7 +566,7 @@ def make_responder(pure, fork_source=None, fork_cwd=None,
             if mem_available_mb() < MIN_MEM_MB:
                 log(agent, "内存不足——抛可恢复异常（不代写 freezing，下轮重试）")
                 raise RecoverableWakeError("内存不足")
-            wake_llm(workdir, agent, prompt, pure,
+            wake_llm(workdir, agent, prompt, extension_policy,
                      fork_source=fork_source, fork_cwd=fork_cwd)
             return True
         if rr_turn:
@@ -534,7 +586,7 @@ def make_responder(pure, fork_source=None, fork_cwd=None,
         if mem_available_mb() < MIN_MEM_MB:
             log(agent, "内存不足——抛可恢复异常（不代写 freezing，下轮重试）")
             raise RecoverableWakeError("内存不足")
-        wake_llm(workdir, agent, prompt, pure,
+        wake_llm(workdir, agent, prompt, extension_policy,
                  fork_source=fork_source, fork_cwd=fork_cwd,
                  fork_mode=fork_mode, topic=topic)
         return True
@@ -553,11 +605,17 @@ def _preserve_result_md(workdir):
 if __name__ == "__main__":
     if len(sys.argv) < 3:
         print("用法: python3 meeting_loop.py <workdir> <agent> "
-              "[--max-meeting N] [--max-rr N] [--stall-timeout S] [--pure]")
+              "[--max-meeting N] [--max-rr N] [--stall-timeout S]"
+              " [--extension-policy none|mc-tools|all]")
         sys.exit(1)
     workdir, agent = sys.argv[1], sys.argv[2]
     recover_git_lock(workdir, agent)
-    pure = "--pure" in sys.argv
+    # 扩展策略：CLI 先填，协议字段（若有）覆盖——与 forkMode 同款
+    extension_policy = meeting_fs.DEFAULT_EXTENSION_POLICY
+    if "--extension-policy" in sys.argv:
+        i = sys.argv.index("--extension-policy")
+        if i + 1 < len(sys.argv):
+            extension_policy = sys.argv[i + 1]
     mm, mr, st = 10, 7, 600
     # 协议从 **bare HEAD** 读（单一来源 = 共享事实；本地副本 LLM 可改）——
     # 与 engine participants()/check_status 同一原语
@@ -567,8 +625,14 @@ if __name__ == "__main__":
         print(f"[fatal] protocol.json 读取失败（bare HEAD 无有效内容）: {bare}",
               flush=True)
         sys.exit(1)
-    if proto.get("pure"):
-        pure = True
+    if proto.get("extensionPolicy"):
+        extension_policy = proto["extensionPolicy"]
+    if extension_policy not in meeting_fs.EXTENSION_POLICIES:
+        # 值域守卫（与 forkMode 同款四层守卫之一：loop 门）——非法值不进 engine
+        # 重试路径，直接 fatal 退出（配置错误就该在启动时响）
+        print(f"[fatal] 非法 extensionPolicy: {extension_policy!r}"
+              f"（合法值: {'/'.join(meeting_fs.EXTENSION_POLICIES)}）", flush=True)
+        sys.exit(1)
     if proto.get("maxMeetingRounds"):
         mm = proto["maxMeetingRounds"]
     if proto.get("maxRRRounds"):
@@ -593,7 +657,7 @@ if __name__ == "__main__":
         sys.exit(1)
     try:
         agent_loop(workdir, agent,
-                   make_responder(pure,
+                   make_responder(extension_policy,
                                   fork_source=fork_source,
                                   fork_cwd=proto.get("forkCwd") or "",
                                   fork_mode=fork_mode_cfg,

package/mv_cli.py

@@ -42,6 +42,7 @@ PROG = os.environ.get("MV_INVOKED_AS") or "scripts/mv.sh"
 USAGE = f"""用法:
   {PROG} --prepare "<问题>" [--background "<背景>"] [--agents "a,b,c"|4]
   {PROG} --start <spec目录> [--fork-mode compaction|budget|full]
+  {PROG} --start <spec目录> [--extension-policy none|mc-tools|all]
   {PROG} --status  [dir]
   {PROG} --report  [dir]
   {PROG} --wait    [dir]