PoNE начинался как гипотеза о «фундаментально новой модели консенсуса» — и не пережил собственного разбора. Выжила честная переформулировка: детерминированный гомеостатический контроллер экономических параметров блокчейна — с теоремами устойчивости, двойной реализацией и живым тестнетом, где теория предсказала поведение реальной сети.
Каждое утверждение этой страницы имеет указатель на доказательство, воспроизводимый тест или живой эксперимент. Чего у нас нет — сказано прямо. Опровержение исходной гипотезы — задокументированный результат программы, а не неудача.
Первым результатом программы стали не конструкции, а невозможности — они и определили всю дальнейшую честную рамку.
Трастлесс «четвёртого источника» Sybil-стойкости не существует: любой кандидат коллапсирует к стейку, работе или доверию. Требование — соперничающий (rivalrous) ресурс.
«Оптимальный переход по состоянию сети» сам требует согласия о состоянии — это и есть консенсус. Смена постановки FLP не обходит: циркулярность фундаментальна.
Бонус по пути: Theorem 12 — трастлесс faithful Sybil-инвариантной метрики «децентрализации» не существует ни для какого он-чейн функционала. Все, кто продаёт вам «индекс децентрализации» на цепи — измеряют что-то другое.
Переформулировка: контроллер Θh+1 = F(финализированный префикс [0..h]) — читает только финализированное прошлое (не входит в FLP), входы Sybil-инвариантны (только ресурс-взвешенные величины), арифметика — фикс-точка без float (бит-идентичность у всех узлов). Структура: MIMO PI + ограничители + анти-виндап.
| Результат | Суть | Статус |
|---|---|---|
| Prop. 2 | Наивная функция дисбаланса D=|e| — НЕ функция Ляпунова (растёт ×9.5/шаг у устойчивого контура) | честный негатив |
| Thm 3–7 | ISS-репарация: устойчивость V=zᵀPz, ограниченный адверсариальный захват ‖ΔΘ‖ ≤ min(κβ, Δθ_max) | доказано |
| Thm 10 | Единый сертификат задержка+насыщение+MIMO (круговой критерий/KYP); анти-виндап доказуемо необходим | условно (Λ=I) |
| Thm 12 | Невозможность трастлесс-измерения децентрализации | доказано |
| Thm 13 | Точная (a,b)-граница устойчивости PI при задержке d (D-разбиение) | доказано + живой тест |
| Thm 14–15 | Delay-робастность анти-виндапа; m→0: устойчивость лишь региональна (негатив worst-case) | доказано |
Инженерная воспроизводимость: Python-корпус (83 проверки) + Rust-порт (31 тест) с точными raw-golden'ами — обе реализации бит-в-бит; вся верификация — одной командой.
Контроллер запускался поверх настоящего 4-валидаторного CometBFT. Свидетельство согласия — сам консенсус: app_hash = канонические байты Θ, коммит блока H+1 доказывает, что ≥2/3 мощности вычислили один и тот же Θ. Числа ниже — из заголовков блоков, не из наших логов.
Замкнутый контур (нагрузка отвечает на параметр, как спрос на комиссию): Θ стабилизировался у равновесия, средняя наполненность блоков — у цели.
Меняем ТОЛЬКО задержку измерения. Внутри границы — оседание. За границей (b_max(0.3,3)=0.045 < ki=0.05) — незатухающие колебания, видимые прямо в заголовках.
Тот же байтовый ресурс, разбитый на 11 транзакций вместо 2: ресурсный канал слеп (1100.0 == 1100.0), счётный — раздулся, и параметр увели с рейки на рейку чистым расщеплением идентичностей.
Потеря кворума: высота и Θ замирают. Возврат узлов: полный реплей контроллера, ноль Θ-форков. 3/4: цепь живёт, миноритарий догоняет движущуюся цепь.
Смешанная сеть 2×arm64 + 2×x86_64: живость сети под нагрузкой = кросс-архитектурный детерминизм, засвидетельствованный BFT (float-путь здесь бы разошёлся).
Θ на высоте h — чистая функция финализированного префикса: подмена «будущего» не меняет прошлое; реплей из префикса воспроизводит цепочку бит-в-бит.
Инфляция (коридор 2–10%) и floor комиссий управляются сертифицированным MIMO-контроллером прямо в цепи: x/mint подчиняется Θ₁, измерения — настоящий bonded ratio и наполненность блоков. Go-реализация в цепи бит-в-бит совпадает с ресёрч-эталоном (conformance-тесты против Rust).
Смотреть живой дашборд JOPA →«Композиция „Sybil-инвариантность входов ↔ false-name-proofness + количественная ISS-граница захвата для живого permissionless кросс-блочного параметр-контроллера“, насколько нам известно, ранее в литературе не собиралась — framing-вклад; все составные части известны.»