@rt-tools/agent-kit 0.14.0 → 0.16.0

package/assets/laws/project-documentation.md

@@ -6,92 +6,88 @@
 старше.
 
 ## Статьи
-
-- **У документа заранее задан набор разделов, и отсутствие раздела — отказ.** Требования,
-  для которых не заведено места, вспоминаются уже после выкатки.
-- **Каждое утверждение документа привязано к месту, где оно исполняется.** Утверждение без
-  такого места — намерение, и называть его действующим нельзя.
-- **Предстоящая работа перечислена в одном месте — в очереди работ.** Документ второго списка
-  не заводит: два списка об одной работе расходятся молча, и по ним потом не понять, что
-  сделано, а что нет. Документу остаётся то, что задачей не бывает, — договорённость и
-  решение, которое решено не править.
-- **Привязка не ведёт в код, который никто не зовёт.** Объявленный и никем не используемый
-  символ ничего не исполняет, а проверка на нём остаётся зелёной.
-- **Путь, названный в документе, существует.** Ссылка на переехавший файл читается как
-  действующее указание, и следующий читатель заводит снятое заново.
+- **У документа заранее задан набор разделов, и отсутствие раздела — отказ.** Требования, для
+  которых не заведено места, вспоминаются уже после выкатки.
+- **Каждое утверждение документа привязано к месту, где оно исполняется.** Утверждение без такого
+  места — намерение, и называть его действующим нельзя.
+- **Предстоящая работа перечислена в одном месте — в очереди работ.** Документ второго списка не
+  заводит: два списка об одной работе расходятся молча, и по ним потом не понять, что сделано, а
+  что нет. Документу остаётся то, что задачей не бывает, — договорённость и решение, которое
+  решено не править.
+- **Привязка не ведёт в код, который никто не зовёт.** Объявленный и никем не используемый символ
+  ничего не исполняет, а проверка на нём остаётся зелёной.
+- **Путь, названный в документе, существует.** Ссылка на переехавший файл читается как действующее
+  указание, и следующий читатель заводит снятое заново.
 - **Указатель каталога перечисляет всё, что в каталоге лежит.** Записи, которой в указателе нет,
   для читателя не существует: он ищет по указателю, а не обходом каталога, и заводит разбор
   заново. Это обратная сторона предыдущей статьи — не только путь из текста ведёт в файл, но и
   файл назван в тексте, по которому его ищут.
 - **Документ, разошедшийся с приложением, правится тогда же, когда замечено расхождение.**
   Отложенная правка не случается: расхождение перестаёт быть заметным на следующий день.
-- **Расхождение чинится в той стороне, которая неправа, и это не всегда документ.**
-  Состояние, описанное как существующее, но недостижимое в приложении, — дефект приложения:
-  строка читается справкой о работающем, на неё ссылаются как на проверенное, и правка
-  документа под код закрепила бы дыру вместо того, чтобы её показать.
-- **Документ не утверждает о будущем, и следит за этим автор.** «Не планируется», «не будет»
-  — это намерение, а не свойство приложения: сверить его не с чем, и оно проходит любую
-  проверку. Машине это не поручить: открытый вопрос пишется теми же словами, что и обещание,
-  и проверка отбивала бы оба.
+- **Расхождение чинится в той стороне, которая неправа, и это не всегда документ.** Состояние,
+  описанное как существующее, но недостижимое в приложении, — дефект приложения: строка читается
+  справкой о работающем, на неё ссылаются как на проверенное, и правка документа под код закрепила
+  бы дыру вместо того, чтобы её показать.
+- **Документ не утверждает о будущем, и следит за этим автор.** «Не планируется», «не будет» — это
+  намерение, а не свойство приложения: сверить его не с чем, и оно проходит любую проверку. Машине
+  это не поручить: открытый вопрос пишется теми же словами, что и обещание, и проверка отбивала бы
+  оба.
 - **Полнота текстов проверяется и со стороны работы, а не только со стороны текста.** Обход
   написанного судит каждое утверждение, но утверждения, которого нет, в этом обходе нет тоже:
   приём, применённый и нигде не описанный, так не находится никогда. Поэтому закрытая работа
   спрашивается отдельно — оставила она след в текстах или явно его не требует.
-- **Документ утверждает о состоявшемся, а не о том, что должно сработать.** Лечение,
-  записанное готовым до того, как его прогнали, дороже отсутствия записи: следующий читатель
-  берёт его за проверенное — и берёт в тот день, когда лечение понадобилось, а времени на
-  разбор нет. Непрогнанное либо не пишется вовсе, либо названо непроверенным тем же
-  предложением.
+- **Документ утверждает о состоявшемся, а не о том, что должно сработать.** Лечение, записанное
+  готовым до того, как его прогнали, дороже отсутствия записи: следующий читатель берёт его за
+  проверенное — и берёт в тот день, когда лечение понадобилось, а времени на разбор нет.
+  Непрогнанное либо не пишется вовсе, либо названо непроверенным тем же предложением.
 - **Число в тексте пересчитывается тем же изменением, которым пишется, и за этим тоже следит
-  автор.** Устаревшее число выглядит так же, как свежее, а машине их не различить: дата,
-  версия и номер — такие же числа, и проверка, которая знает один способ записи, на другом
-  ошибается молча.
+  автор.** Устаревшее число выглядит так же, как свежее, а машине их не различить: дата, версия и
+  номер — такие же числа, и проверка, которая знает один способ записи, на другом ошибается молча.
 - **Отказ от слова распространяется на всё, что уже прочитано снаружи, а не только на файлы.**
-  Название работы, её описание и запись о правке живут вне дерева: поиск по файлам их не
-  видит, проверки текстов на них не смотрят, и отказ выглядит сделанным ровно до того, как
-  читатель наткнётся на снятое слово в заголовке. Читатель при этом заключает, что от слова
-  не отказывались вовсе.
-- **Текст, который переносится в чужое дерево, не описывает состояние этого дерева как факт.**
-  О соседней части он говорит условно и называет её по имени: что в дереве стоит, а чего нет,
-  знает само дерево, а не текст, приехавший в него. Утверждение, сказанное безусловно, врёт тем
+  Название работы, её описание и запись о правке живут вне дерева: поиск по файлам их не видит,
+  проверки текстов на них не смотрят, и отказ выглядит сделанным ровно до того, как читатель
+  наткнётся на снятое слово в заголовке. Читатель при этом заключает, что от слова не отказывались
+  вовсе.
+- **Текст, который переносится в чужое дерево, не описывает состояние этого дерева как факт.** О
+  соседней части он говорит условно и называет её по имени: что в дереве стоит, а чего нет, знает
+  само дерево, а не текст, приехавший в него. Утверждение, сказанное безусловно, врёт тем
   увереннее, что печатает его сам инструмент, — и поправить его дерево не может, если правки на
   месте у такого текста не предусмотрено.
 - **Принятое решение становится пунктом слоя правил, а не записью о прошлом.** Записанное
-  описанием прошлого перестаёт действовать в тот же день: описания прошлого не приходят в
-  контекст работы, читаются как история и ничего не требуют. Следующая работа принимает то же
-  решение заново — и принимает иначе, потому что доводов первого уже не видит.
-- **У решения есть слой, и он выбирается по тому, о чём решение говорит.** Что должно быть
-  верно в продукте — статья закона. Каким приёмом это делается здесь — пункт правила. Готовый
-  код и порядок действий — паттерн. Решение, положенное не в свой слой, находится только тем,
-  кто уже знает, что оно есть.
+  описанием прошлого перестаёт действовать в тот же день: описания прошлого не приходят в контекст
+  работы, читаются как история и ничего не требуют. Следующая работа принимает то же решение
+  заново — и принимает иначе, потому что доводов первого уже не видит.
+- **У решения есть слой, и он выбирается по тому, о чём решение говорит.** Что должно быть верно в
+  продукте — статья закона. Каким приёмом это делается здесь — пункт правила. Готовый код и
+  порядок действий — паттерн. Решение, положенное не в свой слой, находится только тем, кто уже
+  знает, что оно есть.
 - **Описание прошлого объясняет состоявшийся переезд, а не держит действующее требование.**
-  Разница видна вопросом: перестанет ли текст быть верным, если завтра всё переделать. Рассказ
-  о том, как и почему однажды перенесли, — прошлое; требование «делай так» — нет, и место ему
-  в слое правил.
+  Разница видна вопросом: перестанет ли текст быть верным, если завтра всё переделать. Рассказ о
+  том, как и почему однажды перенесли, — прошлое; требование «делай так» — нет, и место ему в слое
+  правил.
 - **Признак, по которому решение относят к прошлому, записан заранее и один на все работы.**
   Выводимый каждой работой заново, он назначается тем, кому мешает: под конец работы дешевле
   назвать прошлым всё, что осталось разобрать.
-- **Раздел решений в описании домена — временное место, а не постоянное.** Пока решение там,
-  оно действует только для того, кто открыл этот файл. Разросшийся раздел — признак того, что
-  правило под него не заведено, а не того, что домен сложный.
-- **Работа, которая переносит решения, называет для каждого, куда оно ушло.** Иначе по
-  описанию прошлого не отличить решение, ставшее правилом, от решения, потерянного при
-  переносе: оба выглядят одинаково — записью, на которую никто не ссылается.
-- **Текст, раздаваемый наружу, судится не слабее своей копии у потребителя.** Требование,
-  стоящее к копии и не стоящее к источнику, находит промах у того, кто его не делал и починить
-  не может: до потребителя промах доезжает целым, а краснеет уже там.
-- **Редакция текста, которую это дерево не выбрало, судится наравне с выбранной.**
-  Непрочитанная редакция расходится с прочитанной молча, и узнаёт об этом первый, кто её
-  выберет, — то есть тот, у кого нет ни истории расхождения, ни повода его искать.
-- **Набор обязательных разделов объявлен отдельно, и образец ему не хозяин.** Образец —
-  черновик для того, кто заводит текст, и стареет он первым. Набор, выведенный из образца, либо
-  объявляет расхождением весь корпус разом, либо не замечает ничего.
-- **Требование, которого никто не формулировал, молчит, а не отказывает.** Отказ на предмете
-  без объявленного требования гасят списком исключений, а список исключений через месяц
-  становится рабочим путём — и гасит вместе с шумом то, ради чего проверка заводилась.
-- **Два текста об одном либо говорят одно, либо один из них неправ.** Согласие текстов между
-  собой не следует ни из целостности ссылок, ни из полноты разделов: оба проходят любую такую
-  проверку, а исполнитель берёт тот, который прочитал раньше. Ищется это чтением — считать
-  здесь нечего.
+- **Раздел решений в описании домена — временное место, а не постоянное.** Пока решение там, оно
+  действует только для того, кто открыл этот файл. Разросшийся раздел — признак того, что правило
+  под него не заведено, а не того, что домен сложный.
+- **Работа, которая переносит решения, называет для каждого, куда оно ушло.** Иначе по описанию
+  прошлого не отличить решение, ставшее правилом, от решения, потерянного при переносе: оба
+  выглядят одинаково — записью, на которую никто не ссылается.
+- **Текст, раздаваемый наружу, судится не слабее своей копии у потребителя.** Требование, стоящее
+  к копии и не стоящее к источнику, находит промах у того, кто его не делал и починить не может:
+  до потребителя промах доезжает целым, а краснеет уже там.
+- **Редакция текста, которую это дерево не выбрало, судится наравне с выбранной.** Непрочитанная
+  редакция расходится с прочитанной молча, и узнаёт об этом первый, кто её выберет, — то есть тот,
+  у кого нет ни истории расхождения, ни повода его искать.
+- **Набор обязательных разделов объявлен отдельно, и образец ему не хозяин.** Образец — черновик
+  для того, кто заводит текст, и стареет он первым. Набор, выведенный из образца, либо объявляет
+  расхождением весь корпус разом, либо не замечает ничего.
+- **Требование, которого никто не формулировал, молчит, а не отказывает.** Отказ на предмете без
+  объявленного требования гасят списком исключений, а список исключений через месяц становится
+  рабочим путём — и гасит вместе с шумом то, ради чего проверка заводилась.
+- **Два текста об одном либо говорят одно, либо один из них неправ.** Согласие текстов между собой
+  не следует ни из целостности ссылок, ни из полноты разделов: оба проходят любую такую проверку,
+  а исполнитель берёт тот, который прочитал раньше. Ищется это чтением — считать здесь нечего.
 - **Изображение правится тем же изменением, что и текст, который оно изображает.** Разойдясь,
   схема и проза остаются читаемыми обе, и первым это замечает тот, кто пошёл по схеме.

package/assets/laws/verifiability.md

@@ -5,53 +5,52 @@
 который «должен работать», и код, который проверили, в истории выглядят одинаково.
 
 ## Статьи
-
-- **Обещанное поведение названо сценарием, а сценарий назван в тесте, который его
-  проверяет.** Иначе связь между обещанием и проверкой держится только на памяти автора.
-- **Сценарий без теста помечен как непокрытый и виден в сводке.** Молчаливый пропуск
-  выглядит так же, как покрытый сценарий, и долг перестаёт быть заметным.
+- **Обещанное поведение названо сценарием, а сценарий назван в тесте, который его проверяет.**
+  Иначе связь между обещанием и проверкой держится только на памяти автора.
+- **Сценарий без теста помечен как непокрытый и виден в сводке.** Молчаливый пропуск выглядит так
+  же, как покрытый сценарий, и долг перестаёт быть заметным.
 - **Тест, проверяющий часть обещанного, считается долгом, а не покрытием.** Иначе сводка
   показывает выполненным то, что выполнено наполовину.
-- **Обещание, данное пользователю, закрывается тестом, который идёт его путём.** Тот же
-  расчёт, проверенный мимо экрана, верен — и обещания не закрывает: между верным решением и
-  тем, что человек его видит, лежит всё, чего проверка не касалась.
+- **Обещание, данное пользователю, закрывается тестом, который идёт его путём.** Тот же расчёт,
+  проверенный мимо экрана, верен — и обещания не закрывает: между верным решением и тем, что
+  человек его видит, лежит всё, чего проверка не касалась.
 - **Тест, выключенный признаком окружения, покрытием не считается.** В обычном прогоне он не
   исполняется ни разу, а в сводке выглядит так же, как исполненный.
 - **Упоминание в тесте сценария, которого нет, — отказ.** Так ловится переименованный или
   выкинутый сценарий: без этого он пропадает молча.
-- **Работающее приложение проверяется там, где его видит пользователь.** Отладочный режим
-  ведёт себя иначе рабочего, и проверка в нём подтверждает не то, что будет у пользователя.
+- **Работающее приложение проверяется там, где его видит пользователь.** Отладочный режим ведёт
+  себя иначе рабочего, и проверка в нём подтверждает не то, что будет у пользователя.
 - **Перед отправкой правка проверяется тем же набором, что и конвейер, и теми же командами.**
   Набор, собранный по изменённым файлам, пропускает то, до чего правка дошла связями: проверка
   зелёная, а конвейер красный. Что проверять, считает инструмент от той же базы, а не память
   автора.
-- **Проверка признака окружения относится только к тому пути запуска, на котором она
-  сделана.** Пути, которыми одно и то же приложение поднимается, задают признаки по-разному,
-  и подтверждённое на одном из них на остальных неверно — а выглядит проверенным целиком.
+- **Проверка признака окружения относится только к тому пути запуска, на котором она сделана.**
+  Пути, которыми одно и то же приложение поднимается, задают признаки по-разному, и подтверждённое
+  на одном из них на остальных неверно — а выглядит проверенным целиком.
 - **Разметка проверяется замером, а не взглядом.** На глаз не отличить отступ от поля и
   выравнивание от совпадения, и расхождение находится уже после выкатки.
-- **Успешный ответ команды означает, что она отработала, а не что нужное состояние
-  наступило.** Часть запросов выполняется наполовину, и об отклонённой части в ответе ничего
-  нет: по коду возврата такой вызов не отличить от исполненного. Поэтому результат читают
-  отдельным запросом, и в PR идёт то, что прочитали, а не то, что заказывали.
-- **Служба считается поднятой, когда она выполнила задание, а не когда сообщила о
-  готовности.** Сообщение о готовности говорит лишь, что служба себя объявила: та, которой не
-  досталось ни одного задания, выглядит в нём точно так же, как работающая. Проверяются обе
-  стороны связи — что заказчик выбирает именно её и что задание через неё прошло.
-- **Причина отказа, на которой строится решение, подтверждается измерением, а не
-  правдоподобием.** Объяснение, пришедшее первым, объясняет наблюдаемое не хуже верного:
-  свойство среды и собственный промах выглядят в отказе одинаково, и разводит их только замер,
-  поставленный так, чтобы одно из двух не прошло. Решение, выведенное из неподтверждённой
-  причины, лечит не то — и стоит отката всей работы, а не одной правки.
+- **Успешный ответ команды означает, что она отработала, а не что нужное состояние наступило.**
+  Часть запросов выполняется наполовину, и об отклонённой части в ответе ничего нет: по коду
+  возврата такой вызов не отличить от исполненного. Поэтому результат читают отдельным запросом, и
+  в PR идёт то, что прочитали, а не то, что заказывали.
+- **Служба считается поднятой, когда она выполнила задание, а не когда сообщила о готовности.**
+  Сообщение о готовности говорит лишь, что служба себя объявила: та, которой не досталось ни
+  одного задания, выглядит в нём точно так же, как работающая. Проверяются обе стороны связи — что
+  заказчик выбирает именно её и что задание через неё прошло.
+- **Причина отказа, на которой строится решение, подтверждается измерением, а не правдоподобием.**
+  Объяснение, пришедшее первым, объясняет наблюдаемое не хуже верного: свойство среды и
+  собственный промах выглядят в отказе одинаково, и разводит их только замер, поставленный так,
+  чтобы одно из двух не прошло. Решение, выведенное из неподтверждённой причины, лечит не то — и
+  стоит отката всей работы, а не одной правки.
 - **Если инструмент проверки запрещает приём, которым здесь пользуются постоянно, его правило
   выключают в настройке инструмента, а не обходят в каждом месте.** Обход приходится повторять
   столько раз, сколько таких мест, и ни в одном из них не написано, зачем он: со стороны это
   выглядит ошибкой автора, а не решением.
-- **Красная проверка означает неверный код, а не неверную проверку.** Место, выведенное
-  из-под проверки затем, чтобы она замолчала, чинит показание, а не то, на что она указала:
-  код остаётся прежним, а сигнала о нём больше нет ни у кого. Список известного накоплен к
-  дню заведения проверки и только сокращается; несогласие с самой проверкой — вопрос к
-  владельцу, а не строка в списке.
+- **Красная проверка означает неверный код, а не неверную проверку.** Место, выведенное из-под
+  проверки затем, чтобы она замолчала, чинит показание, а не то, на что она указала: код остаётся
+  прежним, а сигнала о нём больше нет ни у кого. Список известного накоплен к дню заведения
+  проверки и только сокращается; несогласие с самой проверкой — вопрос к владельцу, а не строка в
+  списке.
 - **Польза правила подтверждается наблюдением за тем, как им пользуются, а не мнением о нём.**
   Правило, которого не открыли ни разу, и правило, на котором держится половина работы, в тексте
   выглядят одинаково — и правится первым обычно то, о чём вспомнили, а не то, что мешает.
@@ -59,8 +58,8 @@
   умирает вместе с сессией, отвечает только на вопрос «что было минуту назад».
 - **Наблюдение за работой не выносит наружу ничего, кроме того, что общее у всех.** Имя правила,
   род события и версия одинаковы везде, где стоит слой правил; путь, домен и имя дерева
-  принадлежат одному дереву и в чужом месте не значат ничего, кроме утечки. Держится это
-  проверкой на выносящей стороне, а не памятью того, кто пишет.
+  принадлежат одному дереву и в чужом месте не значат ничего, кроме утечки. Держится это проверкой
+  на выносящей стороне, а не памятью того, кто пишет.
 - **Проверка, которая сама сломалась, работу не останавливает.** Отказ инструмента не является
   найденным нарушением, и остановленная им работа стоит до того, как его починят.
 - **Решение, зависящее от текущего момента, получает момент снаружи.** Иначе проверить его можно