[backport v4.32.0] feat: distinguish original-source identities - #360

[backport v4.32.0] feat: distinguish original-source identities#360

ejgallego wants to merge 2 commits into

v4.32.0leanprover/verso-blueprint:v4.32.0from

feat/backport-v432-source-reference-identityleanprover/verso-blueprint:feat/backport-v432-source-reference-identityCopy head branch name to clipboard