At this time, openssl in
https://downloads.php.net/~windows/php-sdk/deps/series/packages-8.5-vs17-x64-stable.txt
is openssl-3.0.15.pl1-vs17-x64.zip, while the 8.5.1 release (sha256:77fbee57c8159279bc065942d361103b0a3f53c8dfabc182a07433be9eec8dba) have shipped with openssl 3.5.4
Not sure if this affects phpsdk_deps / PECL
But I guess this will use stable deps series
https://github.com/php/php-sdk-binary-tools/blob/7298fb28a836ac46b7cc29fb2bad53a5952a55aa/lib/php/libsdk/SDK/Config.php#L146-L152