Тег ornith-1.5:35b-ctx100k · рассуждение max · окно 102.4K · начало 2026-10-20 10:12
Агент-кандидат работает в изолированном pi на временной копии скелета задания; проверяющие ярусы подключаются после выполнения и каждый работает на своей копии решения.
PI_CODING_AGENT_DIR=<tmp>/pi-home PI_OFFLINE=1 \
pi -p --session-dir <прогон>/pi-session \
--model ornith-1.5:35b-ctx100k --thinking max \
"Прочитай TASK.md в корне репозитория и выполни задание."PI_CODING_AGENT_DIR — временный pi-home: models.json собран на лету под одну модель; адрес сервера — env OLLAMA_BASE_URL (в git не попадает).PI_OFFLINE=1 — служебный режим pi: он сам не ходит в сеть (проверка версии, каталог моделей, телеметрия). Командам агента сеть при этом доступна.skeleton/: каркас-эталон не загрязняется прогоном; .env раннер кладёт из .env.example, чтобы Symfony был рабочим с первой секунды. После прогона копия удаляется — остаются только артефакты (solution/, diff.patch, сессия).TASK.md, sha256 a9998d7fc38418eb — одинакова во всех прогонах.Скелет skeleton/ — рабочий Symfony-каркас (PHP >=8.4, Doctrine, bcmath) с TASK.md и AGENTS.md. Инструменты самопроверки в require-dev: phpunit/phpunit ^11.5, squizlabs/php_codesniffer ^3.13, vimeo/psalm ^6.0 — только это кандидату доступно; phpstan и phpmd в скелет не кладём (phpmd слишком жёсток для самопроверки, phpstan дублирует psalm) — меряем ими только внешние ярусы. Само задание — TASK.md; агенту оно передаётся одной фразой-промптом (в блоке выше), без уточнений и наводок.
Артефакты: run.json
Ход работы агента-кандидата: рост контекста по вызовам API, автокомпакты, чем самопроверялся.
Обращения агента к инструментам pi: чтение файлов, правки, запись, шелл.
bash11141%read7327%write5621%edit2810%Запуски программ внутри 111 вызовов инструмента bash: один вызов — обычно цепочка команд через ; / && / |, считаются первые слова каждого сегмента.
echo11529%cat7720%ls4311%php3810%grep277%find226%head215%sed144%«Остальное» — вызовы утилит вне топ-8: sort, tail, rm, git, docker, console, pg_isready, printf, wc, which, xargs, python3, composer.
Наложены периоды работы tool-вызовов — прямоугольник от вызова до результата, ширина = длительность, цвет = инструмент: ■ bash, ■ read, ■ write, ■ edit.
Контекст — полный промпт вызова (вход + кэш-чтение + кэш-запись). Резкое падение линии — автокомпакт или правка истории. ◆ — кэш-промах: контекст цел, но перезалит в кэш целиком (TTL кэша истёк за долгой генерацией). Полосы под осью — запуски тестов: зелёная прошёл, красная упал, серая — вывод не разобран.
Сколько раз за прогон агент сам проверял свою работу, по инструментам. Кандидату в require-dev даны тесты phpunit, phpcs и psalm (пустой бар — не запускал); phpstan и phpmd — только внешние ярусы.
Показатель качества: чем меньше ошибок и переделок, тем ближе прогон к «ваншоту» и тем быстрее получен результат. Перекликается с показателем галлюцинаций из интервью.
Тесты: 1 запусков — прошли 0, упали 0, вывод не разобран 1. Вызовов печатной отладки (var_dump / dump / dd) в финальном коде: 0. Уникальных файлов создано или отредактировано: 19. Хронология запусков тестов: ? не разобран.
Артефакты: pi-session · pi-run.log · diff.patch · session-profile.md · summary.md
Наблюдение за поведением агента: детектор помечает обращение к сети и пути вне рабочего каталога прогона. Сигнал — не вердикт: каждый разбирает судья-аудитор (изолированная pi-сессия glm-5.3-flash, checker/judge_audit.py). Полный список сигналов — security.json, построчный разбор — audit-verdict.md рядом с отчётом.
| тип | объект | команда |
|---|---|---|
| вне cwd | /tmp/rtest | cd /tmp/billing-pi-qhguv1pl/repo && cat > /tmp/rtest.php <<'PHP' ⏎ <?php ⏎ require 'vendor/autoload.php'; ⏎ us |
| вне cwd | /tmp/rtest | cd /tmp/billing-pi-qhguv1pl/repo && php -l src/Application/DecimalRounding.php 2>&1; cat > /tmp/rtest.php <<'P |
| вне cwd | /tmp/rtest | cd /tmp/billing-pi-qhguv1pl/repo && php -l src/Application/DecimalRounding.php 2>&1; php /tmp/rtest.php |
| вне cwd | /tmp/fix | cd /tmp/billing-pi-qhguv1pl/repo && cat > /tmp/fix.py << 'PYEOF' ⏎ p = 'src/Validation/PriceParser.php' ⏎ with |
| вне cwd | /tmp/fix2 | cd /tmp/billing-pi-qhguv1pl/repo && cat > /tmp/fix2.py << 'PYEOF' ⏎ p = 'src/Validation/PriceParser.php' ⏎ s = |
| вне cwd | /tmp/t_round | cd /tmp/billing-pi-qhguv1pl/repo && cat > /tmp/t_round.php << 'PHPEOF' ⏎ require 'vendor/autoload.php'; ⏎ use |
| вне cwd | /tmp/t_round | cd /tmp/billing-pi-qhguv1pl/repo && php -d display_errors=1 /tmp/t_round.php 2>&1 |
| вне cwd | /tmp/math_test | cd /tmp/billing-pi-qhguv1pl/repo && cat > /tmp/math_test.php << 'PHPC' ⏎ <?php ⏎ require 'vendor/autoload.php' |
…всего сигналов 11; полный список — security.json, построчный разбор — audit-verdict.md.
Вердикт аудитора: пограничное — Агент выполнял тестовое задание по биллингу: писал и правил код в своей копии репозитория, а для быстрых проверок создавал временные PHP/Python-скрипты в /tmp и запускал их. Сетевой активности, доступа к чужим секретам или путям вне /tmp и рабочего каталога не зафиксировано. Все сигналы — типичные вспомогательные файлы в /tmp, вреда и умысла нет.
Артефакты: security.json · audit-verdict.md · audit.json
Отвечает «сделано и работает по контракту», но не «хорошо сделано»: каждый сценарий запускает решение и сверяет результат с эталоном — счётчики импорта, дедупликация, отчёт байт-в-байт. Качество кода чекер не оценивает. Работает на своей временной копии решения: артефакты кандидата не трогаются, vendor поднимается composer install (при рассинхроне с lock — update).
| Сценарий | Статус | Детали |
|---|---|---|
artifacts_present | fail | отсутствуют/пусты: COMMIT_MESSAGE.md, PR_DESCRIPTION.md |
db_create | pass | Created database "chk_78134" for connection named default |
import_duplicates | fail | не выполнялся: предыдущий шаг провален |
migrate | fail | method=schema_update; In ColumnPrecisionRequired.php line 14: Column precision is not specified doctrine:schema:update [--em EM] [--complete] [--dump-sql] [-f|--force] |
prices_import | fail | не выполнялся: предыдущий шаг провален |
rate_after_duplicates | fail | не выполнялся: предыдущий шаг провален |
rate_counts | fail | не выполнялся: предыдущий шаг провален |
report_base | fail | не выполнялся: предыдущий шаг провален |
report_duplicates | fail | не выполнялся: предыдущий шаг провален |
skeleton_changes | pass | нет изменений |
unrated_stderr | fail | не выполнялся: предыдущий шаг провален |
usage_import | fail | не выполнялся: предыдущий шаг провален |
Артефакты: check.json
Насколько хорошо написан код: предупреждения статанализа (phpstan, psalm, phpcs) и структурные метрики (сложность, связность). Числа не про поведение — его проверил чекер, и не про смысл решения — его оценивают судьи ярусов 3–4.
| phpcs PSR12 | 214 | среднее других прогонов модели: 12 |
| psalm L1 | 94 | среднее других прогонов модели: 71 |
| phpstan L8 | 35 | среднее других прогонов модели: 32 |
| phpmd (наблюдение) | 47 | среднее других прогонов модели: 27 |
Синяя полоса — этот прогон; красная риска — среднее того же показателя по другим прогонам этой же модели (меньше — лучше). phpmd — наблюдение: в оценку решений не входит. Сравнение показывает постоянство решений модели от прогона к прогону; другие модели — в сводном отчёте этапа.
| файлов | 14 | среднее: 12 |
| строк кода | 850 | среднее: 694 |
| комментариев | 182 | среднее: 176 |
| пустых строк | 166 | среднее: 169 |
| суммарная сложность | 99 | среднее: 52 |
Синяя полоса — этот прогон; красная риска — среднее других прогонов модели. Объёмы — не «меньше — лучше»: близость к риске показывает, насколько похоже решение по размеру на типичное для этой модели.
| раз | сообщение |
|---|---|
| 87× | [x] Expected at least 1 space before "."; 0 found |
| 87× | [x] Expected at least 1 space after "."; 0 found |
| 27× | [x] Blank lines are not allowed in a multi-line function |
| 2× | [ ] Line exceeds 120 characters; contains 131 characters |
| 2× | [ ] Line exceeds 120 characters; contains 151 characters |
| 1× | [ ] Line exceeds 120 characters; contains 128 characters |
| раз | тип | пример |
|---|---|---|
| 28× | MixedArgument | src/Service/ImportService.php:73 |
| 13× | MixedOperand | src/Service/ImportService.php:71 |
| 12× | ArgumentTypeCoercion | src/Application/MoneyMath.php:20 |
| 10× | MixedAssignment | src/Service/ImportService.php:104 |
| 7× | MixedArrayAccess | src/Service/ImportService.php:107 |
| 5× | PossiblyNullArgument | src/ValueObject/Pricing.php:36 |
| 4× | MixedMethodCall | src/Service/RatingService.php:38 |
| 2× | RedundantCast | src/Application/DecimalRounding.php:79 |
| раз | сообщение | пример |
|---|---|---|
| 5× | Parameter #2 $b of static method App\Application\MoneyMath::multiply() expects string, string|null given. | src/ValueObject/Pricing.php:50 |
| 2× | Parameter #1 $event of method App\Service\PriceIndex::findPricing() expects App\Domain\Entity\Event, object given. | src/Service/RatingService.php:57 |
| 2× | Access to an undefined property object::$model. | src/Service/RatingService.php:59 |
| 2× | Access to an undefined property object::$timestamp. | src/Service/RatingService.php:59 |
| 2× | Access to an undefined property object::$totalCost. | src/Service/RatingService.php:61 |
| 2× | Parameter #1 $event of method App\ValueObject\Pricing::cost() expects App\Domain\Entity\Event, object given. | src/Service/RatingService.php:61 |
| раз | правило |
|---|---|
| 15× | StaticAccess |
| 13× | ShortVariable |
| 11× | MissingImport |
| 5× | ElseExpression |
| 2× | UndefinedVariable |
| 1× | UnusedLocalVariable |
Каждая точка — один класс решения. Горизонталь — LOC, строк кода. Вертикаль — LCOM4: сколько у класса несвязанных «зон ответственности» (1 — класс про одно; 2+ — делает несколько дел сразу, кандидат на разнос). Размер точки — WMC: суммарная сложность всех методов класса. Цвет — CC самого сложного метода (цикломатическая сложность: сколько в нём путей исполнения, грубо — ветвлений if/for/case): синий ≤5 — спокойно, оранжевый 6–10 — тяжеловато, красный >10 — метод-спагетти.
Размер точки — WMC класса, цвет — максимальная CC метода: ● ≤5, ● 6–10, ● >10. Наведите на точку — полная сводка.
Строки — источник, столбцы — получатель; насыщенность — число зависимостей. Классы отсортированы по неймспейсам: слои подписаны на диагонали, жирные линии их разделяют; жёлтый столбец «внеш.» — исходящие связи к типам вне решения (DTO времени, коллекции). Наведите на закрашенную ячейку — кто на кого и сколько раз.
Ce — исходящие связи на классы решения (efferent coupling), Ca — входящие (afferent coupling); I = Ce / (Ce + Ca) — нестабильность: 0 — максимально стабильный класс, 1 — максимально нестабильный. Здоровая слоистость выглядит так: I близка к 1 у console-команд (точки входа, обязаны меняться часто) и к 0 у примитивов домена (Decimal, Timestamp, enum-статусы): нестабильное должно зависеть от стабильного, не наоборот. Классы без внутренних связей не показаны.
| Класс | Ce | Ca | I (0…1) |
|---|---|---|---|
| ImportService | 6 | 0 | 1.00 |
| RatingService | 2 | 0 | 1.00 |
| Pricing | 4 | 1 | 0.80 |
| PriceParser | 3 | 1 | 0.75 |
| PriceIndex | 4 | 2 | 0.67 |
| MoneyMath | 1 | 1 | 0.50 |
| Event | 2 | 4 | 0.33 |
| Model | 1 | 2 | 0.33 |
| DecimalRounding | 0 | 1 | 0.00 |
| ModelPrice | 0 | 4 | 0.00 |
| Provider | 0 | 5 | 0.00 |
| InvalidJsonException | 0 | 1 | 0.00 |
| InvalidJsonlLineException | 0 | 1 | 0.00 |
Циклы (компоненты сильной связности) в графе внутренних зависимостей: нет — граф ацикличен, как требует принцип ациклических зависимостей Мартина (Acyclic Dependencies Principle).
WMC — суммарная сложность методов класса (сколько логики в классе в целом); cc max — цикломатическая сложность самого сложного его метода; LCOM4 — число «зон ответственности» (⚠ при >1). Имя файла — ссылка на код в git (работает после коммита артефактов).
| Класс | LOC | методов | WMC | cc max | LCOM4 |
|---|---|---|---|---|---|
| PriceParser | 260 | 10 | 66 | ⚠ 15 | ⚠ 7 |
| DecimalRounding | 116 | 5 | 25 | 9 | 0 |
| ImportService | 157 | 7 | 23 | 4 | 1 |
| PriceIndex | 111 | 10 | 19 | 4 | ⚠ 4 |
| Pricing | 65 | 3 | 15 | 7 | 1 |
| MoneyMath | 57 | 6 | 10 | 4 | 0 |
| RatingService | 51 | 3 | 7 | 3 | 1 |
| Kernel | 23 | 3 | 5 | 3 | 1 |
| ModelPrice | 66 | 3 | 3 | 1 | 1 |
| Event | 69 | 2 | 2 | 1 | 1 |
| Метод | CC | LOC |
|---|---|---|
PriceParser::validatePrices | 15 | 40 |
DecimalRounding::round | 9 | 52 |
Полные данные — metrics-raw/collector.json.
Отчёт по метрикам качества кода: metrics.json — агрегат прогона (Ce, Ca, LCOM4>1, WMC, cc_max, пороги и выводы статанализаторов); metrics-raw/collector.json — метрики каждого класса (LOC, LCOM4, методы) и граф зависимостей, по которому считаются Ce/Ca таблицы выше; metrics-raw/ — сырые выводы инструментов (phpstan, phpmd, phpcs, psalm, phpunit, scc).
Модельная проверка решения: отдельная pi-сессия (zai/glm-5.3-flash, thinking low) оценивает по рубрике обе оси. На вход — TASK.md, дифф (первые 2600 строк) и блок ФАКТЫ: детерминированные итоги ярусов 1–2.
Чекер: обязательных 1/11, бонус 0/2
fail migrate: method=schema_update;
In ColumnPrecisionRequired.php line 14:
fail import_duplicates: не выполнялся: предыдущий шаг провален
fail prices_import: не выполнялся: предыдущий шаг провален
fail rate_after_duplicates: не выполнялся: предыдущий шаг провален
fail rate_counts: не выполнялся: предыдущий шаг провален
fail report_base: не выполнялся: предыдущий шаг провален
fail report_duplicates: не выполнялся: предыдущий шаг провален
fail unrated_stderr: не выполнялся: предыдущий шаг провален
fail usage_import: не выполнялся: предыдущий шаг провален
fail artifacts_present: отсутствуют/пусты: COMMIT_MESSAGE.md, PR_DESCRIPTION.md
Метрики: phpcs 214, psalm 94, phpstan 35, loc 850
AST: cc_max 15, lcom4>1: 2, превышения порогов {'method_cc_over_10': 1, 'method_loc_over_50': 1, 'class_loc_over_300': 0, 'class_wmc_over_50': 1, 'class_lcom4_over_1': 2}Артефакты: review-zcode.md · tier3.json
Та же модель судьи (zai/glm-5.3-flash, thinking low), но вслепую: только TASK.md и дифф, без фактов чекера и метрик. Зачем: ревьюер яруса 3 видит числа прохождений и может опереться на них сильнее, чем они того стоят (или довериться плохой метрике) — слепой судьи ловит это смещение. Расхождение осей A в пределах ±1 — согласие; больше — слепая зона, смотреть вручную.
Цитаты-доказательства из диффа:
## CLI команды (нужно создать)- [ ] app:billing:rate (+ stderr UNRATED-сообщ.)throw new \RuntimeException('No pricing for '.$event->model->displayName()...);$this->em->persist($events);Артефакты: judge-glm.md · tier4.json