Proof/Linux kernel
Four accepted mainline fixes across two subsystems.
Linux contribution credit is represented exactly as recorded upstream. Two patches were authored and signed off by Charles Vosburgh; two accepted KSMBD fixes carry Reported-by: Charles Vosburgh with patches authored by Namjae Jeon. The first authored SCTP fix has six verified stable-tree backports.
| Mainline commit | Subsystem | Contribution | Role | Release | SecHive |
|---|---|---|---|---|---|
| 74b21f52c5c5 | net/sctpmainline | sctp: validate Adaptation Indication parameter length | Patch author · Signed-off-by | Linux 7.2 · 6 stable releases | Write-up → |
| 6cfc1b90cb86 | net/sctpmainline | sctp: validate chunk length in the inqueue parser | Patch author · Signed-off-by | Mainline · applied to netdev/net.git 2026-08-30 | Write-up → |
| e148e567a925 | fs/smb/servermainline | ksmbd: preserve VFS inherited POSIX ACL mask | Reported-by · patch by Namjae Jeon | Linux 7.2 · first in 7.2-rc5 | Write-up → |
| 2bebf2470af1 | fs/smb/servermainline | ksmbd: enforce signing required by the session | Reported-by · patch by Namjae Jeon | First in Linux 7.2-rc5 | Write-up → |
Credit is recorded, not rounded up.
Reporting a kernel bug and authoring the accepted patch are different contributions. Both matter; conflating them does not help anyone reading the record.
Patch author
Two mainline patches carry Charles Vosburgh as author. For 74b21f52c5c5, the commit records:
Signed-off-by: Charles Vosburgh <trilobyte777@gmail.com>
Acked-by: Xin Long <lucien.xin@gmail.com>
Signed-off-by: Jakub Kicinski <kuba@kernel.org>Reporter
For the two KSMBD fixes, the mainline commits record Reported-by: Charles Vosburgh. Namjae Jeon authored both accepted patches and Steve French signed them into the SMB tree; ChenXiaoSong tested and reviewed the signing fix. The write-ups preserve that distinction rather than presenting reporting credit as patch authorship.
What the write-ups separate
- patch authorship,
Signed-off-by,Reported-by, review and maintainer credit; - behaviour demonstrated during research versus behaviour inferred from source;
- public upstream version boundaries versus independently checked releases;
- the original failure mode versus the invariant restored by the accepted patch;
- mainline inclusion versus stable backports independently established.