Лиспекс отделяет наблюдение правила от эффектов приложения. Гостевой вывод входит в детерминированную трассу, а хост-приложение владеет операционной средой.
Процедуры вывода
(begin (display "answer=") (write 42) (newline) 0)Наблюдаемый результат
answer=42
0display пишет текст для человека, write использует читаемую гостевую
нотацию, newline пишет один перевод строки, а println соединяет display с
переводом строки. Все четыре процедуры возвращают ноль значений. Явный вывод
сохраняет порядок с автопечатью CLI, а квитанции отдельно записывают
завершённые корневые значения.
Именованный ресурсный профиль задаёт предел байтов вывода. Последующая диагностика сохраняет уже записанный вывод в наблюдении.
Владельцы возможностей
| Операция | Владелец |
|---|---|
| читаемый вывод значения | write Лиспекса |
| текст для человека | display, newline и println Лиспекса |
| выбор файла исходника и stdin | вызов CLI |
| файлы и сеть | адаптер хост-приложения |
| часы и случайность | явный ввод приложения |
| база данных и транзакция | машина состояний хост-приложения |
| платёж, развёртывание и внешнее действие | политика приложения после локальной проверки допуска |
Native MCP передаёт исходник и необязательный datum через локальный stdio и возвращает наблюдение с объявленными значениями байтов и времени. Адаптер приложения передаёт проверенные данные в правило и использует решение.