@post-print/agent-test 2.3.9 → 3.0.0

package/dist/sdk/expect.js

@@ -2,10 +2,12 @@ import { basename, relative, resolve, sep } from "node:path";
 import { expect as base } from "@playwright/test";
 import { shellSegments } from "@post-print/agent-harness";
 import { consumeCriterionOperations } from "./criterion-provenance.js";
+import { offeredTool } from "./run-record.js";
 const FILE_PROTOCOL = /^file:\/\//;
 const COMMAND_TOOL = /shell|bash|terminal|exec|command/i;
 const READ_TOOL = /read/i;
 const SEARCH_TOOL = /^(grep|glob)$/i;
+const SKILL_TOOL = /^skill$/i;
 const GLOB_CHARS = /[*?[]/;
 const PATH_ARG_KEYS = ["path", "file_path", "filePath", "target_file", "uri", "pattern"];
 const FILE_READING_COMMANDS = new Set([
@@ -91,6 +93,14 @@ function commandMatches(call, expected) {
         return { call, ownsExitCode: ownsExitCode(segments, index) };
     return matches(raw, expected) ? { call, ownsExitCode: segments.length <= 1 } : undefined;
 }
+const RECURSIVE_FLAG = /^-[a-zA-Z]*[rR][a-zA-Z]*$|^--recursive$/;
+/** `grep -r x` and `rg x` read everything under the working directory. */
+function isUnscopedShellSearch(tokens) {
+    const executable = basename(tokens[0] ?? "");
+    const args = tokens.slice(1);
+    const recursive = executable === "rg" || (executable === "grep" && args.some((arg) => RECURSIVE_FLAG.test(arg)));
+    return recursive && args.filter((arg) => !arg.startsWith("-")).length <= 1;
+}
 function accessesPath(run, call, path) {
     const args = call.args ?? {};
     const named = PATH_ARG_KEYS.map((key) => args[key]).filter((value) => typeof value === "string");
@@ -100,7 +110,8 @@ function accessesPath(run, call, path) {
         return true;
     if (!COMMAND_TOOL.test(call.name))
         return false;
-    return shellSegments(commandText(call)).some(({ tokens }) => tokens.slice(1).some((token) => !token.startsWith("-") && mayExpose(run, token, path)));
+    return shellSegments(commandText(call)).some(({ tokens }) => isUnscopedShellSearch(tokens) ||
+        tokens.slice(1).some((token) => !token.startsWith("-") && mayExpose(run, token, path)));
 }
 const outcome = (pass, description) => ({ pass, message: () => description });
 function executedCommandMessage(expected, calls, unattributed) {
@@ -110,6 +121,11 @@ function executedCommandMessage(expected, calls, unattributed) {
         : "";
     return `Expected command ${String(expected.command)}${exit}${note}\nObserved: ${JSON.stringify(calls)}`;
 }
+function matchesToolCall(call, { args, succeeded }) {
+    if (succeeded !== undefined && call.succeeded !== succeeded)
+        return false;
+    return Object.entries(args ?? {}).every(([key, value]) => JSON.stringify(call.args?.[key]) === JSON.stringify(value));
+}
 const extendedExpect = base.extend({
     toHaveExecutedCommand(run, expected) {
         requireTools(run);
@@ -126,9 +142,12 @@ const extendedExpect = base.extend({
             throw new Error("Command exit-code evidence unavailable");
         return outcome(found, executedCommandMessage(expected, calls, matching.length - attributable.length));
     },
-    toHaveCalledTool(run, expected) {
+    toHaveCalledTool(run, expected, details = {}) {
         requireTools(run);
-        return outcome(run.toolCalls.some((call) => matches(call.name, expected)), `Expected tool ${String(expected)}; observed ${run.toolCalls.map((call) => call.name).join(", ")}`);
+        const named = run.toolCalls.filter((call) => matches(call.name, expected));
+        if (details.succeeded !== undefined && named.some((call) => call.succeeded === undefined))
+            throw new Error(`Tool success evidence unavailable for ${String(expected)}`);
+        return outcome(named.some((call) => matchesToolCall(call, details)), `Expected tool ${String(expected)}${details.args || details.succeeded !== undefined ? ` with ${JSON.stringify(details)}` : ""}; observed ${JSON.stringify(run.toolCalls.map(({ name, args, succeeded }) => ({ name, args, succeeded })))}`);
     },
     toHaveCalledToolsInOrder(run, expected) {
         requireTools(run);
@@ -150,10 +169,26 @@ const extendedExpect = base.extend({
             throw new Error(`Successful file-read evidence unavailable: ${path}`);
         return outcome(found, `Expected successful read of ${path}`);
     },
+    /** A host may load a skill through its own tool or by reading the file. Either is evidence. */
+    toHaveUsedSkill(run, name) {
+        requireTools(run);
+        const skillFile = run.startingContext.skills
+            .map(({ destination }) => `${destination}/SKILL.md`)
+            .find((path) => path.includes(`/${name}/`));
+        const loaded = run.toolCalls.some((call) => SKILL_TOOL.test(call.name) && call.args?.skill === name && call.succeeded !== false);
+        const read = run.toolCalls.some((call) => call.succeeded === true &&
+            skillFile !== undefined &&
+            (Object.values(call.args ?? {}).some((value) => typeof value === "string" && samePath(run, value, skillFile)) ||
+                shellReadsPath(run, commandText(call), skillFile)));
+        return outcome(loaded || read, `Expected the agent to use skill ${name}`);
+    },
     toHaveAccessedPath(run, path) {
         requireTools(run);
         return outcome(run.toolCalls.some((call) => accessesPath(run, call, path)), `Expected possible access to ${path} (exact path, enclosing directory, matching glob, or an unscoped search)`);
     },
+    toHaveBeenOffered(run, tool) {
+        return outcome(offeredTool(run.exposure, tool), `Expected the agent to be offered ${tool}; offered (${run.exposure.source}): ${run.exposure.tools.map(({ name }) => name).join(", ")}`);
+    },
     toHaveModifiedPath(run, path) {
         return outcome(run.workspace.changedPaths.includes(path), `Expected resulting modification to ${path}; changed: ${run.workspace.changedPaths.join(", ")}`);
     },

package/dist/sdk/expect.js.map

@@ -1 +1 @@
-{"version":3,"file":"expect.js","sourceRoot":"","sources":["../../src/sdk/expect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAqB,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAGvE,MAAM,aAAa,GAAG,YAAY,CAAC;AACnC,MAAM,YAAY,GAAG,mCAAmC,CAAC;AACzD,MAAM,SAAS,GAAG,OAAO,CAAC;AAC1B,MAAM,WAAW,GAAG,gBAAgB,CAAC;AACrC,MAAM,UAAU,GAAG,OAAO,CAAC;AAC3B,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AACzF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACrC,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,MAAM;IACN,KAAK;CACL,CAAC,CAAC;AAGH,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,QAAyB,EAAE,EAAE,CAC7D,OAAO,QAAQ,KAAK,QAAQ;IAC3B,CAAC,CAAC,MAAM,KAAK,QAAQ;IACrB,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/F,SAAS,aAAa,CAAC,GAAQ,EAAE,KAAa;IAC7C,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AACD,SAAS,QAAQ,CAAC,GAAQ,EAAE,MAAc,EAAE,QAAgB;IAC3D,OAAO,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACpE,CAAC;AACD,kFAAkF;AAClF,SAAS,UAAU,CAAC,GAAQ,EAAE,MAAc,EAAE,QAAgB;IAC7D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/E,OAAO,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;AAC5F,CAAC;AACD,SAAS,UAAU,CAAC,IAAY;IAC/B,MAAM,MAAM,GAAG,IAAI;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACb,IAAI;SACF,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC;SACjC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC;SACxB,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CACzB;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,IAAI,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,WAAW,CAAC,GAAQ,EAAE,IAAY,EAAE,QAAgB;IAC5D,OAAO,UAAU,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChF,CAAC;AACD,gGAAgG;AAChG,SAAS,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,QAAgB;IAC3D,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACrC,CAAC;AACD,SAAS,WAAW,CAAC,IAAc;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AACD,SAAS,YAAY,CAAC,GAAQ;IAC7B,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS;QAC9B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;AACxE,CAAC;AACD,SAAS,cAAc,CAAC,GAAQ,EAAE,OAAe,EAAE,IAAY;IAC9D,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACjD,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,OAAO,OAAO,CACb,UAAU;YACT,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAC5D,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AACD;;;GAGG;AACH,SAAS,YAAY,CAAC,QAAwB,EAAE,KAAa;IAC5D,IAAI,KAAK,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;AACpF,CAAC;AACD,SAAS,WAAW,CAAC,OAAqB;IACzC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAKD,SAAS,cAAc,CAAC,IAAc,EAAE,QAAyB;IAChE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvF,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;IAC7E,OAAO,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AACD,SAAS,YAAY,CAAC,GAAQ,EAAE,IAAc,EAAE,IAAY;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CACzD,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CACrD,CAAC;IACF,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAC3D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CACtF,CAAC;AACH,CAAC;AACD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,WAAmB,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;AAK/F,SAAS,sBAAsB,CAC9B,QAAyB,EACzB,KAAiB,EACjB,YAAoB;IAEpB,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,QAAQ,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,IAAI,GAAG,YAAY;QACxB,CAAC,CAAC,KAAK,YAAY,uHAAuH;QAC1I,CAAC,CAAC,EAAE,CAAC;IACN,OAAO,oBAAoB,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,IAAI,GAAG,IAAI,eAAe,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;AACzG,CAAC;AACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,qBAAqB,CAAC,GAAQ,EAAE,QAAyB;QACxD,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC;QAClD,IAAI,SAAS,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,gBAAgB;YAClD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,KAAK;aACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;aACrD,MAAM,CAAC,CAAC,KAAK,EAAyB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3F,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAClE,CAAC;QACF,IAAI,CAAC,KAAK,IAAI,SAAS,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;YACzF,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC3D,OAAO,OAAO,CACb,KAAK,EACL,sBAAsB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAC9E,CAAC;IACH,CAAC;IACD,gBAAgB,CAAC,GAAQ,EAAE,QAAyB;QACnD,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,OAAO,OAAO,CACb,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAC1D,iBAAiB,MAAM,CAAC,QAAQ,CAAC,cAAc,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClG,CAAC;IACH,CAAC;IACD,wBAAwB,CAAC,GAAQ,EAAE,QAA6B;QAC/D,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,SAAS;YAC/B,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAAE,KAAK,EAAE,CAAC;QAC7E,OAAO,OAAO,CACb,KAAK,KAAK,QAAQ,CAAC,MAAM,EACzB,0BAA0B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC5D,CAAC;IACH,CAAC;IACD,cAAc,CAAC,GAAQ,EAAE,IAAY;QACpC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS;YAC9B,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAC/E,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CACrC,CAAC,IAAI,EAAE,EAAE,CACR,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAClC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAClE,CACF,CAAC;QACF,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CACtF,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QACzF,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;YAC5F,MAAM,IAAI,KAAK,CAAC,8CAA8C,IAAI,EAAE,CAAC,CAAC;QACvE,OAAO,OAAO,CAAC,KAAK,EAAE,+BAA+B,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,kBAAkB,CAAC,GAAQ,EAAE,IAAY;QACxC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,OAAO,OAAO,CACb,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAC3D,+BAA+B,IAAI,0EAA0E,CAC7G,CAAC;IACH,CAAC;IACD,kBAAkB,CAAC,GAAQ,EAAE,IAAY;QACxC,OAAO,OAAO,CACb,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzC,sCAAsC,IAAI,cAAc,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/F,CAAC;IACH,CAAC;CACD,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAAC,MAAe,EAAE,SAAkB;IACjE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,0BAA0B,EAAE,CAAC,CAAC;IACrD,IAAI,iBAAiB,CAAC,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrD,IACC,OAAO,SAAS,KAAK,QAAQ;QAC7B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAE3E,OAAO;IACR,KAAK,MAAM,KAAK,IAAI,MAAM;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CACnB,gBAAgB,IAAI,CAAC,SAAS,CAAC;YAC9B,KAAK;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE,SAAS,EAAE;SACpB,CAAC,IAAI,CACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACxC,OAAO,OAAO,CACb,KAAK;QACJ,OAAO,KAAK,KAAK,QAAQ;QACzB,IAAI,IAAI,KAAK;QACb,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,OAAO,IAAI,KAAK,CACjB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE;IAC/C,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa;QACnC,qBAAqB,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC;CACD,CAAC,CAAC"}
+{"version":3,"file":"expect.js","sourceRoot":"","sources":["../../src/sdk/expect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAqB,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAG9C,MAAM,aAAa,GAAG,YAAY,CAAC;AACnC,MAAM,YAAY,GAAG,mCAAmC,CAAC;AACzD,MAAM,SAAS,GAAG,OAAO,CAAC;AAC1B,MAAM,WAAW,GAAG,gBAAgB,CAAC;AACrC,MAAM,UAAU,GAAG,UAAU,CAAC;AAC9B,MAAM,UAAU,GAAG,OAAO,CAAC;AAC3B,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;AACzF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACrC,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,MAAM;IACN,KAAK;CACL,CAAC,CAAC;AAGH,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,QAAyB,EAAE,EAAE,CAC7D,OAAO,QAAQ,KAAK,QAAQ;IAC3B,CAAC,CAAC,MAAM,KAAK,QAAQ;IACrB,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/F,SAAS,aAAa,CAAC,GAAQ,EAAE,KAAa;IAC7C,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AACD,SAAS,QAAQ,CAAC,GAAQ,EAAE,MAAc,EAAE,QAAgB;IAC3D,OAAO,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACpE,CAAC;AACD,kFAAkF;AAClF,SAAS,UAAU,CAAC,GAAQ,EAAE,MAAc,EAAE,QAAgB;IAC7D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/E,OAAO,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;AAC5F,CAAC;AACD,SAAS,UAAU,CAAC,IAAY;IAC/B,MAAM,MAAM,GAAG,IAAI;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACb,IAAI;SACF,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC;SACjC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC;SACxB,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CACzB;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,IAAI,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,WAAW,CAAC,GAAQ,EAAE,IAAY,EAAE,QAAgB;IAC5D,OAAO,UAAU,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChF,CAAC;AACD,gGAAgG;AAChG,SAAS,SAAS,CAAC,GAAQ,EAAE,KAAa,EAAE,QAAgB;IAC3D,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACrC,CAAC;AACD,SAAS,WAAW,CAAC,IAAc;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AACD,SAAS,YAAY,CAAC,GAAQ;IAC7B,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS;QAC9B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;AACxE,CAAC;AACD,SAAS,cAAc,CAAC,GAAQ,EAAE,OAAe,EAAE,IAAY;IAC9D,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QACjD,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,OAAO,OAAO,CACb,UAAU;YACT,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAC5D,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AACD;;;GAGG;AACH,SAAS,YAAY,CAAC,QAAwB,EAAE,KAAa;IAC5D,IAAI,KAAK,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;AACpF,CAAC;AACD,SAAS,WAAW,CAAC,OAAqB;IACzC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAKD,SAAS,cAAc,CAAC,IAAc,EAAE,QAAyB;IAChE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACvF,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;IAC7E,OAAO,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AACD,MAAM,cAAc,GAAG,yCAAyC,CAAC;AACjE,0EAA0E;AAC1E,SAAS,qBAAqB,CAAC,MAAgB;IAC9C,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,SAAS,GACd,UAAU,KAAK,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChG,OAAO,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;AAC5E,CAAC;AACD,SAAS,YAAY,CAAC,GAAQ,EAAE,IAAc,EAAE,IAAY;IAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CACzD,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CACrD,CAAC;IACF,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAC3C,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACd,qBAAqB,CAAC,MAAM,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CACvF,CAAC;AACH,CAAC;AACD,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,WAAmB,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;AAK/F,SAAS,sBAAsB,CAC9B,QAAyB,EACzB,KAAiB,EACjB,YAAoB;IAEpB,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,QAAQ,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,IAAI,GAAG,YAAY;QACxB,CAAC,CAAC,KAAK,YAAY,uHAAuH;QAC1I,CAAC,CAAC,EAAE,CAAC;IACN,OAAO,oBAAoB,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,IAAI,GAAG,IAAI,eAAe,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;AACzG,CAAC;AAMD,SAAS,eAAe,CAAC,IAAc,EAAE,EAAE,IAAI,EAAE,SAAS,EAAoB;IAC7E,IAAI,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1E,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CACtC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAC5E,CAAC;AACH,CAAC;AACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,qBAAqB,CAAC,GAAQ,EAAE,QAAyB;QACxD,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC;QAClD,IAAI,SAAS,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,gBAAgB;YAClD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,KAAK;aACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;aACrD,MAAM,CAAC,CAAC,KAAK,EAAyB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3F,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAClE,CAAC;QACF,IAAI,CAAC,KAAK,IAAI,SAAS,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;YACzF,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC3D,OAAO,OAAO,CACb,KAAK,EACL,sBAAsB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAC9E,CAAC;IACH,CAAC;IACD,gBAAgB,CAAC,GAAQ,EAAE,QAAyB,EAAE,OAAO,GAAqB,EAAE;QACnF,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3E,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;YACxF,MAAM,IAAI,KAAK,CAAC,yCAAyC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9E,OAAO,OAAO,CACb,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EACpD,iBAAiB,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC1O,CAAC;IACH,CAAC;IACD,wBAAwB,CAAC,GAAQ,EAAE,QAA6B;QAC/D,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,SAAS;YAC/B,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAAE,KAAK,EAAE,CAAC;QAC7E,OAAO,OAAO,CACb,KAAK,KAAK,QAAQ,CAAC,MAAM,EACzB,0BAA0B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC5D,CAAC;IACH,CAAC;IACD,cAAc,CAAC,GAAQ,EAAE,IAAY;QACpC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS;YAC9B,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;QAC/E,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CACrC,CAAC,IAAI,EAAE,EAAE,CACR,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAClC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAClE,CACF,CAAC;QACF,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CACtF,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QACzF,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;YAC5F,MAAM,IAAI,KAAK,CAAC,8CAA8C,IAAI,EAAE,CAAC,CAAC;QACvE,OAAO,OAAO,CAAC,KAAK,EAAE,+BAA+B,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,+FAA+F;IAC/F,eAAe,CAAC,GAAQ,EAAE,IAAY;QACrC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,GAAG,CAAC,eAAe,CAAC,MAAM;aAC1C,GAAG,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,WAAW,WAAW,CAAC;aACnD,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAChC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAC7F,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,EAAE,CACR,IAAI,CAAC,SAAS,KAAK,IAAI;YACvB,SAAS,KAAK,SAAS;YACvB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CACnC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CACvE;gBACA,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,CACpD,CAAC;QACF,OAAO,OAAO,CAAC,MAAM,IAAI,IAAI,EAAE,mCAAmC,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,kBAAkB,CAAC,GAAQ,EAAE,IAAY;QACxC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClB,OAAO,OAAO,CACb,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAC3D,+BAA+B,IAAI,0EAA0E,CAC7G,CAAC;IACH,CAAC;IACD,iBAAiB,CAAC,GAAQ,EAAE,IAAY;QACvC,OAAO,OAAO,CACb,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,EAC/B,oCAAoC,IAAI,cAAc,GAAG,CAAC,QAAQ,CAAC,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtI,CAAC;IACH,CAAC;IACD,kBAAkB,CAAC,GAAQ,EAAE,IAAY;QACxC,OAAO,OAAO,CACb,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EACzC,sCAAsC,IAAI,cAAc,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/F,CAAC;IACH,CAAC;CACD,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAAC,MAAe,EAAE,SAAkB;IACjE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,0BAA0B,EAAE,CAAC,CAAC;IACrD,IAAI,iBAAiB,CAAC,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrD,IACC,OAAO,SAAS,KAAK,QAAQ;QAC7B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC;QAE3E,OAAO;IACR,KAAK,MAAM,KAAK,IAAI,MAAM;QACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CACnB,gBAAgB,IAAI,CAAC,SAAS,CAAC;YAC9B,KAAK;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE,SAAS,EAAE;SACpB,CAAC,IAAI,CACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACxC,OAAO,OAAO,CACb,KAAK;QACJ,OAAO,KAAK,KAAK,QAAQ;QACzB,IAAI,IAAI,KAAK;QACb,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,OAAO,IAAI,KAAK,CACjB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE;IAC/C,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa;QACnC,qBAAqB,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACtD,CAAC;CACD,CAAC,CAAC"}

package/dist/sdk/failure.d.ts

@@ -1,4 +1,4 @@
-import type { AgentInfrastructureFailure } from "@post-print/agent-harness";
+import { type AgentInfrastructureFailure } from "@post-print/agent-harness";
 export type RecordedFailure = AgentInfrastructureFailure | {
     kind: "runtime";
     message: string;

package/dist/sdk/failure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failure.d.ts","sourceRoot":"","sources":["../../src/sdk/failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEX,0BAA0B,EAC1B,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,eAAe,GAAG,0BAA0B,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhG,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAa/D"}
+{"version":3,"file":"failure.d.ts","sourceRoot":"","sources":["../../src/sdk/failure.ts"],"names":[],"mappings":"AAAA,OAAO,EAEN,KAAK,0BAA0B,EAE/B,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,eAAe,GAAG,0BAA0B,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhG,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAa/D"}

package/dist/sdk/failure.js

@@ -1,10 +1,11 @@
+import { isAgentInfrastructureCode, } from "@post-print/agent-harness";
 export function recordedFailure(error) {
     if (isInfrastructureFailure(error)) {
         return {
             kind: "infrastructure",
             code: error.code,
             message: error.message,
-            timeoutMs: error.timeoutMs,
+            ...(error.timeoutMs === undefined ? {} : { timeoutMs: error.timeoutMs }),
         };
     }
     return {
@@ -17,8 +18,7 @@ function isInfrastructureFailure(error) {
         return false;
     const value = error;
     return (value.kind === "infrastructure" &&
-        value.code === "timeout" &&
-        typeof value.message === "string" &&
-        typeof value.timeoutMs === "number");
+        isAgentInfrastructureCode(value.code) &&
+        typeof value.message === "string");
 }
 //# sourceMappingURL=failure.js.map

package/dist/sdk/failure.js.map

@@ -1 +1 @@
-{"version":3,"file":"failure.js","sourceRoot":"","sources":["../../src/sdk/failure.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,eAAe,CAAC,KAAc;IAC7C,IAAI,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO;YACN,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,SAAS;SAC1B,CAAC;IACH,CAAC;IACD,OAAO;QACN,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC/D,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC9C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,KAAK,GAAG,KAA0C,CAAC;IACzD,OAAO,CACN,KAAK,CAAC,IAAI,KAAK,gBAAgB;QAC/B,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CACnC,CAAC;AACH,CAAC"}
+{"version":3,"file":"failure.js","sourceRoot":"","sources":["../../src/sdk/failure.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,yBAAyB,GACzB,MAAM,2BAA2B,CAAC;AAInC,MAAM,UAAU,eAAe,CAAC,KAAc;IAC7C,IAAI,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO;YACN,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;SACxE,CAAC;IACH,CAAC;IACD,OAAO;QACN,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC/D,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC9C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,KAAK,GAAG,KAA0C,CAAC;IACzD,OAAO,CACN,KAAK,CAAC,IAAI,KAAK,gBAAgB;QAC/B,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC;QACrC,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CACjC,CAAC;AACH,CAAC"}

package/dist/sdk/judge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"judge.d.ts","sourceRoot":"","sources":["../../src/sdk/judge.ts"],"names":[],"mappings":"AAEA,OAAO,EACN,KAAK,eAAe,EAKpB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAMvE,wBAAgB,eAAe,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAEzF;AACD,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAevD;AACD,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO;IACrD,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,eAAe,CAAC;IAC5B,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,SAAS,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,SAAS,CAAC;QAAC,UAAU,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,OAAO,CAAA;SAAE,CAAA;KAAE,KAAK,IAAI,CAAC;CACjG;AAiBD,wBAAsB,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EACjD,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAC3B,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAiDlC"}
+{"version":3,"file":"judge.d.ts","sourceRoot":"","sources":["../../src/sdk/judge.ts"],"names":[],"mappings":"AAEA,OAAO,EACN,KAAK,eAAe,EAKpB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAMvE,wBAAgB,eAAe,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAEzF;AACD,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAevD;AACD,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO;IACrD,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,eAAe,CAAC;IAC5B,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,SAAS,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,MAAM,EAAE,WAAW,CAAC;IACpB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,SAAS,CAAC;QAAC,UAAU,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,OAAO,CAAA;SAAE,CAAA;KAAE,KAAK,IAAI,CAAC;CACjG;AA0BD,wBAAsB,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EACjD,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAC3B,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CA4ClC"}

package/dist/sdk/judge.js

@@ -36,6 +36,15 @@ async function evaluationPrompt(request, workspace) {
         throw new Error("Judge context exceeds 200000 bytes; select less input");
     return { prompt, input: JSON.parse(input), schema, context };
 }
+function reviewerSession(request, workspace) {
+    return createAgentSession({
+        agent: request.definition,
+        workspace,
+        signal: request.signal,
+        readOnly: true,
+        protectedPaths: request.protectedPaths,
+    });
+}
 export async function evaluate(request) {
     request.signal.throwIfAborted();
     const id = request.id ?? crypto.randomUUID(), directory = join(request.outputDir, id);
@@ -47,13 +56,7 @@ export async function evaluate(request) {
     try {
         const prepared = await evaluationPrompt(request, workspace);
         await writeJson(join(directory, "request.json"), prepared);
-        session = await createAgentSession({
-            agent: request.definition,
-            workspace,
-            signal: request.signal,
-            readOnly: true,
-            protectedPaths: request.protectedPaths,
-        });
+        session = await reviewerSession(request, workspace);
         request.onStart?.({
             input: prepared.input,
             evaluation: { prompt: request.settings.prompt, schema: prepared.schema },
@@ -71,6 +74,7 @@ export async function evaluate(request) {
             output: parseEvaluation(response, request.settings.schema),
             usage: runUsage(trace.usage),
             artifact: directory,
+            model: { requested: request.definition.options.model, observed: trace.hostReport?.model },
         };
         await writeJson(join(directory, "evaluation.json"), result);
         return result;

package/dist/sdk/judge.js.map

@@ -1 +1 @@
-{"version":3,"file":"judge.js","sourceRoot":"","sources":["../../src/sdk/judge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAEN,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,GAE1B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEtE,MAAM,UAAU,GAAG,kBAAkB,CAAC;AACtC,MAAM,WAAW,GAAG,SAAS,CAAC;AAC9B,MAAM,UAAU,eAAe,CAAsB,IAAY,EAAE,MAAS;IAC3E,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACxF,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAClD,IACC,KAAK,KAAK,SAAS;YACnB,OAAO,KAAK,KAAK,UAAU;YAC3B,OAAO,KAAK,KAAK,QAAQ;YACzB,OAAO,KAAK,KAAK,QAAQ;YAEzB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC;AACb,CAAC;AAaD,KAAK,UAAU,gBAAgB,CAC9B,OAA6B,EAC7B,SAAiB;IAEjB,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,WAAW,CACzB,+JAA+J,OAAO,CAAC,QAAQ,CAAC,MAAM,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,KAAK,EAAE,EACrP,OAAO,CACP,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,OAAO;QACtC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC1E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC9D,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC7B,OAA6B;IAE7B,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;IAChC,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,MAAM,CAAC,UAAU,EAAE,EAC3C,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,wEAAwE;IACxE,MAAM,MAAM,GAAG,MAAM,0BAA0B,EAAE,CAAC;IAClD,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,OAAmC,CAAC;IACxC,IAAI,CAAC;QACJ,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,OAAO,GAAG,MAAM,kBAAkB,CAAC;YAClC,KAAK,EAAE,OAAO,CAAC,UAAU;YACzB,SAAS;YACT,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,OAAO,CAAC,cAAc;SACtC,CAAC,CAAC;QACH,OAAO,CAAC,OAAO,EAAE,CAAC;YACjB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;SACxE,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjD,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ;aAC7B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC;aACjD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;aACjC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG;YACd,EAAE;YACF,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1D,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5B,QAAQ,EAAE,SAAS;SACnB,CAAC;QACF,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IACf,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,MAAM,KAAK,CAAC;IACb,CAAC;YAAS,CAAC;QACV,IAAI,CAAC;YACJ,MAAM,OAAO,EAAE,KAAK,EAAE,CAAC;QACxB,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC;IACF,CAAC;AACF,CAAC"}
+{"version":3,"file":"judge.js","sourceRoot":"","sources":["../../src/sdk/judge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAEN,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,GAE1B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEtE,MAAM,UAAU,GAAG,kBAAkB,CAAC;AACtC,MAAM,WAAW,GAAG,SAAS,CAAC;AAC9B,MAAM,UAAU,eAAe,CAAsB,IAAY,EAAE,MAAS;IAC3E,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACxF,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAClD,IACC,KAAK,KAAK,SAAS;YACnB,OAAO,KAAK,KAAK,UAAU;YAC3B,OAAO,KAAK,KAAK,QAAQ;YACzB,OAAO,KAAK,KAAK,QAAQ;YAEzB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC;AACb,CAAC;AAaD,KAAK,UAAU,gBAAgB,CAC9B,OAA6B,EAC7B,SAAiB;IAEjB,cAAc,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,WAAW,CACzB,+JAA+J,OAAO,CAAC,QAAQ,CAAC,MAAM,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,KAAK,EAAE,EACrP,OAAO,CACP,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,OAAO;QACtC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC1E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC9D,CAAC;AACD,SAAS,eAAe,CAAsB,OAA6B,EAAE,SAAiB;IAC7F,OAAO,kBAAkB,CAAC;QACzB,KAAK,EAAE,OAAO,CAAC,UAAU;QACzB,SAAS;QACT,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,IAAI;QACd,cAAc,EAAE,OAAO,CAAC,cAAc;KACtC,CAAC,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC7B,OAA6B;IAE7B,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;IAChC,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,MAAM,CAAC,UAAU,EAAE,EAC3C,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,wEAAwE;IACxE,MAAM,MAAM,GAAG,MAAM,0BAA0B,EAAE,CAAC;IAClD,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,OAAmC,CAAC;IACxC,IAAI,CAAC;QACJ,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,OAAO,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACpD,OAAO,CAAC,OAAO,EAAE,CAAC;YACjB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;SACxE,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjD,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ;aAC7B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC;aACjD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;aACjC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG;YACd,EAAE;YACF,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1D,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5B,QAAQ,EAAE,SAAS;YACnB,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE;SACzF,CAAC;QACF,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IACf,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,MAAM,KAAK,CAAC;IACb,CAAC;YAAS,CAAC;QACV,IAAI,CAAC;YACJ,MAAM,OAAO,EAAE,KAAK,EAAE,CAAC;QACxB,CAAC;gBAAS,CAAC;YACV,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC;IACF,CAAC;AACF,CAAC"}

package/dist/sdk/operation-ledger.d.ts

@@ -0,0 +1,25 @@
+import { WorkspaceEscapeError } from "@post-print/agent-harness";
+import type { Run } from "./types.js";
+export interface WorkspaceEscapeOutcome {
+    escaped?: WorkspaceEscapeError;
+    run?: Run;
+}
+/**
+ * The one way a test accepts a workspace escape. Any other caught escape still fails the test.
+ * Without `allowRefusal`, a run that made no attempt fails too.
+ */
+export declare function expectWorkspaceEscape(operation: Promise<Run>, options?: {
+    allowRefusal?: boolean;
+}): Promise<WorkspaceEscapeOutcome>;
+/** Every agent and judge operation of one test, so a result can only come from work that happened. */
+export declare class OperationLedger {
+    private readonly operations;
+    private readonly escapes;
+    record<T>(underlying: Promise<T>): Promise<T>;
+    /** Throws when the test body finished without earning its result. */
+    assertResultEarned(options: {
+        noAgent: boolean;
+    }): void;
+    private assertNoFloatingOperation;
+}
+//# sourceMappingURL=operation-ledger.d.ts.map

package/dist/sdk/operation-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation-ledger.d.ts","sourceRoot":"","sources":["../../src/sdk/operation-ledger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAoBtC,MAAM,WAAW,sBAAsB;IACtC,OAAO,CAAC,EAAE,oBAAoB,CAAC;IAC/B,GAAG,CAAC,EAAE,GAAG,CAAC;CACV;AACD;;;GAGG;AACH,wBAAsB,qBAAqB,CAC1C,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,EACvB,OAAO,GAAE;IAAE,YAAY,CAAC,EAAE,OAAO,CAAA;CAAO,GACtC,OAAO,CAAC,sBAAsB,CAAC,CAUjC;AAID,sGAAsG;AACtG,qBAAa,eAAe;IAC3B,OAAO,CAAC,QAAQ,CAAC,UAAU,CACvB;IACJ,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAmC;IAE3D,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAkB5C;IAED,qEAAqE;IACrE,kBAAkB,CAAC,OAAO,EAAE;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAUtD;IAED,OAAO,CAAC,yBAAyB;CASjC"}

package/dist/sdk/operation-ledger.js

@@ -0,0 +1,72 @@
+import { WorkspaceEscapeError } from "@post-print/agent-harness";
+/** A promise that knows whether the test ever looked at its outcome, however late. */
+class ObservedOperation extends Promise {
+    static get [Symbol.species]() {
+        return Promise;
+    }
+    observed = false;
+    // biome-ignore lint/suspicious/noThenProperty: await and Promise.all only reach a subclass through then, which is how observation is detected.
+    then(onFulfilled, onRejected) {
+        this.observed = true;
+        return super.then(onFulfilled, onRejected);
+    }
+}
+const acknowledgedEscapes = new WeakSet();
+/**
+ * The one way a test accepts a workspace escape. Any other caught escape still fails the test.
+ * Without `allowRefusal`, a run that made no attempt fails too.
+ */
+export async function expectWorkspaceEscape(operation, options = {}) {
+    try {
+        const run = await operation;
+        if (options.allowRefusal)
+            return { run };
+    }
+    catch (error) {
+        if (!(error instanceof WorkspaceEscapeError))
+            throw error;
+        acknowledgedEscapes.add(error);
+        return { escaped: error };
+    }
+    throw new Error("Expected the run to fail with WorkspaceEscapeError, but it completed");
+}
+/** Every agent and judge operation of one test, so a result can only come from work that happened. */
+export class OperationLedger {
+    operations = [];
+    escapes = new Set();
+    record(underlying) {
+        const operation = new ObservedOperation((resolve, reject) => {
+            underlying.then(resolve, reject);
+        });
+        const entry = { operation, state: "pending" };
+        this.operations.push(entry);
+        // Internal bookkeeping must not count as the test observing the outcome.
+        Promise.prototype.then.call(operation, undefined, () => undefined);
+        underlying.then(() => {
+            entry.state = "fulfilled";
+        }, (error) => {
+            entry.state = "rejected";
+            if (error instanceof WorkspaceEscapeError)
+                this.escapes.add(error);
+        });
+        return operation;
+    }
+    /** Throws when the test body finished without earning its result. */
+    assertResultEarned(options) {
+        this.assertNoFloatingOperation();
+        const escapes = [...this.escapes];
+        const unacknowledged = escapes.find((error) => !acknowledgedEscapes.has(error));
+        if (unacknowledged)
+            throw unacknowledged;
+        if (options.noAgent)
+            return;
+        if (escapes.length === 0 && !this.operations.some(({ state }) => state === "fulfilled"))
+            throw new Error("The test finished without a completed agent operation, so its result says nothing about an agent. Declare noAgent: true if that is intended.");
+    }
+    assertNoFloatingOperation() {
+        const floating = this.operations.filter(({ operation, state }) => state !== "fulfilled" && !operation.observed);
+        if (floating.length > 0)
+            throw new Error(`${floating.length} agent operation(s) were not awaited and did not complete. Await each run, or handle its rejection.`);
+    }
+}
+//# sourceMappingURL=operation-ledger.js.map

package/dist/sdk/operation-ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation-ledger.js","sourceRoot":"","sources":["../../src/sdk/operation-ledger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE,sFAAsF;AACtF,MAAM,iBAAqB,SAAQ,OAAU;IAC5C,MAAM,KAAc,CAAC,MAAM,CAAC,OAAO,CAAC;QACnC,OAAO,OAAO,CAAC;IAChB,CAAC;IACD,QAAQ,GAAG,KAAK,CAAC;IACjB,+IAA+I;IACtI,IAAI,CACZ,WAAuD,EACvD,UAA6D;QAE7D,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAC5C,CAAC;CACD;AAED,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAAwB,CAAC;AAMhE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAC1C,SAAuB,EACvB,OAAO,GAA+B,EAAE;IAExC,IAAI,CAAC;QACJ,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC;QAC5B,IAAI,OAAO,CAAC,YAAY;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC1C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CAAC,CAAC,KAAK,YAAY,oBAAoB,CAAC;YAAE,MAAM,KAAK,CAAC;QAC1D,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;AACzF,CAAC;AAID,sGAAsG;AACtG,MAAM,OAAO,eAAe;IACV,UAAU,GAC1B,EAAE,CAAC;IACa,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE3D,MAAM,CAAI,UAAsB;QAC/B,MAAM,SAAS,GAAG,IAAI,iBAAiB,CAAI,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC9D,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,SAA2B,EAAE,CAAC;QAChE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,yEAAyE;QACzE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACnE,UAAU,CAAC,IAAI,CACd,GAAG,EAAE;YACJ,KAAK,CAAC,KAAK,GAAG,WAAW,CAAC;QAC3B,CAAC,EACD,CAAC,KAAc,EAAE,EAAE;YAClB,KAAK,CAAC,KAAK,GAAG,UAAU,CAAC;YACzB,IAAI,KAAK,YAAY,oBAAoB;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpE,CAAC,CACD,CAAC;QACF,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,qEAAqE;IACrE,kBAAkB,CAAC,OAA6B;QAC/C,IAAI,CAAC,yBAAyB,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,IAAI,cAAc;YAAE,MAAM,cAAc,CAAC;QACzC,IAAI,OAAO,CAAC,OAAO;YAAE,OAAO;QAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,WAAW,CAAC;YACtF,MAAM,IAAI,KAAK,CACd,8IAA8I,CAC9I,CAAC;IACJ,CAAC;IAEO,yBAAyB;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CACtC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,SAAS,CAAC,QAAQ,CACtE,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YACtB,MAAM,IAAI,KAAK,CACd,GAAG,QAAQ,CAAC,MAAM,qGAAqG,CACvH,CAAC;IACJ,CAAC;CACD"}

package/dist/sdk/pass-rate.d.ts

@@ -0,0 +1,57 @@
+/** P(X <= k) for X ~ Binomial(n, p). */
+export declare function binomialCdf(k: number, n: number, p: number): number;
+export interface RateInterval {
+    low: number;
+    high: number;
+}
+/** Clopper-Pearson: never narrower than the truth, however small n is. */
+export declare function exactInterval(k: number, n: number): RateInterval;
+/** "p is at least this" with 95% confidence. 20 of 20 gives about 0.861. */
+export declare function lowerBound(k: number, n: number): number;
+export interface SamplingPlan {
+    n: number;
+    /** Flag the claim at this many failures. */
+    flagAt: number;
+    falseAlarmRate: number;
+    power: number;
+}
+/**
+ * The smallest fixed plan that tells `target` from `detect`, computed before any run so a result
+ * is never decided by watching an interval move. Stopping once `flagAt` is reached or can no longer
+ * be reached does not change the decision, so the error rates stand.
+ */
+export declare function samplingPlan(input: {
+    target: number;
+    detect: number;
+    falseAlarm?: number;
+    power?: number;
+}): SamplingPlan;
+/** Whether more runs could change this plan's decision. */
+export declare function planIsDecided(input: {
+    flagAt: number;
+    n: number;
+    failures: number;
+    ran: number;
+}): boolean;
+export interface RateDifference extends RateInterval {
+    difference: number;
+    /** The interval excludes zero. */
+    distinguishable: boolean;
+}
+/** Newcombe's interval for a difference of two independent rates: first minus second. */
+export declare function differenceInterval(first: {
+    passed: number;
+    total: number;
+}, second: {
+    passed: number;
+    total: number;
+}): RateDifference;
+/** Whether k of n is below what the baseline supports, measured against its cautious lower bound. */
+export declare function regressedFrom(baseline: {
+    passed: number;
+    total: number;
+}, current: {
+    passed: number;
+    total: number;
+}): boolean;
+//# sourceMappingURL=pass-rate.d.ts.map

package/dist/sdk/pass-rate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass-rate.d.ts","sourceRoot":"","sources":["../../src/sdk/pass-rate.ts"],"names":[],"mappings":"AAcA,wCAAwC;AACxC,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAInE;AAoBD,MAAM,WAAW,YAAY;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACb;AACD,0EAA0E;AAC1E,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,YAAY,CAGhE;AACD,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,MAAM,WAAW,YAAY;IAC5B,CAAC,EAAE,MAAM,CAAC;IACV,4CAA4C;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CACf,GAAG,YAAY,CAaf;AACD,2DAA2D;AAC3D,wBAAgB,aAAa,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,WAGhG;AAcD,MAAM,WAAW,cAAe,SAAQ,YAAY;IACnD,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,eAAe,EAAE,OAAO,CAAC;CACzB;AACD,yFAAyF;AACzF,wBAAgB,kBAAkB,CACjC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EACxC,MAAM,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACvC,cAAc,CAShB;AACD,qGAAqG;AACrG,wBAAgB,aAAa,CAC5B,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAC3C,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACxC,OAAO,CAGT"}

package/dist/sdk/pass-rate.js

@@ -0,0 +1,113 @@
+/** Exact statistics for "k of n runs passed". Pure, so every number is tested directly. */
+const BISECTION_STEPS = 60;
+const Z_95 = 1.959_963_985;
+function logChoose(n, k) {
+    let total = 0;
+    for (let index = 1; index <= k; index++)
+        total += Math.log((n - k + index) / index);
+    return total;
+}
+function binomialTerm(n, k, p) {
+    if (p <= 0)
+        return k === 0 ? 1 : 0;
+    if (p >= 1)
+        return k === n ? 1 : 0;
+    return Math.exp(logChoose(n, k) + k * Math.log(p) + (n - k) * Math.log(1 - p));
+}
+/** P(X <= k) for X ~ Binomial(n, p). */
+export function binomialCdf(k, n, p) {
+    let total = 0;
+    for (let value = 0; value <= Math.min(k, n); value++)
+        total += binomialTerm(n, value, p);
+    return Math.min(total, 1);
+}
+/** The p where a function that increases with p crosses the target. */
+function solveIncreasing(value, target) {
+    let low = 0;
+    let high = 1;
+    for (let step = 0; step < BISECTION_STEPS; step++) {
+        const middle = (low + high) / 2;
+        if (value(middle) < target)
+            low = middle;
+        else
+            high = middle;
+    }
+    return (low + high) / 2;
+}
+function lowerAt(k, n, alpha) {
+    if (k === 0)
+        return 0;
+    return solveIncreasing((p) => 1 - binomialCdf(k - 1, n, p), alpha);
+}
+function upperAt(k, n, alpha) {
+    if (k === n)
+        return 1;
+    return solveIncreasing((p) => 1 - binomialCdf(k, n, p), 1 - alpha);
+}
+/** Clopper-Pearson: never narrower than the truth, however small n is. */
+export function exactInterval(k, n) {
+    if (n === 0)
+        return { low: 0, high: 1 };
+    return { low: lowerAt(k, n, 0.025), high: upperAt(k, n, 0.025) };
+}
+/** "p is at least this" with 95% confidence. 20 of 20 gives about 0.861. */
+export function lowerBound(k, n) {
+    return n === 0 ? 0 : lowerAt(k, n, 0.05);
+}
+const MAX_PLAN_SAMPLES = 2_000;
+/**
+ * The smallest fixed plan that tells `target` from `detect`, computed before any run so a result
+ * is never decided by watching an interval move. Stopping once `flagAt` is reached or can no longer
+ * be reached does not change the decision, so the error rates stand.
+ */
+export function samplingPlan(input) {
+    const { target, detect, falseAlarm = 0.05, power = 0.8 } = input;
+    for (let n = 1; n <= MAX_PLAN_SAMPLES; n++) {
+        for (let flagAt = 1; flagAt <= n; flagAt++) {
+            // Failures are Binomial(n, 1 - p); flagging needs at least flagAt of them.
+            const falseAlarmRate = 1 - binomialCdf(flagAt - 1, n, 1 - target);
+            if (falseAlarmRate > falseAlarm)
+                continue;
+            const planPower = 1 - binomialCdf(flagAt - 1, n, 1 - detect);
+            if (planPower >= power)
+                return { n, flagAt, falseAlarmRate, power: planPower };
+            break;
+        }
+    }
+    throw new Error(`No plan within ${MAX_PLAN_SAMPLES} runs tells ${target} from ${detect}`);
+}
+/** Whether more runs could change this plan's decision. */
+export function planIsDecided(input) {
+    const { flagAt, n, failures, ran } = input;
+    return failures >= flagAt || flagAt - failures > n - ran;
+}
+function wilson(k, n) {
+    if (n === 0)
+        return { low: 0, high: 1 };
+    const p = k / n;
+    const z2 = Z_95 * Z_95;
+    const centre = p + z2 / (2 * n);
+    const margin = Z_95 * Math.sqrt((p * (1 - p)) / n + z2 / (4 * n * n));
+    const denominator = 1 + z2 / n;
+    return {
+        low: k === 0 ? 0 : (centre - margin) / denominator,
+        high: k === n ? 1 : (centre + margin) / denominator,
+    };
+}
+/** Newcombe's interval for a difference of two independent rates: first minus second. */
+export function differenceInterval(first, second) {
+    const p1 = first.total ? first.passed / first.total : 0;
+    const p2 = second.total ? second.passed / second.total : 0;
+    const a = wilson(first.passed, first.total);
+    const b = wilson(second.passed, second.total);
+    const difference = p1 - p2;
+    const low = difference - Math.hypot(p1 - a.low, b.high - p2);
+    const high = difference + Math.hypot(a.high - p1, p2 - b.low);
+    return { difference, low, high, distinguishable: low > 0 || high < 0 };
+}
+/** Whether k of n is below what the baseline supports, measured against its cautious lower bound. */
+export function regressedFrom(baseline, current) {
+    const floor = lowerBound(baseline.passed, baseline.total);
+    return binomialCdf(current.passed, current.total, floor) < 0.05;
+}
+//# sourceMappingURL=pass-rate.js.map

package/dist/sdk/pass-rate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass-rate.js","sourceRoot":"","sources":["../../src/sdk/pass-rate.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,MAAM,eAAe,GAAG,EAAE,CAAC;AAC3B,MAAM,IAAI,GAAG,aAAa,CAAC;AAE3B,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACtC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE;QAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACd,CAAC;AACD,SAAS,YAAY,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IACpD,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC;AACD,wCAAwC;AACxC,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IAC1D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE;QAAE,KAAK,IAAI,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACzF,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AACD,uEAAuE;AACvE,SAAS,eAAe,CAAC,KAA4B,EAAE,MAAc;IACpE,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM;YAAE,GAAG,GAAG,MAAM,CAAC;;YACpC,IAAI,GAAG,MAAM,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AACD,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS,EAAE,KAAa;IACnD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,eAAe,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACpE,CAAC;AACD,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS,EAAE,KAAa;IACnD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,eAAe,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;AACpE,CAAC;AAKD,0EAA0E;AAC1E,MAAM,UAAU,aAAa,CAAC,CAAS,EAAE,CAAS;IACjD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACxC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AAClE,CAAC;AACD,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,CAAS,EAAE,CAAS;IAC9C,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AASD,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAC/B;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAK5B;IACA,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,IAAI,EAAE,KAAK,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC;IACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,gBAAgB,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;YAC5C,2EAA2E;YAC3E,MAAM,cAAc,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;YAClE,IAAI,cAAc,GAAG,UAAU;gBAAE,SAAS;YAC1C,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;YAC7D,IAAI,SAAS,IAAI,KAAK;gBAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YAC/E,MAAM;QACP,CAAC;IACF,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,gBAAgB,eAAe,MAAM,SAAS,MAAM,EAAE,CAAC,CAAC;AAC3F,CAAC;AACD,2DAA2D;AAC3D,MAAM,UAAU,aAAa,CAAC,KAAmE;IAChG,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC3C,OAAO,QAAQ,IAAI,MAAM,IAAI,MAAM,GAAG,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC;AAC1D,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,CAAS;IACnC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACxC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;IACvB,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/B,OAAO;QACN,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,WAAW;QAClD,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,WAAW;KACnD,CAAC;AACH,CAAC;AAMD,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CACjC,KAAwC,EACxC,MAAyC;IAEzC,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,EAAE,GAAG,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAC9D,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;AACxE,CAAC;AACD,qGAAqG;AACrG,MAAM,UAAU,aAAa,CAC5B,QAA2C,EAC3C,OAA0C;IAE1C,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,OAAO,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC;AACjE,CAAC"}

package/dist/sdk/run-record.d.ts

@@ -0,0 +1,76 @@
+import type { AgentDefinition, AgentTrace, Confinement, HostConditions, McpCatalogEntry, NetworkState } from "@post-print/agent-harness";
+import type { StartingContext, WorkspaceSnapshot } from "./workspace.js";
+/** The test asked about something this run cannot show, so it has no verdict either way. */
+export declare class ConditionsUnknownError extends Error {
+    readonly kind: "conditions-unknown";
+    constructor(message: string);
+}
+export interface OfferedTool {
+    name: string;
+    server?: string;
+    description?: string;
+}
+/**
+ * `host`: the host listed every tool it offered. `mcp-query`: the harness asked the MCP servers,
+ * so MCP tools are known and built-in tools are not. `unknown`: nothing could be established.
+ */
+export interface RunExposure {
+    source: "host" | "mcp-query" | "unknown";
+    tools: OfferedTool[];
+    mcpServers: {
+        name: string;
+        status: string;
+        error?: string;
+    }[];
+}
+export declare function runExposure(report: AgentTrace["hostReport"], catalog: McpCatalogEntry[]): RunExposure;
+/** Whether the agent was offered a tool. An unknown catalog answers neither yes nor no. */
+export declare function offeredTool(exposure: RunExposure, requested: string): boolean;
+export interface RunRecord {
+    host: string;
+    binary?: string;
+    binaryVersion?: string;
+    authMode?: string;
+    confinement: Confinement;
+    network: NetworkState;
+    settingSources?: string[];
+    overridingEnv: string[];
+    requestedModel?: string;
+    observedModel?: string;
+    /** False when no definition names a model, so the host or environment chose it. */
+    modelPinned: boolean;
+    /** True when this host version has a passing host probe on record. */
+    calibrated: boolean;
+    packageVersion?: string;
+    git?: {
+        sha: string;
+        dirty: boolean;
+    };
+    hashes: {
+        suite?: string;
+        prompt: string;
+        skills: string;
+        initialSnapshot: string;
+    };
+}
+export interface RunRecordBase {
+    baseDir: string;
+    packageVersion?: string;
+    git?: {
+        sha: string;
+        dirty: boolean;
+    };
+    suiteHash?: string;
+}
+export declare function runRecordBase(baseDir: string, testFile?: string): Promise<RunRecordBase>;
+/** Called by the host probe after every check passed. Other runs read it to label themselves. */
+export declare function recordHostCalibration(configDir: string, record: Pick<RunRecord, "host" | "binaryVersion">): Promise<void>;
+export declare function buildRunRecord(base: RunRecordBase, input: {
+    conditions: HostConditions;
+    definition: AgentDefinition;
+    hostReport: AgentTrace["hostReport"];
+    prompt: string;
+    context: StartingContext;
+    initial: WorkspaceSnapshot;
+}): Promise<RunRecord>;
+//# sourceMappingURL=run-record.d.ts.map