Контракт предоставления права Arxo

ru · unofficial · sha256:f77be2bcc736f28835c39b86b592e5347ccac46eb446b2ebf09048678e178f62RU

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

Referencing norms: AuthorizationBaseMismatch, AuthorizationCurrent, AuthorizationReviewRejected, AuthorizationStale, AuthorizationWithoutReview

ru · unofficial · sha256:bcb8bda30f636bc8119ffdbb102dfd94bb659ff32dd4134f3536e1c51c5b2b7cRU

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

ru · unofficial · sha256:1ee60f70711f16d93be432dbff7f36b306b642a1332b8773e8f7ad43afbadaedRU

Актуальность. Выпуск актуален на дату вопроса, когда он объявлен текущим для акта вопроса, предоставлен, его модель привязана к тексту, применение этого текста началось не позже даты вопроса и ни один текст, вытесняющий его, к этой дате применяться не начал. Дата вопроса есть запись дела, а не время исполнения. Те же записи на разные даты вопроса дают разные ответы, и это не противоречие.

Referencing norms: ProvisionCurrent, TextSupersededForQuestion

ru · unofficial · sha256:c6fa729898788e7c8d18bc44176bbb58f88a18ee5c9f3964c7ab0f8343b1bb05RU

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

ru · unofficial · sha256:377a768978c6d7b98e60212bba7caeb0e26b3474e4210e20af173e373515761dRU

Исполнение. Оценка относится к одному выпуску и несёт квитанции сравнения реализаций по транспортам и квитанцию повторного исполнения. Оценка воспроизведена, когда выпуск предоставлен, хотя бы один транспорт дал байтово тождественный документ, ни один транспорт не разошёлся, повторное исполнение тождественно и дефектов у оценки нет. Расхождение на любом транспорте и расхождение повторного исполнения — названные дефекты оценки. Расхождение оценщиков гасит оценку, а не модель: проверка, авторизация и выпуск от него не меняются. Отсутствие квитанции сравнения не есть расхождение, а отсутствие сведений.

Referencing norms: DifferentialDivergent, EvaluationSupported, ReplayDivergent, TransportDivergent

ru · unofficial · sha256:cf7185e0a0e423b3fd9aaa0dd4a2e2a8d04efbd6caa135ad79c2c3f005848399RU

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

Referencing norms: FunctionGoverned, GovernanceComplete, GovernanceIncomplete

ru · unofficial · sha256:81ebcebcbd74304d4fe27017618a3d11b476491fb0c418019963355a69a71473RU

Сопровождение. Модель требует сопровождения, когда текст, к которому она привязана, вытеснен новым текстом, а ни одна модель не привязана к новому тексту. Такое состояние есть названный дефект модели. Требование сопровождения не отменяет проверки и авторизации прежнего содержимого: они остаются утверждениями о прежнем хэше.

Referencing norms: MaintenanceDue, TextSupersededUnreviewed

ru · unofficial · sha256:96ba16e2bf5d6846942e94390398c90a3582ed9c026479cfb946bfbf9c012e34RU

Модель. Модель есть машинно-исполнимое представление одного акта. Она называет ровно одну базу — хэш закреплённого текста, из которого построена, — и несёт хэш своего содержимого, по которому её узнают проверка, авторизация и выпуск. Модель привязана к тексту тогда и только тогда, когда её база единственна и совпадает с единственным хэшем текста того же акта. Модель без базы, модель с двумя базами и модель, чья база не совпала ни с одним текстом акта, — названные дефекты.

Referencing norms: ModelBaseAmbiguous, ModelBaseMissing, ModelBaseUnknownText, ModelBoundToText

ru · unofficial · sha256:0a684e2b4a3dda379133513de15d0c88c73072ca50539ee8afa6e047d108a676RU

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

Referencing norms: GenesisWithPredecessor, ReleaseHashMismatch, ReleaseHashMissing, ReleasePredecessorAmbiguous, ReleasePredecessorMissing, ReleaseProvided, ReleaseWellFormed

ru · unofficial · sha256:cc368c851a3a21e1dac5db7f0137b09322f78f898ff080ee02823af61290f067RU

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

Referencing norms: ReviewBaseMissing, ReviewCurrent, ReviewOutcomeAmbiguous, ReviewStale

ru · unofficial · sha256:0f3003161c2fc9a901c75756e904718ce1980e3a1ade1dd0600024bea9412930RU

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

ru · unofficial · sha256:e5d77305a685c3784d7c0b1c249c386c4f579e7f1621b77f30315ecc979b27cdRU

Текст. Закреплённый текст принадлежит одному акту и несёт ровно один хэш своих байтов, статус закрепления (официальные байты, неофициальная копия, редакционная реконструкция) и дату начала применения. Текст может быть объявлен вытесняющим прежний текст того же акта. Текст без хэша и текст с двумя хэшами — названные дефекты: у первого нет идентичности, у второго их две.

Referencing norms: TextHashAmbiguous, TextHashMissing

ru · unofficial · sha256:dad2bed24ceaf4d2e113c6cf7596bc62969c072444c4913f4120179c84e5b854RU

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

Referencing norms: VisibilityDeclared, VisibilityUndeclared, VisibleKindReported