Quinelings: Hoskinson представил воспроизводимые программы для агентов AI

Charles Hoskinson представил Quinelings 19 октября, описав их как самовоспроизводящиеся цифровые формы жизни, целиком состоящие из кода. Проект совмещает исполняемые задачи с математическими существами, чью структуру пользователи могут исследовать. Выпущенный под лицензией Apache-2.0, он появляется вместе с видением Hoskinson под названием Nightframes, которое предполагает приватных постоянно активных агентов AI.

Как Quinelings делают операции программы наглядными

Один Quineling содержит определенную задачу, инструкции для ее выполнения и математическое описание своего тела. Отдельные операции соответствуют частям существа, формируя визуальный индекс программы.

Выбор операции показывает ее связи и после выполнения зафиксированные входы и выходы. Пользователи могут проследить, как переданные данные проходят через вычисление и влияют на результат.

Название отсылает к quine, программе, которая выводит собственный исходный код. Quinelings воспроизводят полный исходник, который включает их задачу и визуальный дизайн. Этот исходник можно загрузить в чистую среду исполнения, запустить снова и сверить с оригиналом.

В проекте эти объекты называются Living Thoughts. Термин относится к явно объявленным исполняемым задачам. Их видимая структура позволяет пользователям изучать инструкции и журнал выполнения, а не пытаться разгадать скрытое рассуждение языковой модели.

Внешний вид и идентичность разделены. Две программы могут выглядеть похоже, тогда как их точная идентичность зависит от исходника. Специальные математические и RGB кодировки дают дополнительные способы восстановить этот исходник.

Планирование маршрута, библиотеки задач и потомки программ

Главная страница демонстрирует планировщик маршрута, реагирующий на закрытие моста. Пользователи могут сравнить получившийся маршрут, изучить соответствующие операции и воспроизвести отдельную копию, которую можно запускать самостоятельно.

Демонстрация связывает заметное изменение обстоятельств с прослеживаемым вычислением. Перемещение по анимации или выбор части тела не выполняет задачу повторно.

Среди других доступных примеров сложение измерений уровня воды, планирование задач с зависимостями, оценка предложений и согласование частично подтвержденных результатов. Каждый пример определяет принимаемые входные данные и выполняемое вычисление.

Экспериментальный Ranch добавляет композицию. Две программы могут внести свою логику в нового «потомка» по заданным правилам. В одном описанном примере расчет среднего уровня воды связывается с задачей распределения ресурсов. Получившаяся программа вычисляет, сколько можно выделить и что остается, при этом объединенная логика сохраняется в ее исходнике.

Разработчики могут работать с этими возможностями через TypeScript SDK. Адаптеры MCP и A2A предоставляют интерфейсы для подключения систем AI к инструментам проекта и обмена запросами агентов. Поддерживаемые операции включают компиляцию, инспекцию, проверку, запуск и воспроизведение задач.

В репозитории также есть доказательства на Lean, модели Quint и тесты реализации. В документации различаются проверенные свойства и работа, которая пока не доказана.

Как Quinelings вписываются в видение Nightframes

На мероприятии Midnight City Tokyo 10 октября Hoskinson представил Nightframes как видение приватных программ, которые остаются активными и работают над целями своих владельцев. В отчете Input Output был сделан акцент на контроле пользователей над персональными данными, идентичностью и деньгами, а Midnight City предоставляет среду для исследования взаимодействий агентов.

Quinelings отвечают на более узкий вопрос в рамках этого направления. Как упаковать вычислительную задачу так, чтобы можно было изучить и воспроизвести ее инструкции, структуру и результаты. Их потенциальная роль как компонентов более крупных агентных систем пока остается на уровне концепции.

Текущий прототип работает локально, без подключения к Midnight City и без возможности воспроизвести живого агента City. Его имитируемые действия не могут переводить средства и выполнять внешнюю работу, а также не дают автоматического доступа к сетевым механизмам приватности midnight. Непрерывная работа и приватное исполнение требуют отдельной инфраструктуры.

Для разработчиков в экосистемах Cardano и midnight доступной отправной точкой является воспроизводимая задача с просматриваемым журналом исполнения. В примере с закрытием моста другой разработчик может взять выведенный исходник, подать те же карту и данные о закрытии и проверить, дает ли новая копия тот же маршрут. Вычисление может перемещаться вместе с кодом, который нужен для его изучения.