Распорядитель дворца: вернуть туфельку

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

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

Результаты

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

1. Гримм: личность гостя проверена

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

У двери — модель из «Волка и семерых козлят» (de.grimm.geisslein). Здесь стучащий заявляет, что он мать: это смысл исходного предиката knocked, а не универсальная идентификация посетителя. Пакет выводит опровержимую презумпцию presumed_mother. Дворец дополнительно требует независимый факт identity_attested. Только вместе они дают identity_ready. Так слабое свидетельство из сказки не превращается в удостоверение личности.

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

2. Обычай очереди: теперь очередь этого гостя

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

Удостоверить гостя ещё недостаточно: он должен дождаться обслуживания. Пакет обычая очереди usus.corpus.ochered проверяет вступление в хвост, сохранение места и порядок между людьми. В деле гость вступил под номером 1, другой человек — под номером 2. Состав очереди объявлен полным; сохраняющего место предшественника не найдено. Дворцовое правило соединяет этот результат с проверкой личности и получает queue_ready.

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

3. Представительство: камергер уполномочен королевой

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

Теперь нужен законный распорядитель. В doctrine.acts_for цепь выглядит так: королева → министр → секретарь → камергер. На каждом звене проверяются действие, срок и основания передоверия; корневое полномочие допускает два передоверия. Все три звена действуют в день приказа. Дворец отдельно связывает представителя с человеком, отдающим приказ, а делегированное действие — с действием робота. Чужая доверенность или полномочие на другой поступок не подойдут.

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

4. Пушкин: дар исполнен и не отозван

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

Полномочия камергера не доказывают право распоряжаться любым даром. В «Сказке о рыбаке и рыбке» (ru.pushkin.zolotaya_rybka) рыбак получил предложение откупа, отпустил рыбу и передал желание; желание исполнено, его отзыв не установлен. Вымышленная дворцовая политика связывает именно это желание с туфелькой и её владельцем. Это авторский мост между сказками: Пушкин не описывал выдачу туфельки. Его пакет здесь отвечает за сохранение основания дара.

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

5. Перро: туфелька пережила полночь

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

Действующий дар ещё не означает, что вещь существует после полуночи. Пакет «Золушки» (fr.perrault.cendrillon) различает вещи, подлежащие обратному превращению, и стеклянную туфельку, которая сохраняется. В деле зафиксирован уход с бала в полночь и передача туфельки этому владельцу. Получен survived_midnight, откат туфельки не установлен. Дворцовый мост объединяет это с проверенным даром и получает asset_ready. Для кареты тот же путь после полуночи оборвётся.

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

6. Передача приказа роботу

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

Только после личности, очереди, полномочий, дара и сохранности вещи дворцовое правило создаёт orders в словаре us.asimov.three_laws: конкретный человек велит конкретному роботу вернуть конкретную туфельку. Так выход пяти проверок становится входом шестого пакета. dispatched означает передачу приказа в нормативную модель робота; движение механизма этим ещё не подтверждено.

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

7. Азимов: проверена безопасность для затрагиваемого человека

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

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

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

8. Итог: робот вправе вернуть туфельку

Установлено

Параметры запроса · 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: 2

Исходные данные · 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

{
  "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

{
  "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

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

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

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

Текст ссылки

«Распорядитель дворца: вернуть туфельку». Arxo Lens, по состоянию на 02.01.1000. https://lens.arxo.io/a/b_771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7. SHA-256 снимка: 771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7.

BibTeX

@misc{arxo-lens-b_771abb2578c5,
  title = {Распорядитель дворца: вернуть туфельку},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7},
  note = {по состоянию на 02.01.1000; SHA-256 771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7}
}

Код для вставки

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

<iframe src="https://lens.arxo.io/embed/b_771abb2578c51c087dc4a1819bd901082bceb162fe3694b87c82025b0ba44cc7?lang=ru" width="100%" height="390" loading="lazy" title="Распорядитель дворца: вернуть туфельку — Arxo Lens" style="border:0"></iframe>

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