Function recordToolRowLaunch

packages/core/sdk/src/executor.test.ts:939–956

(maxOps?: number)

 *  budget so the run loop's cooperative yield lands at an adversarial
 *  position instead of the default one. */
const recordToolRowLaunch = (maxOps?: number) =>
  Effect.gen(function* () {
    const recorder = makeReadOrderRecorder();
    const config = makeTestConfig({ plugins: [demoPlugin] as const });
    const executor = yield* createExecutor({
      ...config,
      db: withRecordedReads(config.db, recorder.record),
    });
    yield* seedRunConnection(executor);

    recorder.arm(["tool.findFirst", "tool_policy.findMany", "connection.findFirst"]);
    const execute = executor.execute(addr("run"), {});
    const out = yield* maxOps === undefined
      ? execute
      : execute.pipe(Effect.provideService(Scheduler.MaxOpsBeforeYield, maxOps));
    expect(out).toEqual({ ran: "run" });
    return recorder;
  });

/** Same, for the post-approval half: credential resolution vs the
 *  integration-row read. */