{
  "schema": 1,
  "repository": "brunnojob/java-offshore-maintenance-critical-path",
  "source_commit": "3a3fdfe0919f64d1d8e2eb2a5612d91b4b5f3b24",
  "generated_at": "2026-10-10T05:29:23.651167+00:00",
  "run_url": "https://github.com/brunnojob/java-offshore-maintenance-critical-path/actions/runs/38027629748",
  "inputs_sha256": {
    ".proof/scenarios.json": "d6617e991000eb1f6742aaf552682f8dd83bbe79b2cf16fae7e7c9f0d4272533",
    "examples/input.txt": "35c604290d1bc745af9001d00e05c55364950140942de4cd8155aea04c737e31"
  },
  "cases": [
    {
      "display": false,
      "name": "javac Main.java && java Main --self-test && java Main < examples/input.txt",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "javac Main.java && java Main --self-test && java Main < examples/input.txt"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 4.567,
      "output": "tests passed\nisolate,start=0.00,finish=1.00,float=0.00\nelectrical,start=1.00,finish=3.00,float=4.00\ninspect,start=1.00,finish=3.00,float=0.00\nreplace,start=3.00,finish=7.00,float=0.00\ncommission,start=7.00,finish=8.00,float=0.00\nduration=8.00\n",
      "output_sha256": "1716ae9283c75c1306c1bbebdb25cd4f056f4ccac2cf551fd116cf3417b2ab81"
    },
    {
      "display": true,
      "name": "Application demonstration with checked output",
      "argv": [
        "java",
        "Main"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.102,
      "output": "isolate,start=0.00,finish=1.00,float=0.00\nelectrical,start=1.00,finish=3.00,float=4.00\ninspect,start=1.00,finish=3.00,float=0.00\nreplace,start=3.00,finish=7.00,float=0.00\ncommission,start=7.00,finish=8.00,float=0.00\nduration=8.00\n",
      "output_sha256": "3594d8eb2b05739fc54f6100ecad5bc878883967723a561def1037cdcd944c83"
    },
    {
      "display": true,
      "name": "Reject an empty capture",
      "argv": [
        "java",
        "Main"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "missing input\n",
      "output_sha256": "e108e9abb244623e01f96efedd4006bbb9cdf4b61840b948d6bf644ffe78bede"
    },
    {
      "display": true,
      "name": "Reject malformed input",
      "argv": [
        "java",
        "Main"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "invalid CSV row\n",
      "output_sha256": "902887621d4e2b50e9a1d45937529644e6685110db02e63076a49a6f646fbe0c"
    },
    {
      "display": true,
      "name": "Reject unsupported invocation",
      "argv": [
        "java",
        "Main",
        "--unsupported"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "unsupported command arguments\n",
      "output_sha256": "8671e08a3718f115decd7eb1e7970691e3a2180c5a869d0e9ccd54e6d4fa8a80"
    },
    {
      "display": true,
      "name": "Reject an oversized input record",
      "argv": [
        "java",
        "Main"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.051,
      "output": "input record too large\n",
      "output_sha256": "d0f1bb9ab1c99d914df3de66c3268650fd8fcb942b2d0f116490dc6c41e6f800"
    }
  ],
  "passed": true
}