{"assistant":{"explanations":[{"calculationRefs":["calc-1"],"text":"Перевод выполнен операцией с точным фактором: результат остаётся величиной с единицей м/с, а не безразмерным числом."},{"calculationRefs":["calc-2"],"text":"Плотность железа взята из таблицы задачника как нормативное значение и названа в основаниях; масса выведена умножением."},{"calculationRefs":["calc-3"],"text":"Теплоёмкость воды взята из таблицы; формула Q = c·m·Δt применена к величине с единицей и безразмерной разности температур."},{"calculationRefs":["calc-4"],"text":"Правило о вечном двигателе срабатывает на сравнении работ; параллельно выводится, что данные задачи противоречивы."}],"origin":"assistant","summary":"Перевод скорости идёт точным фактором 18/5, а не делением на 3,6: 72 км/ч дают ровно 20 м/с. Масса бруска берётся из табличной плотности железа 7,8 г/см³ и объёма: 1560 г. Теплота из табличной теплоёмкости воды 4200 Дж/(кг·°C): 84 000 Дж. КПД больше единицы задачник не считает: данные с полезной работой выше затраченной выводятся как вечный двигатель, а сами данные помечаются противоречивыми."},"calculations":[{"answer":{"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":{"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"},"id":"calc-1","kind":"collect","label":"72 км/ч в метрах в секунду","presentation":{"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":[]},"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"},"request":{"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},"sources":[{"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."}]},{"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. ЗАКОНЫ И ОПРЕДЕЛЕНИЯ"}]}],"text":"Найдено записей: 1.\nЗначения ?v0: 20 m_per_s\nВыведено правом: 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)\nПрименены правила: ChislovoeZnachenieSkorostiKmH, OtvetPerevodVMs, PerevodVMetrySekundu\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 5 узлов — поле evaluation готово для law_explain"},{"answer":{"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":{"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"},"id":"calc-2","kind":"collect","label":"Масса железного бруска объёмом 200 см³","presentation":{"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":[]},"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"},"request":{"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},"sources":[{"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."}]},{"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."}]},{"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."}]}],"text":"Найдено записей: 1.\nЗначения ?v0: 1560 g\nВыведено правом: massa_vychislena(urn:case:phys:zadacha, 1560); vychislennyy_otvet(urn:case:phys:zadacha, 1560)\nПрименены правила: MassaTelaIzZheleza, OtvetMassa\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 5 узлов — поле evaluation готово для law_explain"},{"answer":{"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":{"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"},"id":"calc-3","kind":"collect","label":"Теплота нагрева 2 кг воды на 10 °C","presentation":{"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":[]},"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"},"request":{"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},"sources":[{"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."}]},{"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."}]}],"text":"Найдено записей: 1.\nЗначения ?v0: 84000 J\nВыведено правом: teplota_vychislena(urn:case:phys:zadacha, 84000); vychislennyy_otvet(urn:case:phys:zadacha, 84000)\nПрименены правила: OtvetTeplota, TeplotaNagrevaVody\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 5 узлов — поле evaluation готово для law_explain"},{"answer":{"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":{"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"},"id":"calc-4","kind":"truth","label":"Полезная работа 600 Дж при затраченной 500 Дж: вечный двигатель","presentation":{"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":[]},"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"},"request":{"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},"sources":[{"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работа превышает затраченную, такой механизм был бы вечным двигателем."}]},{"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."}]}],"text":"vechnyy_dvigatel: **TRUE_ONLY** — установлено\nВыведено правом: 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)\nПрименены правила: DannyeVechnogoDvigatelya, Kpd, KpdDoSotykh, VechnyyDvigatel\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 6 узлов — поле evaluation готово для law_explain"}],"language":"ru","question":{"origin":"user","text":"Школьный задачник: перевести 72 км/ч в м/с, найти массу железного бруска объёмом 200 см³, теплоту нагрева 2 кг воды на 10 °C и проверить, не получился ли вечный двигатель при полезной работе 600 Дж и затраченной 500 Дж."},"schemaVersion":"law.answers.document/0.1"}