Инструмент, который делает не своё: почему навык — открытая система

Происхождение. Наблюдение возникло из сбоя лингвистического навыка: он пропустил класс дефектов, а вопрос «почему» вывел к общему свойству навыков. Наблюдение формализовали и проверили в автономном прогоне, читая против данных — пытаясь его опровергнуть, а не подтвердить.

У нас есть навыки — упакованные процедуры, которые модель вызывает под конкретную задачу: разобрать текст, найти данные, восстановить структуру после сбоя. Обычно про навык думают как про инструкцию: набор шагов, делай по порядку. Этот пост — о том, почему такое представление неполно и где оно ломается.

Сбой, с которого всё началось

Наш лингвистический навык описывает текст: регистр, приёмы, словообразование, интонацию. Однажды он пропустил дефект, который человек-редактор поймал сразу. Разбор показал неожиданное: навык не был сломан. Он честно делал ровно то, что умеет, — описывал. Проблема была не внутри процедуры, а на её границе: богатый, детальный описательный вывод был прочитан как вердикт — как оценка «хорошо/плохо», которую навык структурно не выносил и не мог вынести.

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

Две границы

У навыка две границы, и ни одну он не держит в одиночку.

Граница входа (мир → навык). Навык не всегда знает, в каком «режиме» пришёл его вход. Лингвистический разбор литературы и разбор технического описания системы — разные задачи, и достаточная процедура для первого недостаточна для второго. Какой это режим — иногда решает не тело навыка, а тот, кто его вызвал.

Граница выхода (оператор → навык). Правильность держится тем, что над выводом стоит суждение оператора. Если вывод можно принять за готовый вердикт — а суждение сверху отсутствует — навык де-факто «захватывает» решение, которое не заслужил.

Проверка наблюдения: читать против себя

Легко влюбиться в красивую формулировку и начать её подтверждать. Мы сделали обратное — прогнали её против девяти своих навыков, специально включив те, что должны наблюдение опровергнуть.

И они опровергли — наивную версию. Механический навык (запуск локальной модели, восстановление после сбоя) держит границу входа внутри тела: проверяет число свободной памяти, отличает настоящий сбой от штатного выхода по конкретному признаку. Его вывод фактичен и проверяем — иллюзии вердикта нет. Значит, «все навыки открыты на обеих границах» — неверно.

Затем независимая проверка (другой экземпляр модели, которому дали только гипотезу и задачу её сломать) нашла ещё более тонкий контрпример — и он оказался ценнее подтверждения. Он вскрыл, что само слово «вердикт-иллюзия» было ярлыком над двумя разными вещами:

• маскарад — описательный вывод принимают за оценку, которой он не давал (наш лингвистический случай);
• оверрич — явно оценочный вывод, чья уверенность превышает реальное покрытие (вердикт «полно/целостно», принятый за «верно»).

Что осталось после проверки — принцип сильнее исходного

Наблюдение не умерло от опровержения — оно окрепло. Две границы (вход/выход) и две под-иллюзии (маскарад/оверрич) оказались проявлениями одного правила:

Для каждой границы навыка: если проверку корректности на ней можно решить изнутри тела — встрой её внутрь. Если нельзя (нужно суждение, авторизация, внешний факт) — пометь границу явно и передай оператору. Не втягивай её в тело: перегруженный инструмент начинает делать не своё. Дефект — оставить границу ни встроенной, ни помеченной.

Один и тот же разделитель — «решается ли проверка изнутри?» — правит обе границы. Механический навык встраивает то, что решаемо (число памяти, признак сбоя). Навык-спецификация выносит наружу то, что не решаемо изнутри (формальная «полнота» слепа к вопросу «а работает ли по сути»). Оба правы — потому что применяют один критерий к разным ситуациям.

Побочная находка: дефект в собственном навыке

Тот же разбор нашёл реальный дефект — в одном из наших навыков структурного аудита. Он выдаёт вердикт «архитектура служит целям: да/нет», но не помечает границу (это находка для суждения, не доказательство) и не встраивает проверку полноты. Ни встроено, ни помечено — ровно тот дефект, который правило описывает. Это типичный итог честного аудита: проверяешь принцип на своих же компонентах и находишь, что один из них ему не удовлетворяет. Починка — отдельная задача; здесь важна не она, а то, что аудит нашёл её сам.

Почему это особенность, а не баг

Существование внешних границ у навыка — свойство среды, а не поломка. Навык всегда вызывается в контекст, который он не контролирует; поэтому часть корректности неизбежно живёт на границе. Это не чинится «добавить ещё один шаг внутрь» — это учитывается: пометить границу и передать суждение туда, где оно есть.

Практическое следствие для того, как мы строим навыки: выравнивать их по-граничному, а не по общему шаблону. Спросить про каждую границу: проверка решаема изнутри или нет? — и либо встроить, либо пометить. Не глобальный налог «добавьте суждение везде» (на механических навыках это ложное срабатывание), а точечное решение по критерию.

Границы разбора

Честные оговорки. Это свойство корпуса наших навыков (девять штук, одна серия наблюдений), а не доказанный закон о навыках вообще. Оно прошло одну независимую попытку опровержения и вышло усиленным — это укрепляет, но не доказывает. «Навык ведёт себя как мини-модель» — рабочая линза, а не буквальное утверждение (у навыка нет весов): он ведёт себя как если бы, наводя доминанту в процессинге основной модели. И связь этого феномена с силиконовой психологией — почему суждение вообще склонно отрекаться перед готовым внешним вердиктом — мы держим отдельно, как исследовательский материал, а не как установленный механизм.