К основному содержанию
A1sCode
Быстрый старт
MILA v1.0 · Работа с ИИ

MILA AI Protocol

Как сравнивать AI-код, не передавая модели ответственность за WHAT, WHY и EDGE.

Пройти микро-курс →К обзору MILA

1. Назначение

Протокол определяет, как использовать AI-код без передачи генератору полной ответственности за модель задачи.

ИИ может предложить HOW. Человек подтверждает WHAT, проверяет TYPE, формулирует WHY, находит EDGE и принимает TEST.

2. Процесс

TEXT
OWN
    → PREDICT
    → TYPE
    → EDGE
    → RUN
    → DIFF
    → MILA
    → SYNTHESIZE

В обучении добавляются RECALL и TRANSFER.

3. OWN

До просмотра ответов ИИ человек:

  • формулирует задачу;
  • делает первую попытку;
  • перечисляет известные границы;
  • определяет ожидаемый тип результата.

Даже неполный вариант создаёт основу для сравнения.

4. PREDICT

Перед запуском каждого решения прогнозируются:

  • результат на нормальных данных;
  • результат на границе;
  • поведение при отсутствии;
  • тип результата;
  • возможный сбой.

5. TYPE

Фиксируются:

TEXT
входные типы
выходной тип
допустимые состояния
политика отсутствия
runtime-валидация

Особое внимание: NaN, Infinity, null, None, undefined, Неопределено, ноль, пустая строка, отсутствующий ключ и внешние данные.

6. EDGE

Нужно найти минимум один различающий EDGE:

  • > против >=;
  • нулевой лимит против отсутствующего;
  • конец периода;
  • пустая коллекция;
  • последняя попытка;
  • ветвь условного выражения;
  • округление.

7. RUN

Все варианты запускаются на одной матрице тестов. Нельзя сравнивать решения на разных данных.

8. DIFF

Фиксируются различия:

  • модели данных;
  • границ;
  • типов;
  • обработки отсутствия;
  • побочных эффектов;
  • тестового покрытия;
  • чисто стилистические отличия.

9. MILA

Для каждого варианта заполняется:

TEXT
WHAT
[TYPE]
WHY
EDGE
HOW
TEST

WHY и EDGE не принимаются автоматически из ответа модели.

10. SYNTHESIZE

После сравнения ответы моделей закрываются. Итоговое решение пишется самостоятельно:

  • без копирования;
  • с выбранной моделью данных;
  • с явным EDGE;
  • с тестами;
  • с объяснением компромиссов.

11. Слепое сравнение

Решения маркируются R-A, R-B, R-C. Имена моделей открываются после оценки.

КритерийR-AR-BR-C
компилируемость
корректность TYPE
обработка отсутствия
точность EDGE
покрытие TEST
простота
объяснимость

Нельзя выбирать решение по длине или репутации модели.

12. Роли трёх вариантов

  1. Минимальный — короткий, но со скрытыми предположениями.
  2. Защитный — много проверок, возможна перегрузка.
  3. Альтернативный — другая модель данных или состояния.

13. Человеческая ответственность

Для критической логики человек самостоятельно подтверждает:

  • смысл имени;
  • предметный контракт;
  • границу;
  • политику отсутствия;
  • допустимость равенства;
  • тесты;
  • последствия ошибочного решения.

14. Пример

Задача:

TEXT
Определить, превысит ли заказ кредитный лимит после отгрузки.
Равенство лимиту разрешено.
Отсутствующий лимит — отдельный статус.

Варианты сравниваются по текущему или прогнозному долгу, > или >=, нулю против отсутствия, boolean против доменного статуса, отсутствующей строке и тестам ниже / точно / выше.

15. Правила AI Protocol

  1. Собственная попытка предшествует AI-решениям.
  2. Названия моделей скрываются во время оценки.
  3. Все решения выполняются на одной тестовой матрице.
  4. WHY и EDGE проверяются человеком.
  5. Итог пишется после закрытия AI-ответов.
  6. Качество доказывается поведением и тестами.
  7. Для критического кода человеческое понимание обязательно.