{
  "schema": "security-loop-verifier/v0",
  "execution": "real-local-http",
  "case_results": [
    {
      "case_id": "case-01",
      "observed_behavior": "defective",
      "checks": [
        {
          "actor": null,
          "record": "r1",
          "status": 401,
          "expected_status": 401,
          "body": {
            "error": "authentication required"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "invalid",
          "record": "r1",
          "status": 401,
          "expected_status": 401,
          "body": {
            "error": "authentication required"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-one",
          "record": "r1",
          "status": 200,
          "expected_status": 200,
          "body": {
            "value": "public-marker-one"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-two",
          "record": "r2",
          "status": 200,
          "expected_status": 200,
          "body": {
            "value": "public-marker-two"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-one",
          "record": "missing",
          "status": 404,
          "expected_status": 404,
          "body": {
            "error": "not found"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-one",
          "record": "r2",
          "status": 200,
          "expected_status": 404,
          "body": {
            "value": "public-marker-two"
          },
          "security_requirement_passed": false
        },
        {
          "actor": "fixture-user-two",
          "record": "r1",
          "status": 200,
          "expected_status": 404,
          "body": {
            "value": "public-marker-one"
          },
          "security_requirement_passed": false
        }
      ],
      "elapsed_seconds": 0.05173783400095999,
      "application_hashes": {
        "auth.py": "749ae2fdc4a479973e00d7642e27039c758a93e1eefc15b16ee3aacf51018f37",
        "repository.py": "84e969d18a1a139632b04f72dceffaf63d21af258ed5ff9ab6783f075edb1d67",
        "server.py": "339aee0bfb25b915721204a1420e6d0fcddc51c09362615f5045ffc4c8e7ca8e"
      },
      "expected_label_matched": true
    },
    {
      "case_id": "case-02",
      "observed_behavior": "fixed",
      "checks": [
        {
          "actor": null,
          "record": "r1",
          "status": 401,
          "expected_status": 401,
          "body": {
            "error": "authentication required"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "invalid",
          "record": "r1",
          "status": 401,
          "expected_status": 401,
          "body": {
            "error": "authentication required"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-one",
          "record": "r1",
          "status": 200,
          "expected_status": 200,
          "body": {
            "value": "public-marker-one"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-two",
          "record": "r2",
          "status": 200,
          "expected_status": 200,
          "body": {
            "value": "public-marker-two"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-one",
          "record": "missing",
          "status": 404,
          "expected_status": 404,
          "body": {
            "error": "not found"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-one",
          "record": "r2",
          "status": 404,
          "expected_status": 404,
          "body": {
            "error": "not found"
          },
          "security_requirement_passed": true
        },
        {
          "actor": "fixture-user-two",
          "record": "r1",
          "status": 404,
          "expected_status": 404,
          "body": {
            "error": "not found"
          },
          "security_requirement_passed": true
        }
      ],
      "elapsed_seconds": 0.043637290989863686,
      "application_hashes": {
        "auth.py": "749ae2fdc4a479973e00d7642e27039c758a93e1eefc15b16ee3aacf51018f37",
        "repository.py": "fa78f3a05d98d4bc84ab41d200b36d725d072d12b4ea6c6c386681ba6d6a1a26",
        "server.py": "339aee0bfb25b915721204a1420e6d0fcddc51c09362615f5045ffc4c8e7ca8e"
      },
      "expected_label_matched": true
    }
  ],
  "passed": true,
  "model_runs": 0,
  "provider_usage": null
}