Function connectionsMarkToolsStale

packages/core/sdk/src/executor.ts:3430–3439

(ref: ConnectionRef)

    // arrive mid-invocation (an MCP `notifications/tools/list_changed`, an
    // unknown-tool rejection) where re-listing inline would block the caller.
    const connectionsMarkToolsStale = (ref: ConnectionRef): Effect.Effect<void, StorageFailure> =>
      core.updateMany("connection", {
        where: (b: AnyCb) =>
          b.and(
            byOwner(ref.owner)(b),
            b("integration", "=", String(ref.integration)),
            b("name", "=", String(ref.name)),
          ),
        set: { tools_synced_at: null },
      });

    // ------------------------------------------------------------------
    // Active policy source.