soloforge 1.1.47 → 1.1.49

package/dist/server/tools/sf_waiver.js

@@ -0,0 +1,139 @@
+/**
+ * sf_waiver 工具 — 门禁豁免管理（waive / list / remove）。
+ *
+ * 职责边界：
+ * - 负责：创建/列出/撤销 gate finding 豁免，强制审计留痕，安全类 check 不可豁免
+ * - 不负责：豁免数据存储（WaiverStore）、gate 注入决策（gate_engine evaluateGate）
+ *
+ * 被谁调用：MCP Server registerTools
+ * 调用谁：core/waiver_store（WaiverStore）、gate/gate_registry_bridge（查 block_check）、gate/gate_engine（ruleset hash）
+ *
+ * 数据流：command → 校验（confirm/reason/NON_WAIVABLE/block_check/scope 计数）→ WaiverStore 写 + 审计
+ * 持久化：.soloforge/waivers/{waiver_id}.json + .soloforge/waiver_audit.jsonl（由 WaiverStore 管理）
+ *
+ * 防后门（契约承诺 docs/SoloForge-设计文档.md「误判时有解除机制，并留下审计记录」）：
+ * 1. NON_WAIVABLE_CHECK_IDS：artifact_exists/bundle_integrity/gate_engine 合成结构检查不可豁免
+ * 2. block_check：反退化硬门禁不可豁免（防"前详后空"退化被绕过）
+ * 3. confirm=true + reason≥10字符：强制人工确认 + 说明（防敷衍/社交工程绕过）
+ * 4. scope=check_id 每域≤3：防域内全局豁免滥用
+ * 5. 全程审计：create/remove 写 waiver_audit.jsonl；sf_doctor 展示 active waivers（不隐性）
+ */
+import { z } from "zod";
+import { createToolRegistrar } from "./middleware.js";
+import { SF_WAIVER_ACTIONS } from "../../gate/contracts/tool_actions.js";
+import { WaiverStore, generateWaiverId, NON_WAIVABLE_CHECK_IDS } from "../../core/waiver_store.js";
+import { buildGateFromRegistry } from "../../gate/gate_registry_bridge.js";
+import { computeRulesetHash } from "../../gate/gate_engine.js";
+/** sf_waiver 参数 schema */
+const sfWaiverSchema = {
+    action: z.enum(SF_WAIVER_ACTIONS).describe("动作：waive=创建豁免 / list=列出活跃豁免 / remove=撤销豁免"),
+    domain: z.enum(["design", "build", "verify", "operate"]).optional().describe("域（waive/list 必填）"),
+    check_id: z.string().optional().describe("被豁免的 check id（waive 必填）"),
+    artifact_path: z.string().optional().describe("产物路径（scope=exact 时必填）"),
+    scope: z.enum(["exact", "check_id"]).optional().describe("豁免范围：exact=某产物某 check（默认）/ check_id=该 check 在该域所有产物"),
+    reason: z.string().optional().describe("豁免理由（waive 必填，≥10 字符；说明为何是误报，审计可追溯）"),
+    waiver_id: z.string().optional().describe("要撤销的豁免 id（remove 必填）"),
+    // 安全门控
+    confirm: z.boolean().optional().describe("waive/remove 必须传 true"),
+};
+/**
+ * sf_waiver 动作处理（handler 逻辑，提取为独立函数便于单测，仿 sf_task handleReset 模式）。
+ * @param args - 工具参数（action/domain/check_id/artifact_path/scope/reason/waiver_id/confirm）
+ * @param projectRoot - 项目根目录
+ */
+export async function handleWaiverAction(args, projectRoot) {
+    const action = args.action;
+    try {
+        const store = new WaiverStore(projectRoot);
+        // ── list：列出活跃豁免（可选按域过滤）──
+        if (action === "list") {
+            const domain = args.domain;
+            const waivers = await store.listActive(domain);
+            return { result: { success: true, count: waivers.length, waivers } };
+        }
+        // ── waive：创建豁免 ──
+        if (action === "waive") {
+            if (args.confirm !== true) {
+                return { result: { error: "sf_waiver waive 必须传入 confirm=true。" } };
+            }
+            const domain = args.domain;
+            if (!domain || !args.check_id || !args.reason) {
+                return { result: { error: "waive 时 domain/check_id/reason 必填" } };
+            }
+            // 防后门 1：合成结构检查不可豁免（硬规则优先挡，不依赖 reason——不可豁免的 check 无需用户编理由）
+            if (NON_WAIVABLE_CHECK_IDS.has(String(args.check_id))) {
+                return { result: { error: `check ${args.check_id} 为结构性硬检查（产物存在/完整性/引擎异常），不可豁免——须修复根因` } };
+            }
+            // 防敷衍：reason 须实质说明为何误报
+            if (String(args.reason).trim().length < 10) {
+                return { result: { error: "reason 至少 10 个字符——须说明为何是误报（审计可追溯，防敷衍/社交工程绕过）" } };
+            }
+            const scope = (args.scope ?? "exact");
+            if (scope === "exact" && !args.artifact_path) {
+                return { result: { error: "scope=exact 时 artifact_path 必填（精确豁免某产物某 check）；若要域内全局豁免用 scope=check_id" } };
+            }
+            // 防后门 4：scope=check_id 每域≤3（防域内全局豁免滥用）
+            if (scope === "check_id") {
+                const wide = await store.countCheckIdWide(domain);
+                if (wide >= 3) {
+                    return { result: { error: `域 ${domain} 已有 ${wide} 个 check_id-wide 豁免（上限 3）——请改用 scope=exact 精确豁免，或修复规则本身` } };
+                }
+            }
+            // 防后门 2：block_check 反退化硬门禁不可豁免（查 gate 定义）
+            const gates = buildGateFromRegistry(domain, projectRoot);
+            const targetCheck = gates.flatMap((g) => g.checks).find((c) => c.id === args.check_id);
+            if (targetCheck?.block_check) {
+                return { result: { error: `check ${args.check_id} 为 block_check 反退化硬门禁，不可豁免——防止"前详后空"结构退化被绕过` } };
+            }
+            // 通过全部校验 → 创建（快照 check_name + ruleset_hash 供 doctor 漂移检测）
+            const record = await store.create({
+                waiver_id: generateWaiverId(),
+                domain,
+                artifact_path: scope === "exact" ? args.artifact_path : undefined,
+                check_id: String(args.check_id),
+                check_name: targetCheck?.name,
+                scope,
+                reason: String(args.reason).trim(),
+                created_at: Date.now(),
+                created_by: "user",
+                ruleset_hash_at_creation: computeRulesetHash(domain, projectRoot),
+            });
+            return {
+                result: {
+                    success: true,
+                    waiver_id: record.waiver_id,
+                    message: `已豁免 ${args.check_id}（scope=${scope}）。下次 verify 起 waived 不阻断推进，但 finding 仍记录（标 waived=true）。请定期用 sf_doctor 复核活跃豁免。`,
+                },
+            };
+        }
+        // ── remove：撤销豁免（幂等）──
+        if (action === "remove") {
+            if (args.confirm !== true) {
+                return { result: { error: "sf_waiver remove 必须传入 confirm=true。" } };
+            }
+            if (!args.waiver_id) {
+                return { result: { error: "remove 时 waiver_id 必填" } };
+            }
+            const ok = await store.remove(String(args.waiver_id), args.reason);
+            if (!ok) {
+                return { result: { error: `未找到 waiver_id=${args.waiver_id}（可能已撤销或不存在）` } };
+            }
+            return { result: { success: true, message: `已撤销豁免 ${args.waiver_id}，下次 verify 起恢复阻断` } };
+        }
+        return { result: { error: `未知 action: ${action}` } };
+    }
+    catch (err) {
+        return {
+            result: {
+                success: false,
+                error: `sf_waiver ${action} 失败：${err instanceof Error ? err.message : String(err)}`,
+            },
+        };
+    }
+}
+export async function registerSfWaiverTools(ctx) {
+    const { registerSafeTool } = createToolRegistrar(ctx);
+    const projectRoot = ctx.projectPath;
+    registerSafeTool("sf_waiver", "门禁豁免管理。waive：创建豁免（需 confirm=true，reason≥10字符，安全类 check/block_check 不可豁免）。list：列出活跃豁免。remove：撤销豁免（需 confirm=true）。", sfWaiverSchema, async (args) => handleWaiverAction(args, projectRoot));
+}
+//# sourceMappingURL=sf_waiver.js.map

package/dist/server/tools/sf_waiver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sf_waiver.js","sourceRoot":"","sources":["../../../src/server/tools/sf_waiver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAEnG,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,0BAA0B;AAC1B,MAAM,cAAc,GAAG;IACrB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IACvF,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC;IAChG,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACnE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;IACtE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;IAC/G,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC7E,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACjE,OAAO;IACP,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;CAClE,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAA6B,EAC7B,WAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAqC,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,WAAW,CAAC,CAAC;QAE3C,2BAA2B;QAC3B,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAgC,CAAC;YACrD,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC/C,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;QACvE,CAAC;QAED,mBAAmB;QACnB,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC1B,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,oCAAoC,EAAE,EAAE,CAAC;YACrE,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAgC,CAAC;YACrD,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC9C,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,mCAAmC,EAAE,EAAE,CAAC;YACpE,CAAC;YACD,2DAA2D;YAC3D,IAAI,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACtD,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,IAAI,CAAC,QAAQ,qCAAqC,EAAE,EAAE,CAAC;YAC5F,CAAC;YACD,uBAAuB;YACvB,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;gBAC3C,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,8CAA8C,EAAE,EAAE,CAAC;YAC/E,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,OAAO,CAAyB,CAAC;YAC9D,IAAI,KAAK,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;gBAC7C,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,yEAAyE,EAAE,EAAE,CAAC;YAC1G,CAAC;YACD,uCAAuC;YACvC,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBAClD,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;oBACd,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,MAAM,OAAO,IAAI,yDAAyD,EAAE,EAAE,CAAC;gBAChH,CAAC;YACH,CAAC;YACD,0CAA0C;YAC1C,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACzD,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvF,IAAI,WAAW,EAAE,WAAW,EAAE,CAAC;gBAC7B,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,IAAI,CAAC,QAAQ,6CAA6C,EAAE,EAAE,CAAC;YACpG,CAAC;YACD,0DAA0D;YAC1D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC;gBAChC,SAAS,EAAE,gBAAgB,EAAE;gBAC7B,MAAM;gBACN,aAAa,EAAE,KAAK,KAAK,OAAO,CAAC,CAAC,CAAE,IAAI,CAAC,aAAwB,CAAC,CAAC,CAAC,SAAS;gBAC7E,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC/B,UAAU,EAAE,WAAW,EAAE,IAAI;gBAC7B,KAAK;gBACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;gBAClC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;gBACtB,UAAU,EAAE,MAAM;gBAClB,wBAAwB,EAAE,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC;aAClE,CAAC,CAAC;YACH,OAAO;gBACL,MAAM,EAAE;oBACN,OAAO,EAAE,IAAI;oBACb,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,OAAO,EAAE,OAAO,IAAI,CAAC,QAAQ,UAAU,KAAK,gFAAgF;iBAC7H;aACF,CAAC;QACJ,CAAC;QAED,uBAAuB;QACvB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC1B,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,qCAAqC,EAAE,EAAE,CAAC;YACtE,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACpB,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,uBAAuB,EAAE,EAAE,CAAC;YACxD,CAAC;YACD,MAAM,EAAE,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,MAA4B,CAAC,CAAC;YACzF,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,iBAAiB,IAAI,CAAC,SAAS,aAAa,EAAE,EAAE,CAAC;YAC7E,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,IAAI,CAAC,SAAS,kBAAkB,EAAE,EAAE,CAAC;QAC3F,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,MAAM,EAAE,EAAE,EAAE,CAAC;IACvD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE;gBACN,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,aAAa,MAAM,OAAO,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aACpF;SACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,GAA4B;IACtE,MAAM,EAAE,gBAAgB,EAAE,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IAEpC,gBAAgB,CACd,WAAW,EACX,mHAAmH,EACnH,cAAc,EACd,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAA+B,EAAE,WAAW,CAAC,CACjF,CAAC;AACJ,CAAC"}

package/dist/server/tools/sf_work.d.ts

@@ -12,5 +12,199 @@
  * 持久化：verify 时写 GateRecord
  */
 import type { ToolRegistrationContext } from "./middleware.js";
+import { DomainRegistry } from "../../domain/registry.js";
+import type { TaskContextManager } from "../../core/task_context.js";
+import type { TaskContext } from "../../types/index.js";
+import { type ReviewFinding } from "../../core/adversarial_review_store.js";
 export declare function registerSfWorkTools(ctx: ToolRegistrationContext): Promise<void>;
+/** act：组装 prompt */
+export declare function handleAct(engine: ReturnType<DomainRegistry["get"]>, task: TaskContext, args: Record<string, unknown>, projectRoot: string): Promise<{
+    result: {
+        success: boolean;
+        error: string;
+        gate_blocked?: undefined;
+        recovery_guide?: undefined;
+        next_domain?: undefined;
+        next_step?: undefined;
+        prompt?: undefined;
+        template?: undefined;
+        scope?: undefined;
+        self_review_checklist?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        error: string;
+        gate_blocked: boolean;
+        recovery_guide: {
+            summary: string;
+            steps: string[];
+            example_call: unknown;
+            bypass_condition: string;
+        } | undefined;
+        next_domain: string | undefined;
+        next_step: string;
+        prompt?: undefined;
+        template?: undefined;
+        scope?: undefined;
+        self_review_checklist?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        gate_blocked: boolean;
+        error: string;
+        next_step: string;
+        recovery_guide?: undefined;
+        next_domain?: undefined;
+        prompt?: undefined;
+        template?: undefined;
+        scope?: undefined;
+        self_review_checklist?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        prompt: string;
+        template: string;
+        scope: {
+            allowed_paths: string[];
+            read_only_paths: string[];
+        };
+        self_review_checklist: {
+            id: string;
+            title: string;
+        }[];
+        next_step: string;
+        error?: undefined;
+        gate_blocked?: undefined;
+        recovery_guide?: undefined;
+        next_domain?: undefined;
+    };
+}>;
+/** deliberate：组装产出前条件研讨 prompt（有疑问才触发头脑风暴+第一性原理，无疑问举证一行）。
+ *  产出研讨记录到 docs/deliberation/{domain}/{kind}-研讨记录.md，供后续 act 承接。
+ *  SoloForge 不调 LLM——只组装 prompt，AI 自己写研讨记录。 */
+export declare function handleDeliberate(engine: ReturnType<DomainRegistry["get"]>, task: TaskContext, args: Record<string, unknown>, projectRoot: string): Promise<{
+    result: {
+        success: boolean;
+        error: string;
+        prompt?: undefined;
+        template?: undefined;
+        scope?: undefined;
+        next_step?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        prompt: string;
+        template: string;
+        scope: {
+            allowed_paths: string[];
+            read_only_paths: string[];
+        };
+        next_step: string;
+        error?: undefined;
+    };
+}>;
+/** adversarial_review：对抗性独立审查（per-artifact 单产物 / cross-artifact 跨产物一致性）。
+ *  SoloForge 不调 LLM——只组装 prompt 返回，AI 用独立 session/subagent 执行（避免确认偏见）。
+ *  K 次独立采样取交集：K=REVIEW_SAMPLE_K 轮独立审查，每轮不参考前轮结论，完成后取多数交集。
+ *  确定性边界原则：findings 留痕不阻断——放弃"零 error 收敛"（LLM 裁判不可收敛），act 只校验"审过"。
+ *  多利益方独立对抗：用户/攻击者/维护者/性能/合规 各自独立目标函数，避免单一视角确认偏见。 */
+export declare function handleAdversarialReview(projectRoot: string, task: TaskContext, args: Record<string, unknown>, _taskContext: TaskContextManager): Promise<{
+    result: {
+        success: boolean;
+        action: string;
+        review_id: string;
+        round: number;
+        mode: "per_artifact" | "cross_artifact";
+        review_mode: string;
+        artifact_count: number;
+        artifacts: string[];
+        prompt: string;
+        next_step: string;
+        error?: undefined;
+        review_status?: undefined;
+        sample_k?: undefined;
+        round_summary?: undefined;
+        intersection_count?: undefined;
+        intersection_findings?: undefined;
+        retained_count?: undefined;
+        completed?: undefined;
+        rounds_completed?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        error: string;
+        action?: undefined;
+        review_id?: undefined;
+        round?: undefined;
+        mode?: undefined;
+        review_mode?: undefined;
+        artifact_count?: undefined;
+        artifacts?: undefined;
+        prompt?: undefined;
+        next_step?: undefined;
+        review_status?: undefined;
+        sample_k?: undefined;
+        round_summary?: undefined;
+        intersection_count?: undefined;
+        intersection_findings?: undefined;
+        retained_count?: undefined;
+        completed?: undefined;
+        rounds_completed?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        action: string;
+        review_id: string;
+        round: number;
+        review_status: string;
+        sample_k: number;
+        round_summary: {
+            errors: number;
+            warnings: number;
+        };
+        intersection_count: number;
+        intersection_findings: ReviewFinding[];
+        retained_count: number;
+        completed: boolean;
+        next_step: string;
+        mode?: undefined;
+        review_mode?: undefined;
+        artifact_count?: undefined;
+        artifacts?: undefined;
+        prompt?: undefined;
+        error?: undefined;
+        rounds_completed?: undefined;
+    };
+} | {
+    result: {
+        success: boolean;
+        action: string;
+        review_id: string;
+        round: number;
+        review_status: string;
+        rounds_completed: number;
+        sample_k: number;
+        round_summary: {
+            errors: number;
+            warnings: number;
+        };
+        prompt: string;
+        next_step: string;
+        mode?: undefined;
+        review_mode?: undefined;
+        artifact_count?: undefined;
+        artifacts?: undefined;
+        error?: undefined;
+        intersection_count?: undefined;
+        intersection_findings?: undefined;
+        retained_count?: undefined;
+        completed?: undefined;
+    };
+}>;
 //# sourceMappingURL=sf_work.d.ts.map

package/dist/server/tools/sf_work.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sf_work.d.ts","sourceRoot":"","sources":["../../../src/server/tools/sf_work.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAmC/D,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC,CAwErF"}
+{"version":3,"file":"sf_work.d.ts","sourceRoot":"","sources":["../../../src/server/tools/sf_work.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAG/D,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAExD,OAAO,EAML,KAAK,aAAa,EAGnB,MAAM,wCAAwC,CAAC;AAkChD,wBAAsB,mBAAmB,CAAC,GAAG,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC,CA8ErF;AAoCD,oBAAoB;AACpB,wBAAsB,SAAS,CAC7B,MAAM,EAAE,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EACzC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,WAAW,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2LpB;AAED;;+CAE+C;AAC/C,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EACzC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,WAAW,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;GAmBpB;AAsUD;;;;qDAIqD;AACrD,wBAAsB,uBAAuB,CAC3C,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,YAAY,EAAE,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmHjC"}