もし何らかの理由でアルゴリズムが実際に「修正」されたとしても、CTはその点で完全な信頼性を得ます