{"assistant":{"explanations":[{"calculationRefs":["perevod"],"text":"Перевод единицы — не деление числа: величина переводится вместе с тегом единицы."},{"calculationRefs":["massa"],"text":"Плотность железа взята из таблицы пакета как параметр, объём — из условия задачи."},{"calculationRefs":["napryazhenie"],"text":"Ток 2 А и сопротивление 6 Ом дают 12 В."},{"calculationRefs":["moshchnost"],"text":"Работа 600 Дж за 30 с — мощность 20 Вт."},{"calculationRefs":["protivorechie"],"text":"Названная полная энергия не сходится с суммой слагаемых, и это выведено как противоречие условия."},{"calculationRefs":["vechnyy"],"text":"Полезная работа больше затраченной: условие описывает вечный двигатель."}],"origin":"assistant","summary":"Скорость 72 км/ч переводится в 20 м/с, железный брусок объёмом 200 см³ весит 1560 г по табличной плотности, ток 2 А на сопротивлении 6 Ом даёт 12 В, работа 600 Дж за 30 с — мощность 20 Вт. Две последние задачи разобраны как дефект условия: заявленная полная энергия 600 Дж против слагаемых 300 и 200 Дж — противоречие, а полезная работа 600 Дж при затраченной 500 Дж — вечный двигатель. Модель называет это прямо и не подгоняет ответ."},"calculations":[{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"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":{"literal":{"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"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a"],"sourceAnchors":[]}],"proofHash":"sha256:8a580f27021e75a700a56a68dbc39cd1ef055392d2af80f474a391404c537ee1","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3","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:1b7a880d634f42929032d8e656dc4e808c08b59a21612e3b821e6aa5ced9a684","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:phys:clir:zadachnik#ChislovoeZnachenieSkorostiKmH","urn:phys:clir:zadachnik#OtvetPerevodVMs","urn:phys:clir:zadachnik#PerevodVMetrySekundu"],"signature":{"constants":{},"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:1b7a880d634f42929032d8e656dc4e808c08b59a21612e3b821e6aa5ced9a684\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:00a0b0a4adf678ca6b7dc5f511613fe779bb46b626b0851ad7540a87e18abbcf\",\"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\":{\"literal\":{\"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\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:PerevodVMetrySekundu:6cea2177431b7b14b6ef92c7888de3d8ab661e3134f1f78b4d16f20454afb87a\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:8a580f27021e75a700a56a68dbc39cd1ef055392d2af80f474a391404c537ee1\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3\",\"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#skorost_perevedena_v_m_s\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:6ecb8fa461a0fb06a59c12d2c15ea46b281d641b701ab0426c4859db1fa7c51f","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-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","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":"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"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:6dde8e8b18de0cbe425082debac7aa37bcdece41e92f96cc34b917c1f8cf12cb"},"id":"perevod","kind":"truth","label":"72 км/ч в метрах в секунду","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:6dde8e8b18de0cbe425082debac7aa37bcdece41e92f96cc34b917c1f8cf12cb"},"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":{"literal":{"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"},"truthStatus":"TRUE_ONLY"},"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:1b7a880d634f42929032d8e656dc4e808c08b59a21612e3b821e6aa5ced9a684","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:7f12b8a13ec03fb24ea8da83295ba9a479e7179b3182889e193840b792b6a3a3","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:phys:zadacha","20 m_per_s"],"facts":[{"args":["urn:case:phys:zadacha","72 km_per_h"],"predicate":"perevesti_v_m_s"}],"kind":"truth","legalTime":"2026-09-06","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":"skorost_perevedena_v_m_s: **TRUE_ONLY** — установлено\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":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"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":{"literal":{"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"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6"],"sourceAnchors":[]}],"proofHash":"sha256:e815c3a4b83fec930bb6f2ecc9d58a4ad9553925abf5c1498903288a811e2f19","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:588e3ff43d538f31fbef5e57b5a0bf1c839116aef57ee0f5d00a83415b132f75","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:85e3de49cfaefef0d195971d76829e369f045408577519177abb6b3eeeb630d8","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:588e3ff43d538f31fbef5e57b5a0bf1c839116aef57ee0f5d00a83415b132f75","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:phys:clir:zadachnik#MassaTelaIzZheleza","urn:phys:clir:zadachnik#OtvetMassa"],"signature":{"constants":{},"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:85e3de49cfaefef0d195971d76829e369f045408577519177abb6b3eeeb630d8\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:de84ceb81d5cfc745af760d7b32c4cbb2723de7b45171bcb23974dfdb1ae881b\",\"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\":{\"literal\":{\"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\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:MassaTelaIzZheleza:a42cffbe832a3790aca10d7d22717dd38591cc03810beb1eed47a049a07ceef6\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:e815c3a4b83fec930bb6f2ecc9d58a4ad9553925abf5c1498903288a811e2f19\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:588e3ff43d538f31fbef5e57b5a0bf1c839116aef57ee0f5d00a83415b132f75\",\"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#massa_vychislena\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:ae1d2d6acb9bfccacb70c809abf679c63d67b42ca959c06cb3c1f777691e46a8","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-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","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":"value","type":{"name":"urn:law:std#Quantity"},"unit":"g","value":"1560"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#massa_vychislena"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:dbe5a3e8bb4b0f7bf8f6b8d245f76f53b95fd60acd6f6e262599eee62acd1048"},"id":"massa","kind":"truth","label":"Масса железного бруска","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:dbe5a3e8bb4b0f7bf8f6b8d245f76f53b95fd60acd6f6e262599eee62acd1048"},"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":{"literal":{"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"},"truthStatus":"TRUE_ONLY"},"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:85e3de49cfaefef0d195971d76829e369f045408577519177abb6b3eeeb630d8","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:588e3ff43d538f31fbef5e57b5a0bf1c839116aef57ee0f5d00a83415b132f75","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:phys:zadacha","1560 g"],"facts":[{"args":["urn:case:phys:zadacha","Zhelezo"],"predicate":"telo_iz"},{"args":["urn:case:phys:zadacha","200 cm3"],"predicate":"dano_obyom_tela"}],"kind":"truth","legalTime":"2026-09-06","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":"massa_vychislena: **TRUE_ONLY** — установлено\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":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["napryazhenie_vychisleno(urn:case:phys:zadacha, 12)","vychislennyy_otvet(urn:case:phys:zadacha, 12)"],"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":"A","value":"2"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"Ohm","value":"6"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie"},"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#Quantity"},"unit":"V","value":"12"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno"},"evidence":[],"id":"urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:phys:clir:zadachnik#NapryazhenieIzToka","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"A","value":"2"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"Ohm","value":"6"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:phys:zadacha","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"V","value":"12"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#vychislennyy_otvet"},"evidence":[],"id":"urn:proof:apply:OtvetNapryazhenie:1d5810660f4f6c5b6d8841e5fed1e0f9f7c89b07080d3cebacf62b4965d9f0ec","kind":"rule_application","premises":["urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11"],"rule":"urn:phys:clir:zadachnik#OtvetNapryazhenie","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"V","value":"12"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:phys:zadacha","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"V","value":"12"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11"],"sourceAnchors":[]}],"proofHash":"sha256:374f4eab750f252c5b6d6d54997d263ce90d87f2aab48a1d4ca17ec7bab6d84b","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:3a924b146fb197855d59df6d17c571e27a1f8c82dc7bb8f2d2b77d9d2cee6c66","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_ART6"],"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:a950eb373c2b025dc760c46ac91b67b579e964ad657f5a59597ad962a0999210","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:3a924b146fb197855d59df6d17c571e27a1f8c82dc7bb8f2d2b77d9d2cee6c66","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:phys:clir:zadachnik#NapryazhenieIzToka","urn:phys:clir:zadachnik#OtvetNapryazhenie"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"labels":[],"name":"u","type":{"name":"urn:law:std#Quantity"}}],"predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno","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:a950eb373c2b025dc760c46ac91b67b579e964ad657f5a59597ad962a0999210\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:1f5b01e2a12959873809aa2fbac84bfd2dc38a0fe671ea2ea8e9bff952fd7ff3\",\"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\":\"A\",\"value\":\"2\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"Ohm\",\"value\":\"6\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie\"},\"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#Quantity\"},\"unit\":\"V\",\"value\":\"12\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#napryazhenie_vychisleno\"},\"evidence\":[],\"id\":\"urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#NapryazhenieIzToka\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"A\",\"value\":\"2\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"Ohm\",\"value\":\"6\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"V\",\"value\":\"12\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetNapryazhenie:1d5810660f4f6c5b6d8841e5fed1e0f9f7c89b07080d3cebacf62b4965d9f0ec\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetNapryazhenie\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"V\",\"value\":\"12\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"V\",\"value\":\"12\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#napryazhenie_vychisleno\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:374f4eab750f252c5b6d6d54997d263ce90d87f2aab48a1d4ca17ec7bab6d84b\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:3a924b146fb197855d59df6d17c571e27a1f8c82dc7bb8f2d2b77d9d2cee6c66\",\"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#napryazhenie_vychisleno\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:0b3ae4109f57111a88588ba0e8fb8509aaac6630c6885265533f1872ae76ca35","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":"A","value":"2"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"Ohm","value":"6"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie"},"origin":"case_input","package":"urn:phys:clir:zadachnik"}],"context":{"decisionTime":"2026-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","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":"value","type":{"name":"urn:law:std#Quantity"},"unit":"V","value":"12"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:9d0e8693489cbcea420d60bdd38ad87607e1ab411b8a3484578c8875a2e10c51"},"id":"napryazhenie","kind":"truth","label":"Напряжение по закону Ома","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:9d0e8693489cbcea420d60bdd38ad87607e1ab411b8a3484578c8875a2e10c51"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:phys:zadacha","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"A","value":"2"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"Ohm","value":"6"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie"},"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#Quantity"},"unit":"V","value":"12"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno"},"head":{"args":[{"kind":"var","var":"v0"},{"args":[{"kind":"binary","left":{"args":[{"kind":"var","var":"v1"}],"function":"urn:law:std#magnitude","kind":"call"},"op":"mul","right":{"args":[{"kind":"var","var":"v2"}],"function":"urn:law:std#magnitude","kind":"call"}},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"V"}],"function":"urn:law:std#quantity_of","kind":"call"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno"},"id":"urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:phys:clir:zadachnik#NapryazhenieIzToka","sourceAnchors":["urn:phys:clir:zadachnik#PHYS_ART6"],"strength":"strict","substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"A","value":"2"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"Ohm","value":"6"}},"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":"value","type":{"name":"urn:law:std#Quantity"},"unit":"V","value":"12"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#napryazhenie_vychisleno"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:NapryazhenieIzToka:8ea7a3bb15968c381ad42079b0a92c7abad6b9a0c4bca40bbf6488db2f9edd11"],"trust":"engine"}],"symbols":[{"id":"urn:phys:clir:zadachnik#NapryazhenieIzToka","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 6. Напряжение равно произведению силы тока на сопротивление: ампер на ом даёт вольт по объявлениям единиц"}],"package":"urn:phys:clir:zadachnik","strength":"strict"},{"id":"urn:phys:clir:zadachnik#OtvetNapryazhenie","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 13. Вычисленное напряжение — ответ задачи о напряжении"}],"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#dan_tok_i_soprotivlenie","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"дано: сила тока в проводнике и его сопротивление"}],"name":"dan_tok_i_soprotivlenie","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie/arg/i","labels":[],"name":"i","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:phys:clir:zadachnik#dan_tok_i_soprotivlenie/arg/r","labels":[],"name":"r","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:phys:clir:zadachnik#napryazhenie_vychisleno","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"напряжение, вычисленное по ст. 6"}],"name":"napryazhenie_vychisleno","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#napryazhenie_vychisleno/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#napryazhenie_vychisleno/arg/u","labels":[],"name":"u","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_ART6"],"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:a950eb373c2b025dc760c46ac91b67b579e964ad657f5a59597ad962a0999210","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:3a924b146fb197855d59df6d17c571e27a1f8c82dc7bb8f2d2b77d9d2cee6c66","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:phys:zadacha","12 V"],"facts":[{"args":["urn:case:phys:zadacha","2 A","6 Ohm"],"predicate":"dan_tok_i_soprotivlenie"}],"kind":"truth","legalTime":"2026-09-06","package":"phys-zadachnik","predicate":"napryazhenie_vychisleno","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:3fa96073e3a8753180dcbff99dd89459b430ed162fcd849b5e35afd81da57fbf","edition":"urn:phys:clir:zadachnik#PHYS_RU","fragmentKind":"article","id":"urn:phys:clir:zadachnik#PHYS_ART6","kind":"fragment","locator":"article/6","package":"urn:phys:clir:zadachnik","texts":[{"contentHash":"sha256:284cde27238946b33e6e24b28fc3fd76abff175edd3bc2f2eeceb934dad5a1a0","language":"ru","status":"official","text":"Статья 6. Закон Ома\n\nНапряжение на участке цепи, выраженное в вольтах, численно равно\nпроизведению числового значения силы тока в амперах на числовое значение\nсопротивления в омах. Сила тока в амперах численно равна частному числовых\nзначений напряжения в вольтах и сопротивления в омах.\n\nЗадача 6.1. Сила тока в проводнике 2 A, сопротивление проводника 6 Ohm.\nНайти напряжение. Ответ: 12 V.\n\nЗадача 6.2. Напряжение в сети 220 V, сопротивление плитки 44 Ohm. Найти силу\nтока. Ответ: 5 A."}]}],"text":"napryazhenie_vychisleno: **TRUE_ONLY** — установлено\nВыведено правом: napryazhenie_vychisleno(urn:case:phys:zadacha, 12); vychislennyy_otvet(urn:case:phys:zadacha, 12)\nПрименены правила: NapryazhenieIzToka, OtvetNapryazhenie\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 4 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["moshchnost_vychislena(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":"J","value":"600"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dano_rabota_i_vremya"},"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#Quantity"},"unit":"W","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#moshchnost_vychislena"},"evidence":[],"id":"urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:phys:clir:zadachnik#MoshchnostIzRaboty","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":"s","value":"30"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:phys:zadacha","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"W","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#vychislennyy_otvet"},"evidence":[],"id":"urn:proof:apply:OtvetMoshchnost:d1800bcaf6a055c70a098363f613571d733491362ac50a6dedd58c081e42c5f3","kind":"rule_application","premises":["urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f"],"rule":"urn:phys:clir:zadachnik#OtvetMoshchnost","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"W","value":"20"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:phys:zadacha","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"W","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#moshchnost_vychislena"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f"],"sourceAnchors":[]}],"proofHash":"sha256:85cc21f4c159c503fe766fc28b50ab20ab5e7e0dbf83b58a20aad70ae28d134e","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:5125c7354b61ebf7c50ee68e58ff03146c6ae4d81c00ce9bd5c8c9610bd4fd23","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_ART8"],"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:513b849910e04da90e1fdc0cb083ee94eba9112aa9fed47b5d5ffb93ca7ccb0c","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:5125c7354b61ebf7c50ee68e58ff03146c6ae4d81c00ce9bd5c8c9610bd4fd23","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:phys:clir:zadachnik#MoshchnostIzRaboty","urn:phys:clir:zadachnik#OtvetMoshchnost"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"labels":[],"name":"p","type":{"name":"urn:law:std#Quantity"}}],"predicate":"urn:phys:clir:zadachnik#moshchnost_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:513b849910e04da90e1fdc0cb083ee94eba9112aa9fed47b5d5ffb93ca7ccb0c\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:aca0906589faf3a178ca71e1e613fa4bcbdcbdb7276a86541ebcbc85e40e0d96\",\"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\":\"s\",\"value\":\"30\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#dano_rabota_i_vremya\"},\"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#Quantity\"},\"unit\":\"W\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#moshchnost_vychislena\"},\"evidence\":[],\"id\":\"urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#MoshchnostIzRaboty\",\"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\":\"s\",\"value\":\"30\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"W\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetMoshchnost:d1800bcaf6a055c70a098363f613571d733491362ac50a6dedd58c081e42c5f3\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetMoshchnost\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"W\",\"value\":\"20\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"W\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#moshchnost_vychislena\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:85cc21f4c159c503fe766fc28b50ab20ab5e7e0dbf83b58a20aad70ae28d134e\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:5125c7354b61ebf7c50ee68e58ff03146c6ae4d81c00ce9bd5c8c9610bd4fd23\",\"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#moshchnost_vychislena\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:4adb554119d44c9bf8688bf10b99078a01f2ece22f554fc23e237d9a09c20246","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":"s","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dano_rabota_i_vremya"},"origin":"case_input","package":"urn:phys:clir:zadachnik"}],"context":{"decisionTime":"2026-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","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":"value","type":{"name":"urn:law:std#Quantity"},"unit":"W","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#moshchnost_vychislena"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:e26add2c790b10cba073a73af7bcd48d62568ba2d225367fdecbf7b2310ac19c"},"id":"moshchnost","kind":"truth","label":"Мощность","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:e26add2c790b10cba073a73af7bcd48d62568ba2d225367fdecbf7b2310ac19c"},"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":"s","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dano_rabota_i_vremya"},"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#Quantity"},"unit":"W","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#moshchnost_vychislena"},"head":{"args":[{"kind":"var","var":"v0"},{"args":[{"kind":"binary","left":{"args":[{"kind":"var","var":"v1"}],"function":"urn:law:std#magnitude","kind":"call"},"op":"div","right":{"args":[{"kind":"var","var":"v2"}],"function":"urn:law:std#magnitude","kind":"call"}},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"W"}],"function":"urn:law:std#quantity_of","kind":"call"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#moshchnost_vychislena"},"id":"urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:phys:clir:zadachnik#MoshchnostIzRaboty","sourceAnchors":["urn:phys:clir:zadachnik#PHYS_ART8"],"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":"s","value":"30"}},"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":"value","type":{"name":"urn:law:std#Quantity"},"unit":"W","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#moshchnost_vychislena"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:MoshchnostIzRaboty:a29df1affd407e07c277500f80c44945368faf571e39ff8b231a45d1372a0e3f"],"trust":"engine"}],"symbols":[{"id":"urn:phys:clir:zadachnik#MoshchnostIzRaboty","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 8. Мощность равна частному работы и времени: джоуль на секунду даёт ватт"}],"package":"urn:phys:clir:zadachnik","strength":"strict"},{"id":"urn:phys:clir:zadachnik#OtvetMoshchnost","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 13. Вычисленная мощность — ответ задачи о мощности"}],"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#dano_rabota_i_vremya","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"дано: совершённая работа и время её совершения"}],"name":"dano_rabota_i_vremya","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#dano_rabota_i_vremya/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#dano_rabota_i_vremya/arg/a","labels":[],"name":"a","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:phys:clir:zadachnik#dano_rabota_i_vremya/arg/t","labels":[],"name":"t","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:phys:clir:zadachnik#moshchnost_vychislena","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"мощность, вычисленная по ст. 8"}],"name":"moshchnost_vychislena","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#moshchnost_vychislena/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#moshchnost_vychislena/arg/p","labels":[],"name":"p","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_ART8"],"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:513b849910e04da90e1fdc0cb083ee94eba9112aa9fed47b5d5ffb93ca7ccb0c","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:5125c7354b61ebf7c50ee68e58ff03146c6ae4d81c00ce9bd5c8c9610bd4fd23","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:phys:zadacha","20 W"],"facts":[{"args":["urn:case:phys:zadacha","600 J","30 s"],"predicate":"dano_rabota_i_vremya"}],"kind":"truth","legalTime":"2026-09-06","package":"phys-zadachnik","predicate":"moshchnost_vychislena","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:bee6516cbec80cb6e406b7b7d7ac3238035eaabf960e63e97d72f2d9b6c4a070","edition":"urn:phys:clir:zadachnik#PHYS_RU","fragmentKind":"article","id":"urn:phys:clir:zadachnik#PHYS_ART8","kind":"fragment","locator":"article/8","package":"urn:phys:clir:zadachnik","texts":[{"contentHash":"sha256:29fee7a69d2f83e79324d01acf9f5555619f4ea84adc9905b1979d3aa159b2e8","language":"ru","status":"official","text":"Статья 8. Мощность\n\nМощность, выраженная в ваттах, численно равна частному числовых значений\nработы в джоулях и времени в секундах.\n\nЗадача 8.1. Работа 600 J совершена за 30 s. Найти мощность. Ответ: 20 W.\n\nЗадача 8.2. Работа 2000 J совершена за 40 s. Найти мощность. Ответ: 50 W."}]}],"text":"moshchnost_vychislena: **TRUE_ONLY** — установлено\nВыведено правом: moshchnost_vychislena(urn:case:phys:zadacha, 20); vychislennyy_otvet(urn:case:phys:zadacha, 20)\nПрименены правила: MoshchnostIzRaboty, OtvetMoshchnost\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 4 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["polnaya_energiya_vychislena(urn:case:phys:zadacha, 500)","vychislennyy_otvet(urn:case:phys:zadacha, 500)","dannye_protivorechivy(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":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dany_energii"},"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#Quantity"},"unit":"J","value":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#polnaya_energiya_vychislena"},"evidence":[],"id":"urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:phys:clir:zadachnik#PolnayaEnergiya","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"300"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:phys:zadacha","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#vychislennyy_otvet"},"evidence":[],"id":"urn:proof:apply:OtvetPolnayaEnergiya:4f844c90bf6f4a01da6126afbbb07e3be84c28dfbb14f7ea69055bc0396d6fb7","kind":"rule_application","premises":["urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4"],"rule":"urn:phys:clir:zadachnik#OtvetPolnayaEnergiya","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}}},{"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":"J","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#nazvana_polnaya_energiya"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","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:ProverkaBalansa:858fb47f2ce29878a09c3ebdab552fde36cd29b4690444ad7efee882efb8d2c9","kind":"rule_application","premises":["urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:phys:clir:zadachnik#ProverkaBalansa","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#dannye_protivorechivy"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:ProverkaBalansa:858fb47f2ce29878a09c3ebdab552fde36cd29b4690444ad7efee882efb8d2c9"],"sourceAnchors":[]}],"proofHash":"sha256:d3929ee2038ade07fe97baa777abe834c773caa7e9a748338252dc0de282f62a","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:6050fadf38144a097827edb1b78e6e7b2234f71ea912e5758f071b94a4277c7c","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_ART9"],"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:0d23c8be7437d4eff1b2badcecc2edec142310cb4f654c8cd1a109efe01e4fd0","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:6050fadf38144a097827edb1b78e6e7b2234f71ea912e5758f071b94a4277c7c","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:phys:clir:zadachnik#OtvetPolnayaEnergiya","urn:phys:clir:zadachnik#PolnayaEnergiya","urn:phys:clir:zadachnik#ProverkaBalansa"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}}],"predicate":"urn:phys:clir:zadachnik#dannye_protivorechivy","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:0d23c8be7437d4eff1b2badcecc2edec142310cb4f654c8cd1a109efe01e4fd0\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:de16e57af4a4fbeea03b06061da17ba14bf08f60a4b9144e24a2b5f323c9c3ad\",\"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\":\"300\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"200\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#dany_energii\"},\"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#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#polnaya_energiya_vychislena\"},\"evidence\":[],\"id\":\"urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:phys:clir:zadachnik#PolnayaEnergiya\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"300\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"200\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#vychislennyy_otvet\"},\"evidence\":[],\"id\":\"urn:proof:apply:OtvetPolnayaEnergiya:4f844c90bf6f4a01da6126afbbb07e3be84c28dfbb14f7ea69055bc0396d6fb7\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4\"],\"rule\":\"urn:phys:clir:zadachnik#OtvetPolnayaEnergiya\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:phys:zadacha\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}}},{\"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\":\"J\",\"value\":\"600\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:phys:clir:zadachnik#nazvana_polnaya_energiya\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"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:ProverkaBalansa:858fb47f2ce29878a09c3ebdab552fde36cd29b4690444ad7efee882efb8d2c9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:phys:clir:zadachnik#ProverkaBalansa\",\"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#dannye_protivorechivy\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:ProverkaBalansa:858fb47f2ce29878a09c3ebdab552fde36cd29b4690444ad7efee882efb8d2c9\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d3929ee2038ade07fe97baa777abe834c773caa7e9a748338252dc0de282f62a\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:6050fadf38144a097827edb1b78e6e7b2234f71ea912e5758f071b94a4277c7c\",\"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#dannye_protivorechivy\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:546adb46c7cbad3a95d208597b81e998f59285d2a98b45922b569cf064ff2394","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":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dany_energii"},"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":"J","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#nazvana_polnaya_energiya"},"origin":"case_input","package":"urn:phys:clir:zadachnik"}],"context":{"decisionTime":"2026-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","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#dannye_protivorechivy"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:9bb238056a168c8b825983872532916e3e1e7cc374d0bed3bceaeee8555d7e74"},"id":"protivorechie","kind":"truth","label":"Данные задачи противоречивы","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:9bb238056a168c8b825983872532916e3e1e7cc374d0bed3bceaeee8555d7e74"},"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":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dany_energii"},"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#Quantity"},"unit":"J","value":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#polnaya_energiya_vychislena"},"head":{"args":[{"kind":"var","var":"v0"},{"args":[{"kind":"binary","left":{"args":[{"kind":"var","var":"v1"}],"function":"urn:law:std#magnitude","kind":"call"},"op":"add","right":{"args":[{"kind":"var","var":"v2"}],"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#polnaya_energiya_vychislena"},"id":"urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:phys:clir:zadachnik#PolnayaEnergiya","sourceAnchors":["urn:phys:clir:zadachnik#PHYS_ART9"],"strength":"strict","substitution":{"v0":{"id":"urn:case:phys:zadacha","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"300"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}},"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"}}]},{"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":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#nazvana_polnaya_energiya"},"id":"urn:proof:assert:urn:mcp:case#fact-2","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#dannye_protivorechivy"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:phys:clir:zadachnik#dannye_protivorechivy"},"id":"urn:proof:apply:ProverkaBalansa:858fb47f2ce29878a09c3ebdab552fde36cd29b4690444ad7efee882efb8d2c9","kind":"rule_application","originStatus":"available","premises":["urn:proof:apply:PolnayaEnergiya:81f047a62bbe4f818c4d7224b14bb800a67d24fc996f3a9948c2e620145c47a4","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:phys:clir:zadachnik#ProverkaBalansa","sourceAnchors":["urn:phys:clir:zadachnik#PHYS_ART9"],"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#dannye_protivorechivy"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:ProverkaBalansa:858fb47f2ce29878a09c3ebdab552fde36cd29b4690444ad7efee882efb8d2c9"],"trust":"engine"}],"symbols":[{"id":"urn:phys:clir:zadachnik#OtvetPolnayaEnergiya","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 13. Вычисленная полная энергия — ответ задачи об энергии"}],"package":"urn:phys:clir:zadachnik","strength":"strict"},{"id":"urn:phys:clir:zadachnik#PolnayaEnergiya","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 9. Полная механическая энергия равна сумме кинетической и потенциальной — сложение величин одной единицы"}],"package":"urn:phys:clir:zadachnik","strength":"strict"},{"id":"urn:phys:clir:zadachnik#ProverkaBalansa","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Ст. 9. Названная полная энергия не равна сумме слагаемых — данные задачи противоречивы, противоречие объявляется"}],"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_energii","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"дано: кинетическая и потенциальная энергии тела"}],"name":"dany_energii","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#dany_energii/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#dany_energii/arg/ek","labels":[],"name":"ek","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:phys:clir:zadachnik#dany_energii/arg/ep","labels":[],"name":"ep","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:phys:clir:zadachnik#nazvana_polnaya_energiya","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"в условии названа полная механическая энергия"}],"name":"nazvana_polnaya_energiya","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#nazvana_polnaya_energiya/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#nazvana_polnaya_energiya/arg/e","labels":[],"name":"e","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:phys:clir:zadachnik#polnaya_energiya_vychislena","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"полная механическая энергия: сумма кинетической и потенциальной (ст. 9)"}],"name":"polnaya_energiya_vychislena","package":"urn:phys:clir:zadachnik","parameters":[{"id":"urn:phys:clir:zadachnik#polnaya_energiya_vychislena/arg/z","labels":[],"name":"z","type":{"name":"urn:phys:clir:zadachnik#Zadacha"}},{"id":"urn:phys:clir:zadachnik#polnaya_energiya_vychislena/arg/e","labels":[],"name":"e","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_ART9"],"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:0d23c8be7437d4eff1b2badcecc2edec142310cb4f654c8cd1a109efe01e4fd0","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:6050fadf38144a097827edb1b78e6e7b2234f71ea912e5758f071b94a4277c7c","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:phys:zadacha"],"facts":[{"args":["urn:case:phys:zadacha","300 J","200 J"],"predicate":"dany_energii"},{"args":["urn:case:phys:zadacha","600 J"],"predicate":"nazvana_polnaya_energiya"}],"kind":"truth","legalTime":"2026-09-06","package":"phys-zadachnik","predicate":"dannye_protivorechivy","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:bdf2fbad0a09eafe00a338df56eabc53ced51cf6755958bc9506b01a54c35c6b","edition":"urn:phys:clir:zadachnik#PHYS_RU","fragmentKind":"article","id":"urn:phys:clir:zadachnik#PHYS_ART9","kind":"fragment","locator":"article/9","package":"urn:phys:clir:zadachnik","texts":[{"contentHash":"sha256:fc740f1018d07dd5f39b0250a0918a836becf20dd24a05c852960101edaad10f","language":"ru","status":"official","text":"Статья 9. Закон сохранения энергии и проверка баланса\n\nПолная механическая энергия тела равна сумме его кинетической и\nпотенциальной энергий. В отсутствие трения полная механическая энергия\nсохраняется. Все энергии одной задачи выражаются в джоулях и складываются\nи сравниваются как величины одной единицы.\n\nПроверка баланса есть обязательная часть решения: если названная в задаче\nполная энергия не равна сумме названных слагаемых, данные задачи\nпротиворечивы, и решающий обязан объявить противоречие, а не подгонять\nответ.\n\nЗадача 9.1. Кинетическая энергия тела 300 J, потенциальная 200 J. Найти\nполную механическую энергию. Ответ: 500 J.\n\nЗадача 9.2. В условии названы кинетическая энергия 300 J, потенциальная\n200 J и полная энергия 600 J. Решить задачу. Ответ: данные противоречивы —\nсумма слагаемых 500 J не равна названной полной энергии."}]}],"text":"dannye_protivorechivy: **TRUE_ONLY** — установлено\nВыведено правом: polnaya_energiya_vychislena(urn:case:phys:zadacha, 500); vychislennyy_otvet(urn:case:phys:zadacha, 500); dannye_protivorechivy(urn:case:phys:zadacha)\nПрименены правила: OtvetPolnayaEnergiya, PolnayaEnergiya, ProverkaBalansa\nПраво (вне юрисдикции государства): Школьный задачник по физике — акт-таран №2 unit-package: размерная энергия и КПД против де-юнита формул — доктрина — EXECUTABLE 12 §33.1 (programHash sha256:715ed827c27c…)\nВместе с актами: units-si\nproof-граф: 6 узлов — поле 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:07aa55d1fbf3dcfc6e8bceee7ed8b2b61730414d8e70845ad2a68bfbc414f255","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:7c66ba345a278f8a808c46193845f8d8c20f9d30c4315962bd65480cf16fddfc","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:07aa55d1fbf3dcfc6e8bceee7ed8b2b61730414d8e70845ad2a68bfbc414f255","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:7c66ba345a278f8a808c46193845f8d8c20f9d30c4315962bd65480cf16fddfc\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:0ca3d19cee6491e490c200fe20553cccc34b8ac78f7006209b1081b6d66c8ace\",\"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:07aa55d1fbf3dcfc6e8bceee7ed8b2b61730414d8e70845ad2a68bfbc414f255\",\"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:74ea3cac11cbd467a25979f3dc4a168a5dd6b26618fa381819221b579f89d504","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-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","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:5e2235c934d852df80beed8656a28e721aa4e9128477dbc7c0326e1ff27bdd38"},"id":"vechnyy","kind":"truth","label":"Вечный двигатель","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:5e2235c934d852df80beed8656a28e721aa4e9128477dbc7c0326e1ff27bdd38"},"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:7c66ba345a278f8a808c46193845f8d8c20f9d30c4315962bd65480cf16fddfc","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:715ed827c27c2e44f90c641effe5c85f9a70a40d224f03316801fa3126fc5633","resultHash":"sha256:07aa55d1fbf3dcfc6e8bceee7ed8b2b61730414d8e70845ad2a68bfbc414f255","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:phys:zadacha"],"facts":[{"args":["urn:case:phys:zadacha","600 J","500 J"],"predicate":"dany_raboty"}],"kind":"truth","legalTime":"2026-09-06","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 см³, напряжение по закону Ома, мощность, а также два случая, где данные задачи не сходятся."},"schemaVersion":"law.answers.document/0.1"}