ufm@ufmpc:~/src/uni$ ~/go/bin/uni search 'cat '
             Dec    UTF8        HTML       Name
'🐱' U+1F431 128049 f0 9f 90 b1 &#x1f431  CAT FACE
'😸' U+1F638 128568 f0 9f 98 b8 &#x1f638  GRINNING CAT FACE WITH SMILING EYES
'😹' U+1F639 128569 f0 9f 98 b9 &#x1f639  CAT FACE WITH TEARS OF JOY
'😺' U+1F63A 128570 f0 9f 98 ba &#x1f63a  SMILING CAT FACE WITH OPEN MOUTH
'😻' U+1F63B 128571 f0 9f 98 bb &#x1f63b  SMILING CAT FACE WITH HEART-SHAPED EYES
'😼' U+1F63C 128572 f0 9f 98 bc &#x1f63c  CAT FACE WITH WRY SMILE
'😽' U+1F63D 128573 f0 9f 98 bd &#x1f63d  KISSING CAT FACE WITH CLOSED EYES
'😾' U+1F63E 128574 f0 9f 98 be &#x1f63e  POUTING CAT FACE
'😿' U+1F63F 128575 f0 9f 98 bf &#x1f63f  CRYING CAT FACE
'🙀' U+1F640 128576 f0 9f 99 80 &#x1f640  WEARY CAT FACE

ufm@ufmpc:~/src/uni$ ~/go/bin/uni search 'dog '
             Dec    UTF8        HTML       Name
'🐶' U+1F436 128054 f0 9f 90 b6 &#x1f436  DOG FACE
'💩' U+1F4A9 128169 f0 9f 92 a9 &#x1f4a9  PILE OF POO [dog dirt]

ufm@ufmpc:~/src/uni$ ~/go/bin/uni emoji ' cat'
        Name                             CLDR
😺      grinning cat                    [animal, face, mouth, open, smile, smiling]
😸      grinning cat with smiling eyes  [animal, face, smile]
😻      smiling cat with heart-eyes     [animal, face, love, smile]
😽      kissing cat                     [animal, closed, eye, eyes, face]
🙀      weary cat                       [animal, face, oh, surprised]
😿      crying cat                      [animal, face, sad, tear]
😾      pouting cat                     [animal, face]
🐈‍⬛    black cat                       [animal, feline, halloween, meow, unlucky]

ufm@ufmpc:~/src/uni$ ~/go/bin/uni emoji ' dog'
        Name          CLDR
🦮      guide dog    [accessibility, animal, blind]
🐕‍🦺    service dog  [accessibility, animal, assistance]
🌭      hot dog      [frankfurter, hotdog, sausage]

ufm@ufmpc:~/src/uni$ ~/go/bin/uni emoji 'cat '
        Name                             CLDR
😸      grinning cat with smiling eyes  [animal, face, smile]
😹      cat with tears of joy           [animal, face, laugh, laughing, lol]
😻      smiling cat with heart-eyes     [animal, face, love, smile]
😼      cat with wry smile              [animal, face, ironic]
🐱      cat face                        [animal, kitten, kitty, pet]

ufm@ufmpc:~/src/uni$ ~/go/bin/uni emoji 'dog '
        Name       CLDR
🐶      dog face  [adorbs, animal, pet, puppies, puppy]

Почему LLM нарушает строгие правила

и как сделать эти нарушения видимыми и контролируемыми

1. Почему LLM принципиально не может гарантировать соблюдение строгих правил.
2. Какие именно механизмы приводят к нарушениям.
3. Почему нарушения происходят “иногда”, а не всегда.
4. Как построить контракт общения, при котором нарушения видны сразу.
5. Почему видимость нарушения важнее, чем иллюзия безошибочности.

1. Ключевой факт, который нужно принять сразу

LLM не является системой с обязательными этапами исполнения.

1. Проверить ответ по первоисточнику
2. Если проверка невозможна - отказаться
3. Если проверка выполнена - ответить

2. Почему строгие правила «слетают»

2.1. Отсутствует механизм принудительной проверки

• не выполняет команды;
• не читает man;
• не открывает --help;
• не запускает бинарь.

2.2. Конфликт сигналов во время генерации

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

«То работает идеально, то внезапно нет».

2.3. Правило — это стиль, а не инвариант

• правило стиля генерации;
• а не условие допуска ответа.

• знать правило;
• объявить его;
• и всё равно его нарушить.

3. Почему невозможно добиться 100% гарантии

1. Возможность реальной внешней проверки.
2. Возможность отказаться от ответа как допустимое состояние.
3. Наличие жёсткого запрета на генерацию без проверки.

Нельзя «заставить» LLM всегда проверять.
Можно только сделать непроверенность явной.

4. Правильная цель: не безошибочность, а обнаружимость ошибок

Сделать каждое нарушение правил сразу видимым.

• fail loud, not silent;
• explicit state > implicit confidence;
• refusal > hallucination.

5. Рабочий протокол общения со строгими требованиями

5.1. Явная маркировка проверки

• Если ответ проверен:
      
      
  • указать, что именно проверено  
        (документ, man-страница, спецификация, --help).
        
• Если ответ не проверен:
      
      
  • начинать ответ со строки:
        

НЕ ПРОВЕРЕНО

5.2. Почему это работает

• Появляется разрешённый путь отказа от проверки.
• Пропадает мотивация «додумывать».
• Нарушение контракта видно сразу.
• Ответ можно мгновенно отбросить как недействительный.

6. Что считать нарушением контракта

• нет пометки НЕ ПРОВЕРЕНО;
• нет ссылки на первоисточник;
• ответ подаётся уверенным тоном.

7. Почему это лучше «извинений после ошибки»

«Ой, я ошибся, спасибо, что заметили»

• маскирует непроверенность;
• имитирует ответственность;
• не предотвращает повторение.

8. Краткий итог

• LLM не может гарантировать соблюдение строгих правил.
• Формулировки запроса это не лечат.
• Работает только контракт с явной маркировкой.
• Видимая ошибка лучше уверенной фантазии.
• Пользователь остаётся в контроле.

9. Формула для практического использования

Ответ валиден только если:

• либо указано, что именно проверено;  
• либо ответ начинается с НЕ ПРОВЕРЕНО.

Когда значение Result имеет состояние "Ok", метод unwrap() возвращает связанный с этим состоянием объект, но если результат не является успешным - вызов приводит к аварийному завершению (вызывается макрос "panic!"), . Обычно unwrap() применяется в процессе отладки или при написании тестового кода и не рекомендован для использования в рабочих проектах.