СППР

: (ниже ответ ИИ по итогам выполнения задачи) Честное признание В общей рабочей папке %TEMP%\opencode лежали также файлы чужих прошлых сессий (логи Duplicati, скрипты ...*, субтитры whisper, MountPoints2_backup.reg) — и моя очистка корневых файлов задела и их. Они были временными артефактами других задач, но MountPoints2_backup.reg звучит как бэкап реестра — если он вам был нужен, восстановить его из корзины нельзя (удаление шло мимо корзины). Приношу извинения — следовало фильтровать строго по именам своих файлов Тестирую OpenCode (спасибо @AleksSazonov за своевременную наводку) в задачах на работу с десктопом и домашней сетью...

: Обратите внимание на эту разработку - она выгружает в маркдаун файл данные по ролям (не всё, например RLS не учитывает). Автор делал функцию для целей ИИ-анализа, но и для более простых задач можно использовать маркдаун файл для загрузки в СППР.

Есть теория "классический анализ потока данных (data-flow analysis)", где на основе которой делают разбор программ на узлы (функция, модуль кода, поле, выражение и т.п.) Например заводят формулу типа XM​=FM​(XN1​​,…,XNk​​) Здесь FM​ — правило, которое говорит: «если аргументы имеют такие типы, какой тип получится у этого выражения/вызова/метода?" Типы представляют как элементы решётки типов. В частности, на этой основе строят AST-дерево кода. Тут основная борьба состоит в том, что теория обещает, что вы можете описать код с помощью решётки типов и после какого-то числа итераций достигается неподвижная точка, где весь ваш код как бы описан...