Lensby Arxo
Скачать JSON
Вопрос Сохранённый разбор

32 звена полномочий: длинный путь приказа

Приказ доходит от королевы до исполнителя через 32 звена полномочий. Недостаточно проверить только последнюю подпись: каждое передоверие должно быть допустимым, действовать в нужный день и покрывать то же действие. Затем результат этой рекурсии проходит через дар Пушкина, полночь Перро и безопасность Азимова; до рекурсии уже проверены личность и очередь.

Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.

Результаты

3

Проверка условия

Все 32 звена прошли проверку: приказ разрешён

Установлено

Параметры запроса · 1
s
request
Исходные факты · 256

  • полномочие выдано принципалом агенту

    authority: long-authority-0principal: queenagent: officer-1

  • полномочие распространяется на действие

    authority: long-authority-0act: return-slipper

  • первый день действия полномочия

    authority: long-authority-0day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-0day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-0day: 2 января 1000 г.

  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: long-authority-0

  • наибольшее число передач под этим полномочием

    authority: long-authority-0depth: 31

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-0

  • полномочие выдано принципалом агенту

    authority: long-authority-1principal: officer-1agent: officer-2

  • полномочие распространяется на действие

    authority: long-authority-1act: return-slipper

  • первый день действия полномочия

    authority: long-authority-1day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-1day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-1day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-1parent: long-authority-0

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-1

  • полномочие выдано принципалом агенту

    authority: long-authority-2principal: officer-2agent: officer-3

  • полномочие распространяется на действие

    authority: long-authority-2act: return-slipper

  • первый день действия полномочия

    authority: long-authority-2day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-2day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-2day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-2parent: long-authority-1

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-2

  • полномочие выдано принципалом агенту

    authority: long-authority-3principal: officer-3agent: officer-4

  • полномочие распространяется на действие

    authority: long-authority-3act: return-slipper

  • первый день действия полномочия

    authority: long-authority-3day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-3day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-3day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-3parent: long-authority-2

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-3

  • полномочие выдано принципалом агенту

    authority: long-authority-4principal: officer-4agent: officer-5

  • полномочие распространяется на действие

    authority: long-authority-4act: return-slipper

  • первый день действия полномочия

    authority: long-authority-4day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-4day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-4day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-4parent: long-authority-3

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-4

  • полномочие выдано принципалом агенту

    authority: long-authority-5principal: officer-5agent: officer-6

  • полномочие распространяется на действие

    authority: long-authority-5act: return-slipper

  • первый день действия полномочия

    authority: long-authority-5day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-5day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-5day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-5parent: long-authority-4

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-5

  • полномочие выдано принципалом агенту

    authority: long-authority-6principal: officer-6agent: officer-7

  • полномочие распространяется на действие

    authority: long-authority-6act: return-slipper

  • первый день действия полномочия

    authority: long-authority-6day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-6day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-6day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-6parent: long-authority-5

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-6

  • полномочие выдано принципалом агенту

    authority: long-authority-7principal: officer-7agent: officer-8

  • полномочие распространяется на действие

    authority: long-authority-7act: return-slipper

  • первый день действия полномочия

    authority: long-authority-7day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-7day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-7day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-7parent: long-authority-6

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-7

  • полномочие выдано принципалом агенту

    authority: long-authority-8principal: officer-8agent: officer-9

  • полномочие распространяется на действие

    authority: long-authority-8act: return-slipper

  • первый день действия полномочия

    authority: long-authority-8day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-8day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-8day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-8parent: long-authority-7

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-8

  • полномочие выдано принципалом агенту

    authority: long-authority-9principal: officer-9agent: officer-10

  • полномочие распространяется на действие

    authority: long-authority-9act: return-slipper

  • первый день действия полномочия

    authority: long-authority-9day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-9day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-9day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-9parent: long-authority-8

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-9

  • полномочие выдано принципалом агенту

    authority: long-authority-10principal: officer-10agent: officer-11

  • полномочие распространяется на действие

    authority: long-authority-10act: return-slipper

  • первый день действия полномочия

    authority: long-authority-10day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-10day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-10day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-10parent: long-authority-9

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-10

  • полномочие выдано принципалом агенту

    authority: long-authority-11principal: officer-11agent: officer-12

  • полномочие распространяется на действие

    authority: long-authority-11act: return-slipper

  • первый день действия полномочия

    authority: long-authority-11day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-11day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-11day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-11parent: long-authority-10

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-11

  • полномочие выдано принципалом агенту

    authority: long-authority-12principal: officer-12agent: officer-13

  • полномочие распространяется на действие

    authority: long-authority-12act: return-slipper

  • первый день действия полномочия

    authority: long-authority-12day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-12day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-12day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-12parent: long-authority-11

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-12

  • полномочие выдано принципалом агенту

    authority: long-authority-13principal: officer-13agent: officer-14

  • полномочие распространяется на действие

    authority: long-authority-13act: return-slipper

  • первый день действия полномочия

    authority: long-authority-13day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-13day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-13day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-13parent: long-authority-12

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-13

  • полномочие выдано принципалом агенту

    authority: long-authority-14principal: officer-14agent: officer-15

  • полномочие распространяется на действие

    authority: long-authority-14act: return-slipper

  • первый день действия полномочия

    authority: long-authority-14day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-14day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-14day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-14parent: long-authority-13

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-14

  • полномочие выдано принципалом агенту

    authority: long-authority-15principal: officer-15agent: officer-16

  • полномочие распространяется на действие

    authority: long-authority-15act: return-slipper

  • первый день действия полномочия

    authority: long-authority-15day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-15day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-15day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-15parent: long-authority-14

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-15

  • полномочие выдано принципалом агенту

    authority: long-authority-16principal: officer-16agent: officer-17

  • полномочие распространяется на действие

    authority: long-authority-16act: return-slipper

  • первый день действия полномочия

    authority: long-authority-16day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-16day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-16day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-16parent: long-authority-15

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-16

  • полномочие выдано принципалом агенту

    authority: long-authority-17principal: officer-17agent: officer-18

  • полномочие распространяется на действие

    authority: long-authority-17act: return-slipper

  • первый день действия полномочия

    authority: long-authority-17day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-17day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-17day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-17parent: long-authority-16

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-17

  • полномочие выдано принципалом агенту

    authority: long-authority-18principal: officer-18agent: officer-19

  • полномочие распространяется на действие

    authority: long-authority-18act: return-slipper

  • первый день действия полномочия

    authority: long-authority-18day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-18day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-18day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-18parent: long-authority-17

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-18

  • полномочие выдано принципалом агенту

    authority: long-authority-19principal: officer-19agent: officer-20

  • полномочие распространяется на действие

    authority: long-authority-19act: return-slipper

  • первый день действия полномочия

    authority: long-authority-19day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-19day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-19day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-19parent: long-authority-18

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-19

  • полномочие выдано принципалом агенту

    authority: long-authority-20principal: officer-20agent: officer-21

  • полномочие распространяется на действие

    authority: long-authority-20act: return-slipper

  • первый день действия полномочия

    authority: long-authority-20day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-20day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-20day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-20parent: long-authority-19

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-20

  • полномочие выдано принципалом агенту

    authority: long-authority-21principal: officer-21agent: officer-22

  • полномочие распространяется на действие

    authority: long-authority-21act: return-slipper

  • первый день действия полномочия

    authority: long-authority-21day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-21day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-21day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-21parent: long-authority-20

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-21

  • полномочие выдано принципалом агенту

    authority: long-authority-22principal: officer-22agent: officer-23

  • полномочие распространяется на действие

    authority: long-authority-22act: return-slipper

  • первый день действия полномочия

    authority: long-authority-22day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-22day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-22day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-22parent: long-authority-21

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-22

  • полномочие выдано принципалом агенту

    authority: long-authority-23principal: officer-23agent: officer-24

  • полномочие распространяется на действие

    authority: long-authority-23act: return-slipper

  • первый день действия полномочия

    authority: long-authority-23day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-23day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-23day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-23parent: long-authority-22

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-23

  • полномочие выдано принципалом агенту

    authority: long-authority-24principal: officer-24agent: officer-25

  • полномочие распространяется на действие

    authority: long-authority-24act: return-slipper

  • первый день действия полномочия

    authority: long-authority-24day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-24day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-24day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-24parent: long-authority-23

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-24

  • полномочие выдано принципалом агенту

    authority: long-authority-25principal: officer-25agent: officer-26

  • полномочие распространяется на действие

    authority: long-authority-25act: return-slipper

  • первый день действия полномочия

    authority: long-authority-25day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-25day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-25day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-25parent: long-authority-24

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-25

  • полномочие выдано принципалом агенту

    authority: long-authority-26principal: officer-26agent: officer-27

  • полномочие распространяется на действие

    authority: long-authority-26act: return-slipper

  • первый день действия полномочия

    authority: long-authority-26day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-26day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-26day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-26parent: long-authority-25

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-26

  • полномочие выдано принципалом агенту

    authority: long-authority-27principal: officer-27agent: officer-28

  • полномочие распространяется на действие

    authority: long-authority-27act: return-slipper

  • первый день действия полномочия

    authority: long-authority-27day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-27day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-27day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-27parent: long-authority-26

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-27

  • полномочие выдано принципалом агенту

    authority: long-authority-28principal: officer-28agent: officer-29

  • полномочие распространяется на действие

    authority: long-authority-28act: return-slipper

  • первый день действия полномочия

    authority: long-authority-28day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-28day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-28day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-28parent: long-authority-27

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-28

  • полномочие выдано принципалом агенту

    authority: long-authority-29principal: officer-29agent: officer-30

  • полномочие распространяется на действие

    authority: long-authority-29act: return-slipper

  • первый день действия полномочия

    authority: long-authority-29day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-29day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-29day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-29parent: long-authority-28

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-29

  • полномочие выдано принципалом агенту

    authority: long-authority-30principal: officer-30agent: officer-31

  • полномочие распространяется на действие

    authority: long-authority-30act: return-slipper

  • первый день действия полномочия

    authority: long-authority-30day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-30day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-30day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-30parent: long-authority-29

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: long-authority-30

  • полномочие выдано принципалом агенту

    authority: long-authority-31principal: officer-31agent: chamberlain

  • полномочие распространяется на действие

    authority: long-authority-31act: return-slipper

  • первый день действия полномочия

    authority: long-authority-31day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: long-authority-31day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: long-authority-31day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: long-authority-31parent: long-authority-30

  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain

  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper

  • посетитель в модели Гримм

    s: requeste: издание 1857 года, последней рукиp: guest

  • дело читается по этому изданию

    a: издание 1857 года, последней руки

  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest

  • личность независимо удостоверена

    s: request

  • посетитель в очереди

    s: requestq: queuep: guest

  • предъявлен полный состав очереди на этот срез

    q: queue

  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1

  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest

  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2

  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other

  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman

  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman

  • участник пожелал названного

    requester: guestw: wish

  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish

  • дар предоставлен: мир дела его содержит

    w: wish

  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest

  • стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала

    t: slipper

  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper

  • человек

    x: chamberlain

  • робот

    x: steward

  • деяние есть деяние этого робота

    r: stewardd: return-slipper

  • существо в области оценки вреда

    s: requestv: guest

  • человек

    x: guest

  • перечень затрагиваемых существ предъявлен полностью

    s: request

  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
Почему такой результат? →Источники: 21

Первое дело содержит 32 звена и 31 передоверие с достаточным корневым пределом. doctrine.acts_for рекурсивно восстанавливает полномочие конечного представителя. Успешный итог имеет 399 достижимых узлов доказательства и глубину 40 применений правил. В нём участвуют все шесть источников; длина растёт за счёт данных и рекурсии, а не добавления 32 специальных ветвей программы.

Проверка условия

В короткой цепи превышен установленный предел

Установлено

Параметры запроса · 1
authority
authority-2
Исходные факты · 53

  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain

  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper

  • посетитель в модели Гримм

    s: requeste: издание 1857 года, последней рукиp: guest

  • дело читается по этому изданию

    a: издание 1857 года, последней руки

  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest

  • личность независимо удостоверена

    s: request

  • посетитель в очереди

    s: requestq: queuep: guest

  • предъявлен полный состав очереди на этот срез

    q: queue

  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1

  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest

  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2

  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other

  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.

  • полномочие выдано принципалом агенту

    authority: authority-0principal: queenagent: minister

  • полномочие распространяется на действие

    authority: authority-0act: return-slipper

  • первый день действия полномочия

    authority: authority-0day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: authority-0day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-0day: 2 января 1000 г.

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-0

  • полномочие выдано принципалом агенту

    authority: authority-1principal: ministeragent: secretary

  • полномочие распространяется на действие

    authority: authority-1act: return-slipper

  • первый день действия полномочия

    authority: authority-1day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: authority-1day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-1day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: authority-1parent: authority-0

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-1

  • полномочие выдано принципалом агенту

    authority: authority-2principal: secretaryagent: chamberlain

  • полномочие распространяется на действие

    authority: authority-2act: return-slipper

  • первый день действия полномочия

    authority: authority-2day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: authority-2day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-2day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: authority-2parent: authority-1

  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: authority-0

  • наибольшее число передач под этим полномочием

    authority: authority-0depth: 1
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman

  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman

  • участник пожелал названного

    requester: guestw: wish

  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish

  • дар предоставлен: мир дела его содержит

    w: wish

  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest

  • стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала

    t: slipper

  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper

  • человек

    x: chamberlain

  • робот

    x: steward

  • деяние есть деяние этого робота

    r: stewardd: return-slipper

  • существо в области оценки вреда

    s: requestv: guest

  • человек

    x: guest

  • перечень затрагиваемых существ предъявлен полностью

    s: request

  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
Почему такой результат? →Источники: 20

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

Проверка условия

При превышении предела разрешения нет

Не установлено

Параметры запроса · 1
s
request
Исходные факты · 53

  • удостоверенное соответствие представителя и лица, отдающего приказ

    agent: chamberlainh: chamberlain

  • удостоверенное соответствие области полномочия и конкретного деяния

    act: return-slipperd: return-slipper

  • посетитель в модели Гримм

    s: requeste: издание 1857 года, последней рукиp: guest

  • дело читается по этому изданию

    a: издание 1857 года, последней руки

  • по этому изданию названный стучал в дверь и назвался матерью

    a: издание 1857 года, последней рукиc: guest

  • личность независимо удостоверена

    s: request

  • посетитель в очереди

    s: requestq: queuep: guest

  • предъявлен полный состав очереди на этот срез

    q: queue

  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: guestrank: 1

  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: guest

  • лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)

    q: queuep: otherrank: 2

  • присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)

    q: queuep: other

  • представитель, принципал, действие и день проверки

    s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.

  • полномочие выдано принципалом агенту

    authority: authority-0principal: queenagent: minister

  • полномочие распространяется на действие

    authority: authority-0act: return-slipper

  • первый день действия полномочия

    authority: authority-0day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: authority-0day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-0day: 2 января 1000 г.

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-0

  • полномочие выдано принципалом агенту

    authority: authority-1principal: ministeragent: secretary

  • полномочие распространяется на действие

    authority: authority-1act: return-slipper

  • первый день действия полномочия

    authority: authority-1day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: authority-1day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-1day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: authority-1parent: authority-0

  • полномочие допускает передачу дальше: передоверие, cA, refresh

    authority: authority-1

  • полномочие выдано принципалом агенту

    authority: authority-2principal: secretaryagent: chamberlain

  • полномочие распространяется на действие

    authority: authority-2act: return-slipper

  • первый день действия полномочия

    authority: authority-2day: 1 января 1000 г.

  • последний день действия полномочия (включительно)

    authority: authority-2day: 3 января 1000 г.

  • день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)

    authority: authority-2day: 2 января 1000 г.

  • полномочие выдано на основании другого полномочия

    child: authority-2parent: authority-1

  • полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса

    authority: authority-0

  • наибольшее число передач под этим полномочием

    authority: authority-0depth: 1
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

  • рыбка предложила поймавшему откуп «чем только пожелаешь»

    catcher: fisherman

  • отпустил рыбку, не взяв немедленного выкупа

    releaser: fisherman

  • участник пожелал названного

    requester: guestw: wish

  • желание передано рыбке у моря названным посредником

    messenger: fishermanw: wish

  • дар предоставлен: мир дела его содержит

    w: wish

  • вещь предоставлена крёстной этому лицу для поездки на бал

    t: slipperp: guest

  • стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала

    t: slipper

  • вещь, проверяемая на вхождение в перечень отката

    t: slipper
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}
  • Исходные данные · JSON
    JSONТолько чтение
    {
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

  • предъявленный приказ; ещё не передан роботу

    s: requesth: chamberlainrobot: stewardd: return-slipper

  • человек

    x: chamberlain

  • робот

    x: steward

  • деяние есть деяние этого робота

    r: stewardd: return-slipper

  • существо в области оценки вреда

    s: requestv: guest

  • человек

    x: guest

  • перечень затрагиваемых существ предъявлен полностью

    s: request

  • Не выполняется: деяние причиняет вред этому человеку

    d: return-slipperv: guest
Почему такой результат? →Источники: 20

Из-за превышения глубины не удаётся получить полномочие камергера. Общий путь останавливается до передачи приказа Азимову, и executable остаётся NEITHER. Это не мутация длинного дела и не доказанное отрицание разрешения: два независимых снимка позволяют сравнить успешную рекурсию с конкретным препятствием.

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки
«32 звена полномочий: длинный путь приказа». Arxo Lens, по состоянию на 02.01.1000. https://lens.arxo.io/a/b_04aa96103273ee937e996a01a8d11283276ea98b04572e8c1800f28988af2d17. SHA-256 снимка: 04aa96103273ee937e996a01a8d11283276ea98b04572e8c1800f28988af2d17.
BibTeX
@misc{arxo-lens-b_04aa96103273,
  title = {32 звена полномочий: длинный путь приказа},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_04aa96103273ee937e996a01a8d11283276ea98b04572e8c1800f28988af2d17},
  note = {по состоянию на 02.01.1000; SHA-256 04aa96103273ee937e996a01a8d11283276ea98b04572e8c1800f28988af2d17}
}
Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/b_04aa96103273ee937e996a01a8d11283276ea98b04572e8c1800f28988af2d17?lang=ru" width="100%" height="362" loading="lazy" title="32 звена полномочий: длинный путь приказа — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.