@sema-agent/core 1.279.0

package/dist/orchestration/builtin-workflows.js

@@ -0,0 +1,134 @@
+import { parseWorkflowMeta } from "./workflow-meta.js";
+export const TEAM_DISCUSSION_WORKFLOW_NAME = "team-discussion";
+export const TEAM_DISCUSSION_SCRIPT = `export const meta = {
+  name: "team-discussion",
+  description: "Round-based team discussion: configurable members debate a topic across rounds (each member sees the transcript so far), then a finalizer synthesizes a structured verdict.",
+  whenToUse: "Use for a genuinely contested question that benefits from several perspectives arguing across rounds - design trade-offs, plan or risk reviews, adversarial critique of a proposal. Do NOT use it for a single factual question, a task with one obvious answer, or a budget-sensitive run: every round costs one agent call per member, so a discussion is never cheaper than asking once. args (all optional): { topic, members?: [{ role, prompt?, model? }], rounds?, finalizer?: { prompt?, model? } }.",
+  phases: [
+    { title: "Discussion" },
+    { title: "Synthesis" },
+  ],
+};
+// Zero-config runnable (design/140 §6 1c): every arg has an opinionated fallback.
+const raw = args;
+const a = raw !== null && typeof raw === "object" && !Array.isArray(raw) ? raw : {};
+const topic =
+  typeof a.topic === "string" && a.topic.trim() !== ""
+    ? a.topic
+    : typeof raw === "string" && raw.trim() !== ""
+      ? raw // ergonomic form: a bare string args IS the topic
+      : "No topic was provided. Discuss: what information should a caller supply to make a team discussion like this productive, and when should they NOT convene one?";
+const defaultMembers = [
+  { role: "advocate", prompt: "Make the strongest constructive case. Propose concrete options and argue their benefits with specifics." },
+  { role: "skeptic", prompt: "Stress-test every claim made so far. Surface risks, hidden costs, failure modes, and cheaper alternatives." },
+];
+const rawMembers = Array.isArray(a.members) && a.members.length > 0 ? a.members : defaultMembers;
+const members = rawMembers.slice(0, 6).map((m, i) => {
+  const mm = m !== null && typeof m === "object" ? m : {};
+  const member = {
+    role: typeof mm.role === "string" && mm.role.trim() !== "" ? mm.role : "member-" + (i + 1),
+    prompt: typeof mm.prompt === "string" && mm.prompt.trim() !== "" ? mm.prompt : "Contribute your own distinct perspective: be concrete, give reasons, and engage with what others said.",
+  };
+  if (typeof mm.model === "string" && mm.model.trim() !== "") member.model = mm.model;
+  // Slot-tools carrier (design/140 ②-3 + F4): a member may BE a registered agent type ({agent:"reviewer"}) —
+  // persona/tools/model then come from the deployment's AgentDefinition (role library), args stay thin.
+  if (typeof mm.agent === "string" && mm.agent.trim() !== "") member.agent = mm.agent;
+  return member;
+});
+// Deterministic budget truncation (design/140 §1 预算 row): a HARD rounds ceiling + member cap — never an
+// evaluator agent. The engine's budget/maxAgents hard stops remain the backstop.
+const requestedRounds = Math.floor(Number(a.rounds));
+const rounds = Math.min(Number.isFinite(requestedRounds) && requestedRounds >= 1 ? requestedRounds : 2, 5);
+const fin = a.finalizer !== null && typeof a.finalizer === "object" && !Array.isArray(a.finalizer) ? a.finalizer : {};
+const finalizerPrompt = typeof fin.prompt === "string" && fin.prompt.trim() !== ""
+  ? fin.prompt
+  : "You are the synthesis lead. Read the full discussion transcript and produce the final verdict: the decision/answer, the key supporting points, and the strongest unresolved dissent (if any). Do not introduce new arguments of your own.";
+const clip = (s) => { const t = String(s); return t.length > 4000 ? t.slice(0, 4000) + " ...[truncated]" : t; };
+const isBudgetStop = (e) => e !== null && typeof e === "object" && e.code === "workflow.budget_exceeded";
+
+phase("Discussion");
+const transcript = [];
+let truncated = null;
+for (let r = 1; r <= rounds && truncated === null; r++) {
+  // Deterministic early stop on an exhausted budget (a live read of the engine budget; the engine's
+  // hard WorkflowBudgetExceededError remains the backstop if a member call itself crosses the line).
+  if (budget.total !== null && budget.remaining() <= 0) { truncated = "budget exhausted before round " + r; break; }
+  for (const m of members) {
+    const history = transcript.length === 0 ? "(none yet - you open the discussion)" : transcript.join("\\n\\n");
+    const spec = {
+      objective:
+        "Team discussion on: " + topic + "\\n\\n" +
+        'You are "' + m.role + '" in round ' + r + " of " + rounds + ".\\n" +
+        "Your brief: " + m.prompt + "\\n\\n" +
+        "Transcript so far:\\n" + history + "\\n\\n" +
+        "Respond to the strongest points others made (do not repeat yourself), then advance your own position. Be concise: a few tight paragraphs at most.",
+    };
+    if (m.model !== undefined) spec.modelName = m.model;
+    let res;
+    try {
+      res = await agent(spec, m.agent !== undefined ? { label: m.role + "-r" + r, phase: "Discussion", agentType: m.agent } : { label: m.role + "-r" + r, phase: "Discussion" });
+    } catch (e) {
+      // The engine's budget hard stop: keep what the discussion already produced instead of failing the run.
+      if (isBudgetStop(e)) { truncated = "budget exhausted at " + m.role + ", round " + r; break; }
+      throw e;
+    }
+    const text = res && res.status === "completed" ? clip(res.result) : "(no contribution - agent ended " + (res ? res.status : "unknown") + ")";
+    transcript.push(m.role + " (round " + r + "): " + text);
+  }
+}
+
+phase("Synthesis");
+const finalSpec = {
+  objective:
+    finalizerPrompt + "\\n\\nTopic: " + topic + "\\n\\nFull transcript:\\n" +
+    (transcript.length === 0 ? "(the discussion produced no contributions)" : transcript.join("\\n\\n")) +
+    (truncated ? "\\n\\nNote: the discussion was cut short (" + truncated + ")." : ""),
+};
+if (typeof fin.model === "string" && fin.model.trim() !== "") finalSpec.modelName = fin.model;
+let verdict = null;
+try {
+  verdict = await agent(finalSpec, {
+    label: "finalizer",
+    phase: "Synthesis",
+    schema: {
+      type: "object",
+      properties: {
+        decision: { type: "string", description: "The final answer/decision, one paragraph." },
+        keyPoints: { type: "array", items: { type: "string" }, description: "The strongest supporting points from the discussion." },
+        dissent: { type: "string", description: "The strongest unresolved counter-position, if any." },
+      },
+      required: ["decision", "keyPoints"],
+    },
+  });
+} catch (e) {
+  // Budget died before synthesis: return the transcript honestly rather than failing the whole run.
+  if (!isBudgetStop(e)) throw e;
+  truncated = truncated === null ? "budget exhausted before synthesis" : truncated;
+}
+
+return {
+  topic,
+  rounds,
+  members: members.map((m) => m.role),
+  ...(truncated ? { truncated } : {}),
+  transcript,
+  verdict: verdict && verdict.structuredOutput !== undefined ? verdict.structuredOutput : (verdict ? verdict.result : null),
+};
+`;
+export function builtinWorkflowDefinitions() {
+    return [{ name: TEAM_DISCUSSION_WORKFLOW_NAME, script: TEAM_DISCUSSION_SCRIPT }];
+}
+export function resolveBuiltinWorkflow(name) {
+    return builtinWorkflowDefinitions().find((w) => w.name === name);
+}
+export function builtinWorkflowListings() {
+    return builtinWorkflowDefinitions().map((w) => {
+        const meta = parseWorkflowMeta(w.script);
+        return {
+            name: w.name,
+            description: meta.description,
+            ...(meta.whenToUse !== undefined ? { whenToUse: meta.whenToUse } : {}),
+        };
+    });
+}
+//# sourceMappingURL=builtin-workflows.js.map

package/dist/orchestration/builtin-workflows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-workflows.js","sourceRoot":"","sources":["../../src/orchestration/builtin-workflows.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAIvD,MAAM,CAAC,MAAM,6BAA6B,GAAG,iBAAiB,CAAC;AAO/D,MAAM,CAAC,MAAM,sBAAsB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkHrC,CAAC;AAUF,MAAM,UAAU,0BAA0B;IACxC,OAAO,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;AACnF,CAAC;AAID,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,0BAA0B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACnE,CAAC;AAID,MAAM,UAAU,uBAAuB;IACrC,OAAO,0BAA0B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzC,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/orchestration/dev-vm-script-runner.d.ts

@@ -0,0 +1,5 @@
+import type { WorkflowScriptRunner } from "./workflow-script-runner.js";
+export declare const WORKFLOW_DATE_ERR = "Date.now() / new Date() are unavailable in workflow scripts (breaks resume). Stamp results after the workflow returns, or pass timestamps via args.";
+export declare const WORKFLOW_RANDOM_ERR = "Math.random() is unavailable in workflow scripts (breaks resume). For N independent samples, include the index in the agent label or prompt.";
+export declare const devWorkflowScriptRunner: WorkflowScriptRunner;
+//# sourceMappingURL=dev-vm-script-runner.d.ts.map

package/dist/orchestration/dev-vm-script-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev-vm-script-runner.d.ts","sourceRoot":"","sources":["../../src/orchestration/dev-vm-script-runner.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAOxE,eAAO,MAAM,iBAAiB,wJACyH,CAAC;AACxJ,eAAO,MAAM,mBAAmB,iJACgH,CAAC;AA0BjJ,eAAO,MAAM,uBAAuB,EAAE,oBA6DrC,CAAC"}

package/dist/orchestration/dev-vm-script-runner.js

@@ -0,0 +1,68 @@
+import vm from "node:vm";
+import { splitWorkflowMeta, WorkflowScriptError } from "./workflow-meta.js";
+export const WORKFLOW_DATE_ERR = "Date.now() / new Date() are unavailable in workflow scripts (breaks resume). Stamp results after the workflow returns, or pass timestamps via args.";
+export const WORKFLOW_RANDOM_ERR = "Math.random() is unavailable in workflow scripts (breaks resume). For N independent samples, include the index in the agent label or prompt.";
+const DETERMINISM_SHIM = `(() => {
+  const NOW_ERR = ${JSON.stringify(WORKFLOW_DATE_ERR)};
+  const RANDOM_ERR = ${JSON.stringify(WORKFLOW_RANDOM_ERR)};
+  Math.random = function random() { throw new Error(RANDOM_ERR) };
+  const RealDate = Date;
+  RealDate.now = function now() { throw new Error(NOW_ERR) };
+  function ShimDate(...a) {
+    if (!new.target) throw new Error(NOW_ERR); // bare Date() → now-string
+    if (a.length === 0) throw new Error(NOW_ERR);
+    return Reflect.construct(RealDate, a, new.target);
+  }
+  ShimDate.now = RealDate.now;
+  ShimDate.parse = RealDate.parse;
+  ShimDate.UTC = RealDate.UTC;
+  ShimDate.prototype = RealDate.prototype;
+  // Close the (new Date(x)).constructor backdoor to RealDate.now — point
+  // .constructor at the shim, then freeze RealDate so it can't be undone.
+  RealDate.prototype.constructor = ShimDate;
+  Object.freeze(RealDate);
+  globalThis.Date = ShimDate;
+})()`;
+export const devWorkflowScriptRunner = {
+    safeForUntrustedScripts: false,
+    async run({ scriptSource, primitives, scriptArgs, signal }) {
+        if (signal?.aborted)
+            throw new Error("workflow script aborted before start");
+        const { meta, body } = splitWorkflowMeta(scriptSource);
+        const wrapped = `(async function(agent, parallel, pipeline, phase, log, budget, args) {\n${body}\n})`;
+        const importThrow = () => {
+            throw new WorkflowScriptError("import() is not available in workflow scripts.");
+        };
+        let compiled;
+        try {
+            try {
+                compiled = new vm.Script(wrapped, { filename: "workflow-script.js", importModuleDynamically: importThrow });
+            }
+            catch (err) {
+                if (err instanceof SyntaxError)
+                    throw err;
+                compiled = new vm.Script(wrapped, { filename: "workflow-script.js" });
+            }
+        }
+        catch (err) {
+            throw new WorkflowScriptError(`workflow script failed to compile: ${err instanceof Error ? err.message : String(err)}`);
+        }
+        const noHostApi = (name) => () => {
+            throw new WorkflowScriptError(`${name} is not available in workflow scripts — there are no Node/host APIs here. Use agent()/log()/` +
+                `budget for work, and schedule time-based behavior outside the workflow.`);
+        };
+        const context = vm.createContext({
+            require: noHostApi("require"),
+            setTimeout: noHostApi("setTimeout"),
+            setInterval: noHostApi("setInterval"),
+            setImmediate: noHostApi("setImmediate"),
+            fetch: noHostApi("fetch"),
+            queueMicrotask: noHostApi("queueMicrotask"),
+        }, { codeGeneration: { strings: false, wasm: false } });
+        new vm.Script(DETERMINISM_SHIM, { filename: "workflow-determinism-shim.js" }).runInContext(context);
+        const fn = compiled.runInContext(context);
+        const result = await fn(primitives.agent, primitives.parallel, primitives.pipeline, primitives.phase, primitives.log, primitives.budget, scriptArgs);
+        return { result, meta };
+    },
+};
+//# sourceMappingURL=dev-vm-script-runner.js.map

package/dist/orchestration/dev-vm-script-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev-vm-script-runner.js","sourceRoot":"","sources":["../../src/orchestration/dev-vm-script-runner.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAQ5E,MAAM,CAAC,MAAM,iBAAiB,GAC5B,qJAAqJ,CAAC;AACxJ,MAAM,CAAC,MAAM,mBAAmB,GAC9B,8IAA8I,CAAC;AAIjJ,MAAM,gBAAgB,GAAG;oBACL,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC;uBAC9B,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC;;;;;;;;;;;;;;;;;;KAkBrD,CAAC;AAEN,MAAM,CAAC,MAAM,uBAAuB,GAAyB;IAC3D,uBAAuB,EAAE,KAAK;IAC9B,KAAK,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE;QACxD,IAAI,MAAM,EAAE,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAE7E,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,2EAA2E,IAAI,MAAM,CAAC;QAItG,MAAM,WAAW,GAAG,GAAU,EAAE;YAC9B,MAAM,IAAI,mBAAmB,CAAC,gDAAgD,CAAC,CAAC;QAClF,CAAC,CAAC;QACF,IAAI,QAAmB,CAAC;QACxB,IAAI,CAAC;YACH,IAAI,CAAC;gBACH,QAAQ,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,WAAW,EAAE,CAAC,CAAC;YAC9G,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,GAAG,YAAY,WAAW;oBAAE,MAAM,GAAG,CAAC;gBAC1C,QAAQ,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,IAAI,mBAAmB,CAAC,sCAAsC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1H,CAAC;QAMD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,EAAE;YACvC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,IAAI,8FAA8F;gBACnG,yEAAyE,CAC5E,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B;YACE,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC;YAC7B,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;YACnC,WAAW,EAAE,SAAS,CAAC,aAAa,CAAC;YACrC,YAAY,EAAE,SAAS,CAAC,cAAc,CAAC;YACvC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;YACzB,cAAc,EAAE,SAAS,CAAC,gBAAgB,CAAC;SAC5C,EACD,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CACpD,CAAC;QAGF,IAAI,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,EAAE,QAAQ,EAAE,8BAA8B,EAAE,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACpG,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,CAA6C,CAAC;QACtF,MAAM,MAAM,GAAG,MAAM,EAAE,CACrB,UAAU,CAAC,KAAK,EAChB,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,KAAK,EAChB,UAAU,CAAC,GAAG,EACd,UAAU,CAAC,MAAM,EACjB,UAAU,CACX,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;CACF,CAAC"}

package/dist/orchestration/goal.d.ts

@@ -0,0 +1,40 @@
+import type { Runner } from "../core/runner/runtask.js";
+import type { CheckpointToken } from "../core/checkpoint-store.js";
+import type { TaskResult, TaskSpec } from "../core/types.js";
+export interface GoalTurnState {
+    readonly result: TaskResult;
+    readonly iteration: number;
+    readonly sessionId: string;
+    readonly cumulativeTokens: number;
+}
+export interface GoalVerdict {
+    readonly done: boolean;
+    readonly reason: string;
+}
+export type GoalVerificationKind = "mechanical" | "self_report_only";
+export interface GoalSpec {
+    objective: string;
+    doneCheck: (state: GoalTurnState, signal: AbortSignal) => Promise<GoalVerdict>;
+    verificationKind: GoalVerificationKind;
+    maxIterations: number;
+    taskSpec: Omit<TaskSpec, "objective">;
+    budgetTokens?: number;
+    totalTimeoutMs?: number;
+    signal?: AbortSignal;
+    taskSignature?: string;
+}
+export type GoalStatus = "achieved" | "max_iterations" | "budget" | "blocked" | "suspended" | "needs_review" | "failed" | "aborted";
+export interface GoalResult {
+    readonly status: GoalStatus;
+    readonly result?: TaskResult;
+    readonly iterations: number;
+    readonly lastVerdict?: GoalVerdict;
+    readonly verificationKind: GoalVerificationKind;
+    readonly accepted: false;
+    readonly cumulativeTokens: number;
+    readonly checkpointToken?: CheckpointToken;
+    readonly errorCode?: string;
+}
+export declare const DECLARE_DONE_TOOL_NAME = "DeclareDone";
+export declare function runGoal(runner: Runner, spec: GoalSpec): Promise<GoalResult>;
+//# sourceMappingURL=goal.d.ts.map

package/dist/orchestration/goal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal.d.ts","sourceRoot":"","sources":["../../src/orchestration/goal.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAY,MAAM,kBAAkB,CAAC;AAUvE,MAAM,WAAW,aAAa;IAE5B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAE5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAE1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAEvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAID,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,kBAAkB,CAAC;AAErE,MAAM,WAAW,QAAQ;IAEvB,SAAS,EAAE,MAAM,CAAC;IAQlB,SAAS,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAE/E,gBAAgB,EAAE,oBAAoB,CAAC;IAEvC,aAAa,EAAE,MAAM,CAAC;IAGtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAEtC,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB,MAAM,CAAC,EAAE,WAAW,CAAC;IAMrB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,gBAAgB,GAChB,QAAQ,GACR,SAAS,GACT,WAAW,GACX,cAAc,GACd,QAAQ,GACR,SAAS,CAAC;AAEd,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAE5B,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IAEnC,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;IAGhD,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;IACzB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAElC,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC;IAE3C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAOD,eAAO,MAAM,sBAAsB,gBAAgB,CAAC;AA+EpD,wBAAsB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,CAiKjF"}

package/dist/orchestration/goal.js

@@ -0,0 +1,190 @@
+import { createHash, randomUUID } from "node:crypto";
+import { Type } from "typebox";
+import { delimitUntrusted } from "../core/untrusted-text.js";
+import { OUTPUT_TOOL_NAME } from "../core/runner/synthetic-tools.js";
+import { isDurablePause } from "../agents/suspend-guard.js";
+export const DECLARE_DONE_TOOL_NAME = "DeclareDone";
+function makeDeclareDoneTool(ref) {
+    return {
+        name: DECLARE_DONE_TOOL_NAME,
+        description: "Call this ONLY when you believe the goal is FULLY achieved — verified against evidence, not just " +
+            "attempted. Provide a concise summary of what was achieved and how you verified it. Calling this " +
+            "declares completion; a verification check then runs. If it passes, the goal stops and surfaces for " +
+            "human review. If it does NOT pass, you will be asked to keep working with the verification feedback.",
+        parameters: Type.Object({ summary: Type.String() }),
+        effect: "read",
+        execute: (args) => {
+            ref.declared = true;
+            ref.summary = String(args.summary ?? "").trim();
+            return { content: "Completion declared. Verifying…", terminate: true };
+        },
+    };
+}
+const TIMEOUT_FEEDBACK = "Your previous attempt ran out of steps before declaring completion. Keep going.";
+const NOT_DECLARED_FEEDBACK = "Your previous attempt ended without declaring completion. If the goal is truly done, declare it; otherwise keep working.";
+function continuationPrompt(goalObjective, feedback, hasOutputSchema) {
+    const feedbackBlock = typeof feedback === "string"
+        ? feedback
+        : `A verification check found the goal is NOT yet complete:\n${delimitUntrusted("VERIFICATION FEEDBACK", feedback.reason)}`;
+    const declareHow = hasOutputSchema ? `call ${OUTPUT_TOOL_NAME} with your final result` : `call the ${DECLARE_DONE_TOOL_NAME} tool`;
+    return `The goal is NOT yet complete. Continue working toward it.\n\n${feedbackBlock}\n\nGoal: ${goalObjective}\n\nWhen you are truly done, ${declareHow} to declare completion.`;
+}
+function raceAbortReject(p, signal) {
+    if (signal.aborted)
+        return Promise.reject(new Error("aborted"));
+    return new Promise((resolve, reject) => {
+        let settled = false;
+        const onAbort = () => {
+            if (settled)
+                return;
+            settled = true;
+            reject(new Error("aborted"));
+        };
+        signal.addEventListener("abort", onAbort, { once: true });
+        p.then((v) => {
+            if (settled)
+                return;
+            settled = true;
+            signal.removeEventListener("abort", onAbort);
+            resolve(v);
+        }, (e) => {
+            if (settled)
+                return;
+            settled = true;
+            signal.removeEventListener("abort", onAbort);
+            reject(e);
+        });
+    });
+}
+export async function runGoal(runner, spec) {
+    if (!Number.isFinite(spec.maxIterations) || spec.maxIterations < 1) {
+        throw new Error(`runGoal: maxIterations must be a finite number ≥ 1 (got ${spec.maxIterations})`);
+    }
+    const hasOutputSchema = spec.taskSpec.outputSchema !== undefined;
+    if (!hasOutputSchema && (spec.taskSpec.tools ?? []).some((t) => t.name === DECLARE_DONE_TOOL_NAME)) {
+        const e = new Error(`Tool name "${DECLARE_DONE_TOOL_NAME}" is reserved in goal mode.`);
+        e.code = "config.reserved_tool_name";
+        throw e;
+    }
+    const sessionId = spec.taskSpec.sessionId ?? randomUUID();
+    const verificationKind = spec.verificationKind;
+    let cumulativeTokens = 0;
+    let lastVerdict;
+    let lastResult;
+    const startedAt = Date.now();
+    const objectiveHash = createHash("sha256").update(spec.objective).digest("hex").slice(0, 16);
+    let spentCostMicroUsd = 0;
+    let spentTurns = 0;
+    let doneCheckRuns = 0;
+    let oracleHadRedRun = false;
+    const deadlineCtl = new AbortController();
+    let timer;
+    if (spec.totalTimeoutMs !== undefined) {
+        timer = setTimeout(() => deadlineCtl.abort(), spec.totalTimeoutMs);
+        timer.unref?.();
+    }
+    const goalSignal = spec.signal
+        ? AbortSignal.any([spec.signal, deadlineCtl.signal])
+        : deadlineCtl.signal;
+    const classifyStop = () => spec.signal?.aborted ? "aborted" : deadlineCtl.signal.aborted ? "budget" : null;
+    const mk = (status, iterations, over) => {
+        const r = {
+            status,
+            iterations,
+            result: over?.result ?? lastResult,
+            lastVerdict,
+            verificationKind,
+            accepted: false,
+            cumulativeTokens,
+            checkpointToken: over?.checkpointToken,
+            errorCode: over?.errorCode,
+        };
+        if (verificationKind === "mechanical" && status !== "suspended" && status !== "needs_review") {
+            runner.emitTaskOutcome?.({
+                taskSignature: spec.taskSignature ?? `goal:${objectiveHash}`,
+                runId: r.result?.taskId ?? sessionId,
+                model: r.result?.model,
+                verificationKind: "mechanical",
+                status,
+                errorCode: r.errorCode,
+                oracle: { green: status === "achieved", checks: doneCheckRuns },
+                oracleHadRedRun,
+                signatureInputs: {
+                    toolset: (spec.taskSpec.tools ?? []).map((t) => t.name).sort(),
+                    objectiveHash,
+                },
+                tokens: cumulativeTokens,
+                costMicroUsd: spentCostMicroUsd,
+                turns: spentTurns,
+                wallMs: Date.now() - startedAt,
+            });
+        }
+        return r;
+    };
+    try {
+        let lastFeedback;
+        for (let iteration = 1; iteration <= spec.maxIterations; iteration++) {
+            const preStop = classifyStop();
+            if (preStop)
+                return mk(preStop, iteration - 1);
+            if (spec.budgetTokens !== undefined && cumulativeTokens >= spec.budgetTokens)
+                return mk("budget", iteration - 1);
+            const objective = iteration === 1 ? spec.objective : continuationPrompt(spec.objective, lastFeedback, hasOutputSchema);
+            const doneRef = {};
+            const tools = hasOutputSchema
+                ? spec.taskSpec.tools
+                : [...(spec.taskSpec.tools ?? []), makeDeclareDoneTool(doneRef)];
+            const result = await runner.runTask({ ...spec.taskSpec, sessionId, objective, tools, signal: goalSignal }, { goalMode: true });
+            lastResult = result;
+            cumulativeTokens += (result.stats.tokens ?? 0) + (result.stats.nested?.tokens ?? 0);
+            spentCostMicroUsd += (result.stats.costMicroUsd ?? 0) + (result.stats.nested?.costMicroUsd ?? 0);
+            spentTurns += (result.stats.turns ?? 0) + (result.stats.nested?.turns ?? 0);
+            if (isDurablePause(result.status)) {
+                return mk(result.status, iteration, { result, checkpointToken: result.checkpointToken });
+            }
+            const midStop = classifyStop();
+            if (midStop)
+                return mk(midStop, iteration, { result });
+            if (result.status === "blocked")
+                return mk("blocked", iteration, { result });
+            if (result.status === "failed") {
+                if (result.errorCode === "limit.max_turns") {
+                    lastFeedback = TIMEOUT_FEEDBACK;
+                    continue;
+                }
+                return mk("failed", iteration, { result, errorCode: result.errorCode });
+            }
+            if (result.status === "timeout") {
+                lastFeedback = TIMEOUT_FEEDBACK;
+                continue;
+            }
+            const gate1 = hasOutputSchema ? result.structuredOutput !== undefined : doneRef.declared === true;
+            if (!gate1) {
+                lastFeedback = NOT_DECLARED_FEEDBACK;
+                continue;
+            }
+            let verdict;
+            try {
+                verdict = await raceAbortReject(spec.doneCheck({ result, iteration, sessionId, cumulativeTokens }, goalSignal), goalSignal);
+            }
+            catch {
+                const s = classifyStop();
+                if (s)
+                    return mk(s, iteration, { result });
+                return mk("failed", iteration, { result, errorCode: "goal.donecheck_error" });
+            }
+            lastVerdict = verdict;
+            doneCheckRuns++;
+            if (verdict.done)
+                return mk("achieved", iteration, { result });
+            oracleHadRedRun = true;
+            lastFeedback = { reason: verdict.reason };
+        }
+        return mk("max_iterations", spec.maxIterations);
+    }
+    finally {
+        if (timer)
+            clearTimeout(timer);
+    }
+}
+//# sourceMappingURL=goal.js.map

package/dist/orchestration/goal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal.js","sourceRoot":"","sources":["../../src/orchestration/goal.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAI/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AA+F5D,MAAM,CAAC,MAAM,sBAAsB,GAAG,aAAa,CAAC;AAOpD,SAAS,mBAAmB,CAAC,GAAY;IACvC,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,WAAW,EACT,mGAAmG;YACnG,kGAAkG;YAClG,qGAAqG;YACrG,sGAAsG;QACxG,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YAChB,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC;YACpB,GAAG,CAAC,OAAO,GAAG,MAAM,CAAE,IAA8B,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3E,OAAO,EAAE,OAAO,EAAE,iCAAiC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QACzE,CAAC;KACF,CAAC;AACJ,CAAC;AAGD,MAAM,gBAAgB,GAAG,iFAAiF,CAAC;AAC3G,MAAM,qBAAqB,GACzB,0HAA0H,CAAC;AAE7H,SAAS,kBAAkB,CAAC,aAAqB,EAAE,QAAqC,EAAE,eAAwB;IAChH,MAAM,aAAa,GACjB,OAAO,QAAQ,KAAK,QAAQ;QAC1B,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,6DAA6D,gBAAgB,CAAC,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IAChI,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,QAAQ,gBAAgB,yBAAyB,CAAC,CAAC,CAAC,YAAY,sBAAsB,OAAO,CAAC;IACnI,OAAO,gEAAgE,aAAa,aAAa,aAAa,gCAAgC,UAAU,yBAAyB,CAAC;AACpL,CAAC;AAID,SAAS,eAAe,CAAI,CAAa,EAAE,MAAmB;IAC5D,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAChE,OAAO,IAAI,OAAO,CAAI,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACxC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,MAAM,OAAO,GAAG,GAAS,EAAE;YACzB,IAAI,OAAO;gBAAE,OAAO;YACpB,OAAO,GAAG,IAAI,CAAC;YACf,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CACJ,CAAC,CAAC,EAAE,EAAE;YACJ,IAAI,OAAO;gBAAE,OAAO;YACpB,OAAO,GAAG,IAAI,CAAC;YACf,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,CAAC,EACD,CAAC,CAAC,EAAE,EAAE;YACJ,IAAI,OAAO;gBAAE,OAAO;YACpB,OAAO,GAAG,IAAI,CAAC;YACf,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM,CAAC,CAAC,CAAC,CAAC;QACZ,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAaD,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,MAAc,EAAE,IAAc;IAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,2DAA2D,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC;IAEjE,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,EAAE,CAAC;QACnG,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,cAAc,sBAAsB,6BAA6B,CAA8B,CAAC;QACpH,CAAC,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACrC,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,UAAU,EAAE,CAAC;IAC1D,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;IAC/C,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,WAAoC,CAAC;IACzC,IAAI,UAAkC,CAAC;IAEvC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,aAAa,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7F,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,eAAe,GAAG,KAAK,CAAC;IAI5B,MAAM,WAAW,GAAG,IAAI,eAAe,EAAE,CAAC;IAC1C,IAAI,KAAgD,CAAC;IACrD,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACtC,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QAClE,KAAgC,CAAC,KAAK,EAAE,EAAE,CAAC;IAC9C,CAAC;IACD,MAAM,UAAU,GAAgB,IAAI,CAAC,MAAM;QACzC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QACpD,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC;IACvB,MAAM,YAAY,GAAG,GAAsB,EAAE,CAC3C,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAElF,MAAM,EAAE,GAAG,CACT,MAAkB,EAClB,UAAkB,EAClB,IAAqF,EACzE,EAAE;QACd,MAAM,CAAC,GAAe;YACpB,MAAM;YACN,UAAU;YACV,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,UAAU;YAClC,WAAW;YACX,gBAAgB;YAChB,QAAQ,EAAE,KAAK;YACf,gBAAgB;YAChB,eAAe,EAAE,IAAI,EAAE,eAAe;YACtC,SAAS,EAAE,IAAI,EAAE,SAAS;SAC3B,CAAC;QAOF,IAAI,gBAAgB,KAAK,YAAY,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;YAC7F,MAAM,CAAC,eAAe,EAAE,CAAC;gBACvB,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,QAAQ,aAAa,EAAE;gBAC5D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,SAAS;gBACpC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK;gBACtB,gBAAgB,EAAE,YAAY;gBAC9B,MAAM;gBACN,SAAS,EAAE,CAAC,CAAC,SAAS;gBAGtB,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,KAAK,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE;gBAC/D,eAAe;gBACf,eAAe,EAAE;oBACf,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;oBAC9D,aAAa;iBACd;gBACD,MAAM,EAAE,gBAAgB;gBACxB,YAAY,EAAE,iBAAiB;gBAC/B,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aAC/B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,IAAI,YAAqD,CAAC;QAC1D,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,IAAI,IAAI,CAAC,aAAa,EAAE,SAAS,EAAE,EAAE,CAAC;YACrE,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;YAC/B,IAAI,OAAO;gBAAE,OAAO,EAAE,CAAC,OAAO,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;YAC/C,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,gBAAgB,IAAI,IAAI,CAAC,YAAY;gBAAE,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;YAEjH,MAAM,SAAS,GACb,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,YAAa,EAAE,eAAe,CAAC,CAAC;YACxG,MAAM,OAAO,GAAY,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,eAAe;gBAC3B,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK;gBACrB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC;YAEnE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/H,UAAU,GAAG,MAAM,CAAC;YACpB,gBAAgB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;YACpF,iBAAiB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,IAAI,CAAC,CAAC,CAAC;YACjG,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;YAI5E,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAoB,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;YACzG,CAAC;YAMD,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;YAC/B,IAAI,OAAO;gBAAE,OAAO,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACvD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAK/B,IAAI,MAAM,CAAC,SAAS,KAAK,iBAAiB,EAAE,CAAC;oBAC3C,YAAY,GAAG,gBAAgB,CAAC;oBAChC,SAAS;gBACX,CAAC;gBACD,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChC,YAAY,GAAG,gBAAgB,CAAC;gBAChC,SAAS;YACX,CAAC;YAGD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC;YAClG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,YAAY,GAAG,qBAAqB,CAAC;gBACrC,SAAS;YACX,CAAC;YAGD,IAAI,OAAoB,CAAC;YACzB,IAAI,CAAC;gBACH,OAAO,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,EAAE,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;YAC9H,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;gBACzB,IAAI,CAAC;oBAAE,OAAO,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3C,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC;YAChF,CAAC;YACD,WAAW,GAAG,OAAO,CAAC;YACtB,aAAa,EAAE,CAAC;YAChB,IAAI,OAAO,CAAC,IAAI;gBAAE,OAAO,EAAE,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/D,eAAe,GAAG,IAAI,CAAC;YACvB,YAAY,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC5C,CAAC;QACD,OAAO,EAAE,CAAC,gBAAgB,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC;YAAS,CAAC;QACT,IAAI,KAAK;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;AACH,CAAC"}

package/dist/orchestration/run-spec.d.ts

@@ -0,0 +1,21 @@
+import type { Runner } from "../core/runner/runtask.js";
+import type { TaskResult, TaskSpec } from "../core/types.js";
+import type { TaskOutcome } from "../core/task-outcome.js";
+import { type OracleBaseline, type OracleGateResult, type OracleVerdict, type SpecContract } from "../core/spec-contract.js";
+export interface RunSpecOptions {
+    rootDir: string;
+    taskSpec: Omit<TaskSpec, "objective">;
+}
+export interface RunSpecOracleReport {
+    final: OracleVerdict;
+    perGate: OracleGateResult[];
+    baseline: OracleBaseline;
+}
+export interface RunSpecResult {
+    result: TaskResult;
+    oracle: RunSpecOracleReport;
+    outcome?: TaskOutcome;
+    guardRestores: number;
+}
+export declare function runSpec(runner: Pick<Runner, "runTask"> & Partial<Pick<Runner, "emitTaskOutcome" | "gateBaseline">>, contract: SpecContract, opts: RunSpecOptions): Promise<RunSpecResult>;
+//# sourceMappingURL=run-spec.d.ts.map

package/dist/orchestration/run-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-spec.d.ts","sourceRoot":"","sources":["../../src/orchestration/run-spec.ts"],"names":[],"mappings":"AA+BA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAI7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,OAAO,EAOL,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAClB,KAAK,YAAY,EAClB,MAAM,0BAA0B,CAAC;AAElC,MAAM,WAAW,cAAc;IAE7B,OAAO,EAAE,MAAM,CAAC;IAGhB,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,mBAAmB;IAElC,KAAK,EAAE,aAAa,CAAC;IACrB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAE5B,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,mBAAmB,CAAC;IAE5B,OAAO,CAAC,EAAE,WAAW,CAAC;IAEtB,aAAa,EAAE,MAAM,CAAC;CACvB;AAyFD,wBAAsB,OAAO,CAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,iBAAiB,GAAG,cAAc,CAAC,CAAC,EAC3F,QAAQ,EAAE,YAAY,EACtB,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,aAAa,CAAC,CAgMxB"}