{
  "schemaVersion": 1,
  "evidenceType": "constructed deterministic accounting examples",
  "assumptions": [
    "Three equal-size slots, initially empty; page IDs are arbitrary logical labels.",
    "Read and partial-page write misses fetch one page; full-page overwrite misses do not. Hits update recency.",
    "Fixed CFLRU window; window zero is LRU. No admission, prefetch or background writeback.",
    "Explicit flush writes every dirty resident page and preserves recency.",
    "Every run includes a final drain of dirty pages, including the LRU baseline.",
    "No failures, concurrency, FTL, GC, NAND traffic, latency or energy are modeled.",
    "Search probes count dirty-flag tests only, not total implementation work."
  ],
  "cases": [
    {
      "id": "deferred-only",
      "trace": [
        {
          "op": "write",
          "page": 0
        },
        {
          "op": "read",
          "page": 1
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "read",
          "page": 3
        }
      ],
      "capacity": 3,
      "lru": {
        "requests": 4,
        "hits": 0,
        "misses": 4,
        "backingReads": 4,
        "evictionWrites": 1,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 0,
        "totalBackingWrites": 1,
        "cleanSearchProbes": 0,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": false
          },
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          }
        ]
      },
      "cflru": {
        "requests": 4,
        "hits": 0,
        "misses": 4,
        "backingReads": 4,
        "evictionWrites": 0,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 1,
        "totalBackingWrites": 1,
        "cleanSearchProbes": 2,
        "residentBeforeDrain": [
          {
            "id": 0,
            "dirty": true
          },
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": false
            }
          }
        ]
      }
    },
    {
      "id": "coalesced-rewrite",
      "trace": [
        {
          "op": "write",
          "page": 0
        },
        {
          "op": "read",
          "page": 1
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "read",
          "page": 3
        },
        {
          "op": "write",
          "page": 0
        }
      ],
      "capacity": 3,
      "lru": {
        "requests": 5,
        "hits": 0,
        "misses": 5,
        "backingReads": 5,
        "evictionWrites": 1,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 1,
        "totalBackingWrites": 2,
        "cleanSearchProbes": 0,
        "residentBeforeDrain": [
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          },
          {
            "id": 0,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          },
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": false
            }
          }
        ]
      },
      "cflru": {
        "requests": 5,
        "hits": 1,
        "misses": 4,
        "backingReads": 4,
        "evictionWrites": 0,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 1,
        "totalBackingWrites": 1,
        "cleanSearchProbes": 2,
        "residentBeforeDrain": [
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          },
          {
            "id": 0,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 0,
            "hit": true,
            "evicted": null
          }
        ]
      }
    },
    {
      "id": "clean-page-thrashing",
      "trace": [
        {
          "op": "write",
          "page": 0
        },
        {
          "op": "write",
          "page": 1
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "read",
          "page": 3
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "read",
          "page": 3
        }
      ],
      "capacity": 3,
      "lru": {
        "requests": 6,
        "hits": 2,
        "misses": 4,
        "backingReads": 4,
        "evictionWrites": 1,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 1,
        "totalBackingWrites": 2,
        "cleanSearchProbes": 0,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": true
          },
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 2,
            "hit": true,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": true,
            "evicted": null
          }
        ]
      },
      "cflru": {
        "requests": 6,
        "hits": 0,
        "misses": 6,
        "backingReads": 6,
        "evictionWrites": 0,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 2,
        "totalBackingWrites": 2,
        "cleanSearchProbes": 9,
        "residentBeforeDrain": [
          {
            "id": 0,
            "dirty": true
          },
          {
            "id": 1,
            "dirty": true
          },
          {
            "id": 3,
            "dirty": false
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": {
              "id": 3,
              "dirty": false
            }
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          }
        ]
      }
    },
    {
      "id": "flush-before-reuse",
      "trace": [
        {
          "op": "write",
          "page": 0
        },
        {
          "op": "read",
          "page": 1
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "flush"
        },
        {
          "op": "read",
          "page": 3
        },
        {
          "op": "write",
          "page": 0
        }
      ],
      "capacity": 3,
      "lru": {
        "requests": 5,
        "hits": 0,
        "misses": 5,
        "backingReads": 5,
        "evictionWrites": 0,
        "explicitFlushWrites": 1,
        "finalDrainWrites": 1,
        "totalBackingWrites": 2,
        "cleanSearchProbes": 0,
        "residentBeforeDrain": [
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          },
          {
            "id": 0,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "flush",
            "writes": 1
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": false
            }
          }
        ]
      },
      "cflru": {
        "requests": 5,
        "hits": 0,
        "misses": 5,
        "backingReads": 5,
        "evictionWrites": 0,
        "explicitFlushWrites": 1,
        "finalDrainWrites": 1,
        "totalBackingWrites": 2,
        "cleanSearchProbes": 2,
        "residentBeforeDrain": [
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          },
          {
            "id": 0,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "flush",
            "writes": 1
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": false
            }
          }
        ]
      }
    },
    {
      "id": "read-write-tradeoff",
      "trace": [
        {
          "op": "write",
          "page": 0
        },
        {
          "op": "write",
          "page": 1
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "read",
          "page": 3
        },
        {
          "op": "read",
          "page": 2
        },
        {
          "op": "read",
          "page": 3
        },
        {
          "op": "write",
          "page": 0
        }
      ],
      "capacity": 3,
      "lru": {
        "requests": 7,
        "hits": 2,
        "misses": 5,
        "backingReads": 5,
        "evictionWrites": 2,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 1,
        "totalBackingWrites": 3,
        "cleanSearchProbes": 0,
        "residentBeforeDrain": [
          {
            "id": 2,
            "dirty": false
          },
          {
            "id": 3,
            "dirty": false
          },
          {
            "id": 0,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 2,
            "hit": true,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": true,
            "evicted": null
          },
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": true
            }
          }
        ]
      },
      "cflru": {
        "requests": 7,
        "hits": 1,
        "misses": 6,
        "backingReads": 6,
        "evictionWrites": 0,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 2,
        "totalBackingWrites": 2,
        "cleanSearchProbes": 9,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": true
          },
          {
            "id": 3,
            "dirty": false
          },
          {
            "id": 0,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": {
              "id": 3,
              "dirty": false
            }
          },
          {
            "op": "read",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 0,
            "hit": true,
            "evicted": null
          }
        ]
      }
    }
  ],
  "windowSensitivity": {
    "id": "larger-window-more-writes",
    "capacity": 3,
    "trace": [
      {
        "op": "write",
        "page": 0
      },
      {
        "op": "write",
        "page": 1
      },
      {
        "op": "read",
        "page": 2
      },
      {
        "op": "write",
        "page": 3
      },
      {
        "op": "read",
        "page": 0
      },
      {
        "op": "read",
        "page": 1
      },
      {
        "op": "write",
        "page": 2
      },
      {
        "op": "write",
        "page": 3
      }
    ],
    "runs": [
      {
        "window": 0,
        "requests": 8,
        "hits": 0,
        "misses": 8,
        "backingReads": 8,
        "evictionWrites": 3,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 2,
        "totalBackingWrites": 5,
        "cleanSearchProbes": 0,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": false
          },
          {
            "id": 2,
            "dirty": true
          },
          {
            "id": 3,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 2,
            "hit": false,
            "evicted": {
              "id": 3,
              "dirty": true
            }
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": false
            }
          }
        ]
      },
      {
        "window": 1,
        "requests": 8,
        "hits": 0,
        "misses": 8,
        "backingReads": 8,
        "evictionWrites": 3,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 2,
        "totalBackingWrites": 5,
        "cleanSearchProbes": 5,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": false
          },
          {
            "id": 2,
            "dirty": true
          },
          {
            "id": 3,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 1,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 1,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 2,
            "hit": false,
            "evicted": {
              "id": 3,
              "dirty": true
            }
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": false
            }
          }
        ]
      },
      {
        "window": 2,
        "requests": 8,
        "hits": 2,
        "misses": 6,
        "backingReads": 6,
        "evictionWrites": 1,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 3,
        "totalBackingWrites": 4,
        "cleanSearchProbes": 6,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": true
          },
          {
            "id": 2,
            "dirty": true
          },
          {
            "id": 3,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          },
          {
            "op": "read",
            "page": 0,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "read",
            "page": 1,
            "hit": true,
            "evicted": null
          },
          {
            "op": "write",
            "page": 2,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": false
            }
          },
          {
            "op": "write",
            "page": 3,
            "hit": true,
            "evicted": null
          }
        ]
      },
      {
        "window": 3,
        "requests": 8,
        "hits": 2,
        "misses": 6,
        "backingReads": 6,
        "evictionWrites": 2,
        "explicitFlushWrites": 0,
        "finalDrainWrites": 3,
        "totalBackingWrites": 5,
        "cleanSearchProbes": 9,
        "residentBeforeDrain": [
          {
            "id": 1,
            "dirty": true
          },
          {
            "id": 2,
            "dirty": true
          },
          {
            "id": 3,
            "dirty": true
          }
        ],
        "steps": [
          {
            "op": "write",
            "page": 0,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 1,
            "hit": false,
            "evicted": null
          },
          {
            "op": "read",
            "page": 2,
            "hit": false,
            "evicted": null
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 2,
              "dirty": false
            }
          },
          {
            "op": "read",
            "page": 0,
            "hit": true,
            "evicted": null
          },
          {
            "op": "read",
            "page": 1,
            "hit": true,
            "evicted": null
          },
          {
            "op": "write",
            "page": 2,
            "hit": false,
            "evicted": {
              "id": 3,
              "dirty": true
            }
          },
          {
            "op": "write",
            "page": 3,
            "hit": false,
            "evicted": {
              "id": 0,
              "dirty": true
            }
          }
        ]
      }
    ]
  },
  "overwriteSensitivity": {
    "id": "full-overwrite-read-cost",
    "baselineCase": "read-write-tradeoff",
    "capacity": 3,
    "trace": [
      {
        "op": "overwrite",
        "page": 0
      },
      {
        "op": "overwrite",
        "page": 1
      },
      {
        "op": "read",
        "page": 2
      },
      {
        "op": "read",
        "page": 3
      },
      {
        "op": "read",
        "page": 2
      },
      {
        "op": "read",
        "page": 3
      },
      {
        "op": "overwrite",
        "page": 0
      }
    ],
    "lru": {
      "requests": 7,
      "hits": 2,
      "misses": 5,
      "backingReads": 2,
      "evictionWrites": 2,
      "explicitFlushWrites": 0,
      "finalDrainWrites": 1,
      "totalBackingWrites": 3,
      "cleanSearchProbes": 0,
      "residentBeforeDrain": [
        {
          "id": 2,
          "dirty": false
        },
        {
          "id": 3,
          "dirty": false
        },
        {
          "id": 0,
          "dirty": true
        }
      ],
      "steps": [
        {
          "op": "overwrite",
          "page": 0,
          "hit": false,
          "evicted": null
        },
        {
          "op": "overwrite",
          "page": 1,
          "hit": false,
          "evicted": null
        },
        {
          "op": "read",
          "page": 2,
          "hit": false,
          "evicted": null
        },
        {
          "op": "read",
          "page": 3,
          "hit": false,
          "evicted": {
            "id": 0,
            "dirty": true
          }
        },
        {
          "op": "read",
          "page": 2,
          "hit": true,
          "evicted": null
        },
        {
          "op": "read",
          "page": 3,
          "hit": true,
          "evicted": null
        },
        {
          "op": "overwrite",
          "page": 0,
          "hit": false,
          "evicted": {
            "id": 1,
            "dirty": true
          }
        }
      ]
    },
    "cflru": {
      "requests": 7,
      "hits": 1,
      "misses": 6,
      "backingReads": 4,
      "evictionWrites": 0,
      "explicitFlushWrites": 0,
      "finalDrainWrites": 2,
      "totalBackingWrites": 2,
      "cleanSearchProbes": 9,
      "residentBeforeDrain": [
        {
          "id": 1,
          "dirty": true
        },
        {
          "id": 3,
          "dirty": false
        },
        {
          "id": 0,
          "dirty": true
        }
      ],
      "steps": [
        {
          "op": "overwrite",
          "page": 0,
          "hit": false,
          "evicted": null
        },
        {
          "op": "overwrite",
          "page": 1,
          "hit": false,
          "evicted": null
        },
        {
          "op": "read",
          "page": 2,
          "hit": false,
          "evicted": null
        },
        {
          "op": "read",
          "page": 3,
          "hit": false,
          "evicted": {
            "id": 2,
            "dirty": false
          }
        },
        {
          "op": "read",
          "page": 2,
          "hit": false,
          "evicted": {
            "id": 3,
            "dirty": false
          }
        },
        {
          "op": "read",
          "page": 3,
          "hit": false,
          "evicted": {
            "id": 2,
            "dirty": false
          }
        },
        {
          "op": "overwrite",
          "page": 0,
          "hit": true,
          "evicted": null
        }
      ]
    }
  }
}