@qlingzzy/qling 1.0.0 → 1.1.0

package/dist/execution/staged-verifier.d.ts

@@ -0,0 +1,33 @@
+export type VerificationStageName = "syntax_type" | "affected_tests" | "configured" | "full_gate";
+export interface VerificationStage {
+    name: VerificationStageName;
+    command: string;
+}
+export interface VerificationResult {
+    ok: boolean;
+    stages: Array<{
+        name: VerificationStageName;
+        command: string;
+        code: number;
+        durationMs: number;
+    }>;
+    failedStage?: VerificationStageName;
+    failingTests: string[];
+    stdout: string;
+    stderr: string;
+}
+export declare class StagedVerifier {
+    private readonly execute;
+    private readonly now;
+    constructor(options: {
+        execute: (command: string) => Promise<{
+            code: number;
+            stdout: string;
+            stderr: string;
+        }>;
+        now?: () => number;
+    });
+    run(stages: VerificationStage[]): Promise<VerificationResult>;
+}
+export declare function extractFailingTests(output: string): string[];
+//# sourceMappingURL=staged-verifier.d.ts.map

package/dist/execution/staged-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"staged-verifier.d.ts","sourceRoot":"","sources":["../../src/execution/staged-verifier.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,qBAAqB,GAAG,aAAa,GAAG,gBAAgB,GAAG,YAAY,GAAG,WAAW,CAAC;AAElG,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,qBAAqB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAClG,WAAW,CAAC,EAAE,qBAAqB,CAAC;IACpC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiF;IACzG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;gBAEvB,OAAO,EAAE;QACnB,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACxF,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;KACpB;IAKK,GAAG,CAAC,MAAM,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC;CAmBpE;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAS5D"}

package/dist/execution/staged-verifier.js

@@ -0,0 +1,39 @@
+export class StagedVerifier {
+    execute;
+    now;
+    constructor(options) {
+        this.execute = options.execute;
+        this.now = options.now ?? (() => Date.now());
+    }
+    async run(stages) {
+        const completed = [];
+        for (const stage of stages) {
+            const startedAt = this.now();
+            const result = await this.execute(stage.command);
+            completed.push({ name: stage.name, command: stage.command, code: result.code, durationMs: this.now() - startedAt });
+            if (result.code !== 0) {
+                return {
+                    ok: false,
+                    stages: completed,
+                    failedStage: stage.name,
+                    failingTests: extractFailingTests(`${result.stdout}\n${result.stderr}`),
+                    stdout: result.stdout,
+                    stderr: result.stderr,
+                };
+            }
+        }
+        return { ok: true, stages: completed, failingTests: [], stdout: "", stderr: "" };
+    }
+}
+export function extractFailingTests(output) {
+    const names = new Set();
+    for (const line of output.split(/\r?\n/)) {
+        const fail = line.match(/^\s*FAIL\s+(.+?)\s*$/i);
+        if (fail)
+            names.add(fail[1].trim());
+        const nodeTest = line.match(/^\s*not ok\s+\d+\s+-\s+(.+?)\s*$/i);
+        if (nodeTest)
+            names.add(nodeTest[1].trim());
+    }
+    return [...names].sort();
+}

package/dist/execution/types.d.ts

@@ -0,0 +1,58 @@
+export type ExecutionRunStatus = "queued" | "running" | "awaiting_approval" | "recovering" | "paused" | "succeeded" | "failed" | "canceled";
+export type FailureCategory = "provider_transient" | "provider_terminal" | "invalid_tool_arguments" | "permission_required" | "permission_denied" | "sandbox_denied" | "tool_not_found" | "tool_execution" | "verification_failed" | "context_exhausted" | "repeated_action" | "no_progress" | "user_canceled";
+export interface ProgressSnapshot {
+    diffHash?: string;
+    failingTests?: string[];
+    completedTodos?: number;
+    changed?: boolean;
+    /** Basename-only list of modified paths (no full workspace leak). */
+    changedFiles?: string[];
+    /** Recovery strategies already attempted when this snapshot was recorded. */
+    attemptedStrategies?: string[];
+    currentStrategy?: string;
+}
+export interface FailureClassification {
+    category: FailureCategory;
+    message: string;
+    tool?: string;
+    targetPath?: string;
+    verificationCommand?: string;
+    fingerprint?: string;
+}
+export interface ExecutionEvent {
+    eventId: string;
+    runId: string;
+    sessionId?: string;
+    attemptId?: string;
+    toolCallId?: string;
+    type: string;
+    timestamp: number;
+    stage?: string;
+    status?: ExecutionRunStatus;
+    tool?: string;
+    category?: FailureCategory;
+    fingerprint?: string;
+    durationMs?: number;
+    progress?: ProgressSnapshot;
+    recoveryAction?: string;
+}
+export interface RecoveryDecision {
+    action: "recover" | "pause" | "fail";
+    category?: FailureCategory;
+    reason: string;
+    remainingStrategyAttempts: number;
+    recommendedStrategy?: string;
+}
+export interface RecoveryState {
+    runId: string;
+    sessionId: string;
+    originalTask: string;
+    status: "running" | "recovering" | "paused" | "failed" | "canceled";
+    strategyAttempts: number;
+    remainingStrategyAttempts: number;
+    currentStrategy?: string;
+    attemptedStrategies: string[];
+    lastFailure?: FailureClassification;
+    lastProgress?: ProgressSnapshot;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/execution/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/execution/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,GACR,SAAS,GACT,mBAAmB,GACnB,YAAY,GACZ,QAAQ,GACR,WAAW,GACX,QAAQ,GACR,UAAU,CAAC;AAEf,MAAM,MAAM,eAAe,GACvB,oBAAoB,GACpB,mBAAmB,GACnB,wBAAwB,GACxB,qBAAqB,GACrB,mBAAmB,GACnB,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,GAChB,qBAAqB,GACrB,mBAAmB,GACnB,iBAAiB,GACjB,aAAa,GACb,eAAe,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,qEAAqE;IACrE,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,6EAA6E;IAC7E,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC/B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,eAAe,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,SAAS,GAAG,OAAO,GAAG,MAAM,CAAC;IACrC,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,yBAAyB,EAAE,MAAM,CAAC;IAClC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,GAAG,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IACpE,gBAAgB,EAAE,MAAM,CAAC;IACzB,yBAAyB,EAAE,MAAM,CAAC;IAClC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,WAAW,CAAC,EAAE,qBAAqB,CAAC;IACpC,YAAY,CAAC,EAAE,gBAAgB,CAAC;CACjC"}

package/dist/execution/types.js

@@ -0,0 +1 @@
+export {};

package/dist/execution/verification-loop.d.ts

@@ -0,0 +1,58 @@
+import type { Message } from "../types.js";
+import type { VerificationAgent } from "../pipeline/verification.js";
+import type { RecoveryController } from "./recovery-controller.js";
+import type { ExecutionEventBus } from "./event-bus.js";
+import type { ProgressSnapshot, RecoveryState } from "./types.js";
+import type { PreparedToolCall } from "../agent/tool-orchestrator.js";
+export type ShellResult = {
+    code: number;
+    stdout: string;
+    stderr: string;
+};
+export declare function runShellCommand(cmd: string, cwd: string): Promise<ShellResult>;
+export declare function getWorkspaceDiffHash(runCommand: (cmd: string) => Promise<ShellResult>): Promise<string>;
+export declare function getWorkspaceChangedFiles(runCommand: (cmd: string) => Promise<ShellResult>): Promise<string[]>;
+export declare function buildVerificationProgress(failingTests: string[], runCommand: (cmd: string) => Promise<ShellResult>): Promise<ProgressSnapshot>;
+export declare function persistVerificationCommand(workspaceDir: string, verificationCommand: string | null): Promise<void>;
+export declare function loadVerificationCommand(workspaceDir: string): Promise<string | null>;
+export declare function runAdvisoryVerification(options: {
+    messages: Message[];
+    verifier: VerificationAgent;
+    emit: (event: string, ...args: unknown[]) => void;
+}): Promise<void>;
+export type WriteVerificationOutcome = {
+    kind: "noop";
+} | {
+    kind: "pass";
+    summary: string;
+} | {
+    kind: "advisory";
+} | {
+    kind: "recover";
+    userMessage: string;
+    strategy: string;
+    strategyAttempts: number;
+    failureMessage: string;
+} | {
+    kind: "pause";
+    text: string;
+};
+export interface WriteVerificationDeps {
+    verificationCommand: string | null;
+    runCommand: (cmd: string) => Promise<ShellResult>;
+    recoveryController: RecoveryController;
+    executionEventBus: ExecutionEventBus;
+    emit: (event: string, ...args: unknown[]) => void;
+    getRecoveryState: () => RecoveryState | null;
+    verifier: VerificationAgent;
+    messages: Message[];
+    runId: string;
+}
+/**
+ * After write/patch/bash tools: staged verification or advisory.
+ * Mutates nothing except via recovery controller / event bus / emit callbacks.
+ * Caller applies recover/pause side effects on messages and attempt status.
+ */
+export declare function runWriteToolVerification(preparedCalls: PreparedToolCall[], deps: WriteVerificationDeps): Promise<WriteVerificationOutcome>;
+export declare function stagesSummary(verificationCommand: string | null): string;
+//# sourceMappingURL=verification-loop.d.ts.map

package/dist/execution/verification-loop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-loop.d.ts","sourceRoot":"","sources":["../../src/execution/verification-loop.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAOrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAMlE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAO9E;AAED,wBAAsB,oBAAoB,CACxC,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,GAChD,OAAO,CAAC,MAAM,CAAC,CAIjB;AAED,wBAAsB,wBAAwB,CAC5C,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,GAChD,OAAO,CAAC,MAAM,EAAE,CAAC,CAcnB;AAED,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,EAAE,EACtB,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,GAChD,OAAO,CAAC,gBAAgB,CAAC,CAW3B;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,mBAAmB,EAAE,MAAM,GAAG,IAAI,GACjC,OAAO,CAAC,IAAI,CAAC,CAiBf;AAED,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAaxB;AAED,wBAAsB,uBAAuB,CAAC,OAAO,EAAE;IACrD,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC;CACnD,GAAG,OAAO,CAAC,IAAI,CAAC,CAqBhB;AAED,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;CACxB,GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpC,MAAM,WAAW,qBAAqB;IACpC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAClD,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC;IAClD,gBAAgB,EAAE,MAAM,aAAa,GAAG,IAAI,CAAC;IAC7C,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,aAAa,EAAE,gBAAgB,EAAE,EACjC,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,wBAAwB,CAAC,CA2FnC;AAED,wBAAgB,aAAa,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAIxE"}

package/dist/execution/verification-loop.js

@@ -0,0 +1,195 @@
+// ============================================================
+// 写操作验证闭环（从 AgentLoop 抽出）
+// StagedVerifier 驱动恢复；无 stage 时仅 advisory
+// ============================================================
+import { createHash } from "node:crypto";
+import { exec } from "node:child_process";
+import { existsSync } from "node:fs";
+import * as fs from "node:fs/promises";
+import * as path from "node:path";
+import { StagedVerifier } from "./staged-verifier.js";
+import { formatVerificationStagesSummary, resolveVerificationStages, } from "./verification-stages.js";
+import { classifyFailure } from "./failure-classifier.js";
+import { buildVerificationFailureUserMessage, formatRecoveryInstruction, formatRecoveryPause, } from "./recovery-messages.js";
+export function runShellCommand(cmd, cwd) {
+    return new Promise((resolve) => {
+        exec(cmd, { cwd }, (error, stdout, stderr) => {
+            const code = error ? (error.code ?? 1) : 0;
+            resolve({ code, stdout, stderr });
+        });
+    });
+}
+export async function getWorkspaceDiffHash(runCommand) {
+    const result = await runCommand("git diff --no-ext-diff --binary");
+    const content = result.code === 0 ? result.stdout : "git-unavailable";
+    return createHash("sha256").update(content).digest("hex").slice(0, 20);
+}
+export async function getWorkspaceChangedFiles(runCommand) {
+    const result = await runCommand("git status --porcelain");
+    if (result.code !== 0 || !result.stdout.trim())
+        return [];
+    const names = new Set();
+    for (const line of result.stdout.split(/\r?\n/)) {
+        const trimmed = line.trim();
+        if (!trimmed)
+            continue;
+        const body = trimmed.slice(2).trim();
+        const pathPart = body.includes(" -> ") ? body.split(" -> ").pop() : body;
+        const base = path.basename(pathPart.replace(/^"+|"+$/g, ""));
+        if (base)
+            names.add(base);
+        if (names.size >= 20)
+            break;
+    }
+    return [...names].sort();
+}
+export async function buildVerificationProgress(failingTests, runCommand) {
+    const [diffHash, changedFiles] = await Promise.all([
+        getWorkspaceDiffHash(runCommand),
+        getWorkspaceChangedFiles(runCommand),
+    ]);
+    return {
+        diffHash,
+        failingTests: [...failingTests],
+        changedFiles,
+        changed: changedFiles.length > 0,
+    };
+}
+export async function persistVerificationCommand(workspaceDir, verificationCommand) {
+    const filePath = path.join(workspaceDir, ".qling-verify.json");
+    try {
+        if (verificationCommand) {
+            await fs.writeFile(filePath, JSON.stringify({ verificationCommand }, null, 2), "utf-8");
+        }
+        else if (existsSync(filePath)) {
+            await fs.unlink(filePath);
+        }
+    }
+    catch (err) {
+        console.error("[verification] Failed to persist verification command: " + err.message);
+    }
+}
+export async function loadVerificationCommand(workspaceDir) {
+    const filePath = path.join(workspaceDir, ".qling-verify.json");
+    if (!existsSync(filePath))
+        return null;
+    try {
+        const content = await fs.readFile(filePath, "utf-8");
+        const data = JSON.parse(content);
+        return data.verificationCommand ?? null;
+    }
+    catch (err) {
+        console.error("[verification] Failed to load verification command: " + err.message);
+        return null;
+    }
+}
+export async function runAdvisoryVerification(options) {
+    const toolMsgs = options.messages.filter((m) => m.role === "tool");
+    if (toolMsgs.length === 0)
+        return;
+    try {
+        const lastResult = JSON.parse(toolMsgs[toolMsgs.length - 1].content);
+        const vr = await options.verifier.verify("文件操作/Bash执行", "操作成功完成", lastResult.output);
+        const icon = vr.verdict === "PASS" ? "✅" : vr.verdict === "FAIL" ? "❌" : "⚠️";
+        console.error(icon + " 旁路验证(非恢复驱动): " + vr.verdict);
+        if (vr.verdict !== "PASS") {
+            console.error("   详情: " + vr.details);
+            console.error("   提示: 设置 /verify set 或 QLING_VERIFY_* 以启用命令级恢复验证");
+        }
+        options.emit("verification", vr.verdict, vr.details ?? vr.verdict);
+    }
+    catch {
+        // ignore advisory failures
+    }
+}
+/**
+ * After write/patch/bash tools: staged verification or advisory.
+ * Mutates nothing except via recovery controller / event bus / emit callbacks.
+ * Caller applies recover/pause side effects on messages and attempt status.
+ */
+export async function runWriteToolVerification(preparedCalls, deps) {
+    const hasWrites = preparedCalls.some((t) => t.call.name === "write" || t.call.name === "patch" || t.call.name === "bash");
+    if (!hasWrites)
+        return { kind: "noop" };
+    const stages = resolveVerificationStages({
+        configuredCommand: deps.verificationCommand,
+    });
+    if (stages.length === 0) {
+        await runAdvisoryVerification({
+            messages: deps.messages,
+            verifier: deps.verifier,
+            emit: deps.emit,
+        });
+        return { kind: "advisory" };
+    }
+    const stagedVerifier = new StagedVerifier({ execute: (command) => deps.runCommand(command) });
+    const verification = await stagedVerifier.run(stages);
+    if (verification.ok) {
+        const summary = formatVerificationStagesSummary(stages);
+        deps.emit("verification", "PASS", `验证通过: ${summary}`);
+        return { kind: "pass", summary };
+    }
+    const failedCommand = stages.find((stage) => stage.name === verification.failedStage)?.command ??
+        stages.map((stage) => stage.command).join(" && ");
+    const failure = classifyFailure(new Error(`verification command failed: ${failedCommand}`), {
+        tool: "verify",
+        verificationCommand: failedCommand,
+    });
+    const progress = await buildVerificationProgress(verification.failingTests, deps.runCommand);
+    const decision = deps.recoveryController.recordFailure(failure, progress);
+    const state = deps.recoveryController.getRecoveryState();
+    const progressWithStrategy = {
+        ...progress,
+        attemptedStrategies: state.attemptedStrategies,
+        currentStrategy: state.currentStrategy,
+    };
+    deps.executionEventBus.emit({
+        runId: state.runId,
+        sessionId: state.sessionId,
+        type: "verification_failed",
+        status: decision.action === "pause" ? "paused" : "recovering",
+        stage: verification.failedStage,
+        tool: "verify",
+        category: decision.category,
+        fingerprint: failure.fingerprint,
+        progress: progressWithStrategy,
+        recoveryAction: decision.recommendedStrategy ?? decision.action,
+    });
+    if (decision.action === "pause") {
+        deps.executionEventBus.completeAttempt(deps.runId, "failed");
+        deps.emit("recovery_paused", state, decision);
+        return {
+            kind: "pause",
+            text: formatRecoveryPause({
+                reason: verification.stderr || verification.stdout,
+                next: decision.reason,
+                state,
+                verificationStagesSummary: formatVerificationStagesSummary(stages),
+            }),
+        };
+    }
+    const strategy = decision.recommendedStrategy ?? "targeted_verification_repair";
+    const instruction = formatRecoveryInstruction(failure, strategy);
+    const userMessage = buildVerificationFailureUserMessage({
+        failedStage: verification.failedStage,
+        failedCommand,
+        failingTests: verification.failingTests,
+        changedFiles: progress.changedFiles ?? [],
+        fingerprint: failure.fingerprint,
+        attemptedStrategies: state.attemptedStrategies,
+        strategy,
+        stdout: verification.stdout.slice(-2_000),
+        stderr: verification.stderr.slice(-2_000),
+        instructionBody: instruction.split("\n").slice(1).join("\n"),
+    });
+    return {
+        kind: "recover",
+        userMessage,
+        strategy,
+        strategyAttempts: state.strategyAttempts,
+        failureMessage: failure.message,
+    };
+}
+export function stagesSummary(verificationCommand) {
+    return formatVerificationStagesSummary(resolveVerificationStages({ configuredCommand: verificationCommand }));
+}

package/dist/execution/verification-stages.d.ts

@@ -0,0 +1,17 @@
+import type { VerificationStage } from "./staged-verifier.js";
+/**
+ * Resolve ordered verification stages for write recovery.
+ *
+ * Sources (later stages append; configured command always last when set):
+ * 1. `QLING_VERIFY_STAGES` — JSON array of `{name,command}` or `name=command;name=command`
+ * 2. Convenience env: `QLING_VERIFY_TYPECHECK_CMD`, `QLING_VERIFY_TEST_CMD`, `QLING_VERIFY_FULL_CMD`
+ * 3. Session/workspace `configuredCommand` from `/verify set` or `.qling-verify.json`
+ */
+export declare function resolveVerificationStages(options: {
+    configuredCommand?: string | null;
+    env?: NodeJS.ProcessEnv | Record<string, string | undefined>;
+}): VerificationStage[];
+export declare function parseVerifyStagesEnv(raw: string): VerificationStage[];
+/** Summarize stages for doctor / status output. */
+export declare function formatVerificationStagesSummary(stages: VerificationStage[]): string;
+//# sourceMappingURL=verification-stages.d.ts.map

package/dist/execution/verification-stages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-stages.d.ts","sourceRoot":"","sources":["../../src/execution/verification-stages.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,iBAAiB,EAAyB,MAAM,sBAAsB,CAAC;AASrF;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE;IACjD,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;CAC9D,GAAG,iBAAiB,EAAE,CA2BtB;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAsCrE;AAYD,mDAAmD;AACnD,wBAAgB,+BAA+B,CAAC,MAAM,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAGnF"}

package/dist/execution/verification-stages.js

@@ -0,0 +1,102 @@
+// ============================================================
+// 统一验证阶段解析：写操作恢复闭环只走 StagedVerifier
+// ============================================================
+const KNOWN_STAGE_NAMES = new Set([
+    "syntax_type",
+    "affected_tests",
+    "configured",
+    "full_gate",
+]);
+/**
+ * Resolve ordered verification stages for write recovery.
+ *
+ * Sources (later stages append; configured command always last when set):
+ * 1. `QLING_VERIFY_STAGES` — JSON array of `{name,command}` or `name=command;name=command`
+ * 2. Convenience env: `QLING_VERIFY_TYPECHECK_CMD`, `QLING_VERIFY_TEST_CMD`, `QLING_VERIFY_FULL_CMD`
+ * 3. Session/workspace `configuredCommand` from `/verify set` or `.qling-verify.json`
+ */
+export function resolveVerificationStages(options) {
+    const env = options.env ?? process.env;
+    const stages = [];
+    const seen = new Set();
+    const push = (name, command) => {
+        const cmd = String(command ?? "").trim();
+        if (!cmd)
+            return;
+        const key = `${name}::${cmd}`;
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        stages.push({ name, command: cmd });
+    };
+    const rawStages = String(env.QLING_VERIFY_STAGES ?? "").trim();
+    if (rawStages) {
+        for (const stage of parseVerifyStagesEnv(rawStages)) {
+            push(stage.name, stage.command);
+        }
+    }
+    push("syntax_type", env.QLING_VERIFY_TYPECHECK_CMD);
+    push("affected_tests", env.QLING_VERIFY_TEST_CMD);
+    push("full_gate", env.QLING_VERIFY_FULL_CMD);
+    push("configured", options.configuredCommand ?? undefined);
+    return stages;
+}
+export function parseVerifyStagesEnv(raw) {
+    const trimmed = raw.trim();
+    if (!trimmed)
+        return [];
+    if (trimmed.startsWith("[")) {
+        try {
+            const parsed = JSON.parse(trimmed);
+            if (!Array.isArray(parsed))
+                return [];
+            return parsed
+                .map((item) => normalizeStage(item?.name, item?.command))
+                .filter((item) => item !== null);
+        }
+        catch {
+            return [];
+        }
+    }
+    // name=command;name=command  or  name:command|name:command
+    const parts = trimmed.split(/[;|]/).map((part) => part.trim()).filter(Boolean);
+    const stages = [];
+    for (const part of parts) {
+        const eq = part.indexOf("=");
+        const colon = part.indexOf(":");
+        let name = "";
+        let command = "";
+        if (eq > 0) {
+            name = part.slice(0, eq).trim();
+            command = part.slice(eq + 1).trim();
+        }
+        else if (colon > 0) {
+            name = part.slice(0, colon).trim();
+            command = part.slice(colon + 1).trim();
+        }
+        else {
+            command = part;
+            name = "configured";
+        }
+        const stage = normalizeStage(name, command);
+        if (stage)
+            stages.push(stage);
+    }
+    return stages;
+}
+function normalizeStage(nameRaw, commandRaw) {
+    const command = String(commandRaw ?? "").trim();
+    if (!command)
+        return null;
+    const name = String(nameRaw ?? "configured").trim().toLowerCase().replace(/-/g, "_");
+    const mapped = KNOWN_STAGE_NAMES.has(name)
+        ? name
+        : "configured";
+    return { name: mapped, command };
+}
+/** Summarize stages for doctor / status output. */
+export function formatVerificationStagesSummary(stages) {
+    if (stages.length === 0)
+        return "none（写操作后无命令验证；仅 advisory 规则提示）";
+    return stages.map((stage) => `${stage.name}=${stage.command}`).join(" → ");
+}

package/dist/help-topics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"help-topics.d.ts","sourceRoot":"","sources":["../src/help-topics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,CAAC;AAE1C,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAkVD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI,CAI5E;AAiCD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,OAAO,GAAE,kBAAuB,GAAG,MAAM,EAAE,CAoD1G"}
+{"version":3,"file":"help-topics.d.ts","sourceRoot":"","sources":["../src/help-topics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,CAAC;AAE1C,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AA6VD,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI,CAI5E;AAiCD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,OAAO,GAAE,kBAAuB,GAAG,MAAM,EAAE,CAoD1G"}

package/dist/help-topics.js

@@ -32,6 +32,17 @@ const TOPICS = [
         cliExamples: [],
         boundary: "Plan Mode 仅当前进程生效；写工具由权限层拒绝；/plan off 恢复 agent 模式。",
     },
+    {
+        id: "mode",
+        title: "Agent 执行模式",
+        summary: "查看或循环 Agent/ask、Plan 与 Agent/allow（Always Agree）。",
+        aliases: ["mode", "/mode", "模式", "/模式"],
+        slashUsage: "/mode [status|cycle]",
+        cliUsage: "仅 TUI：Shift+Tab 或 slash 命令",
+        slashExamples: ["/mode", "/mode cycle", "/模式 cycle"],
+        cliExamples: [],
+        boundary: "只影响当前进程；Plan Mode 优先于 allow，仍会拒绝写工具；不写默认配置。",
+    },
     {
         id: "diff",
         title: "Git 变更摘要",

package/dist/index.js

@@ -581,7 +581,6 @@ async function main() {
             workspaceDir: loaded.config.runtime.workspace_dir ?? process.cwd(),
             stateDir: loaded.config.runtime.file_state_dir,
             cacheDir: loaded.config.runtime.file_cache_dir,
-            maxTokens: loaded.config.runtime.max_token_budget,
         });
         console.log(formatContextReport(report).join("\n"));
         return;
@@ -655,7 +654,6 @@ async function main() {
             workspaceDir: loaded.config.runtime.workspace_dir,
             model: loaded.config.llm.model,
             permissionMode: loaded.config.guard.permissions.default,
-            maxTokens: loaded.config.runtime.max_token_budget,
             costPer1kTokens: parseStatusLineCostPer1k(process.env.QLING_STATUSLINE_COST_PER_1K_TOKENS),
         });
         console.log("");
@@ -910,18 +908,12 @@ async function main() {
         model: loaded.config.llm.model,
         maxIterations: loaded.config.runtime.max_steps,
         tools,
-        tokenBudget: {
-            maxTokens: loaded.config.runtime.max_token_budget,
-            totalBudget: loaded.config.runtime.max_token_budget,
-            nudgeThreshold: 0.2,
-        },
         runtime: {
             workspaceDir: loaded.config.runtime.workspace_dir,
             fileCacheDir: loaded.config.runtime.file_cache_dir,
             fileStateDir: loaded.config.runtime.file_state_dir,
             maxSteps: loaded.config.runtime.max_steps,
             parseRetries: loaded.config.runtime.parse_retries,
-            maxTokenBudget: loaded.config.runtime.max_token_budget,
             toolRepeatLimit: loaded.config.runtime.tool_repeat_limit,
             timeoutMs: loaded.config.runtime.timeout_ms,
         },

package/dist/lsp/ts-service.d.ts

@@ -0,0 +1,36 @@
+export type TsModule = typeof import("typescript");
+export interface LspLocation {
+    file: string;
+    line: number;
+    character: number;
+    preview?: string;
+}
+export interface LspHoverResult {
+    display: string;
+    documentation: string;
+}
+export interface LspSymbolItem {
+    name: string;
+    kind: string;
+    line: number;
+    character: number;
+}
+export declare function isLspEnabled(env?: NodeJS.ProcessEnv | Record<string, string | undefined>): boolean;
+export declare function loadTypeScript(): Promise<TsModule | null>;
+interface ServiceBundle {
+    ts: TsModule;
+    service: import("typescript").LanguageService;
+    workspaceDir: string;
+    dispose: () => void;
+}
+export declare function getTsService(ts: TsModule, workspaceDir: string): ServiceBundle;
+export declare function resetTsServiceCache(): void;
+export declare function lspDefinition(bundle: ServiceBundle, absFile: string, line: number, character: number): LspLocation[];
+export declare function lspHover(bundle: ServiceBundle, absFile: string, line: number, character: number): LspHoverResult | null;
+export declare function lspReferences(bundle: ServiceBundle, absFile: string, line: number, character: number, limit?: number): LspLocation[];
+export declare function lspDocumentSymbols(bundle: ServiceBundle, absFile: string, limit?: number): LspSymbolItem[];
+/** 无 tsconfig 时：为单文件创建临时 service */
+export declare function getOrCreateServiceForFile(ts: TsModule, workspaceDir: string, absFile: string): ServiceBundle;
+export declare function resolveAbsFile(workspaceDir: string, filePath: string): string;
+export {};
+//# sourceMappingURL=ts-service.d.ts.map

package/dist/lsp/ts-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-service.d.ts","sourceRoot":"","sources":["../../src/lsp/ts-service.ts"],"names":[],"mappings":"AAQA,MAAM,MAAM,QAAQ,GAAG,cAAc,YAAY,CAAC,CAAC;AAEnD,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,YAAY,CAC1B,GAAG,GAAE,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GACxE,OAAO,CAGT;AAED,wBAAsB,cAAc,IAAI,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,CAO/D;AA4BD,UAAU,aAAa;IACrB,EAAE,EAAE,QAAQ,CAAC;IACb,OAAO,EAAE,OAAO,YAAY,EAAE,eAAe,CAAC;IAC9C,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,IAAI,CAAC;CACrB;AAqFD,wBAAgB,YAAY,CAC1B,EAAE,EAAE,QAAQ,EACZ,YAAY,EAAE,MAAM,GACnB,aAAa,CAQf;AAED,wBAAgB,mBAAmB,IAAI,IAAI,CAS1C;AAOD,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,GAChB,WAAW,EAAE,CAqBf;AAED,wBAAgB,QAAQ,CACtB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,GAChB,cAAc,GAAG,IAAI,CAUvB;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,KAAK,SAAK,GACT,WAAW,EAAE,CAkBf;AAED,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,MAAM,EACf,KAAK,SAAK,GACT,aAAa,EAAE,CAyBjB;AAED,oCAAoC;AACpC,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,QAAQ,EACZ,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,GACd,aAAa,CAgEf;AAED,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAM7E"}