@elie-laloum/outpost 4.2.0 → 6.0.1

package/dist/domain/tool-schema.js

@@ -0,0 +1,109 @@
+import { invariant } from "./errors.js";
+import { JSON_SCHEMA_KEYWORDS, JSON_SCHEMA_TYPES } from "./tool.constants.js";
+const plain = (value) => value !== null && typeof value === "object" && !Array.isArray(value);
+const same = (left, right) => JSON.stringify(left) === JSON.stringify(right);
+const typeChecks = {
+    object: plain,
+    array: Array.isArray,
+    string: (value) => typeof value === "string",
+    number: (value) => typeof value === "number" && Number.isFinite(value),
+    integer: (value) => Number.isInteger(value),
+    boolean: (value) => typeof value === "boolean",
+    null: (value) => value === null,
+};
+const keywordChecks = {
+    enum: (schema, value, path) => schema.enum.some((option) => same(option, value))
+        ? []
+        : [`${path} must be one of ${JSON.stringify(schema.enum)}`],
+    const: (schema, value, path) => same(schema.const, value)
+        ? []
+        : [`${path} must equal ${JSON.stringify(schema.const)}`],
+    minLength: bound((value) => typeof value === "string" ? [...value].length : undefined)("minLength", (size, limit) => size >= limit, "at least", "characters"),
+    maxLength: bound((value) => typeof value === "string" ? [...value].length : undefined)("maxLength", (size, limit) => size <= limit, "at most", "characters"),
+    minimum: bound((value) => (typeof value === "number" ? value : undefined))("minimum", (size, limit) => size >= limit, "at least", ""),
+    maximum: bound((value) => (typeof value === "number" ? value : undefined))("maximum", (size, limit) => size <= limit, "at most", ""),
+    minItems: bound((value) => (Array.isArray(value) ? value.length : undefined))("minItems", (size, limit) => size >= limit, "at least", "items"),
+    maxItems: bound((value) => (Array.isArray(value) ? value.length : undefined))("maxItems", (size, limit) => size <= limit, "at most", "items"),
+    items: (schema, value, path) => Array.isArray(value)
+        ? value.flatMap((item, index) => schemaIssues(schema.items, item, `${path}[${index}]`))
+        : [],
+    required: (schema, value, path) => plain(value)
+        ? schema.required.flatMap((key) => Object.hasOwn(value, key) ? [] : [`${path}.${key} is required`])
+        : [],
+    properties: (schema, value, path) => plain(value)
+        ? Object.entries(schema.properties)
+            .filter(([key]) => Object.hasOwn(value, key))
+            .flatMap(([key, property]) => schemaIssues(property, value[key], `${path}.${key}`))
+        : [],
+    additionalProperties: (schema, value, path) => {
+        if (!plain(value))
+            return [];
+        const declared = plain(schema.properties) ? schema.properties : {};
+        const extra = Object.keys(value).filter((key) => !Object.hasOwn(declared, key));
+        if (schema.additionalProperties === false)
+            return extra.map((key) => `${path}.${key} is not allowed`);
+        if (!plain(schema.additionalProperties))
+            return [];
+        const additional = schema.additionalProperties;
+        return extra.flatMap((key) => schemaIssues(additional, value[key], `${path}.${key}`));
+    },
+};
+export function validateSchemaDefinition(schema, root = true) {
+    invariant(plain(schema), "Tool input schema must be a JSON Schema object");
+    invariant(Object.keys(schema).every((key) => JSON_SCHEMA_KEYWORDS.has(key)), `Unsupported JSON Schema keyword; use ${[...JSON_SCHEMA_KEYWORDS].join(", ")}`);
+    const types = schemaTypes(schema);
+    invariant(types.every((type) => JSON_SCHEMA_TYPES.has(type)), "Unsupported JSON Schema type");
+    invariant(!root || (types.length === 1 && types[0] === "object"), "Tool input schema must describe an object");
+    invariant(schema.required === undefined ||
+        (Array.isArray(schema.required) &&
+            schema.required.every((key) => typeof key === "string")), "JSON Schema required must list property names");
+    invariant(schema.enum === undefined || Array.isArray(schema.enum), "JSON Schema enum must be an array");
+    for (const keyword of [
+        "minLength",
+        "maxLength",
+        "minimum",
+        "maximum",
+        "minItems",
+        "maxItems",
+    ])
+        invariant(schema[keyword] === undefined ||
+            (typeof schema[keyword] === "number" &&
+                Number.isFinite(schema[keyword])), `JSON Schema ${keyword} must be a number`);
+    if (schema.properties !== undefined) {
+        invariant(plain(schema.properties), "JSON Schema properties must be an object");
+        for (const property of Object.values(schema.properties))
+            validateSchemaDefinition(property, false);
+    }
+    if (schema.items !== undefined)
+        validateSchemaDefinition(schema.items, false);
+    if (plain(schema.additionalProperties))
+        validateSchemaDefinition(schema.additionalProperties, false);
+    invariant(schema.additionalProperties === undefined ||
+        typeof schema.additionalProperties === "boolean" ||
+        plain(schema.additionalProperties), "JSON Schema additionalProperties must be a boolean or a schema");
+}
+export function schemaIssues(schema, value, path = "input") {
+    const types = schemaTypes(schema);
+    if (types.length && !types.some((type) => typeChecks[type](value)))
+        return [`${path} must be ${types.join(" or ")}`];
+    return Object.keys(schema)
+        .filter((keyword) => Object.hasOwn(keywordChecks, keyword))
+        .flatMap((keyword) => keywordChecks[keyword](schema, value, path));
+}
+function schemaTypes(schema) {
+    if (schema.type === undefined)
+        return [];
+    const types = Array.isArray(schema.type) ? schema.type : [schema.type];
+    invariant(types.every((type) => typeof type === "string"), "JSON Schema type must be a name or a list of names");
+    return types;
+}
+function bound(measure) {
+    return (keyword, accept, relation, unit) => (schema, value, path) => {
+        const size = measure(value);
+        const limit = typeof schema[keyword] === "number" ? schema[keyword] : undefined;
+        if (size === undefined || limit === undefined || accept(size, limit))
+            return [];
+        return [`${path} must be ${relation} ${limit}${unit ? ` ${unit}` : ""}`];
+    };
+}
+//# sourceMappingURL=tool-schema.js.map

package/dist/domain/tool-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-schema.js","sourceRoot":"","sources":["../../src/domain/tool-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAG9E,MAAM,KAAK,GAAG,CAAC,KAAc,EAA8C,EAAE,CAC3E,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,KAAc,EAAE,EAAE,CAC7C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAEjD,MAAM,UAAU,GAA0D;IACxE,MAAM,EAAE,KAAK;IACb,KAAK,EAAE,KAAK,CAAC,OAAO;IACpB,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ;IAC5C,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;IACtE,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;IAC3C,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,SAAS;IAC9C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI;CAChC,CAAC;AAEF,MAAM,aAAa,GAAiD;IAClE,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC3B,MAAM,CAAC,IAA2B,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvE,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,GAAG,IAAI,mBAAmB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC7B,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;QACvB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,GAAG,IAAI,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5D,SAAS,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACzB,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAC1D,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC;IACxE,SAAS,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACzB,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAC1D,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC;IACvE,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CACxE,SAAS,EACT,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK,EAC9B,UAAU,EACV,EAAE,CACH;IACD,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CACxE,SAAS,EACT,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK,EAC9B,SAAS,EACT,EAAE,CACH;IACD,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAC3E,UAAU,EACV,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK,EAC9B,UAAU,EACV,OAAO,CACR;IACD,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAC3E,UAAU,EACV,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,KAAK,EAC9B,SAAS,EACT,OAAO,CACR;IACD,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC7B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAClB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC5B,YAAY,CAAC,MAAM,CAAC,KAAmB,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CACpE;QACH,CAAC,CAAC,EAAE;IACR,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAChC,KAAK,CAAC,KAAK,CAAC;QACV,CAAC,CAAE,MAAM,CAAC,QAA8B,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACrD,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,cAAc,CAAC,CAChE;QACH,CAAC,CAAC,EAAE;IACR,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAClC,KAAK,CAAC,KAAK,CAAC;QACV,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAwC,CAAC;aAC5D,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;aAC5C,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,EAAE,CAC3B,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CACrD;QACL,CAAC,CAAC,EAAE;IACR,oBAAoB,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC5C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CACrC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CACvC,CAAC;QACF,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK;YACvC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,GAAG,iBAAiB,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC;YAAE,OAAO,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,MAAM,CAAC,oBAAoB,CAAC;QAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC3B,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CACvD,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,wBAAwB,CAAC,MAAe,EAAE,IAAI,GAAG,IAAI;IACnE,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,gDAAgD,CAAC,CAAC;IAC3E,SAAS,CACP,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EACjE,wCAAwC,CAAC,GAAG,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/E,CAAC;IACF,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,SAAS,CACP,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAClD,8BAA8B,CAC/B,CAAC;IACF,SAAS,CACP,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EACtD,2CAA2C,CAC5C,CAAC;IACF,SAAS,CACP,MAAM,CAAC,QAAQ,KAAK,SAAS;QAC3B,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;YAC7B,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,EAC5D,+CAA+C,CAChD,CAAC;IACF,SAAS,CACP,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EACvD,mCAAmC,CACpC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI;QACpB,WAAW;QACX,WAAW;QACX,SAAS;QACT,SAAS;QACT,UAAU;QACV,UAAU;KACX;QACC,SAAS,CACP,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS;YAC3B,CAAC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ;gBAClC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EACrC,eAAe,OAAO,mBAAmB,CAC1C,CAAC;IACJ,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACpC,SAAS,CACP,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EACxB,0CAA0C,CAC3C,CAAC;QACF,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;YACrD,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC;QACpC,wBAAwB,CAAC,MAAM,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC;IAC/D,SAAS,CACP,MAAM,CAAC,oBAAoB,KAAK,SAAS;QACvC,OAAO,MAAM,CAAC,oBAAoB,KAAK,SAAS;QAChD,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC,EACpC,gEAAgE,CACjE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,MAAkB,EAClB,KAAc,EACd,IAAI,GAAG,OAAO;IAEd,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,CAAC;QACjE,OAAO,CAAC,GAAG,IAAI,YAAY,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SACvB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;SAC1D,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAE,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,WAAW,CAAC,MAAkB;IACrC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvE,SAAS,CACP,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAC/C,oDAAoD,CACrD,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,KAAK,CAAC,OAA+C;IAC5D,OAAO,CACH,OAAe,EACf,MAAgD,EAChD,QAAgB,EAChB,IAAY,EACQ,EAAE,CACxB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACtB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,KAAK,GACT,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;YAClE,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,GAAG,IAAI,YAAY,QAAQ,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC;AACN,CAAC","sourcesContent":["import { invariant } from \"./errors.ts\";\nimport { JSON_SCHEMA_KEYWORDS, JSON_SCHEMA_TYPES } from \"./tool.constants.ts\";\nimport type { JsonSchema, SchemaKeywordCheck } from \"./tool.types.ts\";\n\nconst plain = (value: unknown): value is Readonly<Record<string, unknown>> =>\n  value !== null && typeof value === \"object\" && !Array.isArray(value);\nconst same = (left: unknown, right: unknown) =>\n  JSON.stringify(left) === JSON.stringify(right);\n\nconst typeChecks: Readonly<Record<string, (value: unknown) => boolean>> = {\n  object: plain,\n  array: Array.isArray,\n  string: (value) => typeof value === \"string\",\n  number: (value) => typeof value === \"number\" && Number.isFinite(value),\n  integer: (value) => Number.isInteger(value),\n  boolean: (value) => typeof value === \"boolean\",\n  null: (value) => value === null,\n};\n\nconst keywordChecks: Readonly<Record<string, SchemaKeywordCheck>> = {\n  enum: (schema, value, path) =>\n    (schema.enum as readonly unknown[]).some((option) => same(option, value))\n      ? []\n      : [`${path} must be one of ${JSON.stringify(schema.enum)}`],\n  const: (schema, value, path) =>\n    same(schema.const, value)\n      ? []\n      : [`${path} must equal ${JSON.stringify(schema.const)}`],\n  minLength: bound((value) =>\n    typeof value === \"string\" ? [...value].length : undefined,\n  )(\"minLength\", (size, limit) => size >= limit, \"at least\", \"characters\"),\n  maxLength: bound((value) =>\n    typeof value === \"string\" ? [...value].length : undefined,\n  )(\"maxLength\", (size, limit) => size <= limit, \"at most\", \"characters\"),\n  minimum: bound((value) => (typeof value === \"number\" ? value : undefined))(\n    \"minimum\",\n    (size, limit) => size >= limit,\n    \"at least\",\n    \"\",\n  ),\n  maximum: bound((value) => (typeof value === \"number\" ? value : undefined))(\n    \"maximum\",\n    (size, limit) => size <= limit,\n    \"at most\",\n    \"\",\n  ),\n  minItems: bound((value) => (Array.isArray(value) ? value.length : undefined))(\n    \"minItems\",\n    (size, limit) => size >= limit,\n    \"at least\",\n    \"items\",\n  ),\n  maxItems: bound((value) => (Array.isArray(value) ? value.length : undefined))(\n    \"maxItems\",\n    (size, limit) => size <= limit,\n    \"at most\",\n    \"items\",\n  ),\n  items: (schema, value, path) =>\n    Array.isArray(value)\n      ? value.flatMap((item, index) =>\n          schemaIssues(schema.items as JsonSchema, item, `${path}[${index}]`),\n        )\n      : [],\n  required: (schema, value, path) =>\n    plain(value)\n      ? (schema.required as readonly string[]).flatMap((key) =>\n          Object.hasOwn(value, key) ? [] : [`${path}.${key} is required`],\n        )\n      : [],\n  properties: (schema, value, path) =>\n    plain(value)\n      ? Object.entries(schema.properties as Record<string, JsonSchema>)\n          .filter(([key]) => Object.hasOwn(value, key))\n          .flatMap(([key, property]) =>\n            schemaIssues(property, value[key], `${path}.${key}`),\n          )\n      : [],\n  additionalProperties: (schema, value, path) => {\n    if (!plain(value)) return [];\n    const declared = plain(schema.properties) ? schema.properties : {};\n    const extra = Object.keys(value).filter(\n      (key) => !Object.hasOwn(declared, key),\n    );\n    if (schema.additionalProperties === false)\n      return extra.map((key) => `${path}.${key} is not allowed`);\n    if (!plain(schema.additionalProperties)) return [];\n    const additional = schema.additionalProperties;\n    return extra.flatMap((key) =>\n      schemaIssues(additional, value[key], `${path}.${key}`),\n    );\n  },\n};\n\nexport function validateSchemaDefinition(schema: unknown, root = true): void {\n  invariant(plain(schema), \"Tool input schema must be a JSON Schema object\");\n  invariant(\n    Object.keys(schema).every((key) => JSON_SCHEMA_KEYWORDS.has(key)),\n    `Unsupported JSON Schema keyword; use ${[...JSON_SCHEMA_KEYWORDS].join(\", \")}`,\n  );\n  const types = schemaTypes(schema);\n  invariant(\n    types.every((type) => JSON_SCHEMA_TYPES.has(type)),\n    \"Unsupported JSON Schema type\",\n  );\n  invariant(\n    !root || (types.length === 1 && types[0] === \"object\"),\n    \"Tool input schema must describe an object\",\n  );\n  invariant(\n    schema.required === undefined ||\n      (Array.isArray(schema.required) &&\n        schema.required.every((key) => typeof key === \"string\")),\n    \"JSON Schema required must list property names\",\n  );\n  invariant(\n    schema.enum === undefined || Array.isArray(schema.enum),\n    \"JSON Schema enum must be an array\",\n  );\n  for (const keyword of [\n    \"minLength\",\n    \"maxLength\",\n    \"minimum\",\n    \"maximum\",\n    \"minItems\",\n    \"maxItems\",\n  ])\n    invariant(\n      schema[keyword] === undefined ||\n        (typeof schema[keyword] === \"number\" &&\n          Number.isFinite(schema[keyword])),\n      `JSON Schema ${keyword} must be a number`,\n    );\n  if (schema.properties !== undefined) {\n    invariant(\n      plain(schema.properties),\n      \"JSON Schema properties must be an object\",\n    );\n    for (const property of Object.values(schema.properties))\n      validateSchemaDefinition(property, false);\n  }\n  if (schema.items !== undefined) validateSchemaDefinition(schema.items, false);\n  if (plain(schema.additionalProperties))\n    validateSchemaDefinition(schema.additionalProperties, false);\n  invariant(\n    schema.additionalProperties === undefined ||\n      typeof schema.additionalProperties === \"boolean\" ||\n      plain(schema.additionalProperties),\n    \"JSON Schema additionalProperties must be a boolean or a schema\",\n  );\n}\n\nexport function schemaIssues(\n  schema: JsonSchema,\n  value: unknown,\n  path = \"input\",\n): readonly string[] {\n  const types = schemaTypes(schema);\n  if (types.length && !types.some((type) => typeChecks[type]!(value)))\n    return [`${path} must be ${types.join(\" or \")}`];\n  return Object.keys(schema)\n    .filter((keyword) => Object.hasOwn(keywordChecks, keyword))\n    .flatMap((keyword) => keywordChecks[keyword]!(schema, value, path));\n}\n\nfunction schemaTypes(schema: JsonSchema): readonly string[] {\n  if (schema.type === undefined) return [];\n  const types = Array.isArray(schema.type) ? schema.type : [schema.type];\n  invariant(\n    types.every((type) => typeof type === \"string\"),\n    \"JSON Schema type must be a name or a list of names\",\n  );\n  return types;\n}\n\nfunction bound(measure: (value: unknown) => number | undefined) {\n  return (\n      keyword: string,\n      accept: (size: number, limit: number) => boolean,\n      relation: string,\n      unit: string,\n    ): SchemaKeywordCheck =>\n    (schema, value, path) => {\n      const size = measure(value);\n      const limit =\n        typeof schema[keyword] === \"number\" ? schema[keyword] : undefined;\n      if (size === undefined || limit === undefined || accept(size, limit))\n        return [];\n      return [`${path} must be ${relation} ${limit}${unit ? ` ${unit}` : \"\"}`];\n    };\n}\n"]}

package/dist/domain/tool.constants.d.ts

@@ -0,0 +1,4 @@
+export declare const JSON_SCHEMA_KEYWORDS: ReadonlySet<string>;
+export declare const JSON_SCHEMA_TYPES: ReadonlySet<string>;
+export declare const STANDARD_JSON_SCHEMA_TARGET = "draft-2020-12";
+export declare const HARNESS_TOOL_FIELDS: ReadonlySet<string>;

package/dist/domain/tool.constants.js

@@ -0,0 +1,36 @@
+export const JSON_SCHEMA_KEYWORDS = new Set([
+    "type",
+    "title",
+    "description",
+    "properties",
+    "required",
+    "additionalProperties",
+    "items",
+    "enum",
+    "const",
+    "minLength",
+    "maxLength",
+    "minimum",
+    "maximum",
+    "minItems",
+    "maxItems",
+]);
+export const JSON_SCHEMA_TYPES = new Set([
+    "object",
+    "array",
+    "string",
+    "number",
+    "integer",
+    "boolean",
+    "null",
+]);
+export const STANDARD_JSON_SCHEMA_TARGET = "draft-2020-12";
+export const HARNESS_TOOL_FIELDS = new Set([
+    "name",
+    "description",
+    "input",
+    "readOnly",
+    "resources",
+    "execute",
+]);
+//# sourceMappingURL=tool.constants.js.map

package/dist/domain/tool.constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.constants.js","sourceRoot":"","sources":["../../src/domain/tool.constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,MAAM;IACN,OAAO;IACP,aAAa;IACb,YAAY;IACZ,UAAU;IACV,sBAAsB;IACtB,OAAO;IACP,MAAM;IACN,OAAO;IACP,WAAW;IACX,WAAW;IACX,SAAS;IACT,SAAS;IACT,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,eAAe,CAAC;AAE3D,MAAM,CAAC,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IAC9D,MAAM;IACN,aAAa;IACb,OAAO;IACP,UAAU;IACV,WAAW;IACX,SAAS;CACV,CAAC,CAAC","sourcesContent":["export const JSON_SCHEMA_KEYWORDS: ReadonlySet<string> = new Set([\n  \"type\",\n  \"title\",\n  \"description\",\n  \"properties\",\n  \"required\",\n  \"additionalProperties\",\n  \"items\",\n  \"enum\",\n  \"const\",\n  \"minLength\",\n  \"maxLength\",\n  \"minimum\",\n  \"maximum\",\n  \"minItems\",\n  \"maxItems\",\n]);\n\nexport const JSON_SCHEMA_TYPES: ReadonlySet<string> = new Set([\n  \"object\",\n  \"array\",\n  \"string\",\n  \"number\",\n  \"integer\",\n  \"boolean\",\n  \"null\",\n]);\n\nexport const STANDARD_JSON_SCHEMA_TARGET = \"draft-2020-12\";\n\nexport const HARNESS_TOOL_FIELDS: ReadonlySet<string> = new Set([\n  \"name\",\n  \"description\",\n  \"input\",\n  \"readOnly\",\n  \"resources\",\n  \"execute\",\n]);\n"]}

package/dist/domain/tool.d.ts

@@ -0,0 +1,4 @@
+import type { HarnessTool, HarnessToolOptions, HarnessToolset, HarnessToolsetOptions } from "./tool.types.ts";
+export declare function defineHarnessTool<Input>(options: HarnessToolOptions<Input>): HarnessTool<Input>;
+export declare function defineHarnessToolset(options: HarnessToolsetOptions): HarnessToolset;
+export declare function harnessTools(entries: readonly (HarnessTool | HarnessToolset)[]): readonly HarnessTool[];

package/dist/domain/tool.js

@@ -0,0 +1,66 @@
+import { invariant } from "./errors.js";
+import { TOOL_NAME_PATTERN } from "./model.constants.js";
+import { formatIssues, isStandardJsonSchema, standardInputSchema, validateStandard, } from "./standard-schema.js";
+import { HARNESS_TOOL_FIELDS } from "./tool.constants.js";
+import { schemaIssues, validateSchemaDefinition } from "./tool-schema.js";
+export function defineHarnessTool(options) {
+    invariant(options !== null && typeof options === "object", "Tool options must be an object");
+    invariant(Object.keys(options).every((key) => HARNESS_TOOL_FIELDS.has(key)), "Unsupported tool option");
+    invariant(typeof options.name === "string" && TOOL_NAME_PATTERN.test(options.name), "Tool names use 1 to 64 letters, digits, underscores or hyphens");
+    invariant(typeof options.description === "string" && options.description.trim(), "Tool description must be nonempty text");
+    invariant(typeof options.execute === "function", "Tool execute must be a function");
+    invariant(options.readOnly === undefined || typeof options.readOnly === "boolean", "Tool readOnly must be boolean");
+    invariant(options.resources === undefined || typeof options.resources === "function", "Tool resources must be a function");
+    const standard = isStandardJsonSchema(options.input)
+        ? options.input
+        : undefined;
+    if (!standard)
+        validateSchemaDefinition(options.input);
+    const inputSchema = standard
+        ? standardInputSchema(standard)
+        : Object.freeze(structuredClone(options.input));
+    return Object.freeze({
+        kind: "tool",
+        name: options.name,
+        description: options.description,
+        readOnly: options.readOnly ?? false,
+        inputSchema,
+        async validate(value) {
+            if (standard) {
+                const result = await validateStandard(standard, value);
+                return "issues" in result
+                    ? { issues: formatIssues(result.issues) }
+                    : { value: result.value };
+            }
+            const issues = schemaIssues(inputSchema, value);
+            return issues.length
+                ? { issues: issues.join("; ") }
+                : { value: value };
+        },
+        resources: (value) => options.resources?.(value) ?? {},
+        execute: (value, context) => options.execute(value, context),
+    });
+}
+export function defineHarnessToolset(options) {
+    invariant(options !== null && typeof options === "object", "Toolset options must be an object");
+    invariant(typeof options.name === "string" && options.name.trim(), "Toolset name must be nonempty text");
+    return Object.freeze({
+        kind: "toolset",
+        name: options.name,
+        tools: harnessTools(options.tools),
+    });
+}
+export function harnessTools(entries) {
+    invariant(Array.isArray(entries), "Tools must be an array");
+    const tools = entries.flatMap((entry) => {
+        invariant(entry?.kind === "tool" || entry?.kind === "toolset", "Declare tools with defineHarnessTool or defineHarnessToolset");
+        return entry.kind === "tool" ? [entry] : entry.tools;
+    });
+    const names = new Set();
+    for (const tool of tools) {
+        invariant(!names.has(tool.name), `Duplicate tool name: ${tool.name}`);
+        names.add(tool.name);
+    }
+    return Object.freeze(tools);
+}
+//# sourceMappingURL=tool.js.map

package/dist/domain/tool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.js","sourceRoot":"","sources":["../../src/domain/tool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EACL,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAY1E,MAAM,UAAU,iBAAiB,CAC/B,OAAkC;IAElC,SAAS,CACP,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAC/C,gCAAgC,CACjC,CAAC;IACF,SAAS,CACP,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EACjE,yBAAyB,CAC1B,CAAC;IACF,SAAS,CACP,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EACxE,gEAAgE,CACjE,CAAC;IACF,SAAS,CACP,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,EACrE,wCAAwC,CACzC,CAAC;IACF,SAAS,CACP,OAAO,OAAO,CAAC,OAAO,KAAK,UAAU,EACrC,iCAAiC,CAClC,CAAC;IACF,SAAS,CACP,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,QAAQ,KAAK,SAAS,EACvE,+BAA+B,CAChC,CAAC;IACF,SAAS,CACP,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,SAAS,KAAK,UAAU,EAC1E,mCAAmC,CACpC,CAAC;IACF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC;QAClD,CAAC,CAAE,OAAO,CAAC,KAAmC;QAC9C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,QAAQ;QAAE,wBAAwB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,WAAW,GAAe,QAAQ;QACtC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAC/B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,KAAmB,CAAC,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,KAAK;QACnC,WAAW;QACX,KAAK,CAAC,QAAQ,CAAC,KAAc;YAC3B,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACvD,OAAO,QAAQ,IAAI,MAAM;oBACvB,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;oBACzC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;YAC9B,CAAC;YACD,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAChD,OAAO,MAAM,CAAC,MAAM;gBAClB,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC/B,CAAC,CAAC,EAAE,KAAK,EAAE,KAAc,EAAE,CAAC;QAChC,CAAC;QACD,SAAS,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE;QAC7D,OAAO,EAAE,CAAC,KAAY,EAAE,OAA2B,EAAE,EAAE,CACrD,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC;KAClC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA8B;IAE9B,SAAS,CACP,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,EAC/C,mCAAmC,CACpC,CAAC;IACF,SAAS,CACP,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EACvD,oCAAoC,CACrC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC;KACnC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,OAAkD;IAElD,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,SAAS,CACP,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,EACnD,8DAA8D,CAC/D,CAAC;QACF,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,wBAAwB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC","sourcesContent":["import { invariant } from \"./errors.ts\";\nimport { TOOL_NAME_PATTERN } from \"./model.constants.ts\";\nimport {\n  formatIssues,\n  isStandardJsonSchema,\n  standardInputSchema,\n  validateStandard,\n} from \"./standard-schema.ts\";\nimport { HARNESS_TOOL_FIELDS } from \"./tool.constants.ts\";\nimport { schemaIssues, validateSchemaDefinition } from \"./tool-schema.ts\";\nimport type {\n  HarnessTool,\n  HarnessToolContext,\n  HarnessToolOptions,\n  HarnessToolset,\n  HarnessToolsetOptions,\n  JsonSchema,\n  StandardJsonSchema,\n  ToolValidation,\n} from \"./tool.types.ts\";\n\nexport function defineHarnessTool<Input>(\n  options: HarnessToolOptions<Input>,\n): HarnessTool<Input> {\n  invariant(\n    options !== null && typeof options === \"object\",\n    \"Tool options must be an object\",\n  );\n  invariant(\n    Object.keys(options).every((key) => HARNESS_TOOL_FIELDS.has(key)),\n    \"Unsupported tool option\",\n  );\n  invariant(\n    typeof options.name === \"string\" && TOOL_NAME_PATTERN.test(options.name),\n    \"Tool names use 1 to 64 letters, digits, underscores or hyphens\",\n  );\n  invariant(\n    typeof options.description === \"string\" && options.description.trim(),\n    \"Tool description must be nonempty text\",\n  );\n  invariant(\n    typeof options.execute === \"function\",\n    \"Tool execute must be a function\",\n  );\n  invariant(\n    options.readOnly === undefined || typeof options.readOnly === \"boolean\",\n    \"Tool readOnly must be boolean\",\n  );\n  invariant(\n    options.resources === undefined || typeof options.resources === \"function\",\n    \"Tool resources must be a function\",\n  );\n  const standard = isStandardJsonSchema(options.input)\n    ? (options.input as StandardJsonSchema<Input>)\n    : undefined;\n  if (!standard) validateSchemaDefinition(options.input);\n  const inputSchema: JsonSchema = standard\n    ? standardInputSchema(standard)\n    : Object.freeze(structuredClone(options.input as JsonSchema));\n  return Object.freeze({\n    kind: \"tool\",\n    name: options.name,\n    description: options.description,\n    readOnly: options.readOnly ?? false,\n    inputSchema,\n    async validate(value: unknown): Promise<ToolValidation<Input>> {\n      if (standard) {\n        const result = await validateStandard(standard, value);\n        return \"issues\" in result\n          ? { issues: formatIssues(result.issues) }\n          : { value: result.value };\n      }\n      const issues = schemaIssues(inputSchema, value);\n      return issues.length\n        ? { issues: issues.join(\"; \") }\n        : { value: value as Input };\n    },\n    resources: (value: Input) => options.resources?.(value) ?? {},\n    execute: (value: Input, context: HarnessToolContext) =>\n      options.execute(value, context),\n  });\n}\n\nexport function defineHarnessToolset(\n  options: HarnessToolsetOptions,\n): HarnessToolset {\n  invariant(\n    options !== null && typeof options === \"object\",\n    \"Toolset options must be an object\",\n  );\n  invariant(\n    typeof options.name === \"string\" && options.name.trim(),\n    \"Toolset name must be nonempty text\",\n  );\n  return Object.freeze({\n    kind: \"toolset\",\n    name: options.name,\n    tools: harnessTools(options.tools),\n  });\n}\n\nexport function harnessTools(\n  entries: readonly (HarnessTool | HarnessToolset)[],\n): readonly HarnessTool[] {\n  invariant(Array.isArray(entries), \"Tools must be an array\");\n  const tools = entries.flatMap((entry) => {\n    invariant(\n      entry?.kind === \"tool\" || entry?.kind === \"toolset\",\n      \"Declare tools with defineHarnessTool or defineHarnessToolset\",\n    );\n    return entry.kind === \"tool\" ? [entry] : entry.tools;\n  });\n  const names = new Set<string>();\n  for (const tool of tools) {\n    invariant(!names.has(tool.name), `Duplicate tool name: ${tool.name}`);\n    names.add(tool.name);\n  }\n  return Object.freeze(tools);\n}\n"]}

package/dist/domain/tool.types.d.ts

@@ -0,0 +1,62 @@
+import type { AgentEvent } from "./agent.types.ts";
+import type { AgentModel } from "./model.types.ts";
+import type { ToolResources } from "./permissions.types.ts";
+import type { StandardValidator } from "./response.types.ts";
+import type { SandboxLease } from "./sandbox.types.ts";
+export type JsonSchema = Readonly<Record<string, unknown>>;
+export interface StandardJsonSchema<Input> {
+    readonly "~standard": StandardValidator<Input>["~standard"] & {
+        readonly jsonSchema: {
+            input(options: {
+                readonly target: string;
+            }): Record<string, unknown>;
+        };
+    };
+}
+export type HarnessToolEvent = Extract<AgentEvent, {
+    readonly kind: "text" | "warning" | "raw";
+}>;
+export interface HarnessToolContext {
+    readonly sandbox: SandboxLease;
+    readonly signal: AbortSignal;
+    readonly callId: string;
+    readonly model: AgentModel;
+    observe(event: HarnessToolEvent): void;
+}
+export type ToolOutput = string | {
+    readonly content: string;
+    readonly isError?: boolean;
+};
+export interface HarnessToolOptions<Input> {
+    readonly name: string;
+    readonly description: string;
+    readonly input: StandardJsonSchema<Input> | JsonSchema;
+    readonly readOnly?: boolean;
+    resources?(input: Input): ToolResources;
+    execute(input: Input, context: HarnessToolContext): ToolOutput | Promise<ToolOutput>;
+}
+export type ToolValidation<Input> = {
+    readonly value: Input;
+} | {
+    readonly issues: string;
+};
+export interface HarnessTool<Input = unknown> {
+    readonly kind: "tool";
+    readonly name: string;
+    readonly description: string;
+    readonly readOnly: boolean;
+    readonly inputSchema: JsonSchema;
+    validate(value: unknown): Promise<ToolValidation<Input>>;
+    resources(input: Input): ToolResources;
+    execute(input: Input, context: HarnessToolContext): ToolOutput | Promise<ToolOutput>;
+}
+export interface HarnessToolsetOptions {
+    readonly name: string;
+    readonly tools: readonly (HarnessTool | HarnessToolset)[];
+}
+export interface HarnessToolset {
+    readonly kind: "toolset";
+    readonly name: string;
+    readonly tools: readonly HarnessTool[];
+}
+export type SchemaKeywordCheck = (schema: JsonSchema, value: unknown, path: string) => readonly string[];

package/dist/domain/tool.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=tool.types.js.map

package/dist/domain/tool.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.types.js","sourceRoot":"","sources":["../../src/domain/tool.types.ts"],"names":[],"mappings":"","sourcesContent":["import type { AgentEvent } from \"./agent.types.ts\";\nimport type { AgentModel } from \"./model.types.ts\";\nimport type { ToolResources } from \"./permissions.types.ts\";\nimport type { StandardValidator } from \"./response.types.ts\";\nimport type { SandboxLease } from \"./sandbox.types.ts\";\n\nexport type JsonSchema = Readonly<Record<string, unknown>>;\n\nexport interface StandardJsonSchema<Input> {\n  readonly \"~standard\": StandardValidator<Input>[\"~standard\"] & {\n    readonly jsonSchema: {\n      input(options: { readonly target: string }): Record<string, unknown>;\n    };\n  };\n}\n\nexport type HarnessToolEvent = Extract<\n  AgentEvent,\n  { readonly kind: \"text\" | \"warning\" | \"raw\" }\n>;\n\nexport interface HarnessToolContext {\n  readonly sandbox: SandboxLease;\n  readonly signal: AbortSignal;\n  readonly callId: string;\n  readonly model: AgentModel;\n  observe(event: HarnessToolEvent): void;\n}\n\nexport type ToolOutput =\n  string | { readonly content: string; readonly isError?: boolean };\n\nexport interface HarnessToolOptions<Input> {\n  readonly name: string;\n  readonly description: string;\n  readonly input: StandardJsonSchema<Input> | JsonSchema;\n  readonly readOnly?: boolean;\n  resources?(input: Input): ToolResources;\n  execute(\n    input: Input,\n    context: HarnessToolContext,\n  ): ToolOutput | Promise<ToolOutput>;\n}\n\nexport type ToolValidation<Input> =\n  { readonly value: Input } | { readonly issues: string };\n\nexport interface HarnessTool<Input = unknown> {\n  readonly kind: \"tool\";\n  readonly name: string;\n  readonly description: string;\n  readonly readOnly: boolean;\n  readonly inputSchema: JsonSchema;\n  validate(value: unknown): Promise<ToolValidation<Input>>;\n  resources(input: Input): ToolResources;\n  execute(\n    input: Input,\n    context: HarnessToolContext,\n  ): ToolOutput | Promise<ToolOutput>;\n}\n\nexport interface HarnessToolsetOptions {\n  readonly name: string;\n  readonly tools: readonly (HarnessTool | HarnessToolset)[];\n}\n\nexport interface HarnessToolset {\n  readonly kind: \"toolset\";\n  readonly name: string;\n  readonly tools: readonly HarnessTool[];\n}\n\nexport type SchemaKeywordCheck = (\n  schema: JsonSchema,\n  value: unknown,\n  path: string,\n) => readonly string[];\n"]}

package/dist/domain/transcript.d.ts

@@ -0,0 +1,4 @@
+import type { ModelMessage } from "./model.types.ts";
+import type { TranscriptRecord } from "./transcript.types.ts";
+export declare function parseTranscript(text: string): readonly TranscriptRecord[];
+export declare function transcriptMessages(records: readonly TranscriptRecord[]): ModelMessage[];

package/dist/domain/transcript.js

@@ -0,0 +1,48 @@
+import { OutpostError } from "./errors.js";
+const folds = {
+    session: (messages) => messages,
+    message: (messages, record) => record.type === "message" ? [...messages, record.message] : messages,
+    compaction: (_messages, record) => record.type === "compaction" ? [...record.messages] : [],
+};
+export function parseTranscript(text) {
+    const records = text
+        .split("\n")
+        .filter((line) => line.trim())
+        .map((line) => {
+        try {
+            return JSON.parse(line);
+        }
+        catch {
+            throw new OutpostError("session", "Harness transcript is not valid JSONL");
+        }
+    });
+    const first = records[0];
+    if (first?.type !== "session" || first.version !== 1)
+        throw new OutpostError("session", "Unsupported harness transcript");
+    for (const record of records)
+        if (!Object.hasOwn(folds, record?.type))
+            throw new OutpostError("session", "Unsupported harness transcript record");
+    return records;
+}
+export function transcriptMessages(records) {
+    const messages = records.reduce((current, record) => folds[record.type](current, record), []);
+    const last = messages.at(-1);
+    const pending = last?.role === "assistant"
+        ? last.content.flatMap((block) => block.type === "tool-call" ? [block.id] : [])
+        : [];
+    if (!pending.length)
+        return messages;
+    return [
+        ...messages,
+        {
+            role: "user",
+            content: pending.map((callId) => ({
+                type: "tool-result",
+                callId,
+                content: "The tool call was interrupted before it produced a result.",
+                isError: true,
+            })),
+        },
+    ];
+}
+//# sourceMappingURL=transcript.js.map

package/dist/domain/transcript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transcript.js","sourceRoot":"","sources":["../../src/domain/transcript.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAI3C,MAAM,KAAK,GAKP;IACF,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ;IAC/B,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ;IACtE,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAChC,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;CAC3D,CAAC;AAEF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,OAAO,GAAG,IAAI;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC7B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAqB,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,YAAY,CACpB,SAAS,EACT,uCAAuC,CACxC,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC;QAClD,MAAM,IAAI,YAAY,CAAC,SAAS,EAAE,gCAAgC,CAAC,CAAC;IACtE,KAAK,MAAM,MAAM,IAAI,OAAO;QAC1B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC;YACrC,MAAM,IAAI,YAAY,CACpB,SAAS,EACT,uCAAuC,CACxC,CAAC;IACN,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,OAAoC;IAEpC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC7B,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EACxD,EAAE,CACH,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,OAAO,GACX,IAAI,EAAE,IAAI,KAAK,WAAW;QACxB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAC7C;QACH,CAAC,CAAC,EAAE,CAAC;IACT,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IACrC,OAAO;QACL,GAAG,QAAQ;QACX;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBAChC,IAAI,EAAE,aAAsB;gBAC5B,MAAM;gBACN,OAAO,EAAE,4DAA4D;gBACrE,OAAO,EAAE,IAAI;aACd,CAAC,CAAC;SACJ;KACF,CAAC;AACJ,CAAC","sourcesContent":["import { OutpostError } from \"./errors.ts\";\nimport type { ModelMessage } from \"./model.types.ts\";\nimport type { TranscriptRecord } from \"./transcript.types.ts\";\n\nconst folds: Readonly<\n  Record<\n    TranscriptRecord[\"type\"],\n    (messages: ModelMessage[], record: TranscriptRecord) => ModelMessage[]\n  >\n> = {\n  session: (messages) => messages,\n  message: (messages, record) =>\n    record.type === \"message\" ? [...messages, record.message] : messages,\n  compaction: (_messages, record) =>\n    record.type === \"compaction\" ? [...record.messages] : [],\n};\n\nexport function parseTranscript(text: string): readonly TranscriptRecord[] {\n  const records = text\n    .split(\"\\n\")\n    .filter((line) => line.trim())\n    .map((line) => {\n      try {\n        return JSON.parse(line) as TranscriptRecord;\n      } catch {\n        throw new OutpostError(\n          \"session\",\n          \"Harness transcript is not valid JSONL\",\n        );\n      }\n    });\n  const first = records[0];\n  if (first?.type !== \"session\" || first.version !== 1)\n    throw new OutpostError(\"session\", \"Unsupported harness transcript\");\n  for (const record of records)\n    if (!Object.hasOwn(folds, record?.type))\n      throw new OutpostError(\n        \"session\",\n        \"Unsupported harness transcript record\",\n      );\n  return records;\n}\n\nexport function transcriptMessages(\n  records: readonly TranscriptRecord[],\n): ModelMessage[] {\n  const messages = records.reduce<ModelMessage[]>(\n    (current, record) => folds[record.type](current, record),\n    [],\n  );\n  const last = messages.at(-1);\n  const pending =\n    last?.role === \"assistant\"\n      ? last.content.flatMap((block) =>\n          block.type === \"tool-call\" ? [block.id] : [],\n        )\n      : [];\n  if (!pending.length) return messages;\n  return [\n    ...messages,\n    {\n      role: \"user\",\n      content: pending.map((callId) => ({\n        type: \"tool-result\" as const,\n        callId,\n        content: \"The tool call was interrupted before it produced a result.\",\n        isError: true,\n      })),\n    },\n  ];\n}\n"]}

package/dist/domain/transcript.types.d.ts

@@ -0,0 +1,15 @@
+import type { ModelMessage } from "./model.types.ts";
+export type TranscriptRecord = {
+    readonly type: "session";
+    readonly version: 1;
+    readonly id: string;
+    readonly model: string;
+    readonly parent?: string;
+    readonly createdAt: string;
+} | {
+    readonly type: "message";
+    readonly message: ModelMessage;
+} | {
+    readonly type: "compaction";
+    readonly messages: readonly ModelMessage[];
+};

package/dist/domain/transcript.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=transcript.types.js.map

package/dist/domain/transcript.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transcript.types.js","sourceRoot":"","sources":["../../src/domain/transcript.types.ts"],"names":[],"mappings":"","sourcesContent":["import type { ModelMessage } from \"./model.types.ts\";\n\nexport type TranscriptRecord =\n  | {\n      readonly type: \"session\";\n      readonly version: 1;\n      readonly id: string;\n      readonly model: string;\n      readonly parent?: string;\n      readonly createdAt: string;\n    }\n  | { readonly type: \"message\"; readonly message: ModelMessage }\n  | { readonly type: \"compaction\"; readonly messages: readonly ModelMessage[] };\n"]}

package/dist/domain/workflow/workflow-state.js

@@ -61,13 +61,20 @@ export function workflowState(name, tasks, options, checkpoint) {
     }, saved?.usage);
     const record = (item) => records.get(item);
     function emit(event) {
+        const notification = {
+            ...event,
+            executionId,
+            workflow: name,
+            timestamp: new Date().toISOString(),
+        };
         try {
-            options.observe?.({
-                ...event,
-                executionId,
-                workflow: name,
-                timestamp: new Date().toISOString(),
-            });
+            options.telemetry?.observe(notification);
+        }
+        catch (error) {
+            observerErrors.push(error);
+        }
+        try {
+            options.observe?.(notification);
         }
         catch (error) {
             observerErrors.push(error);

package/dist/domain/workflow/workflow-state.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-state.js","sourceRoot":"","sources":["../../../src/domain/workflow/workflow-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAG1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,KAAsB,EACtB,OAAwB,EACxB,UAAsC;IAEtC,MAAM,WAAW,GAAG,UAAU,EAAE,OAAO,EAAE,WAAW,IAAI,UAAU,EAAE,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,eAAe,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM;QAC3B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAClB,IAAI;QACJ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE;KAClD,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,EAAE,OAAO,CAAC;IAClC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7C,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAC3C,CAAC;QACF,MAAM,YAAY,GAChB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAC9C;YACD,KAAK,CAAC,OAAO,CAAC,KAAK,CACjB,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CACvD,CAAC;QACJ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAE,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;gBAChB,GAAG,KAAK;gBACR,GAAG,CAAC,KAAK,CAAC,aAAa;oBACrB,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,EAAE;oBAC5D,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,KAAK;oBACb,CAAC,CAAC;wBACE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;4BACnB,GAAG,KAAK,CAAC,KAAK;4BACd,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;yBAC/C,CAAC;qBACH;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,QAAQ;oBAChB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE;oBACpD,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,EACJ,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;oBACrD,QAAQ;oBACR,CAAC,YAAY,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;oBAC1C,CAAC,CAAC,KAAK,CAAC,MAAM;oBACd,CAAC,CAAC,SAAS;aAChB,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAc,EAAE,EAC1B,cAAc,GAAc,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE;QAClC,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,kBAAkB,CACnC,OAAO,CAAC,MAAM,EACd,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,EACD,KAAK,EAAE,KAAK,CACb,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAClD,SAAS,IAAI,CACX,KAAoE;QAEpE,IAAI,CAAC;YACH,OAAO,CAAC,OAAO,EAAE,CAAC;gBAChB,GAAG,KAAK;gBACR,WAAW;gBACX,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,SAAS,MAAM,CAAC,IAAU,EAAE,MAAkB;QAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC1B,MAAM;YACN,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC,CAAC;QACH,IAAI,CAAC;YACH,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAC9B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;gBACxB,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAU,CAAC,EAAE;gBAClE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,SAAS,OAAO,CACd,IAAU,EACV,OAAe,EACf,UAAuB;QAEvB,IAAI,OAAO,GAAG,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,SAAS,MAAM,CAAC,KAAY,EAAE,OAAgB;YAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7B,IACE,OAAO,KAAK,CAAC;gBACb,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAC3B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO;gBAEpC,MAAM,IAAI,KAAK,CACb,uDAAuD,CACxD,CAAC;YACJ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC;oBAAE,OAAO;gBACrD,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,uBAAuB;oBACjE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,gBAAgB,GAAG,OAAO,CAAC,aAAa,CAAC;YAC/C,IAAI,OAAO,KAAK,SAAS;gBACvB,OAAO,CAAC,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;oBACpC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;oBAC3B,OAAO;iBACR,CAAC,CAAC;YACL,IAAI,CAAC;gBACH,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,gBAAgB;oBAAE,OAAO,CAAC,aAAa,GAAG,gBAAgB,CAAC;;oBAC1D,OAAO,OAAO,CAAC,aAAa,CAAC;gBAClC,MAAM,KAAK,CAAC;YACd,CAAC;YACD,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC;gBACH,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,OAAO;gBACP,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO;YACP,WAAW;YACX,UAAU,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;YACnC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACrC,eAAe,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBAClC,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC9B,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,KAAK,CAAI,UAAmB;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAClC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,GAAG,2BAA2B,UAAU,CAAC,GAAG,EAAE,CACvD,CAAC;gBACJ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,GAAG,0BAA0B,CAAC,CAAC;gBAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAM,CAAC;YACrC,CAAC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAA2B;QACtC,KAAK,CAAC,OAAO;YACX,MAAM,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,WAAW;QACX,UAAU;QACV,YAAY,CAAC,IAAI;YACf,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI;QACJ,MAAM;QACN,MAAM;QACN,OAAO;QACP,MAAM;QACN,cAAc;QACd,MAAM;QACN,IAAI;QACJ,MAAM;QACN,OAAO;QACP,OAAO;KACR,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["import { maxUsageReceiptsPerTask } from \"./usage-receipt.constants.ts\";\nimport { validateUsageReceipt } from \"./usage-receipt.ts\";\nimport type { Usage } from \"../agent.types.ts\";\nimport type { WorkflowCheckpointSession } from \"./checkpoint.types.ts\";\nimport { workflowAccounting } from \"./budget.ts\";\nimport { randomUUID } from \"node:crypto\";\nimport type {\n  Task,\n  TaskContext,\n  TaskRecord,\n  TaskStatus,\n  WorkflowEvent,\n  WorkflowExecutionState,\n  WorkflowOptions,\n} from \"../workflow.types.ts\";\n\nexport function workflowState(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n  checkpoint?: WorkflowCheckpointSession,\n): WorkflowExecutionState {\n  const executionId = checkpoint?.initial?.executionId ?? randomUUID();\n  const stop = new AbortController();\n  const signal = options.signal\n    ? AbortSignal.any([options.signal, stop.signal])\n    : stop.signal;\n  const values = new Map<Task, unknown>();\n  const activeAttempts = new Map<Task, number>();\n  const records = new Map<Task, TaskRecord>(\n    tasks.map((item) => [\n      item,\n      { key: item.key, status: \"waiting\", attempts: 0 },\n    ]),\n  );\n  const saved = checkpoint?.initial;\n  if (saved) {\n    const complete = saved.records.every((entry) =>\n      [\"done\", \"skipped\"].includes(entry.status),\n    );\n    const settledPause =\n      saved.records.some((entry) =>\n        [\"paused\", \"rejected\"].includes(entry.status),\n      ) &&\n      saved.records.every(\n        (entry) =>\n          [\"done\", \"skipped\", \"paused\", \"rejected\"].includes(entry.status) ||\n          (entry.status === \"waiting\" && entry.attempts === 0),\n      );\n    for (const item of tasks) {\n      const entry = saved.records.find((entry) => entry.key === item.key)!;\n      records.set(item, {\n        ...entry,\n        ...(entry.usageReceipts\n          ? { usageReceipts: Object.freeze([...entry.usageReceipts]) }\n          : {}),\n        ...(entry.pause\n          ? {\n              pause: Object.freeze({\n                ...entry.pause,\n                actors: Object.freeze([...entry.pause.actors]),\n              }),\n            }\n          : {}),\n        ...(entry.decision\n          ? { decision: Object.freeze({ ...entry.decision }) }\n          : {}),\n        status:\n          [\"done\", \"paused\", \"rejected\"].includes(entry.status) ||\n          complete ||\n          (settledPause && entry.status === \"skipped\")\n            ? entry.status\n            : \"waiting\",\n      });\n      if (entry.status === \"done\") {\n        const output = saved.values[item.key]!;\n        values.set(item, output.kind === \"json\" ? output.value : undefined);\n      }\n    }\n  }\n  const errors: unknown[] = [],\n    observerErrors: unknown[] = [];\n  for (const entry of records.values())\n    if (entry.status === \"rejected\") errors.push(new Error(entry.error));\n  const accounting = workflowAccounting(\n    options.budget,\n    (error) => {\n      errors.push(error);\n      if (error.dimension !== \"attempts\") stop.abort(error);\n    },\n    saved?.usage,\n  );\n  const record = (item: Task) => records.get(item)!;\n  function emit(\n    event: Omit<WorkflowEvent, \"executionId\" | \"workflow\" | \"timestamp\">,\n  ): void {\n    try {\n      options.observe?.({\n        ...event,\n        executionId,\n        workflow: name,\n        timestamp: new Date().toISOString(),\n      });\n    } catch (error) {\n      observerErrors.push(error);\n    }\n  }\n  function finish(item: Task, status: TaskStatus): void {\n    Object.assign(record(item), {\n      status,\n      finishedAt: new Date().toISOString(),\n    });\n    emit({\n      type: \"task\",\n      key: item.key,\n      status,\n      attempt: record(item).attempts,\n      ...(record(item).startedAt\n        ? { durationMs: Date.now() - Date.parse(record(item).startedAt!) }\n        : {}),\n    });\n  }\n  function context(\n    item: Task,\n    attempt: number,\n    taskSignal: AbortSignal,\n  ): TaskContext {\n    if (attempt > 0) activeAttempts.set(item, attempt);\n    function report(usage: Usage, receipt?: string): void {\n      const current = record(item);\n      if (\n        attempt === 0 ||\n        current.status !== \"active\" ||\n        activeAttempts.get(item) !== attempt\n      )\n        throw new Error(\n          \"Usage must be reported during its active task attempt\",\n        );\n      if (receipt !== undefined) {\n        validateUsageReceipt(receipt);\n        if (current.usageReceipts?.includes(receipt)) return;\n        if ((current.usageReceipts?.length ?? 0) >= maxUsageReceiptsPerTask)\n          throw new Error(\"Workflow usage receipt limit exceeded\");\n      }\n      const previousReceipts = current.usageReceipts;\n      if (receipt !== undefined)\n        current.usageReceipts = Object.freeze([\n          ...(previousReceipts ?? []),\n          receipt,\n        ]);\n      try {\n        accounting.report(usage);\n      } catch (error) {\n        if (previousReceipts) current.usageReceipts = previousReceipts;\n        else delete current.usageReceipts;\n        throw error;\n      }\n      void runtime.persist().catch((error: unknown) => stop.abort(error));\n      emit({\n        type: \"usage\",\n        key: item.key,\n        attempt,\n        usage: Object.freeze({ ...usage }),\n      });\n    }\n\n    return {\n      signal: taskSignal,\n      attempt,\n      executionId,\n      checkpoint: () => runtime.persist(),\n      reportUsage: (usage) => report(usage),\n      reportUsageOnce: (receipt, usage) => {\n        validateUsageReceipt(receipt);\n        report(usage, receipt);\n      },\n      value<T>(dependency: Task<T>): T {\n        if (!item.after.includes(dependency))\n          throw new Error(\n            `${item.key}: undeclared dependency ${dependency.key}`,\n          );\n        if (!values.has(dependency))\n          throw new Error(`${dependency.key} has no successful value`);\n        return values.get(dependency) as T;\n      },\n    };\n  }\n\n  const runtime: WorkflowExecutionState = {\n    async persist() {\n      await checkpoint?.save(runtime);\n    },\n    executionId,\n    accounting,\n    closeAttempt(item) {\n      activeAttempts.delete(item);\n    },\n    stop,\n    signal,\n    values,\n    records,\n    errors,\n    observerErrors,\n    record,\n    emit,\n    finish,\n    context,\n    options,\n  };\n  return runtime;\n}\n"]}
+{"version":3,"file":"workflow-state.js","sourceRoot":"","sources":["../../../src/domain/workflow/workflow-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAG1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,KAAsB,EACtB,OAAwB,EACxB,UAAsC;IAEtC,MAAM,WAAW,GAAG,UAAU,EAAE,OAAO,EAAE,WAAW,IAAI,UAAU,EAAE,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,eAAe,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM;QAC3B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAClB,IAAI;QACJ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE;KAClD,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,EAAE,OAAO,CAAC;IAClC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7C,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAC3C,CAAC;QACF,MAAM,YAAY,GAChB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAC9C;YACD,KAAK,CAAC,OAAO,CAAC,KAAK,CACjB,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CACvD,CAAC;QACJ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAE,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;gBAChB,GAAG,KAAK;gBACR,GAAG,CAAC,KAAK,CAAC,aAAa;oBACrB,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,EAAE;oBAC5D,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,KAAK;oBACb,CAAC,CAAC;wBACE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;4BACnB,GAAG,KAAK,CAAC,KAAK;4BACd,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;yBAC/C,CAAC;qBACH;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,QAAQ;oBAChB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE;oBACpD,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,EACJ,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;oBACrD,QAAQ;oBACR,CAAC,YAAY,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;oBAC1C,CAAC,CAAC,KAAK,CAAC,MAAM;oBACd,CAAC,CAAC,SAAS;aAChB,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAc,EAAE,EAC1B,cAAc,GAAc,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE;QAClC,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,kBAAkB,CACnC,OAAO,CAAC,MAAM,EACd,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,EACD,KAAK,EAAE,KAAK,CACb,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAClD,SAAS,IAAI,CACX,KAAoE;QAEpE,MAAM,YAAY,GAAkB;YAClC,GAAG,KAAK;YACR,WAAW;YACX,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QACF,IAAI,CAAC;YACH,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC;YACH,OAAO,CAAC,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC;QAClC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,SAAS,MAAM,CAAC,IAAU,EAAE,MAAkB;QAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC1B,MAAM;YACN,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC,CAAC;QACH,IAAI,CAAC;YACH,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAC9B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;gBACxB,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAU,CAAC,EAAE;gBAClE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,SAAS,OAAO,CACd,IAAU,EACV,OAAe,EACf,UAAuB;QAEvB,IAAI,OAAO,GAAG,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,SAAS,MAAM,CAAC,KAAY,EAAE,OAAgB;YAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7B,IACE,OAAO,KAAK,CAAC;gBACb,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAC3B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO;gBAEpC,MAAM,IAAI,KAAK,CACb,uDAAuD,CACxD,CAAC;YACJ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC;oBAAE,OAAO;gBACrD,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,uBAAuB;oBACjE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,gBAAgB,GAAG,OAAO,CAAC,aAAa,CAAC;YAC/C,IAAI,OAAO,KAAK,SAAS;gBACvB,OAAO,CAAC,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;oBACpC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;oBAC3B,OAAO;iBACR,CAAC,CAAC;YACL,IAAI,CAAC;gBACH,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,gBAAgB;oBAAE,OAAO,CAAC,aAAa,GAAG,gBAAgB,CAAC;;oBAC1D,OAAO,OAAO,CAAC,aAAa,CAAC;gBAClC,MAAM,KAAK,CAAC;YACd,CAAC;YACD,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC;gBACH,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,OAAO;gBACP,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO;YACP,WAAW;YACX,UAAU,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;YACnC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACrC,eAAe,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBAClC,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC9B,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,KAAK,CAAI,UAAmB;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAClC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,GAAG,2BAA2B,UAAU,CAAC,GAAG,EAAE,CACvD,CAAC;gBACJ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,GAAG,0BAA0B,CAAC,CAAC;gBAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAM,CAAC;YACrC,CAAC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAA2B;QACtC,KAAK,CAAC,OAAO;YACX,MAAM,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,WAAW;QACX,UAAU;QACV,YAAY,CAAC,IAAI;YACf,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI;QACJ,MAAM;QACN,MAAM;QACN,OAAO;QACP,MAAM;QACN,cAAc;QACd,MAAM;QACN,IAAI;QACJ,MAAM;QACN,OAAO;QACP,OAAO;KACR,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["import { maxUsageReceiptsPerTask } from \"./usage-receipt.constants.ts\";\nimport { validateUsageReceipt } from \"./usage-receipt.ts\";\nimport type { Usage } from \"../agent.types.ts\";\nimport type { WorkflowCheckpointSession } from \"./checkpoint.types.ts\";\nimport { workflowAccounting } from \"./budget.ts\";\nimport { randomUUID } from \"node:crypto\";\nimport type {\n  Task,\n  TaskContext,\n  TaskRecord,\n  TaskStatus,\n  WorkflowEvent,\n  WorkflowExecutionState,\n  WorkflowOptions,\n} from \"../workflow.types.ts\";\n\nexport function workflowState(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n  checkpoint?: WorkflowCheckpointSession,\n): WorkflowExecutionState {\n  const executionId = checkpoint?.initial?.executionId ?? randomUUID();\n  const stop = new AbortController();\n  const signal = options.signal\n    ? AbortSignal.any([options.signal, stop.signal])\n    : stop.signal;\n  const values = new Map<Task, unknown>();\n  const activeAttempts = new Map<Task, number>();\n  const records = new Map<Task, TaskRecord>(\n    tasks.map((item) => [\n      item,\n      { key: item.key, status: \"waiting\", attempts: 0 },\n    ]),\n  );\n  const saved = checkpoint?.initial;\n  if (saved) {\n    const complete = saved.records.every((entry) =>\n      [\"done\", \"skipped\"].includes(entry.status),\n    );\n    const settledPause =\n      saved.records.some((entry) =>\n        [\"paused\", \"rejected\"].includes(entry.status),\n      ) &&\n      saved.records.every(\n        (entry) =>\n          [\"done\", \"skipped\", \"paused\", \"rejected\"].includes(entry.status) ||\n          (entry.status === \"waiting\" && entry.attempts === 0),\n      );\n    for (const item of tasks) {\n      const entry = saved.records.find((entry) => entry.key === item.key)!;\n      records.set(item, {\n        ...entry,\n        ...(entry.usageReceipts\n          ? { usageReceipts: Object.freeze([...entry.usageReceipts]) }\n          : {}),\n        ...(entry.pause\n          ? {\n              pause: Object.freeze({\n                ...entry.pause,\n                actors: Object.freeze([...entry.pause.actors]),\n              }),\n            }\n          : {}),\n        ...(entry.decision\n          ? { decision: Object.freeze({ ...entry.decision }) }\n          : {}),\n        status:\n          [\"done\", \"paused\", \"rejected\"].includes(entry.status) ||\n          complete ||\n          (settledPause && entry.status === \"skipped\")\n            ? entry.status\n            : \"waiting\",\n      });\n      if (entry.status === \"done\") {\n        const output = saved.values[item.key]!;\n        values.set(item, output.kind === \"json\" ? output.value : undefined);\n      }\n    }\n  }\n  const errors: unknown[] = [],\n    observerErrors: unknown[] = [];\n  for (const entry of records.values())\n    if (entry.status === \"rejected\") errors.push(new Error(entry.error));\n  const accounting = workflowAccounting(\n    options.budget,\n    (error) => {\n      errors.push(error);\n      if (error.dimension !== \"attempts\") stop.abort(error);\n    },\n    saved?.usage,\n  );\n  const record = (item: Task) => records.get(item)!;\n  function emit(\n    event: Omit<WorkflowEvent, \"executionId\" | \"workflow\" | \"timestamp\">,\n  ): void {\n    const notification: WorkflowEvent = {\n      ...event,\n      executionId,\n      workflow: name,\n      timestamp: new Date().toISOString(),\n    };\n    try {\n      options.telemetry?.observe(notification);\n    } catch (error) {\n      observerErrors.push(error);\n    }\n    try {\n      options.observe?.(notification);\n    } catch (error) {\n      observerErrors.push(error);\n    }\n  }\n  function finish(item: Task, status: TaskStatus): void {\n    Object.assign(record(item), {\n      status,\n      finishedAt: new Date().toISOString(),\n    });\n    emit({\n      type: \"task\",\n      key: item.key,\n      status,\n      attempt: record(item).attempts,\n      ...(record(item).startedAt\n        ? { durationMs: Date.now() - Date.parse(record(item).startedAt!) }\n        : {}),\n    });\n  }\n  function context(\n    item: Task,\n    attempt: number,\n    taskSignal: AbortSignal,\n  ): TaskContext {\n    if (attempt > 0) activeAttempts.set(item, attempt);\n    function report(usage: Usage, receipt?: string): void {\n      const current = record(item);\n      if (\n        attempt === 0 ||\n        current.status !== \"active\" ||\n        activeAttempts.get(item) !== attempt\n      )\n        throw new Error(\n          \"Usage must be reported during its active task attempt\",\n        );\n      if (receipt !== undefined) {\n        validateUsageReceipt(receipt);\n        if (current.usageReceipts?.includes(receipt)) return;\n        if ((current.usageReceipts?.length ?? 0) >= maxUsageReceiptsPerTask)\n          throw new Error(\"Workflow usage receipt limit exceeded\");\n      }\n      const previousReceipts = current.usageReceipts;\n      if (receipt !== undefined)\n        current.usageReceipts = Object.freeze([\n          ...(previousReceipts ?? []),\n          receipt,\n        ]);\n      try {\n        accounting.report(usage);\n      } catch (error) {\n        if (previousReceipts) current.usageReceipts = previousReceipts;\n        else delete current.usageReceipts;\n        throw error;\n      }\n      void runtime.persist().catch((error: unknown) => stop.abort(error));\n      emit({\n        type: \"usage\",\n        key: item.key,\n        attempt,\n        usage: Object.freeze({ ...usage }),\n      });\n    }\n\n    return {\n      signal: taskSignal,\n      attempt,\n      executionId,\n      checkpoint: () => runtime.persist(),\n      reportUsage: (usage) => report(usage),\n      reportUsageOnce: (receipt, usage) => {\n        validateUsageReceipt(receipt);\n        report(usage, receipt);\n      },\n      value<T>(dependency: Task<T>): T {\n        if (!item.after.includes(dependency))\n          throw new Error(\n            `${item.key}: undeclared dependency ${dependency.key}`,\n          );\n        if (!values.has(dependency))\n          throw new Error(`${dependency.key} has no successful value`);\n        return values.get(dependency) as T;\n      },\n    };\n  }\n\n  const runtime: WorkflowExecutionState = {\n    async persist() {\n      await checkpoint?.save(runtime);\n    },\n    executionId,\n    accounting,\n    closeAttempt(item) {\n      activeAttempts.delete(item);\n    },\n    stop,\n    signal,\n    values,\n    records,\n    errors,\n    observerErrors,\n    record,\n    emit,\n    finish,\n    context,\n    options,\n  };\n  return runtime;\n}\n"]}

package/dist/domain/workflow.d.ts

@@ -1,5 +1,5 @@
 import type { Task, Workflow } from "./workflow.types.ts";
-export type { Retry, Task, TaskContext, TaskOptions, TaskRecord, TaskStatus, Workflow, WorkflowEvent, WorkflowOptions, WorkflowResult, } from "./workflow.types.ts";
+export type { Retry, Task, TaskContext, TaskOptions, TaskRecord, TaskStatus, Workflow, WorkflowEvent, WorkflowOptions, WorkflowResult, WorkflowTelemetry, } from "./workflow.types.ts";
 export { WorkflowFailure } from "./workflow/failure.ts";
 export { task } from "./workflow/task.ts";
 export declare function workflow(name: string, tasks: readonly Task[]): Workflow;

package/dist/domain/workflow.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/domain/workflow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAc5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE1C,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAsB;IAC3D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,CAAC,UAA2B,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;QACxE,OAAO;YACL,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO;gBACL,cAAc;gBACd,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBACzB,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,IAAI;oBACnC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CACf,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAChE;iBACF,CAAC;aACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC","sourcesContent":["import type { Task, Workflow, WorkflowOptions } from \"./workflow.types.ts\";\nimport { validate } from \"./workflow/validation.ts\";\nimport { schedule } from \"./workflow/workflow-scheduler.ts\";\n\nexport type {\n  Retry,\n  Task,\n  TaskContext,\n  TaskOptions,\n  TaskRecord,\n  TaskStatus,\n  Workflow,\n  WorkflowEvent,\n  WorkflowOptions,\n  WorkflowResult,\n} from \"./workflow.types.ts\";\nexport { WorkflowFailure } from \"./workflow/failure.ts\";\nexport { task } from \"./workflow/task.ts\";\n\nexport function workflow(name: string, tasks: readonly Task[]): Workflow {\n  if (!name.trim()) throw new Error(\"Workflow name cannot be empty\");\n  const graph = Object.freeze([...tasks]);\n  validate(graph);\n  return Object.freeze({\n    name,\n    tasks: graph,\n    start: (options: WorkflowOptions = {}) => schedule(name, graph, options),\n    diagram() {\n      const ids = new Map(graph.map((item, index) => [item, `n${index}`]));\n      return [\n        \"flowchart LR\",\n        ...graph.flatMap((item) => [\n          `  ${ids.get(item)}[\"${item.key}\"]`,\n          ...item.after.map(\n            (dependency) => `  ${ids.get(dependency)} --> ${ids.get(item)}`,\n          ),\n        ]),\n      ].join(\"\\n\");\n    },\n  });\n}\n\nexport { WorkflowBudgetExceeded } from \"./workflow/budget.ts\";\nexport type { WorkflowBudget, WorkflowUsage } from \"./workflow/budget.types.ts\";\n"]}
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/domain/workflow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAe5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE1C,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAsB;IAC3D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IACxC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,CAAC,UAA2B,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;QACxE,OAAO;YACL,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO;gBACL,cAAc;gBACd,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBACzB,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,IAAI;oBACnC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CACf,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAChE;iBACF,CAAC;aACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC","sourcesContent":["import type { Task, Workflow, WorkflowOptions } from \"./workflow.types.ts\";\nimport { validate } from \"./workflow/validation.ts\";\nimport { schedule } from \"./workflow/workflow-scheduler.ts\";\n\nexport type {\n  Retry,\n  Task,\n  TaskContext,\n  TaskOptions,\n  TaskRecord,\n  TaskStatus,\n  Workflow,\n  WorkflowEvent,\n  WorkflowOptions,\n  WorkflowResult,\n  WorkflowTelemetry,\n} from \"./workflow.types.ts\";\nexport { WorkflowFailure } from \"./workflow/failure.ts\";\nexport { task } from \"./workflow/task.ts\";\n\nexport function workflow(name: string, tasks: readonly Task[]): Workflow {\n  if (!name.trim()) throw new Error(\"Workflow name cannot be empty\");\n  const graph = Object.freeze([...tasks]);\n  validate(graph);\n  return Object.freeze({\n    name,\n    tasks: graph,\n    start: (options: WorkflowOptions = {}) => schedule(name, graph, options),\n    diagram() {\n      const ids = new Map(graph.map((item, index) => [item, `n${index}`]));\n      return [\n        \"flowchart LR\",\n        ...graph.flatMap((item) => [\n          `  ${ids.get(item)}[\"${item.key}\"]`,\n          ...item.after.map(\n            (dependency) => `  ${ids.get(dependency)} --> ${ids.get(item)}`,\n          ),\n        ]),\n      ].join(\"\\n\");\n    },\n  });\n}\n\nexport { WorkflowBudgetExceeded } from \"./workflow/budget.ts\";\nexport type { WorkflowBudget, WorkflowUsage } from \"./workflow/budget.types.ts\";\n"]}

package/dist/domain/workflow.types.d.ts

@@ -51,6 +51,9 @@ export interface WorkflowEvent {
     readonly usage?: Usage;
     readonly durationMs?: number;
 }
+export interface WorkflowTelemetry {
+    observe(event: WorkflowEvent): void;
+}
 export interface WorkflowOptions {
     readonly decisions?: readonly WorkflowDecision[];
     readonly checkpoint?: WorkflowCheckpointOptions;
@@ -58,6 +61,7 @@ export interface WorkflowOptions {
     readonly concurrency?: number;
     readonly budget?: WorkflowBudget;
     readonly stopOnError?: boolean;
+    readonly telemetry?: WorkflowTelemetry;
     readonly observe?: (event: WorkflowEvent) => void;
 }
 export interface WorkflowResult {

package/dist/domain/workflow.types.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.types.js","sourceRoot":"","sources":["../../src/domain/workflow.types.ts"],"names":[],"mappings":"","sourcesContent":["import type {\n  WorkflowDecision,\n  WorkflowDecisionRecord,\n  WorkflowGate,\n  WorkflowPauseRequest,\n} from \"./workflow/gates.types.ts\";\nimport type { WorkflowCheckpointOptions } from \"./workflow/checkpoint.types.ts\";\nimport type { Usage } from \"./agent.types.ts\";\nimport type {\n  WorkflowAccounting,\n  WorkflowBudget,\n  WorkflowUsage,\n} from \"./workflow/budget.types.ts\";\n\nexport interface TaskContext {\n  readonly signal: AbortSignal;\n  readonly attempt: number;\n  readonly executionId: string;\n  reportUsage(usage: Usage): void;\n  reportUsageOnce?(receipt: string, usage: Usage): void;\n  checkpoint?(): Promise<void>;\n  value<T>(dependency: Task<T>): T;\n}\n\nexport interface Retry {\n  readonly attempts: number;\n  readonly delayMs?: number;\n  readonly accepts?: (error: unknown, attempt: number) => boolean;\n}\n\nexport interface Task<T = unknown> {\n  readonly key: string;\n  readonly gate?: WorkflowGate;\n  readonly after: readonly Task[];\n  readonly perform: (context: TaskContext) => T | Promise<T>;\n  readonly condition?: (context: TaskContext) => boolean | Promise<boolean>;\n  readonly retry?: Retry;\n  readonly timeoutMs?: number;\n}\n\nexport type TaskOptions<T> = Omit<Task<T>, \"after\"> & {\n  readonly after?: readonly Task[];\n};\n\nexport type TaskStatus =\n  | \"waiting\"\n  | \"active\"\n  | \"done\"\n  | \"failed\"\n  | \"skipped\"\n  | \"cancelled\"\n  | \"paused\"\n  | \"rejected\";\n\nexport interface TaskRecord {\n  usageReceipts?: readonly string[];\n  pause?: WorkflowPauseRequest;\n  decision?: WorkflowDecisionRecord;\n  readonly key: string;\n  status: TaskStatus;\n  attempts: number;\n  startedAt?: string;\n  finishedAt?: string;\n  error?: string;\n}\n\nexport interface WorkflowEvent {\n  readonly executionId: string;\n  readonly workflow: string;\n  readonly timestamp: string;\n  readonly type: \"start\" | \"task\" | \"attempt\" | \"retry\" | \"usage\" | \"finish\";\n  readonly key?: string;\n  readonly status?: TaskStatus;\n  readonly attempt?: number;\n  readonly usage?: Usage;\n  readonly durationMs?: number;\n}\n\nexport interface WorkflowOptions {\n  readonly decisions?: readonly WorkflowDecision[];\n  readonly checkpoint?: WorkflowCheckpointOptions;\n  readonly signal?: AbortSignal;\n  readonly concurrency?: number;\n  readonly budget?: WorkflowBudget;\n  readonly stopOnError?: boolean;\n  readonly observe?: (event: WorkflowEvent) => void;\n}\n\nexport interface WorkflowResult {\n  readonly executionId: string;\n  readonly name: string;\n  readonly status: \"done\" | \"failed\" | \"cancelled\" | \"paused\";\n  readonly tasks: readonly Readonly<TaskRecord>[];\n  readonly errors: readonly unknown[];\n  readonly observerErrors: readonly unknown[];\n  readonly usage: WorkflowUsage;\n  value<T>(task: Task<T>): T;\n  unwrap(): void;\n}\n\nexport interface Workflow {\n  readonly name: string;\n  readonly tasks: readonly Task[];\n  start(options?: WorkflowOptions): Promise<WorkflowResult>;\n  diagram(): string;\n}\n\nexport type WorkflowNotification = Omit<\n  WorkflowEvent,\n  \"executionId\" | \"workflow\" | \"timestamp\"\n>;\nexport interface WorkflowExecutionState {\n  readonly executionId: string;\n  readonly stop: AbortController;\n  readonly signal: AbortSignal;\n  readonly values: Map<Task, unknown>;\n  readonly records: Map<Task, TaskRecord>;\n  readonly errors: unknown[];\n  readonly observerErrors: unknown[];\n  readonly options: WorkflowOptions;\n  readonly accounting: WorkflowAccounting;\n  persist(): Promise<void>;\n  closeAttempt(task: Task): void;\n  record(task: Task): TaskRecord;\n  emit(event: WorkflowNotification): void;\n  finish(task: Task, status: TaskStatus): void;\n  context(task: Task, attempt: number, signal: AbortSignal): TaskContext;\n}\n"]}
+{"version":3,"file":"workflow.types.js","sourceRoot":"","sources":["../../src/domain/workflow.types.ts"],"names":[],"mappings":"","sourcesContent":["import type {\n  WorkflowDecision,\n  WorkflowDecisionRecord,\n  WorkflowGate,\n  WorkflowPauseRequest,\n} from \"./workflow/gates.types.ts\";\nimport type { WorkflowCheckpointOptions } from \"./workflow/checkpoint.types.ts\";\nimport type { Usage } from \"./agent.types.ts\";\nimport type {\n  WorkflowAccounting,\n  WorkflowBudget,\n  WorkflowUsage,\n} from \"./workflow/budget.types.ts\";\n\nexport interface TaskContext {\n  readonly signal: AbortSignal;\n  readonly attempt: number;\n  readonly executionId: string;\n  reportUsage(usage: Usage): void;\n  reportUsageOnce?(receipt: string, usage: Usage): void;\n  checkpoint?(): Promise<void>;\n  value<T>(dependency: Task<T>): T;\n}\n\nexport interface Retry {\n  readonly attempts: number;\n  readonly delayMs?: number;\n  readonly accepts?: (error: unknown, attempt: number) => boolean;\n}\n\nexport interface Task<T = unknown> {\n  readonly key: string;\n  readonly gate?: WorkflowGate;\n  readonly after: readonly Task[];\n  readonly perform: (context: TaskContext) => T | Promise<T>;\n  readonly condition?: (context: TaskContext) => boolean | Promise<boolean>;\n  readonly retry?: Retry;\n  readonly timeoutMs?: number;\n}\n\nexport type TaskOptions<T> = Omit<Task<T>, \"after\"> & {\n  readonly after?: readonly Task[];\n};\n\nexport type TaskStatus =\n  | \"waiting\"\n  | \"active\"\n  | \"done\"\n  | \"failed\"\n  | \"skipped\"\n  | \"cancelled\"\n  | \"paused\"\n  | \"rejected\";\n\nexport interface TaskRecord {\n  usageReceipts?: readonly string[];\n  pause?: WorkflowPauseRequest;\n  decision?: WorkflowDecisionRecord;\n  readonly key: string;\n  status: TaskStatus;\n  attempts: number;\n  startedAt?: string;\n  finishedAt?: string;\n  error?: string;\n}\n\nexport interface WorkflowEvent {\n  readonly executionId: string;\n  readonly workflow: string;\n  readonly timestamp: string;\n  readonly type: \"start\" | \"task\" | \"attempt\" | \"retry\" | \"usage\" | \"finish\";\n  readonly key?: string;\n  readonly status?: TaskStatus;\n  readonly attempt?: number;\n  readonly usage?: Usage;\n  readonly durationMs?: number;\n}\n\nexport interface WorkflowTelemetry {\n  observe(event: WorkflowEvent): void;\n}\n\nexport interface WorkflowOptions {\n  readonly decisions?: readonly WorkflowDecision[];\n  readonly checkpoint?: WorkflowCheckpointOptions;\n  readonly signal?: AbortSignal;\n  readonly concurrency?: number;\n  readonly budget?: WorkflowBudget;\n  readonly stopOnError?: boolean;\n  readonly telemetry?: WorkflowTelemetry;\n  readonly observe?: (event: WorkflowEvent) => void;\n}\n\nexport interface WorkflowResult {\n  readonly executionId: string;\n  readonly name: string;\n  readonly status: \"done\" | \"failed\" | \"cancelled\" | \"paused\";\n  readonly tasks: readonly Readonly<TaskRecord>[];\n  readonly errors: readonly unknown[];\n  readonly observerErrors: readonly unknown[];\n  readonly usage: WorkflowUsage;\n  value<T>(task: Task<T>): T;\n  unwrap(): void;\n}\n\nexport interface Workflow {\n  readonly name: string;\n  readonly tasks: readonly Task[];\n  start(options?: WorkflowOptions): Promise<WorkflowResult>;\n  diagram(): string;\n}\n\nexport type WorkflowNotification = Omit<\n  WorkflowEvent,\n  \"executionId\" | \"workflow\" | \"timestamp\"\n>;\nexport interface WorkflowExecutionState {\n  readonly executionId: string;\n  readonly stop: AbortController;\n  readonly signal: AbortSignal;\n  readonly values: Map<Task, unknown>;\n  readonly records: Map<Task, TaskRecord>;\n  readonly errors: unknown[];\n  readonly observerErrors: unknown[];\n  readonly options: WorkflowOptions;\n  readonly accounting: WorkflowAccounting;\n  persist(): Promise<void>;\n  closeAttempt(task: Task): void;\n  record(task: Task): TaskRecord;\n  emit(event: WorkflowNotification): void;\n  finish(task: Task, status: TaskStatus): void;\n  context(task: Task, attempt: number, signal: AbortSignal): TaskContext;\n}\n"]}