Skip to content

fix(pj_plugins): entry-point symbol provenance + modern platform loaders (0.23.0) - #175

Merged
facontidavide merged 5 commits into
mainfrom
fix/loader-symbol-provenance
Aug 11, 2026
Merged

fix(pj_plugins): entry-point symbol provenance + modern platform loaders (0.23.0)#175
facontidavide merged 5 commits into
mainfrom
fix/loader-symbol-provenance

Conversation

@facontidavide

Copy link
Copy Markdown
Contributor

Implements the SDK half of PJ4 marketplace plan row 12b.

What

  • Symbol provenance: pj_plugin_abi_version and every PJ_get_*_vtable entry point must resolve from the candidate DSO itself. POSIX: dladdr compared byte-first against the recorded absolute dlopen path (zero filesystem access on the fast path; std::filesystem::equivalent fallback), so deferred dialog resolution survives file deletion and CWD changes. macOS adds RTLD_FIRST. Windows: GetModuleHandleExW(FROM_ADDRESS) closes the PE forwarded-export hole.
  • Modern Windows loading: LoadLibraryExW + LOAD_LIBRARY_SEARCH_DLL_LOAD_DIR|DEFAULT_DIRS in both loaders — CWD and PATH no longer resolve plugin dependencies. Loader signatures are path-typed with internal absolute normalization; the native-parser narrow API keeps its strict UTF-8 contract.
  • Single-open adoption API for the PJ4 admission helper: non-owning adopt, loadFromHandle on all four families (validation chain identical to load()), handle-based inspectPluginDso, provenance-checked family enumeration.
  • Rpath standardization: plugin targets get INSTALL_RPATH $ORIGIN / @loader_path (build rpaths untouched).

Verification

  • New tests: EntryPointSymbolResolvedFromDependencyIsRejected (first two-DSO fixture in the repo, both weak-symbol directions), DependencySearchExcludesCwdAndPath, UnicodeExtensionPathLoadsOnWindows, DialogVtableSurvivesCandidateFileDeletion, DialogVtableSurvivesCwdChangeAfterRelativeLoad, NativeParserNarrowPathIsUtf8, Windows-only ForwardedEntryPointIsRejected.
  • Two-round review (probe-licensed correctness + cold session); every surviving finding fixed TDD-first in the second commit.
  • Full suite 74/74; abi/baseline.abi untouched; zero behavior change for well-formed plugins (declined alternatives documented: no RTLD_NODELETE contract, no RTLD_DEEPBIND, no dlmopen).

Note: open PR #173 also stages VERSION 0.23.0 — whichever lands second rebases its version/changelog heading (the release workflow hard-fails on tag/VERSION mismatch, so this cannot ship wrong).

🤖 Generated with Claude Code

https://claude.ai/code/session_0165qLfnJYSYb51NQMdPidZr

facontidavide and others added 5 commits August 11, 2026 08:02
…ers (0.23.0)

Resolve pj_plugin_abi_version and the PJ_get_*_vtable entry points
strictly from the candidate DSO: dladdr + filesystem::equivalent identity
on Linux, RTLD_FIRST on macOS, module-scoped GetProcAddress unchanged on
Windows. Replace LoadLibraryExA + LOAD_WITH_ALTERED_SEARCH_PATH with
LoadLibraryExW + DLL_LOAD_DIR|DEFAULT_DIRS in both loaders (CWD and PATH
no longer resolve dependencies), make loader signatures path-typed with
internal absolute-path normalization, and delete the ACP/UTF-8 contract
mismatch. Add the single-open adoption API (non-owning adopt,
loadFromHandle on all four families, handle-based inspection, provenance-
checked family enumeration) for the admission helper. Standardize plugin
install rpaths ($ORIGIN / @loader_path). Tests: two-DSO provenance
fixtures in both directions, Unicode paths, CWD/PATH decoys.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0165qLfnJYSYb51NQMdPidZr
Record the normalized absolute dlopen path and prove provenance against
it byte-first (deferred dialog resolution survives file deletion and CWD
changes); restore the UTF-8 contract of the narrow native-parser API on
Windows; normalize native-parser paths to absolute; verify Windows
provenance via GetModuleHandleExW(FROM_ADDRESS) so PE forwarded exports
are rejected; route native-parser symbols through the shared provenance
resolver with RTLD_FIRST on macOS.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0165qLfnJYSYb51NQMdPidZr
…rded provenance paths

The forwarder fixture uses true forwarder syntax against the donor DLL
basename; load-time identity records both the exact absolute loader
argument and its weakly_canonical form so dyld's realpath dli_fname
byte-matches without live filesystem access (deletion test now also
loads through a symlinked directory to reproduce the macOS shape on
Linux).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0165qLfnJYSYb51NQMdPidZr
…f entry

MSVC LINK parses the .def EXPORTS forwarder entry as an internal-name
alias and demands a local definition (LNK2001 in two CI rounds); the
/export linker-directive form emits a true forwarder.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0165qLfnJYSYb51NQMdPidZr
…emantics

Rename instead of delete the mapped candidate on Windows (deletion of a
mapped image is impossible there; deferred resolution must survive the
path vanishing either way), and emit the real dependency fixture into
its own directory so LOAD_LIBRARY_SEARCH_APPLICATION_DIR cannot resolve
it from beside the test executable and defeat the decoy-only case.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0165qLfnJYSYb51NQMdPidZr
@facontidavide
facontidavide merged commit 1d322d3 into main Aug 11, 2026
7 checks passed
@facontidavide
facontidavide deleted the fix/loader-symbol-provenance branch August 11, 2026 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant