I.D92 — Identity-Faithful Reception

Identity-faithful reception: a VM system S can receive tau ontically only if there exists an interpretation functor P: C_tau -> C_S that is faithful on identity — reflects equality/isomorphism back to tau-identity, preserves identity morphisms, and maps distinct tau-objects to distinct S-objects.