That is exactly how the mechanism works. Currently, our contract verifies details against the identity registry whenever fractions are generated, declining to mint for any user who is not registered and KYC-approved.