GPL-3.0 compliance question: closed-source injector PreLoad.NET.dll and missing corresponding source

[lfstartwq]

You release BedrockBoot under GPLv3. I checked the repo against that license and found five issues. Each item points to exact files and license sections.

1. PreLoad.NET.dll ships as a closed binary and appears to derive from the GPL project PreLoadCpp.

Path: src/BedrockBoot.Dependence/Dependence/PreLoad.NET.dll. The launcher embeds it as a resource and injects it into the game executable (ModsCore.cs, PreLoaderNet.cs).

The binary carries nine function names defined in src/PreLoadCpp/src/dllmain.cpp, a GPL-3.0 project: HookedNtCreateFile, HookedNtOpenFile, HookedNtQueryAttributesFile, HookedNtQueryFullAttributesFile, HookedNtSetInformationFile, HookedNtDeleteFile, HookedNtQueryDirectoryFile, HookedNtCreateSection, LoadPreloadDlls.

The same file carries (c) Round-Studio. All rights reserved. and a PDB path from a private build: D:\a\PreLoad.NET\PreLoad.NET\src\PreLoad.NET\bin\Release\net9.0\win-x64\native\PreLoad.NET.pdb. https://github.com/Round-Studio/PreLoad.NET returns 404. Commit 1646d25e shows the project switched from PreloadCpp.dll to PreLoad.NET.dll, and the About page credits PreLoadCpp but not the DLL that replaced it.

If PreLoad.NET is a port of the GPL-3.0 PreLoadCpp, releasing it closed violates GPLv3 sections 0, 4 and 5. If it is a separate codebase, you still owe corresponding source for it (section 6).

2. Releases carry binaries only, and part of the corresponding source is missing (GPLv3 section 6).

main_publish.yml uploads only *.exe and *.AppImage. The git tag does supply source for most of the program, but no source exists anywhere for the embedded PreLoad.NET.dll, so the corresponding source you offer is incomplete.

3. The PaperConnect submodule has no license.

Round-Studio/PaperConnect is public, 49 commits, no LICENSE. The in-repo modules Wallpaper and Wallpaper.Avalonia also lack one. Unlicensed code defaults to all rights reserved, so those parts carry no GPL grant. Users cannot legally reproduce them, and folding them into a GPLv3 release widens the gap between what the README claims and what the code grants.

4. The README adds terms the LICENSE does not contain.

LICENSE is the standard GPL-3.0 text. README.md adds two conditions: modified builds must rename, and built-in copyright notices stay intact. The two documents conflict. Under section 7 most such further restrictions are void, so the terms grant nothing they claim to.

5. Main source files carry no license headers.

705 source files in the main modules have no copyright or license header. The GPL appendix asks each file to state the copyright line and point to the license. Without headers, license coverage becomes untraceable.