[PhysShell]

Что и зачем

Flow-проход --flow-locals идентифицирует локалы по имени. C# разрешает двум разным локалам иметь одно имя, если их области видимости не пересекаются: две ветки, два блока, ветка и цикл. Когда отслеживается только один из них, ссылки на второй становились операциями над первым:

• в соседней ветке — use без acquire на этом пути. Ядро падало на всём документе: внутренний OWN030 «undefined name», код 2, ни одной находки по файлу (Core crash (internal OWN030 undefined name) on same-named locals in sibling scopes under --flow-locals #408, MessagePack-CSharp ToLZ4BinaryCore);
• в следующем блоке — use после release первого локала, то есть ложный OWN002 use-after-return.

Исправление только в экстракторе:

• кандидаты в отслеживаемые запоминаются по объявлению (declarator);
• для каждого неотслеживаемого одноимённого локала берётся его область видимости: блок, оператор foreach / for / using / switch / fixed, для out var и паттернов — их блок. Внутри неё имя убирается из tracked.

Пересекаться области двух одноимённых локалов C# не даёт (CS0128 / CS0136), поэтому внутри такой области имя может означать только неотслеживаемый локал. OwnIR и оба ядра не менялись.

Тип изменения

• feat — новая возможность
• fix — исправление бага
• docs — документация
• refactor / chore / test / ci — без изменения поведения (новая регрессия + шаг CI)

Как проверено

• OWN_TIERB_REQUIRED=1 python tests/test_extractor_sibling_locals.py, 6 критериев:

  • соседние ветки, и находка в соседнем методе не теряется;
  • последовательные блоки;
  • foreach и out var;
  • оба одноимённых локала отслеживаются — утечка второго остаётся;
  • контроль: настоящий use-after-return сохраняется;
  • try-блок.

  На main тест красный (ядро падает), на ветке зелёный. Шесть мутантов, в каждом убрана одна часть исправления, — все пойманы.

• Python- и Rust-ядро (own-cli ownir, release) на воспроизведении:

  • на main оба падают одинаково;
  • на ветке оба выдают одни и те же три ожидаемые находки.

• Факты побайтно совпадают с main (6b6a0ab):

  • на frontend/roslyn/samples, protocol-samples, heap-effects-samples в обоих режимах; исключение — protocol-samples с --flow-locals, где экстрактор и на main, и на ветке завершается с кодом 2 и фактов не пишет;
  • на 143 из 144 реальных деревьев (корпус исследования: 60 пар base/fix, 15 holdout, 13 sweep).

• Единственное изменившееся дерево — MessagePack-CSharp. Там поменялась ровно одна функция, ToLZ4BinaryCore: из цикла другой ветки ушёл лишний use lz4Span. Документ, на котором ядро раньше падало, теперь анализируется: 8 находок и 4 OWN050, у обоих ядер одинаково.

• Без регрессий в OWN_TIERB_REQUIRED=1:

  • test_extractor_columns, test_extractor_deep_flow, test_guarded_consume;
  • test_ownir (292/292), test_certify (114/114);
  • test_p037_sidecar, test_stage3_surfaces.

• ruff check . — чисто.

• python tests/run_tests.py целиком локально не проходит из-за окружения — так же, как в fix(roslyn): a deep if/else-if chain no longer aborts the whole extraction (#401) #403.

Связанные issue

Closes #408

Чеклист

• изменение покрыто тестом/селфтестом (или объяснено, почему нет)
• README/docs обновлены при необходимости — не требуется: поведение приведено к семантике C#
• коммиты в conventional-commit стиле (feat:, fix:, docs: …)

Границы исправления

• Параметры лямбд и локальных функций, совпадающие по имени с отслеживаемым локалом, не учитываются.
• Когда оба одноимённых локала отслеживаются, у второго, никогда не освобождаемого, ядро пишет «may not be disposed on every path» вместо «is never disposed». Находка сохраняется, поведение не изменилось: ядро склеивает два acquire под одним именем на слиянии ветвей. Исправление этого требует уникальных имён в фактах, а значит изменения в сообщениях; здесь оно не делается.
• Escape-анализ кандидатов тоже по-прежнему работает по имени. Если одноимённый неотслеживаемый локал «уходит» (возвращается или передаётся), отслеживаемый может потерять отслеживание. Это даёт пропуск находки, а не падение и не ложную находку; в корпусе не встретилось.

🤖 Generated with Claude Code