{
  "method": "Deterministic, ordered SQLite transactions; no simultaneous threads or lock test",
  "summary": {
    "case_count": 8,
    "unsafe_final_active": 6,
    "guarded_final_active": 5,
    "last_slot_limit": 5,
    "guarded_creates": 1,
    "guarded_denials": 1
  },
  "cases": [
    {
      "case": "separate_count_then_insert",
      "observed_counts": [
        4,
        4
      ],
      "limit": 5,
      "final_active_projects": 6,
      "overshoot": 1
    },
    {
      "case": "conditional_reservation",
      "attempts": [
        {
          "outcome": "created",
          "project_id": "a-request-first"
        },
        {
          "outcome": "quota_denied"
        }
      ],
      "state": {
        "used": 5,
        "limit": 5,
        "active_projects": 5
      }
    },
    {
      "case": "same_operation_replay",
      "result": {
        "outcome": "replay",
        "project_id": "a-request-first"
      },
      "state": {
        "used": 5,
        "limit": 5,
        "active_projects": 5
      }
    },
    {
      "case": "same_key_changed_payload",
      "result": {
        "outcome": "payload_conflict",
        "project_id": "a-request-first"
      },
      "state": {
        "used": 5,
        "limit": 5,
        "active_projects": 5
      }
    },
    {
      "case": "rollback_after_reservation",
      "result": {
        "outcome": "rolled_back",
        "error": "RuntimeError"
      },
      "state": {
        "used": 4,
        "limit": 5,
        "active_projects": 4
      }
    },
    {
      "case": "rollback_on_duplicate_name",
      "result": {
        "outcome": "rolled_back",
        "error": "IntegrityError"
      },
      "state": {
        "used": 4,
        "limit": 5,
        "active_projects": 4
      }
    },
    {
      "case": "duplicate_delete",
      "changed_rows": [
        1,
        0
      ],
      "state": {
        "used": 3,
        "limit": 5,
        "active_projects": 3
      }
    },
    {
      "case": "tenant_scoped_operation",
      "outcomes": [
        {
          "outcome": "created",
          "project_id": "a-request-same-key"
        },
        {
          "outcome": "created",
          "project_id": "b-request-same-key"
        }
      ],
      "states": {
        "a": {
          "used": 1,
          "limit": 1,
          "active_projects": 1
        },
        "b": {
          "used": 1,
          "limit": 1,
          "active_projects": 1
        }
      }
    }
  ]
}