Condition
Конечная скорость разгона
Context date 2026-09-06
Calculation result
Established
Input parameters
What we are finding
v = v₀ + at — the final velocity under constant acceleration
m1400 m_per_s
Input facts
a calculation the case presents: the given quantities and the question asked of them
c: m1Subject shared by the facts below
the initial velocity given for the calculation
v0: 0 m_per_sthe constant acceleration given for the calculation
a: 20 m_per_s2the elapsed time given for the calculation
t: 20 s
Package: calc-mechanics
Additional details
- Include proof
- Yes
Original data · JSON
{
"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
}Why this resultApplied rules and conditions
Derivation path5 steps
- 1case fact
the initial velocity given for the calculation
c: urn:case:calc:m1; v0: 0 m_per_s
- 2case fact
the constant acceleration given for the calculation
c: urn:case:calc:m1; a: 20 m_per_s2
- 3case fact
the elapsed time given for the calculation
c: urn:case:calc:m1; t: 20 s
- 4rule
v = v₀ + at
400 m_per_s = (0 m_per_s → m_per_s) + (20 m_per_s2 → m_per_s2) × (20 s → s)
Identifier
urn:law:calc:mechanics#FinalVelocity - 5query
Query evaluation
verified by the engine: 2 · case fact: 3 · Full graph: 6 nodes
Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.
Basis of this answer
Rules on the saved proof path for this answer.
calc-mechanics
v = v₀ + at
Identifier
urn:law:calc:mechanics#FinalVelocity
Other rules in the evaluation1
Applied in the overall evaluation, but not on the proof path for this answer.
calc-mechanics
x = v₀t + ½at²
Identifier
urn:law:calc:mechanics#Displacement
Other derived facts2
a calculation the case presents: the given quantities and the question asked of them
c: m1Subject shared by the facts below
x = v₀t + ½at² — the displacement under constant acceleration
x: 4000v = v₀ + at — the final velocity under constant acceleration
v: 400
| c | x |
|---|---|
| m1 | 4000 |
| c | v |
|---|---|
| m1 | 400 |
0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.
Proof graph
Proof nodes: 6 · assertion 3, rule_application 2, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Arguments
- Identifier
- m1
- Type
- entity_ref
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s
- value
- 0
- Type
- literal
- Polarity
- positive
- Condition
- given_initial_velocity
- evidence
- —
- Identifier
- fact-1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Arguments
- Identifier
- m1
- Type
- entity_ref
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s2
- value
- 20
- Type
- literal
- Polarity
- positive
- Condition
- given_acceleration
- evidence
- —
- Identifier
- fact-2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Arguments
- Identifier
- m1
- Type
- entity_ref
- Type
- value
- type
- name
- Quantity
- Time unit
- s
- value
- 20
- Type
- literal
- Polarity
- positive
- Condition
- given_elapsed_time
- evidence
- —
- Identifier
- fact-3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:Displacement:6b680668b2e765991940e268de3e3296675473aeb7fb52d9ae6877c756ebf610
- attributes
- —
- conclusion
- Arguments
- Identifier
- m1
- Type
- entity_ref
- Type
- value
- type
- name
- Quantity
- Time unit
- m
- value
- 4000
- Type
- literal
- Polarity
- positive
- Condition
- displacement
- evidence
- —
- Identifier
- 6b680668b2e765991940e268de3e3296675473aeb7fb52d9ae6877c756ebf610
- Type
- rule_application
- Premises
- fact-1
- fact-2
- fact-3
- Rule
- Displacement
- sourceAnchors
- —
- substitution
- v0
- Identifier
- m1
- Type
- entity_ref
- v1
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s
- value
- 0
- v2
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s2
- value
- 20
- v3
- Type
- value
- type
- name
- Quantity
- Time unit
- s
- value
- 20
rule_application · urn:proof:apply:FinalVelocity:ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186
- attributes
- —
- conclusion
- Arguments
- Identifier
- m1
- Type
- entity_ref
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s
- value
- 400
- Type
- literal
- Polarity
- positive
- Condition
- final_velocity
- evidence
- —
- Identifier
- ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186
- Type
- rule_application
- Premises
- fact-1
- fact-2
- fact-3
- Rule
- FinalVelocity
- sourceAnchors
- —
- substitution
- v0
- Identifier
- m1
- Type
- entity_ref
- v1
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s
- value
- 0
- v2
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s2
- value
- 20
- v3
- Type
- value
- type
- name
- Quantity
- Time unit
- s
- value
- 20
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- m1
- Type
- entity_ref
- Type
- value
- type
- name
- Quantity
- Time unit
- m_per_s
- value
- 400
- Type
- literal
- Polarity
- positive
- Condition
- final_velocity
- truthStatus
- Established
- evidence
- —
- Identifier
- mcp
- Type
- query_evaluation
- Premises
- ef4eae15fda3b695c435cd7964c8bd195d2027f8312de4402a7acb2c4229f186
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- mcp
Original reasoning · JSON
{
"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"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:law:calc:mechanics#Displacement",
"urn:law:calc:mechanics#FinalVelocity"
]
}SourcesTexts not saved
Source texts were not saved in this snapshot.
Packages in the snapshot
- calc-mechanics
- units-si
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
final_velocity: TRUE_ONLY — установлено
Выведено правом: displacement(urn:case:calc:m1, 4000); final_velocity(urn:case:calc:m1, 400)
Применены правила: Displacement, FinalVelocity
Право (вне юрисдикции государства): calc-mechanics (programHash sha256:0402ab611e2a…)
Вместе с актами: units-si
proof-граф: 6 узлов — поле evaluation готово для law_explain
Complete machine result · JSON
{
"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 · JSON
{
"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"
}Display metadata
{
"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": []
}JSON · calculations, sources and exact data
{
"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"
}- evaluation SHA-256
- sha256:5b116e2debd1c65b89c6ea5f138f4975af7bcea41988bdd4bbbf477065fbc701
Original data · JSON
{
"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
}