Published package / CLIR
arxo.provision_protocol
v0.1.0Контракт предоставления права Arxo: текст, модель, проверка, авторизация, выпуск, сопровождение, исполнение
A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.
Generation plan
The plan builds: the package can be printed as a module.
- plan format
- law-backend-plan/0.9
- capabilities
- aggregate, defeasible
Checked against package scenarios
Not checked: the package scenarios have not been run against generated modules. A plan that builds does not yet show that the answers coincide.
Target languages
gopyts
refuse this plan · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUcsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUdartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUerlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUexверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUjavaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUluaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUphpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUrbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUrsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUscalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RUswiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)RU
./law dev backend corpus/clir/arxo-provision-protocol.lawir.json --target ts --target py --target go --out DIR
Module interface
Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.
Questions · 15
| Name | Parameters | Meaning | Reads | Sources |
|---|---|---|---|---|
| authorization_current | text | авторизация действует на хэше содержимого моделиRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsrelease_hashrelease_ofrelease_originrelease_predecessorresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedes | protocol/authorization |
| evaluation_supported | text | оценка воспроизведена: выпуск предоставлен, транспорты тождественны, повтор тождественRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_ofevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsrelease_hashrelease_ofrelease_originrelease_predecessorrelease_registryresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedes | protocol/execution |
| function_governed | text, enum | за функцию жизненного цикла акта названо ответственное учреждениеRU | responsible_for | protocol/institutions |
| governance_complete | text | управление актом полно: названы ответственные за все семь функцийRU | responsible_for | protocol/institutions |
| maintenance_due | text | модель требует сопровождения: её текст вытеснен, а к новому тексту ничего не привязаноRU | model_basemodel_oftext_hashtext_oftext_supersedes | protocol/maintenance |
| model_bound_to_text | text, text | модель привязана к тексту: единственная база совпала с единственным хэшем текста актаRU | model_basemodel_oftext_hashtext_of | protocol/model |
| protocol_defect | text, enum | названный дефект протокола предоставления у предъявленного объектаRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsrelease_hashrelease_ofrelease_originrelease_predecessorresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedes | protocol/authorizationprotocol/executionprotocol/releaseprotocol/institutionsprotocol/modelprotocol/reviewprotocol/textprotocol/maintenanceprotocol/visibility |
| provision_current | text, text | выпуск актуален на дату вопросаRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsquestion_aboutquestion_as_ofrelease_currentrelease_hashrelease_ofrelease_originrelease_predecessorrelease_registryresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedestext_window_start | protocol/currency |
| release_provided | text | выпуск предоставлен: пригоден, модель авторизована, реестр названRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsrelease_hashrelease_ofrelease_originrelease_predecessorrelease_registryresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedes | protocol/release |
| release_well_formed | text | выпуск пригоден: хэш один и равен содержимому модели, происхождение объявлено, дефектов нетRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsrelease_hashrelease_ofrelease_originrelease_predecessorresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedes | protocol/release |
| review_current | text | проверка действует на хэше содержимого моделиRU | authorization_baseauthorization_ofauthorization_onevaluation_differentialevaluation_replaymodel_basemodel_content_hashmodel_ofmodel_reportsrelease_hashrelease_ofrelease_originrelease_predecessorresponsible_forreview_basereview_ofreview_outcometext_hashtext_oftext_supersedes | protocol/review |
| text_superseded_for_question | text, text, text | к дате вопроса текст уже вытеснен новым текстомRU | question_as_oftext_supersedestext_window_start | protocol/currency |
| transport_divergent | text, text | на этом транспорте документ оценки разошёлсяRU | evaluation_differential | protocol/execution |
| visibility_declared | text | видимость оценочных элементов объявлена: сообщены все три числаRU | model_ofmodel_reports | protocol/visibility |
| visible_kind_reported | text, enum | модель сообщила число оценочных элементов этого видаRU | model_reports | protocol/visibility |
Inputs · 26
| Name | Parameters | Meaning |
|---|---|---|
| authorization_base | text, text | авторизация повторяет хэш содержимого моделиRU |
| authorization_of | text, text | авторизация относится к моделиRU |
| authorization_on | text, text | в основание авторизации положена эта проверкаRU |
| evaluation_differential | text, text, enum | квитанция сравнения реализаций на транспортеRU |
| evaluation_of | text, text | оценка выполнена по выпускуRU |
| evaluation_replay | text, enum | квитанция повторного исполнения оценкиRU |
| model_base | text, text | модель построена из текста с этим хэшемRU |
| model_content_hash | text, text | хэш содержимого модели (contentHash из law.lock)RU |
| model_of | text, text | модель представляет актRU |
| model_reports | text, enum, dec | модель сообщает число оценочных элементов этого видаRU |
| question_about | text, text | вопрос задан к актуRU |
| question_as_of | text, date | дата, на которую задан вопросRU |
| release_current | text, text | держатель объявил выпуск текущим для актаRU |
| release_hash | text, text | хэш содержимого, выпущенного в реестрRU |
| release_of | text, text | выпуск относится к моделиRU |
| release_origin | text, enum | происхождение выпуска: начальный или преемникRU |
| release_predecessor | text, text | непосредственный предок выпускаRU |
| release_registry | text, text | реестр, в котором предоставлен выпускRU |
| responsible_for | text, text, enum | учреждение объявлено ответственным за функцию жизненного цикла актаRU |
| review_base | text, text | проверка привязана к хэшу содержимого моделиRU |
| review_of | text, text | проверка относится к моделиRU |
| review_outcome | text, enum | исход проверкиRU |
| text_hash | text, text | хэш байтов закреплённого текстаRU |
| text_of | text, text | закреплённый текст принадлежит актуRU |
| text_supersedes | text, text | новый текст вытесняет прежний текст того же актаRU |
| text_window_start | text, date | дата, с которой применяется текстRU |