iskron-ai Reconcile — сверка кода и графа
Граф — выведенное описание реальности, и код — та реальность, по которой оно выведено чаще всего. Между ними всегда бежит зазор: код ушёл вперёд за время задачи, граф оброс узлами, чьих денотатов больше нет, комментарии пересказывают то, чему место в графе. Reconcile — такт, которым делатель этот зазор закрывает, в обе стороны и в своей области ответственности, не во всём графе.
Когда. Три повода, и первый — главный: (1) конец каждой сущностной задачи — работа не кончена мержем, она кончена сверкой следа: что задача сделала истинным, то граф говорит, что перестало быть истинным — то он больше не утверждает; (2) явная просьба — «приведи граф в порядок», «сверь с кодом»; (3) плановая уборка области, когда ориентация показывает копящиеся напряжения. Это не разведка перед работой (то — entry и ориентация) и не проектирование (то — design): reconcile идёт по следам уже совершённого.
Протокол — пять проходок
0 · Встань в своём контуре и сверься с методом. iskron_orient(realm=..., focus=свой контур) — границы области, её крии, феномены, открытые вимарши. Затем методологическая сверка: каким правилам следует этот граф — прочти его канон или спроси стюарда; уборка по выдуманным правилам хуже пыли. Сверка чужих областей — не твоя: замеченное там отдай вимаршей их стюарду (posed_to), не правкой.
1 · Прямая проходка: узлы против кода. Каждый узел области — три вопроса. Существует ли ещё то, что он утверждает? Для узлов внешних поверхностей (чужой API, SDK, CLI, схема вендора) этот вопрос — не риторический: вендор поднимает версию молча, и узел расходится там, где по нему уже действуют. Сверяй наблюдением, не памятью — и опускай эпистемику, если наблюдения не взял. Ушедшее — в онтику atita (история остаётся), исчезнувшее бесследно — nashta; удаление — только для узлов неверного типа, чья запись лжёт самой формой (см. проходку 2): у них нечего хранить, их история — история ошибки записи. Имя ещё отвечает коду? 正名: имя узла — первый тезис о нём; код переименовал сущность — граф переименовывает узел, не заводит второй. Модусы честны? Эпистемика по средству познания: узел, чьё утверждение давно никто не сверял с кодом, не pratyakshita — он anumita в лучшем случае, и проходка — момент либо сверить (и поднять), либо честно понизить. И кто его тянет? Финишная черта любой записи — назван тянущий: спроси, какая крия сломается, если узел исчезнет. Ни одна — это парковка, не запись (sinn для того, что действует; одинокая стрелка context), и молчание реестра натяжений её не оправдывает — детекторы меряют структуру, не несущесть. Парковку не удаляй бездумно: смысл, которому не нашли носителя, переткай в несущий узел — upadhi при крие, которая через него действует; склад без смысла — в atita.
2 · Различение крии и задачи — здесь путают чаще всего. Крия утверждает повторяемый переход: всякий её прогон ест ту же ahara и производит ту же utpatti — сборка, деплой, миграция как процедура, ритуал сессии. Задача — разовое деяние: у каждого прогона свои вход и выход, и повторяемого перехода она не утверждает. Задача, записанная крией, лжёт типом, и ложь каскадирует: её «результат» вырождается в феномен-ярлык состояния, который ни одна крия не порождает и не обусловливает, — сирота по устройству. Признак для проверки в один взгляд: спроси у «крии», что она съест и произведёт в следующий прогон; нет ответа — это задача. Носитель задачи — anga-вимарша на превращении, которое она двигает (крупная — собственная бяньхуа); совершённая — закрывается волей, как всякая вимарша. Найденную задачу-крию перепиши носителем по существу: открытые вопрошания перецепи якорем, феномены-ярлыки сними вместе с ней.
3 · Обратная проходка: код против графа. Комментарий-портянка — обоснование решения, отброшенные альтернативы, устройство интеграции, пересказанные словами в коде, — это узел графа, живущий не дома: его не найдёт поиск, не тронет проходка 1, не прочтёт сосед по контуру. Перенеси смысл в граф и оставь в коде референс: имя графа и номер узла — «(граф realm-name, узел #N)». Граница, без которой маятник улетает в обратную крайность: механика шага — словами в комментарии; смысл, обоснование, поле интеграции — в графе с референсом из кода. Комментарий «закрываем сокет до renameSync, иначе ловим EBUSY на Windows» — механика, остаётся словами. Комментарий на полстраницы «почему мы выбрали очередь, а не вебхуки, и что было с ретраями» — смысл, уезжает в граф. И не всё подряд: кусочек кода без судьбоносного смысла не заслуживает узла — референс ставится там, где читателю без графа не понять зачем, а не как.
3a · Инвентарь клиента против рёбер — на мерже, тронувшем модуль-клиент. Вызов, живущий в коде потребителя без ребра, в графе не рвёт ничего: пустота неотличима от «не зовёт», её не видят ни ворота записи, ни детектор. Потому прошивка вызовов мерится извне графа — правилом методологии «Прошивка вызовов потребителя мерится извне графа: инвентарь клиента против рёбер на такте сверки, и обход обещает покрытие лишь в его меру» (найди его в графе по имени и держи правилом, не пересказом). Шаг: сними инвентарь зовомых путей из модуля-клиента (параметры нормализованы; вызовы с нелитеральным путём учтены явно — литеральный grep обещает покрытие, а даёт выборку, и обязан называть себя так), возьми список URL-типов, на которые крии твоего контура держат utpatti, и сведи разность в обе стороны, различая три рода: вызов без ребра при живом деянии — ткачество, минуты; вызов без деяния вовсе — проектирование, design; ребро без вызова — снять либо пометить снятым. Скрипт инвентаря живёт в репозитории потребителя и вправе стоять гейтом CI; остаток — вимаршами на своих носителях. Обход поля интеграции по твоему контуру обещает покрытие только после прогона с нулевой разностью и до следующего мержа, тронувшего клиент; вне этого окна он возвращает выборку и в отчёте интеграции так и зовётся.
4 · Трипути: у каждого варианта три исхода, и все три — запись. Принятый вариант живёт узлами решения. Отброшенный — узлом в visarjana: рассмотрели, отпустили, причина в теле. Отвергнутый — в virodha, а переживший настоящий спор — вимаршей prati-paksha, где позднее свидетельство сможет поднять его снова. Код вправе референсировать отброшенное так же, как принятое: строка «не кэшируем: граф realm-name #N» сильнее абзаца — она ведёт к причине в той версии, в какой решение принималось, и не протухает при его пересмотре. Незаписанное отвергнутое — самый дорогой класс потерь: следующий делатель честно проходит тот же тупик.
5 · Напряжения и финал. iskron_orient(lens="tensions", focus=свой контур) — что осталось структурно: leaked, relay-gap, сироты — это работа weaving, делай её здесь же, пока контекст горяч. Поведенческие заявки, поднятые проходками («этот узел теперь снова pratyakshita»), — через reality-audit, не на глаз. Закрой такт отчётом долгов: что сверено, что перенесено, что осталось, — и остаток не рассказом, а вимаршами на своих носителях: долг, записанный вопрошанием, переживёт сессию; долг, рассказанный в чате, умрёт с ней.