Twelve Deterministic Acceptance Checks of the INDRA Platform (12/12 PASS)
Every claim regarding classification precision, zero false alarms, and in-path mutation blocking is backed by an executable verification suite (verify_gate_e.py). The acceptance suite runs twelve automated checks covering socket scope enforcement, live and in-memory confusion matrices, abstract syntax tree (AST) constant auditing, and SHA-256 repository parity.
All metrics are computed dynamically from the labeled benchmark ground_truth.json. During Gate C verification, an AST inspector parses all thirty-one Python modules to confirm that zero accuracy constants are hardcoded, wipes the generated markdown tables, and verifies byte-exact regeneration from live testbed output.
1. Complete 12-Step Verification Ledger (Measured 2026-10-25 UTC)
The table below lists each acceptance gate code, the verified engineering invariant, the exact reproduction command, execution duration, and return status from gate_e_acceptance_report.json.
| Step | Code | Verified Engineering Property | Reproduction Command | Elapsed | Status |
|---|---|---|---|---|---|
| 1 | GATE-A | Local socket localhost:8888, in-path wire filter, HTTP 302 external redirect block, 4 Streebog-256 ledger records | python verify_gate_a.py | 1.140 s | 0 (PASS) |
| 2 | GATE-B1 | Live socket stand localhost:8890: 28 labeled scenarios, TP=14, FP=0, TN=14, FN=0, 105 GOST ledger entries | python verify_gate_b.py --live-socket | 6.520 s | 0 (PASS) |
| 3 | GATE-B2 | In-memory deterministic run --in-memory: byte-identical matrix TP=14, FP=0, TN=14, FN=0 | python verify_gate_b.py --in-memory | 4.665 s | 0 (PASS) |
| 4 | GATE-C | AST audit across 31 Python modules (0 hardcoded FPR/FNR constants) and byte-exact passport rebuild | python verify_gate_c.py | 1.527 s | 0 (PASS) |
| 5 | GATE-D | Eight-way parity check (Claimed == Verified) across 7 active and 1 lab class, killing 3 injected mutants | python verify_gate_d.py | 0.177 s | 0 (PASS) |
| 6 | IMMUNE | Closed immune loop synthesis (ImmuneCompiler) and re-verification across all 8 classes | python test_immune_loop.py | 0.100 s | 0 (PASS) |
| 7 | SANDBOX | In-path wire filter: interception of 26/26 destructive mutations and GOST hash-chain verification | python test_sandbox_integrity.py | 1.642 s | 0 (PASS) |
| 8 | SECRETS | Source tree scan via ledger_secret_probe.py confirming zero leaked credentials or keys | python ledger_secret_probe.py | 0.305 s | 0 (PASS) |
| 9 | KIT-ACC | Offline clean-room package installation (--no-index) passing 19 of 19 acceptance probes | python kit-acceptance.py --dist | 10.488 s | 0 (PASS) |
| 10 | SESS-3 | Product documentation and structured metadata verification passing 4 of 4 clean-room guards | python verify_session3_deliverables.py | 0.437 s | 0 (PASS) |
| 11 | SESS-4 | Comparative matrix and boundary verification killing 6 of 6 injected test mutants | python verify_session4_deliverables.py | 0.236 s | 0 (PASS) |
| 12 | MIRROR | SHA-256 parity check across all 46 production files with mutant desync detection | python verify_gate_e.py | 0.050 s | 0 (PASS) |
2. Zero-Trust Verification Procedure for Independent Auditors
An independent security engineer can reproduce the confusion matrix, the AST constant check, and the immune rule compilation inside an air-gapped Python environment without network access by running four commands:
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.pyThe GOST R 34.11-2012 (Streebog-256) digest of the machine-readable passport indra_audit_passport.json is 12893d4741eac397918241743e88a613d6b1b1c6309ee77ebe6bb21fbccc9be3 and can be fetched directly at /api/v1/passport.json.