{
  "conflicts": [],
  "issues": [],
  "manifest": {
    "artifactHash": "sha256:67aa9d04e86a8130b7da62682484d835a89066f05f6d949321db8d649238f8b3",
    "calendarSnapshot": "",
    "caseHash": "sha256:5d0bb0b13c042fb74b7d482386434227afb1ae7b514622da1ce1ab990cdc8300",
    "decisionTime": null,
    "evidenceSnapshotHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
    "externalSnapshots": {},
    "id": "urn:manifest:oracle-1",
    "interpretations": [],
    "knowledgeTime": null,
    "legalTime": null,
    "lockfileHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
    "mode": "audit",
    "policies": {},
    "programHash": "sha256:d05cd40933f97ae3b7b7cfe26ec347982d77544e419061fffc551cae3e335d75",
    "resolvedEditions": {},
    "semanticHash": "sha256:dfdbf36468caa8987620c1192a8a8bde2e14288431467133197c2fa947c4e0c4",
    "semantics": "law.core/0.2.7",
    "theoryHash": "sha256:d05cd40933f97ae3b7b7cfe26ec347982d77544e419061fffc551cae3e335d75",
    "timezone": null
  },
  "positions": [],
  "proofGraph": {
    "nodes": [
      {
        "attributes": {
          "assertion": "urn:law:calc:mechanics#vt-m3000-v21-f0"
        },
        "conclusion": {
          "args": [
            {
              "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
              "kind": "entity_ref"
            },
            {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "m_per_s",
              "value": "21"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:law:calc:mechanics#given_initial_velocity"
        },
        "evidence": [],
        "id": "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f0",
        "kind": "assertion",
        "premises": [],
        "sourceAnchors": []
      },
      {
        "attributes": {
          "assertion": "urn:law:calc:mechanics#vt-m3000-v21-f1"
        },
        "conclusion": {
          "args": [
            {
              "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
              "kind": "entity_ref"
            },
            {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "m_per_s2",
              "value": "-3.5"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:law:calc:mechanics#given_acceleration"
        },
        "evidence": [],
        "id": "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f1",
        "kind": "assertion",
        "premises": [],
        "sourceAnchors": []
      },
      {
        "attributes": {
          "assertion": "urn:law:calc:mechanics#vt-m3000-v21-f2"
        },
        "conclusion": {
          "args": [
            {
              "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
              "kind": "entity_ref"
            },
            {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "s",
              "value": "6"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:law:calc:mechanics#given_elapsed_time"
        },
        "evidence": [],
        "id": "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f2",
        "kind": "assertion",
        "premises": [],
        "sourceAnchors": []
      },
      {
        "attributes": {},
        "conclusion": {
          "args": [
            {
              "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
              "kind": "entity_ref"
            },
            {
              "kind": "value",
              "type": {
                "name": "urn:law:std#Quantity"
              },
              "unit": "m",
              "value": "63"
            }
          ],
          "kind": "literal",
          "polarity": "positive",
          "predicate": "urn:law:calc:mechanics#displacement"
        },
        "evidence": [],
        "id": "urn:proof:apply:Displacement:9925a0b84c3f7ec1832e6fae02f8a33a6c9c48aa3ae4a4d58e81b1eea2bc09d4",
        "kind": "rule_application",
        "premises": [
          "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f0",
          "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f1",
          "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f2"
        ],
        "rule": "urn:law:calc:mechanics#Displacement",
        "sourceAnchors": [],
        "substitution": {
          "v0": {
            "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
            "kind": "entity_ref"
          },
          "v1": {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "m_per_s",
            "value": "21"
          },
          "v2": {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "m_per_s2",
            "value": "-3.5"
          },
          "v3": {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "s",
            "value": "6"
          }
        }
      },
      {
        "attributes": {},
        "conclusion": {
          "args": [
            {
              "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
              "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#final_velocity"
        },
        "evidence": [],
        "id": "urn:proof:apply:FinalVelocity:80aba38c77e33805c750ab3b2245db620b405420c56ce2166f1b98a9d21e8560",
        "kind": "rule_application",
        "premises": [
          "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f0",
          "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f1",
          "urn:proof:assert:urn:law:calc:mechanics#vt-m3000-v21-f2"
        ],
        "rule": "urn:law:calc:mechanics#FinalVelocity",
        "sourceAnchors": [],
        "substitution": {
          "v0": {
            "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
            "kind": "entity_ref"
          },
          "v1": {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "m_per_s",
            "value": "21"
          },
          "v2": {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "m_per_s2",
            "value": "-3.5"
          },
          "v3": {
            "kind": "value",
            "type": {
              "name": "urn:law:std#Quantity"
            },
            "unit": "s",
            "value": "6"
          }
        }
      },
      {
        "attributes": {},
        "conclusion": {
          "comprehension": {
            "binders": [],
            "distinct": true,
            "element": {
              "kind": "var",
              "var": "v0"
            },
            "generator": {
              "formula": {
                "args": [
                  {
                    "id": "urn:arxo:science-worked-out:double-the-speed:stop-m3000-v21",
                    "kind": "entity_ref"
                  },
                  {
                    "kind": "var",
                    "var": "v0"
                  }
                ],
                "kind": "literal",
                "polarity": "positive",
                "predicate": "urn:law:calc:mechanics#final_velocity"
              },
              "kind": "status",
              "status": "established"
            },
            "kind": "comprehension",
            "variable": {
              "id": "v0",
              "type": {
                "name": "urn:law:std#Quantity"
              }
            }
          },
          "count": 1
        },
        "evidence": [],
        "id": "urn:proof:query:mechanics#test/vt-m3000-v21/query/0",
        "kind": "query_evaluation",
        "premises": [
          "urn:proof:apply:FinalVelocity:80aba38c77e33805c750ab3b2245db620b405420c56ce2166f1b98a9d21e8560"
        ],
        "sourceAnchors": []
      }
    ],
    "proofHash": "sha256:a3e0a9cb8af64110a418f73117bb45a9c4b475bf77039f5c5fd9f87b90302369",
    "roots": [
      "urn:proof:query:mechanics#test/vt-m3000-v21/query/0"
    ]
  },
  "resultHash": "sha256:2f67d0df289c9aa23dd26fe652d575a92489a544406aa3f8c7c5e648d418df63",
  "results": [
    {
      "conflicts": [],
      "evaluationStatus": "COMPUTED",
      "evidence": [],
      "id": "urn:result:mechanics#test/vt-m3000-v21/query/0",
      "judgmentRequests": [],
      "manifest": "urn:manifest:oracle-1",
      "missingInputs": [],
      "normativeStatusSupports": [],
      "proof": "urn:proof:query:mechanics#test/vt-m3000-v21/query/0",
      "query": "urn:law:calc:mechanics#test/vt-m3000-v21/query/0",
      "resultKind": "COLLECTION",
      "sourceAnchors": [],
      "value": [
        {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Quantity"
          },
          "unit": "m_per_s",
          "value": "0"
        }
      ]
    }
  ],
  "schemaVersion": "law.core.evaluation/0.3"
}