Школьный задачник: перевести 72 км/ч в м/с, найти массу железного бруска объёмом 200 см³, теплоту нагрева 2 кг воды на 10 °C и проверить, не получился ли вечный двигатель при полезной работе 600 Дж и затраченной 500 Дж.

Перевод скорости идёт точным фактором 18/5, а не делением на 3,6: 72 км/ч дают ровно 20 м/с. Масса бруска берётся из табличной плотности железа 7,8 г/см³ и объёма: 1560 г. Теплота из табличной теплоёмкости воды 4200 Дж/(кг·°C): 84 000 Дж. КПД больше единицы задачник не считает: данные с полезной работой выше затраченной выводятся как вечный двигатель, а сами данные помечаются противоречивыми.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

At a glance

Select a result to explore its grounds

72 км/ч в метрах в секундуCollection20 m_per_sExecution: Computed Масса железного бруска объёмом 200 см³Collection1560 gExecution: Computed Теплота нагрева 2 кг воды на 10 °CCollection84000 JExecution: Computed Полезная работа 600 Дж при затраченной 500 Дж: вечный двигательConditionEstablishedExecution: ComputedLogical result: Established

Detailed analysis

Collection

72 км/ч в метрах в секунду

Context date 2026-08-31

Calculation result

20 m_per_s

Elements
скорость, выраженная в метрах в секунду переводом ст. 3
20 m_per_s

Original data · JSON

[
  {
    "kind": "value",
    "type": {
      "name": "urn:law:std#Quantity"
    },
    "unit": "m_per_s",
    "value": "20"
  }
]

Input parameters

What we are finding

скорость, выраженная в метрах в секунду переводом ст. 3

zadacha

Input facts

дано: скорость в километрах в час, которую требуется выразить в метрах в секунду
z: zadachav: 72 km_per_h

Package: Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "km_per_h",
          "value": "72"
        }
      ],
      "predicate": "perevesti_v_m_s"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "skorost_perevedena_v_m_s",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path4 steps

1
дано: скорость в километрах в час, которую требуется выразить в метрах в секунду
z: urn:case:phys:zadacha; v: 72 km_per_h
case fact
2
Ст. 3. Числовое значение поданной скорости в километрах в час есть отношение величины к эталону километра в час
72 = scalar(72 km_per_h)
art. 3
Identifier
urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH
rule
3
Ст. 3. Скорость в метрах в секунду есть перевод поданной скорости: точный фактор пять восемнадцатых вычисляется из объявлений единиц
20 m_per_s = 72 km_per_h → m_per_s
art. 3
Identifier
urn:phys:clir:zadachnik#PerevodVMetrySekundu
rule
4
Query evaluation
Records found: 1
query

verified by the engine: 3 · case fact: 1 · Full graph: 5 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 3. Числовое значение поданной скорости в километрах в час есть отношение величины к эталону километра в час
Identifier
urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH
Ст. 3. Скорость в метрах в секунду есть перевод поданной скорости: точный фактор пять восемнадцатых вычисляется из объявлений единиц
Identifier
urn:phys:clir:zadachnik#PerevodVMetrySekundu

Other rules in the evaluation1

Applied in the overall evaluation, but not on the proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 13. Скорость, переведённая в метры в секунду, — вычисленный ответ задачи о переводе
Identifier
urn:phys:clir:zadachnik#OtvetPerevodVMs

Derived result for this query

скорость, выраженная в метрах в секунду переводом ст. 3
z: zadachav: 20

Other derived facts2

задача задачника: единица решебника, к которой отнесены данные и ответ
z: zadacha
Subject shared by the facts below
числовое значение поданной скорости в километрах в час: отношение величины к эталону (ст. 2-3)
n: 72
ответ задачи, вычисленный по настоящему задачнику (ст. 13)
x: 20

числовое значение поданной скорости в километрах в час: отношение величины к эталону (ст. 2-3)
z	n
zadacha	72

скорость, выраженная в метрах в секунду переводом ст. 3
z	v
zadacha	20

ответ задачи, вычисленный по настоящему задачнику (ст. 13)
z	x
zadacha	20

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 5 · assertion 1, rule_application 3, query_evaluation 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
km_per_h
value
72

Type

literal

Polarity

positive

Condition

perevesti_v_m_s

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Decimal
value
72

Type

literal

Polarity

positive

Condition

chislovoe_znachenie_skorosti_km_h

evidence

—

Identifier

cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8

Type

rule_application

Premises

fact-1

Rule

ChislovoeZnachenieSkorostiKmH

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

km_per_h

value

rule_application · urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
m_per_s
value
20

Type

literal

Polarity

positive

Condition

skorost_perevedena_v_m_s

evidence

—

Identifier

6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a

Type

rule_application

Premises

cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8
fact-1

Rule

PerevodVMetrySekundu

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

km_per_h

value

Type

value

type

name: Decimal

value

rule_application · urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
m_per_s
value
20

Type

literal

Polarity

positive

Condition

vychislennyy_otvet

evidence

—

Identifier

8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959

Type

rule_application

Premises

6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a

Rule

OtvetPerevodVMs

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

m_per_s

value

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Yes

element

Type: var
var: v0

generator

formula

Arguments

Identifier
zadacha
Type
entity_ref
Type
var
var
v0

Type

literal

Polarity

positive

Condition

skorost_perevedena_v_m_s

Type

status

Calculation status

established

Type

comprehension

variable

Identifier: v0

count

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "chislovoe_znachenie_skorosti_km_h(urn:case:phys:zadacha, 72)",
    "skorost_perevedena_v_m_s(urn:case:phys:zadacha, 20)",
    "vychislennyy_otvet(urn:case:phys:zadacha, 20)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "km_per_h",
                "value": "72"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "72"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
          },
          "evidence": [],
          "id": "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "km_per_h",
              "value": "72"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "m_per_s",
                "value": "20"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
          },
          "evidence": [],
          "id": "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "km_per_h",
              "value": "72"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Decimal"
              },
              "value": "72"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "m_per_s",
                "value": "20"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
          },
          "evidence": [],
          "id": "urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
          ],
          "rule": "urn:phys:clir:zadachnik#OtvetPerevodVMs",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "m_per_s",
              "value": "20"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:case:phys:zadacha",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:7ffe332cc23200e61c68f47923bd74ef8c2b6dad9223fa519d351c6fe2d4a1d0",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:91f07f86e43fdd2c4d9a25bb734521f56c01ffd552584bc910f8246647dc23c2",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
    "urn:phys:clir:zadachnik#OtvetPerevodVMs",
    "urn:phys:clir:zadachnik#PerevodVMetrySekundu"
  ]
}

SourcesExcerpts: 2

Article 13

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1

Статья 13. Проверка ответа Ответ ученика верен, когда он равен вычисленному по настоящему задачнику ответу той же задачи в той же единице. Ответ, расходящийся с вычисленным, объявляется расхождением с указанием обоих значений. Ответ в другой единице ответом не является, пока не переведён по статье 3: сравнение величин разных единиц несопоставимо по статье 2. Задача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен. Задача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ: неверен — расхождение с вычисленным путём 300 m.

Original data · JSON

{
  "contentHash": "sha256:7814519c9e1b1881e0f1bb88fc4c2c816b23743418bb7263f3066ccdda49dc8e",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:b19fc66543ae07fbde5b0bf06ed10f49e6cdcc2956595878ae366b0be62b7148",
      "language": "ru",
      "status": "official",
      "text": "Статья 13. Проверка ответа\n\nОтвет ученика верен, когда он равен вычисленному по настоящему задачнику\nответу той же задачи в той же единице. Ответ, расходящийся с вычисленным,\nобъявляется расхождением с указанием обоих значений. Ответ в другой единице\nответом не является, пока не переведён по статье 3: сравнение величин разных\nединиц несопоставимо по статье 2.\n\nЗадача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен.\n\nЗадача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ:\nневерен — расхождение с вычисленным путём 300 m."
    }
  ]
}

Article 3

Статья 3. Перевод единиц скорости Числовое значение скорости в метрах в секунду равно числовому значению той же скорости в километрах в час, умноженному на пять восемнадцатых. Обратный перевод — умножением на восемнадцать пятых. Оба фактора точны: восемнадцать пятых равно трём целым шести десятым, и школьная запись «раздели на 3,6» есть запись того же точного фактора. Перевод есть действие над числовым значением, а не над величиной. Деление самой величины на три целых шесть десятых даёт величину той же единицы, уменьшенную в три целых шесть десятых раза, — например, двадцать километров в час, — а не ту же скорость в других единицах; такая запись переводом не является и ошибочна. Задача 3.1. Скорость автомобиля 72 km_per_h. Выразить в метрах в секунду. Ответ: 20 m_per_s. Задача 3.2. Скорость велосипедиста 15 m_per_s. Выразить в километрах в час. Ответ: 54 km_per_h. Задача 3.3. Ученик разделил величину 72 km_per_h на 3,6 и получил двадцать. Перевёл ли он скорость в метры в секунду? Ответ: нет — он получил величину 20 km_per_h, то есть скорость в пять раз меньшую исходной и в прежней единице; числовое значение совпало с верным ответом задачи 3.1 случайно. РАЗДЕЛ II. ЗАКОНЫ И ОПРЕДЕЛЕНИЯ

Original data · JSON

{
  "contentHash": "sha256:5dcded398fe9c44311987a0058af627372fee44601f300a5e26863390ab25fee",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:fc60b0f59653b5aae4bb7d4275f1baae090bd66765e4b614a8818af4c25f9920",
      "language": "ru",
      "status": "official",
      "text": "Статья 3. Перевод единиц скорости\n\nЧисловое значение скорости в метрах в секунду равно числовому значению той\nже скорости в километрах в час, умноженному на пять восемнадцатых. Обратный\nперевод — умножением на восемнадцать пятых. Оба фактора точны: восемнадцать\nпятых равно трём целым шести десятым, и школьная запись «раздели на 3,6»\nесть запись того же точного фактора.\n\nПеревод есть действие над числовым значением, а не над величиной. Деление\nсамой величины на три целых шесть десятых даёт величину той же единицы,\nуменьшенную в три целых шесть десятых раза, — например, двадцать километров\nв час, — а не ту же скорость в других единицах; такая запись переводом не\nявляется и ошибочна.\n\nЗадача 3.1. Скорость автомобиля 72 km_per_h. Выразить в метрах в секунду.\nОтвет: 20 m_per_s.\n\nЗадача 3.2. Скорость велосипедиста 15 m_per_s. Выразить в километрах в час.\nОтвет: 54 km_per_h.\n\nЗадача 3.3. Ученик разделил величину 72 km_per_h на 3,6 и получил двадцать.\nПеревёл ли он скорость в метры в секунду? Ответ: нет — он получил величину\n20 km_per_h, то есть скорость в пять раз меньшую исходной и в прежней\nединице; числовое значение совпало с верным ответом задачи 3.1 случайно.\n\nРАЗДЕЛ II. ЗАКОНЫ И ОПРЕДЕЛЕНИЯ"
    }
  ]
}

Packages in the snapshot

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
units-si

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 1. Значения ?v0: 20 m_per_s Выведено правом: chislovoe_znachenie_skorosti_km_h(urn:case:phys:zadacha, 72); skorost_perevedena_v_m_s(urn:case:phys:zadacha, 20); vychislennyy_otvet(urn:case:phys:zadacha, 20) Применены правила: ChislovoeZnachenieSkorostiKmH, OtvetPerevodVMs, PerevodVMetrySekundu Право (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…) Вместе с актами: units-si proof-граф: 5 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "count": 1,
    "elements": [
      {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Quantity"
        },
        "unit": "m_per_s",
        "value": "20"
      }
    ],
    "evaluationStatus": "COMPUTED",
    "kind": "COLLECTION",
    "missingInputs": [],
    "variable": "v0"
  },
  "closedEditionRules": [],
  "derived": [
    "chislovoe_znachenie_skorosti_km_h(urn:case:phys:zadacha, 72)",
    "skorost_perevedena_v_m_s(urn:case:phys:zadacha, 20)",
    "vychislennyy_otvet(urn:case:phys:zadacha, 20)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "km_per_h",
                "value": "72"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "72"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
          },
          "evidence": [],
          "id": "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "km_per_h",
              "value": "72"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "m_per_s",
                "value": "20"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
          },
          "evidence": [],
          "id": "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "km_per_h",
              "value": "72"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Decimal"
              },
              "value": "72"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "m_per_s",
                "value": "20"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
          },
          "evidence": [],
          "id": "urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
          ],
          "rule": "urn:phys:clir:zadachnik#OtvetPerevodVMs",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "m_per_s",
              "value": "20"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:case:phys:zadacha",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:7ffe332cc23200e61c68f47923bd74ef8c2b6dad9223fa519d351c6fe2d4a1d0",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:91f07f86e43fdd2c4d9a25bb734521f56c01ffd552584bc910f8246647dc23c2",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 12,
        "fragments": [
          "urn:phys:clir:zadachnik#PHYS_ART13",
          "urn:phys:clir:zadachnik#PHYS_ART3"
        ],
        "jurisdiction": "none",
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys-zadachnik",
        "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
      },
      {
        "contributed": false,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:law:units:si",
        "package": "units-si",
        "title": "units-si"
      }
    ],
    "caseHash": "sha256:dd571a8b64668e960f3332f32b24e95bd7edb86e75acc2ac42563a2371eebce3",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
    "resultHash": "sha256:91f07f86e43fdd2c4d9a25bb734521f56c01ffd552584bc910f8246647dc23c2",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
    "urn:phys:clir:zadachnik#OtvetPerevodVMs",
    "urn:phys:clir:zadachnik#PerevodVMetrySekundu"
  ],
  "signature": {
    "constants": {},
    "element": {
      "index": 1,
      "type": {
        "name": "urn:law:std#Quantity"
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "z",
        "type": {
          "name": "urn:phys:clir:zadachnik#Zadacha"
        }
      },
      {
        "labels": [],
        "name": "v",
        "type": {
          "name": "urn:law:std#Quantity"
        }
      }
    ],
    "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:law:std#Quantity": {
        "kind": "std"
      },
      "urn:phys:clir:zadachnik#Zadacha": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
          }
        ],
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys.zadachnik"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:dd571a8b64668e960f3332f32b24e95bd7edb86e75acc2ac42563a2371eebce3\",\"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:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:b83ebd8d07b4b16021134e85dd0d932d5fcde94c8245d0715e43bebbe99e8237\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"km_per_h\",\"value\":\"72\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#perevesti_v_m_s\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"72\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h\"},\"evidence\":[],\"id\":\"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"km_per_h\",\"value\":\"72\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#skorost_perevedena_v_m_s\"},\"evidence\":[],\"id\":\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8\",\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#PerevodVMetrySekundu\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"km_per_h\",\"value\":\"72\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"72\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetPerevodVMs:8db08e1cabb24eb8f95968367d2d80a0a7d5475c48628d28e4c5001e29104959\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetPerevodVMs\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#skorost_perevedena_v_m_s\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:7ffe332cc23200e61c68f47923bd74ef8c2b6dad9223fa519d351c6fe2d4a1d0\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:91f07f86e43fdd2c4d9a25bb734521f56c01ffd552584bc910f8246647dc23c2\",\"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\":\"COLLECTION\",\"sourceAnchors\":[],\"value\":[{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"20\"}]}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:4eff7b957603b1485b32536595076faa0c0c106b35518db73a9154ee2dfd4f32",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "km_per_h",
                "value": "72"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
          },
          "origin": "case_input",
          "package": "urn:phys:clir:zadachnik"
        }
      ],
      "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:15dee3a5312c1b7b196d2e681128156ae379871acc86b66406906c2f55fa0f19",
      "kind": "world_ref",
      "nodeCount": 503,
      "packages": [
        {
          "artifactHash": "sha256:21686faaa1467b817015bf5fc09aafe8ebe64a15c6b16e6862bea7257e68cb52",
          "namespace": "urn:phys:clir:zadachnik",
          "package": "phys-zadachnik",
          "semanticHash": "sha256:0769ec4270dd2bf1bca8cff6744dfc872f04907ac3f46130d5f3043b8a1c5889"
        },
        {
          "artifactHash": "sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c",
          "namespace": "urn:law:units:si",
          "package": "units-si",
          "semanticHash": "sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"
        }
      ],
      "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633"
    },
    "query": {
      "comprehension": {
        "distinct": true,
        "element": {
          "kind": "var",
          "var": "v0"
        },
        "generator": {
          "formula": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "var",
                "var": "v0"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
          },
          "kind": "status",
          "status": "established"
        },
        "kind": "comprehension",
        "variable": {
          "id": "v0"
        }
      },
      "kind": "collect",
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:7b3701b1cfad81b7a422440f1960396d0e92f87ce90bf8d406d782b6d13527d0"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:7b3701b1cfad81b7a422440f1960396d0e92f87ce90bf8d406d782b6d13527d0"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "km_per_h",
            "value": "72"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#perevesti_v_m_s"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Decimal"
            },
            "value": "72"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "kind": "binary",
            "left": {
              "kind": "var",
              "var": "v1"
            },
            "op": "div",
            "right": {
              "id": "urn:phys:clir:zadachnik#KmVChasEtalon",
              "kind": "const_ref"
            }
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h"
      },
      "id": "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1"
      ],
      "rule": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
      "sourceAnchors": [
        "urn:phys:clir:zadachnik#PHYS_ART3"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:phys:zadacha",
          "kind": "entity_ref"
        },
        "v1": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "km_per_h",
          "value": "72"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ]
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "m_per_s",
            "value": "20"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "args": [
              {
                "args": [
                  {
                    "args": [
                      {
                        "kind": "var",
                        "var": "v1"
                      }
                    ],
                    "function": "urn:law:std#magnitude",
                    "kind": "call"
                  },
                  {
                    "kind": "value",
                    "type": {
                      "name": "urn:law:std#Text"
                    },
                    "value": "m_per_s"
                  }
                ],
                "function": "urn:law:std#unit_convert",
                "kind": "call"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Text"
                },
                "value": "m_per_s"
              }
            ],
            "function": "urn:law:std#quantity_of",
            "kind": "call"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
      },
      "id": "urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:ChislovoeZnachenieSkorostiKmH:cc855deb93f587916bc2235366d472823956c3aac3799d9ad7358eddeb9431b8",
        "urn:proof:assert:urn:mcp:case#fact-1"
      ],
      "rule": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
      "sourceAnchors": [
        "urn:phys:clir:zadachnik#PHYS_ART3"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:phys:zadacha",
          "kind": "entity_ref"
        },
        "v1": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "km_per_h",
          "value": "72"
        },
        "v2": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Decimal"
          },
          "value": "72"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        },
        {
          "id": "v2",
          "type": {
            "name": "urn:law:std#Decimal"
          }
        }
      ]
    },
    {
      "conclusion": {
        "comprehension": {
          "distinct": true,
          "element": {
            "kind": "var",
            "var": "v0"
          },
          "generator": {
            "formula": {
              "args": [
                {
                  "id": "urn:case:phys:zadacha",
                  "kind": "entity_ref"
                },
                {
                  "kind": "var",
                  "var": "v0"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s"
            },
            "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:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 3. Числовое значение поданной скорости в километрах в час есть отношение величины к эталону километра в час"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#KmVChasEtalon",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "эталон километра в час: входная проверка единицы перевода (ст. 2-3)"
        }
      ],
      "name": "KmVChasEtalon",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [],
      "symbolKind": "constant",
      "value": {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Quantity"
        },
        "unit": "km_per_h",
        "value": "1"
      }
    },
    {
      "id": "urn:phys:clir:zadachnik#OtvetPerevodVMs",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 13. Скорость, переведённая в метры в секунду, — вычисленный ответ задачи о переводе"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#PerevodVMetrySekundu",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 3. Скорость в метрах в секунду есть перевод поданной скорости: точный фактор пять восемнадцатых вычисляется из объявлений единиц"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#Zadacha",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
        }
      ],
      "name": "Zadacha",
      "package": "urn:phys:clir:zadachnik"
    },
    {
      "id": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "числовое значение поданной скорости в километрах в час: отношение величины к эталону (ст. 2-3)"
        }
      ],
      "name": "chislovoe_znachenie_skorosti_km_h",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#chislovoe_znachenie_skorosti_km_h/arg/n",
          "labels": [],
          "name": "n",
          "type": {
            "name": "urn:law:std#Decimal"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#perevesti_v_m_s",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "дано: скорость в километрах в час, которую требуется выразить в метрах в секунду"
        }
      ],
      "name": "perevesti_v_m_s",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#perevesti_v_m_s/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#perevesti_v_m_s/arg/v",
          "labels": [],
          "name": "v",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "скорость, выраженная в метрах в секунду переводом ст. 3"
        }
      ],
      "name": "skorost_perevedena_v_m_s",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#skorost_perevedena_v_m_s/arg/v",
          "labels": [],
          "name": "v",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#vychislennyy_otvet",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "ответ задачи, вычисленный по настоящему задачнику (ст. 13)"
        }
      ],
      "name": "vychislennyy_otvet",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/x",
          "labels": [],
          "name": "x",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 12,
      "fragments": [
        "urn:phys:clir:zadachnik#PHYS_ART13",
        "urn:phys:clir:zadachnik#PHYS_ART3"
      ],
      "jurisdiction": "none",
      "namespace": "urn:phys:clir:zadachnik",
      "package": "phys-zadachnik",
      "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
    },
    {
      "contributed": false,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:law:units:si",
      "package": "units-si",
      "title": "units-si"
    }
  ],
  "caseHash": "sha256:dd571a8b64668e960f3332f32b24e95bd7edb86e75acc2ac42563a2371eebce3",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
  "resultHash": "sha256:91f07f86e43fdd2c4d9a25bb734521f56c01ffd552584bc910f8246647dc23c2",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:4eff7b957603b1485b32536595076faa0c0c106b35518db73a9154ee2dfd4f32

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "km_per_h",
          "value": "72"
        }
      ],
      "predicate": "perevesti_v_m_s"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "skorost_perevedena_v_m_s",
  "proof": true
}

Перевод выполнен операцией с точным фактором: результат остаётся величиной с единицей м/с, а не безразмерным числом.

Collection

Масса железного бруска объёмом 200 см³

Context date 2026-08-31

Calculation result

1560 g

Elements
масса тела, вычисленная по ст. 5 из плотности и объёма
1560 g

Original data · JSON

[
  {
    "kind": "value",
    "type": {
      "name": "urn:law:std#Quantity"
    },
    "unit": "g",
    "value": "1560"
  }
]

Input parameters

What we are finding

масса тела, вычисленная по ст. 5 из плотности и объёма

zadacha

Input facts

задача задачника: единица решебника, к которой отнесены данные и ответ
z: zadacha
Subject shared by the facts below
тело задачи состоит из названного вещества таблицы
v: железо
дано: объём тела известного вещества
vo: 200 cm3

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        "Zhelezo"
      ],
      "predicate": "telo_iz"
    },
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "cm3",
          "value": "200"
        }
      ],
      "predicate": "dano_obyom_tela"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "massa_vychislena",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path4 steps

1
тело задачи состоит из названного вещества таблицы
z: urn:case:phys:zadacha; v: железо
case fact
2
дано: объём тела известного вещества
z: urn:case:phys:zadacha; vo: 200 cm3
case fact
3
Ст. 5 и 11. Масса тела из железа: табличная плотность, названная своей единицей на месте, умноженная на объём
1560 g = 7.8 g_per_cm3 × 200 cm3
art. 5, art. 11
- parameterplotnost-zheleza · r-1 · sha256:e9e7220f351c…
Identifier
urn:phys:clir:zadachnik#MassaTelaIzZheleza
rule
4
Query evaluation
Records found: 1
query

verified by the engine: 2 · case fact: 2 · Full graph: 5 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 5 и 11. Масса тела из железа: табличная плотность, названная своей единицей на месте, умноженная на объём
Identifier
urn:phys:clir:zadachnik#MassaTelaIzZheleza

Other rules in the evaluation1

Applied in the overall evaluation, but not on the proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 13. Вычисленная масса — ответ задачи о массе
Identifier
urn:phys:clir:zadachnik#OtvetMassa

Derived result for this query

масса тела, вычисленная по ст. 5 из плотности и объёма
z: zadacham: 1560

Other derived facts1

ответ задачи, вычисленный по настоящему задачнику (ст. 13)
z: zadachax: 1560

масса тела, вычисленная по ст. 5 из плотности и объёма
z	m
zadacha	1560

ответ задачи, вычисленный по настоящему задачнику (ст. 13)
z	x
zadacha	1560

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 5 · assertion 2, rule_application 2, query_evaluation 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Identifier
Zhelezo
Type
entity_ref

Type

literal

Polarity

positive

Condition

telo_iz

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

assertion · urn:proof:assert:urn:mcp:case#fact-2

attributes

assertion: fact-2

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
cm3
value
200

Type

literal

Polarity

positive

Condition

dano_obyom_tela

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6

attributes

a3Selections

a3Kind
parameter-row
dataset
plotnost-zheleza
datasetHash
sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62
row
r-1

functionCalls

branchPath
—
definition
PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1/definition
function
PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1
provenance
- attributes
  a3Kind
  parameter-row
  dataset
  plotnost-zheleza
  datasetHash
  sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62
  row
  r-1
  relation
  was_derived_from
  target
  r-1
sourceAnchors
- PHYS_ART11
branchPath
- then
definition
PlotnostZhelezaGSm3/definition
function
PlotnostZhelezaGSm3
provenance
- attributes
  a3Kind
  parameter-dataset
  datasetHash
  sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62
  relation
  was_derived_from
  target
  plotnost-zheleza
sourceAnchors
—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
g
value
1560

Type

literal

Polarity

positive

Condition

massa_vychislena

evidence

—

Identifier

a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6

Type

rule_application

Premises

fact-1
fact-2

Rule

MassaTelaIzZheleza

sourceAnchors

PHYS_ART11
PHYS_ART5

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

cm3

value

200

rule_application · urn:proof:apply:OtvetMassa:1b5241d84516e9c2fe29a1a7a2a5bb898f9af61ad2dfe9ecd6b36230d7d274b9

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
g
value
1560

Type

literal

Polarity

positive

Condition

vychislennyy_otvet

evidence

—

Identifier

1b5241d84516e9c2fe29a1a7a2a5bb898f9af61ad2dfe9ecd6b36230d7d274b9

Type

rule_application

Premises

a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6

Rule

OtvetMassa

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

1560

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Yes

element

Type: var
var: v0

generator

formula

Arguments

Identifier
zadacha
Type
entity_ref
Type
var
var
v0

Type

literal

Polarity

positive

Condition

massa_vychislena

Type

status

Calculation status

established

Type

comprehension

variable

Identifier: v0

count

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "massa_vychislena(urn:case:phys:zadacha, 1560)",
    "vychislennyy_otvet(urn:case:phys:zadacha, 1560)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "id": "urn:phys:clir:zadachnik#Zhelezo",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#telo_iz"
          },
          "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:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "cm3",
                "value": "200"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dano_obyom_tela"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "a3Selections": [
              {
                "a3Kind": "parameter-row",
                "dataset": "urn:phys:clir:zadachnik:param:plotnost-zheleza",
                "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62",
                "row": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
              }
            ],
            "functionCalls": [
              {
                "branchPath": [],
                "definition": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1/definition",
                "function": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-row",
                      "dataset": "urn:phys:clir:zadachnik:param:plotnost-zheleza",
                      "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62",
                      "row": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
                  }
                ],
                "sourceAnchors": [
                  "urn:phys:clir:zadachnik#PHYS_ART11"
                ]
              },
              {
                "branchPath": [
                  "then"
                ],
                "definition": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/definition",
                "function": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-dataset",
                      "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:plotnost-zheleza"
                  }
                ],
                "sourceAnchors": []
              }
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "g",
                "value": "1560"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
          },
          "evidence": [],
          "id": "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:phys:clir:zadachnik#MassaTelaIzZheleza",
          "sourceAnchors": [
            "urn:phys:clir:zadachnik#PHYS_ART11",
            "urn:phys:clir:zadachnik#PHYS_ART5"
          ],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "cm3",
              "value": "200"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "g",
                "value": "1560"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
          },
          "evidence": [],
          "id": "urn:proof:apply:OtvetMassa:1b5241d84516e9c2fe29a1a7a2a5bb898f9af61ad2dfe9ecd6b36230d7d274b9",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6"
          ],
          "rule": "urn:phys:clir:zadachnik#OtvetMassa",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "g",
              "value": "1560"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:case:phys:zadacha",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:efeb8d27ae01bddf6ec96867c505f6159eac737ae32c94b5f606f7010bc8c130",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:07c5b8e6638614ed8fb856da173fc21051615d4cefb7bcdc3788215d598599ab",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:phys:clir:zadachnik#MassaTelaIzZheleza",
    "urn:phys:clir:zadachnik#OtvetMassa"
  ]
}

SourcesExcerpts: 3

Article 11

Статья 11. Табличные данные Плотности веществ, в граммах на кубический сантиметр: вода — 1; лёд — 0,9; алюминий — 2,7; железо — 7,8. Удельные теплоёмкости веществ, в джоулях на килограмм-градус: вода — 4200; лёд — 2100. Табличное значение считается точным. Количество теплоты, выраженное в джоулях, численно равно произведению числовых значений удельной теплоёмкости вещества, массы тела в килограммах и изменения температуры в градусах. Задача 11.1. Найти количество теплоты для нагревания 2 kg воды на 10 градусов. Ответ: 84000 J. Задача 11.2. Найти количество теплоты для нагревания 2 kg льда на 5 градусов. Ответ: 21000 J.

Original data · JSON

{
  "contentHash": "sha256:de92b7300791349b419928d49c47d82620c07f0761d6ac747286a6bb153b47e2",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:1efe220f414c48acd6cdb079bcc8c62275aea76f885a5ebbfdfbfee2293c373b",
      "language": "ru",
      "status": "official",
      "text": "Статья 11. Табличные данные\n\nПлотности веществ, в граммах на кубический сантиметр: вода — 1; лёд — 0,9;\nалюминий — 2,7; железо — 7,8.\n\nУдельные теплоёмкости веществ, в джоулях на килограмм-градус: вода — 4200;\nлёд — 2100.\n\nТабличное значение считается точным. Количество теплоты, выраженное в\nджоулях, численно равно произведению числовых значений удельной теплоёмкости\nвещества, массы тела в килограммах и изменения температуры в градусах.\n\nЗадача 11.1. Найти количество теплоты для нагревания 2 kg воды на 10\nградусов. Ответ: 84000 J.\n\nЗадача 11.2. Найти количество теплоты для нагревания 2 kg льда на 5\nградусов. Ответ: 21000 J."
    }
  ]
}

Article 13

Статья 13. Проверка ответа Ответ ученика верен, когда он равен вычисленному по настоящему задачнику ответу той же задачи в той же единице. Ответ, расходящийся с вычисленным, объявляется расхождением с указанием обоих значений. Ответ в другой единице ответом не является, пока не переведён по статье 3: сравнение величин разных единиц несопоставимо по статье 2. Задача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен. Задача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ: неверен — расхождение с вычисленным путём 300 m.

Original data · JSON

{
  "contentHash": "sha256:7814519c9e1b1881e0f1bb88fc4c2c816b23743418bb7263f3066ccdda49dc8e",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:b19fc66543ae07fbde5b0bf06ed10f49e6cdcc2956595878ae366b0be62b7148",
      "language": "ru",
      "status": "official",
      "text": "Статья 13. Проверка ответа\n\nОтвет ученика верен, когда он равен вычисленному по настоящему задачнику\nответу той же задачи в той же единице. Ответ, расходящийся с вычисленным,\nобъявляется расхождением с указанием обоих значений. Ответ в другой единице\nответом не является, пока не переведён по статье 3: сравнение величин разных\nединиц несопоставимо по статье 2.\n\nЗадача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен.\n\nЗадача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ:\nневерен — расхождение с вычисленным путём 300 m."
    }
  ]
}

Article 5

Статья 5. Плотность Плотность вещества, выраженная в граммах на кубический сантиметр, численно равна частному числовых значений массы в граммах и объёма в кубических сантиметрах. Масса тела в граммах численно равна произведению числового значения плотности его вещества в граммах на кубический сантиметр на числовое значение объёма в кубических сантиметрах. Плотности веществ берутся из таблицы статьи 11. Задача 5.1. Найти массу железного бруска объёмом 200 cm3. Ответ: 1560 g. Задача 5.2. Тело массой 27 g занимает объём 10 cm3. Найти плотность вещества и назвать вещество по таблице статьи 11. Ответ: 2,7 грамма на кубический сантиметр; алюминий. Задача 5.3. Найти массу воды объёмом 500 cm3. Ответ: 500 g.

Original data · JSON

{
  "contentHash": "sha256:f87815512d41f4eb44eb3077454e82ce7e9436a4a07b200e8f68f699b08fa95a",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:d2e6eb1aecffadf79cbc8874a19867d949d91633b73aba3cddbcba5f44488ca0",
      "language": "ru",
      "status": "official",
      "text": "Статья 5. Плотность\n\nПлотность вещества, выраженная в граммах на кубический сантиметр, численно\nравна частному числовых значений массы в граммах и объёма в кубических\nсантиметрах. Масса тела в граммах численно равна произведению числового\nзначения плотности его вещества в граммах на кубический сантиметр на\nчисловое значение объёма в кубических сантиметрах. Плотности веществ берутся\nиз таблицы статьи 11.\n\nЗадача 5.1. Найти массу железного бруска объёмом 200 cm3. Ответ: 1560 g.\n\nЗадача 5.2. Тело массой 27 g занимает объём 10 cm3. Найти плотность вещества\nи назвать вещество по таблице статьи 11. Ответ: 2,7 грамма на кубический\nсантиметр; алюминий.\n\nЗадача 5.3. Найти массу воды объёмом 500 cm3. Ответ: 500 g."
    }
  ]
}

Packages in the snapshot

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
units-si

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 1. Значения ?v0: 1560 g Выведено правом: massa_vychislena(urn:case:phys:zadacha, 1560); vychislennyy_otvet(urn:case:phys:zadacha, 1560) Применены правила: MassaTelaIzZheleza, OtvetMassa Право (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…) Вместе с актами: units-si proof-граф: 5 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "count": 1,
    "elements": [
      {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Quantity"
        },
        "unit": "g",
        "value": "1560"
      }
    ],
    "evaluationStatus": "COMPUTED",
    "kind": "COLLECTION",
    "missingInputs": [],
    "variable": "v0"
  },
  "closedEditionRules": [],
  "derived": [
    "massa_vychislena(urn:case:phys:zadacha, 1560)",
    "vychislennyy_otvet(urn:case:phys:zadacha, 1560)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "id": "urn:phys:clir:zadachnik#Zhelezo",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#telo_iz"
          },
          "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:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "cm3",
                "value": "200"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dano_obyom_tela"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "a3Selections": [
              {
                "a3Kind": "parameter-row",
                "dataset": "urn:phys:clir:zadachnik:param:plotnost-zheleza",
                "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62",
                "row": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
              }
            ],
            "functionCalls": [
              {
                "branchPath": [],
                "definition": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1/definition",
                "function": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-row",
                      "dataset": "urn:phys:clir:zadachnik:param:plotnost-zheleza",
                      "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62",
                      "row": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
                  }
                ],
                "sourceAnchors": [
                  "urn:phys:clir:zadachnik#PHYS_ART11"
                ]
              },
              {
                "branchPath": [
                  "then"
                ],
                "definition": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/definition",
                "function": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-dataset",
                      "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:plotnost-zheleza"
                  }
                ],
                "sourceAnchors": []
              }
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "g",
                "value": "1560"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
          },
          "evidence": [],
          "id": "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:phys:clir:zadachnik#MassaTelaIzZheleza",
          "sourceAnchors": [
            "urn:phys:clir:zadachnik#PHYS_ART11",
            "urn:phys:clir:zadachnik#PHYS_ART5"
          ],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "cm3",
              "value": "200"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "g",
                "value": "1560"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
          },
          "evidence": [],
          "id": "urn:proof:apply:OtvetMassa:1b5241d84516e9c2fe29a1a7a2a5bb898f9af61ad2dfe9ecd6b36230d7d274b9",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6"
          ],
          "rule": "urn:phys:clir:zadachnik#OtvetMassa",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "g",
              "value": "1560"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:case:phys:zadacha",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:efeb8d27ae01bddf6ec96867c505f6159eac737ae32c94b5f606f7010bc8c130",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:07c5b8e6638614ed8fb856da173fc21051615d4cefb7bcdc3788215d598599ab",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 12,
        "fragments": [
          "urn:phys:clir:zadachnik#PHYS_ART11",
          "urn:phys:clir:zadachnik#PHYS_ART13",
          "urn:phys:clir:zadachnik#PHYS_ART5"
        ],
        "jurisdiction": "none",
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys-zadachnik",
        "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
      },
      {
        "contributed": false,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:law:units:si",
        "package": "units-si",
        "title": "units-si"
      }
    ],
    "caseHash": "sha256:804adced8fb43250e582a6d34fb82801a736bdf479c6e82ec456806c2f94ce47",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
    "resultHash": "sha256:07c5b8e6638614ed8fb856da173fc21051615d4cefb7bcdc3788215d598599ab",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:phys:clir:zadachnik#MassaTelaIzZheleza",
    "urn:phys:clir:zadachnik#OtvetMassa"
  ],
  "signature": {
    "constants": {},
    "element": {
      "index": 1,
      "type": {
        "name": "urn:law:std#Quantity"
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "z",
        "type": {
          "name": "urn:phys:clir:zadachnik#Zadacha"
        }
      },
      {
        "labels": [],
        "name": "m",
        "type": {
          "name": "urn:law:std#Quantity"
        }
      }
    ],
    "predicate": "urn:phys:clir:zadachnik#massa_vychislena",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:law:std#Quantity": {
        "kind": "std"
      },
      "urn:phys:clir:zadachnik#Zadacha": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
          }
        ],
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys.zadachnik"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:804adced8fb43250e582a6d34fb82801a736bdf479c6e82ec456806c2f94ce47\",\"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:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:a533751406d993cb0f1c5568237ce3bd9d7802a1a24e2c001bdd719f107f564d\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"id\":\"urn:phys:clir:zadachnik#Zhelezo\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#telo_iz\"},\"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:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"cm3\",\"value\":\"200\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#dano_obyom_tela\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"a3Selections\":[{\"a3Kind\":\"parameter-row\",\"dataset\":\"urn:phys:clir:zadachnik:param:plotnost-zheleza\",\"datasetHash\":\"sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62\",\"row\":\"urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1\"}],\"functionCalls\":[{\"branchPath\":[],\"definition\":\"urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1/definition\",\"function\":\"urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1\",\"provenance\":[{\"attributes\":{\"a3Kind\":\"parameter-row\",\"dataset\":\"urn:phys:clir:zadachnik:param:plotnost-zheleza\",\"datasetHash\":\"sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62\",\"row\":\"urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1\"},\"relation\":\"was_derived_from\",\"target\":\"urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1\"}],\"sourceAnchors\":[\"urn:phys:clir:zadachnik#PHYS_ART11\"]},{\"branchPath\":[\"then\"],\"definition\":\"urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/definition\",\"function\":\"urn:phys:clir:zadachnik#PlotnostZhelezaGSm3\",\"provenance\":[{\"attributes\":{\"a3Kind\":\"parameter-dataset\",\"datasetHash\":\"sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62\"},\"relation\":\"was_derived_from\",\"target\":\"urn:phys:clir:zadachnik:param:plotnost-zheleza\"}],\"sourceAnchors\":[]}]},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"g\",\"value\":\"1560\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#massa_vychislena\"},\"evidence\":[],\"id\":\"urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:phys:clir:zadachnik#MassaTelaIzZheleza\",\"sourceAnchors\":[\"urn:phys:clir:zadachnik#PHYS_ART11\",\"urn:phys:clir:zadachnik#PHYS_ART5\"],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"cm3\",\"value\":\"200\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"g\",\"value\":\"1560\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetMassa:1b5241d84516e9c2fe29a1a7a2a5bb898f9af61ad2dfe9ecd6b36230d7d274b9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetMassa\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"g\",\"value\":\"1560\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#massa_vychislena\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:efeb8d27ae01bddf6ec96867c505f6159eac737ae32c94b5f606f7010bc8c130\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:07c5b8e6638614ed8fb856da173fc21051615d4cefb7bcdc3788215d598599ab\",\"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\":\"COLLECTION\",\"sourceAnchors\":[],\"value\":[{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"g\",\"value\":\"1560\"}]}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:04824e6ff30867eb15f331fc0fbd371f878c96422fb0804cdeed1c7de4854a75",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "id": "urn:phys:clir:zadachnik#Zhelezo",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#telo_iz"
          },
          "origin": "case_input",
          "package": "urn:phys:clir:zadachnik"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "cm3",
                "value": "200"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dano_obyom_tela"
          },
          "origin": "case_input",
          "package": "urn:phys:clir:zadachnik"
        }
      ],
      "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:15dee3a5312c1b7b196d2e681128156ae379871acc86b66406906c2f55fa0f19",
      "kind": "world_ref",
      "nodeCount": 503,
      "packages": [
        {
          "artifactHash": "sha256:21686faaa1467b817015bf5fc09aafe8ebe64a15c6b16e6862bea7257e68cb52",
          "namespace": "urn:phys:clir:zadachnik",
          "package": "phys-zadachnik",
          "semanticHash": "sha256:0769ec4270dd2bf1bca8cff6744dfc872f04907ac3f46130d5f3043b8a1c5889"
        },
        {
          "artifactHash": "sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c",
          "namespace": "urn:law:units:si",
          "package": "units-si",
          "semanticHash": "sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"
        }
      ],
      "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633"
    },
    "query": {
      "comprehension": {
        "distinct": true,
        "element": {
          "kind": "var",
          "var": "v0"
        },
        "generator": {
          "formula": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "var",
                "var": "v0"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
          },
          "kind": "status",
          "status": "established"
        },
        "kind": "comprehension",
        "variable": {
          "id": "v0"
        }
      },
      "kind": "collect",
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:184fc1f9d890fcdd87daca42fcdfd57710f8012115bef6080bbf1f335e97f5e4"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:184fc1f9d890fcdd87daca42fcdfd57710f8012115bef6080bbf1f335e97f5e4"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "id": "urn:phys:clir:zadachnik#Zhelezo",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#telo_iz"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "cm3",
            "value": "200"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#dano_obyom_tela"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-2",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "attributes": {
        "a3Selections": [
          {
            "a3Kind": "parameter-row",
            "dataset": "urn:phys:clir:zadachnik:param:plotnost-zheleza",
            "datasetHash": "sha256:e9e7220f351c115ceeb63f8068242c06882f82d9dc5a5fa9a39d346cc45a0a62",
            "row": "urn:phys:clir:zadachnik:param:plotnost-zheleza#r-1"
          }
        ],
        "functionCalls": [
          {
            "definition": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1/definition",
            "function": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1",
            "value": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Decimal"
              },
              "value": "7.8"
            }
          },
          {
            "definition": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/definition",
            "function": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3"
          }
        ]
      },
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "g",
            "value": "1560"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "args": [
              {
                "kind": "binary",
                "left": {
                  "args": [
                    {
                      "args": [
                        {
                          "id": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3",
                          "kind": "const_ref"
                        },
                        {
                          "kind": "value",
                          "type": {
                            "name": "urn:law:std#Text"
                          },
                          "value": "g_per_cm3"
                        }
                      ],
                      "function": "urn:law:std#with_unit",
                      "kind": "call"
                    }
                  ],
                  "function": "urn:law:std#magnitude",
                  "kind": "call"
                },
                "op": "mul",
                "right": {
                  "args": [
                    {
                      "kind": "var",
                      "var": "v1"
                    }
                  ],
                  "function": "urn:law:std#magnitude",
                  "kind": "call"
                }
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Text"
                },
                "value": "g"
              }
            ],
            "function": "urn:law:std#quantity_of",
            "kind": "call"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
      },
      "id": "urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2"
      ],
      "rule": "urn:phys:clir:zadachnik#MassaTelaIzZheleza",
      "sourceAnchors": [
        "urn:phys:clir:zadachnik#PHYS_ART5",
        "urn:phys:clir:zadachnik#PHYS_ART11"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:phys:zadacha",
          "kind": "entity_ref"
        },
        "v1": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "cm3",
          "value": "200"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ]
    },
    {
      "conclusion": {
        "comprehension": {
          "distinct": true,
          "element": {
            "kind": "var",
            "var": "v0"
          },
          "generator": {
            "formula": {
              "args": [
                {
                  "id": "urn:case:phys:zadacha",
                  "kind": "entity_ref"
                },
                {
                  "kind": "var",
                  "var": "v0"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:phys:clir:zadachnik#massa_vychislena"
            },
            "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:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:phys:clir:zadachnik#MassaTelaIzZheleza",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 5 и 11. Масса тела из железа: табличная плотность, названная своей единицей на месте, умноженная на объём"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#OtvetMassa",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 13. Вычисленная масса — ответ задачи о массе"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Статья 11. Плотность железа, граммов на кубический сантиметр"
        }
      ],
      "name": "PlotnostZhelezaGSm3",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/arg/legal_time",
          "labels": [],
          "name": "legal_time",
          "type": {
            "name": "urn:law:std#Date"
          }
        }
      ],
      "symbolKind": "function"
    },
    {
      "id": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/definition",
      "kind": "function_decl",
      "labels": [],
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "v0",
          "labels": [],
          "type": {
            "name": "urn:law:std#Date"
          }
        }
      ]
    },
    {
      "id": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Статья 11. Плотность железа, граммов на кубический сантиметр"
        }
      ],
      "name": "value_urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [],
      "symbolKind": "function"
    },
    {
      "id": "urn:phys:clir:zadachnik#PlotnostZhelezaGSm3/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Aplotnost-zheleza%23r-1/definition",
      "kind": "function_decl",
      "labels": [],
      "package": "urn:phys:clir:zadachnik",
      "parameters": []
    },
    {
      "id": "urn:phys:clir:zadachnik#Veshchestvo",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "вещество из таблицы статьи 11"
        }
      ],
      "name": "Veshchestvo",
      "package": "urn:phys:clir:zadachnik"
    },
    {
      "id": "urn:phys:clir:zadachnik#Zadacha",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
        }
      ],
      "name": "Zadacha",
      "package": "urn:phys:clir:zadachnik"
    },
    {
      "id": "urn:phys:clir:zadachnik#Zhelezo",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "железо"
        }
      ],
      "name": "Zhelezo",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:phys:clir:zadachnik#dano_obyom_tela",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "дано: объём тела известного вещества"
        }
      ],
      "name": "dano_obyom_tela",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#dano_obyom_tela/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#dano_obyom_tela/arg/vo",
          "labels": [],
          "name": "vo",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#massa_vychislena",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "масса тела, вычисленная по ст. 5 из плотности и объёма"
        }
      ],
      "name": "massa_vychislena",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#massa_vychislena/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#massa_vychislena/arg/m",
          "labels": [],
          "name": "m",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#telo_iz",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "тело задачи состоит из названного вещества таблицы"
        }
      ],
      "name": "telo_iz",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#telo_iz/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#telo_iz/arg/v",
          "labels": [],
          "name": "v",
          "type": {
            "name": "urn:phys:clir:zadachnik#Veshchestvo"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#vychislennyy_otvet",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "ответ задачи, вычисленный по настоящему задачнику (ст. 13)"
        }
      ],
      "name": "vychislennyy_otvet",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/x",
          "labels": [],
          "name": "x",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 12,
      "fragments": [
        "urn:phys:clir:zadachnik#PHYS_ART11",
        "urn:phys:clir:zadachnik#PHYS_ART13",
        "urn:phys:clir:zadachnik#PHYS_ART5"
      ],
      "jurisdiction": "none",
      "namespace": "urn:phys:clir:zadachnik",
      "package": "phys-zadachnik",
      "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
    },
    {
      "contributed": false,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:law:units:si",
      "package": "units-si",
      "title": "units-si"
    }
  ],
  "caseHash": "sha256:804adced8fb43250e582a6d34fb82801a736bdf479c6e82ec456806c2f94ce47",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
  "resultHash": "sha256:07c5b8e6638614ed8fb856da173fc21051615d4cefb7bcdc3788215d598599ab",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:04824e6ff30867eb15f331fc0fbd371f878c96422fb0804cdeed1c7de4854a75

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        "Zhelezo"
      ],
      "predicate": "telo_iz"
    },
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "cm3",
          "value": "200"
        }
      ],
      "predicate": "dano_obyom_tela"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "massa_vychislena",
  "proof": true
}

Плотность железа взята из таблицы задачника как нормативное значение и названа в основаниях; масса выведена умножением.

Collection

Теплота нагрева 2 кг воды на 10 °C

Context date 2026-08-31

Calculation result

84000 J

Elements
количество теплоты, вычисленное по ст. 11
84000 J

Original data · JSON

[
  {
    "kind": "value",
    "type": {
      "name": "urn:law:std#Quantity"
    },
    "unit": "J",
    "value": "84000"
  }
]

Input parameters

What we are finding

количество теплоты, вычисленное по ст. 11

zadacha

Input facts

задача задачника: единица решебника, к которой отнесены данные и ответ
z: zadacha
Subject shared by the facts below
тело задачи состоит из названного вещества таблицы
v: вода
дано: масса нагреваемого тела и изменение его температуры числом градусов
m: 2 kgdt: 10.0

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        "Voda"
      ],
      "predicate": "telo_iz"
    },
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "kg",
          "value": "2"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Decimal"
          },
          "value": "10.0"
        }
      ],
      "predicate": "nagrev_tela"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "teplota_vychislena",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path4 steps

1
тело задачи состоит из названного вещества таблицы
z: urn:case:phys:zadacha; v: вода
case fact
2
дано: масса нагреваемого тела и изменение его температуры числом градусов
z: urn:case:phys:zadacha; m: 2 kg; dt: 10
case fact
3
Ст. 11. Количество теплоты для воды: удельная теплоёмкость на массу и на изменение температуры — джоуль выводится из трёх единиц
84000 J = 4200 J_per_kg_K × 2 kg × 10 K
art. 11
- parameterteployomkost-vody · r-1 · sha256:2cbbd27103e0…
Identifier
urn:phys:clir:zadachnik#TeplotaNagrevaVody
rule
4
Query evaluation
Records found: 1
query

verified by the engine: 2 · case fact: 2 · Full graph: 5 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 11. Количество теплоты для воды: удельная теплоёмкость на массу и на изменение температуры — джоуль выводится из трёх единиц
Identifier
urn:phys:clir:zadachnik#TeplotaNagrevaVody

Other rules in the evaluation1

Applied in the overall evaluation, but not on the proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 13. Вычисленное количество теплоты — ответ задачи о теплоте
Identifier
urn:phys:clir:zadachnik#OtvetTeplota

Derived result for this query

количество теплоты, вычисленное по ст. 11
z: zadachaq: 84000

Other derived facts1

ответ задачи, вычисленный по настоящему задачнику (ст. 13)
z: zadachax: 84000

количество теплоты, вычисленное по ст. 11
z	q
zadacha	84000

ответ задачи, вычисленный по настоящему задачнику (ст. 13)
z	x
zadacha	84000

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 5 · assertion 2, rule_application 2, query_evaluation 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Identifier
Voda
Type
entity_ref

Type

literal

Polarity

positive

Condition

telo_iz

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

assertion · urn:proof:assert:urn:mcp:case#fact-2

attributes

assertion: fact-2

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
kg
value
2
Type
value
type
name
Decimal
value
10

Type

literal

Polarity

positive

Condition

nagrev_tela

evidence

—

Identifier

fact-2

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716

attributes

a3Selections

a3Kind
parameter-row
dataset
teployomkost-vody
datasetHash
sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563
row
r-1

functionCalls

branchPath
—
definition
UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1/definition
function
UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1
provenance
- attributes
  a3Kind
  parameter-row
  dataset
  teployomkost-vody
  datasetHash
  sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563
  row
  r-1
  relation
  was_derived_from
  target
  r-1
sourceAnchors
- PHYS_ART11
branchPath
- then
definition
UdelnayaTeployomkostVodyDzhKgGrad/definition
function
UdelnayaTeployomkostVodyDzhKgGrad
provenance
- attributes
  a3Kind
  parameter-dataset
  datasetHash
  sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563
  relation
  was_derived_from
  target
  teployomkost-vody
sourceAnchors
—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
J
value
84000

Type

literal

Polarity

positive

Condition

teplota_vychislena

evidence

—

Identifier

410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716

Type

rule_application

Premises

fact-1
fact-2

Rule

TeplotaNagrevaVody

sourceAnchors

PHYS_ART11

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

Type

value

type

name: Decimal

value

rule_application · urn:proof:apply:OtvetTeplota:31dc0daffe0e84990a0523d8e96d2437ea62f1f5feb71f23db5d1c114aa7cf9b

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
J
value
84000

Type

literal

Polarity

positive

Condition

vychislennyy_otvet

evidence

—

Identifier

31dc0daffe0e84990a0523d8e96d2437ea62f1f5feb71f23db5d1c114aa7cf9b

Type

rule_application

Premises

410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716

Rule

OtvetTeplota

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

84000

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

comprehension

distinct

Yes

element

Type: var
var: v0

generator

formula

Arguments

Identifier
zadacha
Type
entity_ref
Type
var
var
v0

Type

literal

Polarity

positive

Condition

teplota_vychislena

Type

status

Calculation status

established

Type

comprehension

variable

Identifier: v0

count

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "teplota_vychislena(urn:case:phys:zadacha, 84000)",
    "vychislennyy_otvet(urn:case:phys:zadacha, 84000)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "id": "urn:phys:clir:zadachnik#Voda",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#telo_iz"
          },
          "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:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "kg",
                "value": "2"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "10"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#nagrev_tela"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "a3Selections": [
              {
                "a3Kind": "parameter-row",
                "dataset": "urn:phys:clir:zadachnik:param:teployomkost-vody",
                "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563",
                "row": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
              }
            ],
            "functionCalls": [
              {
                "branchPath": [],
                "definition": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1/definition",
                "function": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-row",
                      "dataset": "urn:phys:clir:zadachnik:param:teployomkost-vody",
                      "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563",
                      "row": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
                  }
                ],
                "sourceAnchors": [
                  "urn:phys:clir:zadachnik#PHYS_ART11"
                ]
              },
              {
                "branchPath": [
                  "then"
                ],
                "definition": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/definition",
                "function": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-dataset",
                      "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:teployomkost-vody"
                  }
                ],
                "sourceAnchors": []
              }
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "84000"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
          },
          "evidence": [],
          "id": "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:phys:clir:zadachnik#TeplotaNagrevaVody",
          "sourceAnchors": [
            "urn:phys:clir:zadachnik#PHYS_ART11"
          ],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "kg",
              "value": "2"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Decimal"
              },
              "value": "10"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "84000"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
          },
          "evidence": [],
          "id": "urn:proof:apply:OtvetTeplota:31dc0daffe0e84990a0523d8e96d2437ea62f1f5feb71f23db5d1c114aa7cf9b",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716"
          ],
          "rule": "urn:phys:clir:zadachnik#OtvetTeplota",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "84000"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:case:phys:zadacha",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:152a6a855c03ea13654b73fd129b99e92c23c95d96e450ba676d71c599c1bc0a",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:d918a700b6c4ff4f99d1e48d73405a83dc080ecac4770e4b45dd5496f6303c2d",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:phys:clir:zadachnik#OtvetTeplota",
    "urn:phys:clir:zadachnik#TeplotaNagrevaVody"
  ]
}

SourcesExcerpts: 2

Article 11

Статья 11. Табличные данные Плотности веществ, в граммах на кубический сантиметр: вода — 1; лёд — 0,9; алюминий — 2,7; железо — 7,8. Удельные теплоёмкости веществ, в джоулях на килограмм-градус: вода — 4200; лёд — 2100. Табличное значение считается точным. Количество теплоты, выраженное в джоулях, численно равно произведению числовых значений удельной теплоёмкости вещества, массы тела в килограммах и изменения температуры в градусах. Задача 11.1. Найти количество теплоты для нагревания 2 kg воды на 10 градусов. Ответ: 84000 J. Задача 11.2. Найти количество теплоты для нагревания 2 kg льда на 5 градусов. Ответ: 21000 J.

Original data · JSON

{
  "contentHash": "sha256:de92b7300791349b419928d49c47d82620c07f0761d6ac747286a6bb153b47e2",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:1efe220f414c48acd6cdb079bcc8c62275aea76f885a5ebbfdfbfee2293c373b",
      "language": "ru",
      "status": "official",
      "text": "Статья 11. Табличные данные\n\nПлотности веществ, в граммах на кубический сантиметр: вода — 1; лёд — 0,9;\nалюминий — 2,7; железо — 7,8.\n\nУдельные теплоёмкости веществ, в джоулях на килограмм-градус: вода — 4200;\nлёд — 2100.\n\nТабличное значение считается точным. Количество теплоты, выраженное в\nджоулях, численно равно произведению числовых значений удельной теплоёмкости\nвещества, массы тела в килограммах и изменения температуры в градусах.\n\nЗадача 11.1. Найти количество теплоты для нагревания 2 kg воды на 10\nградусов. Ответ: 84000 J.\n\nЗадача 11.2. Найти количество теплоты для нагревания 2 kg льда на 5\nградусов. Ответ: 21000 J."
    }
  ]
}

Article 13

Статья 13. Проверка ответа Ответ ученика верен, когда он равен вычисленному по настоящему задачнику ответу той же задачи в той же единице. Ответ, расходящийся с вычисленным, объявляется расхождением с указанием обоих значений. Ответ в другой единице ответом не является, пока не переведён по статье 3: сравнение величин разных единиц несопоставимо по статье 2. Задача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен. Задача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ: неверен — расхождение с вычисленным путём 300 m.

Original data · JSON

{
  "contentHash": "sha256:7814519c9e1b1881e0f1bb88fc4c2c816b23743418bb7263f3066ccdda49dc8e",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:b19fc66543ae07fbde5b0bf06ed10f49e6cdcc2956595878ae366b0be62b7148",
      "language": "ru",
      "status": "official",
      "text": "Статья 13. Проверка ответа\n\nОтвет ученика верен, когда он равен вычисленному по настоящему задачнику\nответу той же задачи в той же единице. Ответ, расходящийся с вычисленным,\nобъявляется расхождением с указанием обоих значений. Ответ в другой единице\nответом не является, пока не переведён по статье 3: сравнение величин разных\nединиц несопоставимо по статье 2.\n\nЗадача 13.1. К задаче 4.1 ученик дал ответ 300 m. Верен ли он? Ответ: верен.\n\nЗадача 13.2. К задаче 4.1 ученик дал ответ 250 m. Верен ли он? Ответ:\nневерен — расхождение с вычисленным путём 300 m."
    }
  ]
}

Packages in the snapshot

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
units-si

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 1. Значения ?v0: 84000 J Выведено правом: teplota_vychislena(urn:case:phys:zadacha, 84000); vychislennyy_otvet(urn:case:phys:zadacha, 84000) Применены правила: OtvetTeplota, TeplotaNagrevaVody Право (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…) Вместе с актами: units-si proof-граф: 5 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "count": 1,
    "elements": [
      {
        "kind": "value",
        "type": {
          "name": "urn:law:std#Quantity"
        },
        "unit": "J",
        "value": "84000"
      }
    ],
    "evaluationStatus": "COMPUTED",
    "kind": "COLLECTION",
    "missingInputs": [],
    "variable": "v0"
  },
  "closedEditionRules": [],
  "derived": [
    "teplota_vychislena(urn:case:phys:zadacha, 84000)",
    "vychislennyy_otvet(urn:case:phys:zadacha, 84000)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "id": "urn:phys:clir:zadachnik#Voda",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#telo_iz"
          },
          "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:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "kg",
                "value": "2"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "10"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#nagrev_tela"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-2",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {
            "a3Selections": [
              {
                "a3Kind": "parameter-row",
                "dataset": "urn:phys:clir:zadachnik:param:teployomkost-vody",
                "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563",
                "row": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
              }
            ],
            "functionCalls": [
              {
                "branchPath": [],
                "definition": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1/definition",
                "function": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-row",
                      "dataset": "urn:phys:clir:zadachnik:param:teployomkost-vody",
                      "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563",
                      "row": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
                  }
                ],
                "sourceAnchors": [
                  "urn:phys:clir:zadachnik#PHYS_ART11"
                ]
              },
              {
                "branchPath": [
                  "then"
                ],
                "definition": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/definition",
                "function": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad",
                "provenance": [
                  {
                    "attributes": {
                      "a3Kind": "parameter-dataset",
                      "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563"
                    },
                    "relation": "was_derived_from",
                    "target": "urn:phys:clir:zadachnik:param:teployomkost-vody"
                  }
                ],
                "sourceAnchors": []
              }
            ]
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "84000"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
          },
          "evidence": [],
          "id": "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1",
            "urn:proof:assert:urn:mcp:case#fact-2"
          ],
          "rule": "urn:phys:clir:zadachnik#TeplotaNagrevaVody",
          "sourceAnchors": [
            "urn:phys:clir:zadachnik#PHYS_ART11"
          ],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "kg",
              "value": "2"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Decimal"
              },
              "value": "10"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "84000"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vychislennyy_otvet"
          },
          "evidence": [],
          "id": "urn:proof:apply:OtvetTeplota:31dc0daffe0e84990a0523d8e96d2437ea62f1f5feb71f23db5d1c114aa7cf9b",
          "kind": "rule_application",
          "premises": [
            "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716"
          ],
          "rule": "urn:phys:clir:zadachnik#OtvetTeplota",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "84000"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "comprehension": {
              "distinct": true,
              "element": {
                "kind": "var",
                "var": "v0"
              },
              "generator": {
                "formula": {
                  "args": [
                    {
                      "id": "urn:case:phys:zadacha",
                      "kind": "entity_ref"
                    },
                    {
                      "kind": "var",
                      "var": "v0"
                    }
                  ],
                  "kind": "literal",
                  "polarity": "positive",
                  "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
                },
                "kind": "status",
                "status": "established"
              },
              "kind": "comprehension",
              "variable": {
                "id": "v0"
              }
            },
            "count": 1
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:152a6a855c03ea13654b73fd129b99e92c23c95d96e450ba676d71c599c1bc0a",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:d918a700b6c4ff4f99d1e48d73405a83dc080ecac4770e4b45dd5496f6303c2d",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 12,
        "fragments": [
          "urn:phys:clir:zadachnik#PHYS_ART11",
          "urn:phys:clir:zadachnik#PHYS_ART13"
        ],
        "jurisdiction": "none",
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys-zadachnik",
        "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
      },
      {
        "contributed": false,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:law:units:si",
        "package": "units-si",
        "title": "units-si"
      }
    ],
    "caseHash": "sha256:d0e7deaf9856850605ec06ccf1b4b3d3d352364a1bfee5c75e543a25f7ef05c9",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
    "resultHash": "sha256:d918a700b6c4ff4f99d1e48d73405a83dc080ecac4770e4b45dd5496f6303c2d",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:phys:clir:zadachnik#OtvetTeplota",
    "urn:phys:clir:zadachnik#TeplotaNagrevaVody"
  ],
  "signature": {
    "constants": {},
    "element": {
      "index": 1,
      "type": {
        "name": "urn:law:std#Quantity"
      }
    },
    "parameters": [
      {
        "labels": [],
        "name": "z",
        "type": {
          "name": "urn:phys:clir:zadachnik#Zadacha"
        }
      },
      {
        "labels": [],
        "name": "q",
        "type": {
          "name": "urn:law:std#Quantity"
        }
      }
    ],
    "predicate": "urn:phys:clir:zadachnik#teplota_vychislena",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:law:std#Quantity": {
        "kind": "std"
      },
      "urn:phys:clir:zadachnik#Zadacha": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
          }
        ],
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys.zadachnik"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:d0e7deaf9856850605ec06ccf1b4b3d3d352364a1bfee5c75e543a25f7ef05c9\",\"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:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:f20b77b4cded371a9854a9c34055c820f5936e4a3832d3ac4ad3afeb1b7cf38f\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"id\":\"urn:phys:clir:zadachnik#Voda\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#telo_iz\"},\"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:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"kg\",\"value\":\"2\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"10\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#nagrev_tela\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"a3Selections\":[{\"a3Kind\":\"parameter-row\",\"dataset\":\"urn:phys:clir:zadachnik:param:teployomkost-vody\",\"datasetHash\":\"sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563\",\"row\":\"urn:phys:clir:zadachnik:param:teployomkost-vody#r-1\"}],\"functionCalls\":[{\"branchPath\":[],\"definition\":\"urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1/definition\",\"function\":\"urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1\",\"provenance\":[{\"attributes\":{\"a3Kind\":\"parameter-row\",\"dataset\":\"urn:phys:clir:zadachnik:param:teployomkost-vody\",\"datasetHash\":\"sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563\",\"row\":\"urn:phys:clir:zadachnik:param:teployomkost-vody#r-1\"},\"relation\":\"was_derived_from\",\"target\":\"urn:phys:clir:zadachnik:param:teployomkost-vody#r-1\"}],\"sourceAnchors\":[\"urn:phys:clir:zadachnik#PHYS_ART11\"]},{\"branchPath\":[\"then\"],\"definition\":\"urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/definition\",\"function\":\"urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad\",\"provenance\":[{\"attributes\":{\"a3Kind\":\"parameter-dataset\",\"datasetHash\":\"sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563\"},\"relation\":\"was_derived_from\",\"target\":\"urn:phys:clir:zadachnik:param:teployomkost-vody\"}],\"sourceAnchors\":[]}]},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"84000\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#teplota_vychislena\"},\"evidence\":[],\"id\":\"urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:phys:clir:zadachnik#TeplotaNagrevaVody\",\"sourceAnchors\":[\"urn:phys:clir:zadachnik#PHYS_ART11\"],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"kg\",\"value\":\"2\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"10\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"84000\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetTeplota:31dc0daffe0e84990a0523d8e96d2437ea62f1f5feb71f23db5d1c114aa7cf9b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetTeplota\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"84000\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#teplota_vychislena\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:152a6a855c03ea13654b73fd129b99e92c23c95d96e450ba676d71c599c1bc0a\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:d918a700b6c4ff4f99d1e48d73405a83dc080ecac4770e4b45dd5496f6303c2d\",\"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\":\"COLLECTION\",\"sourceAnchors\":[],\"value\":[{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"84000\"}]}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:f4a16cad0276e2bddb16cb0c29868469ee243f0ec0e65219734f1b44929e546c",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "id": "urn:phys:clir:zadachnik#Voda",
                "kind": "const_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#telo_iz"
          },
          "origin": "case_input",
          "package": "urn:phys:clir:zadachnik"
        },
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-2",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "kg",
                "value": "2"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "10.0"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#nagrev_tela"
          },
          "origin": "case_input",
          "package": "urn:phys:clir:zadachnik"
        }
      ],
      "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:15dee3a5312c1b7b196d2e681128156ae379871acc86b66406906c2f55fa0f19",
      "kind": "world_ref",
      "nodeCount": 503,
      "packages": [
        {
          "artifactHash": "sha256:21686faaa1467b817015bf5fc09aafe8ebe64a15c6b16e6862bea7257e68cb52",
          "namespace": "urn:phys:clir:zadachnik",
          "package": "phys-zadachnik",
          "semanticHash": "sha256:0769ec4270dd2bf1bca8cff6744dfc872f04907ac3f46130d5f3043b8a1c5889"
        },
        {
          "artifactHash": "sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c",
          "namespace": "urn:law:units:si",
          "package": "units-si",
          "semanticHash": "sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"
        }
      ],
      "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633"
    },
    "query": {
      "comprehension": {
        "distinct": true,
        "element": {
          "kind": "var",
          "var": "v0"
        },
        "generator": {
          "formula": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "var",
                "var": "v0"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
          },
          "kind": "status",
          "status": "established"
        },
        "kind": "comprehension",
        "variable": {
          "id": "v0"
        }
      },
      "kind": "collect",
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:4d2b855444c0cf7446b962d658ca8d3df8c2dc63f8188162513ebaad48dadac8"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:4d2b855444c0cf7446b962d658ca8d3df8c2dc63f8188162513ebaad48dadac8"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "id": "urn:phys:clir:zadachnik#Voda",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#telo_iz"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "kg",
            "value": "2"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Decimal"
            },
            "value": "10"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#nagrev_tela"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-2",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "attributes": {
        "a3Selections": [
          {
            "a3Kind": "parameter-row",
            "dataset": "urn:phys:clir:zadachnik:param:teployomkost-vody",
            "datasetHash": "sha256:2cbbd27103e0719eef21589d46254cd0c09d9717b34b4b76b36bda40787fe563",
            "row": "urn:phys:clir:zadachnik:param:teployomkost-vody#r-1"
          }
        ],
        "functionCalls": [
          {
            "definition": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1/definition",
            "function": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1",
            "value": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Decimal"
              },
              "value": "4200"
            }
          },
          {
            "definition": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/definition",
            "function": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad"
          }
        ]
      },
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "J",
            "value": "84000"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          },
          {
            "args": [
              {
                "kind": "binary",
                "left": {
                  "kind": "binary",
                  "left": {
                    "args": [
                      {
                        "args": [
                          {
                            "id": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad",
                            "kind": "const_ref"
                          },
                          {
                            "kind": "value",
                            "type": {
                              "name": "urn:law:std#Text"
                            },
                            "value": "J_per_kg_K"
                          }
                        ],
                        "function": "urn:law:std#with_unit",
                        "kind": "call"
                      }
                    ],
                    "function": "urn:law:std#magnitude",
                    "kind": "call"
                  },
                  "op": "mul",
                  "right": {
                    "args": [
                      {
                        "kind": "var",
                        "var": "v1"
                      }
                    ],
                    "function": "urn:law:std#magnitude",
                    "kind": "call"
                  }
                },
                "op": "mul",
                "right": {
                  "args": [
                    {
                      "args": [
                        {
                          "kind": "var",
                          "var": "v2"
                        },
                        {
                          "kind": "value",
                          "type": {
                            "name": "urn:law:std#Text"
                          },
                          "value": "K"
                        }
                      ],
                      "function": "urn:law:std#with_unit",
                      "kind": "call"
                    }
                  ],
                  "function": "urn:law:std#magnitude",
                  "kind": "call"
                }
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Text"
                },
                "value": "J"
              }
            ],
            "function": "urn:law:std#quantity_of",
            "kind": "call"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
      },
      "id": "urn:proof:apply:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1",
        "urn:proof:assert:urn:mcp:case#fact-2"
      ],
      "rule": "urn:phys:clir:zadachnik#TeplotaNagrevaVody",
      "sourceAnchors": [
        "urn:phys:clir:zadachnik#PHYS_ART11"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:phys:zadacha",
          "kind": "entity_ref"
        },
        "v1": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "kg",
          "value": "2"
        },
        "v2": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Decimal"
          },
          "value": "10"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        },
        {
          "id": "v2",
          "type": {
            "name": "urn:law:std#Decimal"
          }
        }
      ]
    },
    {
      "conclusion": {
        "comprehension": {
          "distinct": true,
          "element": {
            "kind": "var",
            "var": "v0"
          },
          "generator": {
            "formula": {
              "args": [
                {
                  "id": "urn:case:phys:zadacha",
                  "kind": "entity_ref"
                },
                {
                  "kind": "var",
                  "var": "v0"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:phys:clir:zadachnik#teplota_vychislena"
            },
            "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:TeplotaNagrevaVody:410f74b0778bbd8f8ab9ac571573237558bac82fc42da1bf00f29a96d685d716"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:phys:clir:zadachnik#OtvetTeplota",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 13. Вычисленное количество теплоты — ответ задачи о теплоте"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#TeplotaNagrevaVody",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 11. Количество теплоты для воды: удельная теплоёмкость на массу и на изменение температуры — джоуль выводится из трёх единиц"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Статья 11. Удельная теплоёмкость воды, джоулей на килограмм-градус"
        }
      ],
      "name": "UdelnayaTeployomkostVodyDzhKgGrad",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/arg/legal_time",
          "labels": [],
          "name": "legal_time",
          "type": {
            "name": "urn:law:std#Date"
          }
        }
      ],
      "symbolKind": "function"
    },
    {
      "id": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/definition",
      "kind": "function_decl",
      "labels": [],
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "v0",
          "labels": [],
          "type": {
            "name": "urn:law:std#Date"
          }
        }
      ]
    },
    {
      "id": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Статья 11. Удельная теплоёмкость воды, джоулей на килограмм-градус"
        }
      ],
      "name": "value_urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [],
      "symbolKind": "function"
    },
    {
      "id": "urn:phys:clir:zadachnik#UdelnayaTeployomkostVodyDzhKgGrad/value/urn%3Aphys%3Aclir%3Azadachnik%3Aparam%3Ateployomkost-vody%23r-1/definition",
      "kind": "function_decl",
      "labels": [],
      "package": "urn:phys:clir:zadachnik",
      "parameters": []
    },
    {
      "id": "urn:phys:clir:zadachnik#Veshchestvo",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "вещество из таблицы статьи 11"
        }
      ],
      "name": "Veshchestvo",
      "package": "urn:phys:clir:zadachnik"
    },
    {
      "id": "urn:phys:clir:zadachnik#Voda",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "вода"
        }
      ],
      "name": "Voda",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [],
      "symbolKind": "constant"
    },
    {
      "id": "urn:phys:clir:zadachnik#Zadacha",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
        }
      ],
      "name": "Zadacha",
      "package": "urn:phys:clir:zadachnik"
    },
    {
      "id": "urn:phys:clir:zadachnik#nagrev_tela",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "дано: масса нагреваемого тела и изменение его температуры числом градусов"
        }
      ],
      "name": "nagrev_tela",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#nagrev_tela/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#nagrev_tela/arg/m",
          "labels": [],
          "name": "m",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#nagrev_tela/arg/dt",
          "labels": [],
          "name": "dt",
          "type": {
            "name": "urn:law:std#Decimal"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#telo_iz",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "тело задачи состоит из названного вещества таблицы"
        }
      ],
      "name": "telo_iz",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#telo_iz/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#telo_iz/arg/v",
          "labels": [],
          "name": "v",
          "type": {
            "name": "urn:phys:clir:zadachnik#Veshchestvo"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#teplota_vychislena",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "количество теплоты, вычисленное по ст. 11"
        }
      ],
      "name": "teplota_vychislena",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#teplota_vychislena/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#teplota_vychislena/arg/q",
          "labels": [],
          "name": "q",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#vychislennyy_otvet",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "ответ задачи, вычисленный по настоящему задачнику (ст. 13)"
        }
      ],
      "name": "vychislennyy_otvet",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#vychislennyy_otvet/arg/x",
          "labels": [],
          "name": "x",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 12,
      "fragments": [
        "urn:phys:clir:zadachnik#PHYS_ART11",
        "urn:phys:clir:zadachnik#PHYS_ART13"
      ],
      "jurisdiction": "none",
      "namespace": "urn:phys:clir:zadachnik",
      "package": "phys-zadachnik",
      "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
    },
    {
      "contributed": false,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:law:units:si",
      "package": "units-si",
      "title": "units-si"
    }
  ],
  "caseHash": "sha256:d0e7deaf9856850605ec06ccf1b4b3d3d352364a1bfee5c75e543a25f7ef05c9",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
  "resultHash": "sha256:d918a700b6c4ff4f99d1e48d73405a83dc080ecac4770e4b45dd5496f6303c2d",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:f4a16cad0276e2bddb16cb0c29868469ee243f0ec0e65219734f1b44929e546c

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha",
    {
      "kind": "var",
      "var": "v0"
    }
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        "Voda"
      ],
      "predicate": "telo_iz"
    },
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "kg",
          "value": "2"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Decimal"
          },
          "value": "10.0"
        }
      ],
      "predicate": "nagrev_tela"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "teplota_vychislena",
  "proof": true
}

Теплоёмкость воды взята из таблицы; формула Q = c·m·Δt применена к величине с единицей и безразмерной разности температур.

Condition

Полезная работа 600 Дж при затраченной 500 Дж: вечный двигатель

Context date 2026-08-31

Calculation result

Established

Input parameters

What we are finding

механизм совершает полезной работы больше затраченной — вечный двигатель (ст. 10)

zadacha

Input facts

дано: полезная и затраченная работы механизма
z: zadachaap: 600 Jaz: 500 J

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha"
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "J",
          "value": "600"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "J",
          "value": "500"
        }
      ],
      "predicate": "dany_raboty"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "vechnyy_dvigatel",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path3 steps

1
дано: полезная и затраченная работы механизма
z: urn:case:phys:zadacha; ap: 600 J; az: 500 J
case fact
2
Ст. 10. Полезная работа превышает затраченную — такой механизм был бы вечным двигателем
механизм совершает полезной работы больше затраченной — вечный двигатель (ст. 10): z: urn:case:phys:zadacha
art. 10
Identifier
urn:phys:clir:zadachnik#VechnyyDvigatel
rule
3
Query evaluation
query

verified by the engine: 2 · case fact: 1 · Full graph: 6 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 10. Полезная работа превышает затраченную — такой механизм был бы вечным двигателем
Identifier
urn:phys:clir:zadachnik#VechnyyDvigatel

Other rules in the evaluation3

Applied in the overall evaluation, but not on the proof path for this answer.

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина

Ст. 10. Данные, из которых выходит вечный двигатель, противоречивы
Identifier
urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya
Ст. 10. Коэффициент полезного действия есть отношение полезной работы к затраченной — деление величин одной единицы, частное безразмерно
Identifier
urn:phys:clir:zadachnik#Kpd
Ст. 12. Частное КПД, записанное до сотых половиной вверх
Identifier
urn:phys:clir:zadachnik#KpdDoSotykh

Derived result for this query

механизм совершает полезной работы больше затраченной — вечный двигатель (ст. 10)
z: zadacha

Other derived facts3

задача задачника: единица решебника, к которой отнесены данные и ответ
z: zadacha
Subject shared by the facts below
данные задачи противоречивы: решение не подгоняется, противоречие объявляется (ст. 9 и 10)
коэффициент полезного действия: отношение полезной работы к затраченной, безразмерное частное (ст. 10)
k: 1.2
коэффициент полезного действия, округлённый до сотых половиной вверх (ст. 12)
k: 1.2

данные задачи противоречивы: решение не подгоняется, противоречие объявляется (ст. 9 и 10)
z
zadacha

коэффициент полезного действия: отношение полезной работы к затраченной, безразмерное частное (ст. 10)
z	k
zadacha	1.2

коэффициент полезного действия, округлённый до сотых половиной вверх (ст. 12)
z	k
zadacha	1.2

механизм совершает полезной работы больше затраченной — вечный двигатель (ст. 10)
z
zadacha

0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Proof graph · 3 layer

Proof nodes: 6 · assertion 1, rule_application 4, query_evaluation 1

assertion · urn:proof:assert:urn:mcp:case#fact-1

attributes

assertion: fact-1

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Quantity
Time unit
J
value
600
Type
value
type
name
Quantity
Time unit
J
value
500

Type

literal

Polarity

positive

Condition

dany_raboty

evidence

—

Identifier

fact-1

Type

assertion

Premises

—

sourceAnchors

—

rule_application · urn:proof:apply:DannyeVechnogoDvigatelya:50f53e93cfbac7d84697671141b82731d214110a7f590755142dc7e78d1772e9

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref

Type

literal

Polarity

positive

Condition

dannye_protivorechivy

evidence

—

Identifier

50f53e93cfbac7d84697671141b82731d214110a7f590755142dc7e78d1772e9

Type

rule_application

Premises

fact-1

Rule

DannyeVechnogoDvigatelya

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

600

Type

value

type

name: Quantity

Time unit

value

500

rule_application · urn:proof:apply:Kpd:28651b74f60c9429bcbdfe3fe4ec422f888e0e517a46ee1ac4e9865295aa2f81

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Decimal
value
1.2

Type

literal

Polarity

positive

Condition

kpd_vychislen

evidence

—

Identifier

28651b74f60c9429bcbdfe3fe4ec422f888e0e517a46ee1ac4e9865295aa2f81

Type

rule_application

Premises

fact-1

Rule

Kpd

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

600

Type

value

type

name: Quantity

Time unit

value

500

rule_application · urn:proof:apply:KpdDoSotykh:b0fa8791b1f5386588c3dbaa4e3b95d9f04afbf0fc9dea7060ae668894c552a1

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref
Type
value
type
name
Decimal
value
1.2

Type

literal

Polarity

positive

Condition

kpd_do_sotykh

evidence

—

Identifier

b0fa8791b1f5386588c3dbaa4e3b95d9f04afbf0fc9dea7060ae668894c552a1

Type

rule_application

Premises

fact-1

Rule

KpdDoSotykh

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

600

Type

value

type

name: Quantity

Time unit

value

500

rule_application · urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230

attributes

—

conclusion

Arguments

Identifier
zadacha
Type
entity_ref

Type

literal

Polarity

positive

Condition

vechnyy_dvigatel

evidence

—

Identifier

0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230

Type

rule_application

Premises

fact-1

Rule

VechnyyDvigatel

sourceAnchors

—

substitution

Identifier: zadacha
Type: entity_ref

Type

value

type

name: Quantity

Time unit

value

600

Type

value

type

name: Quantity

Time unit

value

500

query_evaluation · urn:proof:query:mcp

attributes

—

conclusion

literal

Arguments

Identifier
zadacha
Type
entity_ref

Type

literal

Polarity

positive

Condition

vechnyy_dvigatel

truthStatus

Established

evidence

—

Identifier

mcp

Type

query_evaluation

Premises

0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230

sourceAnchors

—

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

{
  "derived": [
    "dannye_protivorechivy(urn:case:phys:zadacha)",
    "kpd_vychislen(urn:case:phys:zadacha, 1.2)",
    "kpd_do_sotykh(urn:case:phys:zadacha, 1.2)",
    "vechnyy_dvigatel(urn:case:phys:zadacha)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "600"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "500"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dany_raboty"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dannye_protivorechivy"
          },
          "evidence": [],
          "id": "urn:proof:apply:DannyeVechnogoDvigatelya:50f53e93cfbac7d84697671141b82731d214110a7f590755142dc7e78d1772e9",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "1.2"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#kpd_vychislen"
          },
          "evidence": [],
          "id": "urn:proof:apply:Kpd:28651b74f60c9429bcbdfe3fe4ec422f888e0e517a46ee1ac4e9865295aa2f81",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#Kpd",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "1.2"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#kpd_do_sotykh"
          },
          "evidence": [],
          "id": "urn:proof:apply:KpdDoSotykh:b0fa8791b1f5386588c3dbaa4e3b95d9f04afbf0fc9dea7060ae668894c552a1",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#KpdDoSotykh",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
          },
          "evidence": [],
          "id": "urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#VechnyyDvigatel",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:case:phys:zadacha",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:eda38d4096895af6d85475ae71c5dac2489d45b1d48b368de4b135885849cf0c",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:5cdc8a8d573f8a5b2067b75e0a079895fa6e44013982b4714a71136b90b2d162",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya",
    "urn:phys:clir:zadachnik#Kpd",
    "urn:phys:clir:zadachnik#KpdDoSotykh",
    "urn:phys:clir:zadachnik#VechnyyDvigatel"
  ]
}

SourcesExcerpts: 2

Article 10

Статья 10. Коэффициент полезного действия Коэффициент полезного действия механизма есть отношение полезной работы к затраченной. Обе работы выражаются в джоулях; частное безразмерно. Коэффициент полезного действия не превышает единицы: механизм, совершающий полезной работы больше затраченной, — вечный двигатель, и данные задачи, из которых он выходит, противоречивы. Задача 10.1. Полезная работа 300 J, затраченная 500 J. Найти коэффициент полезного действия. Ответ: 0,6. Задача 10.2. Полезная работа 1 J, затраченная 3 J. Найти коэффициент полезного действия точно. Ответ: одна треть, точной дробью — десятичной записи это частное не имеет. Задача 10.3. В условии названы полезная работа 600 J и затраченная 500 J. Найти коэффициент полезного действия. Ответ: данные противоречивы — полезная работа превышает затраченную, такой механизм был бы вечным двигателем.

Original data · JSON

{
  "contentHash": "sha256:d1349fad6eca0d99bc3d9b09d8852f56eaf014aeb2879e018982579d6d77f15b",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:719652eb1cc5ad729fbea1839393652d8f2622a1b3da2c2178032962900c021f",
      "language": "ru",
      "status": "official",
      "text": "Статья 10. Коэффициент полезного действия\n\nКоэффициент полезного действия механизма есть отношение полезной работы к\nзатраченной. Обе работы выражаются в джоулях; частное безразмерно.\nКоэффициент полезного действия не превышает единицы: механизм, совершающий\nполезной работы больше затраченной, — вечный двигатель, и данные задачи, из\nкоторых он выходит, противоречивы.\n\nЗадача 10.1. Полезная работа 300 J, затраченная 500 J. Найти коэффициент\nполезного действия. Ответ: 0,6.\n\nЗадача 10.2. Полезная работа 1 J, затраченная 3 J. Найти коэффициент\nполезного действия точно. Ответ: одна треть, точной дробью — десятичной\nзаписи это частное не имеет.\n\nЗадача 10.3. В условии названы полезная работа 600 J и затраченная 500 J.\nНайти коэффициент полезного действия. Ответ: данные противоречивы — полезная\nработа превышает затраченную, такой механизм был бы вечным двигателем."
    }
  ]
}

Article 12

Статья 12. Округление и значащие цифры Где условие задачи называет точность ответа, частное округляется до названного десятичного знака по правилу половины вверх: половина и более округляется от нуля, менее половины — отбрасывается. Округлённый ответ записывается со словом «приближённо». Ответ не записывается точнее данных задачи: в ответе удерживается не больше значащих цифр, чем в наименее точном из данных, если условие не назвало точность прямо. Задача 12.1. Энергию 100 J разделить поровну между тремя приёмниками; ответ — до сотых джоуля. Ответ: приближённо 33,33 J. Задача 12.2. Записать частное одной трети до сотых. Ответ: приближённо 0,33.

Original data · JSON

{
  "contentHash": "sha256:e58b7c73dad938b1da340f4c18626b9af8897b1e95fc906b719655266cba3298",
  "edition": "urn:phys:clir:zadachnik#PHYS_RU",
  "fragmentKind": "article",
  "id": "urn:phys:clir:zadachnik#PHYS_ART12",
  "kind": "fragment",
  "locator": "article/12",
  "package": "urn:phys:clir:zadachnik",
  "texts": [
    {
      "contentHash": "sha256:0d119aa26e8869499ab0e9bce9142cee2c8d809902c0eb63f4e2e5def3df676f",
      "language": "ru",
      "status": "official",
      "text": "Статья 12. Округление и значащие цифры\n\nГде условие задачи называет точность ответа, частное округляется до\nназванного десятичного знака по правилу половины вверх: половина и более\nокругляется от нуля, менее половины — отбрасывается. Округлённый ответ\nзаписывается со словом «приближённо». Ответ не записывается точнее данных\nзадачи: в ответе удерживается не больше значащих цифр, чем в наименее\nточном из данных, если условие не назвало точность прямо.\n\nЗадача 12.1. Энергию 100 J разделить поровну между тремя приёмниками;\nответ — до сотых джоуля. Ответ: приближённо 33,33 J.\n\nЗадача 12.2. Записать частное одной трети до сотых. Ответ: приближённо 0,33."
    }
  ]
}

Packages in the snapshot

Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1
units-si

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

vechnyy_dvigatel: TRUE_ONLY — установлено Выведено правом: dannye_protivorechivy(urn:case:phys:zadacha); kpd_vychislen(urn:case:phys:zadacha, 1.2); kpd_do_sotykh(urn:case:phys:zadacha, 1.2); vechnyy_dvigatel(urn:case:phys:zadacha) Применены правила: DannyeVechnogoDvigatelya, Kpd, KpdDoSotykh, VechnyyDvigatel Право (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…) Вместе с актами: units-si proof-граф: 6 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "dannye_protivorechivy(urn:case:phys:zadacha)",
    "kpd_vychislen(urn:case:phys:zadacha, 1.2)",
    "kpd_do_sotykh(urn:case:phys:zadacha, 1.2)",
    "vechnyy_dvigatel(urn:case:phys:zadacha)"
  ],
  "derivedOmitted": 0,
  "evaluation": {
    "proofGraph": {
      "nodes": [
        {
          "attributes": {
            "assertion": "urn:mcp:case#fact-1"
          },
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "600"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "500"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dany_raboty"
          },
          "evidence": [],
          "id": "urn:proof:assert:urn:mcp:case#fact-1",
          "kind": "assertion",
          "premises": [],
          "sourceAnchors": []
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dannye_protivorechivy"
          },
          "evidence": [],
          "id": "urn:proof:apply:DannyeVechnogoDvigatelya:50f53e93cfbac7d84697671141b82731d214110a7f590755142dc7e78d1772e9",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "1.2"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#kpd_vychislen"
          },
          "evidence": [],
          "id": "urn:proof:apply:Kpd:28651b74f60c9429bcbdfe3fe4ec422f888e0e517a46ee1ac4e9865295aa2f81",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#Kpd",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Decimal"
                },
                "value": "1.2"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#kpd_do_sotykh"
          },
          "evidence": [],
          "id": "urn:proof:apply:KpdDoSotykh:b0fa8791b1f5386588c3dbaa4e3b95d9f04afbf0fc9dea7060ae668894c552a1",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#KpdDoSotykh",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
          },
          "evidence": [],
          "id": "urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230",
          "kind": "rule_application",
          "premises": [
            "urn:proof:assert:urn:mcp:case#fact-1"
          ],
          "rule": "urn:phys:clir:zadachnik#VechnyyDvigatel",
          "sourceAnchors": [],
          "substitution": {
            "v0": {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            },
            "v1": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "600"
            },
            "v2": {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "J",
              "value": "500"
            }
          }
        },
        {
          "attributes": {},
          "conclusion": {
            "literal": {
              "args": [
                {
                  "id": "urn:case:phys:zadacha",
                  "kind": "entity_ref"
                }
              ],
              "kind": "literal",
              "polarity": "positive",
              "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
            },
            "truthStatus": "TRUE_ONLY"
          },
          "evidence": [],
          "id": "urn:proof:query:mcp",
          "kind": "query_evaluation",
          "premises": [
            "urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230"
          ],
          "sourceAnchors": []
        }
      ],
      "proofHash": "sha256:eda38d4096895af6d85475ae71c5dac2489d45b1d48b368de4b135885849cf0c",
      "roots": [
        "urn:proof:query:mcp"
      ]
    },
    "resultHash": "sha256:5cdc8a8d573f8a5b2067b75e0a079895fa6e44013982b4714a71136b90b2d162",
    "schemaVersion": "law.core.evaluation/0.1"
  },
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 12,
        "fragments": [
          "urn:phys:clir:zadachnik#PHYS_ART10",
          "urn:phys:clir:zadachnik#PHYS_ART12"
        ],
        "jurisdiction": "none",
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys-zadachnik",
        "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
      },
      {
        "contributed": false,
        "fragmentCount": 0,
        "fragments": [],
        "jurisdiction": null,
        "namespace": "urn:law:units:si",
        "package": "units-si",
        "title": "units-si"
      }
    ],
    "caseHash": "sha256:837f1c2e8c4829cb4203c12d56cbb5c2c780fd7152bd8121a99ac7d9e1a72d3b",
    "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-08-31",
    "mode": "audit",
    "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
    "resultHash": "sha256:5cdc8a8d573f8a5b2067b75e0a079895fa6e44013982b4714a71136b90b2d162",
    "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya",
    "urn:phys:clir:zadachnik#Kpd",
    "urn:phys:clir:zadachnik#KpdDoSotykh",
    "urn:phys:clir:zadachnik#VechnyyDvigatel"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "z",
        "type": {
          "name": "urn:phys:clir:zadachnik#Zadacha"
        }
      }
    ],
    "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:phys:clir:zadachnik#Zadacha": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
          }
        ],
        "namespace": "urn:phys:clir:zadachnik",
        "package": "phys.zadachnik"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": []
}

Execution · JSON

{
  "evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:837f1c2e8c4829cb4203c12d56cbb5c2c780fd7152bd8121a99ac7d9e1a72d3b\",\"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:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:acee1b0ba99a06cd7de32718b93234d26c8c1f11397d4025b1c2f9f53051167c\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"600\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#dany_raboty\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#dannye_protivorechivy\"},\"evidence\":[],\"id\":\"urn:proof:apply:DannyeVechnogoDvigatelya:50f53e93cfbac7d84697671141b82731d214110a7f590755142dc7e78d1772e9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"600\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"1.2\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#kpd_vychislen\"},\"evidence\":[],\"id\":\"urn:proof:apply:Kpd:28651b74f60c9429bcbdfe3fe4ec422f888e0e517a46ee1ac4e9865295aa2f81\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#Kpd\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"600\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Decimal\"},\"value\":\"1.2\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#kpd_do_sotykh\"},\"evidence\":[],\"id\":\"urn:proof:apply:KpdDoSotykh:b0fa8791b1f5386588c3dbaa4e3b95d9f04afbf0fc9dea7060ae668894c552a1\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#KpdDoSotykh\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"600\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vechnyy_dvigatel\"},\"evidence\":[],\"id\":\"urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#VechnyyDvigatel\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"600\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vechnyy_dvigatel\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:eda38d4096895af6d85475ae71c5dac2489d45b1d48b368de4b135885849cf0c\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:5cdc8a8d573f8a5b2067b75e0a079895fa6e44013982b4714a71136b90b2d162\",\"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:phys:clir:zadachnik#vechnyy_dvigatel\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}",
  "evaluationSha256": "sha256:807efd2c574802b02d81d4978449753e6e134d704bf60feb7dd6a40ec100bced",
  "request": {
    "case": {
      "assertions": [
        {
          "contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
          "evidence": [],
          "id": "urn:mcp:case#fact-1",
          "kind": "assertion",
          "literal": {
            "args": [
              {
                "id": "urn:case:phys:zadacha",
                "kind": "entity_ref"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "600"
              },
              {
                "kind": "value",
                "type": {
                  "name": "urn:law:std#Quantity"
                },
                "unit": "J",
                "value": "500"
              }
            ],
            "kind": "literal",
            "polarity": "positive",
            "predicate": "urn:phys:clir:zadachnik#dany_raboty"
          },
          "origin": "case_input",
          "package": "urn:phys:clir:zadachnik"
        }
      ],
      "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:15dee3a5312c1b7b196d2e681128156ae379871acc86b66406906c2f55fa0f19",
      "kind": "world_ref",
      "nodeCount": 503,
      "packages": [
        {
          "artifactHash": "sha256:21686faaa1467b817015bf5fc09aafe8ebe64a15c6b16e6862bea7257e68cb52",
          "namespace": "urn:phys:clir:zadachnik",
          "package": "phys-zadachnik",
          "semanticHash": "sha256:0769ec4270dd2bf1bca8cff6744dfc872f04907ac3f46130d5f3043b8a1c5889"
        },
        {
          "artifactHash": "sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c",
          "namespace": "urn:law:units:si",
          "package": "units-si",
          "semanticHash": "sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"
        }
      ],
      "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633"
    },
    "query": {
      "kind": "truth",
      "literal": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
      },
      "queryId": "urn:query:mcp"
    },
    "schemaVersion": "law.core.evaluation-request/0.2",
    "semanticVersion": "0.1.0"
  },
  "requestCanonicalSha256": "sha256:2fa1f2a2e76ba45468747dc5a75dda1163fe35680b06dcbcc93b8d6745fda816"
}

Display metadata

{
  "schemaVersion": "law.answers.presentation/0.1",
  "source": {
    "requestCanonicalSha256": "sha256:2fa1f2a2e76ba45468747dc5a75dda1163fe35680b06dcbcc93b8d6745fda816"
  },
  "steps": [
    {
      "assertionOrigin": "case_input",
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "J",
            "value": "600"
          },
          {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "J",
            "value": "500"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#dany_raboty"
      },
      "id": "urn:proof:assert:urn:mcp:case#fact-1",
      "kind": "assertion",
      "originStatus": "available",
      "premises": [],
      "trust": "case"
    },
    {
      "conclusion": {
        "args": [
          {
            "id": "urn:case:phys:zadacha",
            "kind": "entity_ref"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
      },
      "head": {
        "args": [
          {
            "kind": "var",
            "var": "v0"
          }
        ],
        "kind": "literal",
        "polarity": "positive",
        "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
      },
      "id": "urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230",
      "kind": "rule_application",
      "originStatus": "available",
      "premises": [
        "urn:proof:assert:urn:mcp:case#fact-1"
      ],
      "rule": "urn:phys:clir:zadachnik#VechnyyDvigatel",
      "sourceAnchors": [
        "urn:phys:clir:zadachnik#PHYS_ART10"
      ],
      "strength": "strict",
      "substitution": {
        "v0": {
          "id": "urn:case:phys:zadacha",
          "kind": "entity_ref"
        },
        "v1": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "J",
          "value": "600"
        },
        "v2": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "J",
          "value": "500"
        }
      },
      "trust": "engine",
      "variables": [
        {
          "id": "v0",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "v1",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        },
        {
          "id": "v2",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ]
    },
    {
      "conclusion": {
        "literal": {
          "args": [
            {
              "id": "urn:case:phys:zadacha",
              "kind": "entity_ref"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:phys:clir:zadachnik#vechnyy_dvigatel"
        },
        "truthStatus": "TRUE_ONLY"
      },
      "id": "urn:proof:query:mcp",
      "kind": "query_evaluation",
      "originStatus": "available",
      "premises": [
        "urn:proof:apply:VechnyyDvigatel:0ec62e53b50628fefb9f6344e3c655251a0937a07906d547d3508451181cc230"
      ],
      "trust": "engine"
    }
  ],
  "symbols": [
    {
      "id": "urn:phys:clir:zadachnik#DannyeVechnogoDvigatelya",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 10. Данные, из которых выходит вечный двигатель, противоречивы"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#Kpd",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 10. Коэффициент полезного действия есть отношение полезной работы к затраченной — деление величин одной единицы, частное безразмерно"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#KpdDoSotykh",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 12. Частное КПД, записанное до сотых половиной вверх"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#VechnyyDvigatel",
      "kind": "rule",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "Ст. 10. Полезная работа превышает затраченную — такой механизм был бы вечным двигателем"
        }
      ],
      "package": "urn:phys:clir:zadachnik",
      "strength": "strict"
    },
    {
      "id": "urn:phys:clir:zadachnik#Zadacha",
      "kind": "type_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "задача задачника: единица решебника, к которой отнесены данные и ответ"
        }
      ],
      "name": "Zadacha",
      "package": "urn:phys:clir:zadachnik"
    },
    {
      "id": "urn:phys:clir:zadachnik#dannye_protivorechivy",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "данные задачи противоречивы: решение не подгоняется, противоречие объявляется (ст. 9 и 10)"
        }
      ],
      "name": "dannye_protivorechivy",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#dannye_protivorechivy/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#dany_raboty",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "дано: полезная и затраченная работы механизма"
        }
      ],
      "name": "dany_raboty",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#dany_raboty/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#dany_raboty/arg/ap",
          "labels": [],
          "name": "ap",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#dany_raboty/arg/az",
          "labels": [],
          "name": "az",
          "type": {
            "name": "urn:law:std#Quantity"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#kpd_do_sotykh",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "коэффициент полезного действия, округлённый до сотых половиной вверх (ст. 12)"
        }
      ],
      "name": "kpd_do_sotykh",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#kpd_do_sotykh/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#kpd_do_sotykh/arg/k",
          "labels": [],
          "name": "k",
          "type": {
            "name": "urn:law:std#Decimal"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#kpd_vychislen",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "коэффициент полезного действия: отношение полезной работы к затраченной, безразмерное частное (ст. 10)"
        }
      ],
      "name": "kpd_vychislen",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#kpd_vychislen/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        },
        {
          "id": "urn:phys:clir:zadachnik#kpd_vychislen/arg/k",
          "labels": [],
          "name": "k",
          "type": {
            "name": "urn:law:std#Decimal"
          }
        }
      ],
      "symbolKind": "relation"
    },
    {
      "id": "urn:phys:clir:zadachnik#vechnyy_dvigatel",
      "kind": "symbol_decl",
      "labels": [
        {
          "language": "ru",
          "status": "unofficial",
          "text": "механизм совершает полезной работы больше затраченной — вечный двигатель (ст. 10)"
        }
      ],
      "name": "vechnyy_dvigatel",
      "package": "urn:phys:clir:zadachnik",
      "parameters": [
        {
          "id": "urn:phys:clir:zadachnik#vechnyy_dvigatel/arg/z",
          "labels": [],
          "name": "z",
          "type": {
            "name": "urn:phys:clir:zadachnik#Zadacha"
          }
        }
      ],
      "symbolKind": "relation"
    }
  ],
  "tables": []
}

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 12,
      "fragments": [
        "urn:phys:clir:zadachnik#PHYS_ART10",
        "urn:phys:clir:zadachnik#PHYS_ART12"
      ],
      "jurisdiction": "none",
      "namespace": "urn:phys:clir:zadachnik",
      "package": "phys-zadachnik",
      "title": "Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — вне юрисдикции государства — доктрина — EXECUTABLE 12 §33.1"
    },
    {
      "contributed": false,
      "fragmentCount": 0,
      "fragments": [],
      "jurisdiction": null,
      "namespace": "urn:law:units:si",
      "package": "units-si",
      "title": "units-si"
    }
  ],
  "caseHash": "sha256:837f1c2e8c4829cb4203c12d56cbb5c2c780fd7152bd8121a99ac7d9e1a72d3b",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633",
  "resultHash": "sha256:5cdc8a8d573f8a5b2067b75e0a079895fa6e44013982b4714a71136b90b2d162",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:807efd2c574802b02d81d4978449753e6e134d704bf60feb7dd6a40ec100bced

Original data · JSON

{
  "args": [
    "urn:case:phys:zadacha"
  ],
  "facts": [
    {
      "args": [
        "urn:case:phys:zadacha",
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "J",
          "value": "600"
        },
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "J",
          "value": "500"
        }
      ],
      "predicate": "dany_raboty"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "phys-zadachnik",
  "predicate": "vechnyy_dvigatel",
  "proof": true
}

Правило о вечном двигателе срабатывает на сравнении работ; параллельно выводится, что данные задачи противоречивы.

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“Школьный задачник: перевести 72 км/ч в м/с, найти массу железного бруска объёмом 200 см³, теплоту нагрева 2 кг воды на 10 °C и проверить, не получился ли вечный двигатель при полезной работе 600 Дж и затраченной 500 Дж.”. Arxo Lens, as of 2026-08-31. https://lens.arxo.io/a/a__f9hPWUUnZaDYZ4RG6ymfEHS. Snapshot SHA-256: f13e80b61dfad7690424e921cd8d62005802cc790d0c28cbfac589cd0371347c.

BibTeX

@misc{arxo-lens-a__f9hPWUUnZaD,
  title = {Школьный задачник: перевести 72 км/ч в м/с, найти массу железного бруска объёмом 200 см³, теплоту нагрева 2 кг воды на 10 °C и проверить, не получился ли вечный двигатель при полезной работе 600 Дж и затраченной 500 Дж.},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a__f9hPWUUnZaDYZ4RG6ymfEHS},
  note = {as of 2026-08-31; SHA-256 f13e80b61dfad7690424e921cd8d62005802cc790d0c28cbfac589cd0371347c}
}

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/a__f9hPWUUnZaDYZ4RG6ymfEHS?lang=en" width="100%" height="390" loading="lazy" title="School physics: unit conversion, density, heat and a — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.