@caupulican/pi-adaptative 0.90.2 → 0.90.4

package/dist/core/orchestration/risk-budget.d.ts

@@ -1,7 +1,17 @@
+import { Type } from "typebox";
 import type { RiskBudget } from "./contracts.ts";
 export declare const RISK_BUDGET_LIMIT_FIELDS: readonly ["maxTokens", "maxWallClockMs", "maxCostUsd", "maxAttempts", "maxToolCalls"];
 export type RiskBudgetLimitField = (typeof RISK_BUDGET_LIMIT_FIELDS)[number];
 export declare const RISK_BUDGET_FIELDS: readonly ["maxTokens", "maxWallClockMs", "maxCostUsd", "maxAttempts", "maxToolCalls", "requireApprovalAboveCostUsd"];
+/** One model-facing schema for every explicit worker/profile budget boundary. */
+export declare function createRiskBudgetSchema(): Type.TObject<{
+    maxTokens: Type.TOptional<Type.TNumber>;
+    maxWallClockMs: Type.TOptional<Type.TNumber>;
+    maxCostUsd: Type.TOptional<Type.TNumber>;
+    maxAttempts: Type.TOptional<Type.TNumber>;
+    maxToolCalls: Type.TOptional<Type.TNumber>;
+    requireApprovalAboveCostUsd: Type.TOptional<Type.TNumber>;
+}>;
 /** Parse raw durable budget input without cloning untrusted values. */
 export declare function parseRiskBudget(value: unknown, label: string): RiskBudget;
 export declare function validateRiskBudget(budget: RiskBudget, label: string): void;

package/dist/core/orchestration/risk-budget.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"risk-budget.d.ts","sourceRoot":"","sources":["../../../src/core/orchestration/risk-budget.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,eAAO,MAAM,wBAAwB,YACpC,WAAW,EACX,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,cAAc,CACL,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7E,eAAO,MAAM,kBAAkB,sHAAwE,CAAC;AAgBxG,uEAAuE;AACvE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAYzE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAW1E;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,GAAG,oBAAoB,EAAE,CAM7G;AAED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAAC,GAAG,OAAO,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,CAWlF"}
+{"version":3,"file":"risk-budget.d.ts","sourceRoot":"","sources":["../../../src/core/orchestration/risk-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,eAAO,MAAM,wBAAwB,YACpC,WAAW,EACX,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,cAAc,CACL,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7E,eAAO,MAAM,kBAAkB,sHAAwE,CAAC;AASxG,iFAAiF;AACjF,wBAAgB,sBAAsB;;;;;;;GAcrC;AASD,uEAAuE;AACvE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAYzE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAW1E;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,GAAG,oBAAoB,EAAE,CAM7G;AAED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAAC,GAAG,OAAO,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,CAWlF"}

package/dist/core/orchestration/risk-budget.js

@@ -1,3 +1,4 @@
+import { Type } from "typebox";
 import { isPlainRecord } from "../util/value-guards.js";
 export const RISK_BUDGET_LIMIT_FIELDS = [
     "maxTokens",
@@ -13,6 +14,19 @@ const DISCRETE_BUDGET_FIELDS = new Set([
     "maxAttempts",
     "maxToolCalls",
 ]);
+/** One model-facing schema for every explicit worker/profile budget boundary. */
+export function createRiskBudgetSchema() {
+    // Shape belongs to the tool schema. Numeric range and integer invariants belong to
+    // parseRiskBudget so every caller follows the same authoritative validation path.
+    return Type.Object({
+        maxTokens: Type.Optional(Type.Number()),
+        maxWallClockMs: Type.Optional(Type.Number()),
+        maxCostUsd: Type.Optional(Type.Number()),
+        maxAttempts: Type.Optional(Type.Number()),
+        maxToolCalls: Type.Optional(Type.Number()),
+        requireApprovalAboveCostUsd: Type.Optional(Type.Number()),
+    }, { additionalProperties: false });
+}
 function assertKnownRiskBudgetFields(budget, label) {
     const unknownField = Object.keys(budget).find((field) => !RISK_BUDGET_FIELDS.includes(field));
     if (unknownField)

package/dist/core/orchestration/risk-budget.js.map

@@ -1 +1 @@
-{"version":3,"file":"risk-budget.js","sourceRoot":"","sources":["../../../src/core/orchestration/risk-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACvC,WAAW;IACX,gBAAgB;IAChB,YAAY;IACZ,aAAa;IACb,cAAc;CACL,CAAC;AAIX,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAG,wBAAwB,EAAE,6BAA6B,CAAU,CAAC;AAExG,MAAM,sBAAsB,GAAqD,IAAI,GAAG,CAAC;IACxF,WAAW;IACX,gBAAgB;IAChB,aAAa;IACb,cAAc;CACd,CAAC,CAAC;AAEH,SAAS,2BAA2B,CAAC,MAA+B,EAAE,KAAa;IAClF,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAA4C,CAAC,CACrF,CAAC;IACF,IAAI,YAAY;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;AAClF,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,KAAa;IAC5D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IAC9E,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,SAAS,KAAK,SAAS;YAAE,SAAS;QACtC,IAAI,OAAO,SAAS,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,IAAI,KAAK,oBAAoB,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;IAC3B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAkB,EAAE,KAAa;IACnE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IAC/E,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,KAAK,GAAI,MAAqB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,IAAI,KAAK,wBAAwB,CAAC,CAAC;QACzG,IAAI,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACvE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,IAAI,KAAK,uCAAuC,CAAC,CAAC;QAC/E,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,SAAqB,EAAE,SAAqB;IACpF,OAAO,wBAAwB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,OAAO,CAAC;IAC5E,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAAC,GAAG,OAA8B;IACrE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAC9G,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,2BAA2B,CAAC;IAC7D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC","sourcesContent":["import { isPlainRecord } from \"../util/value-guards.ts\";\nimport type { RiskBudget } from \"./contracts.ts\";\n\nexport const RISK_BUDGET_LIMIT_FIELDS = [\n\t\"maxTokens\",\n\t\"maxWallClockMs\",\n\t\"maxCostUsd\",\n\t\"maxAttempts\",\n\t\"maxToolCalls\",\n] as const;\n\nexport type RiskBudgetLimitField = (typeof RISK_BUDGET_LIMIT_FIELDS)[number];\n\nexport const RISK_BUDGET_FIELDS = [...RISK_BUDGET_LIMIT_FIELDS, \"requireApprovalAboveCostUsd\"] as const;\n\nconst DISCRETE_BUDGET_FIELDS: ReadonlySet<(typeof RISK_BUDGET_FIELDS)[number]> = new Set([\n\t\"maxTokens\",\n\t\"maxWallClockMs\",\n\t\"maxAttempts\",\n\t\"maxToolCalls\",\n]);\n\nfunction assertKnownRiskBudgetFields(budget: Record<string, unknown>, label: string): void {\n\tconst unknownField = Object.keys(budget).find(\n\t\t(field) => !RISK_BUDGET_FIELDS.includes(field as (typeof RISK_BUDGET_FIELDS)[number]),\n\t);\n\tif (unknownField) throw new TypeError(`${label} contains an unsupported field.`);\n}\n\n/** Parse raw durable budget input without cloning untrusted values. */\nexport function parseRiskBudget(value: unknown, label: string): RiskBudget {\n\tif (!isPlainRecord(value)) throw new TypeError(`${label} must be an object.`);\n\tassertKnownRiskBudgetFields(value, label);\n\tconst budget: RiskBudget = {};\n\tfor (const field of RISK_BUDGET_FIELDS) {\n\t\tconst candidate = value[field];\n\t\tif (candidate === undefined) continue;\n\t\tif (typeof candidate !== \"number\") throw new TypeError(`${label}.${field} must be a number.`);\n\t\tbudget[field] = candidate;\n\t}\n\tvalidateRiskBudget(budget, label);\n\treturn budget;\n}\n\nexport function validateRiskBudget(budget: RiskBudget, label: string): void {\n\tif (!isPlainRecord(budget)) throw new TypeError(`${label} must be an object.`);\n\tassertKnownRiskBudgetFields(budget, label);\n\tfor (const field of RISK_BUDGET_FIELDS) {\n\t\tconst value = (budget as RiskBudget)[field];\n\t\tif (value === undefined) continue;\n\t\tif (!Number.isFinite(value) || value < 0) throw new TypeError(`${label}.${field} must be non-negative.`);\n\t\tif (DISCRETE_BUDGET_FIELDS.has(field) && !Number.isSafeInteger(value)) {\n\t\t\tthrow new TypeError(`${label}.${field} must be a non-negative safe integer.`);\n\t\t}\n\t}\n}\n\nexport function exceededRiskBudgetFields(requested: RiskBudget, authority: RiskBudget): RiskBudgetLimitField[] {\n\treturn RISK_BUDGET_LIMIT_FIELDS.filter((field) => {\n\t\tconst request = requested[field];\n\t\tconst ceiling = authority[field];\n\t\treturn request !== undefined && ceiling !== undefined && request > ceiling;\n\t});\n}\n\n/** Intersects independent ceilings. Undefined fields do not constrain the result. */\nexport function intersectRiskBudgets(...budgets: readonly RiskBudget[]): RiskBudget {\n\tconst result: RiskBudget = {};\n\tfor (const field of RISK_BUDGET_FIELDS) {\n\t\tconst values = budgets.map((budget) => budget[field]).filter((value): value is number => value !== undefined);\n\t\tif (values.length > 0) result[field] = Math.min(...values);\n\t}\n\tconst approvalThreshold = result.requireApprovalAboveCostUsd;\n\tif (approvalThreshold !== undefined) {\n\t\tresult.maxCostUsd = Math.min(result.maxCostUsd ?? approvalThreshold, approvalThreshold);\n\t}\n\treturn result;\n}\n"]}
+{"version":3,"file":"risk-budget.js","sourceRoot":"","sources":["../../../src/core/orchestration/risk-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACvC,WAAW;IACX,gBAAgB;IAChB,YAAY;IACZ,aAAa;IACb,cAAc;CACL,CAAC;AAIX,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAG,wBAAwB,EAAE,6BAA6B,CAAU,CAAC;AAExG,MAAM,sBAAsB,GAAqD,IAAI,GAAG,CAAC;IACxF,WAAW;IACX,gBAAgB;IAChB,aAAa;IACb,cAAc;CACd,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,UAAU,sBAAsB;IACrC,mFAAmF;IACnF,kFAAkF;IAClF,OAAO,IAAI,CAAC,MAAM,CACjB;QACC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5C,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACxC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,2BAA2B,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACzD,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAC/B,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA+B,EAAE,KAAa;IAClF,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAA4C,CAAC,CACrF,CAAC;IACF,IAAI,YAAY;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;AAClF,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,KAAa;IAC5D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IAC9E,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,SAAS,KAAK,SAAS;YAAE,SAAS;QACtC,IAAI,OAAO,SAAS,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,IAAI,KAAK,oBAAoB,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;IAC3B,CAAC;IACD,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAkB,EAAE,KAAa;IACnE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IAC/E,2BAA2B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,KAAK,GAAI,MAAqB,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,IAAI,KAAK,wBAAwB,CAAC,CAAC;QACzG,IAAI,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACvE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,IAAI,KAAK,uCAAuC,CAAC,CAAC;QAC/E,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,SAAqB,EAAE,SAAqB;IACpF,OAAO,wBAAwB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,OAAO,CAAC;IAC5E,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAAC,GAAG,OAA8B;IACrE,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAC9G,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,2BAA2B,CAAC;IAC7D,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC","sourcesContent":["import { Type } from \"typebox\";\nimport { isPlainRecord } from \"../util/value-guards.ts\";\nimport type { RiskBudget } from \"./contracts.ts\";\n\nexport const RISK_BUDGET_LIMIT_FIELDS = [\n\t\"maxTokens\",\n\t\"maxWallClockMs\",\n\t\"maxCostUsd\",\n\t\"maxAttempts\",\n\t\"maxToolCalls\",\n] as const;\n\nexport type RiskBudgetLimitField = (typeof RISK_BUDGET_LIMIT_FIELDS)[number];\n\nexport const RISK_BUDGET_FIELDS = [...RISK_BUDGET_LIMIT_FIELDS, \"requireApprovalAboveCostUsd\"] as const;\n\nconst DISCRETE_BUDGET_FIELDS: ReadonlySet<(typeof RISK_BUDGET_FIELDS)[number]> = new Set([\n\t\"maxTokens\",\n\t\"maxWallClockMs\",\n\t\"maxAttempts\",\n\t\"maxToolCalls\",\n]);\n\n/** One model-facing schema for every explicit worker/profile budget boundary. */\nexport function createRiskBudgetSchema() {\n\t// Shape belongs to the tool schema. Numeric range and integer invariants belong to\n\t// parseRiskBudget so every caller follows the same authoritative validation path.\n\treturn Type.Object(\n\t\t{\n\t\t\tmaxTokens: Type.Optional(Type.Number()),\n\t\t\tmaxWallClockMs: Type.Optional(Type.Number()),\n\t\t\tmaxCostUsd: Type.Optional(Type.Number()),\n\t\t\tmaxAttempts: Type.Optional(Type.Number()),\n\t\t\tmaxToolCalls: Type.Optional(Type.Number()),\n\t\t\trequireApprovalAboveCostUsd: Type.Optional(Type.Number()),\n\t\t},\n\t\t{ additionalProperties: false },\n\t);\n}\n\nfunction assertKnownRiskBudgetFields(budget: Record<string, unknown>, label: string): void {\n\tconst unknownField = Object.keys(budget).find(\n\t\t(field) => !RISK_BUDGET_FIELDS.includes(field as (typeof RISK_BUDGET_FIELDS)[number]),\n\t);\n\tif (unknownField) throw new TypeError(`${label} contains an unsupported field.`);\n}\n\n/** Parse raw durable budget input without cloning untrusted values. */\nexport function parseRiskBudget(value: unknown, label: string): RiskBudget {\n\tif (!isPlainRecord(value)) throw new TypeError(`${label} must be an object.`);\n\tassertKnownRiskBudgetFields(value, label);\n\tconst budget: RiskBudget = {};\n\tfor (const field of RISK_BUDGET_FIELDS) {\n\t\tconst candidate = value[field];\n\t\tif (candidate === undefined) continue;\n\t\tif (typeof candidate !== \"number\") throw new TypeError(`${label}.${field} must be a number.`);\n\t\tbudget[field] = candidate;\n\t}\n\tvalidateRiskBudget(budget, label);\n\treturn budget;\n}\n\nexport function validateRiskBudget(budget: RiskBudget, label: string): void {\n\tif (!isPlainRecord(budget)) throw new TypeError(`${label} must be an object.`);\n\tassertKnownRiskBudgetFields(budget, label);\n\tfor (const field of RISK_BUDGET_FIELDS) {\n\t\tconst value = (budget as RiskBudget)[field];\n\t\tif (value === undefined) continue;\n\t\tif (!Number.isFinite(value) || value < 0) throw new TypeError(`${label}.${field} must be non-negative.`);\n\t\tif (DISCRETE_BUDGET_FIELDS.has(field) && !Number.isSafeInteger(value)) {\n\t\t\tthrow new TypeError(`${label}.${field} must be a non-negative safe integer.`);\n\t\t}\n\t}\n}\n\nexport function exceededRiskBudgetFields(requested: RiskBudget, authority: RiskBudget): RiskBudgetLimitField[] {\n\treturn RISK_BUDGET_LIMIT_FIELDS.filter((field) => {\n\t\tconst request = requested[field];\n\t\tconst ceiling = authority[field];\n\t\treturn request !== undefined && ceiling !== undefined && request > ceiling;\n\t});\n}\n\n/** Intersects independent ceilings. Undefined fields do not constrain the result. */\nexport function intersectRiskBudgets(...budgets: readonly RiskBudget[]): RiskBudget {\n\tconst result: RiskBudget = {};\n\tfor (const field of RISK_BUDGET_FIELDS) {\n\t\tconst values = budgets.map((budget) => budget[field]).filter((value): value is number => value !== undefined);\n\t\tif (values.length > 0) result[field] = Math.min(...values);\n\t}\n\tconst approvalThreshold = result.requireApprovalAboveCostUsd;\n\tif (approvalThreshold !== undefined) {\n\t\tresult.maxCostUsd = Math.min(result.maxCostUsd ?? approvalThreshold, approvalThreshold);\n\t}\n\treturn result;\n}\n"]}

package/dist/core/orchestration/task-runtime-reducer.d.ts

@@ -17,6 +17,7 @@ export declare function assertAttemptFinishTransition(state: TaskRuntimeProjecti
 export declare function assertAttemptGrantTransition(state: TaskRuntimeProjection, aggregateId: string, attemptId: string, grant: ExecutionGrant): AttemptRuntimeState;
 export declare function assertAttemptLeaseTransition(state: TaskRuntimeProjection, aggregateId: string, lease: AttemptLease, agentId: string | undefined, occurredAt: string): AttemptRuntimeState;
 export declare function assertAttemptStartTransition(state: TaskRuntimeProjection, aggregateId: string, attemptId: string, leaseId: string, fencingToken: number, occurredAt: string): AttemptRuntimeState;
+export declare function assertAttemptLeaseRenewalTransition(state: TaskRuntimeProjection, aggregateId: string, attemptId: string, leaseId: string, fencingToken: number, expiresAt: string, occurredAt: string): AttemptRuntimeState;
 export declare function assertAttemptCheckpointTransition(state: TaskRuntimeProjection, aggregateId: string, checkpoint: AttemptCheckpoint, leaseId: string, occurredAt: string): AttemptRuntimeState;
 export declare function assertApprovalRequestTransition(state: TaskRuntimeProjection, aggregateId: string, approval: ApprovalRequestContract): void;
 export declare function assertApprovalResolutionTransition(state: TaskRuntimeProjection, aggregateId: string, resolution: ApprovalResolutionContract): ApprovalRuntimeState;

package/dist/core/orchestration/task-runtime-reducer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"task-runtime-reducer.d.ts","sourceRoot":"","sources":["../../../src/core/orchestration/task-runtime-reducer.ts"],"names":[],"mappings":"AAEA,OAAO,EACN,KAAK,oBAAoB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,YAAY,EAGjB,KAAK,cAAc,EAQnB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EAEpB,KAAK,kBAAkB,EAIvB,KAAK,oBAAoB,EACzB,MAAM,gBAAgB,CAAC;AA8BxB,OAAO,EACN,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAKxB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EAErB,MAAM,yBAAyB,CAAC;AAuDjC,MAAM,MAAM,yBAAyB,GAAG,eAAe,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AA0C9F,wBAAgB,+BAA+B,CAC9C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,eAAe,EACvB,gBAAgB,CAAC,EAAE,yBAAyB,GAC1C,IAAI,CAiBN;AAsBD,oFAAoF;AACpF,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CA8BjH;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAI3F;AAoGD,wBAAgB,wBAAwB,CACvC,KAAK,EAAE,qBAAqB,EAC5B,OAAO,EAAE,mBAAmB,GAC1B,wBAAwB,CAgD1B;AA0BD,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,qBAAqB,EAC5B,IAAI,EAAE,gBAAgB,GACpB,mBAAmB,GAAG,SAAS,CAMjC;AAED,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAQ1G;AAsFD,wBAAgB,4CAA4C,CAC3D,KAAK,EAAE,qBAAqB,EAC5B,OAAO,EAAE,mBAAmB,GAC1B,iBAAiB,CASnB;AAED,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAM5F;AAeD,wBAAgB,6BAA6B,CAC5C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,oBAAoB,EAC5B,UAAU,EAAE,MAAM,GAChB;IAAE,OAAO,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,CA6C1D;AASD,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,cAAc,GACnB,mBAAmB,CAqCrB;AAED,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,UAAU,EAAE,MAAM,GAChB,mBAAmB,CA8CrB;AAED,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,GAChB,mBAAmB,CAarB;AAED,wBAAgB,iCAAiC,CAChD,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,iBAAiB,EAC7B,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GAChB,mBAAmB,CAcrB;AAED,wBAAgB,+BAA+B,CAC9C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,uBAAuB,GAC/B,IAAI,CAsCN;AAED,wBAAgB,kCAAkC,CACjD,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,0BAA0B,GACpC,oBAAoB,CAWtB;AAED,wBAAgB,wBAAwB,CACvC,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAAG,SAAS,GAC3B,IAAI,CAQN;AAED,MAAM,WAAW,2BAA2B;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC;IAClD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,2BAA2B,CAC1C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,GAChB,gBAAgB,CAclB;AAED,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,2BAA2B,GAC/B;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,eAAe,EAAE,mBAAmB,CAAA;CAAE,CA4CrE;AAwDD,wBAAgB,wBAAwB,CACvC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,kBAAkB,GACvB,qBAAqB,CA+iBvB;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,GAAG,qBAAqB,CAEvG"}
+{"version":3,"file":"task-runtime-reducer.d.ts","sourceRoot":"","sources":["../../../src/core/orchestration/task-runtime-reducer.ts"],"names":[],"mappings":"AAEA,OAAO,EACN,KAAK,oBAAoB,EACzB,KAAK,uBAAuB,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,YAAY,EAGjB,KAAK,cAAc,EAQnB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EAEpB,KAAK,kBAAkB,EAIvB,KAAK,oBAAoB,EACzB,MAAM,gBAAgB,CAAC;AA8BxB,OAAO,EACN,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAKxB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EAErB,MAAM,yBAAyB,CAAC;AAuDjC,MAAM,MAAM,yBAAyB,GAAG,eAAe,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AA0C9F,wBAAgB,+BAA+B,CAC9C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,eAAe,EACvB,gBAAgB,CAAC,EAAE,yBAAyB,GAC1C,IAAI,CAiBN;AAsBD,oFAAoF;AACpF,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CA8BjH;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAI3F;AAoGD,wBAAgB,wBAAwB,CACvC,KAAK,EAAE,qBAAqB,EAC5B,OAAO,EAAE,mBAAmB,GAC1B,wBAAwB,CAgD1B;AA0BD,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,qBAAqB,EAC5B,IAAI,EAAE,gBAAgB,GACpB,mBAAmB,GAAG,SAAS,CAMjC;AAED,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAQ1G;AAsFD,wBAAgB,4CAA4C,CAC3D,KAAK,EAAE,qBAAqB,EAC5B,OAAO,EAAE,mBAAmB,GAC1B,iBAAiB,CASnB;AAED,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAM5F;AAeD,wBAAgB,6BAA6B,CAC5C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,oBAAoB,EAC5B,UAAU,EAAE,MAAM,GAChB;IAAE,OAAO,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,CA6C1D;AASD,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,cAAc,GACnB,mBAAmB,CAqCrB;AAED,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,UAAU,EAAE,MAAM,GAChB,mBAAmB,CA8CrB;AAED,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,GAChB,mBAAmB,CAarB;AAED,wBAAgB,mCAAmC,CAClD,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GAChB,mBAAmB,CAmBrB;AAED,wBAAgB,iCAAiC,CAChD,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,iBAAiB,EAC7B,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GAChB,mBAAmB,CAcrB;AAED,wBAAgB,+BAA+B,CAC9C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,uBAAuB,GAC/B,IAAI,CAsCN;AAED,wBAAgB,kCAAkC,CACjD,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,0BAA0B,GACpC,oBAAoB,CAWtB;AAED,wBAAgB,wBAAwB,CACvC,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAAG,SAAS,GAC3B,IAAI,CAQN;AAED,MAAM,WAAW,2BAA2B;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC;IAClD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,2BAA2B,CAC1C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,GAChB,gBAAgB,CAclB;AAED,wBAAgB,4BAA4B,CAC3C,KAAK,EAAE,qBAAqB,EAC5B,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,2BAA2B,GAC/B;IAAE,OAAO,EAAE,gBAAgB,CAAC;IAAC,eAAe,EAAE,mBAAmB,CAAA;CAAE,CA4CrE;AAwDD,wBAAgB,wBAAwB,CACvC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,kBAAkB,GACvB,qBAAqB,CAokBvB;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,GAAG,qBAAqB,CAEvG"}

package/dist/core/orchestration/task-runtime-reducer.js

@@ -543,6 +543,27 @@ export function assertAttemptStartTransition(state, aggregateId, attemptId, leas
     requireActiveObjectiveForAttemptInProjection(state, attempt);
     return attempt;
 }
+export function assertAttemptLeaseRenewalTransition(state, aggregateId, attemptId, leaseId, fencingToken, expiresAt, occurredAt) {
+    if (aggregateId !== attemptId) {
+        throw new DurableTaskRuntimeError(`Renewed attempt '${attemptId}' does not match its aggregate.`);
+    }
+    const attempt = state.attempts[attemptId];
+    if (!attempt)
+        throw new DurableTaskRuntimeError(`Unknown attempt '${attemptId}'.`);
+    if (attempt.status !== "leased" && attempt.status !== "running") {
+        throw new DurableTaskRuntimeError(`Attempt '${attemptId}' cannot renew from '${attempt.status}'.`);
+    }
+    if (!attempt.lease || attempt.lease.leaseId !== leaseId || attempt.lease.fencingToken !== fencingToken) {
+        throw new DurableTaskRuntimeError(`Attempt '${attemptId}' lease or fencing token is stale.`);
+    }
+    assertLeaseLiveAt(attempt.lease, occurredAt, `Attempt '${attemptId}'`);
+    const expiresAtMs = Date.parse(expiresAt);
+    if (!Number.isFinite(expiresAtMs) || expiresAtMs <= Date.parse(attempt.lease.expiresAt)) {
+        throw new DurableTaskRuntimeError(`Attempt '${attemptId}' renewed lease must extend its expiration.`);
+    }
+    requireActiveObjectiveForAttemptInProjection(state, attempt);
+    return attempt;
+}
 export function assertAttemptCheckpointTransition(state, aggregateId, checkpoint, leaseId, occurredAt) {
     if (aggregateId !== checkpoint.attemptId) {
         throw new DurableTaskRuntimeError(`Checkpointed attempt '${checkpoint.attemptId}' does not match its aggregate.`);
@@ -1022,6 +1043,19 @@ export function reduceOrchestrationEvent(projection, event) {
             attempts[attemptId] = { ...attempt, status: "running", updatedAt: event.occurredAt };
             break;
         }
+        case "attempt.lease_renewed": {
+            const attemptId = string(event.payload.attemptId, "attempt.lease_renewed.attemptId");
+            const leaseId = string(event.payload.leaseId, "attempt.lease_renewed.leaseId");
+            const fencingToken = number(event.payload.fencingToken, "attempt.lease_renewed.fencingToken");
+            const expiresAt = string(event.payload.expiresAt, "attempt.lease_renewed.expiresAt");
+            const attempt = assertAttemptLeaseRenewalTransition(state, event.aggregateId, attemptId, leaseId, fencingToken, expiresAt, event.occurredAt);
+            attempts[attemptId] = {
+                ...attempt,
+                lease: { ...attempt.lease, expiresAt },
+                updatedAt: event.occurredAt,
+            };
+            break;
+        }
         case "attempt.checkpointed": {
             const checkpoint = checkpointFromPayload(event.payload);
             const leaseId = string(event.payload.leaseId, "attempt.checkpointed.leaseId");