{"assistant":{"explanations":[{"calculationRefs":["velocity"],"text":"Начальная скорость нулевая, ускорение 20 м/с², время 20 с — конечная скорость 400 м/с."},{"calculationRefs":["displacement"],"text":"Путь считается из начальной скорости, ускорения и времени."},{"calculationRefs":["kinetic"],"text":"Масса 4 кг и скорость 10 м/с дают 200 Дж."},{"calculationRefs":["efficiency"],"text":"Работа 200 Дж из теплоты 500 Дж — КПД 2/5, безразмерная точная дробь."},{"calculationRefs":["carnot"],"text":"Резервуары 300 и 600 К задают предел 1/2."},{"calculationRefs":["above"],"text":"Машина с КПД 3/5 против предела 1/2: превышение выведено правилом."}],"origin":"assistant","summary":"Разгон с ускорением 20 м/с² за 20 с даёт 400 м/с, равноускоренное движение за оговорённое время — путь 525 м, тело массой 4 кг со скоростью 10 м/с несёт 200 Дж. КПД 200 Дж из 500 Дж равен точной дроби 2/5, предел Карно между 300 и 600 К равен 1/2, и 2/5 в него укладывается. Машина с работой 300 Дж из тех же 500 Дж даёт 3/5 — превышение предела выведено отдельным утверждением, а не оставлено читателю."},"calculations":[{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["displacement(urn:case:calc:m1, 4000)","final_velocity(urn:case:calc:m1, 400)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"0"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_initial_velocity"},"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:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_acceleration"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_elapsed_time"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m","value":"4000"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"evidence":[],"id":"urn:proof:apply:Displacement:6b680668b2e765991940e268de3e3296675473aeb7fb52d9ae6877c756ebf610","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:law:calc:mechanics#Displacement","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m1","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"0"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"20"},"v3":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"20"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"400"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#final_velocity"},"evidence":[],"id":"urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:law:calc:mechanics#FinalVelocity","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m1","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"0"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"20"},"v3":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"20"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"400"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#final_velocity"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186"],"sourceAnchors":[]}],"proofHash":"sha256:3e1707e1552b25ff9dab1b4c2c0ddc410db4bbcabe9ec7a348164e12949516d1","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:8cc6af2e66328cffe6b1c7d44d9932ff749cea8e081b33b0d22d3002a8bcbbdd","schemaVersion":"law.core.evaluation/0.1"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:6b3b8817c480b7ae093cfcc616f9485c8e03a732ad2da4f6b32804b188261517","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:8cc6af2e66328cffe6b1c7d44d9932ff749cea8e081b33b0d22d3002a8bcbbdd","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:law:calc:mechanics#Displacement","urn:law:calc:mechanics#FinalVelocity"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"labels":[],"name":"v","type":{"name":"urn:law:std#Quantity"}}],"predicate":"urn:law:calc:mechanics#final_velocity","schemaVersion":"law.answers.signature/0.1","types":{"urn:law:calc:mechanics#Calculation":{"kind":"entity","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"namespace":"urn:law:calc:mechanics","package":"calc.mechanics"},"urn:law:std#Quantity":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:6b3b8817c480b7ae093cfcc616f9485c8e03a732ad2da4f6b32804b188261517\",\"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:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:9a6db9b4d7e0c68d6cd0dee4ed02b50ba9225a5a206185cf38a05517709639f7\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_initial_velocity\"},\"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:calc:m1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s2\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_acceleration\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"s\",\"value\":\"20\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_elapsed_time\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m\",\"value\":\"4000\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#displacement\"},\"evidence\":[],\"id\":\"urn:proof:apply:Displacement:6b680668b2e765991940e268de3e3296675473aeb7fb52d9ae6877c756ebf610\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:law:calc:mechanics#Displacement\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"0\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s2\",\"value\":\"20\"},\"v3\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"s\",\"value\":\"20\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"400\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#final_velocity\"},\"evidence\":[],\"id\":\"urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:law:calc:mechanics#FinalVelocity\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"0\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s2\",\"value\":\"20\"},\"v3\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"s\",\"value\":\"20\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:calc:m1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"400\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#final_velocity\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:3e1707e1552b25ff9dab1b4c2c0ddc410db4bbcabe9ec7a348164e12949516d1\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:8cc6af2e66328cffe6b1c7d44d9932ff749cea8e081b33b0d22d3002a8bcbbdd\",\"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:law:calc:mechanics#final_velocity\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:5b116e2debd1c65b89c6ea5f138f4975af7bcea41988bdd4bbbf477065fbc701","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"0"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_initial_velocity"},"origin":"case_input","package":"urn:law:calc:mechanics"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_acceleration"},"origin":"case_input","package":"urn:law:calc:mechanics"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_elapsed_time"},"origin":"case_input","package":"urn:law:calc:mechanics"}],"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:13e1d6d1ac856d96b823cd5da2ba529ca16ba84774ea94aa753aae483ea1e779","kind":"world_ref","nodeCount":383,"packages":[{"artifactHash":"sha256:df31ae61c8f5be7559f69377dba746a437f413aa409281628f71b5d5e2e825b5","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","semanticHash":"sha256:b62b251be4f75c79b88cbde53b0ed048e9ca4091ffabcd37619f1c443ada429b"},{"artifactHash":"sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c","namespace":"urn:law:units:si","package":"units-si","semanticHash":"sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"}],"programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"400"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#final_velocity"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:21f6c0b0df0140944a1aa87eff3b4f8c10a2ecd6eb68e1ef5bbb626f3370c0af"},"id":"velocity","kind":"truth","label":"Конечная скорость разгона","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:21f6c0b0df0140944a1aa87eff3b4f8c10a2ecd6eb68e1ef5bbb626f3370c0af"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"0"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_initial_velocity"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_acceleration"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"20"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_elapsed_time"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"400"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#final_velocity"},"head":{"args":[{"kind":"var","var":"v0"},{"args":[{"kind":"binary","left":{"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"},"op":"add","right":{"kind":"binary","left":{"args":[{"args":[{"kind":"var","var":"v2"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"m_per_s2"}],"function":"urn:law:std#unit_convert","kind":"call"},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v3"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"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:law:calc:mechanics#final_velocity"},"id":"urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:law:calc:mechanics#FinalVelocity","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m1","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"0"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"20"},"v3":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"20"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}},{"id":"v3","type":{"name":"urn:law:std#Quantity"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"400"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#final_velocity"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186"],"trust":"engine"}],"symbols":[{"id":"urn:law:calc:mechanics#Calculation","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"name":"Calculation","package":"urn:law:calc:mechanics"},{"id":"urn:law:calc:mechanics#Displacement","kind":"rule","labels":[{"language":"en","status":"official","text":"x = v₀t + ½at²"},{"language":"ru","status":"unofficial","text":"x = v₀t + ½at²"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#FinalVelocity","kind":"rule","labels":[{"language":"en","status":"official","text":"v = v₀ + at"},{"language":"ru","status":"unofficial","text":"v = v₀ + at"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#displacement","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"x = v₀t + ½at² — the displacement under constant acceleration"},{"language":"ru","status":"unofficial","text":"x = v₀t + ½at² — перемещение при постоянном ускорении"}],"name":"displacement","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#displacement/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#displacement/arg/x","labels":[],"name":"x","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#final_velocity","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"v = v₀ + at — the final velocity under constant acceleration"},{"language":"ru","status":"unofficial","text":"v = v₀ + at — конечная скорость при постоянном ускорении"}],"name":"final_velocity","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#final_velocity/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#final_velocity/arg/v","labels":[],"name":"v","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_acceleration","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the constant acceleration given for the calculation"},{"language":"ru","status":"unofficial","text":"постоянное ускорение, данное для расчёта"}],"name":"given_acceleration","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_acceleration/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_acceleration/arg/a","labels":[],"name":"a","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_elapsed_time","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the elapsed time given for the calculation"},{"language":"ru","status":"unofficial","text":"истёкшее время, данное для расчёта"}],"name":"given_elapsed_time","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_elapsed_time/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_elapsed_time/arg/t","labels":[],"name":"t","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_initial_velocity","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the initial velocity given for the calculation"},{"language":"ru","status":"unofficial","text":"начальная скорость, данная для расчёта"}],"name":"given_initial_velocity","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_initial_velocity/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_initial_velocity/arg/v0","labels":[],"name":"v0","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:6b3b8817c480b7ae093cfcc616f9485c8e03a732ad2da4f6b32804b188261517","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:8cc6af2e66328cffe6b1c7d44d9932ff749cea8e081b33b0d22d3002a8bcbbdd","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:calc:m1","400 m_per_s"],"facts":[{"args":["urn:case:calc:m1","0 m_per_s"],"predicate":"given_initial_velocity"},{"args":["urn:case:calc:m1","20 m_per_s2"],"predicate":"given_acceleration"},{"args":["urn:case:calc:m1","20 s"],"predicate":"given_elapsed_time"}],"kind":"truth","legalTime":"2026-09-06","package":"calc-mechanics","predicate":"final_velocity","proof":true},"sources":[],"text":"final_velocity: **TRUE_ONLY** — установлено\nВыведено правом: displacement(urn:case:calc:m1, 4000); final_velocity(urn:case:calc:m1, 400)\nПрименены правила: Displacement, FinalVelocity\nПраво (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)\nВместе с актами: units-si\nproof-граф: 6 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["displacement(urn:case:calc:m3, 525)","final_velocity(urn:case:calc:m3, 180)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_initial_velocity"},"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:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_acceleration"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_elapsed_time"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m","value":"525"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"evidence":[],"id":"urn:proof:apply:Displacement:1d71817ddef341c10adec4aa74921823e4d857ee023e46b810c196a21a2838f9","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:law:calc:mechanics#Displacement","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m3","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"30"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"30"},"v3":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"5"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"180"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#final_velocity"},"evidence":[],"id":"urn:proof:apply:FinalVelocity:b8f3a9b1e788566a2b55b7e93a2a9ddff40663b300713ca74220feacba477534","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:law:calc:mechanics#FinalVelocity","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m3","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"30"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"30"},"v3":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"5"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m","value":"525"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:Displacement:1d71817ddef341c10adec4aa74921823e4d857ee023e46b810c196a21a2838f9"],"sourceAnchors":[]}],"proofHash":"sha256:829843417c4658a7e282ffee9813bdf361dbccad7072e338f7b14fc511120c7d","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:9d402e7ef954ff994ed8a8588eb1e541fff997c26aa149257a1a60c0bd1ac611","schemaVersion":"law.core.evaluation/0.1"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:070f8c82582b7be712b408f606086bbbc9f8916c1fca1c6c76fecc49a57d0350","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:9d402e7ef954ff994ed8a8588eb1e541fff997c26aa149257a1a60c0bd1ac611","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:law:calc:mechanics#Displacement","urn:law:calc:mechanics#FinalVelocity"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"labels":[],"name":"x","type":{"name":"urn:law:std#Quantity"}}],"predicate":"urn:law:calc:mechanics#displacement","schemaVersion":"law.answers.signature/0.1","types":{"urn:law:calc:mechanics#Calculation":{"kind":"entity","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"namespace":"urn:law:calc:mechanics","package":"calc.mechanics"},"urn:law:std#Quantity":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:070f8c82582b7be712b408f606086bbbc9f8916c1fca1c6c76fecc49a57d0350\",\"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:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:dcd5a77772bef5135036335fd1d69d436a39bde34f8aa89dedcdd4f2d01cea30\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"30\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_initial_velocity\"},\"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:calc:m3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s2\",\"value\":\"30\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_acceleration\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"s\",\"value\":\"5\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_elapsed_time\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m\",\"value\":\"525\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#displacement\"},\"evidence\":[],\"id\":\"urn:proof:apply:Displacement:1d71817ddef341c10adec4aa74921823e4d857ee023e46b810c196a21a2838f9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:law:calc:mechanics#Displacement\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"30\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s2\",\"value\":\"30\"},\"v3\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"s\",\"value\":\"5\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"180\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#final_velocity\"},\"evidence\":[],\"id\":\"urn:proof:apply:FinalVelocity:b8f3a9b1e788566a2b55b7e93a2a9ddff40663b300713ca74220feacba477534\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:law:calc:mechanics#FinalVelocity\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"30\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s2\",\"value\":\"30\"},\"v3\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"s\",\"value\":\"5\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:calc:m3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m\",\"value\":\"525\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#displacement\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:Displacement:1d71817ddef341c10adec4aa74921823e4d857ee023e46b810c196a21a2838f9\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:829843417c4658a7e282ffee9813bdf361dbccad7072e338f7b14fc511120c7d\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:9d402e7ef954ff994ed8a8588eb1e541fff997c26aa149257a1a60c0bd1ac611\",\"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:law:calc:mechanics#displacement\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:5108772d3cf0df41d5810ad2b91907473c7294f02fd2f6a7a0f3602fdf3d1b56","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_initial_velocity"},"origin":"case_input","package":"urn:law:calc:mechanics"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_acceleration"},"origin":"case_input","package":"urn:law:calc:mechanics"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_elapsed_time"},"origin":"case_input","package":"urn:law:calc:mechanics"}],"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:13e1d6d1ac856d96b823cd5da2ba529ca16ba84774ea94aa753aae483ea1e779","kind":"world_ref","nodeCount":383,"packages":[{"artifactHash":"sha256:df31ae61c8f5be7559f69377dba746a437f413aa409281628f71b5d5e2e825b5","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","semanticHash":"sha256:b62b251be4f75c79b88cbde53b0ed048e9ca4091ffabcd37619f1c443ada429b"},{"artifactHash":"sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c","namespace":"urn:law:units:si","package":"units-si","semanticHash":"sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"}],"programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m","value":"525"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:9f2b4abfb5436f585e748bc77e33e73488f63026bfeedc106edad278216b205e"},"id":"displacement","kind":"truth","label":"Путь при равноускоренном движении","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:9f2b4abfb5436f585e748bc77e33e73488f63026bfeedc106edad278216b205e"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_initial_velocity"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"30"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_acceleration"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_elapsed_time"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m","value":"525"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"head":{"args":[{"kind":"var","var":"v0"},{"args":[{"kind":"binary","left":{"kind":"binary","left":{"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"},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v3"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"s"}],"function":"urn:law:std#unit_convert","kind":"call"}},"op":"add","right":{"kind":"binary","left":{"kind":"binary","left":{"kind":"binary","left":{"kind":"binary","left":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1},"op":"div","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":2}},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v2"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"m_per_s2"}],"function":"urn:law:std#unit_convert","kind":"call"}},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v3"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"s"}],"function":"urn:law:std#unit_convert","kind":"call"}},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v3"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"s"}],"function":"urn:law:std#unit_convert","kind":"call"}}},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"m"}],"function":"urn:law:std#quantity_of","kind":"call"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"id":"urn:proof:apply:Displacement:1d71817ddef341c10adec4aa74921823e4d857ee023e46b810c196a21a2838f9","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:law:calc:mechanics#Displacement","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m3","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"30"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s2","value":"30"},"v3":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"s","value":"5"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}},{"id":"v3","type":{"name":"urn:law:std#Quantity"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m","value":"525"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#displacement"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:Displacement:1d71817ddef341c10adec4aa74921823e4d857ee023e46b810c196a21a2838f9"],"trust":"engine"}],"symbols":[{"id":"urn:law:calc:mechanics#Calculation","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"name":"Calculation","package":"urn:law:calc:mechanics"},{"id":"urn:law:calc:mechanics#Displacement","kind":"rule","labels":[{"language":"en","status":"official","text":"x = v₀t + ½at²"},{"language":"ru","status":"unofficial","text":"x = v₀t + ½at²"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#FinalVelocity","kind":"rule","labels":[{"language":"en","status":"official","text":"v = v₀ + at"},{"language":"ru","status":"unofficial","text":"v = v₀ + at"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#displacement","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"x = v₀t + ½at² — the displacement under constant acceleration"},{"language":"ru","status":"unofficial","text":"x = v₀t + ½at² — перемещение при постоянном ускорении"}],"name":"displacement","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#displacement/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#displacement/arg/x","labels":[],"name":"x","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#final_velocity","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"v = v₀ + at — the final velocity under constant acceleration"},{"language":"ru","status":"unofficial","text":"v = v₀ + at — конечная скорость при постоянном ускорении"}],"name":"final_velocity","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#final_velocity/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#final_velocity/arg/v","labels":[],"name":"v","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_acceleration","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the constant acceleration given for the calculation"},{"language":"ru","status":"unofficial","text":"постоянное ускорение, данное для расчёта"}],"name":"given_acceleration","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_acceleration/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_acceleration/arg/a","labels":[],"name":"a","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_elapsed_time","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the elapsed time given for the calculation"},{"language":"ru","status":"unofficial","text":"истёкшее время, данное для расчёта"}],"name":"given_elapsed_time","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_elapsed_time/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_elapsed_time/arg/t","labels":[],"name":"t","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_initial_velocity","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the initial velocity given for the calculation"},{"language":"ru","status":"unofficial","text":"начальная скорость, данная для расчёта"}],"name":"given_initial_velocity","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_initial_velocity/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_initial_velocity/arg/v0","labels":[],"name":"v0","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:070f8c82582b7be712b408f606086bbbc9f8916c1fca1c6c76fecc49a57d0350","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:9d402e7ef954ff994ed8a8588eb1e541fff997c26aa149257a1a60c0bd1ac611","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:calc:m3","525 m"],"facts":[{"args":["urn:case:calc:m3","30 m_per_s"],"predicate":"given_initial_velocity"},{"args":["urn:case:calc:m3","30 m_per_s2"],"predicate":"given_acceleration"},{"args":["urn:case:calc:m3","5 s"],"predicate":"given_elapsed_time"}],"kind":"truth","legalTime":"2026-09-06","package":"calc-mechanics","predicate":"displacement","proof":true},"sources":[],"text":"displacement: **TRUE_ONLY** — установлено\nВыведено правом: displacement(urn:case:calc:m3, 525); final_velocity(urn:case:calc:m3, 180)\nПрименены правила: Displacement, FinalVelocity\nПраво (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)\nВместе с актами: units-si\nproof-граф: 6 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["kinetic_energy(urn:case:calc:m5, 200)","momentum(urn:case:calc:m5, 40)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg","value":"4"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"10"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_mass_and_speed"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#kinetic_energy"},"evidence":[],"id":"urn:proof:apply:KineticEnergy:905fbe5923c46dab022f2b33d31a1b4a9719e36b911be7c235d6a589419a02aa","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#KineticEnergy","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m5","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg","value":"4"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"10"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg_m_per_s","value":"40"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#momentum"},"evidence":[],"id":"urn:proof:apply:Momentum:f5886b2b0f38737106a6cf0dacc2ea064ecc31bbb91e7282402e855f707c7a1e","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#Momentum","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m5","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg","value":"4"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"10"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#kinetic_energy"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:KineticEnergy:905fbe5923c46dab022f2b33d31a1b4a9719e36b911be7c235d6a589419a02aa"],"sourceAnchors":[]}],"proofHash":"sha256:8377250384f804770f23d978641dfae94af35e67e3a5c2cc77e68facbe284084","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:2adedd9fe02f56b1f4d7560ee55aca1efe59b42070f9bee6e842635905f21288","schemaVersion":"law.core.evaluation/0.1"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:cd9e3daa76d7adfb32039df658c4c673d90d471bcc4e71e48c09bce279719bcc","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:2adedd9fe02f56b1f4d7560ee55aca1efe59b42070f9bee6e842635905f21288","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:law:calc:mechanics#KineticEnergy","urn:law:calc:mechanics#Momentum"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"labels":[],"name":"k","type":{"name":"urn:law:std#Quantity"}}],"predicate":"urn:law:calc:mechanics#kinetic_energy","schemaVersion":"law.answers.signature/0.1","types":{"urn:law:calc:mechanics#Calculation":{"kind":"entity","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"namespace":"urn:law:calc:mechanics","package":"calc.mechanics"},"urn:law:std#Quantity":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:cd9e3daa76d7adfb32039df658c4c673d90d471bcc4e71e48c09bce279719bcc\",\"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:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:0162ba49aeea60cd811b246b551b2318049f6bc9368c8c48da6486c7af905448\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m5\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"kg\",\"value\":\"4\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"10\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_mass_and_speed\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m5\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"200\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#kinetic_energy\"},\"evidence\":[],\"id\":\"urn:proof:apply:KineticEnergy:905fbe5923c46dab022f2b33d31a1b4a9719e36b911be7c235d6a589419a02aa\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:law:calc:mechanics#KineticEnergy\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m5\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"kg\",\"value\":\"4\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"10\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m5\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"kg_m_per_s\",\"value\":\"40\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#momentum\"},\"evidence\":[],\"id\":\"urn:proof:apply:Momentum:f5886b2b0f38737106a6cf0dacc2ea064ecc31bbb91e7282402e855f707c7a1e\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:law:calc:mechanics#Momentum\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m5\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"kg\",\"value\":\"4\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"m_per_s\",\"value\":\"10\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:calc:m5\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"200\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#kinetic_energy\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:KineticEnergy:905fbe5923c46dab022f2b33d31a1b4a9719e36b911be7c235d6a589419a02aa\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:8377250384f804770f23d978641dfae94af35e67e3a5c2cc77e68facbe284084\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:2adedd9fe02f56b1f4d7560ee55aca1efe59b42070f9bee6e842635905f21288\",\"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:law:calc:mechanics#kinetic_energy\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:af3f7ff601fc227e9a87260f892e0c5e12bc1eba7c8661b0b76f2c9925cda2b3","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg","value":"4"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"10"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_mass_and_speed"},"origin":"case_input","package":"urn:law:calc:mechanics"}],"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:13e1d6d1ac856d96b823cd5da2ba529ca16ba84774ea94aa753aae483ea1e779","kind":"world_ref","nodeCount":383,"packages":[{"artifactHash":"sha256:df31ae61c8f5be7559f69377dba746a437f413aa409281628f71b5d5e2e825b5","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","semanticHash":"sha256:b62b251be4f75c79b88cbde53b0ed048e9ca4091ffabcd37619f1c443ada429b"},{"artifactHash":"sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c","namespace":"urn:law:units:si","package":"units-si","semanticHash":"sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"}],"programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#kinetic_energy"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:43e57283341377d90738e9cf8fd2041ce19d3591dcc2158a808be04829df7eb0"},"id":"kinetic","kind":"truth","label":"Кинетическая энергия","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:43e57283341377d90738e9cf8fd2041ce19d3591dcc2158a808be04829df7eb0"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg","value":"4"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"10"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_mass_and_speed"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#kinetic_energy"},"head":{"args":[{"kind":"var","var":"v0"},{"args":[{"kind":"binary","left":{"kind":"binary","left":{"kind":"binary","left":{"kind":"binary","left":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1},"op":"div","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":2}},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v1"}],"function":"urn:law:std#magnitude","kind":"call"},{"kind":"value","type":{"name":"urn:law:std#Text"},"value":"kg"}],"function":"urn:law:std#unit_convert","kind":"call"}},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v2"}],"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"}},"op":"mul","right":{"args":[{"args":[{"kind":"var","var":"v2"}],"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":"J"}],"function":"urn:law:std#quantity_of","kind":"call"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#kinetic_energy"},"id":"urn:proof:apply:KineticEnergy:905fbe5923c46dab022f2b33d31a1b4a9719e36b911be7c235d6a589419a02aa","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#KineticEnergy","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m5","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"kg","value":"4"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"m_per_s","value":"10"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m5","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#kinetic_energy"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:KineticEnergy:905fbe5923c46dab022f2b33d31a1b4a9719e36b911be7c235d6a589419a02aa"],"trust":"engine"}],"symbols":[{"id":"urn:law:calc:mechanics#Calculation","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"name":"Calculation","package":"urn:law:calc:mechanics"},{"id":"urn:law:calc:mechanics#KineticEnergy","kind":"rule","labels":[{"language":"en","status":"official","text":"K = ½mv²"},{"language":"ru","status":"unofficial","text":"K = ½mv²"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#Momentum","kind":"rule","labels":[{"language":"en","status":"official","text":"p = mv"},{"language":"ru","status":"unofficial","text":"p = mv"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#given_mass_and_speed","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the mass and the speed given for the calculation"},{"language":"ru","status":"unofficial","text":"масса и путевая скорость, данные для расчёта"}],"name":"given_mass_and_speed","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_mass_and_speed/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_mass_and_speed/arg/m","labels":[],"name":"m","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:law:calc:mechanics#given_mass_and_speed/arg/v","labels":[],"name":"v","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#kinetic_energy","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"K = ½mv² — the kinetic energy"},{"language":"ru","status":"unofficial","text":"K = ½mv² — кинетическая энергия"}],"name":"kinetic_energy","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#kinetic_energy/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#kinetic_energy/arg/k","labels":[],"name":"k","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#momentum","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"p = mv — the linear momentum"},{"language":"ru","status":"unofficial","text":"p = mv — импульс"}],"name":"momentum","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#momentum/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#momentum/arg/p","labels":[],"name":"p","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:cd9e3daa76d7adfb32039df658c4c673d90d471bcc4e71e48c09bce279719bcc","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:2adedd9fe02f56b1f4d7560ee55aca1efe59b42070f9bee6e842635905f21288","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:calc:m5","200 J"],"facts":[{"args":["urn:case:calc:m5","4 kg","10 m_per_s"],"predicate":"given_mass_and_speed"}],"kind":"truth","legalTime":"2026-09-06","package":"calc-mechanics","predicate":"kinetic_energy","proof":true},"sources":[],"text":"kinetic_energy: **TRUE_ONLY** — установлено\nВыведено правом: kinetic_energy(urn:case:calc:m5, 200); momentum(urn:case:calc:m5, 40)\nПрименены правила: KineticEnergy, Momentum\nПраво (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)\nВместе с актами: units-si\nproof-граф: 4 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["efficiency(urn:case:calc:m7, 2/5)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_work_and_heat"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"2/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"evidence":[],"id":"urn:proof:apply:Efficiency:88ad2c0fe350590e8372e56023b2458b4b18b3b033914a4c7baf68fcd5fecd33","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#Efficiency","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m7","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"2/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:Efficiency:88ad2c0fe350590e8372e56023b2458b4b18b3b033914a4c7baf68fcd5fecd33"],"sourceAnchors":[]}],"proofHash":"sha256:abdbcea6862cb4a82b06d0d8a12a6b3829c37ac3ee9a68d6692f657b4f1b1c56","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:82bec7d215a190c7e8eaab7c56a4ceb4db6c0607b8676ff450fdf6dc6445a4c2","schemaVersion":"law.core.evaluation/0.1"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:589584b05a4799f6cf41e6faa34b9c71e8245a80e688162fb691fb2f7e2d149c","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:82bec7d215a190c7e8eaab7c56a4ceb4db6c0607b8676ff450fdf6dc6445a4c2","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:law:calc:mechanics#Efficiency"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"labels":[],"name":"value","type":{"name":"urn:law:std#Rational"}}],"predicate":"urn:law:calc:mechanics#efficiency","schemaVersion":"law.answers.signature/0.1","types":{"urn:law:calc:mechanics#Calculation":{"kind":"entity","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"namespace":"urn:law:calc:mechanics","package":"calc.mechanics"},"urn:law:std#Rational":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:589584b05a4799f6cf41e6faa34b9c71e8245a80e688162fb691fb2f7e2d149c\",\"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:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:f2a2f5d8897c13dd7b63b12b8f583e62e01e9de2f86b44276dd5e69cce5e57ed\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"200\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_work_and_heat\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"2/5\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#efficiency\"},\"evidence\":[],\"id\":\"urn:proof:apply:Efficiency:88ad2c0fe350590e8372e56023b2458b4b18b3b033914a4c7baf68fcd5fecd33\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:law:calc:mechanics#Efficiency\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"200\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"J\",\"value\":\"500\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"2/5\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#efficiency\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:Efficiency:88ad2c0fe350590e8372e56023b2458b4b18b3b033914a4c7baf68fcd5fecd33\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:abdbcea6862cb4a82b06d0d8a12a6b3829c37ac3ee9a68d6692f657b4f1b1c56\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:82bec7d215a190c7e8eaab7c56a4ceb4db6c0607b8676ff450fdf6dc6445a4c2\",\"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:law:calc:mechanics#efficiency\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:986bee4a1acd4a18b86bc12340f2ed9c9d8dc2e9620ab69a4afdb156d22883a4","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_work_and_heat"},"origin":"case_input","package":"urn:law:calc:mechanics"}],"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:13e1d6d1ac856d96b823cd5da2ba529ca16ba84774ea94aa753aae483ea1e779","kind":"world_ref","nodeCount":383,"packages":[{"artifactHash":"sha256:df31ae61c8f5be7559f69377dba746a437f413aa409281628f71b5d5e2e825b5","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","semanticHash":"sha256:b62b251be4f75c79b88cbde53b0ed048e9ca4091ffabcd37619f1c443ada429b"},{"artifactHash":"sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c","namespace":"urn:law:units:si","package":"units-si","semanticHash":"sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"}],"programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"2/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:8e7ac84cc157c5b6081cab2a577d5a1fa6cedd21f09e700a9d3e9ce33025c935"},"id":"efficiency","kind":"truth","label":"КПД машины","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:8e7ac84cc157c5b6081cab2a577d5a1fa6cedd21f09e700a9d3e9ce33025c935"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_work_and_heat"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"2/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"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"}}],"function":"urn:law:std#scalar_of","kind":"call"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"id":"urn:proof:apply:Efficiency:88ad2c0fe350590e8372e56023b2458b4b18b3b033914a4c7baf68fcd5fecd33","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#Efficiency","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m7","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"200"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"J","value":"500"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"2/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:Efficiency:88ad2c0fe350590e8372e56023b2458b4b18b3b033914a4c7baf68fcd5fecd33"],"trust":"engine"}],"symbols":[{"id":"urn:law:calc:mechanics#Calculation","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"name":"Calculation","package":"urn:law:calc:mechanics"},{"id":"urn:law:calc:mechanics#Efficiency","kind":"rule","labels":[{"language":"en","status":"official","text":"efficiency is the ratio of work to absorbed heat — the units cancel"},{"language":"ru","status":"unofficial","text":"КПД есть отношение работы к поглощённой теплоте — единицы сокращаются"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#efficiency","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the efficiency — work divided by absorbed heat; dimensionless"},{"language":"ru","status":"unofficial","text":"КПД — работа, делённая на поглощённую теплоту; безразмерен"}],"name":"efficiency","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#efficiency/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#efficiency/arg/value","labels":[],"name":"value","type":{"name":"urn:law:std#Rational"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_work_and_heat","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the work performed and the heat absorbed, both as energies"},{"language":"ru","status":"unofficial","text":"совершённая работа и поглощённая теплота — обе как энергии"}],"name":"given_work_and_heat","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_work_and_heat/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_work_and_heat/arg/w","labels":[],"name":"w","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:law:calc:mechanics#given_work_and_heat/arg/q","labels":[],"name":"q","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:589584b05a4799f6cf41e6faa34b9c71e8245a80e688162fb691fb2f7e2d149c","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:82bec7d215a190c7e8eaab7c56a4ceb4db6c0607b8676ff450fdf6dc6445a4c2","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:calc:m7",{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"2/5"}],"facts":[{"args":["urn:case:calc:m7","200 J","500 J"],"predicate":"given_work_and_heat"}],"kind":"truth","legalTime":"2026-09-06","package":"calc-mechanics","predicate":"efficiency","proof":true},"sources":[],"text":"efficiency: **TRUE_ONLY** — установлено\nВыведено правом: efficiency(urn:case:calc:m7, 2/5)\nПрименены правила: Efficiency\nПраво (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)\nВместе с актами: units-si\nproof-граф: 3 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["carnot_limit(urn:case:calc:m7, 1/2)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_reservoir_temperatures"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"evidence":[],"id":"urn:proof:apply:CarnotLimit:3bc89ee3182ca538c4d850b15a774159ad520d6baa330c8bc643b30d0d5ca3b6","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#CarnotLimit","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m7","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:CarnotLimit:3bc89ee3182ca538c4d850b15a774159ad520d6baa330c8bc643b30d0d5ca3b6"],"sourceAnchors":[]}],"proofHash":"sha256:53a163aad3453bae9b181c050fc7ad265937441b52b819c812e4bf649bb4a8ec","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:c3db422a0add8152e4fd3cbff7e10329c6ab2a542eae9c72ca913acea2aff3cc","schemaVersion":"law.core.evaluation/0.1"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:745cf58350b6a4e30349ae12f459ae296fcf5c14cdcdadb0a82a69b7cea2c646","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:c3db422a0add8152e4fd3cbff7e10329c6ab2a542eae9c72ca913acea2aff3cc","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:law:calc:mechanics#CarnotLimit"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"labels":[],"name":"value","type":{"name":"urn:law:std#Rational"}}],"predicate":"urn:law:calc:mechanics#carnot_limit","schemaVersion":"law.answers.signature/0.1","types":{"urn:law:calc:mechanics#Calculation":{"kind":"entity","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"namespace":"urn:law:calc:mechanics","package":"calc.mechanics"},"urn:law:std#Rational":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:745cf58350b6a4e30349ae12f459ae296fcf5c14cdcdadb0a82a69b7cea2c646\",\"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:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:cb413e987f9cf50abd4b1eac85fe1996c1c5ac4dad89f8433b2c2ea116fb21f1\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"300\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"600\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_reservoir_temperatures\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"1/2\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#carnot_limit\"},\"evidence\":[],\"id\":\"urn:proof:apply:CarnotLimit:3bc89ee3182ca538c4d850b15a774159ad520d6baa330c8bc643b30d0d5ca3b6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:law:calc:mechanics#CarnotLimit\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"300\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"600\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:calc:m7\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"1/2\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#carnot_limit\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:CarnotLimit:3bc89ee3182ca538c4d850b15a774159ad520d6baa330c8bc643b30d0d5ca3b6\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:53a163aad3453bae9b181c050fc7ad265937441b52b819c812e4bf649bb4a8ec\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:c3db422a0add8152e4fd3cbff7e10329c6ab2a542eae9c72ca913acea2aff3cc\",\"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:law:calc:mechanics#carnot_limit\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:a742a9c88f7eaf85ba3453c1f28b669af70cd73fbdf462a8888298754d5c87df","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_reservoir_temperatures"},"origin":"case_input","package":"urn:law:calc:mechanics"}],"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:13e1d6d1ac856d96b823cd5da2ba529ca16ba84774ea94aa753aae483ea1e779","kind":"world_ref","nodeCount":383,"packages":[{"artifactHash":"sha256:df31ae61c8f5be7559f69377dba746a437f413aa409281628f71b5d5e2e825b5","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","semanticHash":"sha256:b62b251be4f75c79b88cbde53b0ed048e9ca4091ffabcd37619f1c443ada429b"},{"artifactHash":"sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c","namespace":"urn:law:units:si","package":"units-si","semanticHash":"sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"}],"programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:68ae3995b7a4a853793bdff7aacf1e925c452cf71869907ad9a496317c08c4f5"},"id":"carnot","kind":"truth","label":"Предел Карно","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:68ae3995b7a4a853793bdff7aacf1e925c452cf71869907ad9a496317c08c4f5"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_reservoir_temperatures"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"binary","left":{"kind":"binary","left":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1},"op":"div","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1}},"op":"sub","right":{"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"}}],"function":"urn:law:std#scalar_of","kind":"call"}}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"id":"urn:proof:apply:CarnotLimit:3bc89ee3182ca538c4d850b15a774159ad520d6baa330c8bc643b30d0d5ca3b6","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#CarnotLimit","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m7","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m7","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:CarnotLimit:3bc89ee3182ca538c4d850b15a774159ad520d6baa330c8bc643b30d0d5ca3b6"],"trust":"engine"}],"symbols":[{"id":"urn:law:calc:mechanics#Calculation","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"name":"Calculation","package":"urn:law:calc:mechanics"},{"id":"urn:law:calc:mechanics#CarnotLimit","kind":"rule","labels":[{"language":"en","status":"official","text":"the Carnot limit is one minus the ratio of the cold to the hot reservoir temperature"},{"language":"ru","status":"unofficial","text":"предел Карно есть единица минус отношение температуры холодного резервуара к горячему"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#carnot_limit","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Carnot limit 1 − T_c/T_h — the greatest efficiency possible between these reservoirs"},{"language":"ru","status":"unofficial","text":"предел Карно 1 − T_c/T_h — наибольший возможный КПД между этими резервуарами"}],"name":"carnot_limit","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#carnot_limit/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#carnot_limit/arg/value","labels":[],"name":"value","type":{"name":"urn:law:std#Rational"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_reservoir_temperatures","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the temperatures of the cold and the hot reservoir"},{"language":"ru","status":"unofficial","text":"температуры холодного и горячего резервуаров"}],"name":"given_reservoir_temperatures","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_reservoir_temperatures/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_reservoir_temperatures/arg/cold","labels":[],"name":"cold","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:law:calc:mechanics#given_reservoir_temperatures/arg/hot","labels":[],"name":"hot","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:745cf58350b6a4e30349ae12f459ae296fcf5c14cdcdadb0a82a69b7cea2c646","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:c3db422a0add8152e4fd3cbff7e10329c6ab2a542eae9c72ca913acea2aff3cc","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:calc:m7",{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"facts":[{"args":["urn:case:calc:m7","300 K","600 K"],"predicate":"given_reservoir_temperatures"}],"kind":"truth","legalTime":"2026-09-06","package":"calc-mechanics","predicate":"carnot_limit","proof":true},"sources":[],"text":"carnot_limit: **TRUE_ONLY** — установлено\nВыведено правом: carnot_limit(urn:case:calc:m7, 1/2)\nПрименены правила: CarnotLimit\nПраво (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)\nВместе с актами: units-si\nproof-граф: 3 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["efficiency(urn:case:calc:m10, 3/5)","carnot_limit(urn:case:calc:m10, 1/2)","efficiency_exceeds_carnot_limit(urn:case:calc:m10)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:case:calc:m10","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":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_work_and_heat"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"evidence":[],"id":"urn:proof:apply:Efficiency:9d66f82f0e837e8ac0bb3a1a17ca74e9af9f765b90376b95313eefd90ca2c05d","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#Efficiency","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m10","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":"500"}}},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_reservoir_temperatures"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"evidence":[],"id":"urn:proof:apply:CarnotLimit:d3b1cff4829346e098f6d89d50d2388c6b4ac827c80e57f4460cec9730b4f72f","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:law:calc:mechanics#CarnotLimit","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m10","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit"},"evidence":[],"id":"urn:proof:apply:EfficiencyAboveLimit:8c11bc0b559d4de888cd4bf7e065d04540a4195a875344b1e8a83e52802ae4f5","kind":"rule_application","premises":["urn:proof:apply:CarnotLimit:d3b1cff4829346e098f6d89d50d2388c6b4ac827c80e57f4460cec9730b4f72f","urn:proof:apply:Efficiency:9d66f82f0e837e8ac0bb3a1a17ca74e9af9f765b90376b95313eefd90ca2c05d"],"rule":"urn:law:calc:mechanics#EfficiencyAboveLimit","sourceAnchors":[],"substitution":{"v0":{"id":"urn:case:calc:m10","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/5"},"v2":{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:EfficiencyAboveLimit:8c11bc0b559d4de888cd4bf7e065d04540a4195a875344b1e8a83e52802ae4f5"],"sourceAnchors":[]}],"proofHash":"sha256:f1c5c0dfd5bbc5d6dea9735d31feb9402bb91c679b811ca5ecd23e9a32edc09c","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:2e0944ffe3e827a7cb1680300b1cd6fb4d5fee1e6b93265e804bcfc2191702ae","schemaVersion":"law.core.evaluation/0.1"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:4944a093c02651e1bebf958ec570197763a61f275247f603c5c3f148a0171ebf","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:2e0944ffe3e827a7cb1680300b1cd6fb4d5fee1e6b93265e804bcfc2191702ae","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:law:calc:mechanics#CarnotLimit","urn:law:calc:mechanics#Efficiency","urn:law:calc:mechanics#EfficiencyAboveLimit"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}}],"predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit","schemaVersion":"law.answers.signature/0.1","types":{"urn:law:calc:mechanics#Calculation":{"kind":"entity","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"namespace":"urn:law:calc:mechanics","package":"calc.mechanics"}},"vocab":{}},"vulnerableTo":[{"anchors":[],"label":"an efficiency not exceeding the Carnot limit does not exceed it","missing":["v1 ≤ v2","efficiency(urn:case:calc:m10, v1)","carnot_limit(urn:case:calc:m10, v2)"],"premises":[{"note":"терм-гард: операнды не связаны фактами","premise":"v1 ≤ v2","status":"DEPENDS"},{"note":"зависит от несвязанной переменной","premise":"efficiency(urn:case:calc:m10, v1)","status":"DEPENDS"},{"note":"зависит от несвязанной переменной","premise":"carnot_limit(urn:case:calc:m10, v2)","status":"DEPENDS"}],"rule":"EfficiencyWithinLimit"}],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:4944a093c02651e1bebf958ec570197763a61f275247f603c5c3f148a0171ebf\",\"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:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:49c970087a7c1eb8e06f9b705da2376303560bc5a17b57e7277e9d717f97716a\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m10\",\"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\":\"500\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_work_and_heat\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/5\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#efficiency\"},\"evidence\":[],\"id\":\"urn:proof:apply:Efficiency:9d66f82f0e837e8ac0bb3a1a17ca74e9af9f765b90376b95313eefd90ca2c05d\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:law:calc:mechanics#Efficiency\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m10\",\"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\":\"500\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"300\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"600\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#given_reservoir_temperatures\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"1/2\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#carnot_limit\"},\"evidence\":[],\"id\":\"urn:proof:apply:CarnotLimit:d3b1cff4829346e098f6d89d50d2388c6b4ac827c80e57f4460cec9730b4f72f\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:law:calc:mechanics#CarnotLimit\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"300\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Quantity\"},\"unit\":\"K\",\"value\":\"600\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit\"},\"evidence\":[],\"id\":\"urn:proof:apply:EfficiencyAboveLimit:8c11bc0b559d4de888cd4bf7e065d04540a4195a875344b1e8a83e52802ae4f5\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:CarnotLimit:d3b1cff4829346e098f6d89d50d2388c6b4ac827c80e57f4460cec9730b4f72f\",\"urn:proof:apply:Efficiency:9d66f82f0e837e8ac0bb3a1a17ca74e9af9f765b90376b95313eefd90ca2c05d\"],\"rule\":\"urn:law:calc:mechanics#EfficiencyAboveLimit\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/5\"},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"1/2\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:calc:m10\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:EfficiencyAboveLimit:8c11bc0b559d4de888cd4bf7e065d04540a4195a875344b1e8a83e52802ae4f5\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:f1c5c0dfd5bbc5d6dea9735d31feb9402bb91c679b811ca5ecd23e9a32edc09c\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:2e0944ffe3e827a7cb1680300b1cd6fb4d5fee1e6b93265e804bcfc2191702ae\",\"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:law:calc:mechanics#efficiency_exceeds_carnot_limit\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:930311748e3329d590e03f2bcd332861d0f42bfd8fe25d032721b4ad2b4277ce","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m10","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":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_work_and_heat"},"origin":"case_input","package":"urn:law:calc:mechanics"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_reservoir_temperatures"},"origin":"case_input","package":"urn:law:calc:mechanics"}],"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:13e1d6d1ac856d96b823cd5da2ba529ca16ba84774ea94aa753aae483ea1e779","kind":"world_ref","nodeCount":383,"packages":[{"artifactHash":"sha256:df31ae61c8f5be7559f69377dba746a437f413aa409281628f71b5d5e2e825b5","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","semanticHash":"sha256:b62b251be4f75c79b88cbde53b0ed048e9ca4091ffabcd37619f1c443ada429b"},{"artifactHash":"sha256:3b33d25347892dc1711d98e876c75dd0d81212b1a360578d16b430b29ea8021c","namespace":"urn:law:units:si","package":"units-si","semanticHash":"sha256:357bcf490815695e09523fdb8e181efe6f6514fe77bfd9cfa582dc75b7c54254"}],"programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:9d2386be8ee9be505093ae4e846391767a47db511bcfa61526d9ed2fa48699ef"},"id":"above","kind":"truth","label":"Превышение предела Карно","presentation":{"blockers":{"vulnerableTo":[{"anchors":[],"label":"an efficiency not exceeding the Carnot limit does not exceed it","premises":[{"missing":true,"status":"DEPENDS","text":"v1 ≤ v2"},{"args":["urn:case:calc:m10","v1"],"missing":true,"predicate":"efficiency","predicateId":"urn:law:calc:mechanics#efficiency","status":"DEPENDS","text":"efficiency(urn:case:calc:m10, v1)"},{"args":["urn:case:calc:m10","v2"],"missing":true,"predicate":"carnot_limit","predicateId":"urn:law:calc:mechanics#carnot_limit","status":"DEPENDS","text":"carnot_limit(urn:case:calc:m10, v2)"}],"rule":"EfficiencyWithinLimit","ruleId":"urn:law:calc:mechanics#EfficiencyWithinLimit"}]},"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:9d2386be8ee9be505093ae4e846391767a47db511bcfa61526d9ed2fa48699ef"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m10","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":"500"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_work_and_heat"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/5"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"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"}}],"function":"urn:law:std#scalar_of","kind":"call"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency"},"id":"urn:proof:apply:Efficiency:9d66f82f0e837e8ac0bb3a1a17ca74e9af9f765b90376b95313eefd90ca2c05d","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:law:calc:mechanics#Efficiency","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m10","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":"500"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}}]},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#given_reservoir_temperatures"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"binary","left":{"kind":"binary","left":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1},"op":"div","right":{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1}},"op":"sub","right":{"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"}}],"function":"urn:law:std#scalar_of","kind":"call"}}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#carnot_limit"},"id":"urn:proof:apply:CarnotLimit:d3b1cff4829346e098f6d89d50d2388c6b4ac827c80e57f4460cec9730b4f72f","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:law:calc:mechanics#CarnotLimit","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m10","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"300"},"v2":{"kind":"value","type":{"name":"urn:law:std#Quantity"},"unit":"K","value":"600"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Quantity"}},{"id":"v2","type":{"name":"urn:law:std#Quantity"}}]},{"conclusion":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit"},"id":"urn:proof:apply:EfficiencyAboveLimit:8c11bc0b559d4de888cd4bf7e065d04540a4195a875344b1e8a83e52802ae4f5","kind":"rule_application","originStatus":"available","premises":["urn:proof:apply:CarnotLimit:d3b1cff4829346e098f6d89d50d2388c6b4ac827c80e57f4460cec9730b4f72f","urn:proof:apply:Efficiency:9d66f82f0e837e8ac0bb3a1a17ca74e9af9f765b90376b95313eefd90ca2c05d"],"rule":"urn:law:calc:mechanics#EfficiencyAboveLimit","strength":"strict","substitution":{"v0":{"id":"urn:case:calc:m10","kind":"entity_ref"},"v1":{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/5"},"v2":{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/2"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"v1","type":{"name":"urn:law:std#Rational"}},{"id":"v2","type":{"name":"urn:law:std#Rational"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:calc:m10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:EfficiencyAboveLimit:8c11bc0b559d4de888cd4bf7e065d04540a4195a875344b1e8a83e52802ae4f5"],"trust":"engine"}],"symbols":[{"id":"urn:law:calc:mechanics#Calculation","kind":"type_decl","labels":[{"language":"en","status":"official","text":"a calculation the case presents: the given quantities and the question asked of them"},{"language":"ru","status":"unofficial","text":"расчёт, предъявленный делом: данные величины и вопрос, заданный о них"}],"name":"Calculation","package":"urn:law:calc:mechanics"},{"id":"urn:law:calc:mechanics#CarnotLimit","kind":"rule","labels":[{"language":"en","status":"official","text":"the Carnot limit is one minus the ratio of the cold to the hot reservoir temperature"},{"language":"ru","status":"unofficial","text":"предел Карно есть единица минус отношение температуры холодного резервуара к горячему"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#Efficiency","kind":"rule","labels":[{"language":"en","status":"official","text":"efficiency is the ratio of work to absorbed heat — the units cancel"},{"language":"ru","status":"unofficial","text":"КПД есть отношение работы к поглощённой теплоте — единицы сокращаются"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#EfficiencyAboveLimit","kind":"rule","labels":[{"language":"en","status":"official","text":"an efficiency greater than the Carnot limit is impossible"},{"language":"ru","status":"unofficial","text":"КПД, больший предела Карно, невозможен"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#EfficiencyWithinLimit","kind":"rule","labels":[{"language":"en","status":"official","text":"an efficiency not exceeding the Carnot limit does not exceed it"},{"language":"ru","status":"unofficial","text":"КПД, не превосходящий предела Карно, его не превосходит"}],"package":"urn:law:calc:mechanics","strength":"strict"},{"id":"urn:law:calc:mechanics#carnot_limit","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the Carnot limit 1 − T_c/T_h — the greatest efficiency possible between these reservoirs"},{"language":"ru","status":"unofficial","text":"предел Карно 1 − T_c/T_h — наибольший возможный КПД между этими резервуарами"}],"name":"carnot_limit","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#carnot_limit/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#carnot_limit/arg/value","labels":[],"name":"value","type":{"name":"urn:law:std#Rational"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#efficiency","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the efficiency — work divided by absorbed heat; dimensionless"},{"language":"ru","status":"unofficial","text":"КПД — работа, делённая на поглощённую теплоту; безразмерен"}],"name":"efficiency","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#efficiency/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#efficiency/arg/value","labels":[],"name":"value","type":{"name":"urn:law:std#Rational"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the given efficiency exceeds the Carnot limit — no such engine is possible"},{"language":"ru","status":"unofficial","text":"данный КПД превосходит предел Карно — такая машина невозможна"}],"name":"efficiency_exceeds_carnot_limit","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#efficiency_exceeds_carnot_limit/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_reservoir_temperatures","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the temperatures of the cold and the hot reservoir"},{"language":"ru","status":"unofficial","text":"температуры холодного и горячего резервуаров"}],"name":"given_reservoir_temperatures","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_reservoir_temperatures/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_reservoir_temperatures/arg/cold","labels":[],"name":"cold","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:law:calc:mechanics#given_reservoir_temperatures/arg/hot","labels":[],"name":"hot","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"},{"id":"urn:law:calc:mechanics#given_work_and_heat","kind":"symbol_decl","labels":[{"language":"en","status":"official","text":"the work performed and the heat absorbed, both as energies"},{"language":"ru","status":"unofficial","text":"совершённая работа и поглощённая теплота — обе как энергии"}],"name":"given_work_and_heat","package":"urn:law:calc:mechanics","parameters":[{"id":"urn:law:calc:mechanics#given_work_and_heat/arg/c","labels":[],"name":"c","type":{"name":"urn:law:calc:mechanics#Calculation"}},{"id":"urn:law:calc:mechanics#given_work_and_heat/arg/w","labels":[],"name":"w","type":{"name":"urn:law:std#Quantity"}},{"id":"urn:law:calc:mechanics#given_work_and_heat/arg/q","labels":[],"name":"q","type":{"name":"urn:law:std#Quantity"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":"none","namespace":"urn:law:calc:mechanics","package":"calc-mechanics","title":"calc-mechanics"},{"contributed":false,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:law:units:si","package":"units-si","title":"units-si"}],"caseHash":"sha256:4944a093c02651e1bebf958ec570197763a61f275247f603c5c3f148a0171ebf","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:0402ab611e2a073ec4ae0b3ab9cc9496e5b9b3fc4dba3c4b8c2081856bb7291a","resultHash":"sha256:2e0944ffe3e827a7cb1680300b1cd6fb4d5fee1e6b93265e804bcfc2191702ae","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:calc:m10"],"facts":[{"args":["urn:case:calc:m10","300 J","500 J"],"predicate":"given_work_and_heat"},{"args":["urn:case:calc:m10","300 K","600 K"],"predicate":"given_reservoir_temperatures"}],"kind":"truth","legalTime":"2026-09-06","package":"calc-mechanics","predicate":"efficiency_exceeds_carnot_limit","proof":true},"sources":[],"text":"efficiency_exceeds_carnot_limit: **TRUE_ONLY** — установлено\nВыведено правом: efficiency(urn:case:calc:m10, 3/5); carnot_limit(urn:case:calc:m10, 1/2); efficiency_exceeds_carnot_limit(urn:case:calc:m10)\nПрименены правила: CarnotLimit, Efficiency, EfficiencyAboveLimit\nОтвет поражаем правилом «an efficiency not exceeding the Carnot limit does not exceed it» — оно отменило бы вывод, будь установлено: v1 ≤ v2; efficiency(urn:case:calc:m10, v1); carnot_limit(urn:case:calc:m10, v2)\n(поражающее правило не сработало из-за неустановленных фактов — подайте их в facts, если они есть в деле)\nПраво (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)\nВместе с актами: units-si\nproof-граф: 6 узлов — поле evaluation готово для law_explain"}],"language":"ru","question":{"origin":"user","text":"Разгон из состояния покоя, путь при равноускоренном движении, кинетическая энергия, а также КПД машины против предела Карно между резервуарами 300 и 600 К."},"schemaVersion":"law.answers.document/0.1"}