agentfootprint 13.0.0 → 14.0.0

package/dist/esm/core/agent/stages/toolCalls/contracts/inputsDispatch.js

@@ -0,0 +1,9 @@
+// ─── The inputs layer's half of dispatch (honesty layer 2) ──────────────
+//
+// The fills, the note, the rewrites' `changedKeys` and the fail-closed refusal
+// live in `../../../arguments/dispatch.ts`, loaded through `import()` only when the
+// layer is armed, or when a call's tool declares rules on an agent built
+// without it — the optional-family law of docs-next's site budget (the
+// `judgeLanded` precedent above), so a plain agent's graph never carries them.
+export {};
+//# sourceMappingURL=inputsDispatch.js.map

package/dist/esm/core/agent/stages/toolCalls/contracts/inputsDispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inputsDispatch.js","sourceRoot":"","sources":["../../../../../../../src/core/agent/stages/toolCalls/contracts/inputsDispatch.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,EAAE;AACF,+EAA+E;AAC/E,oFAAoF;AACpF,yEAAyE;AACzE,uEAAuE;AACvE,+EAA+E"}

package/dist/esm/core/agent/stages/toolCalls/contracts/invocationInputs.d.ts

@@ -0,0 +1,11 @@
+import type { ArtifactMeta } from '../../../../../artifacts/types.js';
+import type { Credential } from '../../../../../identity/types.js';
+/** Invocation-local phase cells; never checkpoint state or a run registry. */
+export interface CallArtifactInputs {
+    wantedMeta: Readonly<Record<string, ArtifactMeta>> | undefined;
+    wantsBlocked: boolean;
+}
+export interface CallCredentialInput {
+    resolvedCredential: Credential | undefined;
+    credentialBlocked: boolean;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/invocationInputs.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/invocationInputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invocationInputs.js","sourceRoot":"","sources":["../../../../../../../src/core/agent/stages/toolCalls/contracts/invocationInputs.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/observation.d.ts

@@ -0,0 +1,24 @@
+import type { AgentfootprintEventType } from '../../../../../events/registry.js';
+/** The observation dependencies of the existing tool-call stage. */
+export interface ToolObservationPort {
+    /**
+     * Keep this run's tool-call ledger (`AgentState.toolCallLedger`) for an
+     * `answerValidation` check: name, call id and outcome per `stream.tool_end`
+     * bracket, at most `maxCalls`. Threaded ONLY on an agent with
+     * `answerValidation` — absent, no bracket writes anything, and the agent
+     * commits exactly the keys it always did.
+     */
+    readonly toolCallLedger?: {
+        readonly maxCalls: number;
+    };
+    /**
+     * Put one artifact fact on the record for the run it BELONGS to — the door
+     * a `ctx.artifacts` fact takes when it lands after that run ended (a tool's
+     * floating upload finishing during a later run). The scope channel stamps
+     * whatever run is live at emit time; this stamps the run context the binding
+     * captured when it was built.
+     *
+     * @internal
+     */
+    readonly emitForRun?: (type: AgentfootprintEventType, payload: Record<string, unknown>, runContext: import('../../../../../bridge/eventMeta.js').RunContext) => void;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/observation.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observation.js","sourceRoot":"","sources":["../../../../../../../src/core/agent/stages/toolCalls/contracts/observation.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/artifacts.d.ts

@@ -0,0 +1,37 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { Tool } from '../../../../../../tools/tools.js';
+import type { ToolArgs } from '../../../../../../tools/runChain.js';
+import type { ArtifactMeta } from '../../../../../../artifacts/types.js';
+import type { AskComponent } from '../../../../../../tools/askComponent.js';
+/** Explicit callback contract for existing artifacts operations. */
+export interface ToolArtifactsOperations {
+    readonly resolveWantsAtDispatch: (scope: TypedScope<AgentState>, toolName: string, wants: NonNullable<Tool['wants']>, args: ToolArgs, inputSchema: Readonly<Record<string, unknown>> | undefined) => Promise<{
+        readonly ok: true;
+        readonly args: ToolArgs;
+        readonly wanted?: Readonly<Record<string, ArtifactMeta>>;
+    } | {
+        readonly ok: false;
+        readonly refusal: string;
+    }>;
+    readonly assertComponentDeliverable: (scope: TypedScope<AgentState>, toolName: string, component: unknown, door: string) => Promise<AskComponent>;
+    readonly applyPresent: (scope: TypedScope<AgentState>, call: {
+        readonly args: Readonly<Record<string, unknown>>;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }) => Promise<{
+        readonly ok: boolean;
+        readonly text: string;
+    }>;
+    readonly placeResults: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, values: {
+        readonly result: unknown;
+        readonly modelResult: unknown;
+    }, eligible: boolean) => Promise<{
+        readonly result: unknown;
+        readonly modelResult: unknown;
+    }>;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/artifacts.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/artifacts.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/catalog.d.ts

@@ -0,0 +1,31 @@
+import type { ToolParty } from '../../../../../slots/buildToolsSlot.js';
+import type { Tool } from '../../../../../../tools/tools.js';
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { TurnStamp } from '../../../../findings/ledger.js';
+import type { SplitFindings } from '../../../../findings/reserved.js';
+import type { Resolution } from '../callFacts.js';
+import type { SpokenIds } from '../../../../../../lib/spokenIds.js';
+/** Explicit callback contract for existing catalog operations. */
+export interface ToolCatalogOperations {
+    readonly lookupTool: (toolName: string, pinned?: ToolParty) => Tool | undefined;
+    readonly unmountedRules: (tool: Tool | undefined, toolName: string) => Promise<string> | undefined;
+    readonly warnUnmountedToolPeriod: (tool: Tool | undefined, toolName: string) => void;
+    readonly turnStampOf: (scope: TypedScope<AgentState>) => TurnStamp | undefined;
+    readonly peelsReserved: (tool: Tool | undefined) => boolean;
+    readonly peelCall: (tc: {
+        readonly name: string;
+        readonly args: Readonly<Record<string, unknown>>;
+    }) => SplitFindings;
+    readonly noteOptionsFor: (tool: Tool | undefined) => {
+        readonly sources: true;
+    } | undefined;
+    readonly noteOffWire: (scope: TypedScope<AgentState>, resolved: Resolution, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }) => void;
+    readonly frameworkSkipStepAnswered: (name: string, answered: Tool | undefined) => boolean;
+    readonly parkedNow: (scope: TypedScope<AgentState>) => ReadonlySet<string> | undefined;
+    readonly dispatchRoster: (scope: TypedScope<AgentState>) => SpokenIds;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/catalog.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/catalog.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/context.d.ts

@@ -0,0 +1,14 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { ToolExecutionContext } from '../../../../../../tools/tools.js';
+import type { ArtifactScope } from '../../../../../../artifacts/types.js';
+/** Explicit callback contract for existing context operations. */
+export interface ToolContextOperations {
+    readonly toolArtifacts: (scope: TypedScope<AgentState>, toolName: string, toolCallId: string) => Pick<ToolExecutionContext, 'artifacts' | 'hasArtifacts'>;
+    readonly toolDispatchCtx: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, signal?: AbortSignal) => Pick<ToolExecutionContext, 'tools'>;
+    readonly runScopeOf: (scope: TypedScope<AgentState>) => ArtifactScope;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/context.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/context.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/coverage.d.ts

@@ -0,0 +1,23 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { CoverageReading, CoverageFacts, DeclaredCoverage, ToolAbsence } from '../../../../../../semantics/coverage/index.js';
+import type { ToolResultStatus } from '../../../../../../semantics/toolEffects.js';
+import type { LLMMessage } from '../../../../../../provider-contract/types.js';
+/** Explicit callback contract for existing coverage operations. */
+export interface ToolCoverageOperations {
+    readonly declareCoverage: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, value: unknown, composed?: CoverageReading) => ToolResultStatus | undefined;
+    readonly declareComposed: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, facts: CoverageFacts) => DeclaredCoverage;
+    readonly declareRaisedAbsence: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, args: Readonly<Record<string, unknown>>, absence: ToolAbsence, history: readonly LLMMessage[]) => string | undefined;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/coverage.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/coverage.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/credentials.d.ts

@@ -0,0 +1,5 @@
+import type { CredentialProvider } from '../../../../../../identity/types.js';
+/** Explicit callback contract for existing credentials operations. */
+export interface ToolCredentialsOperations {
+    readonly credentialsIn: (scope: object, service: string | undefined) => CredentialProvider;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/credentials.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/credentials.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"credentials.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/credentials.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/effects.d.ts

@@ -0,0 +1,14 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { ReadToolResultEnvelope } from '../../../../../../semantics/toolEffects.js';
+import type { TransitionBatchState } from '../callFacts.js';
+/** Explicit callback contract for existing effects operations. */
+export interface ToolEffectsOperations {
+    readonly warnEffect: (toolName: string, sentence: string) => void;
+    readonly applyToolEffects: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, envelope: ReadToolResultEnvelope, state: TransitionBatchState) => string;
+    readonly emitTransitionConflict: (scope: TypedScope<AgentState>, iteration: number, state: TransitionBatchState) => void;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/effects.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/effects.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/integrity.d.ts

@@ -0,0 +1,16 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { LLMMessage } from '../../../../../../provider-contract/types.js';
+/** Explicit callback contract for existing integrity operations. */
+export interface ToolIntegrityOperations {
+    readonly judgeColumns: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, value: unknown) => string | undefined;
+    readonly noticeEmptyLookup: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, args: Readonly<Record<string, unknown>>, result: unknown, history: readonly LLMMessage[], answered: boolean) => void;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/integrity.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/integrity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/integrity.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/limits.d.ts

@@ -0,0 +1,19 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { Tool } from '../../../../../../tools/tools.js';
+import type { ToolResultStatus } from '../../../../../../semantics/toolEffects.js';
+/** Explicit callback contract for existing limits operations. */
+export interface ToolLimitsOperations {
+    readonly capResults: (toolName: string, values: {
+        readonly result: unknown;
+        readonly modelResult: unknown;
+    }) => {
+        readonly result: unknown;
+        readonly modelResult: unknown;
+    };
+    readonly refuseOverCeiling: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, tool: Tool | undefined, value: unknown, declaredStatus?: ToolResultStatus) => string | undefined;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/limits.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"limits.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/limits.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/middleware.d.ts

@@ -0,0 +1,25 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { Tool } from '../../../../../../tools/tools.js';
+import type { ToolArgs } from '../../../../../../tools/runChain.js';
+import type { LLMMessage } from '../../../../../../provider-contract/types.js';
+/** Explicit callback contract for existing middleware operations. */
+export interface ToolMiddlewareOperations {
+    readonly afterMoment: (scope: TypedScope<AgentState>, call: {
+        readonly tool?: Tool;
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+        readonly args: ToolArgs;
+        readonly result: unknown;
+        readonly error?: boolean;
+        readonly negativeResultId?: string;
+        readonly history: readonly LLMMessage[];
+        readonly identity?: {
+            tenant?: string;
+            principal?: string;
+            conversationId: string;
+        };
+        readonly signal?: AbortSignal;
+    }) => Promise<unknown>;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/middleware.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/middleware.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"middleware.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/middleware.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/observations.d.ts

@@ -0,0 +1,8 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { AgentfootprintEventMap } from '../../../../../../events/registry.js';
+/** Explicit callback contract for existing observations operations. */
+export interface ToolObservationsOperations {
+    readonly emitToolStart: (scope: TypedScope<AgentState>, payload: AgentfootprintEventMap['agentfootprint.stream.tool_start']['payload']) => void;
+    readonly emitToolEnd: (scope: TypedScope<AgentState>, toolName: string, payload: AgentfootprintEventMap['agentfootprint.stream.tool_end']['payload'], ran: boolean, declaredStatus?: string | undefined, negativeResultId?: string, refusalArgs?: Readonly<Record<string, unknown>>) => void;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/observations.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/observations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observations.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/observations.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/progress.d.ts

@@ -0,0 +1,11 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { ToolExecutionContext } from '../../../../../../tools/tools.js';
+/** Explicit callback contract for existing progress operations. */
+export interface ToolProgressOperations {
+    readonly toolProgress: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }) => Pick<ToolExecutionContext, 'progress'>;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/progress.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/progress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/progress.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/resources.d.ts

@@ -0,0 +1,12 @@
+import type { ResourceFacts } from '../../../../componentResources.js';
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { ToolCallsHandlerDeps } from '../handlerDeps.js';
+import type { ToolExecutionContext } from '../../../../../../tools/tools.js';
+/** Explicit callback contract for existing resources operations. */
+export interface ToolResourcesOperations {
+    readonly runFactsOf: (scope: TypedScope<AgentState>) => ReturnType<NonNullable<ToolCallsHandlerDeps['currentRun']>> | undefined;
+    readonly resourceFactsOf: (scope: TypedScope<AgentState>) => ResourceFacts;
+    readonly sessionContext: (scope: TypedScope<AgentState>, toolName: string, toolCallId: string) => Pick<ToolExecutionContext, 'runId' | 'sessionId' | 'identity' | 'redact' | 'onTeardown' | 'teardownScopes' | 'resourceOwner'>;
+    readonly endCall: (scope: TypedScope<AgentState>) => Promise<void>;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/resources.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/resources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resources.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/resources.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/resumedInvocation.d.ts

@@ -0,0 +1,30 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { Resolution, ResumedCallFacts } from '../callFacts.js';
+import type { ConsentGateKind } from '../../../../../pause.js';
+import type { ReadToolResultEnvelope } from '../../../../../../semantics/toolEffects.js';
+/** The existing resumed invocation contract; no new execution path. */
+export interface ResumedInvocation {
+    readonly resolveCredentialAndExecute: (scope: TypedScope<AgentState>, resolved: Resolution, toolName: string, args: Readonly<Record<string, unknown>>, toolCallId: string, iteration: number, env: {
+        readonly signal?: AbortSignal;
+    }, heldTo?: ConsentGateKind, seen?: ResumedCallFacts) => Promise<{
+        result: unknown;
+        error?: boolean;
+        executed?: boolean;
+        negativeResultId?: string;
+        /** The recognized effects envelope, when the tool returned one (9.19.0)
+         *  — `result` above is already its unwrapped `content`. When the ceiling
+         *  fired this carries the refusal as `content` and status `'invalid'`
+         *  (synthesized empty-effects for a non-envelope result), so every resume
+         *  path routes the status without knowing about ceilings. */
+        envelope?: ReadToolResultEnvelope;
+        /** The tool's own `resultCeiling` refused the result (9.20.0): `result`
+         *  is the teaching refusal, the true size is on the record. The call ran
+         *  — but it must not complete a procedure step (the model was told to
+         *  call again). */
+        ceilingRefused?: true;
+        /** An approved call's arguments no longer matched its request at the
+         *  last moment before `execute` (`heldTo`): the call did not run. */
+        callChanged?: true;
+    }>;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/resumedInvocation.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/resumedInvocation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resumedInvocation.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/resumedInvocation.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/scripts.d.ts

@@ -0,0 +1,40 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { Tool } from '../../../../../../tools/tools.js';
+import type { CallSettlement } from '../../../../scripts/label.js';
+import type { CodeRunFacts, CodeRunSlot } from '../../../../../codeRunnerTool.js';
+import type { ResumedCallFacts } from '../callFacts.js';
+/** Explicit callback contract for existing scripts operations. */
+export interface ToolScriptsOperations {
+    readonly fileScript: (scope: TypedScope<AgentState>, call: {
+        readonly tool: Tool | undefined;
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+        /** The declared argument's value as the call arrived (`programOfCall`). */
+        readonly proposed: unknown;
+        /** Its value handed to `execute` — or as it stood at a pause or a refusal. */
+        readonly submitted?: unknown;
+        readonly settlement: CallSettlement;
+        readonly facts?: CodeRunFacts;
+        readonly withheld?: boolean;
+        readonly paused?: boolean;
+        /** The dispatch a settling paused call already has (`pausedScriptDispatch`). */
+        readonly dispatch?: number;
+    }) => number | undefined;
+    readonly programOfCall: (tool: Tool | undefined, args: Readonly<Record<string, unknown>> | undefined) => unknown;
+    readonly proposedArgsOf: (scope: TypedScope<AgentState>, toolCallId: string) => Readonly<Record<string, unknown>> | undefined;
+    readonly fileResumedScript: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+        readonly carried: Readonly<Record<string, unknown>>;
+        readonly entered: boolean;
+        readonly seen: ResumedCallFacts;
+    }) => void;
+    readonly takeCodeRun: (scope: TypedScope<AgentState>, tool: Tool, slot: CodeRunSlot, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly takeListed: boolean;
+    }) => CodeRunFacts | undefined;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/scripts.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/scripts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scripts.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/scripts.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/semantics.d.ts

@@ -0,0 +1,10 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+/** Explicit callback contract for existing semantics operations. */
+export interface ToolSemanticsOperations {
+    readonly declareSemantics: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }, value: unknown) => unknown | undefined;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/semantics.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/semantics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantics.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/semantics.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/settlement.d.ts

@@ -0,0 +1,13 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { LLMMessage } from '../../../../../../provider-contract/types.js';
+import type { BatchSettlement } from '../callFacts.js';
+/** Explicit callback contract for existing settlement operations. */
+export interface ToolSettlementOperations {
+    readonly historyForCheckIn: (scope: TypedScope<AgentState>, history: readonly LLMMessage[]) => LLMMessage[];
+    readonly settleBatch: (answered: LLMMessage[], paused: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+    }) => BatchSettlement;
+    readonly bracketSettled: (scope: TypedScope<AgentState>, settlement: BatchSettlement) => void;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/settlement.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/settlement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/settlement.ts"],"names":[],"mappings":""}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/steps.d.ts

@@ -0,0 +1,26 @@
+import type { TypedScope } from 'footprintjs';
+import type { AgentState } from '../../../../types.js';
+import type { StepPointer, StepPlan } from '../../../../../../injection-engine/skillSteps.js';
+/** Explicit callback contract for existing steps operations. */
+export interface ToolStepsOperations {
+    readonly stepStateOf: (scope: TypedScope<AgentState>) => {
+        ptr: StepPointer;
+        plan: StepPlan;
+        step: {
+            tool: string;
+            note: string;
+        };
+    } | undefined;
+    readonly applySkipStep: (scope: TypedScope<AgentState>, call: {
+        readonly args: Readonly<Record<string, unknown>>;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }) => string;
+    readonly applyStepReturn: (scope: TypedScope<AgentState>, call: {
+        readonly toolName: string;
+        readonly toolCallId: string;
+        readonly iteration: number;
+    }) => string;
+    readonly readSkillStepIntroFor: (pickedId: string) => string;
+    readonly noteSkillRefusal: (scope: TypedScope<AgentState>, iteration: number) => void;
+}

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/steps.js

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

package/dist/esm/core/agent/stages/toolCalls/contracts/operations/steps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"steps.js","sourceRoot":"","sources":["../../../../../../../../src/core/agent/stages/toolCalls/contracts/operations/steps.ts"],"names":[],"mappings":""}