Операционный контракт мира Arxo

ru · unofficial · sha256:1a77f047d89e317b6ba1936289d96f332e80ac08582731f675e01b769e67923aRU

Попытка исполнения. Попытка связывается с одним разрешением и с одним исполнительным устройством. Попытка, не назвавшая разрешения, есть названный дефект протокола: исполнитель не вправе действовать без разрешения, и запись о таком действии остаётся записью о нарушении, а не об исполнении.

Referencing norms: AttemptAuthorizationMissing, ExecutionAttempted

ru · unofficial · sha256:8311722dda8dd85ddaf94bdcf29fe0ff45274c491fe40642610857ab82ca093fRU

Разрешение. Разрешение выдаётся на предложение и повторяет хэш его базового снимка. Разрешение, назвавшее иной базовый снимок, чем предложение, есть названный дефект. Разрешение действует ТОЛЬКО на снимке, объявленном текущим в мире предложения; разрешение, чья база не равна хэшу текущего снимка, называется протухшим и не действует. Протухание есть названный дефект протокола, а не отрицательный ответ на содержательный вопрос о безопасности или полномочии.

Referencing norms: AuthorizationBaseMismatch, AuthorizationBaseMissing, AuthorizationBoundToProposal, AuthorizationCurrent, AuthorizationProposalAmbiguous, AuthorizationProposalMissing, AuthorizationStale

ru · unofficial · sha256:84fdae607005f8b3b6663f60a324f6b434e180155da6177454e70d529bcab2f5RU

Разрешение не есть исполнение. Из действующего разрешения не следует, что действие совершено, и отказ исполнителя не отменяет того, что разрешение существовало. Утверждения «действие предложено», «действие разрешено на этом снимке» и «действие фактически исполнено» остаются тремя разными утверждениями, и ни одно не выводится из соседнего.

ru · unofficial · sha256:9c0db59815600439e1203061d2657d207929df82a544f91f33b016b4e00ba541RU

Коммит перехода. Переход мира к следующему снимку допустим тогда и только тогда, когда предъявлена квитанция об успехе, её устройство совпало с устройством попытки, попытка опирается на разрешение, действующее на текущем снимке, ключ идемпотентности не использован дважды, и у самой квитанции нет ни одного названного дефекта. Ни одно из этих условий не восполняется молчанием.

Referencing norms: TransitionCommittable

ru · unofficial · sha256:3ced22ca5365e1bc7b2a515e09f32c71702405e0a02f6253ff1a213010b5e625RU

Дефекты протокола. Каждый дефект называется поимённо и относится к предъявленному объекту. Названный дефект не превращает содержательный вопрос в отрицательный ответ: он говорит, что вход протокола испорчен, и потому вывод не строится. Отсутствие записи не читается ни как ноль, ни как безопасность, ни как отрицание.

ru · unofficial · sha256:37726c952ad409f5c262e74473973d91247ed48acf901edaf172d933afbee457RU

Идемпотентность. Успешная квитанция несёт ключ идемпотентности. Две успешные квитанции с одним ключом означают повторную доставку одной и той же квитанции, а не два физических последствия; повтор есть названный дефект протокола, и второе последствие из него не следует.

Referencing norms: CommitKeyCommitted, IdempotencyKeyReused

ru · unofficial · sha256:253d8ba0cc779c7bf3fd4222f6d86383eb78a86a6bdd065cd29db99f188788b8RU

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

Referencing norms: ProposalActuatorMissing, ProposalBaseAmbiguous, ProposalBaseMissing, ProposalBoundToSnapshot

ru · unofficial · sha256:44edb89e516622637eadf327744ba1712b3594098bf25e9633d144ef1991fb93RU

Квитанция. Квитанция принадлежит ровно одной попытке, называет ровно одно исполнительное устройство и ровно один исход: успех или отказ. Устройство квитанции обязано совпасть с устройством попытки; иное есть названный дефект. Квитанция об успехе есть единственное основание положительного физического последствия. Квитанция об отказе сохраняет попытку и её след, но положительного последствия не создаёт; отсутствие квитанции не есть отказ, а отсутствие сведений.

Referencing norms: ExecutionFailed, ExecutionSupported, ReceiptActuatorMismatch, ReceiptAttemptAmbiguous, ReceiptAttemptMissing, ReceiptOutcomeAmbiguous, ReceiptOutcomeMissing

ru · unofficial · sha256:42c05de48ce2fecc2da9575585f5c7a490821e8b7a3dcedff7ebe00e7c31ffeaRU

Резервирование. Резервирование связывается с одним разрешением и несёт ключ ресурса. Резервирование не создаёт и не расходует ресурс: сколько его свободно и достаточно ли его, считает предметный вычислитель. Резервирование, связанное с разрешением, которое не действует, силы не имеет.

Referencing norms: ReservationAuthorizationMissing, ReservationBound

ru · unofficial · sha256:3d55b084efddacafb466dfc2789d39da8429f35b6285b12446281863867b7d8dRU

Область. Контракт описывает жизненный цикл ОДНОГО действия во внешнем мире: снимок, предложение, разрешение, резервирование, попытка, квитанция. Он не говорит, какое действие безопасно, кто вправе его разрешить и какое последствие оно имеет; это предмет предметных пакетов. Контракт применяется к любому миру, чей внешний цикл предъявляет перечисленные записи.

ru · unofficial · sha256:ef320020da195d6d457a3348a5ba9dbcfd65773c157877fdb38a5b1584c8eaefRU

Мир и снимок. Мир есть последовательность неизменяемых снимков. Снимок принадлежит ровно одному миру и несёт ровно один хэш своих канонических байтов. Снимок объявляется либо начальным, либо преемником; преемник имеет ровно одного непосредственного предка, начальный снимок предков не имеет. Снимок, у которого хэш отсутствует, хэш неоднозначен, происхождение не объявлено или число предков не соответствует объявленному происхождению, не является пригодным, и всё, что на него опирается, остаётся неустановленным.

Referencing norms: SnapshotChainBroken, SnapshotHashAmbiguous, SnapshotHashMissing, SnapshotOriginMissing, SnapshotPredecessorAmbiguous, SnapshotPredecessorMissing, SnapshotPredecessorUnexpected, SnapshotReachesDirect, SnapshotReachesTransitive, SnapshotWellFormed