「Cyclone Core」には数学的証明が与えられた性質が存在している(>>319)

しかし

①「Cyclone」にあった性質(*)が実際に「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)

②「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない

③「Rust」で付け加えた性質には、「何の証明」も与えられていない

④「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない

これが正しい論理的思考

④を認めるのが「都合が悪い」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。