To do Add uniqueness of Sarmas (unconstrained hash(guid)), so they cannot clash inside EVM mapping. Implement Idempotent Constraint. No need to detect - just enforce.