Выборка
Вид по полному ключу
Результат расчёта
AmanitaPhalloides
| вид установлен полным ключом |
|---|
| AmanitaPhalloides |
Исходные данные · JSON
[
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
]Исходные параметры
Что определяем
вид установлен полным ключом
Исходные факты
экземпляр гриба в деле
s: ЭкземплярОбщий субъект фактов ниже
экземпляр назван в деле
гименофор экземпляра
v: Gillsкольцо на ножке
v: Presentвольва у основания
v: Presentцвет пластинок
v: Whiteцвет спорового отпечатка
v: WhitePrintмлечный сок
v: Absentизменение мякоти на срезе
v: Unchanged
Пакет: Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"Экземпляр",
{
"kind": "var",
"var": "v0"
}
],
"facts": [
{
"args": [
"Экземпляр"
],
"predicate": "specimen"
},
{
"args": [
"Экземпляр",
"Gills"
],
"predicate": "hymenophore"
},
{
"args": [
"Экземпляр",
"Present"
],
"predicate": "ring"
},
{
"args": [
"Экземпляр",
"Present"
],
"predicate": "volva"
},
{
"args": [
"Экземпляр",
"White"
],
"predicate": "gill_color"
},
{
"args": [
"Экземпляр",
"WhitePrint"
],
"predicate": "spore_print"
},
{
"args": [
"Экземпляр",
"Absent"
],
"predicate": "latex"
},
{
"args": [
"Экземпляр",
"Unchanged"
],
"predicate": "flesh_change"
}
],
"kind": "collect",
"legalTime": "2026-08-31",
"package": "myco-opredelitel",
"predicate": "identified_as",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода10 шагов
- 1факт дела
экземпляр назван в деле
s: Экземпляр
- 2факт дела
гименофор экземпляра
s: Экземпляр; v: urn:myco:clir:opredelitel#Gills
- 3факт дела
кольцо на ножке
s: Экземпляр; v: urn:myco:clir:opredelitel#Present
- 4факт дела
вольва у основания
s: Экземпляр; v: urn:myco:clir:opredelitel#Present
- 5факт дела
цвет пластинок
s: Экземпляр; v: urn:myco:clir:opredelitel#White
- 6факт дела
цвет спорового отпечатка
s: Экземпляр; v: urn:myco:clir:opredelitel#WhitePrint
- 7факт дела
млечный сок
s: Экземпляр; v: urn:myco:clir:opredelitel#Absent
- 8факт дела
изменение мякоти на срезе
s: Экземпляр; v: urn:myco:clir:opredelitel#Unchanged
- 9правило
Статья 5. Ключ бледной поганки
вид установлен полным ключом: s: Экземпляр; t: urn:myco:clir:opredelitel#AmanitaPhalloides
ст. 5
Идентификатор
urn:myco:clir:opredelitel#KeyAmanita - 10запрос
Вычисление запроса
Найдено записей: 1
проверено движком: 2 · факт дела: 8 · Полный граф: 23 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина
Статья 5. Ключ бледной поганки
Идентификатор
urn:myco:clir:opredelitel#KeyAmanita
Другие правила расчёта2
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина
Deadly From Closed List
Идентификатор
urn:myco:clir:opredelitel#DeadlyFromClosedListPresume Inedible
Идентификатор
urn:myco:clir:opredelitel#PresumeInedible
Вывод по запросу
вид установлен полным ключом
s: Экземплярt: AmanitaPhalloides
Другие выводы2
экземпляр гриба в деле
s: ЭкземплярОбщий субъект фактов ниже
употребление экземпляра запрещено презумпцией несъедобности
экземпляр смертельно ядовит
| s |
|---|
| Экземпляр |
| s | t |
|---|---|
| Экземпляр | AmanitaPhalloides |
| s |
|---|
| Экземпляр |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
в перечне
- AmanitaPhalloides
не в перечне (явный негатив по замыканию)
- urn:myco:clir:opredelitel#AgaricusCampestris
- urn:myco:clir:opredelitel#ArmillariaMellea
- urn:myco:clir:opredelitel#CantharellusCibarius
- urn:myco:clir:opredelitel#GyromitraEsculenta
- urn:myco:clir:opredelitel#HygrophoropsisAurantiaca
- urn:myco:clir:opredelitel#MorchellaEsculenta
- urn:myco:clir:opredelitel#PaxillusInvolutus
- urn:myco:clir:opredelitel#RussulaVirescens
Перечень закрыт объявлением §70: отсутствие записи в снимке даёт явный негатив с сертификатом анти-принадлежности (§231.1). Списки — узлы графа доказательства, как их записало исполнение.
Узлы доказательств: 23 · assertion 17, rule_application 3, candidate_closure 1, constraint_check 1, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- specimen
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- food_barred
- evidence
- —
- Идентификатор
- 4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- PresumeInedible
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Экземпляр
- Тип
- entity_ref
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- Gills
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- hymenophore
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- Present
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- ring
- evidence
- —
- Идентификатор
- fact-3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- Present
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- volva
- evidence
- —
- Идентификатор
- fact-4
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-5
- attributes
- assertion
- fact-5
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- White
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- gill_color
- evidence
- —
- Идентификатор
- fact-5
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-6
- attributes
- assertion
- fact-6
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- WhitePrint
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- spore_print
- evidence
- —
- Идентификатор
- fact-6
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-7
- attributes
- assertion
- fact-7
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- Absent
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- latex
- evidence
- —
- Идентификатор
- fact-7
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-8
- attributes
- assertion
- fact-8
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- Unchanged
- Тип
- const_ref
- Тип
- literal
- Знак
- positive
- Условие
- flesh_change
- evidence
- —
- Идентификатор
- fact-8
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Идентификатор
- AmanitaPhalloides
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- identified_as
- evidence
- —
- Идентификатор
- 76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7
- Тип
- rule_application
- Посылки
- fact-1
- fact-2
- fact-3
- fact-4
- fact-5
- fact-6
- fact-7
- fact-8
- Правило
- KeyAmanita
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Экземпляр
- Тип
- entity_ref
assertion · urn:proof:assert:urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e
- attributes
- assertion
- assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e
- conclusion
- Аргументы
- Идентификатор
- AmanitaPhalloides
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:DeadlyFromClosedList:a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- deadly_verdict
- evidence
- —
- Идентификатор
- a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229
- Тип
- rule_application
- Посылки
- 76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7
- assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e
- Правило
- DeadlyFromClosedList
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- v1
- Идентификатор
- AmanitaPhalloides
- Тип
- entity_ref
candidate_closure · urn:proof:closure:5a47b1a903b384588162a39f7e89d29d882f736f82d52130ccf576f01618172d
- attributes
- allApplicableCandidateIds
- 4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Экземпляр","kind":"entity_ref"}],"predicate":"urn:myco:clir:opredelitel#food_barred"}
- evaluationInputSemanticHash
- sha256:ff559ae2708c7c06826fe0507b2b439a59eb247903de8ae18110774c509b66ed
- priorityGraphHash
- sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284
- programSemanticHash
- sha256:e71b8db52fd0967661956c77f37474b6476c0036ca8cf35a65024650000bcc5b
- stratum
- 0
- survivingCandidateIds
- 4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713
- conclusion
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- food_barred
- evidence
- —
- Идентификатор
- 5a47b1a903b384588162a39f7e89d29d882f736f82d52130ccf576f01618172d
- Тип
- candidate_closure
- Посылки
- 4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:0
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- AgaricusCampestris
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- AgaricusCampestris
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:0
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:1
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- ArmillariaMellea
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- ArmillariaMellea
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:2
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- CantharellusCibarius
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- CantharellusCibarius
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:3
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- GyromitraEsculenta
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- GyromitraEsculenta
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:4
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- HygrophoropsisAurantiaca
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- HygrophoropsisAurantiaca
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:4
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:5
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- MorchellaEsculenta
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- MorchellaEsculenta
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:5
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:6
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- PaxillusInvolutus
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- PaxillusInvolutus
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:6
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:7
- attributes
- certificate
- closure-anti-membership
- closurePolicy
- DeadlyListIsClosed
- completeAsOf
- 2026-08-31T00:00:00Z
- domainMember
- Идентификатор
- RussulaVirescens
- Тип
- entity_ref
- Сохранённый разбор
- deadly-list
- conclusion
- Аргументы
- Идентификатор
- RussulaVirescens
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- deadly_listed
- evidence
- —
- Идентификатор
- DeadlyListIsClosed:7
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
constraint_check · urn:proof:constraint:DeadlyTaxonCannotReceiveEdibleVerdict:96ab73662d831fe0894496a19f0d06ad710dcbf28ee7b669f2b23006a3587347
- attributes
- —
- conclusion
- constraint
- DeadlyTaxonCannotReceiveEdibleVerdict
- requirementStatus
- Не установлено
- Статус расчёта
- Не определено
- triggerStatus
- Соблюдено
- evidence
- —
- Идентификатор
- 96ab73662d831fe0894496a19f0d06ad710dcbf28ee7b669f2b23006a3587347
- Тип
- constraint_check
- Посылки
- a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Экземпляр
- Тип
- entity_ref
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- comprehension
- distinct
- Да
- element
- Тип
- var
- var
- v0
- generator
- formula
- Аргументы
- Идентификатор
- Экземпляр
- Тип
- entity_ref
- Тип
- var
- var
- v0
- Тип
- literal
- Знак
- positive
- Условие
- identified_as
- Тип
- status
- Статус расчёта
- established
- Тип
- comprehension
- variable
- Идентификатор
- v0
- count
- 1
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"food_barred(Экземпляр)",
"identified_as(Экземпляр, AmanitaPhalloides)",
"deadly_verdict(Экземпляр)"
],
"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:myco:clir:opredelitel#specimen"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#food_barred"
},
"evidence": [],
"id": "urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:myco:clir:opredelitel#PresumeInedible",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Gills",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#hymenophore"
},
"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:myco:clir:opredelitel#Present",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#ring"
},
"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:myco:clir:opredelitel#Present",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#volva"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-5"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#White",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#gill_color"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-6"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#WhitePrint",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#spore_print"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-7"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Absent",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#latex"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-8"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Unchanged",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#flesh_change"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"evidence": [],
"id": "urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7",
"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",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-6",
"urn:proof:assert:urn:mcp:case#fact-7",
"urn:proof:assert:urn:mcp:case#fact-8"
],
"rule": "urn:myco:clir:opredelitel#KeyAmanita",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:assert:urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#deadly_verdict"
},
"evidence": [],
"id": "urn:proof:apply:DeadlyFromClosedList:a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229",
"kind": "rule_application",
"premises": [
"urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7",
"urn:proof:assert:urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e"
],
"rule": "urn:myco:clir:opredelitel#DeadlyFromClosedList",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
"v1": {
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Экземпляр\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:myco:clir:opredelitel#food_barred\"}",
"evaluationInputSemanticHash": "sha256:ff559ae2708c7c06826fe0507b2b439a59eb247903de8ae18110774c509b66ed",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:e71b8db52fd0967661956c77f37474b6476c0036ca8cf35a65024650000bcc5b",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#food_barred"
},
"evidence": [],
"id": "urn:proof:closure:5a47b1a903b384588162a39f7e89d29d882f736f82d52130ccf576f01618172d",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713"
],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#AgaricusCampestris",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#AgaricusCampestris",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#ArmillariaMellea",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#ArmillariaMellea",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#CantharellusCibarius",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#CantharellusCibarius",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#GyromitraEsculenta",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#GyromitraEsculenta",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#HygrophoropsisAurantiaca",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#HygrophoropsisAurantiaca",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#MorchellaEsculenta",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#MorchellaEsculenta",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#PaxillusInvolutus",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#PaxillusInvolutus",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#RussulaVirescens",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#RussulaVirescens",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:myco:clir:opredelitel#DeadlyTaxonCannotReceiveEdibleVerdict",
"requirementStatus": "NEITHER",
"status": "UNDETERMINED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:DeadlyTaxonCannotReceiveEdibleVerdict:96ab73662d831fe0894496a19f0d06ad710dcbf28ee7b669f2b23006a3587347",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:DeadlyFromClosedList:a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"comprehension": {
"distinct": true,
"element": {
"kind": "var",
"var": "v0"
},
"generator": {
"formula": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"kind": "status",
"status": "established"
},
"kind": "comprehension",
"variable": {
"id": "v0"
}
},
"count": 1
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:081fc1f5041399b00e90d1cddfceb5581bc690d095191c62c15cc85f1d53e1d6",
"roots": [
"urn:proof:constraint:DeadlyTaxonCannotReceiveEdibleVerdict:96ab73662d831fe0894496a19f0d06ad710dcbf28ee7b669f2b23006a3587347",
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:02db1d2c014680828950a58a3e1e9d4e848c2ef818fb063ed4b5b7e852706bec",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:myco:clir:opredelitel#DeadlyFromClosedList",
"urn:myco:clir:opredelitel#KeyAmanita",
"urn:myco:clir:opredelitel#PresumeInedible"
]
}ИсточникиФрагментов: 5
Статья 1
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1
Настоящее изложение устанавливает ограниченный ключ для десяти видов грибов. Оно не является руководством по сбору, биологическим определителем и медицинской рекомендацией; сезон, биотоп и наблюдаемые признаки являются фактами конкретного дела.
Исходные данные · JSON
{
"contentHash": "sha256:245a6697c5947704994923ac680e7e40ab2a1a0bd499472a84b37717ba5c8af5",
"edition": "urn:myco:clir:opredelitel#MYCO_RU",
"fragmentKind": "article",
"id": "urn:myco:clir:opredelitel#MYCO_ART1",
"kind": "fragment",
"locator": "article/1",
"package": "urn:myco:clir:opredelitel",
"texts": [
{
"contentHash": "sha256:f4ac29c7c50889fbaca0a316ba8f7084580ecf9a65d615bb1943813160c35f9c",
"language": "ru-KZ",
"status": "official",
"text": "Настоящее изложение устанавливает ограниченный ключ для десяти видов грибов. Оно не является руководством по сбору, биологическим определителем и медицинской рекомендацией; сезон, биотоп и наблюдаемые признаки являются фактами конкретного дела."
}
]
}Статья 10
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1
Перечень смертельно ядовитых видов закрыт: бледная поганка и галерина окаймлённая. Невхождение в этот перечень не является выводом съедобности.
Исходные данные · JSON
{
"contentHash": "sha256:cb9a2fc524f99f4a4249572442f1843da61864a47d7433e2c74d619f2e3bdb4f",
"edition": "urn:myco:clir:opredelitel#MYCO_RU",
"fragmentKind": "article",
"id": "urn:myco:clir:opredelitel#MYCO_ART10",
"kind": "fragment",
"locator": "article/10",
"package": "urn:myco:clir:opredelitel",
"texts": [
{
"contentHash": "sha256:3a9283a9dcfb32c955e96bedbe51bda3ee5b6dcf873ae1acaa828be180b65b44",
"language": "ru-KZ",
"status": "official",
"text": "Перечень смертельно ядовитых видов закрыт: бледная поганка и галерина окаймлённая. Невхождение в этот перечень не является выводом съедобности."
}
]
}Статья 4
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1
Вид устанавливается только полным совпадением всех признаков его строки ключа. Неполный ключ, в том числе отсутствие спорового отпечатка или невыкопанная вольва, не устанавливает никакого вида.
Исходные данные · JSON
{
"contentHash": "sha256:3f50fc006a3898f85ff6866fc33cb56991946eee8504c369513196ef2fbeb406",
"edition": "urn:myco:clir:opredelitel#MYCO_RU",
"fragmentKind": "article",
"id": "urn:myco:clir:opredelitel#MYCO_ART4",
"kind": "fragment",
"locator": "article/4",
"package": "urn:myco:clir:opredelitel",
"texts": [
{
"contentHash": "sha256:59025a9050b5b4cd40c25d94b61c6fb4e1d13805554b314ec54c378b48693c54",
"language": "ru-KZ",
"status": "official",
"text": "Вид устанавливается только полным совпадением всех признаков его строки ключа. Неполный ключ, в том числе отсутствие спорового отпечатка или невыкопанная вольва, не устанавливает никакого вида."
}
]
}Статья 5
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1
Бледная поганка: пластинки, кольцо есть, вольва есть, пластинки белые, отпечаток белый, млечного сока нет, мякоть на срезе не меняется. Шампиньон обыкновенный: пластинки, кольцо есть, вольвы нет, пластинки розовые, отпечаток тёмно-коричневый, млечного сока нет, мякоть на срезе розовеет.
Исходные данные · JSON
{
"contentHash": "sha256:14d9213735d07b1bdfff0714ccea5b1e196b797a2961a857f41c8b0c3f53b9c3",
"edition": "urn:myco:clir:opredelitel#MYCO_RU",
"fragmentKind": "article",
"id": "urn:myco:clir:opredelitel#MYCO_ART5",
"kind": "fragment",
"locator": "article/5",
"package": "urn:myco:clir:opredelitel",
"texts": [
{
"contentHash": "sha256:657b7fbdda4747f211d969c2d78844e13fffd0ff174fbb01a758453dc92cedf8",
"language": "ru-KZ",
"status": "official",
"text": "Бледная поганка: пластинки, кольцо есть, вольва есть, пластинки белые, отпечаток белый, млечного сока нет, мякоть на срезе не меняется. Шампиньон обыкновенный: пластинки, кольцо есть, вольвы нет, пластинки розовые, отпечаток тёмно-коричневый, млечного сока нет, мякоть на срезе розовеет."
}
]
}Статья 9
Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1
Классы настоящего изложения: съедобен — шампиньон обыкновенный, сыроежка зелёная, лисичка настоящая и сморчок съедобный; условно съедобен — строчок обыкновенный; ядовит — свинушка тонкая и ложная лисичка; смертельно ядовит — бледная поганка и галерина окаймлённая. Съедобность выводится только для установленного вида класса «съедобен».
Исходные данные · JSON
{
"contentHash": "sha256:fc030be883ac850f6aea4fef08a7cbfd0e5a3576d08a88806f93151d91d63d3c",
"edition": "urn:myco:clir:opredelitel#MYCO_RU",
"fragmentKind": "article",
"id": "urn:myco:clir:opredelitel#MYCO_ART9",
"kind": "fragment",
"locator": "article/9",
"package": "urn:myco:clir:opredelitel",
"texts": [
{
"contentHash": "sha256:15637b136c3b5e63606d27895edb0a582847a492f863a5f4836419e49205c7d2",
"language": "ru-KZ",
"status": "official",
"text": "Классы настоящего изложения: съедобен — шампиньон обыкновенный, сыроежка зелёная, лисичка настоящая и сморчок съедобный; условно съедобен — строчок обыкновенный; ядовит — свинушка тонкая и ложная лисичка; смертельно ядовит — бледная поганка и галерина окаймлённая. Съедобность выводится только для установленного вида класса «съедобен»."
}
]
}Пакеты в снимке
- Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
{
"answer": {
"count": 1,
"elements": [
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
],
"evaluationStatus": "COMPUTED",
"kind": "COLLECTION",
"missingInputs": [],
"variable": "v0"
},
"closedEditionRules": [],
"derived": [
"food_barred(Экземпляр)",
"identified_as(Экземпляр, AmanitaPhalloides)",
"deadly_verdict(Экземпляр)"
],
"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:myco:clir:opredelitel#specimen"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#food_barred"
},
"evidence": [],
"id": "urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:myco:clir:opredelitel#PresumeInedible",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Gills",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#hymenophore"
},
"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:myco:clir:opredelitel#Present",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#ring"
},
"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:myco:clir:opredelitel#Present",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#volva"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-5"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#White",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#gill_color"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-6"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#WhitePrint",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#spore_print"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-7"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Absent",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#latex"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-8"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Unchanged",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#flesh_change"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-8",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"evidence": [],
"id": "urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7",
"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",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-6",
"urn:proof:assert:urn:mcp:case#fact-7",
"urn:proof:assert:urn:mcp:case#fact-8"
],
"rule": "urn:myco:clir:opredelitel#KeyAmanita",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:assert:urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#deadly_verdict"
},
"evidence": [],
"id": "urn:proof:apply:DeadlyFromClosedList:a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229",
"kind": "rule_application",
"premises": [
"urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7",
"urn:proof:assert:urn:myco:clir:opredelitel#assert-h508eb5d5fbebabd4dce99491fc6b30a575efbbe5b8891ac57b753e431d171c9e"
],
"rule": "urn:myco:clir:opredelitel#DeadlyFromClosedList",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
"v1": {
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Экземпляр\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:myco:clir:opredelitel#food_barred\"}",
"evaluationInputSemanticHash": "sha256:ff559ae2708c7c06826fe0507b2b439a59eb247903de8ae18110774c509b66ed",
"priorityGraphHash": "sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284",
"programSemanticHash": "sha256:e71b8db52fd0967661956c77f37474b6476c0036ca8cf35a65024650000bcc5b",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#food_barred"
},
"evidence": [],
"id": "urn:proof:closure:5a47b1a903b384588162a39f7e89d29d882f736f82d52130ccf576f01618172d",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:PresumeInedible:4ac312fbd59f7c2b8f23376a52a6d33aff64cf593950411497a00adc0cd3c713"
],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#AgaricusCampestris",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#AgaricusCampestris",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:0",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#ArmillariaMellea",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#ArmillariaMellea",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#CantharellusCibarius",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#CantharellusCibarius",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#GyromitraEsculenta",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#GyromitraEsculenta",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#HygrophoropsisAurantiaca",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#HygrophoropsisAurantiaca",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#MorchellaEsculenta",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#MorchellaEsculenta",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#PaxillusInvolutus",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#PaxillusInvolutus",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"certificate": "closure-anti-membership",
"closurePolicy": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"completeAsOf": "2026-08-31T00:00:00Z",
"domainMember": {
"id": "urn:myco:clir:opredelitel#RussulaVirescens",
"kind": "entity_ref"
},
"snapshot": "urn:myco:restatement:opredelitel:deadly-list"
},
"conclusion": {
"args": [
{
"id": "urn:myco:clir:opredelitel#RussulaVirescens",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:myco:clir:opredelitel#deadly_listed"
},
"evidence": [],
"id": "urn:proof:closure:urn:myco:clir:opredelitel#DeadlyListIsClosed:7",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:myco:clir:opredelitel#DeadlyTaxonCannotReceiveEdibleVerdict",
"requirementStatus": "NEITHER",
"status": "UNDETERMINED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:DeadlyTaxonCannotReceiveEdibleVerdict:96ab73662d831fe0894496a19f0d06ad710dcbf28ee7b669f2b23006a3587347",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:DeadlyFromClosedList:a73885b8a67199776882a21c107c803e1dab7ff3ac86acd0905a80d273739229"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"comprehension": {
"distinct": true,
"element": {
"kind": "var",
"var": "v0"
},
"generator": {
"formula": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"kind": "status",
"status": "established"
},
"kind": "comprehension",
"variable": {
"id": "v0"
}
},
"count": 1
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:081fc1f5041399b00e90d1cddfceb5581bc690d095191c62c15cc85f1d53e1d6",
"roots": [
"urn:proof:constraint:DeadlyTaxonCannotReceiveEdibleVerdict:96ab73662d831fe0894496a19f0d06ad710dcbf28ee7b669f2b23006a3587347",
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:02db1d2c014680828950a58a3e1e9d4e848c2ef818fb063ed4b5b7e852706bec",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 14,
"fragments": [
"urn:myco:clir:opredelitel#MYCO_ART10",
"urn:myco:clir:opredelitel#MYCO_ART4",
"urn:myco:clir:opredelitel#MYCO_ART5",
"urn:myco:clir:opredelitel#MYCO_ART9"
],
"jurisdiction": "none",
"namespace": "urn:myco:clir:opredelitel",
"package": "myco-opredelitel",
"title": "Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1"
}
],
"caseHash": "sha256:ff559ae2708c7c06826fe0507b2b439a59eb247903de8ae18110774c509b66ed",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:e71b8db52fd0967661956c77f37474b6476c0036ca8cf35a65024650000bcc5b",
"resultHash": "sha256:02db1d2c014680828950a58a3e1e9d4e848c2ef818fb063ed4b5b7e852706bec",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:myco:clir:opredelitel#DeadlyFromClosedList",
"urn:myco:clir:opredelitel#KeyAmanita",
"urn:myco:clir:opredelitel#PresumeInedible"
],
"signature": {
"constants": {
"urn:myco:clir:opredelitel#AmanitaPhalloides": {
"labels": [],
"type": "urn:myco:clir:opredelitel#Taxon",
"value": {
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
}
},
"element": {
"index": 1,
"type": {
"name": "urn:myco:clir:opredelitel#Taxon"
}
},
"parameters": [
{
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"labels": [],
"name": "t",
"type": {
"name": "urn:myco:clir:opredelitel#Taxon"
}
}
],
"predicate": "urn:myco:clir:opredelitel#identified_as",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:myco:clir:opredelitel#Specimen": {
"kind": "entity",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "экземпляр гриба в деле"
}
],
"namespace": "urn:myco:clir:opredelitel",
"package": "myco.opredelitel"
},
"urn:myco:clir:opredelitel#Taxon": {
"kind": "entity",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "вид гриба в ограниченном срезе"
}
],
"namespace": "urn:myco:clir:opredelitel",
"package": "myco.opredelitel"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:763310eb530a0256359550835fde04d297c2a9d6cdc9aa77f482897e19af4b88"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#specimen"
},
"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"
},
{
"id": "urn:myco:clir:opredelitel#Gills",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#hymenophore"
},
"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:myco:clir:opredelitel#Present",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#ring"
},
"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:myco:clir:opredelitel#Present",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#volva"
},
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#White",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#gill_color"
},
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#WhitePrint",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#spore_print"
},
"id": "urn:proof:assert:urn:mcp:case#fact-6",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Absent",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#latex"
},
"id": "urn:proof:assert:urn:mcp:case#fact-7",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#Unchanged",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#flesh_change"
},
"id": "urn:proof:assert:urn:mcp:case#fact-8",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
},
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "const_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"id": "urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7",
"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",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-6",
"urn:proof:assert:urn:mcp:case#fact-7",
"urn:proof:assert:urn:mcp:case#fact-8"
],
"rule": "urn:myco:clir:opredelitel#KeyAmanita",
"sourceAnchors": [
"urn:myco:clir:opredelitel#MYCO_ART5"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
}
]
},
{
"conclusion": {
"comprehension": {
"distinct": true,
"element": {
"kind": "var",
"var": "v0"
},
"generator": {
"formula": {
"args": [
{
"id": "urn:mcp:entity:Экземпляр",
"kind": "entity_ref"
},
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:myco:clir:opredelitel#identified_as"
},
"kind": "status",
"status": "established"
},
"kind": "comprehension",
"variable": {
"id": "v0"
}
},
"count": 1
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:KeyAmanita:76dcc55d8186aacf5fa8a598813b46a44c21c0a9a2d7366e2b815c9e21b0fcf7"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:myco:clir:opredelitel#AgaricusCampestris",
"kind": "symbol_decl",
"labels": [],
"name": "AgaricusCampestris",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#AmanitaPhalloides",
"kind": "symbol_decl",
"labels": [],
"name": "AmanitaPhalloides",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#ArmillariaMellea",
"kind": "symbol_decl",
"labels": [],
"name": "ArmillariaMellea",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#CantharellusCibarius",
"kind": "symbol_decl",
"labels": [],
"name": "CantharellusCibarius",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#DeadlyListIsClosed",
"kind": "closure_policy",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "перечень смертельно ядовитых видов закрыт: иных смертельных видов срез не знает"
}
],
"package": "urn:myco:clir:opredelitel"
},
{
"id": "urn:myco:clir:opredelitel#GyromitraEsculenta",
"kind": "symbol_decl",
"labels": [],
"name": "GyromitraEsculenta",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#HygrophoropsisAurantiaca",
"kind": "symbol_decl",
"labels": [],
"name": "HygrophoropsisAurantiaca",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#KeyAmanita",
"kind": "rule",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "Статья 5. Ключ бледной поганки"
}
],
"package": "urn:myco:clir:opredelitel",
"strength": "strict"
},
{
"id": "urn:myco:clir:opredelitel#MorchellaEsculenta",
"kind": "symbol_decl",
"labels": [],
"name": "MorchellaEsculenta",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#PaxillusInvolutus",
"kind": "symbol_decl",
"labels": [],
"name": "PaxillusInvolutus",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#RussulaVirescens",
"kind": "symbol_decl",
"labels": [],
"name": "RussulaVirescens",
"package": "urn:myco:clir:opredelitel",
"parameters": [],
"symbolKind": "constant"
},
{
"id": "urn:myco:clir:opredelitel#Specimen",
"kind": "type_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "экземпляр гриба в деле"
}
],
"name": "Specimen",
"package": "urn:myco:clir:opredelitel"
},
{
"id": "urn:myco:clir:opredelitel#Taxon",
"kind": "type_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "вид гриба в ограниченном срезе"
}
],
"name": "Taxon",
"package": "urn:myco:clir:opredelitel"
},
{
"id": "urn:myco:clir:opredelitel#deadly_listed",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "вид находится в закрытом перечне смертельно ядовитых"
}
],
"name": "deadly_listed",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#deadly_listed/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:myco:clir:opredelitel#Taxon"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#deadly_verdict",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "экземпляр смертельно ядовит"
}
],
"name": "deadly_verdict",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#deadly_verdict/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#edible_verdict",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "экземпляр разрешён как съедобный"
}
],
"name": "edible_verdict",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#edible_verdict/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#flesh_change",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "изменение мякоти на срезе"
}
],
"name": "flesh_change",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#flesh_change/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#flesh_change/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#FleshChange"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#food_barred",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "употребление экземпляра запрещено презумпцией несъедобности"
}
],
"name": "food_barred",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#food_barred/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#gill_color",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "цвет пластинок"
}
],
"name": "gill_color",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#gill_color/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#gill_color/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#GillColor"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#hymenophore",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "гименофор экземпляра"
}
],
"name": "hymenophore",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#hymenophore/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#hymenophore/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#Hymenophore"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#identified_as",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "вид установлен полным ключом"
}
],
"name": "identified_as",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#identified_as/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#identified_as/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:myco:clir:opredelitel#Taxon"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#latex",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "млечный сок"
}
],
"name": "latex",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#latex/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#latex/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#Presence"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#ring",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "кольцо на ножке"
}
],
"name": "ring",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#ring/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#ring/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#Presence"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#specimen",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "экземпляр назван в деле"
}
],
"name": "specimen",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#specimen/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#spore_print",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "цвет спорового отпечатка"
}
],
"name": "spore_print",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#spore_print/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#spore_print/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#PrintColor"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:myco:clir:opredelitel#volva",
"kind": "symbol_decl",
"labels": [
{
"language": "ru-KZ",
"status": "unofficial",
"text": "вольва у основания"
}
],
"name": "volva",
"package": "urn:myco:clir:opredelitel",
"parameters": [
{
"id": "urn:myco:clir:opredelitel#volva/arg/s",
"labels": [],
"name": "s",
"type": {
"name": "urn:myco:clir:opredelitel#Specimen"
}
},
{
"id": "urn:myco:clir:opredelitel#volva/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:myco:clir:opredelitel#Presence"
}
}
],
"symbolKind": "relation"
}
],
"tables": []
}JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 14,
"fragments": [
"urn:myco:clir:opredelitel#MYCO_ART10",
"urn:myco:clir:opredelitel#MYCO_ART4",
"urn:myco:clir:opredelitel#MYCO_ART5",
"urn:myco:clir:opredelitel#MYCO_ART9"
],
"jurisdiction": "none",
"namespace": "urn:myco:clir:opredelitel",
"package": "myco-opredelitel",
"title": "Определитель грибов — система вывода с презумпцией несъедобности — вне юрисдикции государства — доктрина — EXECUTABLE 11 §33.1"
}
],
"caseHash": "sha256:ff559ae2708c7c06826fe0507b2b439a59eb247903de8ae18110774c509b66ed",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:e71b8db52fd0967661956c77f37474b6476c0036ca8cf35a65024650000bcc5b",
"resultHash": "sha256:02db1d2c014680828950a58a3e1e9d4e848c2ef818fb063ed4b5b7e852706bec",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:b518ce1919616d34198896634326ec9010f1b00db8cfd269aa9dee22390730a8
Исходные данные · JSON
{
"args": [
"Экземпляр",
{
"kind": "var",
"var": "v0"
}
],
"facts": [
{
"args": [
"Экземпляр"
],
"predicate": "specimen"
},
{
"args": [
"Экземпляр",
"Gills"
],
"predicate": "hymenophore"
},
{
"args": [
"Экземпляр",
"Present"
],
"predicate": "ring"
},
{
"args": [
"Экземпляр",
"Present"
],
"predicate": "volva"
},
{
"args": [
"Экземпляр",
"White"
],
"predicate": "gill_color"
},
{
"args": [
"Экземпляр",
"WhitePrint"
],
"predicate": "spore_print"
},
{
"args": [
"Экземпляр",
"Absent"
],
"predicate": "latex"
},
{
"args": [
"Экземпляр",
"Unchanged"
],
"predicate": "flesh_change"
}
],
"kind": "collect",
"legalTime": "2026-08-31",
"package": "myco-opredelitel",
"predicate": "identified_as",
"proof": true
}