@sweny-ai/core 0.1.72 → 0.1.74

package/dist/schema.d.ts

@@ -404,16 +404,107 @@ export declare const nodeSourcesZ: z.ZodUnion<[z.ZodArray<z.ZodUnion<[z.ZodStrin
     })[];
     only?: boolean | undefined;
 }>]>;
+export declare const outputMatchZ: z.ZodEffects<z.ZodObject<{
+    path: z.ZodString;
+    equals: z.ZodOptional<z.ZodUnknown>;
+    in: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+    matches: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    equals?: unknown;
+    in?: unknown[] | undefined;
+    matches?: string | undefined;
+}, {
+    path: string;
+    equals?: unknown;
+    in?: unknown[] | undefined;
+    matches?: string | undefined;
+}>, {
+    path: string;
+    equals?: unknown;
+    in?: unknown[] | undefined;
+    matches?: string | undefined;
+}, {
+    path: string;
+    equals?: unknown;
+    in?: unknown[] | undefined;
+    matches?: string | undefined;
+}>;
 export declare const nodeVerifyZ: z.ZodEffects<z.ZodObject<{
     any_tool_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    all_tools_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    no_tool_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    output_required: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    output_matches: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+        path: z.ZodString;
+        equals: z.ZodOptional<z.ZodUnknown>;
+        in: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+        matches: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }, {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }>, {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }, {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     any_tool_called?: string[] | undefined;
+    all_tools_called?: string[] | undefined;
+    no_tool_called?: string[] | undefined;
+    output_required?: string[] | undefined;
+    output_matches?: {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }[] | undefined;
 }, {
     any_tool_called?: string[] | undefined;
+    all_tools_called?: string[] | undefined;
+    no_tool_called?: string[] | undefined;
+    output_required?: string[] | undefined;
+    output_matches?: {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }[] | undefined;
 }>, {
     any_tool_called?: string[] | undefined;
+    all_tools_called?: string[] | undefined;
+    no_tool_called?: string[] | undefined;
+    output_required?: string[] | undefined;
+    output_matches?: {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }[] | undefined;
 }, {
     any_tool_called?: string[] | undefined;
+    all_tools_called?: string[] | undefined;
+    no_tool_called?: string[] | undefined;
+    output_required?: string[] | undefined;
+    output_matches?: {
+        path: string;
+        equals?: unknown;
+        in?: unknown[] | undefined;
+        matches?: string | undefined;
+    }[] | undefined;
 }>;
 export declare const nodeZ: z.ZodObject<{
     name: z.ZodString;
@@ -576,14 +667,79 @@ export declare const nodeZ: z.ZodObject<{
     }>]>>;
     verify: z.ZodOptional<z.ZodEffects<z.ZodObject<{
         any_tool_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        all_tools_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        no_tool_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        output_required: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        output_matches: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+            path: z.ZodString;
+            equals: z.ZodOptional<z.ZodUnknown>;
+            in: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+            matches: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }, {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }>, {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }, {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }>, "many">>;
     }, "strip", z.ZodTypeAny, {
         any_tool_called?: string[] | undefined;
+        all_tools_called?: string[] | undefined;
+        no_tool_called?: string[] | undefined;
+        output_required?: string[] | undefined;
+        output_matches?: {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }[] | undefined;
     }, {
         any_tool_called?: string[] | undefined;
+        all_tools_called?: string[] | undefined;
+        no_tool_called?: string[] | undefined;
+        output_required?: string[] | undefined;
+        output_matches?: {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }[] | undefined;
     }>, {
         any_tool_called?: string[] | undefined;
+        all_tools_called?: string[] | undefined;
+        no_tool_called?: string[] | undefined;
+        output_required?: string[] | undefined;
+        output_matches?: {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }[] | undefined;
     }, {
         any_tool_called?: string[] | undefined;
+        all_tools_called?: string[] | undefined;
+        no_tool_called?: string[] | undefined;
+        output_required?: string[] | undefined;
+        output_matches?: {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }[] | undefined;
     }>>;
 }, "strip", z.ZodTypeAny, {
     instruction: string | {
@@ -636,6 +792,15 @@ export declare const nodeZ: z.ZodObject<{
     max_turns?: number | undefined;
     verify?: {
         any_tool_called?: string[] | undefined;
+        all_tools_called?: string[] | undefined;
+        no_tool_called?: string[] | undefined;
+        output_required?: string[] | undefined;
+        output_matches?: {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }[] | undefined;
     } | undefined;
 }, {
     instruction: string | {
@@ -688,6 +853,15 @@ export declare const nodeZ: z.ZodObject<{
     max_turns?: number | undefined;
     verify?: {
         any_tool_called?: string[] | undefined;
+        all_tools_called?: string[] | undefined;
+        no_tool_called?: string[] | undefined;
+        output_required?: string[] | undefined;
+        output_matches?: {
+            path: string;
+            equals?: unknown;
+            in?: unknown[] | undefined;
+            matches?: string | undefined;
+        }[] | undefined;
     } | undefined;
 }>;
 export declare const edgeZ: z.ZodObject<{
@@ -871,14 +1045,79 @@ export declare const workflowZ: z.ZodObject<{
         }>]>>;
         verify: z.ZodOptional<z.ZodEffects<z.ZodObject<{
             any_tool_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            all_tools_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            no_tool_called: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            output_required: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            output_matches: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+                path: z.ZodString;
+                equals: z.ZodOptional<z.ZodUnknown>;
+                in: z.ZodOptional<z.ZodArray<z.ZodUnknown, "many">>;
+                matches: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }, {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }>, {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }, {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }>, "many">>;
         }, "strip", z.ZodTypeAny, {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         }, {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         }>, {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         }, {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         }>>;
     }, "strip", z.ZodTypeAny, {
         instruction: string | {
@@ -931,6 +1170,15 @@ export declare const workflowZ: z.ZodObject<{
         max_turns?: number | undefined;
         verify?: {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         } | undefined;
     }, {
         instruction: string | {
@@ -983,6 +1231,15 @@ export declare const workflowZ: z.ZodObject<{
         max_turns?: number | undefined;
         verify?: {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         } | undefined;
     }>>;
     edges: z.ZodArray<z.ZodObject<{
@@ -1203,6 +1460,15 @@ export declare const workflowZ: z.ZodObject<{
         max_turns?: number | undefined;
         verify?: {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         } | undefined;
     }>;
     edges: {
@@ -1282,6 +1548,15 @@ export declare const workflowZ: z.ZodObject<{
         max_turns?: number | undefined;
         verify?: {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         } | undefined;
     }>;
     edges: {
@@ -1391,6 +1666,15 @@ export declare function parseWorkflow(raw: unknown): {
         max_turns?: number | undefined;
         verify?: {
             any_tool_called?: string[] | undefined;
+            all_tools_called?: string[] | undefined;
+            no_tool_called?: string[] | undefined;
+            output_required?: string[] | undefined;
+            output_matches?: {
+                path: string;
+                equals?: unknown;
+                in?: unknown[] | undefined;
+                matches?: string | undefined;
+            }[] | undefined;
         } | undefined;
     }>;
     edges: {

package/dist/schema.js

@@ -75,12 +75,31 @@ export const nodeSourcesZ = z.union([
         sources: z.array(sourceZ),
     }),
 ]);
+export const outputMatchZ = z
+    .object({
+    path: z.string().min(1),
+    equals: z.unknown().optional(),
+    in: z.array(z.unknown()).optional(),
+    matches: z.string().min(1).optional(),
+})
+    .refine((m) => {
+    const operators = [m.equals !== undefined, m.in !== undefined, m.matches !== undefined];
+    return operators.filter(Boolean).length === 1;
+}, { message: "output_matches entry must declare exactly one of: equals, in, matches" });
 export const nodeVerifyZ = z
     .object({
     any_tool_called: z.array(z.string().min(1)).min(1).optional(),
+    all_tools_called: z.array(z.string().min(1)).min(1).optional(),
+    no_tool_called: z.array(z.string().min(1)).min(1).optional(),
+    output_required: z.array(z.string().min(1)).min(1).optional(),
+    output_matches: z.array(outputMatchZ).min(1).optional(),
 })
-    .refine((v) => v.any_tool_called !== undefined, {
-    message: "verify must declare at least one check (e.g. any_tool_called)",
+    .refine((v) => v.any_tool_called !== undefined ||
+    v.all_tools_called !== undefined ||
+    v.no_tool_called !== undefined ||
+    v.output_required !== undefined ||
+    v.output_matches !== undefined, {
+    message: "verify must declare at least one check (any_tool_called, all_tools_called, no_tool_called, output_required, or output_matches)",
 });
 export const nodeZ = z.object({
     name: z.string().min(1),

package/dist/types.d.ts

@@ -52,22 +52,41 @@ export type NodeSources = _Source[] | {
 /**
  * Machine-checked post-condition for a node.
  *
- * Evaluated by the executor AFTER the LLM finishes. If the check fails, the
- * node is marked `failed` even if the LLM itself returned success — this
- * catches the common case of the model claiming success without actually
- * invoking the side-effectful tool (e.g. reporting "issue created" when no
- * `linear_create_issue` call was made, or the call errored).
+ * Evaluated by the executor AFTER the LLM finishes. If any declared check
+ * fails, the node is marked `failed` even if the LLM itself returned success.
  *
- * Keep the shape small and declarative. Anything richer should be a skill
- * or a dedicated workflow node, not a verify clause.
+ * All declared checks are AND-ed. The executor runs every check (no fast-fail)
+ * and concatenates failures into a single error string on `result.data.error`.
+ *
+ * Keep the shape small and declarative. Anything richer should be a skill or
+ * a dedicated workflow node, not a verify clause.
  */
 export interface NodeVerify {
-    /**
-     * At least one of the named tools must have been invoked successfully during
-     * this node's execution (no `output.error` recorded in `toolCalls`). The
-     * node is marked failed otherwise.
-     */
+    /** At least one of these tools was called and succeeded during this node. */
     any_tool_called?: string[];
+    /** Every named tool was called and succeeded at least once during this node. */
+    all_tools_called?: string[];
+    /** None of these tools may have been invoked during this node. */
+    no_tool_called?: string[];
+    /** Listed paths must be present and non-null in `result.data` (see Path resolution in the spec). */
+    output_required?: string[];
+    /** Each assertion must hold against `result.data`. */
+    output_matches?: OutputMatch[];
+}
+/**
+ * A single output assertion. Exactly one of `equals | in | matches` must be set.
+ *
+ * `path` is a dotted path that may include `[*]` wildcard segments and may be
+ * prefixed with `all:` or `any:` to set wildcard semantics (default `all:`).
+ *
+ * Examples: `prUrl`, `findings[*].severity`, `any:checks[*].conclusion`.
+ */
+export interface OutputMatch {
+    path: string;
+    equals?: unknown;
+    in?: unknown[];
+    /** Regex source (no surrounding slashes, no flags). Value is coerced to string. */
+    matches?: string;
 }
 /** A node in the workflow DAG */
 export interface Node {

package/dist/verify.d.ts

@@ -0,0 +1,23 @@
+import type { NodeResult, NodeVerify, OutputMatch, ToolCall } from "./types.js";
+export type Resolution = {
+    ok: true;
+    mode: "all" | "any";
+    values: unknown[];
+} | {
+    ok: false;
+    reason: string;
+};
+export declare function resolvePath(data: unknown, path: string): Resolution;
+export declare function checkAnyToolCalled(required: string[], toolCalls: ToolCall[]): string | null;
+export declare function checkAllToolsCalled(required: string[], toolCalls: ToolCall[]): string | null;
+export declare function checkNoToolCalled(forbidden: string[], toolCalls: ToolCall[]): string | null;
+export declare function checkOutputRequired(paths: string[], data: unknown): string | null;
+export declare function checkOutputMatches(matches: OutputMatch[], data: unknown): string | null;
+/**
+ * Evaluate every declared check and return a concatenated error string,
+ * or null when the node passes verification (or has no verify block).
+ *
+ * Deterministic and side-effect free — the executor calls this synchronously
+ * after the LLM finishes.
+ */
+export declare function evaluateVerify(verify: NodeVerify | undefined, result: NodeResult): string | null;