[B-Howell]

What

Implements ten libSceLibcInternal exports that threw through NotImplemented_nid_no_patch on main: the public put members of std::num_put<wchar_t> and std::time_put<wchar_t> (the ostreambuf_iterator<wchar_t> instantiations), which std::wostream inserters for numbers and std::put_time on a wide stream reach through the stream's facets. It is the wchar_t counterpart of #15715 and is independent of it: no shared new file, no shared lines.

Export	NID	Stub on main	Now
num_put<wchar_t>::put(..., bool) (...3putES3_RSt8ios_basewb)	mY9FWooxqJY	sceLibcInternalPending3_129 (Err.cpp)	returns the facet's do_put(bool)
num_put<wchar_t>::put(..., long) (...basewl)	USLhWp7sZoU	sceLibcInternalPending3_132	returns do_put(long)
num_put<wchar_t>::put(..., unsigned long) (...basewm)	qtpzdwMMCPc	sceLibcInternalPending3_133	returns do_put(unsigned long)
num_put<wchar_t>::put(..., long long) (...basewx)	ryykbHJ04Cw	sceLibcInternalPending3_134	returns do_put(long long)
num_put<wchar_t>::put(..., unsigned long long) (...basewy)	lmb3oBpMNPU	sceLibcInternalPending3_135	returns do_put(unsigned long long)
num_put<wchar_t>::put(..., double) (...basewd)	V7aIsVIsIIA	sceLibcInternalPending3_130	returns do_put(double)
num_put<wchar_t>::put(..., long double) (...basewe)	vCIFGeI6adI	sceLibcInternalPending3_131	returns do_put(long double)
num_put<wchar_t>::put(..., const void*) (...basewPKv)	xfOSCbCiY44	sceLibcInternalPending3_128	returns do_put(const void*)
time_put<wchar_t>::put(..., const tm*, char, char) (...basewPK2tmcc)	Nt6eyVKm+Z4	sceLibcInternalPending4_072 (Export.cpp)	returns the facet's do_put(spec, mod)
time_put<wchar_t>::put(..., const tm*, const wchar_t*, const wchar_t*) (...basewPK2tmPKwSB_)	Sc0lXhQG5Ko	sceLibcInternalPending4_071	walks the pattern, see below

Where the behaviour comes from:

• The C++ standard ([facet.num.put.members]) defines each num_put::put as Returns: do_put(out, str, fill, val)., and [locale.time.put.members] the (spec, mod) overload as Returns: do_put(s, str, fill, t, format, modifier). The Dinkumware templates in the first microsoft/STL commit 219514876ea8, which serve char and wchar_t alike, write them the same way: return do_put(_Dest, _Iosbase, _Fill, _Val); (stl/inc/xlocnum L1189-L1227) and return do_put(_Dest, _Iosbase, _Fill, _Pt, _Specifier, _Modifier); (stl/inc/xloctime L680-L683). do_put is virtual, so each export calls the slot of the facet's own vtable. The wchar_t facets have the same slot order as the char ones already static_asserted on main (NumPutVtable 0x20 to 0x58, TimePutVtable::put 0x20); only the fill differs, a 16-bit wchar_t (GuestLocale::WideNumpunctFacet on main already uses std::uint16_t for it). GuestLocale::WideNumPutVtable and GuestLocale::WideTimePutVtable give those slots that fill type, with static_asserts.
• The pattern overload follows the same commit's loop (stl/inc/xloctime L646-L678): use_facet<ctype<wchar_t>>(_Iosbase.getloc()), then for each character if (_Ctype_fac.narrow(*_Fmtfirst) != '%') copies it; a trailing % is copied; E, O, Q and # after % are modifiers, and a modifier at the end is copied as the original percent followed by the narrowed modifier (*_Dest++ = _Percent; *_Dest++ = _Specifier;); every other specifier goes to do_put(_Dest, _Iosbase, _Fill, _Pt, _Specifier, _Modifier), whose returned iterator is used for the rest of the pattern. It is LibcWideTimePutPattern_nid_no_patch in libc's LocaleSupport.cpp, declared in GuestLocale.hpp (the feat(libSceLibcInternal): implement the numpunct<char> members #14373 pattern; no new libc export), because it uses libc's existing FindFacet lookup by _ZNSt5ctypeIwE2idE. The export in libSceLibcInternal calls it.
• Narrowing calls do_narrow(c, '\0'), the eleventh ctype<wchar_t> virtual in the same commit's declaration order (do_is x2, do_scan_is, do_scan_not, do_tolower x2, do_toupper x2, do_widen x2, do_narrow x2, stl/inc/xlocale L2940-L3036), with narrow(_Elem _Ch, char _Dflt = '\0'). After the four facet slots that is vtable offset 0x70, which matches the 18 slots of _ZTVSt5ctypeIwE on main (2 header + 4 facet + 12). GuestLocale::WideCtypeVtable records it with static_asserts (widen 0x60, narrow 0x70, narrowRange 0x78).
• When the stream's locale has no ctype<wchar_t> facet (the classic locale has none in libc and there is no ctype<wchar_t>::_Getcat), the pattern is narrowed as libc's existing wctob does (unit < 0x80 ? unit : -1), a non-narrowable character giving the '\0' default. Dinkumware's classic ctype<wchar_t>::_Donarrow likewise converts through the C locale and returns the default when the character has no single-byte form.
• Literal characters are written through the stream buffer as ostreambuf_iterator<wchar_t>::operator= does (if (!_Strbuf || traits_type::eq_int_type(_Traits::eof(), _Strbuf->sputc(_Right))) { _Failed = true; }, stl/inc/streambuf L555-L561): into the 16-bit put area while it has room, otherwise through overflow, whose -1 is the WEOF that libc's wide functions already use (GuestRune::Weof = 0xffffffff, fputwc returning -1). A null or failing buffer sets failed and later characters are still offered. This is the same shape as libc's existing PutCharacter for char.
• Later microsoft/STL commits added _Is_valid_strftime_specifier checks that write ?; that is a later MSVC change, not Dinkumware's, so every specifier goes to do_put, as in 219514876ea8 and the standard.

The ten stubs are removed from Err.cpp and Export.cpp; the new exports are in core/libs/prx/libSceLibcInternal/FacetPutWide.cpp. The debt file drops their ten "prototype and behavior are unverified" lines and gets one entry for what stays unverified: the console's libSceLibcInternal.sprx was not read and no title was seen calling them.

tools/progress.py collect_libraries() on origin/main b11c7bf84f and on this branch: libSceLibcInternal done 92 -> 102 (+10), todo 1045 -> 1035 (-10), no new todo name; every other library unchanged. The repository total goes from 9921 to 9931 done of 37146, so +10 done and no new todo.

Tested

• New guest test guest_libc_internal_facet_put_wide (core/libs/tests/GuestLibcInternalFacetPutWide.cpp). It resolves the ten exports by their NID export names (<NID>_nid_no_patch_cut) from the built libSceLibcInternal.prx, so the same test runs against main's stubs:
  • Each num_put<wchar_t>::put calls the do_put slot of its own value type on a recording vtable, passes the facet, stream, iterator, the value (INT64_MIN, UINT64_MAX, 0x8000000000000001, -2.5, 1.0L / 3.0L, a pointer) and a fill of U+263A (outside 8 bits, so a truncated fill would fail), writes nothing itself and returns what do_put returned.
  • time_put<wchar_t>::put(spec, mod) calls do_put once with its arguments and the wide fill and returns its iterator.
  • The pattern walk with a recording do_put: empty and plain patterns (with U+263A kept as is), a%Yb%Ec%Od%%e (four calls, in order, %% going to do_put), Q and # modifiers, unknown and null specifiers, trailing % and %E, %EE, U+FF05 and other non-ASCII characters copied rather than taken as % without a ctype<wchar_t>, a non-narrowable specifier reaching do_put as '\0', and a failed iterator returned by do_put carried through the rest of the pattern.
  • A locale holding a custom ctype<wchar_t> whose do_narrow is at 0x70: U+FF05 narrows to %, U+00C9 to E, U+00F0 to d, % to p; it is called once per examined character with a null default, literal characters keep their wide value, and a trailing U+FF05 U+00C9 is copied as U+FF05 E.
  • The stream buffer: characters fill a 3-unit put area first and the rest go through overflow; a buffer whose overflow returns -1 after two characters marks the iterator failed while all five characters are still offered; a null buffer marks it failed.
• Windows 11, WinLibs GCC 15.2.0, Release, commit 9f56f59a62: guest_libc_internal_facet_put_wide, guest_locale (the libc locale code changed here), debt_split and 39 conventions_* tests (the last 40 are checker self-tests of tools/check_conventions.py and the debt-file splitter, not tests of this change) were run 3 times with ctest -j2; 42/42 passed each time (126/126). The other two checker self-tests, conventions_wrapped_declarations and conventions_wrapped_declarations_AbiAliasTests, were run 3 times on their own: 5 of the 6 runs passed (21-29 s); the third conventions_wrapped_declarations run hit the test's 30 s ctest timeout on this loaded machine and passed on a fourth run in 22 s.
• Linux, WSL Ubuntu 22.04, GCC 11.4.0, Release, same commit: the same 44 tests (the 42 above plus both conventions_wrapped_declarations self-tests) were run 3 times with ctest -j2; 44/44 passed each time (132/132).
• Negative control on Windows and on Linux: main's Err.cpp, Export.cpp and LocaleSupport.cpp, FacetPutWide.cpp taken out of the build, and this PR's test (with this PR's GuestLocale.hpp, which only adds the vtable layouts the test uses) build, and the test fails: terminate called after throwing an instance of 'std::runtime_error', what(): sceLibcInternalPending3_129_nid_no_patch not implemented (the first export it calls, put(bool)).
• python3 tools/check_conventions.py --base origin/main printed "All conventions checks passed."
• python3 tools/pr_overlap.py --branch feat/r3-numput-wchar-put probed 1822 open PRs against main b11c7bf84f and failed closed. Its table lists only neighbouring lines, no same exports and no same new files: feat(libSceLibcInternal): construct and destroy _Locinfo and copy _Locimp as base objects #14660 (libSceLibcInternal/CMakeLists.txt L76, where this PR adds FacetPutWide.cpp and its test before Inet.cpp) and feat(libSceLibcInternal): implement the error category names and codecvt_base queries #15696 (debt file L533, near this PR's new entry). It could not compare feat(aot): consolidate native ARM64 compiler, runtime and consumers #5021, fix(libs): share Sony CRT handler and lconv state between libc and libSceAmpr #7081, feat(libc): add std::__sce_v2::_Random_device, _Fiopen and setw #9526, feat(libc): export the messages facet vtable as data #10158, fix(libc): size the codecvt facet vtable to 104 bytes #10165, feat(libc): export the numpunct facet vtable as data #10200, feat(libc): export the time_put facet vtable as data #12510, feat(libc): export the money_get facet vtable as data #12511, feat(libc): export the money_put facet vtable as data #12518, feat(libc): export the wide time_put facet vtable as data #12704, fix(relinker): match AppContent utility import to provider #13486, feat(libSceLibcInternal): implement the msun trigonometric kernels #13778, feat(libSceLibcInternal): implement floating-point word access #13782, docs(debt): separate entries with blank lines and drop derived export totals #14212, feat(libSceLibcInternal): implement zero-return showmanyc exports #14401, feat(libSceLibcInternal): implement the placement operator delete and delete[] #14837 and feat(libSceLibcInternal): implement std::_MP_Add, _MP_Get, _MP_Mul and _MP_Rem #14936. I took the diff of all 19 (gh pr diff; for feat(aot): consolidate native ARM64 compiler, runtime and consumers #5021, which is too large for that, the libSceLibcInternal, LocaleSupport and GuestLocale file patches from the pull request files API) and searched every added and removed line for the ten NIDs, the num_put/time_put wchar_t 3put mangled names, the ten stub names (Pending3_128-Pending3_135, Pending4_071, Pending4_072), LibcWideTimePutPattern, PutWideCharacter, NarrowWide, WideNumPutVtable, WideTimePutVtable, WideCtypeVtable and FacetPutWide. None has a hit (0 lines in each of the 19), so none implements these functions or edits the stub lines this PR removes. Whichever of the neighbouring PRs merges second needs a rebase.
• git merge-tree merges this branch without conflicts into b11c7bf84f, into feat(libSceLibcInternal): implement num_put<char>::put and time_put<char>::put #15715 (feat/r2-numput-char-put) and into feat(libc): implement the ctype<char> widen and narrow members #15714 (feat/r2-ctype-char-widen).
• No title was run.

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 under Silent stubs in their library's technical debt file
• 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: none
• Fixes: none
• Unblocks: none
• GPUs tested: n/a
• AI-assisted: yes

🤖 Generated with Claude Code

[github-actions]

Thank you for your contribution! Authors with no pull requests merged into main can have 1 open pull request at a time, authors with at least 1 merged can have 20, and from 20 merged there is no limit. This PR has been automatically closed and labeled "open PR limit" because that limit was reached. This is not a judgment of the quality of your changes: reopen it once one of your open pull requests is merged or closed.

[JJenkx]

Windows check of head 9f56f59a62, which already contains main b11c7bf84f.

Setup: Windows 11 Enterprise 22621, WinLibs GCC 15.2 UCRT, Release. The hosted Windows check does not run this test on pull requests.

• guest_libc_internal_facet_put_wide passes in 3 of 3 runs. The host wchar_t is 16-bit on Windows, against the guest's 32-bit one.

AI-assisted: yes.