@tangle-network/agent-interface 0.34.0 → 0.35.0

package/dist/agent-candidate-promotion-schema.d.ts

@@ -2124,6 +2124,7 @@ export declare const candidateExecutionEvidenceSchema: z.ZodObject<{
             endedAtMs: z.ZodNumber;
             durationMs: z.ZodNumber;
         }, z.core.$strict>;
+        steps: z.ZodNumber;
         memory: z.ZodDiscriminatedUnion<[z.ZodObject<{
             mode: z.ZodLiteral<"disabled">;
         }, z.core.$strict>, z.ZodObject<{
@@ -4986,6 +4987,7 @@ export declare const agentImprovementMeasuredComparisonSchema: z.ZodObject<{
                     endedAtMs: z.ZodNumber;
                     durationMs: z.ZodNumber;
                 }, z.core.$strict>;
+                steps: z.ZodNumber;
                 memory: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     mode: z.ZodLiteral<"disabled">;
                 }, z.core.$strict>, z.ZodObject<{
@@ -6334,6 +6336,7 @@ export declare const agentImprovementMeasuredComparisonSchema: z.ZodObject<{
                     endedAtMs: z.ZodNumber;
                     durationMs: z.ZodNumber;
                 }, z.core.$strict>;
+                steps: z.ZodNumber;
                 memory: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     mode: z.ZodLiteral<"disabled">;
                 }, z.core.$strict>, z.ZodObject<{
@@ -9226,6 +9229,7 @@ export declare const agentImprovementProposalSchema: z.ZodObject<{
                         endedAtMs: z.ZodNumber;
                         durationMs: z.ZodNumber;
                     }, z.core.$strict>;
+                    steps: z.ZodNumber;
                     memory: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         mode: z.ZodLiteral<"disabled">;
                     }, z.core.$strict>, z.ZodObject<{
@@ -10574,6 +10578,7 @@ export declare const agentImprovementProposalSchema: z.ZodObject<{
                         endedAtMs: z.ZodNumber;
                         durationMs: z.ZodNumber;
                     }, z.core.$strict>;
+                    steps: z.ZodNumber;
                     memory: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         mode: z.ZodLiteral<"disabled">;
                     }, z.core.$strict>, z.ZodObject<{
@@ -11507,6 +11512,7 @@ export declare const agentImprovementProposalSchema: z.ZodObject<{
                     endedAtMs: z.ZodNumber;
                     durationMs: z.ZodNumber;
                 }, z.core.$strict>;
+                steps: z.ZodNumber;
                 resolvedModel: z.ZodObject<{
                     requested: z.ZodString;
                     provider: z.ZodString;
@@ -11645,6 +11651,7 @@ export declare const agentImprovementProposalSchema: z.ZodObject<{
                     endedAtMs: z.ZodNumber;
                     durationMs: z.ZodNumber;
                 }, z.core.$strict>;
+                steps: z.ZodNumber;
                 resolvedModel: z.ZodObject<{
                     requested: z.ZodString;
                     provider: z.ZodString;

package/dist/agent-candidate-promotion-schema.js

@@ -3,6 +3,7 @@ import { agentCandidateBundleSchema } from "./agent-candidate-schema.js";
 import { agentCandidateLineageSchema } from "./agent-candidate-lineage-schema.js";
 import { agentCandidateBenchmarkSuiteInputsSchema } from "./agent-candidate-task-schema.js";
 import { canonicalCandidateDigest, isCanonicalJsonValue, sha256DigestSchema, } from "./agent-candidate-schema-common.js";
+import { refineAgentExecutionWithinLimits } from "./agent-execution-limits.js";
 import { agentCandidateMaterializationReceiptSchema, agentCandidateRunReceiptSchema, } from "./agent-candidate-receipt-schema.js";
 import { agentCandidateEvaluationPolicySchema, canonicalJsonObjectSchema, createMeasuredComparisonIdentityRegistry, measuredComparisonCommonShape, refineMeasuredComparisonSummary, } from "./agent-improvement-measurement-schema.js";
 import { agentProfileImprovementMeasuredComparisonSchema, changedProfileImprovementSurfaces, } from "./agent-profile-improvement-schema.js";
@@ -112,6 +113,14 @@ export const candidateExecutionEvidenceSchema = z
         if (!valid)
             ctx.addIssue({ code: "custom", path, message });
     }
+    refineAgentExecutionWithinLimits(plan.material.limits, {
+        durationMs: evidence.receipt.timing.durationMs,
+        steps: evidence.receipt.steps,
+        usage: evidence.receipt.modelSettlement.material.usage,
+    }, ctx, {
+        pathPrefix: ["receipt"],
+        usagePath: ["modelSettlement", "material", "usage"],
+    });
     if (!isCanonicalJsonValue(evidence)) {
         ctx.addIssue({
             code: "custom",

package/dist/agent-candidate-receipt-schema.d.ts

@@ -903,6 +903,7 @@ export declare const agentCandidateRunReceiptSchema: z.ZodObject<{
         endedAtMs: z.ZodNumber;
         durationMs: z.ZodNumber;
     }, z.core.$strict>;
+    steps: z.ZodNumber;
     memory: z.ZodDiscriminatedUnion<[z.ZodObject<{
         mode: z.ZodLiteral<"disabled">;
     }, z.core.$strict>, z.ZodObject<{

package/dist/agent-candidate-receipt-schema.js

@@ -259,6 +259,7 @@ export const agentCandidateRunReceiptSchema = z
         durationMs: z.number().int().nonnegative().safe(),
     })
         .strict(),
+    steps: z.number().int().nonnegative().safe(),
     memory: agentCandidateMemoryReceiptSchema,
     trace: agentCandidateTraceEvidenceSchema,
     termination: agentCandidateTerminationSchema,

package/dist/agent-candidate.d.ts

@@ -658,6 +658,7 @@ export interface AgentCandidateRunReceipt {
         endedAtMs: number;
         durationMs: number;
     };
+    steps: number;
     memory: AgentCandidateMemoryReceipt;
     trace: AgentCandidateTraceEvidence;
     termination: AgentCandidateTermination;

package/dist/agent-execution-limits.d.ts

@@ -0,0 +1,28 @@
+import { z } from "zod";
+import type { AgentCandidateExecutionLimits, AgentCandidateFixedSpend } from "./agent-candidate.js";
+/** The observable execution facts required to prove a frozen limit was respected. */
+export interface AgentExecutionLimitObservation {
+    durationMs: number;
+    steps: number;
+    usage: AgentCandidateFixedSpend;
+}
+export declare const agentExecutionLimitObservationSchema: z.ZodObject<{
+    durationMs: z.ZodNumber;
+    steps: z.ZodNumber;
+    usage: z.ZodObject<{
+        inputTokens: z.ZodNumber;
+        outputTokens: z.ZodNumber;
+        cachedInputTokens: z.ZodNumber;
+        reasoningTokens: z.ZodNumber;
+        modelCalls: z.ZodNumber;
+        costUsdNanos: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export interface RefineAgentExecutionWithinLimitsOptions {
+    pathPrefix?: (string | number)[];
+    usagePath?: (string | number)[];
+}
+/** Reject an execution record that cannot satisfy every limit it claims to use. */
+export declare function assertAgentExecutionWithinLimits(limits: AgentCandidateExecutionLimits, observation: AgentExecutionLimitObservation): void;
+/** Add schema issues instead of throwing when a receipt is parsed by Zod. */
+export declare function refineAgentExecutionWithinLimits(limits: AgentCandidateExecutionLimits, observation: AgentExecutionLimitObservation, ctx: z.RefinementCtx, options?: RefineAgentExecutionWithinLimitsOptions): void;

package/dist/agent-execution-limits.js

@@ -0,0 +1,77 @@
+import { z } from "zod";
+import { agentCandidateExecutionLimitsSchema } from "./agent-candidate-execution-plan-schema.js";
+import { agentCandidateFixedSpendSchema } from "./agent-candidate-outcome-schema.js";
+export const agentExecutionLimitObservationSchema = z
+    .object({
+    durationMs: z.number().finite().nonnegative(),
+    steps: z.number().int().nonnegative().safe(),
+    usage: agentCandidateFixedSpendSchema,
+})
+    .strict();
+/** Reject an execution record that cannot satisfy every limit it claims to use. */
+export function assertAgentExecutionWithinLimits(limits, observation) {
+    const parsedLimits = agentCandidateExecutionLimitsSchema.parse(limits);
+    const parsedObservation = agentExecutionLimitObservationSchema.parse(observation);
+    const violations = executionLimitViolations(parsedLimits, parsedObservation);
+    if (violations.length === 0)
+        return;
+    throw new Error(violations
+        .map((violation) => `execution ${violation.label} ${violation.actual} exceeds frozen limit ${violation.maximum}`)
+        .join("; "));
+}
+/** Add schema issues instead of throwing when a receipt is parsed by Zod. */
+export function refineAgentExecutionWithinLimits(limits, observation, ctx, options = {}) {
+    const pathPrefix = options.pathPrefix ?? [];
+    const usagePath = options.usagePath ?? ["usage"];
+    for (const violation of executionLimitViolations(limits, observation)) {
+        const path = violation.path[0] === "usage"
+            ? [...pathPrefix, ...usagePath, ...violation.path.slice(1)]
+            : [...pathPrefix, ...violation.path];
+        ctx.addIssue({
+            code: "custom",
+            path,
+            message: `execution ${violation.label} ${violation.actual} exceeds frozen limit ${violation.maximum}`,
+        });
+    }
+}
+function executionLimitViolations(limits, observation) {
+    const checks = [
+        {
+            path: ["timing", "durationMs"],
+            label: "durationMs",
+            actual: observation.durationMs,
+            maximum: limits.timeoutMs,
+        },
+        {
+            path: ["steps"],
+            label: "steps",
+            actual: observation.steps,
+            maximum: limits.maxSteps,
+        },
+        {
+            path: ["usage", "modelCalls"],
+            label: "modelCalls",
+            actual: observation.usage.modelCalls,
+            maximum: limits.maxModelCalls,
+        },
+        {
+            path: ["usage", "inputTokens"],
+            label: "inputTokens",
+            actual: observation.usage.inputTokens,
+            maximum: limits.maxInputTokens,
+        },
+        {
+            path: ["usage", "outputTokens"],
+            label: "outputTokens",
+            actual: observation.usage.outputTokens,
+            maximum: limits.maxOutputTokens,
+        },
+        {
+            path: ["usage", "costUsdNanos"],
+            label: "costUsd",
+            actual: observation.usage.costUsdNanos / 1_000_000_000,
+            maximum: limits.maxCostUsd,
+        },
+    ];
+    return checks.filter((check) => check.actual > check.maximum);
+}

package/dist/agent-profile-improvement-schema.d.ts

@@ -395,6 +395,7 @@ export declare const agentProfileImprovementRunReceiptSchema: z.ZodObject<{
         endedAtMs: z.ZodNumber;
         durationMs: z.ZodNumber;
     }, z.core.$strict>;
+    steps: z.ZodNumber;
     resolvedModel: z.ZodObject<{
         requested: z.ZodString;
         provider: z.ZodString;
@@ -843,6 +844,7 @@ export declare const agentProfileImprovementMeasuredComparisonSchema: z.ZodObjec
                 endedAtMs: z.ZodNumber;
                 durationMs: z.ZodNumber;
             }, z.core.$strict>;
+            steps: z.ZodNumber;
             resolvedModel: z.ZodObject<{
                 requested: z.ZodString;
                 provider: z.ZodString;
@@ -981,6 +983,7 @@ export declare const agentProfileImprovementMeasuredComparisonSchema: z.ZodObjec
                 endedAtMs: z.ZodNumber;
                 durationMs: z.ZodNumber;
             }, z.core.$strict>;
+            steps: z.ZodNumber;
             resolvedModel: z.ZodObject<{
                 requested: z.ZodString;
                 provider: z.ZodString;

package/dist/agent-profile-improvement-schema.js

@@ -1,6 +1,7 @@
 import { z } from "zod";
 import { agentCandidateLineageSchema } from "./agent-candidate-lineage-schema.js";
 import { canonicalCandidateDigest, isCanonicalJsonValue, omitTopLevelDigest, sha256DigestSchema, } from "./agent-candidate-schema-common.js";
+import { refineAgentExecutionWithinLimits } from "./agent-execution-limits.js";
 import { agentCandidateBenchmarkGraderIdentitySchema, agentCandidateExecutionLimitsSchema, agentCandidateResolvedModelSchema, } from "./agent-candidate-execution-plan-schema.js";
 import { agentCandidateBenchmarkDimensionSchema, agentCandidateFixedSpendSchema, } from "./agent-candidate-outcome-schema.js";
 import { agentCandidateEvaluationPolicySchema, createMeasuredComparisonIdentityRegistry, measuredComparisonCommonShape, refineMeasuredComparisonSummary, } from "./agent-improvement-measurement-schema.js";
@@ -310,6 +311,7 @@ export const agentProfileImprovementRunReceiptSchema = z
         .tuple([profileImprovementEvidenceSchema])
         .rest(profileImprovementEvidenceSchema),
     timing: timingSchema,
+    steps: z.number().int().nonnegative().safe(),
     resolvedModel: agentCandidateResolvedModelSchema,
     limits: agentCandidateExecutionLimitsSchema,
     usage: agentCandidateFixedSpendSchema,
@@ -357,6 +359,11 @@ export const agentProfileImprovementRunReceiptSchema = z
             message: "profile trace must retain at least one event for every model call",
         });
     }
+    refineAgentExecutionWithinLimits(receipt.limits, {
+        durationMs: receipt.timing.durationMs,
+        steps: receipt.steps,
+        usage: receipt.usage,
+    }, ctx);
     const billing = receipt.billing.map(evidenceKey);
     if (new Set(billing).size !== billing.length) {
         ctx.addIssue({

package/dist/agent-profile-improvement.d.ts

@@ -97,6 +97,7 @@ export interface AgentProfileImprovementRunReceipt {
         endedAtMs: number;
         durationMs: number;
     };
+    steps: number;
     resolvedModel: AgentCandidateResolvedModel;
     limits: AgentCandidateExecutionLimits;
     usage: AgentCandidateFixedSpend;

package/dist/index.d.ts

@@ -613,11 +613,14 @@ export interface SdkProviderAdapter {
 export * from "./interaction.js";
 export * from "./agent-candidate.js";
 export * from "./agent-candidate-schema.js";
+export type { Sha256Digest } from "./agent-candidate.js";
+export { canonicalCandidateBytes, canonicalCandidateDigest, canonicalCandidateJson, sha256Bytes, sha256DigestSchema, sha256Utf8, } from "./agent-candidate-schema-common.js";
 export * from "./agent-candidate-promotion-schema.js";
 export { agentCandidateEvaluationPolicySchema } from "./agent-improvement-measurement-schema.js";
 export * from "./agent-improvement-source.js";
 export * from "./agent-profile-improvement.js";
 export * from "./agent-profile-improvement-schema.js";
+export * from "./agent-execution-limits.js";
 export * from "./agent-profile.js";
 export * from "./certified-context.js";
 export * from "./profile-diff.js";

package/dist/index.js

@@ -126,11 +126,13 @@ export function resolveNativeWebTools(tools) {
 export * from "./interaction.js";
 export * from "./agent-candidate.js";
 export * from "./agent-candidate-schema.js";
+export { canonicalCandidateBytes, canonicalCandidateDigest, canonicalCandidateJson, sha256Bytes, sha256DigestSchema, sha256Utf8, } from "./agent-candidate-schema-common.js";
 export * from "./agent-candidate-promotion-schema.js";
 export { agentCandidateEvaluationPolicySchema } from "./agent-improvement-measurement-schema.js";
 export * from "./agent-improvement-source.js";
 export * from "./agent-profile-improvement.js";
 export * from "./agent-profile-improvement-schema.js";
+export * from "./agent-execution-limits.js";
 export * from "./agent-profile.js";
 export * from "./certified-context.js";
 export * from "./profile-diff.js";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tangle-network/agent-interface",
-  "version": "0.34.0",
+  "version": "0.35.0",
   "type": "module",
   "sideEffects": false,
   "license": "MIT",