sliiiiightly obscure in that it seems to use the ULD drivers (or a variant of); HP's "unified linux driver" that talks Samsung's printing language. it's weird.

https://wiki.debian.org/CUPSPrintQueues#hpuld

claude seems to have realized it was one of the samsung printer variants and just shoehorned in a samsung MFP driver to the OS.