# Mainnet Readiness — статус 2026-05-04

**Текущее состояние сети:** ✅ operating, pre-launch
**Network name (genesis-manifest):** `montana` (production-grade именование, без testnet-suffix)
**Дата запуска цепи:** 2026-05-02 19:28 MSK
**Текущая длина цепи:** ≈ 8086 окон ≈ 5.6 суток непрерывной работы
**Активный оператор:** Moscow genesis (Active phase); Frankfurt + Helsinki в CandidateVdf

## Текущие узлы (M8 cross-machine)

| Узел | Регион | IP | Phase | Window | D | peer_id |
|------|--------|-----|-------|--------|---|---------|
| мос | Москва | 176.124.208.93:8444 | **Active** | 8086 | 325000000 | 12D3KooWE6kn…dL3 |
| фра | Frankfurt | 89.19.208.158:8444 | CandidateVdf | 8085 | 325000000 | 12D3KooWMzPB…Qrn |
| зел | Helsinki | 91.132.142.42:8444 | CandidateVdf | 8083 | 325000000 | 12D3KooWEzWH…G3P7 |

Все 3 узла:
- Подключены через `mt-net-tcp` на TCP/8444 с TLS-A pinning.
- Heartbeat OK с двумя другими peer'ами.
- Broadcast Proposal к 2 peer(s) на каждом окне.
- Drift 1–3 окна между узлами — нормальная сетевая задержка.

## Состояние гейтов

| № | Гейт | Статус | Прогресс |
|---|------|--------|----------|
| G1 | Внешний security audit | 🟡 | Внутренний baseline-аудит готов ([Internal-Audit-2026-05-04](09%20Внешний%20Аудит/Internal-Audit-2026-05-04.md)). Нужен независимый внешний (Trail of Bits / Cure53 / NCC). |
| G2 | Формальная верификация Safety/Liveness | 🟡 | TLA+ модель PoT готова ([PoT.tla](10%20Формальная%20Верификация/PoT.tla)). Нужны TLAPS proofs + расширение модели. |
| G3 | n≥9 независимых операторов | 🟡 | План готов ([M9-Расширение-Сети](11%20Тестовая%20Сеть/M9-Расширение-Сети.md)). Текущие 3 узла — один автор, нужны независимые третьи. |
| ~~G4~~ | ~~Bug bounty~~ | ⚪ Снят | Не применим — проект некоммерческий. |
| G5 | Документация оператора для не-программиста | 🟢 | [Гайд оператора готов](11%20Тестовая%20Сеть/Запуск-узла-для-всех.md). |
| G6 | Token-economic finality publicly declared | 🟡 | [Декларация-черновик готова](12%20Управление%20и%20Обновления/Mainnet-Declaration-Draft.md). Подпишется при закрытии G1–G3. |

## Что закрыто полностью

✅ G5 — Документация оператора. Любой человек с базовым навыком терминала может запустить узел по [гайду](11%20Тестовая%20Сеть/Запуск-узла-для-всех.md).

## Что закрыто частично (🟡)

🟡 **G1** — Внутренний baseline-аудит готов в [Internal-Audit-2026-05-04](09%20Внешний%20Аудит/Internal-Audit-2026-05-04.md). 12 findings: 0 Critical, 2 High (single-implementation, отсутствие внешнего аудита), 4 Medium, 3 Low, 3 Info. Внешний аудит у независимой компании остаётся обязательным для full closure.

🟡 **G2** — TLA+ модель Proof of Time с 4 теоремами безопасности готова в [10 Формальная верификация](10%20Формальная%20Верификация/). Model checking при N=4 операторов проходит. TLAPS proof obligations и расширение до N≥7 — следующая итерация.

🟡 **G3** — План расширения сети готов в [M9-Расширение-Сети](11%20Тестовая%20Сеть/M9-Расширение-Сети.md). Закрытие требует 6+ независимых третьих операторов в разных юрисдикциях (Path A в плане). Same-author redundancy (Path B) физически увеличивает n но G3 не закрывает по причине monoculture risk (см. F-01 в внутреннем аудите).

🟡 **G6** — Декларация launch'а в формальном стиле составлена в [Mainnet-Declaration-Draft](12%20Управление%20и%20Обновления/Mainnet-Declaration-Draft.md). Подписание — только при закрытии G1–G3.

## Дорожная карта закрытия

### Параллельный трек (пока не зависит от внешних)

- [x] Внутренний baseline-аудит (12 findings документированы)
- [x] TLA+ модель PoT (4 теоремы + model check config)
- [x] Гайд оператора для не-программиста
- [x] Mainnet declaration черновик
- [ ] Расширенная TLA+ модель (N≥7) + TLAPS proofs
- [ ] Закрытие F-09 (operational ufw проверка на всех узлах)
- [ ] Релиз-теги semver (v0.1.0-m8 текущий код)
- [ ] Публикация бинаря в releases на хабе
- [ ] Публикация genesis-manifest.json открыто
- [ ] Numerical D-калибровка benchmark на 5+ платформах (F-04)
- [ ] Operator runbook для disputes (F-07)

### Внешний трек (требует третьих сторон)

- [ ] Найти 6+ независимых операторов → закрыть G3
- [ ] Заключить договор с компанией-аудитором → начать G1
- [ ] Получить PDF-отчёт аудитора → закрыть G1
- [ ] Закрыть все Critical/High findings из внешнего аудита

### Подписание launch'а

- [ ] Когда все четыре 🟡 → 🟢, подписать [Mainnet Declaration](12%20Управление%20и%20Обновления/Mainnet-Declaration-Draft.md)
- [ ] Опубликовать подписанную декларацию на montana.quest
- [ ] С этого момента token-economic finality активна

## Что НЕ требует закрытия

- ⚪ G4 — Bug bounty снят. Проект некоммерческий, мотивация участия — идейная (ранние операторы получают эмиссию TC после Active phase).
- ⚪ Rebrand или mainnet-конфигурация — `network_name = montana` уже production-grade, никакой переключатель не нужен.
- ⚪ Отдельный mainnet-токен — TC одна, эмитируется по поокнной модели с самого Genesis.

## Архитекторская позиция

Сеть `montana` уже работает и крутит каноническую цепь. Декларация mainnet — это **юридическо-экономическое заявление о финальности**, не техническое изменение. Объявлять при незакрытых гейтах = противоречие [внутреннему аудиту](09%20Внешний%20Аудит/Internal-Audit-2026-05-04.md), [TLA+ модели](10%20Формальная%20Верификация/) и [3-pillar критике](../Монтана-Протокол/Внешний%20аудит/critic-analysis-2026-05-04-3-pillars.md). Ни один из этих документов не выглядит хорошо если они говорят «есть проблемы», а декларация говорит «всё запущено».

Параллельный трек выше — то что я могу сделать сам без третьих лиц. Внешний трек требует решений автора по найму аудитора и приглашения операторов.

## Связанные документы

- [README — статус всех 12 документов](README.md)
- [Critic Analysis — 3 столпа критики](../Монтана-Протокол/Внешний%20аудит/critic-analysis-2026-05-04-3-pillars.md)
- [Internal Audit](09%20Внешний%20Аудит/Internal-Audit-2026-05-04.md)
- [TLA+ Verification](10%20Формальная%20Верификация/)
- [Operator Guide](11%20Тестовая%20Сеть/Запуск-узла-для-всех.md)
- [M9 Network Expansion](11%20Тестовая%20Сеть/M9-Расширение-Сети.md)
- [Mainnet Declaration Draft](12%20Управление%20и%20Обновления/Mainnet-Declaration-Draft.md)