synorch 0.3.0 → 0.4.0-beta.1

package/dist/harness/tools/builtin/web-state.d.ts

@@ -0,0 +1,67 @@
+/**
+ * K4.1 per-runtime web state shared by `web_search`, `web_fetch`, the policy engine and the
+ * provider-native searches:
+ * - the domains `web_fetch` may reach without a prompt: built-in documentation sites plus the
+ *   user's "always allow this domain" grants, persisted globally in the user scope
+ *   (`<synorch home>/web-domains.json`; nothing in a repository can grant one);
+ * - the prompt-injection shield flag: whether web content entered the current turn;
+ * - the URLs the user typed in the conversation (robots.txt is not applied to those);
+ * - a 15-minute page cache.
+ */
+export declare const WEB_DOMAINS_FILE = "web-domains.json";
+export declare const WEB_CACHE_TTL_MS: number;
+/** Documentation and package registries `web_fetch` reads without asking (owner: generous defaults). */
+export declare const DEFAULT_WEB_DOMAINS: readonly ["developer.mozilla.org", "docs.python.org", "nodejs.org", "learn.microsoft.com", "docs.github.com", "github.com", "raw.githubusercontent.com", "gist.githubusercontent.com", "registry.npmjs.org", "www.npmjs.com", "pypi.org", "stackoverflow.com", "*.stackexchange.com", "docs.rs", "crates.io", "pkg.go.dev", "www.typescriptlang.org", "react.dev", "nextjs.org", "vuejs.org", "developer.android.com", "developer.apple.com", "docs.oracle.com", "en.wikipedia.org"];
+export interface CachedPage {
+    readonly url: string;
+    readonly finalUrl: string;
+    readonly status: number;
+    readonly contentType: string;
+    readonly bytes: number;
+    readonly title: string | undefined;
+    readonly text: string;
+    readonly fetchedAt: string;
+    readonly truncatedDownload: boolean;
+}
+export interface WebSession {
+    /** Every domain fetches may reach without a prompt (defaults + user grants). */
+    domains(): readonly string[];
+    /** The user's persisted grants only. */
+    grantedDomains(): readonly string[];
+    /** Persists "always allow this domain" (global, user scope); false when it was already granted or invalid. */
+    allowDomain(host: string): Promise<boolean>;
+    removeDomain(host: string): Promise<boolean>;
+    /** The shield: web content entered the current turn. */
+    markContentRead(): void;
+    contentRead(): boolean;
+    /** A new user turn of the conversation: the shield resets. */
+    startTurn(): void;
+    /** Remembers the URLs in a message the user typed (robots.txt is not applied to them). */
+    noteUserText(text: string): void;
+    isUserUrl(url: string): boolean;
+    cacheGet(url: string): CachedPage | undefined;
+    cachePut(page: CachedPage): void;
+    /** robots.txt verdicts per origin (cached with the pages). */
+    robotsGet(origin: string): {
+        readonly rules: string | undefined;
+        readonly at: number;
+    } | undefined;
+    robotsPut(origin: string, rules: string | undefined): void;
+}
+export interface WebSessionOptions {
+    /** The Synorch home; undefined keeps grants in memory only (tests, `--no-home`). */
+    readonly home?: string;
+    readonly defaults?: readonly string[];
+    readonly now?: () => number;
+}
+/** Normalizes a host for a grant: lower-case, no port, no trailing dot; `*.` prefix kept. */
+export declare function normalizeDomain(raw: string): string | undefined;
+/** The URL without its fragment and with a normalized host, used as the cache and user-URL key. */
+export declare function normalizeUrlKey(raw: string): string | undefined;
+export declare function createWebSession(options?: WebSessionOptions): WebSession;
+/**
+ * Whether robots.txt allows `path` for our user agent: the longest matching Allow/Disallow rule of
+ * the most specific group (`synorch` before `*`) wins; `*` and `$` patterns are honoured.
+ */
+export declare function robotsAllows(rules: string, pathAndQuery: string, agent?: string): boolean;
+//# sourceMappingURL=web-state.d.ts.map

package/dist/harness/tools/builtin/web-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"web-state.d.ts","sourceRoot":"","sources":["../../../../src/harness/tools/builtin/web-state.ts"],"names":[],"mappings":"AAMA;;;;;;;;;GASG;AAEH,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AACnD,eAAO,MAAM,gBAAgB,QAAiB,CAAC;AAK/C,wGAAwG;AACxG,eAAO,MAAM,mBAAmB,sdAyBtB,CAAC;AAIX,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,UAAU;IACzB,gFAAgF;IAChF,OAAO,IAAI,SAAS,MAAM,EAAE,CAAC;IAC7B,wCAAwC;IACxC,cAAc,IAAI,SAAS,MAAM,EAAE,CAAC;IACpC,8GAA8G;IAC9G,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5C,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7C,wDAAwD;IACxD,eAAe,IAAI,IAAI,CAAC;IACxB,WAAW,IAAI,OAAO,CAAC;IACvB,8DAA8D;IAC9D,SAAS,IAAI,IAAI,CAAC;IAClB,0FAA0F;IAC1F,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,8DAA8D;IAC9D,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IACnG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;CAC5D;AAED,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CAC7B;AAED,6FAA6F;AAC7F,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAM/D;AAED,mGAAmG;AACnG,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAS/D;AAID,wBAAgB,gBAAgB,CAAC,OAAO,GAAE,iBAAsB,GAAG,UAAU,CA+F5E;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,SAAY,GAAG,OAAO,CAmC5F"}

package/dist/harness/tools/builtin/web-state.js

@@ -0,0 +1,227 @@
+import { randomUUID } from "node:crypto";
+import { readFileSync } from "node:fs";
+import { mkdir, rename, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { z } from "zod";
+/**
+ * K4.1 per-runtime web state shared by `web_search`, `web_fetch`, the policy engine and the
+ * provider-native searches:
+ * - the domains `web_fetch` may reach without a prompt: built-in documentation sites plus the
+ *   user's "always allow this domain" grants, persisted globally in the user scope
+ *   (`<synorch home>/web-domains.json`; nothing in a repository can grant one);
+ * - the prompt-injection shield flag: whether web content entered the current turn;
+ * - the URLs the user typed in the conversation (robots.txt is not applied to those);
+ * - a 15-minute page cache.
+ */
+export const WEB_DOMAINS_FILE = "web-domains.json";
+export const WEB_CACHE_TTL_MS = 15 * 60 * 1000;
+const MAX_DOMAINS = 1024;
+const MAX_CACHE_ENTRIES = 64;
+const MAX_USER_URLS = 512;
+/** Documentation and package registries `web_fetch` reads without asking (owner: generous defaults). */
+export const DEFAULT_WEB_DOMAINS = [
+    "developer.mozilla.org",
+    "docs.python.org",
+    "nodejs.org",
+    "learn.microsoft.com",
+    "docs.github.com",
+    "github.com",
+    "raw.githubusercontent.com",
+    "gist.githubusercontent.com",
+    "registry.npmjs.org",
+    "www.npmjs.com",
+    "pypi.org",
+    "stackoverflow.com",
+    "*.stackexchange.com",
+    "docs.rs",
+    "crates.io",
+    "pkg.go.dev",
+    "www.typescriptlang.org",
+    "react.dev",
+    "nextjs.org",
+    "vuejs.org",
+    "developer.android.com",
+    "developer.apple.com",
+    "docs.oracle.com",
+    "en.wikipedia.org",
+];
+const domainsFileSchema = z.strictObject({ schema_version: z.literal(1), domains: z.array(z.string().min(1).max(253)).max(MAX_DOMAINS) });
+/** Normalizes a host for a grant: lower-case, no port, no trailing dot; `*.` prefix kept. */
+export function normalizeDomain(raw) {
+    const trimmed = raw.trim().toLowerCase().replace(/\.$/, "");
+    const wildcard = trimmed.startsWith("*.");
+    const host = (wildcard ? trimmed.slice(2) : trimmed).replace(/:\d+$/, "");
+    if (!/^[a-z0-9]([a-z0-9-]{0,62}[a-z0-9])?(\.[a-z0-9]([a-z0-9-]{0,62}[a-z0-9])?)+$/.test(host))
+        return undefined;
+    return wildcard ? `*.${host}` : host;
+}
+/** The URL without its fragment and with a normalized host, used as the cache and user-URL key. */
+export function normalizeUrlKey(raw) {
+    try {
+        const url = new URL(raw.trim());
+        url.hash = "";
+        const text = url.toString();
+        return text.endsWith("/") && url.pathname === "/" && url.search === "" ? text.slice(0, -1) : text;
+    }
+    catch {
+        return undefined;
+    }
+}
+const URL_IN_TEXT = /\bhttps?:\/\/[^\s<>"'`)\]]+/gi;
+export function createWebSession(options = {}) {
+    const now = options.now ?? (() => Date.now());
+    const defaults = [...(options.defaults ?? DEFAULT_WEB_DOMAINS)];
+    const file = options.home === undefined ? undefined : path.join(options.home, WEB_DOMAINS_FILE);
+    let granted = [];
+    if (file !== undefined) {
+        try {
+            const parsed = domainsFileSchema.safeParse(JSON.parse(readFileSync(file, "utf8")));
+            if (parsed.success)
+                granted = parsed.data.domains.flatMap((entry) => normalizeDomain(entry) ?? []);
+        }
+        catch {
+            granted = [];
+        }
+    }
+    let tainted = false;
+    const userUrls = new Set();
+    const cache = new Map();
+    const robots = new Map();
+    const persist = async () => {
+        if (file === undefined)
+            return;
+        await mkdir(path.dirname(file), { recursive: true });
+        const temporary = `${file}.${randomUUID()}.tmp`;
+        await writeFile(temporary, `${JSON.stringify({ schema_version: 1, domains: granted }, null, 2)}\n`, { mode: 0o600 });
+        await rename(temporary, file);
+    };
+    return {
+        domains: () => [...defaults, ...granted],
+        grantedDomains: () => [...granted],
+        async allowDomain(host) {
+            const domain = normalizeDomain(host);
+            if (domain === undefined || granted.includes(domain))
+                return false;
+            granted = [...granted, domain].slice(-MAX_DOMAINS);
+            await persist();
+            return true;
+        },
+        async removeDomain(host) {
+            const domain = normalizeDomain(host);
+            if (domain === undefined || !granted.includes(domain))
+                return false;
+            granted = granted.filter((entry) => entry !== domain);
+            await persist();
+            return true;
+        },
+        markContentRead: () => {
+            tainted = true;
+        },
+        contentRead: () => tainted,
+        startTurn: () => {
+            tainted = false;
+        },
+        noteUserText(text) {
+            for (const match of text.matchAll(URL_IN_TEXT)) {
+                const key = normalizeUrlKey(match[0].replace(/[.,;:!?]+$/, ""));
+                if (key === undefined)
+                    continue;
+                userUrls.add(key);
+                if (userUrls.size > MAX_USER_URLS) {
+                    const oldest = userUrls.values().next().value;
+                    if (oldest !== undefined)
+                        userUrls.delete(oldest);
+                }
+            }
+        },
+        isUserUrl(url) {
+            const key = normalizeUrlKey(url);
+            return key !== undefined && userUrls.has(key);
+        },
+        cacheGet(url) {
+            const key = normalizeUrlKey(url);
+            const entry = key === undefined ? undefined : cache.get(key);
+            if (entry === undefined || key === undefined)
+                return undefined;
+            if (now() - entry.storedAt > WEB_CACHE_TTL_MS) {
+                cache.delete(key);
+                return undefined;
+            }
+            return entry;
+        },
+        cachePut(page) {
+            const key = normalizeUrlKey(page.url);
+            if (key === undefined)
+                return;
+            cache.delete(key);
+            cache.set(key, { ...page, storedAt: now() });
+            while (cache.size > MAX_CACHE_ENTRIES) {
+                const oldest = cache.keys().next().value;
+                if (oldest === undefined)
+                    break;
+                cache.delete(oldest);
+            }
+        },
+        robotsGet(origin) {
+            const entry = robots.get(origin);
+            if (entry === undefined || now() - entry.at > WEB_CACHE_TTL_MS)
+                return undefined;
+            return entry;
+        },
+        robotsPut(origin, rules) {
+            robots.set(origin, { rules, at: now() });
+        },
+    };
+}
+/**
+ * Whether robots.txt allows `path` for our user agent: the longest matching Allow/Disallow rule of
+ * the most specific group (`synorch` before `*`) wins; `*` and `$` patterns are honoured.
+ */
+export function robotsAllows(rules, pathAndQuery, agent = "synorch") {
+    const groups = [];
+    let current;
+    let lastWasAgent = false;
+    for (const rawLine of rules.split(/\r?\n/)) {
+        const line = rawLine.replace(/#.*$/, "").trim();
+        const match = /^([A-Za-z-]+)\s*:\s*(.*)$/.exec(line);
+        if (match === null)
+            continue;
+        const field = (match[1] ?? "").toLowerCase();
+        const value = (match[2] ?? "").trim();
+        if (field === "user-agent") {
+            if (current === undefined || !lastWasAgent) {
+                current = { agents: [], rules: [] };
+                groups.push(current);
+            }
+            current.agents.push(value.toLowerCase());
+            lastWasAgent = true;
+            continue;
+        }
+        lastWasAgent = false;
+        if (current === undefined)
+            continue;
+        if (field === "allow" || field === "disallow") {
+            if (field === "disallow" && value === "")
+                continue;
+            current.rules.push({ allow: field === "allow", pattern: value });
+        }
+    }
+    const own = groups.filter((group) => group.agents.some((name) => name !== "*" && agent.toLowerCase().includes(name)));
+    const chosen = own.length > 0 ? own : groups.filter((group) => group.agents.includes("*"));
+    let best;
+    for (const rule of chosen.flatMap((group) => group.rules)) {
+        if (!robotsPatternMatches(rule.pattern, pathAndQuery))
+            continue;
+        const length = rule.pattern.length;
+        if (best === undefined || length > best.length || (length === best.length && rule.allow))
+            best = { allow: rule.allow, length };
+    }
+    return best?.allow ?? true;
+}
+function robotsPatternMatches(pattern, target) {
+    const anchored = pattern.endsWith("$");
+    const body = anchored ? pattern.slice(0, -1) : pattern;
+    const regex = new RegExp(`^${body.split("*").map((part) => part.replace(/[.+?^${}()|[\]\\]/g, "\\$&")).join(".*")}${anchored ? "$" : ""}`);
+    return regex.test(target);
+}
+//# sourceMappingURL=web-state.js.map

package/dist/harness/tools/builtin/web-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"web-state.js","sourceRoot":"","sources":["../../../../src/harness/tools/builtin/web-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;GASG;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAC/C,MAAM,WAAW,GAAG,IAAI,CAAC;AACzB,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAC7B,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,wGAAwG;AACxG,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,uBAAuB;IACvB,iBAAiB;IACjB,YAAY;IACZ,qBAAqB;IACrB,iBAAiB;IACjB,YAAY;IACZ,2BAA2B;IAC3B,4BAA4B;IAC5B,oBAAoB;IACpB,eAAe;IACf,UAAU;IACV,mBAAmB;IACnB,qBAAqB;IACrB,SAAS;IACT,WAAW;IACX,YAAY;IACZ,wBAAwB;IACxB,WAAW;IACX,YAAY;IACZ,WAAW;IACX,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;IACjB,kBAAkB;CACV,CAAC;AAEX,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;AA4C1I,6FAA6F;AAC7F,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1E,IAAI,CAAC,6EAA6E,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChH,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,WAAW,GAAG,+BAA+B,CAAC;AAEpD,MAAM,UAAU,gBAAgB,CAAC,UAA6B,EAAE;IAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,mBAAmB,CAAC,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAChG,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACnF,IAAI,MAAM,CAAC,OAAO;gBAAE,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACrG,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsD,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuE,CAAC;IAE9F,MAAM,OAAO,GAAG,KAAK,IAAmB,EAAE;QACxC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,UAAU,EAAE,MAAM,CAAC;QAChD,MAAM,SAAS,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrH,MAAM,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC;QACxC,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC;QAClC,KAAK,CAAC,WAAW,CAAC,IAAI;YACpB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YACnE,OAAO,GAAG,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,OAAO,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,CAAC,YAAY,CAAC,IAAI;YACrB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YACpE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;YACtD,MAAM,OAAO,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,eAAe,EAAE,GAAG,EAAE;YACpB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,WAAW,EAAE,GAAG,EAAE,CAAC,OAAO;QAC1B,SAAS,EAAE,GAAG,EAAE;YACd,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,YAAY,CAAC,IAAI;YACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC;gBAChE,IAAI,GAAG,KAAK,SAAS;oBAAE,SAAS;gBAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClB,IAAI,QAAQ,CAAC,IAAI,GAAG,aAAa,EAAE,CAAC;oBAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;oBAC9C,IAAI,MAAM,KAAK,SAAS;wBAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;QACH,CAAC;QACD,SAAS,CAAC,GAAG;YACX,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChD,CAAC;QACD,QAAQ,CAAC,GAAG;YACV,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC/D,IAAI,GAAG,EAAE,GAAG,KAAK,CAAC,QAAQ,GAAG,gBAAgB,EAAE,CAAC;gBAC9C,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,QAAQ,CAAC,IAAI;YACX,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO;YAC9B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAClB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC,IAAI,GAAG,iBAAiB,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;gBACzC,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM;gBAChC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,SAAS,CAAC,MAAM;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,GAAG,gBAAgB;gBAAE,OAAO,SAAS,CAAC;YACjF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,SAAS,CAAC,MAAM,EAAE,KAAK;YACrB,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3C,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,YAAoB,EAAE,KAAK,GAAG,SAAS;IACjF,MAAM,MAAM,GAAyE,EAAE,CAAC;IACxF,IAAI,OAAuF,CAAC;IAC5F,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;YAC3B,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC3C,OAAO,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YACzC,YAAY,GAAG,IAAI,CAAC;YACpB,SAAS;QACX,CAAC;QACD,YAAY,GAAG,KAAK,CAAC;QACrB,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9C,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,EAAE;gBAAE,SAAS;YACnD,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtH,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3F,IAAI,IAAoD,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC;YAAE,SAAS;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACjI,CAAC;IACD,OAAO,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC;AAC7B,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe,EAAE,MAAc;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACvD,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3I,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC"}

package/dist/harness/tools/builtin/write-tools.d.ts

@@ -0,0 +1,18 @@
+import { z } from "zod";
+import { type Tool } from "../../contracts/index.ts";
+declare const writeFileInput: z.ZodObject<{
+    path: z.ZodString;
+    content: z.ZodString;
+    expected_digest: z.ZodOptional<z.ZodNullable<z.core.$ZodBranded<z.ZodString, "Digest", "out">>>;
+}, z.core.$strict>;
+type WriteFileInput = z.infer<typeof writeFileInput>;
+export declare function createWriteFileTool(): Tool<WriteFileInput>;
+declare const applyPatchInput: z.ZodObject<{
+    patch: z.ZodString;
+    expected: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNullable<z.core.$ZodBranded<z.ZodString, "Digest", "out">>>>;
+    expected_digest: z.ZodOptional<z.ZodNullable<z.core.$ZodBranded<z.ZodString, "Digest", "out">>>;
+}, z.core.$strict>;
+type ApplyPatchInput = z.infer<typeof applyPatchInput>;
+export declare function createApplyPatchTool(): Tool<ApplyPatchInput>;
+export {};
+//# sourceMappingURL=write-tools.d.ts.map

package/dist/harness/tools/builtin/write-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-tools.d.ts","sourceRoot":"","sources":["../../../../src/harness/tools/builtin/write-tools.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAsE,KAAK,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAYzH,QAAA,MAAM,cAAc;;;;kBASlB,CAAC;AACH,KAAK,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAErD,wBAAgB,mBAAmB,IAAI,IAAI,CAAC,cAAc,CAAC,CA4C1D;AAED,QAAA,MAAM,eAAe;;;;kBASnB,CAAC;AACH,KAAK,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAOvD,wBAAgB,oBAAoB,IAAI,IAAI,CAAC,eAAe,CAAC,CA+G5D"}