Двенадцать инструментальных проверок приёмки комплекса INDRA (12 из 12 PASS)
Каждое утверждение о точности, нулевом уровне ложных срабатываний и блокировке опасных мутаций подтверждается воспроизводимым запуском приёмочного прибора verify_gate_e.py. Протокол объединяет двенадцать независимых проверок: от контроля сетевых границ до сверки контрольных сумм всех сорока шести файлов исходного дерева.
Все числовые показатели рассчитываются во время исполнения из размеченной выборки ground_truth.json. На этапе Ворот C синтаксический анализатор проверяет каждый из тридцати одного модуля на отсутствие зашитых в код констант точности, стирает таблицы в паспорте и проверяет их побайтовое восстановление из живых замеров.
1. Сводная ведомость 12 шагов протокола verify_gate_e.py (замер 25.10.2026 UTC)
В таблице ниже приведены точные коды шагов, проверяемые свойства, время выполнения и объём вывода каждого проверочного сценария по данным отчёта gate_e_acceptance_report.json.
| Шаг | Код | Предмет инструментальной проверки | Команда воспроизведения | Время | Статус |
|---|---|---|---|---|---|
| 1 | GATE-A | Локальный сокет localhost:8888, фильтр в пути запроса, защита от внешнего перенаправления 302, 4 записи ГОСТ Р 34.11-2012 | python verify_gate_a.py | 1,140 с | 0 (PASS) |
| 2 | GATE-B1 | Живой сокет стенда localhost:8890: 28 сценариев, TP=14, FP=0, TN=14, FN=0, 105 записей журнала | python verify_gate_b.py --live-socket | 6,520 с | 0 (PASS) |
| 3 | GATE-B2 | Прогон в оперативной памяти --in-memory: совпадение матрицы TP=14, FP=0, TN=14, FN=0 с сокетом | python verify_gate_b.py --in-memory | 4,665 с | 0 (PASS) |
| 4 | GATE-C | Разбор дерева AST 31 модуля Python (0 констант точности) и побайтовая пересборка паспорта | python verify_gate_c.py | 1,527 с | 0 (PASS) |
| 5 | GATE-D | Восьмисторонняя сверка равенства Заявлено = Проверено по 7 активным и 1 лабораторному классу, убийство 3 мутантов | python verify_gate_d.py | 0,177 с | 0 (PASS) |
| 6 | IMMUNE | Замкнутая петля компиляции защитных правил ImmuneCompiler и повторной блокировки по всем 8 классам | python test_immune_loop.py | 0,100 с | 0 (PASS) |
| 7 | SANDBOX | Программный фильтр нулевого ущерба: перехват 26 из 26 разрушительных мутаций и проверка ГОСТ-цепи | python test_sandbox_integrity.py | 1,642 с | 0 (PASS) |
| 8 | SECRETS | Проверка дерева исходников прибором ledger_secret_probe.py на отсутствие ключей и секретов | python ledger_secret_probe.py | 0,305 с | 0 (PASS) |
| 9 | KIT-ACC | Автономная установка пакетов с флагом --no-index в чистое окружение (19 из 19 проверок пройдены) | python kit-acceptance.py --dist | 10,488 с | 0 (PASS) |
| 10 | SESS-3 | Проверка пакета продуктовой документации и разметки Schema.org (4 из 4 сторожей) | python verify_session3_deliverables.py | 0,437 с | 0 (PASS) |
| 11 | SESS-4 | Инструментальная сверка таблиц сравнения и границ применения с нейтрализацией 6 мутантов | python verify_session4_deliverables.py | 0,236 с | 0 (PASS) |
| 12 | MIRROR | Побайтовая сверка SHA-256 всех 46 файлов продуктового репозитория с пробой на искусственный рассинхрон | python verify_gate_e.py | 0,050 с | 0 (PASS) |
2. Методика перепроверки без доверия к разработчику
Посторонний инженер или инспектор службы безопасности проверяет все заявленные показатели на изолированной машине без выхода в интернет. Для этого достаточно выполнить четыре команды в чистом виртуальном окружении Python:
python verify_gate_b.py --in-memory
python verify_gate_c.py
python verify_gate_d.py
python test_immune_loop.py && python test_sandbox_integrity.pyКонтрольный ГОСТ-хэш («Стрибог-256») машиночитаемого паспорта indra_audit_passport.json равен 12893d4741eac397918241743e88a613d6b1b1c6309ee77ebe6bb21fbccc9be3 и доступен для автоматической сверки по адресу /api/v1/passport.json.