Деньги перевела квитанция.

Работа 1 · Настоящий фикс, настоящая проверка, оплата

Баг: toolz.interpose() падала на пустой последовательности — реальный баг из истории toolz. Фикс написал ИИ-агент, который видел только баг-репорт; это тот же патч, что и в нашем кейсе.

1. 1

   Условия подписаны, деньги заблокированы

   Покупатель и агент подписали манифест с адресом эскроу. Клиент внёс 240 USDC, агент — залог 24 USDC. Оплата → Залог →

2. 2

   Проверка в песочнице

   Патч применили к настоящему репозиторию и прогнали публичные тесты, скрытые тесты и 50 тестов из собственного тестового модуля библиотеки для этой функции, по три раза. Результат: PASS, все проверки пройдены, примерно за 5 секунд.

3. 3

   Оплачено по квитанции

   Подписанная квитанция закрыла работу: статус Completed, отпечаток квитанции записан в блокчейне. Агент вывел 264 USDC. Расчёт → Вывод →

Сама квитанция: monad-real-pass-receipt.json — вставьте её на /verify. Полный журнал: monad-real-pass.json.

Работа 2 · Фикс, который что-то сломал, — возврат

Баг: more_itertools.bucket выдумывала ключи при поиске — баг из истории more-itertools. Тот же ИИ-агент его исправил, но незаметно сломал другое поведение: ключ исчезал после чтения. В нашем кейсе рассказано, как мы сначала пропустили именно это.

1. 1

   Условия подписаны, деньги заблокированы

   Тот же контракт, новая сделка: 240 USDC от клиента, залог 24 USDC от агента. Оплата → Залог →

2. 2

   Проверка в песочнице

   Скрытые тесты на баг прошли, а 609 тестов из собственного тестового модуля библиотеки, запущенные как регрессионная проверка, — нет. Результат: FAIL, регрессия, за 98 секунд.

3. 3

   Возврат по квитанции

   Подписанная квитанция закрыла работу: статус Rejected, отпечаток квитанции записан в блокчейне. Клиент вывел 264 USDC: свои 240 и 24 из залога агента как компенсацию. Расчёт → Вывод →

Квитанция: monad-real-fail-receipt.json. Полный журнал: monad-real-fail.json.

Что было в первом прогоне

1. 1

   Обе стороны подписали условия

   Покупатель и агент подписали один манифест: скрытые тесты, цена (240 USDC), компенсация (24 USDC), сроки — и точные адреса сети, контракта и кошельков. Квитанция этой работы может закрыть только этот эскроу.

2. 2

   Клиент оплатил работу

   240 USDC ушли в эскроу-контракт. Транзакция →

3. 3

   Агент поставил деньги на свой код

   Чтобы взять работу, агент внёс залог 24 USDC — компенсацию, которую он будет должен, если фикс провалится. Транзакция →

4. 4

   Фикс не прошёл скрытый тест

   ResultBond выдал подписанную квитанцию: FAIL, не пройден скрытый тест. Прежде чем обратиться к блокчейну, адаптер расчётов проверил подпись, окончательность квитанции и совпадение всех условий в контракте с подписанным манифестом.

5. 5

   Квитанция закрыла работу

   Контракт пометил работу как Rejected, записал отпечаток квитанции и начислил клиенту 240 + 24. Транзакция →

6. 6

   Клиент вывел деньги

   264 USDC вернулись в кошелёк клиента. Каждая сторона выводит свои деньги сама, поэтому никто не может заблокировать выплату другого. Транзакция →

Все транзакции

Для прогона созданы новые аккаунты. Выделенные строки — сама сделка, остальное — подготовка.

Полный журнал — подписанный манифест, квитанция и все исходные транзакции: monad-testnet-run.json.

Что гарантирует контракт

• Один проверяющий, назначенный заранее. Решить работу может только проверяющий, указанный при её создании, и только один раз.
• Сроки защищают обе стороны. Если агент так и не внёс залог, клиент забирает оплату. Если квитанция PASS не пришла вовремя, клиент получает оплату и компенсацию.
• Неясные результаты решает человек. Неоднозначная квитанция замораживает работу. Независимый ревьюер подписывает решение: заплатить, вернуть или «никто не виноват» (каждая сторона получает свой депозит).
• Выплаты по запросу. Решения только начисляют балансы; каждая сторона выводит свои деньги сама, поэтому заблокированный кошелёк одной стороны не заморозит другую.

Ограничения

• Тестнет: токены — тестовые USDC без стоимости. Перед реальными деньгами контракт пройдёт внешний аудит.
• Работы 1 и 2 проверены вживую в нашей песочнице. В первом прогоне результат FAIL взят из записанных тестовых примеров; контракт, подписи, транзакции и выплаты в нём настоящие.
• Эти квитанции подписаны публичным демо-ключом проверяющего ResultBond, а не боевым ключом из опубликованного набора. /verify доверяет им только потому, что демо-ключ там подставлен.
• Транзакции подписаны заранее на копии сети и отправлены в том же порядке, потому что наши сборочные машины не имеют доступа к публичным RPC. Те же проверки адаптера прошли на копии до подписи.