agentfootprint 12.2.0 → 13.0.0

package/dist/core/agent/stages/toolCalls.js

@@ -78,6 +78,8 @@ const admission_js_1 = require("../findings/admission.js");
  * activates that Skill (lifetime: turn).
  */
 const codeRunnerTool_js_1 = require("../../codeRunnerTool.js");
+const script_js_1 = require("../../../tools/script.js");
+const rows_js_1 = require("../scripts/rows.js");
 const footprintjs_1 = require("footprintjs");
 const types_js_1 = require("../../../provider-contract/types.js");
 const typedEmit_js_1 = require("../../../recorders/core/typedEmit.js");
@@ -120,7 +122,7 @@ const offer_js_1 = require("../findings/offer.js");
 const ledger_js_2 = require("../findings/ledger.js");
 const contingent_js_1 = require("../findings/contingent.js");
 const unsettled_js_1 = require("../findings/unsettled.js");
-const rows_js_1 = require("../../../time/rows.js");
+const rows_js_2 = require("../../../time/rows.js");
 const evidenceIndex_js_1 = require("../evidence/evidenceIndex.js");
 const repeatedCall_js_1 = require("../repeatedCall.js");
 const toolArgsValidation_js_1 = require("../../../tools/toolArgsValidation.js");
@@ -780,11 +782,11 @@ function towersFor(scope, findings, gate) {
 function recordSourceClock(scope, call, zone) {
     const ledger = scope.findingsLedger;
     const turn = scope.turnNumber;
-    const filed = (0, rows_js_1.sourceClocksOf)(ledger, turn).some((r) => r.toolCallId === call.toolCallId && r.zone === zone);
+    const filed = (0, rows_js_2.sourceClocksOf)(ledger, turn).some((r) => r.toolCallId === call.toolCallId && r.zone === zone);
     if (filed)
         return;
     (0, ledger_js_2.recordFindings)(scope, [
-        (0, rows_js_1.sourceClockRow)(call, { turn, iteration: scope.iteration }, zone),
+        (0, rows_js_2.sourceClockRow)(call, { turn, iteration: scope.iteration }, zone),
     ]);
 }
 /** The run a capability binding was made in — `undefined` when there is no binding. */
@@ -1916,6 +1918,153 @@ function buildToolCallsHandler(deps) {
         if (next !== prior)
             scope.toolCallLedger = next;
     };
+    /**
+     * THE ONE DOOR for a call's `script` row (`deps.scriptRecord`) — asked
+     * where each call of a declared code-running tool settles or pauses. A tool
+     * that declares no `script` (or one the dispatch door refuses,
+     * `tools/script.ts` · `scriptOf`) files nothing; an unarmed agent never
+     * reaches the declaration at all.
+     */
+    const fileScript = (scope, call) => {
+        if (deps.scriptRecord !== true)
+            return undefined;
+        const script = (0, script_js_1.scriptOf)(call.tool);
+        if (script === undefined)
+            return undefined;
+        const row = (0, rows_js_1.scriptRowFor)({
+            script,
+            tool: call.toolName,
+            toolCallId: call.toolCallId,
+            iteration: call.iteration,
+            turn: scope.turnNumber,
+            proposed: call.proposed,
+            ...(call.submitted !== undefined && { submitted: call.submitted }),
+            settlement: call.settlement,
+            ...(call.facts !== undefined && { facts: call.facts }),
+            ...(call.withheld === true && { withheld: true }),
+            ...(call.paused === true && { paused: true }),
+        });
+        if (row === undefined)
+            return undefined;
+        const dispatch = (0, rows_js_1.recordScriptRow)(scope, row, {
+            paused: call.paused === true,
+            ...(call.dispatch !== undefined && { dispatch: call.dispatch }),
+        });
+        // A paused call keeps its dispatch across the checkpoint: the row that
+        // settles it on resume joins the same dispatch, never a new one.
+        if (call.paused === true && dispatch !== undefined) {
+            scope.pausedScriptDispatch = { dispatch, toolCallId: call.toolCallId, turn: row.turn };
+        }
+        return dispatch;
+    };
+    /**
+     * The declared argument's VALUE in `args`, read now — `undefined` when the
+     * agent is unarmed or the tool declares no `script`. Asked at the boundary
+     * each value belongs to (as the call arrives; just before `execute`) and
+     * kept: a string cannot be edited afterwards, the arguments object can.
+     */
+    const programOfCall = (tool, args) => {
+        if (deps.scriptRecord !== true)
+            return undefined;
+        const script = (0, script_js_1.scriptOf)(tool);
+        return script === undefined ? undefined : (0, rows_js_1.programIn)(script, args);
+    };
+    /**
+     * The arguments the model PROPOSED for a call, read back from the assistant
+     * turn that carried it (`_findings` peeled) — what a resumed call's script
+     * row compares the program it ran with. `undefined` when the turn is gone.
+     */
+    const proposedArgsOf = (scope, toolCallId) => {
+        const history = scope.history;
+        for (let i = history.length - 1; i >= 0; i--) {
+            const call = history[i]?.toolCalls?.find((c) => c.id === toolCallId);
+            if (call !== undefined)
+                return peelCall(call).args;
+        }
+        return undefined;
+    };
+    /**
+     * A RESUMED call's script row — the four resume doors settle the paused call
+     * here. `carried` is the pause carrier (the arguments the person approved,
+     * or the call was paused with); `seen` is what `resolveCredentialAndExecute`
+     * saw when the call ran. The tool is resolved as the resume resolved it.
+     */
+    const fileResumedScript = (scope, call) => {
+        if (deps.scriptRecord !== true)
+            return;
+        const tool = resolveTool(call.toolName, scope.pausedToolParty).tool;
+        // The dispatch the pause filed this call under — when it is THIS call's.
+        const held = scope.pausedScriptDispatch;
+        const dispatch = held !== undefined &&
+            held.toolCallId === call.toolCallId &&
+            held.turn === scope.turnNumber
+            ? held.dispatch
+            : undefined;
+        if (held !== undefined)
+            scope.pausedScriptDispatch = undefined;
+        // A call that paused from inside `execute` carried the values read before
+        // it ran (`pausedScriptPrograms`) — this call's, when the dispatch is.
+        const carried = scope.pausedScriptPrograms;
+        if (carried !== undefined)
+            scope.pausedScriptPrograms = undefined;
+        const own = dispatch !== undefined ? carried : undefined;
+        // Read before `execute` ran (`seen`), or carried from before it ran; a
+        // call that never got there reads its carrier now — no tool code ran on it.
+        const proposed = call.seen.entered === true
+            ? call.seen.proposed
+            : own?.proposed ??
+                programOfCall(tool, proposedArgsOf(scope, call.toolCallId) ?? call.carried);
+        const submitted = call.seen.entered === true
+            ? call.seen.submitted
+            : own?.submitted ?? programOfCall(tool, call.carried);
+        fileScript(scope, {
+            tool,
+            toolName: call.toolName,
+            toolCallId: call.toolCallId,
+            iteration: call.iteration,
+            proposed,
+            ...(submitted !== undefined && { submitted }),
+            settlement: !call.entered ? 'not-entered' : call.seen.threw === true ? 'threw' : 'returned',
+            ...(call.seen.codeRun !== undefined && { facts: call.seen.codeRun }),
+            withheld: call.seen.overCeiling === true,
+            ...(dispatch !== undefined && { dispatch }),
+        });
+    };
+    /**
+     * THIS dispatch's code-run facts, taken from its own slot (`CODE_RUN_SLOT`)
+     * — what the script row attests, whichever runner filed them (a wrapper that
+     * hands its context to a code runner included). Asked at BOTH execute
+     * boundaries — the batch loop and `resolveCredentialAndExecute` — right
+     * after `tool.execute` returns. Only the slot is ever attested from.
+     *
+     * The published surfaces are kept exactly as they were. The map
+     * (`codeRunsOf`): at the batch boundary (`takeListed`) the dispatched tool's
+     * entry for this call id is taken off it; the resume boundary leaves it.
+     * The event fires when the dispatched tool is itself a code runner, as it
+     * always did, carrying the dispatch's own facts. When the slot is empty
+     * there — a decorator kept the runner's map but handed the runner a context
+     * of its own, so the runner filed by the call id alone — it fires as it
+     * always did, from the map's entry: the one case the slot cannot reach, and
+     * the facts it carries are the map's, never attested. The code itself is
+     * never on this channel: generated code quotes the data it was handed.
+     */
+    const takeCodeRun = (scope, tool, slot, call) => {
+        const facts = slot.facts;
+        slot.facts = undefined;
+        const listed = (0, codeRunnerTool_js_1.codeRunsOf)(tool);
+        const filed = call.takeListed ? listed?.get(call.toolCallId) : undefined;
+        if (filed !== undefined)
+            listed?.delete(call.toolCallId);
+        const told = facts ?? filed;
+        if (told !== undefined && listed !== undefined) {
+            // `tool` is the name the model CALLED, not the one the runner's closure
+            // was built with: a runner re-exposed under another schema name must be
+            // recognizable by the name its calls carry (a content exporter withholds
+            // that tool's arguments — the program). Same bytes whenever they agree.
+            (0, typedEmit_js_1.typedEmit)(scope, 'agentfootprint.tools.code_run', { ...told, tool: call.toolName });
+        }
+        return facts;
+    };
     /** `emitToolEnd`'s twin: the call is open in the ledger until its `tool_end` lands. */
     const emitToolStart = (scope, payload) => {
         // A listener sees the call's frozen copy — the dispatch loop's shared one
@@ -2757,6 +2906,19 @@ function buildToolCallsHandler(deps) {
      */
     const bracketSettled = (scope, settlement) => {
         for (const { call, result } of settlement.settled) {
+            // Never dispatched: the program is on the record as proposed, `submitted`.
+            // Guarded here — the arguments read the scope, and an unarmed agent reads
+            // nothing new.
+            if (deps.scriptRecord === true) {
+                fileScript(scope, {
+                    tool: resolveTool(call.name).tool,
+                    toolName: call.name,
+                    toolCallId: call.id,
+                    iteration: scope.iteration,
+                    proposed: programOfCall(resolveTool(call.name).tool, peelCall(call).args),
+                    settlement: 'not-entered',
+                });
+            }
             emitToolStart(scope, {
                 toolName: call.name,
                 toolCallId: call.id,
@@ -2786,7 +2948,10 @@ function buildToolCallsHandler(deps) {
     // copies every app callback is handed (`lib/frozenCopy.ts`): arguments that
     // no longer re-derive the request's id (`runsAsAsked`, the one rule that
     // binds a decision to its call) do not run (`callChanged`).
-    const resolveCredentialAndExecute = async (scope, resolved, toolName, args, toolCallId, iteration, env, heldTo) => {
+    const resolveCredentialAndExecute = async (scope, resolved, toolName, args, toolCallId, iteration, env, heldTo, 
+    /** Filled for the call's script row (`deps.scriptRecord`): what `execute`
+     *  was handed, the runner's facts, a ceiling refusal, a throw. */
+    seen) => {
         const tool = resolved.tool;
         /** What the approval covers — the arguments as handed in, before any
          *  `wants` resolution or clock redraw derives the ones `execute` gets. */
@@ -2894,7 +3059,12 @@ function buildToolCallsHandler(deps) {
                 args = dispatched.args;
             // `let`, not `const`: the semantic projection below replaces the value
             // on the non-envelope path exactly as the batch loop does.
+            // This dispatch's own slot for the runner's facts (`CODE_RUN_SLOT`):
+            // facts reach the exact dispatch that ran, never another run's call
+            // that happens to reuse the provider's id.
+            const codeRunSlot = {};
             const executionContext = {
+                [codeRunnerTool_js_1.CODE_RUN_SLOT]: codeRunSlot,
                 toolCallId,
                 iteration,
                 ...(callTime !== undefined && { time: callTime }),
@@ -2951,7 +3121,22 @@ function buildToolCallsHandler(deps) {
                     })
                     : undefined;
             executed = true;
+            if (seen !== undefined) {
+                // Read now, before any tool code runs: what the call proposed and
+                // what `execute` is handed — values, never the arguments object.
+                seen.entered = true;
+                seen.proposed = programOfCall(tool, proposedArgsOf(scope, toolCallId) ?? args);
+                seen.submitted = programOfCall(tool, args);
+            }
             let result = await tool.execute(args, executionContext);
+            // The runner's facts, at this execute boundary as at the batch loop's.
+            const codeRun = takeCodeRun(scope, tool, codeRunSlot, {
+                toolName,
+                toolCallId,
+                takeListed: false,
+            });
+            if (seen !== undefined && codeRun !== undefined)
+                seen.codeRun = codeRun;
             if (negativeDispatch !== undefined)
                 result = (0, capture_js_1.captureNegativeResult)(scope, negativeDispatch, result, tool);
             await endCall(toolCallId);
@@ -2995,6 +3180,8 @@ function buildToolCallsHandler(deps) {
                 if (refusal !== undefined) {
                     if (negativeDispatch !== undefined)
                         (0, capture_js_1.keepNegativeResultOut)(scope, negativeDispatch.resultId);
+                    if (seen !== undefined)
+                        seen.overCeiling = true;
                     return {
                         result: refusal,
                         executed: true,
@@ -3048,6 +3235,8 @@ function buildToolCallsHandler(deps) {
             if (refusal !== undefined) {
                 if (negativeDispatch !== undefined)
                     (0, capture_js_1.keepNegativeResultOut)(scope, negativeDispatch.resultId);
+                if (seen !== undefined)
+                    seen.overCeiling = true;
                 // Synthesized empty-effects envelope: the resume paths read the
                 // routing status off `envelope.status`, and this is how a refused
                 // NON-envelope result carries `'invalid'` there without every path
@@ -3105,6 +3294,8 @@ function buildToolCallsHandler(deps) {
             // Settled by throwing is still settled — a tool that opened a session and
             // then failed must not keep it.
             await endCall(toolCallId);
+            if (seen !== undefined && executed)
+                seen.threw = true;
             if ((0, pause_js_1.isPauseRequest)(err)) {
                 return {
                     result: `tool '${toolName}' requested a pause while resuming an approved check-in, which is not supported`,
@@ -3203,11 +3394,16 @@ function buildToolCallsHandler(deps) {
             let askedLayer;
             if (inputs !== undefined &&
                 resolutions !== undefined &&
-                [...resolutions.values()].some((r) => r.ask !== undefined)) {
+                ([...resolutions.values()].some((r) => r.ask !== undefined) ||
+                    deps.time?.reader !== undefined)) {
                 // Loaded on first use — the optional-family law: a plain agent's
                 // graph never carries the ask (`test/trace-toolpack/browserGraph`).
                 const { askBeforeDispatch } = await Promise.resolve().then(() => __importStar(require('./argumentAsk.js')));
                 const asked = askBeforeDispatch(scope, resolutions, {
+                    excludedCallIds: toolCalls
+                        .filter((_, index) => findingsRefusals[index] !== undefined)
+                        .map((call) => call.id),
+                    ...(deps.argumentSources === true && { argumentSources: true }),
                     toolOf: (toolName) => resolveTool(toolName).tool,
                     runId: () => runFactsOf(scope)?.runId,
                     ...(deps.argumentAskContext !== undefined && { hostContext: deps.argumentAskContext }),
@@ -3348,6 +3544,10 @@ function buildToolCallsHandler(deps) {
                 // same reference — `tc.args` — and not one byte moves.
                 const peeled = peelCall(tc);
                 const args = peeled.args;
+                // The script record's proposal (`deps.scriptRecord`): the declared
+                // argument's value, read as the call arrives — before any rule or tool
+                // code runs. `undefined` unarmed.
+                const proposedProgram = programOfCall(tool, args);
                 // ── THE BASIS ROW — immediately, so it precedes `tool_start` in the
                 // event log and every pause `return` in program order (a paused
                 // call's row is on the pre-pause partial commit; a denied call keeps
@@ -3456,6 +3656,14 @@ function buildToolCallsHandler(deps) {
                 let denied = findingsRefusal !== undefined;
                 /** True once `tool.execute` has been entered — see `afterMoment`. */
                 let executed = false;
+                /** The declared argument's value handed to `execute`, read just before it ran. */
+                let submittedProgram;
+                /** `execute` was entered and threw — a settlement the script row reads. */
+                let executeThrew = false;
+                /** The code-run facts a code-runner tool left for this call (`takeCodeRun`). */
+                let ranCode;
+                /** The tool's own `resultCeiling` (not the column contract) refused the result. */
+                let withheldOverCeiling = false;
                 let negativeDispatch;
                 /** The tool's own `resultCeiling` refused this call's result (9.20.0)
                  *  — the call ran, but it must not complete a procedure step: the
@@ -3795,6 +4003,18 @@ function buildToolCallsHandler(deps) {
                         // checkpoint stays byte-identical.
                         if (askComponent !== undefined)
                             scope.pausedComponentId = askComponent.componentId;
+                        // The call is open, waiting on a person: its script row says
+                        // `submitted`, without the text — the settled row carries it.
+                        fileScript(scope, {
+                            tool,
+                            toolName: tc.name,
+                            toolCallId: tc.id,
+                            iteration,
+                            proposed: proposedProgram,
+                            submitted: programOfCall(tool, bound.args),
+                            settlement: 'not-entered',
+                            paused: true,
+                        });
                         // A defined return value triggers the footprintjs pause; this
                         // object becomes the checkpoint's pauseData, and detectPause
                         // surfaces `pauseData.ask` as `outcome.ask`.
@@ -4004,6 +4224,17 @@ function buildToolCallsHandler(deps) {
                         // only when one exists (byte-identical otherwise).
                         if (gateComponent !== undefined)
                             scope.pausedComponentId = gateComponent.componentId;
+                        // Open until a person decides: `submitted`, without the text.
+                        fileScript(scope, {
+                            tool,
+                            toolName: tc.name,
+                            toolCallId: tc.id,
+                            iteration,
+                            proposed: proposedProgram,
+                            submitted: programOfCall(tool, bound.args),
+                            settlement: 'not-entered',
+                            paused: true,
+                        });
                         // Returning a defined value triggers the footprintjs pause; the
                         // returned object becomes the checkpoint's pauseData. detectPause
                         // surfaces `pauseData.checkIn` as `outcome.checkIn`.
@@ -4098,6 +4329,17 @@ function buildToolCallsHandler(deps) {
                                     // Same carrier as the middleware-ask pause (9.92.0).
                                     if (resolved.party !== undefined)
                                         scope.pausedToolParty = resolved.party;
+                                    // Open until the person consents: `submitted`, without the text.
+                                    fileScript(scope, {
+                                        tool,
+                                        toolName: tc.name,
+                                        toolCallId: tc.id,
+                                        iteration,
+                                        proposed: proposedProgram,
+                                        submitted: programOfCall(tool, callArgs),
+                                        settlement: 'not-entered',
+                                        paused: true,
+                                    });
                                     // A defined return value triggers the footprintjs pause; this
                                     // object becomes the checkpoint's pauseData, and standingAgent's
                                     // describePause hands it to the caller as `PendingAsk`.
@@ -4171,7 +4413,11 @@ function buildToolCallsHandler(deps) {
                             // Set BEFORE the await: a tool that throws has still run, and a
                             // tool that does not exist has not. This flag is the entire
                             // precondition of the after-tool moment below.
+                            // This dispatch's own slot for the runner's facts — see the
+                            // resume path's twin in `resolveCredentialAndExecute`.
+                            const codeRunSlot = {};
                             const executionContext = {
+                                [codeRunnerTool_js_1.CODE_RUN_SLOT]: codeRunSlot,
                                 toolCallId: tc.id,
                                 iteration,
                                 ...(callTime !== undefined && { time: callTime }),
@@ -4209,6 +4455,7 @@ function buildToolCallsHandler(deps) {
                                     })
                                     : undefined;
                             executed = true;
+                            submittedProgram = programOfCall(tool, callArgs);
                             result = await tool.execute(callArgs, executionContext);
                             if (negativeDispatch !== undefined)
                                 result = (0, capture_js_1.captureNegativeResult)(scope, negativeDispatch, result, tool);
@@ -4221,16 +4468,11 @@ function buildToolCallsHandler(deps) {
                             // session events follow with `keyHash`, never the key. Generated
                             // code quotes the data it was handed, so the program is the one
                             // part of a code run that must not reach an exporter.
-                            const ranCode = (0, codeRunnerTool_js_1.codeRunsOf)(tool)?.get(tc.id);
-                            if (ranCode !== undefined) {
-                                (0, codeRunnerTool_js_1.codeRunsOf)(tool)?.delete(tc.id);
-                                // `tool` is the name the model CALLED, not the one the runner's
-                                // closure was built with: a runner re-exposed under another
-                                // schema name must be recognizable by the name its calls carry
-                                // (a content exporter withholds that tool's arguments — the
-                                // program). Same bytes whenever the two names agree.
-                                (0, typedEmit_js_1.typedEmit)(scope, 'agentfootprint.tools.code_run', { ...ranCode, tool: tc.name });
-                            }
+                            ranCode = takeCodeRun(scope, tool, codeRunSlot, {
+                                toolName: tc.name,
+                                toolCallId: tc.id,
+                                takeListed: true,
+                            });
                             // The typed effects channel (9.19.0): a recognized envelope is
                             // unwrapped HERE, at the one boundary the raw return crosses —
                             // everything downstream (governance rules, the cap, history,
@@ -4298,6 +4540,7 @@ function buildToolCallsHandler(deps) {
                                 if (negativeDispatch !== undefined)
                                     (0, capture_js_1.keepNegativeResultOut)(scope, negativeDispatch.resultId);
                                 ceilingRefused = true;
+                                withheldOverCeiling = true;
                                 result = overflowRefusal;
                                 toolStatus = 'invalid';
                             }
@@ -4396,6 +4639,28 @@ function buildToolCallsHandler(deps) {
                                     // person, and the resources it opened are what the resume
                                     // needs. No `'call'` teardown here, deliberately.
                                     writePause();
+                                    // The tool asked from INSIDE `execute`: its program is the
+                                    // value read before it ran, never the arguments as it left them.
+                                    const pausedDispatch = fileScript(scope, {
+                                        tool,
+                                        toolName: tc.name,
+                                        toolCallId: tc.id,
+                                        iteration,
+                                        proposed: proposedProgram,
+                                        submitted: submittedProgram,
+                                        settlement: 'not-entered',
+                                        paused: true,
+                                    });
+                                    // The resume settles this call without running it again, so
+                                    // the values read before it ran ride the checkpoint.
+                                    if (pausedDispatch !== undefined) {
+                                        scope.pausedScriptPrograms = {
+                                            ...(typeof proposedProgram === 'string' && { proposed: proposedProgram }),
+                                            ...(typeof submittedProgram === 'string' && {
+                                                submitted: submittedProgram,
+                                            }),
+                                        };
+                                    }
                                     const stamped = declaration === undefined
                                         ? undefined
                                         : declared ?? (0, inputRequest_js_1.validateInputDeclaration)(declaration);
@@ -4433,6 +4698,7 @@ function buildToolCallsHandler(deps) {
                             // settled here too — the returned path's error, not a pause.
                             await endCall(tc.id);
                             error = true;
+                            executeThrew = executed;
                             result =
                                 raisedMissError ??
                                     (askedLayer !== undefined && (0, pause_js_1.isPauseRequest)(err)
@@ -4750,6 +5016,20 @@ function buildToolCallsHandler(deps) {
                 const capped = capResults(tc.name, placedValues);
                 const modelResult = capped.modelResult;
                 const durationMs = Date.now() - startMs;
+                // The call has settled: its script row, read from the runner's facts
+                // first, then from how the call settled — never from the delivery
+                // (`ceilingRefused` rides the row as `resultWithheld`).
+                fileScript(scope, {
+                    tool,
+                    toolName: tc.name,
+                    toolCallId: tc.id,
+                    iteration,
+                    proposed: proposedProgram,
+                    submitted: executed ? submittedProgram : programOfCall(tool, callArgs),
+                    settlement: !executed ? 'not-entered' : executeThrew ? 'threw' : 'returned',
+                    ...(ranCode !== undefined && { facts: ranCode }),
+                    withheld: withheldOverCeiling,
+                });
                 emitToolEnd(scope, tc.name, {
                     toolCallId: tc.id,
                     result: capped.result,
@@ -5120,6 +5400,8 @@ function buildToolCallsHandler(deps) {
                 /** The tool ran (any outcome) — the judge's gate (9.104.0). */
                 let toolRan = false;
                 let negativeResultId;
+                /** What the approved call's `execute` saw — its script row reads it. */
+                const scriptSeen = {};
                 if (!decision.approved) {
                     result = (0, checkin_js_1.declinedResult)(decision.note);
                     (0, ledger_js_1.recordDecisions)(scope, [
@@ -5288,7 +5570,7 @@ function buildToolCallsHandler(deps) {
                         }
                         else {
                             const env = scope.$getEnv();
-                            const dispatched = await resolveCredentialAndExecute(scope, resolved, toolName, runArgs, toolCallId, iteration, env, 'ask');
+                            const dispatched = await resolveCredentialAndExecute(scope, resolved, toolName, runArgs, toolCallId, iteration, env, 'ask', scriptSeen);
                             negativeResultId = dispatched.negativeResultId;
                             result = dispatched.result;
                             error = dispatched.error;
@@ -5420,6 +5702,14 @@ function buildToolCallsHandler(deps) {
                     ...(resumeEnvelope?.status !== undefined && { status: resumeEnvelope.status }),
                 });
                 await judgeLanded(scope, deps.findingsJudge, toolRan, { toolName, result: askResultStr, toolCallId }, iteration, turnStampOf(scope));
+                fileResumedScript(scope, {
+                    toolName,
+                    toolCallId,
+                    iteration,
+                    carried: args,
+                    entered: toolRan,
+                    seen: scriptSeen,
+                });
                 emitToolEnd(scope, toolName, {
                     toolCallId,
                     result: askCapped.result,
@@ -5509,12 +5799,14 @@ function buildToolCallsHandler(deps) {
                 /** The tool ran (any outcome) — the judge's gate (9.104.0). */
                 let toolRan = false;
                 let negativeResultId;
+                /** What the approved call's `execute` saw — its script row reads it. */
+                const scriptSeen = {};
                 if (decision.approved) {
                     const env = scope.$getEnv();
                     // Resolved against the party the checkpoint carries (9.92.0).
                     const resolved = resolveTool(toolName, scope.pausedToolParty);
                     const tool = resolved.tool;
-                    const dispatched = await resolveCredentialAndExecute(scope, resolved, toolName, args, toolCallId, iteration, env, 'checkIn');
+                    const dispatched = await resolveCredentialAndExecute(scope, resolved, toolName, args, toolCallId, iteration, env, 'checkIn', scriptSeen);
                     negativeResultId = dispatched.negativeResultId;
                     result = dispatched.result;
                     error = dispatched.error;
@@ -5596,6 +5888,14 @@ function buildToolCallsHandler(deps) {
                     ...(resumeEnvelope?.status !== undefined && { status: resumeEnvelope.status }),
                 });
                 await judgeLanded(scope, deps.findingsJudge, toolRan, { toolName, result: decisionResultStr, toolCallId }, iteration, turnStampOf(scope));
+                fileResumedScript(scope, {
+                    toolName,
+                    toolCallId,
+                    iteration,
+                    carried: args,
+                    entered: toolRan,
+                    seen: scriptSeen,
+                });
                 emitToolEnd(scope, toolName, {
                     toolCallId,
                     result: decisionCapped.result,
@@ -5653,7 +5953,9 @@ function buildToolCallsHandler(deps) {
                 // Resolved against the party the checkpoint carries (9.92.0).
                 const resolved = resolveTool(toolName, scope.pausedToolParty);
                 const tool = resolved.tool;
-                const dispatched = await resolveCredentialAndExecute(scope, resolved, toolName, args, toolCallId, iteration, env);
+                /** What the call's `execute` saw — its script row reads it. */
+                const scriptSeen = {};
+                const dispatched = await resolveCredentialAndExecute(scope, resolved, toolName, args, toolCallId, iteration, env, undefined, scriptSeen);
                 const result = dispatched.result;
                 const error = dispatched.error;
                 let modelResult;
@@ -5726,6 +6028,14 @@ function buildToolCallsHandler(deps) {
                     ...(consentEnvelope?.status !== undefined && { status: consentEnvelope.status }),
                 });
                 await judgeLanded(scope, deps.findingsJudge, dispatched.executed === true, { toolName, result: consentResultStr, toolCallId }, iteration, turnStampOf(scope));
+                fileResumedScript(scope, {
+                    toolName,
+                    toolCallId,
+                    iteration,
+                    carried: args,
+                    entered: dispatched.executed === true,
+                    seen: scriptSeen,
+                });
                 emitToolEnd(scope, toolName, {
                     toolCallId,
                     result: consentCapped.result,
@@ -5840,6 +6150,17 @@ function buildToolCallsHandler(deps) {
             // The person's answer IS the tool's result (the handler's contract
             // above), so it ran by definition.
             await judgeLanded(scope, deps.findingsJudge, true, { toolName, result: resultStr, toolCallId }, iteration, turnStampOf(scope));
+            // The tool asked a person from inside `execute`, and the answer IS its
+            // result (the handler's contract): the call returned, and no runner
+            // reported an execution — `returned`, never `completed`.
+            fileResumedScript(scope, {
+                toolName,
+                toolCallId,
+                iteration,
+                carried: args,
+                entered: true,
+                seen: {},
+            });
             emitToolEnd(scope, toolName, {
                 toolCallId,
                 // The REAL value the pause returned, not what a rule let the model read