Apologies if I misunderstand - this sounds like a question of how to implement it, not whether it is possible? It certainly sounds possible: the hypothetical software will import an IFC, check matching GUIDs, and merge Psets.
Are you asking for a script that does this? I suspect it would be relatively trivial with IfcOpenShell.
I think this also goes back to my question about including and instancing another IFC file:
You can vote for that issue - I think it’s the way forward.