@sema-agent/server 7.43.0 → 7.44.0

package/dist/hooks/cc-agent-hook-prompt.js

@@ -1,37 +1,8 @@
-/**
- * CC `hook_agent` 臂(`type:"agent"` 钩子条目)的评估者系统提示 —— **CC 逐字移植**(A-065 P2-5 修:
- * 此前 agent 臂一个字的系统提示都不发,评估者拿不到「你在判什么/可以用工具去查/少走几步」任何一条,
- * 判词质量静默劣化且黑盒极难察觉;`cc-stop-prompt.ts` 把孪生的 prompt 臂做到字节级 ALIGNED,本臂却整块
- * 漏在考据之外=UNANCHORED)。
- *
- * ── 出处(第一手核过)────────────────────────────────────────────────────────────────────────
- * `sema-agent/cc-decoded` 的 `pretty223.js:645295-645313`(`querySource:"hook_agent"` 在 `:645360`)。
- * CC 该臂与 prompt 臂(`cc-stop-prompt.ts`)**不是同一批文本**:两档头句按事件名选
- * (`r === "Stop" || r === "SubagentStop"` ⇒ verify 档,其余 ⇒ evaluate 档),尾段共用。
- *
- * ── 登记偏离(载体差异,[1134] 锚定纪律:能逐字的逐字,搬不动的显式登记而非静默改写)──────────
- * CC 的完整模板还有两段本仓**刻意不搬**:
- *  1. transcript 文件句("The conversation transcript is available at: ${路径}\nYou can read this
- *     file to analyze the conversation history if needed.")——CC 给评估者落一个转录**文件**并往
- *     session allow 规则里加 `Read(/<path>)`;本仓 agent 载体(main.ts hookAgent = runTask 读-only
- *     子代理)没有转录文件设施,照搬=指向不存在文件的幻觉指令,比不发更糟。
- *  2. 判词形句("When done, return your result using the ${结构化工具} tool with:\n- ok: true …\n
- *     - ok: false with reason …")——CC 给评估者挂了一只专用结构化输出工具并按 {ok, reason} 转译;
- *     本仓决策面=子代理 final 文本折伪 stdout 走 `parseHookStdout`(JSON=SyncHookOutput 决策,
- *     非 JSON=该事件对 plain text 的既有语义),判词形由 hook 作者自己的 prompt 承担——系统提示再
- *     指定一个 {ok, reason} 形会与作者 prompt 的输出指令**打架**,且本仓没有那只工具。
- * 另两处已有登记的正当偏离(不在本文件):步数上限 CC `M = 50` vs 本仓 `maxTurns: 10`(成本收窄,
- * main.ts 成文);`thinkingConfig`/`mode:"dontAsk"` 等 CC 载体旋钮不适用本仓 runTask 形。
- */
-/** Stop / SubagentStop 档头句(CC 逐字)。 */
 export const CC_AGENT_HOOK_HEAD_STOP = "You are verifying a stop condition in Claude Code. Your task is to verify that the agent completed the given plan.";
-/** 其余事件档头句(CC 逐字,`${event}` 为事件名插值——CC 原文即模板插值形)。 */
 export function ccAgentHookHeadFor(event) {
     return event === "Stop" || event === "SubagentStop" ? CC_AGENT_HOOK_HEAD_STOP : `You are evaluating a ${event} hook in Claude Code. Your task is to evaluate the condition described in the user message.`;
 }
-/** 工具指令段(CC 逐字;两档共用尾段中可搬的部分——transcript 句与判词形句见头注登记偏离)。 */
 export const CC_AGENT_HOOK_TOOLS_SEGMENT = "Use the available tools to inspect the codebase and verify the condition.\nUse as few steps as possible - be efficient and direct.";
-/** agent 臂评估者的完整系统提示:两档头句 + 工具指令段。 */
 export function ccAgentHookSystemFor(event) {
     return `${ccAgentHookHeadFor(event)}\n\n${CC_AGENT_HOOK_TOOLS_SEGMENT}`;
 }

package/dist/hooks/cc-stop-prompt.js

@@ -1,25 +1,3 @@
-/**
- * CC `execPromptHook` 的**逐字**移植面:两档系统提示 + `{ok, reason, impossible?}` 判词的解析与映射。
- *
- * ── 为什么单独一个文件 ──────────────────────────────────────────────────────────────────────────
- * 本仓有 clay 的**提示词面锚定 CC 逐字**令(偏离仅限超集/品牌二类且需登记)。把这两段正文与它们的
- * 判词形收在一处,才谈得上机器看守(见 `test/cc-stop-prompt.test.ts` 的字节钉)。
- *
- * ── 出处(我**第一手**核过,不是照抄转述)────────────────────────────────────────────────────────
- * `sema-agent/cc-decoded` 的 `pretty220.js:609309` 起(219/218 同构)。逐字核实的四件:
- *  · 两档判据是 **hook 事件名**:`c = r === "Stop" || r === "SubagentStop"` ⇒ 这两个事件用**完整版**,其余用简版;
- *  · user 消息也被包装(见 {@link wrapCondition}),原文预设**会话就在上文**("transcript **above**");
- *  · 评估者 `thinkingConfig: { type: "disabled", mechanical: !0 }`(A-065 P4-2:引文补 `mechanical` 键)+
- *    **`tools: []`** —— 它是**纯判官**,不能自己去查;
- *  · 会话消息**整段前置**(`s && s.length > 0 ? [...prepend(s), p] : [p]`),不是摘要。
- * ⚠️ 语料把**正文/标点**非 ASCII 存成 `\uXXXX` 六字符字面量(正文里那两个破折号是 `\u2014`)——**grep 真字符会全假阴**。
- *    所以下面也用 `\u2014` 转义:源码保持 ASCII,运行时是同一个字符。
- *    (A-065 P4-5 量词修:locale/语言名表是例外——`日本語`/`русский` 等 127 个字面非 ASCII 字节在语料里
- *    存活;另注 `grep -c` 数行不数次,计数用它会低估。)
- * ⚠️ **为什么必须自己核**:cli 报过他们移植的那段是**第三种措辞**(与 CC 220 的两个分支都不逐字相同,
- *    应是从更早版本移植后 CC 改过而没跟)。转述会漂,语料不会。
- */
-/** 完整版(**Stop / SubagentStop** 用)。CC `pretty220.js` 逐字。 */
 export const CC_STOP_PROMPT_SYSTEM_FULL = `You are evaluating a stop-condition hook in Claude Code. Read the conversation transcript carefully, then judge whether the user-provided condition is satisfied.
 
 Your response must be a JSON object with one of these shapes:
@@ -30,7 +8,6 @@ Your response must be a JSON object with one of these shapes:
 Always include a "reason" field, quoting specific text from the transcript whenever possible. If the transcript does not contain clear evidence that the condition is satisfied, return {"ok": false, "reason": "insufficient evidence in transcript"}.
 
 Only use {"ok": false, "impossible": true} when the condition is genuinely unachievable in this session \u2014 for example: the condition is self-contradictory, it depends on a resource or capability that is unavailable, or the assistant has explicitly tried, exhausted reasonable approaches, and stated it cannot be done. Apply your own judgment when deciding this \u2014 the assistant claiming the goal is impossible is evidence, not proof; independently confirm the condition is genuinely unachievable rather than deferring to the assistant's self-assessment. Do not use it just because the goal has not been reached yet or because progress is slow. When in doubt, return {"ok": false} without "impossible".`;
-/** 简版(其余事件用)。CC `pretty220.js` 逐字。 */
 export const CC_STOP_PROMPT_SYSTEM_SIMPLE = `You are evaluating a hook condition in Claude Code. Judge whether the user-provided condition is met.
 
 Your response must be a JSON object with one of these shapes:
@@ -38,26 +15,16 @@ Your response must be a JSON object with one of these shapes:
 - {"ok": false, "reason": "<reason the condition is not met>"}
 
 Always include a "reason" field.`;
-/** 事件名 → 用哪一档。CC 判据逐字:`r === "Stop" || r === "SubagentStop"`。 */
 export function ccPromptSystemFor(event) {
     return event === "Stop" || event === "SubagentStop" ? CC_STOP_PROMPT_SYSTEM_FULL : CC_STOP_PROMPT_SYSTEM_SIMPLE;
 }
-/**
- * CC 对 user 消息的包装(**仅**完整版档位)。原文逐字,注意 "transcript **above**" ——
- * 它预设会话已经在上文,所以调用方必须真的把会话放在前面,否则这句话本身就是在骗模型。
- */
 export function wrapCondition(event, condition) {
     if (event !== "Stop" && event !== "SubagentStop")
         return condition;
     return `Based on the conversation transcript above, has the following stopping condition been satisfied? Answer based on transcript evidence only.\n\nCondition: ${condition}`;
 }
-/**
- * 解析模型判词。**解析不出来 ⇒ `undefined`**(= 无判决),绝不臆测成 `ok:false` ——
- * 🔴 Stop 钩子的 `ok:false` **等于拦住停止**,把"读不懂"当成"没满足"会让一次解析失败变成一次拦停。
- */
 export function parseCcVerdict(text) {
     const raw = text.trim();
-    // 模型常把 JSON 包在 ```json 围栏或散文里 —— 取第一个平衡的 {...} 块。
     const start = raw.indexOf("{");
     if (start < 0)
         return undefined;
@@ -71,7 +38,7 @@ export function parseCcVerdict(text) {
                 try {
                     const o = JSON.parse(raw.slice(start, i + 1));
                     if (typeof o.ok !== "boolean")
-                        return undefined; // 没有 ok ⇒ 不是判词
+                        return undefined;
                     return {
                         ok: o.ok,
                         ...(typeof o.reason === "string" ? { reason: o.reason } : {}),
@@ -86,17 +53,5 @@ export function parseCcVerdict(text) {
     }
     return undefined;
 }
-/**
- * CC 条件评估者的**输出额度**。
- *
- * 🔴 为什么不能用载体缺省(1024):CC 的系统提示**明确要求**评估者
- * 「quote evidence from the transcript」——判词天然带引文;而**推理档模型的 thinking 与输出共用**这份额度。
- * cli 的 live 围栏实测两种失败形,**同一根因**:①判词 JSON 被截断(`{"ok": true, "reason": "The first user…` 然后没了)
- * ②一个字都没吐出来(thinking 吃光)。**两种都导致判词整条被丢弃 ⇒ fail-open(该拦没拦)** ——
- * 而用户设 `enforced` 的全部意义就是「没达成别停」,这正是守卫在最需要它的时候静默失效。
- *
- * 4096 的取法:判词本身是个小 JSON + 一段引文(几百 token 足够),其余留给 thinking;
- * 同时它安全地低于所有在用模型的输出硬顶(超硬顶会让整请求 400)。
- */
 export const CC_EVALUATOR_MAX_OUTPUT_TOKENS = 4096;
 //# sourceMappingURL=cc-stop-prompt.js.map

package/dist/hooks/hook-llm.js

@@ -1,16 +1,7 @@
 import { matchCatalogModel } from "../model-select.js";
 export function createHookLlm(deps) {
     const { config, metrics } = deps;
-    // anthropic 路由自己的 baseUrl(与 core createAnthropicBrain 同一解析链:model.baseUrl || config.baseUrl
-    // || 官方缺省)。路由未装(无 ANTHROPIC 凭据 ⇒ config.anthropic 缺席)⇒ undefined,分派据此判
-    // 「这个部署有没有 anthropic 腿」。
     const anthropicRouteBaseUrl = () => config.anthropic ? config.anthropic.baseUrl || "https://api.anthropic.com" : undefined;
-    // catalog KEY(name)≠ provider model id——registry 热应用后两者可分叉。分别返回:
-    // `catalogRef`(hookAgent 用,core resolveModel 按 deps.models 键解析;也是 keyResolver 的查键)与
-    // `providerModelId`+`baseUrl`+`api`(hookLlm 直连用)。baseUrl 缺省按 api 分家:openai 形落主网关
-    // (现状);anthropic 形落 anthropic 路由自己的 baseUrl——provider=anthropic 的模型在 brain 路由里
-    // 从不走 openai 网关,titler 兜到 gatewayBaseUrl 缺省值即上述每会话必现 fetch failed 的根因。
-    // anthropic 形两头都缺(模型无 per-model baseUrl 且路由未装)= 一句话诚实 fail,说清缺什么配置。
     const shapeFrom = (catalogRef, m, providerModelId) => {
         const api = m?.api === "anthropic-messages" || m?.provider === "anthropic" ? "anthropic-messages" : "openai-completions";
         if (api === "anthropic-messages") {
@@ -25,27 +16,17 @@ export function createHookLlm(deps) {
         }
         return { ok: true, catalogRef, providerModelId, baseUrl: m?.baseUrl || config.gatewayBaseUrl, api };
     };
-    // 默认=summarize 角色(cheap tier,council/压缩同款;缺角色→主模型);entry.model 覆盖须命中部署
-    // catalog(单用户=自家目录全开,与 workflow 模型 allowlist 同纪律),未命中=该条目 fail(非阻断记账)。
-    // ({select} 形态诚实落主模型——hook 是廉价判定调用,不值得拉 select 机制。)
     const hookModelFor = (requested) => {
         const shape = (ref) => shapeFrom(ref, config.models[ref], config.models[ref]?.id ?? ref);
         if (requested === undefined) {
             const sum = config.roles.summarize;
             const roleModel = typeof sum === "string" ? sum : sum && typeof sum === "object" && "model" in sum && typeof sum.model === "string" ? sum.model : undefined;
-            // 角色名不在目录 ⇒ 当作主模型路由上的 raw provider id(主 brain 家族就是它的真实服务面),
-            // 形状/缺省 baseUrl 跟主模型走,不再无条件钉死 openai 网关。
             if (roleModel !== undefined)
                 return config.models[roleModel] ? shape(roleModel) : shapeFrom(config.model.id, config.model, roleModel);
             return shapeFrom(config.model.id, config.model, config.model.id);
         }
         if (config.models[requested])
             return shape(requested);
-        // 复审 2026-07-29 D1:目录键是 **name** 形,而调用点会传 **provider id** 形——`http/routes/tasks.ts`
-        // 的 titler 腿([1992]②「标题跟 turn」)对对象形 spec 传的就是 `spec.model.id`。registry 热应用后
-        // name 与 id 常态分叉(目录键是运维起的短名,`Model.id` 是 provider 侧的真名),单键索引下这类请求全落到下面那条
-        // 「不在目录里」⇒ 用户每选一次非主模型,标题就 llm_failed(对话本身正常),与 [1992] 同族的病形。
-        // 双键索引沿用同仓先例 [865]② `matchCatalogModel`:name 优先、id 扫目录值、跳过 `default` 别名键。
         const byId = matchCatalogModel(requested, config.models);
         if (byId !== undefined)
             return shape(byId);
@@ -61,28 +42,16 @@ export function createHookLlm(deps) {
         const ac = new AbortController();
         const t = setTimeout(() => ac.abort(), timeoutMs);
         try {
-            // 🔴 key resolution (2026-07-13 — the session titler widened this face from
-            // "deployments that configured hooks" to EVERY default deployment): per-model key (sealed-box custody /
-            // apiKeyEnv, via the SAME hot-refreshed keyResolver the brain uses) WINS; the MAIN gateway key rides ONLY
-            // to the main gateway's own baseUrl — a roster model pointing at a FOREIGN provider must NEVER receive
-            // the main key (credential exfiltration to whoever operates that URL). Foreign + no per-model key ⇒ the
-            // request goes out UNAUTHENTICATED (the provider 401s = honest failure, nothing leaked).
             const keyResolver = deps.getKeyResolver();
-            // 🔴 custody fail-closed(交叉评审 F1):resolver 抛错(sealed key 中毒/解密失败)≠「没配 per-model
-            // key」——吞成 undefined 会让 same-route 模型静默回落共享路由凭据照发。抛错=本次调用整体 fail,
-            // 不发任何请求(抽取前的内联版就有这个吞错,借抽取一并修死)。
             let perModelKey;
             if (keyResolver) {
                 try {
-                    perModelKey = (await keyResolver({ name: pick.catalogRef }))?.apiKey; // ModelKeyRef: legal mint, no cast (B1)
+                    perModelKey = (await keyResolver({ name: pick.catalogRef }))?.apiKey;
                 }
                 catch (e) {
                     return { ok: false, error: `per-model key resolution for "${pick.catalogRef}" failed — refusing to fall back to the shared route credential (${String(e)})` };
                 }
             }
-            // URL-normalized comparison (lens-A re-review: raw string compare false-negatives on host case /
-            // default-port forms and would strand the MAIN gateway without its own key — an availability bug in
-            // the safe direction, still a bug). new URL lowercases the host and drops a default port.
             const normUrl = (u) => {
                 try {
                     const x = new URL(u);
@@ -96,10 +65,6 @@ export function createHookLlm(deps) {
             let headers;
             let body;
             if (pick.api === "anthropic-messages") {
-                // anthropic 腿的同路纪律 = openai 腿 sameGateway 的镜像:anthropic 路由自己的凭据(authToken 压过
-                // apiKey,brain.ts 同序)只随路由自己的 baseUrl 走;per-model key 恒胜(x-api-key,core brain 的
-                // 同一注入位)。🔴 TRUE fail-closed 同款:foreign anthropic 端点无 per-model key ⇒ 连 prompt 都
-                // 不发(prompt 内嵌用户内容,未认证发射同样把数据外泄给该 URL 的运营方)。
                 const routeBase = anthropicRouteBaseUrl();
                 const sameRoute = routeBase !== undefined && normUrl(pick.baseUrl) === normUrl(routeBase);
                 if (!perModelKey && !sameRoute) {
@@ -108,8 +73,6 @@ export function createHookLlm(deps) {
                 url = `${pick.baseUrl.replace(/\/+$/, "")}/v1/messages`;
                 headers = {
                     "content-type": "application/json",
-                    // anthropic-version 缺省与 core brain 一致;纯 per-model 端点(路由未装但 per-model key 在)
-                    // 也带版本头,取同一缺省。
                     "anthropic-version": config.anthropic?.version ?? "2023-06-01",
                     ...(perModelKey
                         ? { "x-api-key": perModelKey }
@@ -119,31 +82,18 @@ export function createHookLlm(deps) {
                                 ? { "x-api-key": config.anthropic.apiKey }
                                 : {}),
                 };
-                // Messages API 必带 max_tokens:钳 1024 上限(交叉评审 F2)——hook 是廉价判定调用(titler 产出
-                // 一行标题),永远用不到更多;且 [854]③a 后 model.maxTokens 缺省抬到 32000,原样发给小输出上限的
-                // anthropic 形模型会整请求被拒(max_tokens 超模型硬顶=400),标题腿没必要陪这个险。
-                // 缺省 1024 是为 titler 那类"一行标题"调的;调用方可用 `maxOutputTokens` 声明自己需要更多
-                // (见该字段旁注:CC 评估者被要求引用转录,推理档的 thinking 还与输出共用额度)。
-                // 上限仍钳在模型自己的 maxTokens 以内 —— 超模型硬顶会整请求 400,这条原因没变。
                 const want = maxOutputTokens ?? 1024;
                 const maxTokens = Math.min(config.models[pick.catalogRef]?.maxTokens ?? want, want);
-                // `system` 走 Messages API 的**顶层字段**(不是一条 role:"system" 消息 —— anthropic 形不接受那个角色)。
                 body = JSON.stringify({ model: pick.providerModelId, max_tokens: maxTokens, ...(system ? { system } : {}), messages: [{ role: "user", content: prompt }] });
             }
             else {
                 const sameGateway = normUrl(pick.baseUrl) === normUrl(config.gatewayBaseUrl);
                 const hookKey = perModelKey ?? (sameGateway ? config.gatewayApiKey : undefined);
-                // 🔴 TRUE fail-closed (lens-A HIGH): a FOREIGN endpoint with no per-model key must not receive the
-                // REQUEST BODY either — the hook prompt embeds user content (session-titler: the objective), so an
-                // unauthenticated fire still exfiltrates data to whoever operates that URL. Refuse before fetch.
                 if (!sameGateway && !hookKey) {
                     return { ok: false, error: `hook model "${pick.catalogRef}" points at a foreign baseUrl with no per-model key — refusing to send the prompt off-gateway` };
                 }
                 url = `${pick.baseUrl.replace(/\/+$/, "")}/chat/completions`;
                 headers = { "content-type": "application/json", ...(hookKey ? { authorization: `Bearer ${hookKey}` } : {}) };
-                // `system` 在 openai 形是**前置的一条 system 消息**(与 anthropic 的顶层字段等价,两边同一语义)。
-                // openai 形此前**不发** max_tokens(用 provider 缺省)。只有调用方显式声明时才发 ——
-                // 不改 titler 那条腿的既有行为,同时让评估者能要到它需要的额度。
                 body = JSON.stringify({ model: pick.providerModelId, ...(maxOutputTokens !== undefined ? { max_tokens: maxOutputTokens } : {}), messages: [...(system ? [{ role: "system", content: system }] : []), { role: "user", content: prompt }], stream: false });
             }
             const r = await fetchImpl(url, { method: "POST", headers, body, signal: ac.signal });
@@ -163,8 +113,6 @@ export function createHookLlm(deps) {
             return typeof text === "string" ? { ok: true, text } : { ok: false, error: "hook llm returned no content", code: "no_content" };
         }
         catch (e) {
-            // 网络层失败原样只有 "TypeError: fetch failed"(不是人话):带上端点与 cause(ECONNREFUSED 等),
-            // 一句话说清打的是哪个 URL、为什么挂——titler 的 llm_failed 记账/warn 原样透出这条。
             const cause = e?.cause;
             return {
                 ok: false,