Reconcile — сверка кода и графа

Граф — выведенное описание реальности, и код — та реальность, по которой оно выведено чаще всего. Между ними всегда бежит зазор: код ушёл вперёд за время задачи, граф оброс узлами, чьих денотатов больше нет, комментарии пересказывают то, чему место в графе. Reconcile — такт, которым делатель этот зазор закрывает, в обе стороны и в своей области ответственности, не во всём графе.

Когда. Три повода, и первый — главный: (1) конец каждой сущностной задачи — работа не кончена мержем, она кончена сверкой следа: что задача сделала истинным, то граф говорит, что перестало быть истинным — то он больше не утверждает; (2) явная просьба — «приведи граф в порядок», «сверь с кодом»; (3) плановая уборка области, когда ориентация показывает копящиеся напряжения. Это не разведка перед работой (то — entry и ориентация) и не проектирование (то — design): reconcile идёт по следам уже совершённого.

Протокол — проходки

После мержа различи код и практику. Сверь карту и узлы отгруженного; мерж сам не переводит крию в vartamana. Старт практики и вопрос исполнителю без свидетельства — по weaving, «Переходы носителей»; проверь эту границу в проходке модусов.

0 · Встань в своём контуре и сверься с методом. iskron_orient(realm=..., focus=свой контур) — границы области, её крии, феномены, открытые вимарши. Затем методологическая сверка: каким правилам следует этот граф — прочти его канон или спроси стюарда; уборка по выдуманным правилам хуже пыли. Сверка чужих областей — не твоя: замеченное там отдай вимаршей их стюарду (posed_to), не правкой.

1 · Прямая проходка: узлы против кода. Каждый узел области — четыре вопроса:

• Существует ли ещё то, что он утверждает? Для узлов внешних поверхностей (чужой API, SDK, CLI, схема вендора) — особенно: вендор поднимает версию молча. Сверяй наблюдением, не памятью; наблюдения не взял — опусти эпистемику. Ушедшее — в онтику atita (история остаётся), исчезнувшее бесследно — nashta; удаление — для записи, которая не несла различения: узел неверного типа, чья запись лжёт самой формой (проходка 2), дубль, пустое понятие; ложный тезис не удаляют, а опровергают и хранят (три судьбы записи — writing, справочник модусов).
• Имя ещё отвечает коду? Имя узла — первый тезис о нём (正名): код переименовал сущность — граф переименовывает узел, не заводит второй.
• Модусы честны? Эпистемика — по средству познания и выделенной заявке: pratyakshita об утверждении, чей предмет в коде с тех пор менялся, а свидетельство не обновлялось, — выше видимого сейчас; сверь (и подними) или понизь по названному основанию — предмет ушёл, свидетельство не относится к нынешнему коду. Свежесть свидетельства относится к заявке: возраст сам модуса не понижает, решение и принцип по давности не слабеют.
• Кто его тянет? Спроси, какая крия сломается, если узел исчезнет. Ни одна — это укрытие, не запись (sinn для того, что действует; одинокая стрелка context); молчание реестра натяжений его не оправдывает — детекторы меряют структуру, не несущесть. Укрытие не удаляй бездумно: смысл без носителя переткай в несущий узел — upadhi при крие, которая через него действует; склад без смысла — в atita.