{
  "schema": 1,
  "repository": "brunnojob/csharp-offshore-proof-test-planner",
  "source_commit": "f5e4fb4103968f4c435e85d6e122d69802ca4115",
  "generated_at": "2026-10-10T05:29:48.339799+00:00",
  "run_url": "https://github.com/brunnojob/csharp-offshore-proof-test-planner/actions/runs/38027635727",
  "inputs_sha256": {
    ".proof/scenarios.json": "e8b45a0fff078feb078b959cb3ae97b18015a92cf6fa35ed8706c0946ee1ddb0",
    "examples/input.txt": "51bbc8db29bfb77b628a3a378b6b9958fd06704e66d92fca6a1d835d64bfd00f"
  },
  "cases": [
    {
      "display": false,
      "name": "dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 15.737,
      "output": "  Determining projects to restore...\n  Restored /home/runner/work/csharp-offshore-proof-test-planner/csharp-offshore-proof-test-planner/Offshore.csproj (in 87 ms).\n  Offshore -> /home/runner/work/csharp-offshore-proof-test-planner/csharp-offshore-proof-test-planner/bin/Debug/net8.0/Offshore.dll\n\nBuild succeeded.\n    0 Warning(s)\n    0 Error(s)\n\nTime Elapsed 00:00:07.62\nTests passed\n{\"Tag\":\"PSHH101\",\"AveragePfd\":0.008276021021526803,\"CurrentPfd\":0.016954624817999253,\"OverdueHours\":240,\"Priority\":0.017419135086985536}\n{\"Tag\":\"LSLL201\",\"AveragePfd\":0.007842724532003742,\"CurrentPfd\":0.016423636961582777,\"OverdueHours\":220,\"Priority\":0.01724856849846593}\n{\"Tag\":\"TSHH301\",\"AveragePfd\":0.004367238360218351,\"CurrentPfd\":0.003992010656008516,\"OverdueHours\":0,\"Priority\":0.003992010656008516}\n",
      "output_sha256": "6561a428971d3c0a2f2558d3137d1a2420178de16b3f167cc415300d126e073a"
    },
    {
      "display": true,
      "name": "Application demonstration with checked output",
      "argv": [
        "dotnet",
        "run",
        "--no-build",
        "--"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.803,
      "output": "{\"Tag\":\"PSHH101\",\"AveragePfd\":0.008276021021526803,\"CurrentPfd\":0.016954624817999253,\"OverdueHours\":240,\"Priority\":0.017419135086985536}\n{\"Tag\":\"LSLL201\",\"AveragePfd\":0.007842724532003742,\"CurrentPfd\":0.016423636961582777,\"OverdueHours\":220,\"Priority\":0.01724856849846593}\n{\"Tag\":\"TSHH301\",\"AveragePfd\":0.004367238360218351,\"CurrentPfd\":0.003992010656008516,\"OverdueHours\":0,\"Priority\":0.003992010656008516}\n",
      "output_sha256": "c077b5174c1f81ae2142263eac44ff64f115216aac2f2821dc1d4fdd7fe2763c"
    },
    {
      "display": true,
      "name": "Reject an empty capture",
      "argv": [
        "dotnet",
        "run",
        "--no-build",
        "--"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.753,
      "output": "Missing input\n",
      "output_sha256": "59dde097c155045b6510b44b5d0ee86176974b3476c8b96718ac676f66134e97"
    },
    {
      "display": true,
      "name": "Reject malformed input",
      "argv": [
        "dotnet",
        "run",
        "--no-build",
        "--"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.753,
      "output": "Invalid CSV row\n",
      "output_sha256": "64aaf8a3f81772044320e6481a9fe33ac80bfdb41f6deb590512cd62c2cd30b7"
    },
    {
      "display": true,
      "name": "Reject unsupported invocation",
      "argv": [
        "dotnet",
        "run",
        "--no-build",
        "--",
        "--unsupported"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.753,
      "output": "Unsupported command arguments\n",
      "output_sha256": "a7217611e9bf4e2fd5cbbd1b8b97c5898f154b14da948e9e35008b59b8158bcd"
    },
    {
      "display": true,
      "name": "Reject an oversized input record",
      "argv": [
        "dotnet",
        "run",
        "--no-build",
        "--"
      ],
      "exit": 2,
      "expected_exit": 2,
      "passed": true,
      "seconds": 0.753,
      "output": "Input record too large\n",
      "output_sha256": "45eb187fdae97f09b79c4bcd5c03d9b942872125e5fb5b6a83011b36f8d62333"
    }
  ],
  "passed": true
}