Что этот прогон подтвердил —
и чего он не подтвердил.

Агент может сказать «тесты прошли, можно выпускать». Mangust Proof смотрит прогон, который сама записала, и отвечает только на узкий вопрос: этот тест, этот запуск, это число — да или нет. Широкое «можно выпускать» программа сама не подтверждает.

Посмотреть на примере Как получить

Узкий вопрос вместо общего «готово»

Конкретный тест, запуск, число или происхождение результата — только в записанном прогоне.

Четыре честных исхода

Подтверждено, не подтверждено, противоречит или нужна проверка человека.

Логи и тесты остаются

Proof не заменяет их и не даёт выдать узкий факт прогона за «всё готово».

ЖИВОЙ ИНТЕРФЕЙСТРИ ЭКРАНА ПРОДУКТА

ФАКТ В ПОЛЕ ЗРЕНИЯРЕЗУЛЬТАТ НЕ СКРЫТВИДНО

ТРИ ПРИМЕРА · СХЕМА СМЫСЛА

Что можно сказать по этому прогону.

Это объясняющая схема, не живой запуск Kernel. Она показывает разницу между узким фактом прогона и широким заявлением агента.

ЗАЯВЛЕНИЕ → ЗАПИСАННЫЙ ПРОГОН → ГРАНИЦА ВЫВОДА

ПРИМЕР 1

Конкретный тест прошёл.

Если Mangust Proof сама записала конкретный тест и увидела ожидаемый исход, программа может подтвердить именно этот узкий факт. Она не превращает его в заявление о всём проекте.

ДОСТУП К MANGUST PROOF

Доступ и лицензия — без выдуманного тарифа.

Portal показывает фактическое право аккаунта. Если публичный план не опубликован, страницы не рисуют цену или кнопку покупки; существующая лицензия при этом остаётся неизменной.

ПОЛУЧЕНИЕ ПРОГРАММЫПродажа откроется только после настройки плана

Получение программы

Проверяю состояние заказа…

ОФИЦИАЛЬНАЯ ВЕРСИЯ

Установщик и проверяемые данные выпуска.

Версия, контрольная сумма, требования и инструкция приходят из действующего release-манифеста — без второй копии данных внутри магазина.

ОФИЦИАЛЬНЫЙ ЦЕНТР ЗАГРУЗКИ

Mangust Proof для Windows

Актуальная закрытая бета-версия и проверяемые данные её выпуска — в одном месте.

Проверяю официальный манифест выпуска…

← На главную

Что этот прогон подтвердил —и чего он не подтвердил.