@itsthelore/proofkeeper 2026.6.0

package/dist/agent/tools.js

@@ -0,0 +1,257 @@
+/**
+ * The tool surface the autonomous drive exposes to the BYO model, and the
+ * parsing of a model's tool-call arguments back into the typed IR.
+ *
+ * Each tool maps one-to-one onto a {@link Recorder} action, so the model drives
+ * the product through exactly the vocabulary the compiler can emit — nothing
+ * the recorder cannot capture, and nothing the emitter cannot render.
+ */
+/** JSON Schema for a {@link Locator} argument, shared across tools. */
+const LOCATOR_SCHEMA = {
+    type: "object",
+    description: "How to find the element. Prefer role, testId, or text over css.",
+    properties: {
+        strategy: { type: "string", enum: ["role", "testId", "text", "label", "css"] },
+        role: { type: "string", description: "ARIA role, e.g. 'button' (strategy=role)" },
+        name: { type: "string", description: "Accessible name (strategy=role)" },
+        testId: { type: "string", description: "data-testid value (strategy=testId)" },
+        text: { type: "string", description: "Visible text (strategy=text)" },
+        label: { type: "string", description: "Form label (strategy=label)" },
+        selector: { type: "string", description: "CSS selector (strategy=css)" },
+    },
+    required: ["strategy"],
+};
+function withLocator(extra = {}, required = []) {
+    return {
+        type: "object",
+        properties: { locator: LOCATOR_SCHEMA, ...extra },
+        required: ["locator", ...required],
+    };
+}
+/** The tools advertised to the model each turn. Names map to Recorder methods. */
+export const DRIVE_TOOLS = [
+    {
+        name: "navigate",
+        description: "Go to a URL.",
+        inputSchema: {
+            type: "object",
+            properties: { url: { type: "string", description: "Absolute URL to navigate to" } },
+            required: ["url"],
+        },
+    },
+    { name: "click", description: "Click an element.", inputSchema: withLocator() },
+    {
+        name: "fill",
+        description: "Fill a text input.",
+        inputSchema: withLocator({ value: { type: "string", description: "Text to type" } }, ["value"]),
+    },
+    { name: "check", description: "Check a checkbox or radio.", inputSchema: withLocator() },
+    {
+        name: "press",
+        description: "Press a key on an element.",
+        inputSchema: withLocator({ key: { type: "string", description: "Key name, e.g. 'Enter'" } }, ["key"]),
+    },
+    {
+        name: "expect_text",
+        description: "Assert an element has exactly this text — record an observable outcome.",
+        inputSchema: withLocator({ text: { type: "string", description: "Expected exact text" } }, ["text"]),
+    },
+    { name: "expect_visible", description: "Assert an element is visible.", inputSchema: withLocator() },
+    {
+        name: "run_command",
+        description: "Run a shell command in the product's terminal. Its result is recorded for assertions.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                command: { type: "string", description: "The shell command to run" },
+                cwd: { type: "string", description: "Working directory (optional)" },
+            },
+            required: ["command"],
+        },
+    },
+    {
+        name: "expect_output",
+        description: "Assert the last command's stdout/stderr — record an observable outcome.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                match: { type: "string", enum: ["exact", "contains", "regex"] },
+                stream: { type: "string", enum: ["stdout", "stderr"] },
+                value: { type: "string", description: "Expected value (exact text, substring, or regex source)" },
+            },
+            required: ["match", "stream", "value"],
+        },
+    },
+    {
+        name: "expect_exit",
+        description: "Assert the last command's exit code.",
+        inputSchema: {
+            type: "object",
+            properties: { code: { type: "number", description: "Expected exit code, e.g. 0" } },
+            required: ["code"],
+        },
+    },
+    {
+        name: "request",
+        description: "Issue an HTTP request to an absolute URL. Its response is recorded for assertions.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                method: { type: "string", description: "HTTP method, e.g. GET or POST" },
+                url: { type: "string", description: "Absolute URL to request" },
+                headers: { type: "object", description: "Optional request headers" },
+                body: { type: "string", description: "Optional request body" },
+            },
+            required: ["method", "url"],
+        },
+    },
+    {
+        name: "expect_status",
+        description: "Assert the last response's HTTP status code.",
+        inputSchema: {
+            type: "object",
+            properties: { status: { type: "number", description: "Expected status, e.g. 200" } },
+            required: ["status"],
+        },
+    },
+    {
+        name: "expect_json",
+        description: "Assert a field of the last response's JSON body equals a value.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                path: { type: "string", description: "Dot-path into the JSON body, e.g. data.order.id" },
+                equals: { type: ["string", "number", "boolean"], description: "Expected scalar value" },
+            },
+            required: ["path", "equals"],
+        },
+    },
+    {
+        name: "finish",
+        description: "End the session: the capability has been driven and asserted.",
+        inputSchema: { type: "object", properties: {} },
+    },
+];
+/**
+ * A locator is `{ strategy, ... }`. Prefer resilient strategies (role with a
+ * name, testId, or text) over css. This text is folded into the system prompt.
+ */
+export const LOCATOR_GUIDANCE = "A locator is an object { strategy: 'role'|'testId'|'text'|'label'|'css', ... }: " +
+    "role needs { role, name? }, testId needs { testId }, text needs { text }, " +
+    "label needs { label }, css needs { selector }. Prefer role, testId, or text over css. " +
+    "A locator may be passed as the `locator` field or inline on the arguments.";
+/** Guidance for the terminal tools, folded into the system prompt. */
+export const TERMINAL_GUIDANCE = "You also have a terminal. run_command runs a shell command and records its result; " +
+    "expect_output asserts the last command's stdout or stderr (match: exact|contains|regex), " +
+    "and expect_exit asserts its exit code. Run a command, read its result, then assert the " +
+    "outcomes you observe — those assertions become the committed test.";
+/** Guidance for the HTTP tools, folded into the system prompt. */
+export const HTTP_GUIDANCE = "You also have HTTP tools for API capabilities. request issues an HTTP request to an " +
+    "absolute URL and records the response; expect_status asserts the response status code, " +
+    "and expect_json asserts a dot-path field of a JSON response body equals a value. Issue a " +
+    "request, read the response, then assert the outcomes — those become the committed test.";
+/** Raised when a model's locator arguments are not a recognizable strategy. */
+export class ToolArgumentError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ToolArgumentError";
+    }
+}
+function str(value, field) {
+    if (typeof value !== "string") {
+        throw new ToolArgumentError(`expected string for '${field}', got ${typeof value}`);
+    }
+    return value;
+}
+/**
+ * Parse a model tool-call's arguments into a {@link Locator}.
+ *
+ * Accepts the locator nested under `locator` or inline on the arguments object.
+ *
+ * @throws {ToolArgumentError} on a missing or unrecognized strategy.
+ */
+export function parseLocator(args) {
+    const raw = (args["locator"] ?? args);
+    const strategy = raw["strategy"];
+    switch (strategy) {
+        case "role": {
+            const name = raw["name"];
+            return name === undefined || name === null
+                ? { kind: "role", role: str(raw["role"], "role") }
+                : { kind: "role", role: str(raw["role"], "role"), name: str(name, "name") };
+        }
+        case "testId":
+            return { kind: "testId", testId: str(raw["testId"], "testId") };
+        case "text":
+            return { kind: "text", text: str(raw["text"], "text") };
+        case "label":
+            return { kind: "label", label: str(raw["label"], "label") };
+        case "css":
+            return { kind: "css", selector: str(raw["selector"], "selector") };
+        default:
+            throw new ToolArgumentError(`unknown locator strategy: ${JSON.stringify(strategy)}`);
+    }
+}
+/** Parse a `run_command` tool call's arguments. */
+export function parseRunCommand(args) {
+    const command = str(args["command"], "command");
+    const cwd = args["cwd"];
+    return cwd === undefined || cwd === null ? { command } : { command, cwd: str(cwd, "cwd") };
+}
+/** Parse an `expect_output` tool call's arguments. */
+export function parseExpectOutput(args) {
+    const match = str(args["match"], "match");
+    if (match !== "exact" && match !== "contains" && match !== "regex") {
+        throw new ToolArgumentError(`unknown match mode: ${JSON.stringify(match)}`);
+    }
+    const stream = str(args["stream"], "stream");
+    if (stream !== "stdout" && stream !== "stderr") {
+        throw new ToolArgumentError(`unknown stream: ${JSON.stringify(stream)}`);
+    }
+    return { match, stream, value: str(args["value"], "value") };
+}
+/** Parse an `expect_exit` tool call's arguments. */
+export function parseExpectExit(args) {
+    const code = args["code"];
+    if (typeof code !== "number" || !Number.isInteger(code)) {
+        throw new ToolArgumentError(`expected an integer exit code, got ${JSON.stringify(code)}`);
+    }
+    return code;
+}
+/** Parse a `request` tool call's arguments. */
+export function parseRequest(args) {
+    const out = { method: str(args["method"], "method"), url: str(args["url"], "url") };
+    const headers = args["headers"];
+    if (headers !== undefined && headers !== null) {
+        if (typeof headers !== "object" || Array.isArray(headers)) {
+            throw new ToolArgumentError("headers must be an object of strings");
+        }
+        const record = {};
+        for (const [key, value] of Object.entries(headers)) {
+            record[key] = str(value, `headers.${key}`);
+        }
+        out.headers = record;
+    }
+    const body = args["body"];
+    if (body !== undefined && body !== null)
+        out.body = str(body, "body");
+    return out;
+}
+/** Parse an `expect_status` tool call's arguments. */
+export function parseExpectStatus(args) {
+    const status = args["status"];
+    if (typeof status !== "number" || !Number.isInteger(status)) {
+        throw new ToolArgumentError(`expected an integer status, got ${JSON.stringify(status)}`);
+    }
+    return status;
+}
+/** Parse an `expect_json` tool call's arguments. */
+export function parseExpectJson(args) {
+    const path = str(args["path"], "path");
+    const equals = args["equals"];
+    if (typeof equals !== "string" && typeof equals !== "number" && typeof equals !== "boolean") {
+        throw new ToolArgumentError("expect_json equals must be a string, number, or boolean");
+    }
+    return { path, equals };
+}
+//# sourceMappingURL=tools.js.map

package/dist/agent/tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tools.js","sourceRoot":"","sources":["../../src/agent/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAWH,uEAAuE;AACvE,MAAM,cAAc,GAA4B;IAC9C,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,iEAAiE;IAC9E,UAAU,EAAE;QACV,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE;QAC9E,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0CAA0C,EAAE;QACjF,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iCAAiC,EAAE;QACxE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qCAAqC,EAAE;QAC9E,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8BAA8B,EAAE;QACrE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,EAAE;QACrE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,EAAE;KACzE;IACD,QAAQ,EAAE,CAAC,UAAU,CAAC;CACvB,CAAC;AAEF,SAAS,WAAW,CAAC,QAAiC,EAAE,EAAE,WAAqB,EAAE;IAC/E,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,KAAK,EAAE;QACjD,QAAQ,EAAE,CAAC,SAAS,EAAE,GAAG,QAAQ,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,WAAW,GAAyB;IAC/C;QACE,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,cAAc;QAC3B,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,EAAE,EAAE;YACnF,QAAQ,EAAE,CAAC,KAAK,CAAC;SAClB;KACF;IACD,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE;IAC/E;QACE,IAAI,EAAE,MAAM;QACZ,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE,WAAW,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;KAChG;IACD,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,4BAA4B,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE;IACxF;QACE,IAAI,EAAE,OAAO;QACb,WAAW,EAAE,4BAA4B;QACzC,WAAW,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,wBAAwB,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;KACtG;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE,yEAAyE;QACtF,WAAW,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;KACrG;IACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,WAAW,EAAE,+BAA+B,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE;IACpG;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE,uFAAuF;QACpG,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE;gBACpE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8BAA8B,EAAE;aACrE;YACD,QAAQ,EAAE,CAAC,SAAS,CAAC;SACtB;KACF;IACD;QACE,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,yEAAyE;QACtF,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE;gBAC/D,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;gBACtD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yDAAyD,EAAE;aAClG;YACD,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC;SACvC;KACF;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE,sCAAsC;QACnD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,4BAA4B,EAAE,EAAE;YACnF,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,SAAS;QACf,WAAW,EAAE,oFAAoF;QACjG,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE;gBACxE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yBAAyB,EAAE;gBAC/D,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE;gBACpE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,uBAAuB,EAAE;aAC/D;YACD,QAAQ,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;SAC5B;KACF;IACD;QACE,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,8CAA8C;QAC3D,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2BAA2B,EAAE,EAAE;YACpF,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,aAAa;QACnB,WAAW,EAAE,iEAAiE;QAC9E,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iDAAiD,EAAE;gBACxF,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,WAAW,EAAE,uBAAuB,EAAE;aACxF;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;SAC7B;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE,+DAA+D;QAC5E,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;KAChD;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAC3B,kFAAkF;IAClF,4EAA4E;IAC5E,wFAAwF;IACxF,4EAA4E,CAAC;AAE/E,sEAAsE;AACtE,MAAM,CAAC,MAAM,iBAAiB,GAC5B,qFAAqF;IACrF,2FAA2F;IAC3F,yFAAyF;IACzF,oEAAoE,CAAC;AAEvE,kEAAkE;AAClE,MAAM,CAAC,MAAM,aAAa,GACxB,sFAAsF;IACtF,yFAAyF;IACzF,2FAA2F;IAC3F,yFAAyF,CAAC;AAE5F,+EAA+E;AAC/E,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,SAAS,GAAG,CAAC,KAAc,EAAE,KAAa;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,iBAAiB,CAAC,wBAAwB,KAAK,UAAU,OAAO,KAAK,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,IAA6B;IACxD,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAA4B,CAAC;IACjE,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IACjC,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;YACzB,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;gBACxC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE;gBAClD,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAChF,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;QAC1D,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9D,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;QACrE;YACE,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAQD,mDAAmD;AACnD,MAAM,UAAU,eAAe,CAAC,IAA6B;IAC3D,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACxB,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;AAC7F,CAAC;AASD,sDAAsD;AACtD,MAAM,UAAU,iBAAiB,CAAC,IAA6B;IAC7D,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;QACnE,MAAM,IAAI,iBAAiB,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/C,MAAM,IAAI,iBAAiB,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,eAAe,CAAC,IAA6B;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,iBAAiB,CAAC,sCAAsC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,+CAA+C;AAC/C,MAAM,UAAU,YAAY,CAAC,IAA6B;IACxD,MAAM,GAAG,GAAgB,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,iBAAiB,CAAC,sCAAsC,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAkC,CAAC,EAAE,CAAC;YAC9E,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,GAAG,CAAC,OAAO,GAAG,MAAM,CAAC;IACvB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,iBAAiB,CAAC,IAA6B;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,iBAAiB,CAAC,mCAAmC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAQD,oDAAoD;AACpD,MAAM,UAAU,eAAe,CAAC,IAA6B;IAC3D,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5F,MAAM,IAAI,iBAAiB,CAAC,yDAAyD,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,61 @@
+#!/usr/bin/env node
+/**
+ * The `proofkeeper` CLI.
+ *
+ * - `coverage` exposes the coverage read-model (Initiative 1).
+ * - `qa` (alias `verify`) runs the full QA loop for one capability: select →
+ *   drive → compile → fidelity → run → (optional) propose the write-back.
+ *
+ * Exit codes are a stable contract: 0 = success (every capability verified, or
+ * the driven capability passed the fidelity gate), 1 = not verified (unverified
+ * capabilities, or an unstable test), 2 = usage/parse error.
+ */
+export interface InitArgs {
+    graphFile?: string;
+    corpus?: string;
+    url?: string;
+    out: string;
+}
+/** Parse `init` arguments. Pure and exported so it is unit-testable. */
+export declare function parseInitArgs(argv: string[]): InitArgs;
+export interface QaArgs {
+    graphFile?: string;
+    corpus?: string;
+    capability?: string;
+    url: string;
+    goal?: string;
+    targetName: string;
+    baseUrl: string;
+    n: number;
+    maxSteps?: number;
+    outDir: string;
+    plan: boolean;
+    propose: boolean;
+    targetPath?: string;
+    base?: string;
+    repo?: string;
+}
+/** Parse `qa`/`verify` arguments. Pure and exported so it is unit-testable. */
+export declare function parseQaArgs(argv: string[]): QaArgs;
+export interface ScopedArgs {
+    graphFile?: string;
+    corpus?: string;
+    config: string;
+    changed?: string[];
+    baseRef?: string;
+    url?: string;
+    targetName: string;
+    n: number;
+    maxSteps?: number;
+    outDir: string;
+    plan: boolean;
+    concurrency?: number;
+    propose: boolean;
+    base?: string;
+    repo?: string;
+    pr?: number;
+}
+/** Parse `qa --config …` (scoped) arguments. Pure and exported for testing. */
+export declare function parseScopedArgs(argv: string[]): ScopedArgs;
+export declare function main(argv: string[]): Promise<number>;
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;;GAUG;AAgKH,MAAM,WAAW,QAAQ;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAID,wEAAwE;AACxE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,QAAQ,CAmCtD;AAyCD,MAAM,WAAW,MAAM;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,CAAC,EAAE,MAAM,CAAC;IACV,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAaD,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAuFlD;AAqGD,MAAM,WAAW,UAAU;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,+EAA+E;AAC/E,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CAyF1D;AA4HD,wBAAsB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAqC1D"}