Проверка условия
Корыто: желание старухи передано рыбке
Результат расчёта
Установлено
Исходные параметры
Что определяем
рыбка обязана исполнить названное желание
Исходные факты
рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: Старикотпустил рыбку, не взяв немедленного выкупа
releaser: Старикучастник пожелал названного
requester: Старухаw: Корытожелание передано рыбке у моря названным посредником
messenger: Старикw: Корыто
Пакет: Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"Корыто"
],
"facts": [
{
"args": [
"Старик"
],
"predicate": "ransom_offered_to"
},
{
"args": [
"Старик"
],
"predicate": "released_without_ransom"
},
{
"args": [
"Старуха",
"Корыто"
],
"predicate": "wished"
},
{
"args": [
"Старик",
"Корыто"
],
"predicate": "conveyed_to_fish"
}
],
"kind": "truth",
"legalTime": "2026-08-31",
"package": "ru-zolotaya-rybka",
"predicate": "obliged_to_grant",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода6 шагов
- 1факт дела
рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: Старик
- 2факт дела
отпустил рыбку, не взяв немедленного выкупа
releaser: Старик
- 3факт дела
участник пожелал названного
requester: Старуха; w: Корыто
- 4факт дела
желание передано рыбке у моря названным посредником
messenger: Старик; w: Корыто
- 5правило
«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты
рыбка обязана исполнить названное желание: w: Корыто
lines/16-18, lines/22-27, lines/43-58, lines/65-82, lines/90-112, lines/134-155
Идентификатор
urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1 - 6запрос
Вычисление запроса
проверено движком: 2 · факт дела: 4 · Полный граф: 7 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты
Идентификатор
urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1
Вывод по запросу
рыбка обязана исполнить названное желание
w: Корыто
| w |
|---|
| Корыто |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Что способно поразить вывод1 правил
- 1правило
«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты
Чего не хватает
- участник пожелал названногоСтаруха, КорытоУстановлено
- рыбка предложила поймавшему откуп «чем только пожелаешь»СтарикУстановлено
- отпустил рыбку, не взяв немедленного выкупаСтарикУстановлено
- желание передано рыбке у моря названным посредникомСтарик, КорытоУстановлено
- требование выходит за предел оферты (единственный засвидетельствованный случай — власть над самим грантором)КорытоНе установленоименно этого не хватает
Источник: lines/16-18, lines/22-27, lines/43-58, lines/65-82, lines/90-112, lines/134-155
Идентификатор
urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R2
Перечислены правила, чья голова отвечает вопросу, и их невыполненные посылки. Отсутствие факта не означает его опровержения.
Граф доказательств
Узлы доказательств: 7 · assertion 4, rule_application 1, candidate_closure 1, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- Старик
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- ransom_offered_to
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- Старик
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- released_without_ransom
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Аргументы
- Идентификатор
- Старуха
- Тип
- entity_ref
- Идентификатор
- Корыто
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- wished
- evidence
- —
- Идентификатор
- fact-3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Аргументы
- Идентификатор
- Старик
- Тип
- entity_ref
- Идентификатор
- Корыто
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- conveyed_to_fish
- evidence
- —
- Идентификатор
- fact-4
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Корыто
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obliged_to_grant
- evidence
- —
- Идентификатор
- d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19
- Тип
- rule_application
- Посылки
- fact-1
- fact-2
- fact-3
- fact-4
- Правило
- OtkupObligation/R1
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Корыто
- Тип
- entity_ref
- v1
- Идентификатор
- Старуха
- Тип
- entity_ref
- v2
- Идентификатор
- Старик
- Тип
- entity_ref
candidate_closure · urn:proof:closure:c56a614ccd41a62074bf29c5d5c31c029842d80545feb0d1231d1a957f7fbb0d
- attributes
- allApplicableCandidateIds
- d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Корыто","kind":"entity_ref"}],"predicate":"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"}
- evaluationInputSemanticHash
- sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e
- priorityGraphHash
- sha256:37db4f293ad15a09f8846a6eb1c5fc81abf07799df7c472718e16da7e2f39fb9
- programSemanticHash
- sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0
- stratum
- 0
- survivingCandidateIds
- d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19
- conclusion
- Аргументы
- Идентификатор
- Корыто
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obliged_to_grant
- evidence
- —
- Идентификатор
- c56a614ccd41a62074bf29c5d5c31c029842d80545feb0d1231d1a957f7fbb0d
- Тип
- candidate_closure
- Посылки
- d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- Корыто
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obliged_to_grant
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"obliged_to_grant(Корыто)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#wished"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"evidence": [],
"id": "urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\"}",
"evaluationInputSemanticHash": "sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e",
"priorityGraphHash": "sha256:37db4f293ad15a09f8846a6eb1c5fc81abf07799df7c472718e16da7e2f39fb9",
"programSemanticHash": "sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"evidence": [],
"id": "urn:proof:closure:c56a614ccd41a62074bf29c5d5c31c029842d80545feb0d1231d1a957f7fbb0d",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:39579f7334f7c409be8d7933b92413ba37ccfbc64fa7efa9c4176bf73a73bfae",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:d902f18f84184ef637b15273e3402b5c20e425107c97fe0c481c6bdf157779d5",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1"
],
"vulnerableTo": [
{
"anchors": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"label": "«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты",
"missing": [
"exceeds_grant_limit(Корыто)"
],
"premises": [
{
"premise": "wished(Старуха, Корыто)",
"status": "TRUE_ONLY"
},
{
"premise": "ransom_offered_to(Старик)",
"status": "TRUE_ONLY"
},
{
"premise": "released_without_ransom(Старик)",
"status": "TRUE_ONLY"
},
{
"premise": "conveyed_to_fish(Старик, Корыто)",
"status": "TRUE_ONLY"
},
{
"premise": "exceeds_grant_limit(Корыто)",
"status": "NEITHER"
}
],
"rule": "OtkupObligation/R2"
}
]
}ИсточникиФрагментов: 6
lines/90-112
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Пошел старик к синему морю; (Не спокойно синее море.) Стал он кликать золотую рыбку. Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка! Пуще прежнего старуха вздурилась, Не дает старику мне покою: Уж не хочет быть она крестьянкой, Хочет быть столбовою дворянкой». Отвечает золотая рыбка: «Не печалься, ступай себе с богом». Воротился старик ко старухе. Что ж он видит? Высокий терем. На крыльце стоит его старуха В дорогой собольей душегрейке, Парчовая на маковке кичка, Жемчуги огрузили шею, На руках золотые перстни, На ногах красные сапожки. Перед нею усердные слуги; Она бьет их, за чупрун таскает.
Исходные данные · JSON
{
"contentHash": "sha256:f993263f30f436cfee1eb6c0ef123683209b5b9461adf290888d0b988bad87c2",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 90—112. Третий дар: столбовая дворянка; статус немедленно даёт власть над людьми"
}
],
"locator": "lines/90-112",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:102bf4957ba4ce5166bc87ae463d32734cdcf88b137f9c3b6eebe93e68eefe6e",
"language": "ru",
"status": "official",
"text": "Пошел старик к синему морю;\n(Не спокойно синее море.)\nСтал он кликать золотую рыбку.\nПриплыла к нему рыбка, спросила:\n«Чего тебе надобно, старче?»\nЕй с поклоном старик отвечает:\n«Смилуйся, государыня рыбка!\nПуще прежнего старуха вздурилась,\nНе дает старику мне покою:\nУж не хочет быть она крестьянкой,\nХочет быть столбовою дворянкой».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом».\nВоротился старик ко старухе.\nЧто ж он видит? Высокий терем.\nНа крыльце стоит его старуха\nВ дорогой собольей душегрейке,\nПарчовая на маковке кичка,\nЖемчуги огрузили шею,\nНа руках золотые перстни,\nНа ногах красные сапожки.\nПеред нею усердные слуги;\nОна бьет их, за чупрун таскает.\n"
}
]
}lines/65-82
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Вот пошел он к синему морю, (Помутилося синее море.) Стал он кликать золотую рыбку, Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей старик с поклоном отвечает: «Смилуйся, государыня рыбка! Еще пуще старуха бранится, Не дает старику мне покою: Избу просит сварливая баба». Отвечает золотая рыбка: «Не печалься, ступай себе с богом, Так и быть: изба вам уж будет». Пошел он ко своей землянке, А землянки нет уж и следа; Перед ним изба со светелкой, С кирпичною, беленою трубою, С дубовыми, тесовыми вороты.
Исходные данные · JSON
{
"contentHash": "sha256:439bea909cd7cef8d64edf5bd7f70d284721aa16217666a0eb2041f5c090de6f",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 65—82. Второй дар: «Так и быть: изба вам уж будет»"
}
],
"locator": "lines/65-82",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:9c6dfafe670e5c5737dfe057b430f2eaae566a915ebb86fcac1d11d3424cb9ff",
"language": "ru",
"status": "official",
"text": "Вот пошел он к синему морю,\n(Помутилося синее море.)\nСтал он кликать золотую рыбку,\nПриплыла к нему рыбка, спросила:\n«Чего тебе надобно, старче?»\nЕй старик с поклоном отвечает:\n«Смилуйся, государыня рыбка!\nЕще пуще старуха бранится,\nНе дает старику мне покою:\nИзбу просит сварливая баба».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом,\nТак и быть: изба вам уж будет».\nПошел он ко своей землянке,\nА землянки нет уж и следа;\nПеред ним изба со светелкой,\nС кирпичною, беленою трубою,\nС дубовыми, тесовыми вороты.\n"
}
]
}lines/43-58
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Вот пошел он к синему морю; Видит, — море слегка разыгралось. Стал он кликать золотую рыбку, Приплыла к нему рыбка и спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка, Разбранила меня моя старуха, Не дает старику мне покою: Надобно ей новое корыто; Наше-то совсем раскололось». Отвечает золотая рыбка: «Не печалься, ступай себе с богом, Будет вам новое корыто». Воротился старик ко старухе, У старухи новое корыто.
Исходные данные · JSON
{
"contentHash": "sha256:bdddc4fb37b0c1012c7a7f9822f4ac19102404ea2f8e0e9d60f884449047480c",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 43—58. Первый дар: чужое желание передано отпустившим — «Будет вам новое корыто»"
}
],
"locator": "lines/43-58",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:2b9ab36e8f9465df6782ffe1129ce1e5bd4eab9d3ef83cabd5868f559e1ba62e",
"language": "ru",
"status": "official",
"text": "Вот пошел он к синему морю;\nВидит, — море слегка разыгралось.\nСтал он кликать золотую рыбку,\nПриплыла к нему рыбка и спросила:\n«Чего тебе надобно, старче?»\nЕй с поклоном старик отвечает:\n«Смилуйся, государыня рыбка,\nРазбранила меня моя старуха,\nНе дает старику мне покою:\nНадобно ей новое корыто;\nНаше-то совсем раскололось».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом,\nБудет вам новое корыто».\nВоротился старик ко старухе,\nУ старухи новое корыто.\n"
}
]
}lines/16-18
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
«Отпусти ты, старче, меня в море, Дорогой за себя дам откуп: Откуплюсь чем только пожелаешь.»
Исходные данные · JSON
{
"contentHash": "sha256:ff2aa8413b8a5f6ea1020bca0a09439c84497f4f90169ee6b91d76482ab0287d",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 16—18. Оферта рыбки: «Откуплюсь чем только пожелаешь»"
}
],
"locator": "lines/16-18",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:88b35d803c156df72470a4b5801260a14b2a2760d3583ad839cb35e1a9fcca84",
"language": "ru",
"status": "official",
"text": "«Отпусти ты, старче, меня в море,\nДорогой за себя дам откуп:\nОткуплюсь чем только пожелаешь.»\n"
}
]
}lines/22-27
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Отпустил он рыбку золотую И сказал ей ласковое слово: «Бог с тобою, золотая рыбка! Твоего мне откупа не надо; Ступай себе в синее море, Гуляй там себе на просторе».
Исходные данные · JSON
{
"contentHash": "sha256:511d8c50b0bcb913a01417305327ed31027bbc5b78b0d4cdbd78f6fb9032f671",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 22—27. Отпущение без выкупа: «Твоего мне откупа не надо»"
}
],
"locator": "lines/22-27",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:c0741cf3927a2c8c7c28469bc98195d7be3c14895c26bff3b7bd232f8deb6a57",
"language": "ru",
"status": "official",
"text": "Отпустил он рыбку золотую\nИ сказал ей ласковое слово:\n«Бог с тобою, золотая рыбка!\nТвоего мне откупа не надо;\nСтупай себе в синее море,\nГуляй там себе на просторе».\n"
}
]
}lines/134-155
Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Старичок отправился к морю, (Почернело синее море.) Стал он кликать золотую рыбку. Приплыла к нему рыбка, спросила: «Чего тебе надобно, старче?» Ей с поклоном старик отвечает: «Смилуйся, государыня рыбка! Опять моя старуха бунтует: Уж не хочет быть она дворянкой, Хочет быть вольною царицей». Отвечает золотая рыбка: «Не печалься, ступай себе с богом! Добро! будет старуха царицей!» Старичок к старухе воротился. Что ж? пред ним царские палаты. В палатах видит свою старуху, За столом сидит она царицей, Служат ей бояре да дворяне, Наливают ей заморские вины; Заедает она пряником печатным; Вкруг ее стоит грозная стража, На плечах топорики держат.
Исходные данные · JSON
{
"contentHash": "sha256:37893ae523a1a0df56897b2995710a226b996b8eda1a64d72bd0cff78200f377",
"edition": "urn:ru:pushkin:clir:zolotaya-rybka#SKAZKA_GIHL_1959",
"fragmentKind": "clause",
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 134—155. Четвёртый дар: «Добро! будет старуха царицей!»"
}
],
"locator": "lines/134-155",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"texts": [
{
"contentHash": "sha256:66f2b16e47b3c13b4a38f3b485025a9ecb635a3fdf17299735c5e4b662e105e3",
"language": "ru",
"status": "official",
"text": "Старичок отправился к морю,\n(Почернело синее море.)\nСтал он кликать золотую рыбку.\nПриплыла к нему рыбка, спросила:\n«Чего тебе надобно, старче?»\nЕй с поклоном старик отвечает:\n«Смилуйся, государыня рыбка!\nОпять моя старуха бунтует:\nУж не хочет быть она дворянкой,\nХочет быть вольною царицей».\nОтвечает золотая рыбка:\n«Не печалься, ступай себе с богом!\nДобро! будет старуха царицей!»\nСтаричок к старухе воротился.\nЧто ж? пред ним царские палаты.\nВ палатах видит свою старуху,\nЗа столом сидит она царицей,\nСлужат ей бояре да дворяне,\nНаливают ей заморские вины;\nЗаедает она пряником печатным;\nВкруг ее стоит грозная стража,\nНа плечах топорики держат.\n"
}
]
}Пакеты в снимке
- Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"closedEditionRules": [],
"derived": [
"obliged_to_grant(Корыто)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#wished"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"evidence": [],
"id": "urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\"}",
"evaluationInputSemanticHash": "sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e",
"priorityGraphHash": "sha256:37db4f293ad15a09f8846a6eb1c5fc81abf07799df7c472718e16da7e2f39fb9",
"programSemanticHash": "sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"evidence": [],
"id": "urn:proof:closure:c56a614ccd41a62074bf29c5d5c31c029842d80545feb0d1231d1a957f7fbb0d",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:39579f7334f7c409be8d7933b92413ba37ccfbc64fa7efa9c4176bf73a73bfae",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:d902f18f84184ef637b15273e3402b5c20e425107c97fe0c481c6bdf157779d5",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 8,
"fragments": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"jurisdiction": "none",
"namespace": "urn:ru:pushkin:clir:zolotaya-rybka",
"package": "ru-zolotaya-rybka",
"title": "Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник"
}
],
"caseHash": "sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0",
"resultHash": "sha256:d902f18f84184ef637b15273e3402b5c20e425107c97fe0c481c6bdf157779d5",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "w",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Wish"
}
}
],
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:ru:pushkin:clir:zolotaya-rybka#Wish": {
"kind": "entity",
"labels": [
{
"language": "ru",
"status": "official",
"text": "желание — требование, обращаемое к рыбке"
}
],
"namespace": "urn:ru:pushkin:clir:zolotaya-rybka",
"package": "ru.pushkin.zolotaya_rybka"
}
},
"vocab": {}
},
"vulnerableTo": [
{
"anchors": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"label": "«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты",
"missing": [
"exceeds_grant_limit(Корыто)"
],
"premises": [
{
"premise": "wished(Старуха, Корыто)",
"status": "TRUE_ONLY"
},
{
"premise": "ransom_offered_to(Старик)",
"status": "TRUE_ONLY"
},
{
"premise": "released_without_ransom(Старик)",
"status": "TRUE_ONLY"
},
{
"premise": "conveyed_to_fish(Старик, Корыто)",
"status": "TRUE_ONLY"
},
{
"premise": "exceeds_grant_limit(Корыто)",
"status": "NEITHER"
}
],
"rule": "OtkupObligation/R2"
}
],
"whyNot": []
}Исполнение · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a4c01c4ec1e9952fd2f7130d4560cacf61d0b2e1a905ac7a40e8a44cdbcc5f10\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:48c88d0db728302879132966d4688c6a8650612c42bbf61478008028852f45f8\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Старик\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Старик\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Старуха\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#wished\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Старик\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Старуха\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Старик\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"allApplicableCandidateIds\":[\"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19\"],\"conflictKey\":\"{\\\"args\\\":[{\\\"id\\\":\\\"urn:mcp:entity:Корыто\\\",\\\"kind\\\":\\\"entity_ref\\\"}],\\\"predicate\\\":\\\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\\\"}\",\"evaluationInputSemanticHash\":\"sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e\",\"priorityGraphHash\":\"sha256:37db4f293ad15a09f8846a6eb1c5fc81abf07799df7c472718e16da7e2f39fb9\",\"programSemanticHash\":\"sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0\",\"stratum\":0,\"survivingCandidateIds\":[\"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19\"]},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\"},\"evidence\":[],\"id\":\"urn:proof:closure:c56a614ccd41a62074bf29c5d5c31c029842d80545feb0d1231d1a957f7fbb0d\",\"kind\":\"candidate_closure\",\"premises\":[\"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19\"],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Корыто\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:39579f7334f7c409be8d7933b92413ba37ccfbc64fa7efa9c4176bf73a73bfae\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:d902f18f84184ef637b15273e3402b5c20e425107c97fe0c481c6bdf157779d5\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
"evaluationSha256": "sha256:b37fc94cbd48cb8b2fd75797e72b2b67ca3565ec9927d566912b9f9e9f8d0df9",
"request": {
"case": {
"assertions": [
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-1",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to"
},
"origin": "case_input",
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-2",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom"
},
"origin": "case_input",
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-3",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#wished"
},
"origin": "case_input",
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-4",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish"
},
"origin": "case_input",
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
}
],
"context": {
"decisionTime": "2026-08-31T12:00:00+05:00",
"knowledgeTime": "2026-08-31T12:00:00+05:00",
"legalTime": "2026-08-31",
"timezone": "Asia/Qyzylorda"
},
"options": {
"selectedInterpretations": []
}
},
"ir": {
"irSha256": "sha256:c03f836d4c80ef00ad9fad436171f011816187a27f3259224ff0cee0987e4c41",
"kind": "world_ref",
"nodeCount": 33,
"packages": [
{
"artifactHash": "sha256:a4c01c4ec1e9952fd2f7130d4560cacf61d0b2e1a905ac7a40e8a44cdbcc5f10",
"namespace": "urn:ru:pushkin:clir:zolotaya-rybka",
"package": "ru-zolotaya-rybka",
"semanticHash": "sha256:8846873a4f03bda50cab2cb5568dc3220cd4d1190ea57b43572b60b870c1d200"
}
],
"programHash": "sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"queryId": "urn:query:mcp"
},
"schemaVersion": "law.core.evaluation-request/0.2",
"semanticVersion": "0.2"
},
"requestCanonicalSha256": "sha256:8eb6c59be591eaee46c63c9f9bae2ee970eafb49e528ae3ab6ca0263bf8e130e"
}Метаданные отображения
{
"blockers": {
"vulnerableTo": [
{
"anchors": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"label": "«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты",
"premises": [
{
"args": [
"Старуха",
"Корыто"
],
"predicate": "wished",
"predicateId": "urn:ru:pushkin:clir:zolotaya-rybka#wished",
"status": "TRUE_ONLY",
"text": "wished(Старуха, Корыто)"
},
{
"args": [
"Старик"
],
"predicate": "ransom_offered_to",
"predicateId": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to",
"status": "TRUE_ONLY",
"text": "ransom_offered_to(Старик)"
},
{
"args": [
"Старик"
],
"predicate": "released_without_ransom",
"predicateId": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom",
"status": "TRUE_ONLY",
"text": "released_without_ransom(Старик)"
},
{
"args": [
"Старик",
"Корыто"
],
"predicate": "conveyed_to_fish",
"predicateId": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish",
"status": "TRUE_ONLY",
"text": "conveyed_to_fish(Старик, Корыто)"
},
{
"args": [
"Корыто"
],
"missing": true,
"predicate": "exceeds_grant_limit",
"predicateId": "urn:ru:pushkin:clir:zolotaya-rybka#exceeds_grant_limit",
"status": "NEITHER",
"text": "exceeds_grant_limit(Корыто)"
}
],
"rule": "OtkupObligation/R2",
"ruleId": "urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R2"
}
]
},
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:8eb6c59be591eaee46c63c9f9bae2ee970eafb49e528ae3ab6ca0263bf8e130e"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to"
},
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom"
},
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#wished"
},
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish"
},
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"id": "urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1",
"sourceAnchors": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"strength": "defeasible",
"substitution": {
"v0": {
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Старуха",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Старик",
"kind": "entity_ref"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Wish"
}
},
{
"id": "v1",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Party"
}
},
{
"id": "v2",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Party"
}
}
]
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Корыто",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant"
},
"truthStatus": "TRUE_ONLY"
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:OtkupObligation/R1:d0dff4558945df3c25659fbcabc4f58fa7b91bc98c6d87450463dcca599e8f19"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R1",
"kind": "rule",
"labels": [
{
"language": "ru",
"status": "official",
"text": "«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"strength": "defeasible"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#OtkupObligation/R2",
"kind": "rule",
"labels": [
{
"language": "ru",
"status": "official",
"text": "«Откуплюсь чем только пожелаешь»: желание, переданное рыбке отпустившим её без выкупа, рыбка исполняет — пока требование не выходит за предел оферты"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"strength": "defeasible"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#Party",
"kind": "type_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "участник: старик, старуха либо рыбка"
}
],
"name": "Party",
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#Wish",
"kind": "type_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "желание — требование, обращаемое к рыбке"
}
],
"name": "Wish",
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 90—112. Третий дар: столбовая дворянка; статус немедленно даёт власть над людьми"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 65—82. Второй дар: «Так и быть: изба вам уж будет»"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 43—58. Первый дар: чужое желание передано отпустившим — «Будет вам новое корыто»"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 16—18. Оферта рыбки: «Откуплюсь чем только пожелаешь»"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 22—27. Отпущение без выкупа: «Твоего мне откупа не надо»"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA",
"kind": "fragment",
"labels": [
{
"language": "ru",
"status": "official",
"text": "Ст. 134—155. Четвёртый дар: «Добро! будет старуха царицей!»"
}
],
"package": "urn:ru:pushkin:clir:zolotaya-rybka"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "желание передано рыбке у моря названным посредником"
}
],
"name": "conveyed_to_fish",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"parameters": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish/arg/messenger",
"labels": [],
"name": "messenger",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Party"
}
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#conveyed_to_fish/arg/w",
"labels": [],
"name": "w",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Wish"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#exceeds_grant_limit",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "требование выходит за предел оферты (единственный засвидетельствованный случай — власть над самим грантором)"
}
],
"name": "exceeds_grant_limit",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"parameters": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#exceeds_grant_limit/arg/w",
"labels": [],
"name": "w",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Wish"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "рыбка обязана исполнить названное желание"
}
],
"name": "obliged_to_grant",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"parameters": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#obliged_to_grant/arg/w",
"labels": [],
"name": "w",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Wish"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "рыбка предложила поймавшему откуп «чем только пожелаешь»"
}
],
"name": "ransom_offered_to",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"parameters": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#ransom_offered_to/arg/catcher",
"labels": [],
"name": "catcher",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Party"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "отпустил рыбку, не взяв немедленного выкупа"
}
],
"name": "released_without_ransom",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"parameters": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#released_without_ransom/arg/releaser",
"labels": [],
"name": "releaser",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Party"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#wished",
"kind": "symbol_decl",
"labels": [
{
"language": "ru",
"status": "official",
"text": "участник пожелал названного"
}
],
"name": "wished",
"package": "urn:ru:pushkin:clir:zolotaya-rybka",
"parameters": [
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#wished/arg/requester",
"labels": [],
"name": "requester",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Party"
}
},
{
"id": "urn:ru:pushkin:clir:zolotaya-rybka#wished/arg/w",
"labels": [],
"name": "w",
"type": {
"name": "urn:ru:pushkin:clir:zolotaya-rybka#Wish"
}
}
],
"symbolKind": "relation"
}
],
"tables": []
}JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 8,
"fragments": [
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_DVORYANKA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_IZBA",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_KORYTO",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_OFFER",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_RELEASE",
"urn:ru:pushkin:clir:zolotaya-rybka#ZR_F_TSARITSA"
],
"jurisdiction": "none",
"namespace": "urn:ru:pushkin:clir:zolotaya-rybka",
"package": "ru-zolotaya-rybka",
"title": "Пушкин, «Сказка о рыбаке и рыбке» (1833/1835): оферта золотой рыбки, четыре дара, предел и откат — вне юрисдикции государства — литературный памятник"
}
],
"caseHash": "sha256:d96c2590137845d3453a9e5d97f0ce498a22322fc79e6858b92db0b69e49340e",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:ecfe1b9f79c6a0290f2b7a67f634129d34452d3b34a32720021e96fec04827d0",
"resultHash": "sha256:d902f18f84184ef637b15273e3402b5c20e425107c97fe0c481c6bdf157779d5",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:b37fc94cbd48cb8b2fd75797e72b2b67ca3565ec9927d566912b9f9e9f8d0df9
Исходные данные · JSON
{
"args": [
"Корыто"
],
"facts": [
{
"args": [
"Старик"
],
"predicate": "ransom_offered_to"
},
{
"args": [
"Старик"
],
"predicate": "released_without_ransom"
},
{
"args": [
"Старуха",
"Корыто"
],
"predicate": "wished"
},
{
"args": [
"Старик",
"Корыто"
],
"predicate": "conveyed_to_fish"
}
],
"kind": "truth",
"legalTime": "2026-08-31",
"package": "ru-zolotaya-rybka",
"predicate": "obliged_to_grant",
"proof": true
}