# MITR Sentinel & Z3 Gate (asi5.ru) — Mediating Invariant-Trust Resolver

> Deterministic action verification gateway for autonomous agents in regulated environments (legal, financial, infrastructure). Classifies every tool call along the six-tier reversibility scale (`R0–R5`), proves safety via the `Z3` SMT solver prior to execution, returns the minimal unsatisfiable core (`retry_of`) for autonomous self-correction within 3 rounds, and seals every decision in a hash-chained ledger (`gate_actions.jsonl`, `SHA-256` + `GOST R 34.11-2012` Streebog-256 + `OpenTimestamps` Bitcoin anchoring).

## Verified Telemetry & Engineering Facts
- Automated Test Suite (`v-testsuite`): `6422` tests enforcing R5 fail-closed invariants and prompt-injection guards.
- Z3 SMT Solver Latency (`smt_latency.jsonl`): `p99 4.5 мс (2026-09-25, прогретая серия, n=1000)` on live contract `DELETE_EVENT` (both allow and block branches).
- Companion Open Filter (`mcp-sentinel 1.1.2`, Apache-2.0): `~0.016 ms` in process memory; `~22.5 ms` with synchronous disk GOST R 34.11-2012 receipt.
- Architecture Governance Trace: `225` Architecture Decision Records (`ADR`) and `315` decorrelated audit reports.
- Standalone Verification: `python verify_chain_standalone.py --replay` and `python iss_verifier.py --ledger audit.jsonl`.

## Operator & Licensing
- Operator and Rights Holder: Autonomous Non-Profit Organization Research Institute of System Synthesis (АНО «НИИ Системного синтеза»), OGRN `1267700083617`, INN `9731161602`, KPP `773101001`.
- Contact: `info@isslab.ru`
- Open-Source Companion Tier: `0 RUB` (Apache-2.0: `mcp-sentinel 1.1.2`, `iss-ledger-117 1.1.1`, `iss_verifier.py`).
- Commercial Tiers: `4,900 RUB` (Ledger Inspector Run), `19,900 RUB/month` (MITR Start), `49,000 RUB/month` (MITR Protection-117), `149,000 RUB` (MITR Opora 3-month sovereign air-gapped pilot).

## Canonical Pages & Interactive Endpoints
- Russian Flagship & Live Z3 Stand: https://asi5.ru/
- English Flagship & Live Z3 Stand: https://asi5.ru/en/
- R0-R5 Structure & Unsat Core Loop (RU / EN): https://asi5.ru/architecture/ | https://asi5.ru/en/architecture/
- FSTEC Order No. 117, GOST R 56939-2024 & 152-FZ Compliance (RU / EN): https://asi5.ru/fstec-117/ | https://asi5.ru/en/compliance/
- Prevented-Damage & ROI Calculator (RU / EN): https://asi5.ru/calculator/ | https://asi5.ru/en/calculator/
- Commercial Pricing & Licensing (RU / EN): https://asi5.ru/pricing/ | https://asi5.ru/en/pricing/
- Operator Glass-Box Console: https://asi5.ru/console/
- Third-Party Verification Kit: https://asi5.ru/console/verify/