@mseep/clawdcursor 1.5.5

package/dist/core/sense/ui-map.js

@@ -0,0 +1,113 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileUIMap = compileUIMap;
+exports.defaultCompileDeps = defaultCompileDeps;
+const ui_map_elements_1 = require("./ui-map-elements");
+const ui_map_fuse_1 = require("./ui-map-fuse");
+const ui_map_anchors_1 = require("./ui-map-anchors");
+const ui_map_normalize_1 = require("./ui-map-normalize");
+const ui_map_geom_1 = require("./ui-map-geom");
+const snapshot_1 = require("./snapshot");
+const ocr_engine_1 = require("../../platform/ocr-engine");
+const SPARSE_A11Y_MAX = 0; // ≤ this many named a11y elements ⇒ "sparse"
+const LOW_CONFIDENCE = 0.5; // below this on a needed element ⇒ vision-worthy
+function namedCount(snap) {
+    return snap.elements.filter(e => (e.name ?? '').trim().length > 0).length;
+}
+async function compileUIMap(deps, hints) {
+    const maxCost = hints.max_cost ?? 'ocr_ok';
+    const sourcesUsed = ['window'];
+    const snap = await deps.captureSnapshot();
+    if (snap.sources.includes('a11y'))
+        sourcesUsed.push('a11y');
+    let elements = snap.elements.map((se, i) => (0, ui_map_elements_1.a11yToUI)(se, `el_${i}`));
+    // Lazy OCR: only when a11y is sparse OR a requested target_text isn't present.
+    const sparse = namedCount(snap) <= SPARSE_A11Y_MAX;
+    const wantText = hints.target_text ? hints.target_text.trim().toLowerCase() : '';
+    const a11yHasTarget = wantText
+        ? elements.some(e => (e.normalized_text ?? '').includes(wantText))
+        : true;
+    const ocrAllowed = maxCost === 'ocr_ok' || maxCost === 'vision_ok';
+    if (ocrAllowed && (sparse || !a11yHasTarget)) {
+        const ocrRes = await Promise.resolve(deps.ocr()).catch(() => null);
+        if (ocrRes && ocrRes.elements.length > 0) {
+            sourcesUsed.push('ocr');
+            const base = elements.length;
+            elements = (0, ui_map_fuse_1.fuse)([...elements, ...ocrRes.elements.map((oe, i) => (0, ui_map_elements_1.ocrToUI)(oe, `el_${base + i}`))]);
+        }
+    }
+    // Lazy vision: only when allowed AND nothing usable surfaced from a11y+OCR.
+    const visionAllowed = maxCost === 'vision_ok';
+    const nothingActionable = !elements.some(e => e.actionable && e.confidence >= LOW_CONFIDENCE);
+    if (visionAllowed && nothingActionable) {
+        const shot = await Promise.resolve(deps.vision()).catch(() => null);
+        if (shot)
+            sourcesUsed.push('vision');
+    }
+    // Re-id ids contiguously after fusion so el_NN is dense within this snapshot.
+    elements = elements.map((e, i) => ({ ...e, id: `el_${i}` }));
+    // Mark the focused element so the focused anchor resolves. The platform's
+    // focused element carries name, role AND bounds — match it into the fused map
+    // by name+role, disambiguating ties (and empty-name canvas/editor surfaces)
+    // via nearest bounds (spec §5: role + normalized_text + nearest bounds).
+    const focused = await deps.getFocusedElement().catch(() => null);
+    if (focused) {
+        const fname = (0, ui_map_normalize_1.normText)(focused.name);
+        const frole = (0, ui_map_normalize_1.normalizeRole)(focused.controlType);
+        const fb = focused.bounds;
+        const fbounds = fb && fb.width > 0 && fb.height > 0 ? [fb.x, fb.y, fb.width, fb.height] : null;
+        const named = fname !== ''
+            ? elements.filter(e => e.normalized_text === fname && e.role === frole)
+            : [];
+        const bestByIou = (els, b) => els.length === 0 ? undefined
+            : els.reduce((best, e) => ((0, ui_map_geom_1.iou)(e.bounds, b) > (0, ui_map_geom_1.iou)(best.bounds, b) ? e : best), els[0]);
+        let hit;
+        if (named.length === 1) {
+            hit = named[0];
+        }
+        else if (named.length > 1) {
+            hit = fbounds ? bestByIou(named, fbounds) : named[0];
+        }
+        else if (fbounds) {
+            // No name match (or empty name) — fall back to the nearest overlapping
+            // element, but only accept a real overlap to avoid false positives.
+            const cand = bestByIou(elements, fbounds);
+            if (cand && (0, ui_map_geom_1.iou)(cand.bounds, fbounds) > 0)
+                hit = cand;
+        }
+        if (hit)
+            hit.state = { ...hit.state, focused: true };
+    }
+    const screen = await deps.getScreenSize();
+    const aw = snap.activeWindow;
+    return {
+        snapshot_id: deps.snapshotId,
+        platform: snap.platform,
+        active_app: aw?.processName ?? '',
+        process_id: aw ? String(aw.processId) : undefined,
+        window_title: aw?.title ?? '',
+        window_bounds: aw ? [aw.bounds.x, aw.bounds.y, aw.bounds.width, aw.bounds.height] : [0, 0, 0, 0],
+        coordinate_space: 'screen',
+        scale_factor: screen.dpiRatio,
+        compiled_at: String(deps.now),
+        sources_used: sourcesUsed,
+        elements,
+        anchors: (0, ui_map_anchors_1.computeAnchors)(elements, deps.prevAnchors),
+        truncation: { total_elements: elements.length, returned_elements: elements.length },
+    };
+}
+let _ocr = null;
+function ocrEngine() { return (_ocr ??= new ocr_engine_1.OcrEngine()); }
+/** Production deps wired to a real adapter. now/snapshotId are caller-passed
+ *  (the agent loop owns the clock + the obs_N counter). */
+function defaultCompileDeps(adapter, now, snapshotId, prevAnchors) {
+    return {
+        captureSnapshot: () => (0, snapshot_1.captureSnapshot)(adapter),
+        ocr: () => ocrEngine().recognizeScreen(),
+        vision: () => adapter.screenshot({ maxWidth: 1280 }),
+        getScreenSize: () => adapter.getScreenSize(),
+        getFocusedElement: () => adapter.getFocusedElement(),
+        now, snapshotId, prevAnchors,
+    };
+}
+//# sourceMappingURL=ui-map.js.map

package/dist/core/sense/ui-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui-map.js","sourceRoot":"","sources":["../../../src/core/sense/ui-map.ts"],"names":[],"mappings":";;AAyCA,oCAoFC;AAOD,gDAWC;AArID,uDAAsD;AACtD,+CAAqC;AACrC,qDAAkD;AAClD,yDAA6D;AAC7D,+CAAoC;AACpC,yCAA6C;AAC7C,0DAAsD;AAEtD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAU,6CAA6C;AACjF,MAAM,cAAc,GAAG,GAAG,CAAC,CAAS,iDAAiD;AAkBrF,SAAS,UAAU,CAAC,IAAc;IAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;AAC5E,CAAC;AAEM,KAAK,UAAU,YAAY,CAAC,IAAiB,EAAE,KAAmB;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC;IAC3C,MAAM,WAAW,GAAa,CAAC,QAAQ,CAAC,CAAC;IAEzC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,eAAe,EAAE,CAAC;IAC1C,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE5D,IAAI,QAAQ,GAAgB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAA,0BAAQ,EAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAElF,+EAA+E;IAC/E,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,aAAa,GAAG,QAAQ;QAC5B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAClE,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,UAAU,GAAG,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,WAAW,CAAC;IACnE,IAAI,UAAU,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC7B,QAAQ,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAA,yBAAO,EAAC,EAAE,EAAE,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,MAAM,aAAa,GAAG,OAAO,KAAK,WAAW,CAAC;IAC9C,MAAM,iBAAiB,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,IAAI,cAAc,CAAC,CAAC;IAC9F,IAAI,aAAa,IAAI,iBAAiB,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,IAAI;YAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,8EAA8E;IAC9E,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAE7D,0EAA0E;IAC1E,8EAA8E;IAC9E,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,IAAA,2BAAQ,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAA,gCAAa,EAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,MAAM,OAAO,GACX,EAAE,IAAI,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjF,MAAM,KAAK,GAAG,KAAK,KAAK,EAAE;YACxB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;YACvE,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,SAAS,GAAG,CAAC,GAAgB,EAAE,CAAS,EAAyB,EAAE,CACvE,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;YAC1B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,IAAA,iBAAG,EAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAI,GAA0B,CAAC;QAC/B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,uEAAuE;YACvE,oEAAoE;YACpE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC1C,IAAI,IAAI,IAAI,IAAA,iBAAG,EAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;gBAAE,GAAG,GAAG,IAAI,CAAC;QACxD,CAAC;QACD,IAAI,GAAG;YAAE,GAAG,CAAC,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC;IAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC;IAC7B,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,UAAU;QAC5B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,EAAE,EAAE,WAAW,IAAI,EAAE;QACjC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;QACjD,YAAY,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QAC7B,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAChG,gBAAgB,EAAE,QAAQ;QAC1B,YAAY,EAAE,MAAM,CAAC,QAAQ;QAC7B,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7B,YAAY,EAAE,WAAW;QACzB,QAAQ;QACR,OAAO,EAAE,IAAA,+BAAc,EAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC;QACnD,UAAU,EAAE,EAAE,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,iBAAiB,EAAE,QAAQ,CAAC,MAAM,EAAE;KACpF,CAAC;AACJ,CAAC;AAED,IAAI,IAAI,GAAqB,IAAI,CAAC;AAClC,SAAS,SAAS,KAAgB,OAAO,CAAC,IAAI,KAAK,IAAI,sBAAS,EAAE,CAAC,CAAC,CAAC,CAAC;AAEtE;2DAC2D;AAC3D,SAAgB,kBAAkB,CAChC,OAAwB,EAAE,GAAW,EAAE,UAAkB,EAAE,WAA8B;IAEzF,OAAO;QACL,eAAe,EAAE,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,OAAO,CAAC;QAC/C,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,eAAe,EAAE;QACxC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACpD,aAAa,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE;QAC5C,iBAAiB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE;QACpD,GAAG,EAAE,UAAU,EAAE,WAAW;KAC7B,CAAC;AACJ,CAAC"}

package/dist/core/verify/assertions.d.ts

@@ -0,0 +1,132 @@
+/**
+ * Assertion engine — harness-executed task verification.
+ *
+ * THE PROBLEM THIS SOLVES
+ * -----------------------
+ * Task verification used to be model-claimed: `done(evidence)` took a prose
+ * string and the guards only checked it for length/hedging — nothing
+ * re-checked reality. In the 2026-06-06 live Outlook run the model looked at
+ * a real screenshot, "verified" a recipient that was never committed, and the
+ * task died 12 turns later at send time.
+ *
+ * THE DESIGN
+ * ----------
+ * The model PROPOSES machine-checkable proofs; the harness EXECUTES them
+ * against ground truth. No LLM judgment, no screenshot tokens. The checks
+ * mirror the perception cost ladder — strongest/cheapest first:
+ *
+ *   out-of-band artifacts   file_exists / file_contains / clipboard_contains
+ *   OS window facts         window_title_contains / app_running
+ *   UIA element facts       element_exists / element_value_contains
+ *   pixel-derived text      ocr_contains  (the only check that touches pixels)
+ *
+ * LAYERING
+ * --------
+ * This module is pure core: it depends on PlatformAdapter (reads only) and
+ * node:fs — never on tools, the agent loop, or the MCP surface. It is mounted
+ * twice: by the System B `verify` tool (which projects to the MCP surface for
+ * external agents) and by the `done(assertions)` completion gate.
+ */
+import type { PlatformAdapter } from '../../platform/types';
+export type Assertion = {
+    type: 'window_title_contains';
+    value: string;
+} | {
+    type: 'app_running';
+    name: string;
+} | {
+    type: 'element_exists';
+    name: string;
+} | {
+    type: 'element_value_contains';
+    name: string;
+    value: string;
+} | {
+    type: 'clipboard_contains';
+    value: string;
+} | {
+    type: 'file_exists';
+    path: string;
+} | {
+    type: 'file_contains';
+    path: string;
+    value: string;
+} | {
+    type: 'ocr_contains';
+    value: string;
+} | {
+    type: 'file_changed_since_start';
+    path: string;
+};
+export interface AssertionDeps {
+    adapter: PlatformAdapter;
+    /** Lazy OCR reader — only invoked for `ocr_contains` (the one pixel-derived
+     *  check). Left unwired in contexts without an OCR engine; the assertion
+     *  then fails with an explanatory detail instead of throwing. */
+    ocrText?: () => Promise<string>;
+    /** Epoch-ms timestamp of task start. Required by `file_changed_since_start`
+     *  (the proof that a mutating task actually wrote the file it claims to). */
+    taskStartedAt?: number;
+}
+export interface AssertionOutcome {
+    index: number;
+    /** Compact human/LLM-readable restatement, e.g. `element_value_contains("To", "a@b.com")`. */
+    summary: string;
+    ok: boolean;
+    /** Why it failed (or what matched) — includes the ACTUAL observed value so
+     *  a failing model can correct course instead of retrying blind. */
+    detail: string;
+}
+export interface VerifyReport {
+    ok: boolean;
+    passed: number;
+    failed: number;
+    outcomes: AssertionOutcome[];
+}
+/** Hard cap — verification is a proof, not a checklist dump. */
+export declare const MAX_ASSERTIONS = 8;
+/**
+ * Validate raw model input into a typed assertion list. Returns `{error}`
+ * (never throws) so tool handlers can reject with a corrective message.
+ */
+export declare function parseAssertions(raw: unknown): {
+    assertions: Assertion[];
+} | {
+    error: string;
+};
+/**
+ * Execute every assertion against current ground truth. Per-assertion errors
+ * (UIA down, fs error) fail THAT assertion with the error text — the function
+ * itself never throws.
+ */
+export declare function checkAssertions(assertions: Assertion[], deps: AssertionDeps): Promise<VerifyReport>;
+/** Compact ✓/✗ report — readable by humans and cheap for LLM context. */
+export declare function renderReport(report: VerifyReport): string;
+export interface TaskBaseline {
+    startedAt: number;
+    /** Lower-cased OCR text of the screen at task start. */
+    ocrText: string;
+    /** Lower-cased window titles present at task start. */
+    windowTitles: string[];
+    /** Lower-cased process names with a window at task start. */
+    processNames: string[];
+    /** Lower-cased clipboard contents at task start. */
+    clipboard: string;
+}
+/** Capture the cheap baseline artifacts at task start. Best-effort: any source
+ *  that fails contributes an empty value rather than throwing. */
+export declare function captureTaskBaseline(adapter: PlatformAdapter, ocrText?: () => Promise<string>): Promise<TaskBaseline>;
+/**
+ * Was this assertion ALREADY satisfied at task start?
+ *   true  — provably true at baseline (non-discriminating: proves nothing changed)
+ *   false — provably NOT true at baseline (discriminating: the task made it true)
+ *   null  — undeterminable from the cheap baseline (element/file checks) → trusted
+ */
+export declare function wasTrueAtBaseline(a: Assertion, b: TaskBaseline): boolean | null;
+/**
+ * Given a PASSING report, is at least one passing assertion discriminating
+ * (not provably true at baseline)? Returns true when the evidence genuinely
+ * reflects a change, false when EVERY passing proof was already true before
+ * the task acted.
+ */
+export declare function hasDiscriminatingEvidence(assertions: Assertion[], report: VerifyReport, baseline: TaskBaseline): boolean;

package/dist/core/verify/assertions.js

@@ -0,0 +1,284 @@
+"use strict";
+/**
+ * Assertion engine — harness-executed task verification.
+ *
+ * THE PROBLEM THIS SOLVES
+ * -----------------------
+ * Task verification used to be model-claimed: `done(evidence)` took a prose
+ * string and the guards only checked it for length/hedging — nothing
+ * re-checked reality. In the 2026-06-06 live Outlook run the model looked at
+ * a real screenshot, "verified" a recipient that was never committed, and the
+ * task died 12 turns later at send time.
+ *
+ * THE DESIGN
+ * ----------
+ * The model PROPOSES machine-checkable proofs; the harness EXECUTES them
+ * against ground truth. No LLM judgment, no screenshot tokens. The checks
+ * mirror the perception cost ladder — strongest/cheapest first:
+ *
+ *   out-of-band artifacts   file_exists / file_contains / clipboard_contains
+ *   OS window facts         window_title_contains / app_running
+ *   UIA element facts       element_exists / element_value_contains
+ *   pixel-derived text      ocr_contains  (the only check that touches pixels)
+ *
+ * LAYERING
+ * --------
+ * This module is pure core: it depends on PlatformAdapter (reads only) and
+ * node:fs — never on tools, the agent loop, or the MCP surface. It is mounted
+ * twice: by the System B `verify` tool (which projects to the MCP surface for
+ * external agents) and by the `done(assertions)` completion gate.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_ASSERTIONS = void 0;
+exports.parseAssertions = parseAssertions;
+exports.checkAssertions = checkAssertions;
+exports.renderReport = renderReport;
+exports.captureTaskBaseline = captureTaskBaseline;
+exports.wasTrueAtBaseline = wasTrueAtBaseline;
+exports.hasDiscriminatingEvidence = hasDiscriminatingEvidence;
+const node_fs_1 = require("node:fs");
+const node_os_1 = require("node:os");
+/** Hard cap — verification is a proof, not a checklist dump. */
+exports.MAX_ASSERTIONS = 8;
+/** Required string fields per assertion type. Single source of truth for
+ *  parse validation AND the error message listing valid types. */
+const FIELDS_BY_TYPE = {
+    window_title_contains: ['value'],
+    app_running: ['name'],
+    element_exists: ['name'],
+    element_value_contains: ['name', 'value'],
+    clipboard_contains: ['value'],
+    file_exists: ['path'],
+    file_contains: ['path', 'value'],
+    ocr_contains: ['value'],
+    file_changed_since_start: ['path'],
+};
+// ─── Parsing / validation ────────────────────────────────────────────────────
+/**
+ * Validate raw model input into a typed assertion list. Returns `{error}`
+ * (never throws) so tool handlers can reject with a corrective message.
+ */
+function parseAssertions(raw) {
+    if (!Array.isArray(raw)) {
+        return { error: `assertions must be an array of {type, ...} objects (got ${typeof raw}). Valid types: ${Object.keys(FIELDS_BY_TYPE).join(', ')}.` };
+    }
+    if (raw.length === 0) {
+        return { error: 'assertions array is empty — provide at least one machine-checkable proof.' };
+    }
+    if (raw.length > exports.MAX_ASSERTIONS) {
+        return { error: `too many assertions (${raw.length} > ${exports.MAX_ASSERTIONS}) — verify the few facts that actually prove the task.` };
+    }
+    const assertions = [];
+    for (let i = 0; i < raw.length; i++) {
+        const a = raw[i];
+        if (!a || typeof a !== 'object') {
+            return { error: `assertion ${i} is not an object.` };
+        }
+        const type = String(a.type ?? '');
+        const fields = FIELDS_BY_TYPE[type];
+        if (!fields) {
+            return { error: `assertion ${i} has unknown type "${type}". Valid types: ${Object.keys(FIELDS_BY_TYPE).join(', ')}.` };
+        }
+        for (const f of fields) {
+            if (typeof a[f] !== 'string' || a[f].length === 0) {
+                return { error: `assertion ${i} (${type}) is missing required string field "${f}".` };
+            }
+        }
+        assertions.push(a);
+    }
+    return { assertions };
+}
+// ─── Execution ───────────────────────────────────────────────────────────────
+const norm = (s) => s.toLowerCase();
+const containsCI = (haystack, needle) => norm(haystack).includes(norm(needle));
+const truncate = (s, n) => (s.length > n ? `${s.slice(0, n - 1)}…` : s);
+/** Expand a leading `~` so model-supplied paths like `~/Documents/x.txt` work. */
+function expandHome(p) {
+    return p.startsWith('~') ? (0, node_os_1.homedir)() + p.slice(1) : p;
+}
+/** Cap file_contains reads — verification targets are documents, not dumps. */
+const MAX_FILE_BYTES = 1024 * 1024;
+async function checkOne(a, deps) {
+    const { adapter } = deps;
+    switch (a.type) {
+        case 'window_title_contains': {
+            const wins = await adapter.listWindows();
+            const hit = wins.find(w => containsCI(w.title ?? '', a.value));
+            if (hit)
+                return { ok: true, detail: `matched "${truncate(hit.title, 60)}"` };
+            const titles = wins.slice(0, 5).map(w => `"${truncate(w.title, 40)}"`).join(', ');
+            return { ok: false, detail: `no open window title contains "${a.value}" (open: ${titles || 'none'})` };
+        }
+        case 'app_running': {
+            const wins = await adapter.listWindows();
+            const hit = wins.find(w => containsCI(w.processName ?? '', a.name));
+            return hit
+                ? { ok: true, detail: `process "${hit.processName}" has a window` }
+                : { ok: false, detail: `no window belongs to a process matching "${a.name}"` };
+        }
+        case 'element_exists': {
+            const hits = await adapter.findElements({ name: a.name });
+            return hits.length > 0
+                ? { ok: true, detail: `${hits.length} element(s) named "${a.name}"` }
+                : { ok: false, detail: `no accessibility element named "${a.name}" (sparse-tree app? try ocr_contains)` };
+        }
+        case 'element_value_contains': {
+            const res = await adapter.invokeElement({ name: a.name, action: 'get-value' });
+            if (!res.success)
+                return { ok: false, detail: `"${a.name}" has no readable value` };
+            const value = String(res.data?.value ?? '');
+            return containsCI(value, a.value)
+                ? { ok: true, detail: `"${a.name}" = "${truncate(value, 80)}"` }
+                : { ok: false, detail: `"${a.name}" = "${truncate(value, 80)}" — does not contain "${a.value}"` };
+        }
+        case 'clipboard_contains': {
+            const clip = await adapter.readClipboard();
+            return containsCI(clip ?? '', a.value)
+                ? { ok: true, detail: 'clipboard matches' }
+                : { ok: false, detail: `clipboard is "${truncate(clip ?? '', 60)}" — does not contain "${a.value}"` };
+        }
+        case 'file_exists': {
+            try {
+                const st = await node_fs_1.promises.stat(expandHome(a.path));
+                return { ok: true, detail: `exists (${st.size} bytes)` };
+            }
+            catch {
+                return { ok: false, detail: `no file at "${a.path}"` };
+            }
+        }
+        case 'file_contains': {
+            let content;
+            try {
+                const fh = await node_fs_1.promises.open(expandHome(a.path), 'r');
+                try {
+                    const buf = Buffer.alloc(MAX_FILE_BYTES);
+                    const { bytesRead } = await fh.read(buf, 0, MAX_FILE_BYTES, 0);
+                    content = buf.subarray(0, bytesRead).toString('utf8');
+                }
+                finally {
+                    await fh.close();
+                }
+            }
+            catch {
+                return { ok: false, detail: `cannot read "${a.path}"` };
+            }
+            return containsCI(content, a.value)
+                ? { ok: true, detail: 'file content matches' }
+                : { ok: false, detail: `file does not contain "${a.value}" (read ${Math.min(content.length, MAX_FILE_BYTES)} chars)` };
+        }
+        case 'ocr_contains': {
+            if (!deps.ocrText)
+                return { ok: false, detail: 'OCR is not wired in this context — use element/window assertions instead' };
+            const text = await deps.ocrText();
+            return containsCI(text, a.value)
+                ? { ok: true, detail: 'visible on screen (OCR)' }
+                : { ok: false, detail: `OCR text does not contain "${a.value}"` };
+        }
+        case 'file_changed_since_start': {
+            // The proof that a mutating task actually WROTE the file it claims to —
+            // catches "claimed success, nothing happened" for file effects (a live
+            // wallpaper task 'verified' via the clock while the wallpaper file went
+            // untouched). Discriminating by construction: at task start nothing has
+            // been modified-since-start yet.
+            if (deps.taskStartedAt === undefined) {
+                return { ok: false, detail: 'no task-start timestamp in this context — file_changed_since_start only works inside a task run' };
+            }
+            try {
+                const st = await node_fs_1.promises.stat(expandHome(a.path));
+                const delta = Math.round((st.mtimeMs - deps.taskStartedAt) / 1000);
+                return st.mtimeMs > deps.taskStartedAt
+                    ? { ok: true, detail: `modified ${delta}s into the task` }
+                    : { ok: false, detail: `NOT modified since the task started (mtime is ${Math.abs(delta)}s older than task start) — your action did not change this file` };
+            }
+            catch {
+                return { ok: false, detail: `no file at "${a.path}"` };
+            }
+        }
+    }
+}
+function summarize(a) {
+    const args = FIELDS_BY_TYPE[a.type]
+        .map(f => `"${truncate(String(a[f]), 40)}"`)
+        .join(', ');
+    return `${a.type}(${args})`;
+}
+/**
+ * Execute every assertion against current ground truth. Per-assertion errors
+ * (UIA down, fs error) fail THAT assertion with the error text — the function
+ * itself never throws.
+ */
+async function checkAssertions(assertions, deps) {
+    const outcomes = [];
+    for (let i = 0; i < assertions.length; i++) {
+        const a = assertions[i];
+        let ok;
+        let detail;
+        try {
+            ({ ok, detail } = await checkOne(a, deps));
+        }
+        catch (err) {
+            ok = false;
+            detail = `check failed: ${err instanceof Error ? err.message : String(err)}`;
+        }
+        outcomes.push({ index: i, summary: summarize(a), ok, detail });
+    }
+    const passed = outcomes.filter(o => o.ok).length;
+    return { ok: passed === outcomes.length, passed, failed: outcomes.length - passed, outcomes };
+}
+/** Compact ✓/✗ report — readable by humans and cheap for LLM context. */
+function renderReport(report) {
+    return report.outcomes
+        .map(o => `${o.ok ? '✓' : '✗'} ${o.summary} — ${o.detail}`)
+        .join('\n');
+}
+/** Capture the cheap baseline artifacts at task start. Best-effort: any source
+ *  that fails contributes an empty value rather than throwing. */
+async function captureTaskBaseline(adapter, ocrText) {
+    const startedAt = Date.now();
+    let windowTitles = [];
+    let processNames = [];
+    try {
+        const wins = await adapter.listWindows();
+        windowTitles = wins.map(w => (w.title ?? '').toLowerCase());
+        processNames = wins.map(w => (w.processName ?? '').toLowerCase());
+    }
+    catch { /* empty */ }
+    let clipboard = '';
+    try {
+        clipboard = ((await adapter.readClipboard()) ?? '').toLowerCase();
+    }
+    catch { /* empty */ }
+    let ocr = '';
+    try {
+        ocr = ocrText ? (await ocrText()).toLowerCase() : '';
+    }
+    catch { /* empty */ }
+    return { startedAt, ocrText: ocr, windowTitles, processNames, clipboard };
+}
+/**
+ * Was this assertion ALREADY satisfied at task start?
+ *   true  — provably true at baseline (non-discriminating: proves nothing changed)
+ *   false — provably NOT true at baseline (discriminating: the task made it true)
+ *   null  — undeterminable from the cheap baseline (element/file checks) → trusted
+ */
+function wasTrueAtBaseline(a, b) {
+    const has = (h, n) => h.includes(n.toLowerCase());
+    switch (a.type) {
+        case 'ocr_contains': return has(b.ocrText, a.value);
+        case 'clipboard_contains': return has(b.clipboard, a.value);
+        case 'window_title_contains': return b.windowTitles.some(t => has(t, a.value));
+        case 'app_running': return b.processNames.some(p => has(p, a.name));
+        case 'file_changed_since_start': return false; // by construction: nothing is changed-since-start at start
+        default: return null; // element_*, file_exists, file_contains — trust
+    }
+}
+/**
+ * Given a PASSING report, is at least one passing assertion discriminating
+ * (not provably true at baseline)? Returns true when the evidence genuinely
+ * reflects a change, false when EVERY passing proof was already true before
+ * the task acted.
+ */
+function hasDiscriminatingEvidence(assertions, report, baseline) {
+    return assertions.some((a, i) => report.outcomes[i]?.ok === true && wasTrueAtBaseline(a, baseline) !== true);
+}
+//# sourceMappingURL=assertions.js.map

package/dist/core/verify/assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertions.js","sourceRoot":"","sources":["../../../src/core/verify/assertions.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;AAsEH,0CA6BC;AAwHD,0CAgBC;AAGD,oCAIC;AA6BD,kDAiBC;AAQD,8CAUC;AAQD,8DAQC;AAhUD,qCAAyC;AACzC,qCAAkC;AA4ClC,gEAAgE;AACnD,QAAA,cAAc,GAAG,CAAC,CAAC;AAEhC;kEACkE;AAClE,MAAM,cAAc,GAAiD;IACnE,qBAAqB,EAAE,CAAC,OAAO,CAAC;IAChC,WAAW,EAAE,CAAC,MAAM,CAAC;IACrB,cAAc,EAAE,CAAC,MAAM,CAAC;IACxB,sBAAsB,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;IACzC,kBAAkB,EAAE,CAAC,OAAO,CAAC;IAC7B,WAAW,EAAE,CAAC,MAAM,CAAC;IACrB,aAAa,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;IAChC,YAAY,EAAE,CAAC,OAAO,CAAC;IACvB,wBAAwB,EAAE,CAAC,MAAM,CAAC;CACnC,CAAC;AAEF,gFAAgF;AAEhF;;;GAGG;AACH,SAAgB,eAAe,CAAC,GAAY;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,2DAA2D,OAAO,GAAG,mBAAmB,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACtJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,KAAK,EAAE,2EAA2E,EAAE,CAAC;IAChG,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,sBAAc,EAAE,CAAC;QAChC,OAAO,EAAE,KAAK,EAAE,wBAAwB,GAAG,CAAC,MAAM,MAAM,sBAAc,wDAAwD,EAAE,CAAC;IACnI,CAAC;IACD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAmC,CAAC;QACnD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,oBAAoB,EAAE,CAAC;QACvD,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAClC,MAAM,MAAM,GAAI,cAAoD,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,sBAAsB,IAAI,mBAAmB,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACzH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAK,CAAC,CAAC,CAAC,CAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9D,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,uCAAuC,CAAC,IAAI,EAAE,CAAC;YACxF,CAAC;QACH,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,CAAyB,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,CAAC;AACxB,CAAC;AAED,gFAAgF;AAEhF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AAC5C,MAAM,UAAU,GAAG,CAAC,QAAgB,EAAE,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/F,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAExF,kFAAkF;AAClF,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,iBAAO,GAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,+EAA+E;AAC/E,MAAM,cAAc,GAAG,IAAI,GAAG,IAAI,CAAC;AAEnC,KAAK,UAAU,QAAQ,CAAC,CAAY,EAAE,IAAmB;IACvD,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,uBAAuB,CAAC,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/D,IAAI,GAAG;gBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;YAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,CAAC,CAAC,KAAK,YAAY,MAAM,IAAI,MAAM,GAAG,EAAE,CAAC;QACzG,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACpE,OAAO,GAAG;gBACR,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,GAAG,CAAC,WAAW,gBAAgB,EAAE;gBACnE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4CAA4C,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;QACnF,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC;gBACpB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,sBAAsB,CAAC,CAAC,IAAI,GAAG,EAAE;gBACrE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,CAAC,CAAC,IAAI,uCAAuC,EAAE,CAAC;QAC9G,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAC/E,IAAI,CAAC,GAAG,CAAC,OAAO;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,yBAAyB,EAAE,CAAC;YACpF,MAAM,KAAK,GAAG,MAAM,CAAE,GAAG,CAAC,IAAwC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;YACjF,OAAO,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC;gBAC/B,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,QAAQ,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE;gBAChE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,QAAQ,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtG,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,aAAa,EAAE,CAAC;YAC3C,OAAO,UAAU,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;gBACpC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE;gBAC3C,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,QAAQ,CAAC,IAAI,IAAI,EAAE,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC1G,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,MAAM,kBAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;YAC3D,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;YACzD,CAAC;QACH,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,OAAe,CAAC;YACpB,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,MAAM,kBAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;gBAClD,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;oBACzC,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;oBAC/D,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACxD,CAAC;wBAAS,CAAC;oBACT,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;gBACnB,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;YAC1D,CAAC;YACD,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC;gBACjC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE;gBAC9C,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,CAAC,CAAC,KAAK,WAAW,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,EAAE,CAAC;QAC3H,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,OAAO;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0EAA0E,EAAE,CAAC;YAC5H,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC;gBAC9B,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,yBAAyB,EAAE;gBACjD,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtE,CAAC;QACD,KAAK,0BAA0B,CAAC,CAAC,CAAC;YAChC,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,wEAAwE;YACxE,iCAAiC;YACjC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBACrC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iGAAiG,EAAE,CAAC;YAClI,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,MAAM,kBAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,CAAC;gBACnE,OAAO,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC,aAAa;oBACpC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,KAAK,iBAAiB,EAAE;oBAC1D,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iDAAiD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,iEAAiE,EAAE,CAAC;YAC/J,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,CAAY;IAC7B,MAAM,IAAI,GAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAuB;SACvD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAE,CAAwC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;SACnF,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACI,KAAK,UAAU,eAAe,CAAC,UAAuB,EAAE,IAAmB;IAChF,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,EAAW,CAAC;QAChB,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,EAAE,GAAG,KAAK,CAAC;YACX,MAAM,GAAG,iBAAiB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/E,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,EAAE,EAAE,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC;AAChG,CAAC;AAED,yEAAyE;AACzE,SAAgB,YAAY,CAAC,MAAoB;IAC/C,OAAO,MAAM,CAAC,QAAQ;SACnB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;SAC1D,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AA2BD;kEACkE;AAC3D,KAAK,UAAU,mBAAmB,CACvC,OAAwB,EACxB,OAA+B;IAE/B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,YAAY,GAAa,EAAE,CAAC;IAChC,IAAI,YAAY,GAAa,EAAE,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,WAAW,EAAE,CAAC;QACzC,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5D,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC;IACvB,IAAI,SAAS,GAAG,EAAE,CAAC;IACnB,IAAI,CAAC;QAAC,SAAS,GAAG,CAAC,CAAC,MAAM,OAAO,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC;IAChG,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,CAAC;QAAC,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC;IACnF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,CAAY,EAAE,CAAe;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAClE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,cAAc,CAAC,CAAa,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAChE,KAAK,oBAAoB,CAAC,CAAO,OAAO,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAClE,KAAK,uBAAuB,CAAC,CAAI,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAClF,KAAK,aAAa,CAAC,CAAc,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,KAAK,0BAA0B,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,2DAA2D;QAC1G,OAAO,CAAC,CAAyB,OAAO,IAAI,CAAC,CAAE,gDAAgD;IACjG,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAgB,yBAAyB,CACvC,UAAuB,EACvB,MAAoB,EACpB,QAAsB;IAEtB,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9B,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,IAAI,iBAAiB,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,IAAI,CAC3E,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,21 @@
+#!/usr/bin/env node
+/**
+ * Back-compat entry point — DO NOT add logic here.
+ *
+ * v0.x published the CLI at `dist/index.js`. v1.0 moved the real entry to
+ * `dist/surface/cli.js` (see package.json "bin"). Some users had hard-pinned
+ * `node <pkg>/dist/index.js <args>` into an MCP host config — e.g. Claude
+ * Code's `.claude.json` — and a routine `npm i -g clawdcursor` upgrade then
+ * silently broke their launch, because the file they pointed at no longer
+ * existed. The MCP server simply failed to start with no obvious cause.
+ *
+ * This shim re-runs the real CLI so those pinned paths keep working across the
+ * move. `surface/cli` calls `program.parse()` on load, so importing it here is
+ * enough — the original `process.argv` flows straight through.
+ *
+ * New configs should launch the `clawdcursor` bin directly
+ * (`"command": "clawdcursor", "args": ["mcp", "--compact"]`) or install the
+ * Claude Code plugin, both of which resolve through npm and never pin a deep
+ * dist path. See README.md / SKILL.md.
+ */
+import './surface/cli';

package/dist/index.js

@@ -0,0 +1,24 @@
+#!/usr/bin/env node
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * Back-compat entry point — DO NOT add logic here.
+ *
+ * v0.x published the CLI at `dist/index.js`. v1.0 moved the real entry to
+ * `dist/surface/cli.js` (see package.json "bin"). Some users had hard-pinned
+ * `node <pkg>/dist/index.js <args>` into an MCP host config — e.g. Claude
+ * Code's `.claude.json` — and a routine `npm i -g clawdcursor` upgrade then
+ * silently broke their launch, because the file they pointed at no longer
+ * existed. The MCP server simply failed to start with no obvious cause.
+ *
+ * This shim re-runs the real CLI so those pinned paths keep working across the
+ * move. `surface/cli` calls `program.parse()` on load, so importing it here is
+ * enough — the original `process.argv` flows straight through.
+ *
+ * New configs should launch the `clawdcursor` bin directly
+ * (`"command": "clawdcursor", "args": ["mcp", "--compact"]`) or install the
+ * Claude Code plugin, both of which resolve through npm and never pin a deep
+ * dist path. See README.md / SKILL.md.
+ */
+require("./surface/cli");
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AACA;;;;;;;;;;;;;;;;;;GAkBG;AACH,yBAAuB"}

package/dist/llm/browser-config.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Browser Configuration — centralised helpers for browser detection and CDP port.
+ *
+ * All files that need to know which browser processes to match, what CDP port
+ * to connect to, or where the browser executable lives should import from here
+ * instead of hardcoding values.
+ */
+import type { ClawdConfig } from '../types';
+export declare const DEFAULT_CDP_PORT = 9223;
+/**
+ * Port for the AGENT-OWNED dedicated browser instance (the one CDPDriver
+ * launches itself with `--user-data-dir=~/.clawdcursor/cdp-profile`).
+ *
+ * Deliberately DIFFERENT from DEFAULT_CDP_PORT (9223): ownership is encoded in
+ * the port. 9223 is reserved for browsers the USER put on the wire (their own
+ * launch flags, `relaunch_with_cdp`, the browser relay) — attaching there means
+ * "driving the user's session" and gets new-tab discipline. Sharing one port
+ * for both meant the driver could not tell its own instance from the user's:
+ * whoever squatted 9223 won, and a lingering agent instance the user adopted
+ * (music, browsing) got its tabs hijacked (root-cause fix 2026-06-11).
+ */
+export declare const AGENT_CDP_PORT: number;
+/** Get configured browser executable path, or null for auto-detection */
+export declare function getBrowserExePath(config?: ClawdConfig): string | null;
+/** Get list of browser process names to match against */
+export declare function getBrowserProcessNames(config?: ClawdConfig): string[];
+/** Get CDP debugging port */
+export declare function getCDPPort(config?: ClawdConfig): number;
+/** Build a regex matching browser process names */
+export declare function getBrowserProcessRegex(config?: ClawdConfig): RegExp;
+/** Get default Chrome executable paths for the current platform */
+export declare function getChromePaths(): string[];
+/** Get default Edge executable paths for the current platform */
+export declare function getEdgePaths(): string[];
+/** Get browser executable paths, respecting config overrides. Tries custom path first, then defaults. */
+export declare function getBrowserPaths(browser: 'chrome' | 'edge', config?: ClawdConfig): string[];