Закрытие из-за побочных эффектов: ворота радиуса взрыва для патчей агентов

Патч агента может пройти каждый модульный тест и по-прежнему писать за пределами рабочей области, вызывать необъявленный инструмент или читать ключ env, который задача никогда не называла. Сначала войдите в радиус взрыва. Оцените прозу позже. Эта статья — метод, а не полевой отчет. Он предлагает защищенный конверт вокруг корней файловой системы, имен инструментов, ключей среды и сетевых хостов. Нарушения побочных эффектов никогда не замораживаются. Только двустороннее разногласие по поводу собственности, не являющейся конвертом, может быть заморожено, и только с хешированным пакетом доказательств. Вывод в одном правиле Считайте патч агента изменением возможностей. Если проход касается чего-либо за пределами заявленного конверта, ворота не закрываются. Неточности в ранжировании, формулировках или задержке не отменяют этого правила. Дешевая генерация не приводит к тому, что побочные эффекты можно легко устранить. Зеленый пакет, который никогда не отслеживал /tmp, os.environ или исходящие сокеты, не является результатом проверки. Это отсутствующий наблюдатель. Чем не являются эти ворота Это не золотой файл модельного текста. Это не показатель мутации. Это не полный повтор после каждого кадра. Он отвечает всего на четыре вопроса: Прогон записывал или удалял внешние разрешенные корни? Вызвал ли он имя инструмента, которого нет в белом списке? Сделал это