В файле b.lsp всего одна строчка
(load "c.lsp")
В файле c.lsp всего одна строчка
(load "b.lsp")
Формально никаких ошибок нет в коде обеих файлов, но автокад упадет из-за рекурсивной загрузки этих двух лиспов.

Как правило в лисп-коде хранятся только определения функций, то есть вызывается только функция defun, поэтому возникает заблуждение, что лисп-код при загрузке не выполняется. Но если вставить в код вызов определенной в файле функции после описания функции, то она выполнится, если до, то произойдет ошибка (функция не определена).
На самом деле при загрузке лисп-файла лисп-код выполняется полностью и возвращается результат последнего вычисленного выражения. Если в коде есть ошибка, то загрузка/выполнение кода останавливается, возвращается сообщение об ошибке и переменная ERRNO получает соответствующее значение.
С другой стороны, действительно, функция defun воспринимает "тело функции", свой "последний аргумент", как единое выражение, которое не вычисляется, и проверяется только его синтаксис. Оно будет вычислено только при вызове определенной функции.
И еще не стоит забывать про функцию autoload которая загружает автоматически нужный лисп при вызове команды.
Ну и наконец, использование функции defun абсолютно не обязательно, если вы не сторонник структурного программирования. Достаточно на макрос повесить функцию load с соответствующим файлом и его код выполнится при нажатии на соответствующую кнопку.