{
  "schema": 1,
  "repository": "brunnojob/csharp-pantry-api",
  "source_commit": "527cb37b5a875bbe9a613499317238700cdaeac7",
  "generated_at": "2026-10-10T05:28:48.859775+00:00",
  "run_url": "https://github.com/brunnojob/csharp-pantry-api/actions/runs/38027626353",
  "inputs_sha256": {
    ".proof/scenarios.json": "8597279a3859182a16f59cb96788ec2b6d8dce4b8aef2540180b08b90d195e81",
    ".proof/demo.py": "4bf0d99cb25eb951066c24f6dc6f8fdd0a559a90f06d8ed3891455c935b8bb11"
  },
  "cases": [
    {
      "display": false,
      "name": "dotnet build --configuration Release",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "dotnet build --configuration Release"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 13.236,
      "output": "  Determining projects to restore...\n  Restored /home/runner/work/csharp-pantry-api/csharp-pantry-api/PantryApi.csproj (in 114 ms).\n  PantryApi -> /home/runner/work/csharp-pantry-api/csharp-pantry-api/bin/Release/net8.0/PantryApi.dll\n\nBuild succeeded.\n    0 Warning(s)\n    0 Error(s)\n\nTime Elapsed 00:00:09.42\n",
      "output_sha256": "aa36299328c3d8d193c589b1e06318914802355e1db6895e804604bdcdf4bb24"
    },
    {
      "display": true,
      "name": "Start HTTP API, reject malformed authorization and handle upstream failure",
      "argv": [
        "python",
        ".proof/demo.py"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 5.113,
      "output": "{\"database_connected\": false, \"health\": {\"configured\": true, \"database\": \"supabase\", \"status\": \"ok\"}, \"malformed_session\": 401, \"missing_session\": 401, \"unreachable_database\": 502}\n",
      "output_sha256": "95b951f627b455b595649d7842bf3cb42cb598625b4ac714488af2bd5f7814de"
    }
  ],
  "passed": true
}