Перейти к содержимому

Verification Engine

Ловите то, что ломают ваши агенты, пока они работают.

Panolayer проверяет каждое изменение на соответствие всему, что от него зависит, при каждом сохранении и каждый раз, когда агент завершает работу. Когда он находит ошибку, вы получаете строку, нарушенное правило и шаги для её воспроизведения.

Бесплатный старт · Карта не требуется

Verification Engine · find the bug, fix it, review the result

A real verification run finds a file-handle bug in writeArchive. Fix hands it to Panolayer Agent, the change is checked again, and the result is presented for review before merging.

Полный снимок · прокрутите, чтобы рассмотреть детали

Агент меняет getUser() так, чтобы она возвращала null вместо исключения.

Код компилируется. Тесты getUser проходят. Шесть вызывающих мест читают user.name без проверки на null — и падают на стейджинге три дня спустя. Ничто в диффе не подсказало, что они существуют.

Как это работает

От исходного кода до воспроизводимого бага

Пять шагов выполняются при каждом сохранении и каждый раз, когда агент сообщает о завершении.

01

Разбор кода

Panolayer разбирает ваш репозиторий как компилятор: файлы, модули, функции, классы, импорты и полный граф вызовов. Символы разрешаются из исходного кода, а не угадываются моделью.

Как работает архитектура
Architecture · parsed from source

Architecture · parsed from source

Panolayer Studio architecture map connects the sample repository to its routes, components and shared libraries.

Полный снимок · прокрутите, чтобы рассмотреть детали

02

Определите, чего ожидает код

Panolayer выводит правила поведения каждой функции, например «возвращает пользователя или выбрасывает исключение, но никогда не null». Добавляйте свои правила или исправляйте те, что он определил неверно.

The rule the function must follow

The rule the function must follow

The file rule requires writeArchive to close the descriptor opened by fs.openSync on every return path, including when a write throws. An Add a file rule field appears below it.

Полный снимок · прокрутите, чтобы рассмотреть детали

03

Смотрите, что именно сломалось

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

The failure, anchored to the source

The failure, anchored to the source

The review explains that writeArchive opens a file descriptor at line 12 without closing it on the return at line 25 or when fs.writeSync throws, then describes the repair.

Полный снимок · прокрутите, чтобы рассмотреть детали

04

Только то, что сломалось из-за этого изменения

Результаты сравниваются с вашим кодом до изменения. Сбои, которые были и раньше, помечаются как «существовавшие ранее», поэтому вы видите только новое, а не накопившийся список.

New failures vs. the project baseline

New failures vs. the project baseline

Worktree verification reports no new failures or rule regressions and separately labels two pre-existing failures that do not block the merge.

Полный снимок · прокрутите, чтобы рассмотреть детали

05

Исправьте код или правило

Исправьте код сами или передайте сбой Panolayer Agent либо своему агенту, приложив затронутых вызывающих как контекст. Если правило было неверным, исправьте его. В любом случае проверка запустится снова.

Hand the failed rule to Panolayer Agent

Hand the failed rule to Panolayer Agent

The Fix menu beside the writeArchive file rule offers Panolayer Agent to work on the failure.

Полный снимок · прокрутите, чтобы рассмотреть детали

Постоянная память

Он учится тому, как должен вести себя ваш код

Каждое исправление сохраняется вместе с проектом. Ваши агенты начинают каждую сессию, уже зная его, а проверки становятся точнее, чем больше вы пользуетесь Panolayer.

Project context · editable function descriptions

The writeArchive function description explains that it writes posts to a JSON Lines file and returns its path. A pencil control edits the description, with Verified · No issues found displayed below.

Полный снимок · прокрутите, чтобы рассмотреть детали

Где выполняется

Два способа поймать то, что ломают ваши агенты

Тот же Verification Engine работает в приложении для Mac и в вашем редакторе.

Агенты

Работает с агентами, которых вы уже используете

Panolayer Verification Engine проверяет код независимо от того, кто его написал: вы, Panolayer Agent или любой из 20+ поддерживаемых агентов в Agent Marketplace.

  • Panolayer AgentPanolayer Agent
  • AiderAider
  • Claude CodeClaude Code
  • Cline CLICline CLI
  • Codex CLICodex CLI
  • CrushCrush
  • Deep Agents CodeDeep Agents Code
  • Gemini CLIGemini CLI
  • GitHub Copilot CLIGitHub Copilot CLI
  • GooseGoose
  • Kilo Code CLIKilo Code CLI
  • Kimi CodeKimi Code
  • Letta CodeLetta Code
  • mini-SWE-agentmini-SWE-agent
  • Mistral VibeMistral Vibe
  • Open InterpreterOpen Interpreter
  • OpenClawOpenClaw
  • OpenCodeOpenCode
  • Pi Coding AgentPi Coding Agent
  • PlandexPlandex
  • Qwen CodeQwen Code
Открыть Agent Marketplace

FAQ

Вопросы

Что-то ещё? Свяжитесь с нами, и мы ответим.

Что такое правило?

Ожидание того, как ведёт себя код, например «возвращает пользователя или выбрасывает исключение, но никогда не null». Panolayer выводит большинство правил из вашего кода, и они выполняются при каждом изменении.

Можно ли писать собственные правила?

Да. Ваши правила работают вместе с теми, что выводит Panolayer.

Что происходит, если правило ошибочно?

Исправьте его. Исправление сохраняется вместе с проектом и влияет на все последующие проверки.

Когда выполняется проверка?

Когда вы сохраняете файл в своей ветке и когда агент отмечает задачу выполненной.

Насколько это быстро?

Результаты возвращаются за секунды — достаточно быстро, чтобы запустить агента, проверить, исправить и проверить снова, не выходя из задачи.

Отправляется ли мой код в модель?

Ваш репозиторий и его индекс остаются на вашем Mac, если вы не синхронизируете их и не делитесь ими. Функции, использующие модель, отправляют соответствующие фрагменты настроенному вами провайдеру на условиях этого провайдера. Подробнее на странице безопасности.

Блокирует ли это слияние?

Он держит в узде агентов, а не вас. Работа агентов проверяется до того, как вы решите, что мержить, и вы всегда можете закоммитить и смержить сами. Неудачи остаются в списке.

Заменяет ли он мои тесты?

Нет. Он работает параллельно с ними, а там, где вы это настроите, запускает ещё и ваши тесты, сборки и проверки типов.

Доверяйте тому, что выпускают ваши агенты.

Начать бесплатно · Без банковской карты

Далее: Panolayer Studio