Иван, для проверки корректности без сохранения - предлагаю вам воспользоваться командой Analyze. Повесьте ее себе на Ctrl+Space.

Но чем помешает сохранение, если вам нужно проверить корректность - мне непонятно.
Соображения о мучениях SSD диска - невесомы без цифр; неинженерны.

Далее я изложу свои соображения об удобном поведении среды.

Компиляция несохраненного текста, который начинается с MODULE ThisModule - в моей вселенной не вызывает диалоговых окон типа "Куда сохранить", а напрямую создает файл This/Mod/Module.odc.

Автосохранение, по мне, должно быть не перед компиляцией, а непрерывное. Я - человек-программист, текст передо мной, я его изменяю. Что такое сохранение?! это пережиточное понятие вообще. Да, у него есть побочный эффект, которым мы привыкли пользоваться - можно поправить и несохранить, а потом вернуться - но это побочный эффект, актуален в силу отсутствия версионности или хотя бы сохранения истории операций.

Хорошо, что мой блокнот и перьевая ручка спроектированы без операции "сохранить".

И то, что где-то есть "прочие артефакты" - машкодовый файл и символьный файл - это издержки реализации. Учащихся и прикладных программистов можно бы и не грузить этим, тем более проблемами из-за рассинхронизации этих артефактов. И даже системным программистам ББ до этого есть дело только в той части, где этот зоопарк файлов обслуживается и сокрывается.

Ведь - подумать только! - есть Текст, Текстовый файл, Кодовый файл, Символьный файл, и еще собственно Подключенный  модуль. Оккам плачет с бритвой.

В Сообщении о Языке говорится о модулях: "A module is a collection of ... . ...when the module is added to a system (loaded)..."
Таким образом, 1) модуль существует и 2) модуль может быть, а может не быть добавлен в систему, и есть момент, когда он добавляется в систему. Ну, или подключается, сейчас мне такой термин нравится.

В моем понимании все артефакты и ипостаси сверх этого - издержки реализации. Нужно повышать уровень абстракции, в частности, абстрагируясь (т.е. отдаляясь) от файлов.