MODE A / NORMAL
Receive and commit
Принять и зафиксировать
Signed envelope → durable receiver state → RECEIVER_COMMIT record. No recovery authority.
Signed envelope → устойчивое состояние → запись RECEIVER_COMMIT. Полномочий recovery нет.
ONE ROUTE · SEVEN INDEPENDENT GATES · ZERO AMBIENT AUTHORITY
ОДИН МАРШРУТ · СЕМЬ НЕЗАВИСИМЫХ ВОРОТ · НОЛЬ НЕЯВНЫХ ПОЛНОМОЧИЙ
Evidence moves.
The receiver does not.
Свидетельство движется.
Получатель неподвижен.
A trust head may advance only after committed reception, exact recovery, explicit authorization, external witnessing, trust admission, governance quorum and validation of the next passport meet in one chamber.
Граница доверия может продвинуться только там, где в одной камере совпали зафиксированный приём, точное восстановление, явное разрешение, внешнее свидетельство, допуск свидетеля, кворум управления и проверка следующего паспорта.
Q → TRACE → RETURN
From first distinction to certified return.
От первого различия к проверяемому возврату.
This is an applied branch of the main research, not a second answer to the ontological question. The central map studies the minimal distinction from which an interface, a trace and the possibility of return become expressible. This chamber begins one level later: when that trace enters physical execution, how can we establish that it was preserved rather than silently replaced, replayed or forked?
Это прикладная ветка главного исследования, а не второй ответ на онтологический вопрос. Центральная карта исследует минимальное различие, из которого становятся выразимы интерфейс, след и возможность возврата. Эта камера начинает уровнем позже: когда след входит в физическое исполнение, как установить, что он сохранён, а не незаметно подменён, повторён или разветвлён?
The protocol therefore proves no being, consciousness or new physics. It gives an operational test for continuity of an already produced distinction.
Поэтому протокол не доказывает бытие, сознание или новую физику. Он даёт операциональную проверку непрерывности уже возникшего различия.
DISTINCTION → INTERFACE → TRACE → RETURN → CERTIFIED CONTINUITY
CORE
ЯДРО
Open(G) = g₁ ∧ g₂ ∧ g₃ ∧ g₄ ∧ g₅ ∧ g₆ ∧ g₇
Open(G) ⇒ Rₙ₊₁ = Rₙ ∧ epoch(Hₙ₊₁) = epoch(Hₙ) + 1
Open(G) ⇒ Rₙ₊₁ = Rₙ ∧ epoch(Hₙ₊₁) = epoch(Hₙ) + 1
06 · RECEIVE
07 · RECOVER
08 · WITNESS
09 · TRUST
10 · MIGRATE
SHA-256
CONTINUITY
HEAD
CONTINUITY
HEAD
MODE B / OPERATOR
Pin and recover
Закрепить и восстановить
Exact HEAD → stale-lock quarantine → trusted witness → OPERATOR_RECOVERY record.
Точный HEAD → карантин stale-lock → trusted witness → запись OPERATOR_RECOVERY.
AZ-OBS-14 / EXCLUSIVE CONTINUITY LEASE
One writer owns the append point. Expiry is not death: recovery also requires a local owner, an absent PID, the exact lease digest and literal manual authorization. Точка append принадлежит одному writer. Истечение срока не означает смерть: recovery также требует локального владельца, отсутствующий PID, точный digest lease и буквальное ручное разрешение.
One writer owns the append point. Expiry is not death: recovery also requires a local owner, an absent PID, the exact lease digest and literal manual authorization. Точка append принадлежит одному writer. Истечение срока не означает смерть: recovery также требует локального владельца, отсутствующий PID, точный digest lease и буквальное ручное разрешение.
LIVE EVIDENCE ROUTE
ЖИВОЙ МАРШРУТ СВИДЕТЕЛЬСТВ
READY / G₀
G-01
Committed
Зафиксировано
The receiver exposes a state only after durable commit.
Получатель показывает состояние только после устойчивой фиксации.
G-02
Exact
Точно
The released lock is the same lock that was inspected.
Освобождается ровно тот lock, который был обследован.
G-03
Authorized
Разрешено
Recovery carries explicit authorization for the exact digest.
Восстановление несёт явное разрешение для точного хеша.
G-04
Witnessed
Засвидетельствовано
An external key signs the exact recovery receipt bytes.
Внешний ключ подписывает точные байты квитанции восстановления.
G-05
Trusted
Допущено
A valid signature is admitted only inside its trust window.
Корректная подпись допускается только внутри окна доверия.
G-06
Quorum
Кворум
Independent approvals meet the pinned N-of-M rule.
Независимые разрешения выполняют закреплённое правило N-из-M.
G-07
Next passport
Следующий паспорт
The new anchor is valid, distinct and exactly one epoch ahead.
Новый якорь корректен, отличен и опережает ровно на одну эпоху.
LEAN / FORMAL SIDE
Silence is a result.
Тишина — это результат.
The executable function returns no state whenever even one gate is false. From every admitted result Lean derives receiver preservation, monotone epoch growth and impossibility of same-epoch replay.
Исполнимая функция не возвращает состояния, если хотя бы одни ворота закрыты. Из каждого допущенного результата Lean выводит сохранение получателя, монотонный рост эпохи и невозможность повтора в той же эпохе.
R_after = R_beforeepoch(H_after) = epoch(H_before) + 1¬ replay(H_n → H_n)
RUNTIME / PHYSICAL SIDE
Adapters act. The chamber judges.
Адаптеры действуют. Камера судит.
Five explicit ports perform physical work. The chamber supplies no hidden disk, network or account authority. It orders receipts, checks exact SHA-256 identities and stops before the next phase when evidence diverges.
Пять явных портов выполняют физическую работу. Камера не получает скрытой власти над диском, сетью или аккаунтами. Она упорядочивает квитанции, сравнивает точные SHA-256 и останавливается до следующей фазы при расхождении свидетельств.
The chamber proves composition of stated gates. It does not prove the operating system, filesystem, clock, network or hardware key. Physical stale-lock release and later trust migration are staged, not globally atomic; every completed phase must leave its own receipt.
Камера доказывает композицию заявленных ворот. Она не доказывает операционную систему, файловую систему, часы, сеть или аппаратный ключ. Физическое снятие stale-lock и последующая миграция доверия выполняются поэтапно, а не одной глобально атомарной операцией; каждая завершённая фаза обязана оставить свою квитанцию.