Отчёты по ИИ · Microsoft · 2026-11-05 · Анонс продукта
Формальная верификация полнофункциональных веб-приложений, написанных агентами, с помощью PDD Kit
Оригинальное название: Formally verifying agent-written full-stack web apps with PDD Kit
PDD Kit превращает намерение разработчика в формальную спецификацию Verus, доказывает, что сгенерированный ИИ код соответствует ей для любых входных данных, и переходит к тестам там, где доказательства нецелесообразны. В пробном запуске в Chopin от GitHub Next он верифицировал логику входа в Pet Store — витрину интернет-магазина на Rust, обнаружил существующие ошибки и доказал отсутствие ошибок входа относительно спецификации. Разработчик проверил намерение, не читая сгенерированный код построчно.