{
  "scope": "Single-process deterministic model with three process labels",
  "overlap": "Every request arrives before origin completion",
  "not_tested": [
    "distributed leases",
    "process failure",
    "latency",
    "waiter cancellation",
    "cache eviction",
    "network partitions"
  ],
  "cases": [
    {
      "case": "cold-1-key",
      "policy": "none",
      "requests": 12,
      "origin_fills": 12,
      "joined_waiters": 0,
      "successes": 12,
      "errors": 0
    },
    {
      "case": "cold-1-key",
      "policy": "per-process",
      "requests": 12,
      "origin_fills": 3,
      "joined_waiters": 9,
      "successes": 12,
      "errors": 0
    },
    {
      "case": "cold-1-key",
      "policy": "shared-model",
      "requests": 12,
      "origin_fills": 1,
      "joined_waiters": 11,
      "successes": 12,
      "errors": 0
    },
    {
      "case": "cold-2-key",
      "policy": "none",
      "requests": 24,
      "origin_fills": 24,
      "joined_waiters": 0,
      "successes": 24,
      "errors": 0
    },
    {
      "case": "cold-2-key",
      "policy": "per-process",
      "requests": 24,
      "origin_fills": 6,
      "joined_waiters": 18,
      "successes": 24,
      "errors": 0
    },
    {
      "case": "cold-2-key",
      "policy": "shared-model",
      "requests": 24,
      "origin_fills": 2,
      "joined_waiters": 22,
      "successes": 24,
      "errors": 0
    },
    {
      "case": "failed-fill",
      "policy": "shared-model",
      "requests": 12,
      "origin_fills": 1,
      "joined_waiters": 11,
      "successes": 0,
      "errors": 12
    },
    {
      "case": "next-wave-retry",
      "policy": "shared-model",
      "requests": 12,
      "origin_fills": 1,
      "joined_waiters": 11,
      "successes": 12,
      "errors": 0
    },
    {
      "case": "warm-cache",
      "policy": "shared-model",
      "requests": 12,
      "origin_fills": 0,
      "joined_waiters": 0,
      "successes": 12,
      "errors": 0
    }
  ],
  "assertions": "passed"
}