[BunnyFl]

What

The sceSaveDataGetProgress entry in docs/dev/debt/libSceSaveData.native.md, merged with #15077, says three things that firmware 13.42 settles otherwise:

• it takes the float* parameter from the OpenOrbis headers and shadPS4 and says "the PS5 module may differ";
• it plans to take the value from sceSaveDataBackup's own copy, as shadPS4 does;
• it waits on fix(libSceSaveData.native): validate guest pointers across convert, backup, mount, and icon operations #15042 for that mapping.

The entry now says what firmware 13.42's libSceSaveData.sprx does. The export stays NotImplemented_nid_no_patch; no code changes.

Source: firmware 13.42 libSceSaveData.sprx (sha256 1d214285f188f1c0821a611a08345833dd379cee547d5834e64228cde906a567), export ANmSWUiyyGQ at 0x39af0. Read from disassembly only, not measured on a console:

39b00: ctx = [0x64040] ; test ctx ; je 39b3b    ; 39b3b: 0x809f0001, no library context
39b05: (ctx->state & ~1) != 2 -> 0x809f0000      ; state gate before the pointer is looked at
39b1b: call 0x1d6c0(ctx, progress)
  1d6dc: ctx[0x38] < 0 -> return it
  1d6eb: ctx[0x10] == NULL -> 0x809f8002
  1d6f0: progress == NULL -> 0x809f8004
  1d74e: call 0x1a0a0(conn, request 5, ..., 0x80-byte reply)   ; save-data service request
  1d757: vmovss xmm0, [reply] ; vmovss [progress], xmm0           ; float stored through the pointer
39b28: on a negative result, tail-calls 0x1d480(ctx, 5)

So the value comes from the save-data service, and mapping it to the library's backup copy would be a host model rather than the console's behaviour. I left out 0x809F8002 and the 0x1d480 error path from the entry, since neither is traced to a caller-visible meaning.

• Docs only; one line in docs/dev/debt/libSceSaveData.native.md (760 characters).

Tested

• Documentation only; no build.
• py -3 tools/check_conventions.py --base upstream/main: all checks pass.
• py -3 tools/pr_overlap.py --branch docs/savedata-getprogress-firmware: it lists feat(libSceSaveData): initialize through sceSaveDataInitialize2 #12625, feat(libSceSaveData): implement sceSaveDataCheckBackupData, sceSaveDataRestoreBackupData and sceSaveDataUmountWithBackup #12748, feat(libSceSaveData): deliver backup completions to a registered event callback #13551, fix(libSceSaveData): keep sceSaveDataGetMountedSaveDataCount unimplemented #14150, docs(debt): separate entries with blank lines and drop derived export totals #14212 and feat(libSceSaveData): answer the save point, client priority and debug thread id calls as firmware 13.42 does #14908 as sharing the debt file without a comparison. I read each diff: none implements or rewrites this entry. feat(libSceSaveData): initialize through sceSaveDataInitialize2 #12625 adds an older copy of it, and the others only carry it as context.

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
• Depends on: none
• Fixes: none
• Unblocks: none
• GPUs tested: n/a
• AI-assisted: yes

🤖 Generated with Claude Code

[oneandonlydean]

Hi BunnyFl, could you qualify the new validation-order sentence with the internal status and connection checks from your trace? The helper returns ctx[0x38] when negative and checks ctx[0x10] before it tests progress, so “then 0x809F8004 for a null pointer, and otherwise sends request 5” reads more definitively than the shown paths support. Saying that the pointer check follows those helper checks and that a successful service reply supplies the float would retain the useful source finding without assigning a caller-visible meaning to the untraced errors.

[github-actions]

Other open pull requests touch the same code. Merging one will break the other, or both implement the same thing. If this one builds on them, list them in Depends on.

Pull request	Conflicting files (lines on main)	Same exports	Same new files
PR 12748	docs/dev/debt/libSceSaveData.native.md L24-25

Some comparisons could not be completed because a pull request conflicts with the base branch. Review these shared files manually before concluding that there is no overlap.

Pull request	Shared files not compared
PR 8630	docs/dev/debt/libSceSaveData.native.md
PR 12625	docs/dev/debt/libSceSaveData.native.md
PR 13551	docs/dev/debt/libSceSaveData.native.md
PR 14150	docs/dev/debt/libSceSaveData.native.md
PR 14212	docs/dev/debt/libSceSaveData.native.md

[BunnyFl]

@oneandonlydean Thanks, done in c1939a16e5. The sentence now says the pointer goes to an internal helper that first checks its own status and connection fields, whose results aren't traced, and only then returns 0x809F8004 for a null pointer. Past those checks it sends request 5, and a successful reply supplies the stored float. The entry is 913 characters, and check_conventions.py passes.

AI-assisted: yes (Claude Code)