Lispex выбирает закрытый и проверяемый профиль: меньше зависимых от среды решений, явные исключения и один семантический авторитет для всех бэкендов.
Текущие гарантии
- Детерминизм — часть идентичности языка, а не только удобство тестирования.
- Неподдерживаемое поведение завершается явно, без отката к глобалам среды или платформенным библиотекам.
- Свидетельства ограничены именованными запусками и происхождением и не превращаются молча в доказательство.
Границы
- Сокращения области — осознанные решения совместимости, а не обещание повторить каждый Scheme.
- Будущие бэкенды реализуют профиль, а не переопределяют его.