> Concepts you take for granted like identity, time, causality... all of that stuff needs to be fleshed out carefully and precisely in the formalism for facts to be relatable to each other (or even expressible in the first place).

Yes, and different formalisations of identity apply in different contexts.

Eg remember the famous line about not being able to step in the same river twice.