> But, what concerns me is that they don't seem to acknowledge that parts of the system contain proprietary software.

They do acknowledge it:

https://puri.sm/learn/software-freedom-in-perspective/

https://puri.sm/learn/freedom-roadmap/