Опубликованный пакет / CLIR
arxo.provision_protocol
v0.1.0Контракт предоставления права Arxo: текст, модель, проверка, авторизация, выпуск, сопровождение, исполнение
Пакет можно напечатать самостоятельным модулем на языке общего назначения, который отвечает без движка правил: ответ и статус, без доказательства, хэшей и канонического документа. Всё на этой странице взято из плана кодогенерации, построенного вместе с индексом; витрина ничего не вычисляет сама.
План кодогенерации
План строится: пакет печатается модулем.
- формат плана
- law-backend-plan/0.9
- возможности
- aggregate, defeasible
Сверка сценариями пакета
Не сверено: сценарии пакета на порождённых модулях не исполнялись. Построенный план ещё не показывает, что ответы совпадают.
Целевые языки
gopyts
отвергают этот план · 13
bslверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)csверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)dartверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)erlверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)exверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)javaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)ktверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)luaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)phpверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rbверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)rsверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)scalaверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)swiftверсия плана не поддержана эмиттером: 'law-backend-plan/0.9' (поддержана law-backend-plan/0.7)
./law dev backend corpus/clir/arxo-provision-protocol.lawir.json --target ts --target py --target go --out DIR
Интерфейс модуля
Вопросы — публичные отношения с производящим правилом; входы — факты, которые вопрос читает. Имена функций следуют языку: ask_… в Python, ask.… в TypeScript, Ask… в Go.
Вопросы · 15
| Имя | Параметры | Смысл | Читает | Источники |
|---|---|---|---|---|
| authorization_current | text | авторизация действует на хэше содержимого модели | 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 | оценка воспроизведена: выпуск предоставлен, транспорты тождественны, повтор тождествен | 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 | за функцию жизненного цикла акта названо ответственное учреждение | responsible_for | protocol/institutions |
| governance_complete | text | управление актом полно: названы ответственные за все семь функций | responsible_for | protocol/institutions |
| maintenance_due | text | модель требует сопровождения: её текст вытеснен, а к новому тексту ничего не привязано | model_basemodel_oftext_hashtext_oftext_supersedes | protocol/maintenance |
| model_bound_to_text | text, text | модель привязана к тексту: единственная база совпала с единственным хэшем текста акта | model_basemodel_oftext_hashtext_of | protocol/model |
| protocol_defect | text, enum | названный дефект протокола предоставления у предъявленного объекта | 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 | выпуск актуален на дату вопроса | 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 | выпуск предоставлен: пригоден, модель авторизована, реестр назван | 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 | выпуск пригоден: хэш один и равен содержимому модели, происхождение объявлено, дефектов нет | 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 | проверка действует на хэше содержимого модели | 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 | к дате вопроса текст уже вытеснен новым текстом | question_as_oftext_supersedestext_window_start | protocol/currency |
| transport_divergent | text, text | на этом транспорте документ оценки разошёлся | evaluation_differential | protocol/execution |
| visibility_declared | text | видимость оценочных элементов объявлена: сообщены все три числа | model_ofmodel_reports | protocol/visibility |
| visible_kind_reported | text, enum | модель сообщила число оценочных элементов этого вида | model_reports | protocol/visibility |
Входы · 26
| Имя | Параметры | Смысл |
|---|---|---|
| authorization_base | text, text | авторизация повторяет хэш содержимого модели |
| authorization_of | text, text | авторизация относится к модели |
| authorization_on | text, text | в основание авторизации положена эта проверка |
| evaluation_differential | text, text, enum | квитанция сравнения реализаций на транспорте |
| evaluation_of | text, text | оценка выполнена по выпуску |
| evaluation_replay | text, enum | квитанция повторного исполнения оценки |
| model_base | text, text | модель построена из текста с этим хэшем |
| model_content_hash | text, text | хэш содержимого модели (contentHash из law.lock) |
| model_of | text, text | модель представляет акт |
| model_reports | text, enum, dec | модель сообщает число оценочных элементов этого вида |
| question_about | text, text | вопрос задан к акту |
| question_as_of | text, date | дата, на которую задан вопрос |
| release_current | text, text | держатель объявил выпуск текущим для акта |
| release_hash | text, text | хэш содержимого, выпущенного в реестр |
| release_of | text, text | выпуск относится к модели |
| release_origin | text, enum | происхождение выпуска: начальный или преемник |
| release_predecessor | text, text | непосредственный предок выпуска |
| release_registry | text, text | реестр, в котором предоставлен выпуск |
| responsible_for | text, text, enum | учреждение объявлено ответственным за функцию жизненного цикла акта |
| review_base | text, text | проверка привязана к хэшу содержимого модели |
| review_of | text, text | проверка относится к модели |
| review_outcome | text, enum | исход проверки |
| text_hash | text, text | хэш байтов закреплённого текста |
| text_of | text, text | закреплённый текст принадлежит акту |
| text_supersedes | text, text | новый текст вытесняет прежний текст того же акта |
| text_window_start | text, date | дата, с которой применяется текст |