{
  "schema_version": 1,
  "kind": "synthetic-counterexample",
  "source": "https://www.usenix.org/system/files/fast24-wong.pdf",
  "method": "Independent integer evaluation of seek cost plus actual fetched-byte cost; prescribed counters, not policy execution.",
  "units": {
    "bytes": "byte",
    "time": "microsecond",
    "MiB": 1048576
  },
  "assumptions": {
    "seek_us": 10000,
    "transfer_us_per_mib": 5000,
    "request_bytes": 1048576,
    "population": "100 one-MiB full-object requests in each hypothetical ledger",
    "fetch_rule": "one backend fetch per demand miss; extra bytes counted even when not requested",
    "scope": "No equal cache-capacity/write-budget feasibility claim, queueing, device measurement or Baleen replay."
  },
  "rows": [
    {
      "label": "A: demand-only",
      "requests": 100,
      "hits": 90,
      "misses": 10,
      "requested_bytes": 104857600,
      "hit_bytes": 94371840,
      "fetches": 10,
      "fetched_bytes": 10485760,
      "demand_hit_percent": 90.0,
      "disk_head_time_us": 150000
    },
    {
      "label": "B: expanded fetches",
      "requests": 100,
      "hits": 95,
      "misses": 5,
      "requested_bytes": 104857600,
      "hit_bytes": 99614720,
      "fetches": 5,
      "fetched_bytes": 41943040,
      "demand_hit_percent": 95.0,
      "disk_head_time_us": 250000
    },
    {
      "label": "C: B without extra bytes",
      "requests": 100,
      "hits": 95,
      "misses": 5,
      "requested_bytes": 104857600,
      "hit_bytes": 99614720,
      "fetches": 5,
      "fetched_bytes": 5242880,
      "demand_hit_percent": 95.0,
      "disk_head_time_us": 75000
    }
  ],
  "window_examples": {
    "concentrated": {
      "work_us": [
        150000,
        0
      ],
      "capacity_us_per_window": 1000000,
      "peak_fraction": [
        150000,
        1000000
      ],
      "pooled_fraction": [
        150000,
        2000000
      ]
    },
    "spread": {
      "work_us": [
        75000,
        75000
      ],
      "capacity_us_per_window": 1000000,
      "peak_fraction": [
        75000,
        1000000
      ],
      "pooled_fraction": [
        150000,
        2000000
      ]
    }
  },
  "window_note": "Two hypothetical one-second windows; not the paper's ten-minute Peak DT windows."
}