[leorossi2005]

What

• Implement fminf in libSceLibcInternal (resolving NID uVRcM2yFdP4).

Together with pathconf (#3611) and sceKernelGetSocSensorTemperature (#4588), this resolves all missing ELF imports blocking Sonic Unleashed Recompiled (PPSA99902) from loading and reaching guest entry.

Tested

Windows 11 (x86_64), Sonic Unleashed Recompiled (PPSA99902):
Resolves startup relinker failures:

FAIL: unresolved ELF import zzKyvoELf4I from libkernel.prx
FAIL: unresolved ELF import uVRcM2yFdP4 from libSceLibcInternal.prx
FAIL: unresolved ELF import oc98+zOImus from libkernel_sys.prx

Checklist

• Based on current main; no other open PR implements the same functions
• One topic per PR; follow-ups go in a new PR
• No comments in code except technical debt
• Unimplemented paths throw (NotImplemented_nid_no_patch); silent stubs are listed in TechnicalDebt
• No notes, investigation .md files or images added to the repository (attach them to this PR)
• New third-party code is a submodule built from source
• Generic behaviour, not specific to one title
• Depends on: feat(libkernel_sys): implement pathconf #3611 and feat(libkernel): report the host SoC and CPU temperature #4588
• Unblocks: PPSA99902
• AI-assisted: yes

[github-actions]

Progress report (584cc4c → 02d1dbb)

📈 System libraries: 87.87% (+0.01%, +1 implemented functions)

✅ 1 implemented

Library	Name
libSceLibcInternal	fminf_nid_postfix

[adriadam10]

Thanks for tracing the imports for PPSA99902. This PR currently bundles three things, two of which are already open elsewhere:

• pathconf (libkernel_sys/Export.cpp, GuestKernelSys.cpp, the TechnicalDebt line) is the same implementation as #3611 / #4503 (#4503 is mergeable). The body says "Depends on: #4503", so drop it from this branch instead of carrying a copy; it will conflict with whichever lands first.
• sceKernelGetSocSensorTemperature (libkernel/Unimplemented.cpp:18 and its TechnicalDebt line) overlaps #4588, which implements it with tests. Drop it here and list #4588 under Depends on if you need it.
• fminf (libSceLibcInternal/Export.cpp:145) is not in any other open PR and std::fmin matches the libc semantics. Keep this one, but add a test pinning edge rows (one NaN operand returns the other, both NaN, -0.0 vs +0.0, ±inf), registered in ctest.

The branch also conflicts with main; please rebase after removing the two duplicates so the PR is one topic (fminf).

[leorossi2005]

@adriadam10 Thank for the suggestions, I've dropped pathconf and sceKernelGetSocSensorTemperature from this PR, and added tests for fminf as requested.

I've also done a rebase to remove conflicts with main

[adriadam10]

Checked fminf (NID uVRcM2yFdP4) against aerolib and prosper, built and ran guest_fminf (passes; without the export the test fails to link). Thanks for dropping pathconf and the SoC sensor; merging.