mirage は何をしますか?
新しいMPK CUDAカーネル(include/mirage/persistent_kernel/tasks/下のタスクごとの.cuhファイル)の作成または最適化が必要で、かつカーネルオプティマイザーが自身の正しさをテストで偽装することを証明可能に打ち負かす必要がある場合に使用します。これは凍結ゲートのFerretシステムです。3エージェント構成(ディスパッチャー→独立テストライター→オプティマイザー)により、「オプティマイザーが簡略化された数学カーネルを出荷し、自己申告でテスト合格とする」ことを構造的に不可能にします。トリガーフレーズ例:「dispatch ferret to optimize」