{
  "schemaVersion": 1,
  "evidenceType": "constructed-trace replay",
  "generatedAt": "2026-10-17T08:09:22.113185+00:00",
  "license": "MIT (Hesela script and constructed results only)",
  "differentialSuites": [
    {
      "alphabet": "ABC",
      "length": 6,
      "capacities": [
        1,
        2,
        3
      ],
      "cases": 2187
    },
    {
      "alphabet": "ABCD",
      "length": 8,
      "capacities": [
        3
      ],
      "cases": 65536
    }
  ],
  "library": {
    "name": "libcachesim",
    "version": "0.3.5",
    "url": "https://pypi.org/project/libcachesim/0.3.5/",
    "wheelFilename": "libcachesim-0.3.5-cp312-cp312-manylinux_2_34_x86_64.whl",
    "wheelSha256": "c51bec8f990bc52a2f21bd6667591d94170b1c87cc22e662ae1538ce2327d5fc"
  },
  "pythonVersion": "3.12.3",
  "scriptSha256": "68c6b3f40b4767f1be9fb79fe615f045e69d5a30a29b08aec0da5325ebb96625",
  "differentialCases": 67723,
  "seed": null,
  "assumptions": [
    "Empty cache at the beginning of each row; count all cold misses.",
    "Equal-size objects represented as one byte, so integer byte capacity equals object slots.",
    "Every miss is admitted, no metadata charged to capacity, no expiration or writes.",
    "CLOCK uses init_freq=0 and n_bit_counter=1; a different variant can change results.",
    "One sequential requester, instant fill; no device I/O, backend queueing or throughput timing.",
    "Traces are constructed teaching examples, not randomly sampled production observations.",
    "Oracle eviction probes are algorithmic inspections, not library CPU-operation measurements."
  ],
  "rows": [
    {
      "name": "sieve-wins-lru",
      "references": "AABCDA",
      "capacityObjects": 3,
      "requests": 6,
      "policies": {
        "LRU": {
          "hits": 1,
          "misses": 5,
          "outcomes": "MHMMMM"
        },
        "FIFO": {
          "hits": 1,
          "misses": 5,
          "outcomes": "MHMMMM"
        },
        "CLOCK": {
          "hits": 2,
          "misses": 4,
          "outcomes": "MHMMMH"
        },
        "SIEVE": {
          "hits": 2,
          "misses": 4,
          "outcomes": "MHMMMH"
        }
      },
      "oracle": {
        "outcomes": "MHMMMH",
        "evictionProbes": [
          0,
          0,
          0,
          0,
          2,
          0
        ]
      }
    },
    {
      "name": "sieve-loses-lru",
      "references": "AABCDB",
      "capacityObjects": 3,
      "requests": 6,
      "policies": {
        "LRU": {
          "hits": 2,
          "misses": 4,
          "outcomes": "MHMMMH"
        },
        "FIFO": {
          "hits": 2,
          "misses": 4,
          "outcomes": "MHMMMH"
        },
        "CLOCK": {
          "hits": 1,
          "misses": 5,
          "outcomes": "MHMMMM"
        },
        "SIEVE": {
          "hits": 1,
          "misses": 5,
          "outcomes": "MHMMMM"
        }
      },
      "oracle": {
        "outcomes": "MHMMMM",
        "evictionProbes": [
          0,
          0,
          0,
          0,
          2,
          1
        ]
      }
    },
    {
      "name": "sieve-differs-clock",
      "references": "AABCCDBA",
      "capacityObjects": 3,
      "requests": 8,
      "policies": {
        "LRU": {
          "hits": 3,
          "misses": 5,
          "outcomes": "MHMMHMHM"
        },
        "FIFO": {
          "hits": 3,
          "misses": 5,
          "outcomes": "MHMMHMHM"
        },
        "CLOCK": {
          "hits": 2,
          "misses": 6,
          "outcomes": "MHMMHMMM"
        },
        "SIEVE": {
          "hits": 3,
          "misses": 5,
          "outcomes": "MHMMHMMH"
        }
      },
      "oracle": {
        "outcomes": "MHMMHMMH",
        "evictionProbes": [
          0,
          0,
          0,
          0,
          0,
          2,
          2,
          0
        ]
      }
    },
    {
      "name": "hot-pair",
      "references": "ABABABAB",
      "capacityObjects": 3,
      "requests": 8,
      "policies": {
        "LRU": {
          "hits": 6,
          "misses": 2,
          "outcomes": "MMHHHHHH"
        },
        "FIFO": {
          "hits": 6,
          "misses": 2,
          "outcomes": "MMHHHHHH"
        },
        "CLOCK": {
          "hits": 6,
          "misses": 2,
          "outcomes": "MMHHHHHH"
        },
        "SIEVE": {
          "hits": 6,
          "misses": 2,
          "outcomes": "MMHHHHHH"
        }
      },
      "oracle": {
        "outcomes": "MMHHHHHH",
        "evictionProbes": [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          0
        ]
      }
    },
    {
      "name": "cold-scan",
      "references": "ABCDEFGH",
      "capacityObjects": 3,
      "requests": 8,
      "policies": {
        "LRU": {
          "hits": 0,
          "misses": 8,
          "outcomes": "MMMMMMMM"
        },
        "FIFO": {
          "hits": 0,
          "misses": 8,
          "outcomes": "MMMMMMMM"
        },
        "CLOCK": {
          "hits": 0,
          "misses": 8,
          "outcomes": "MMMMMMMM"
        },
        "SIEVE": {
          "hits": 0,
          "misses": 8,
          "outcomes": "MMMMMMMM"
        }
      },
      "oracle": {
        "outcomes": "MMMMMMMM",
        "evictionProbes": [
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1
        ]
      }
    },
    {
      "name": "four-object-loop",
      "references": "ABCDABCDABCD",
      "capacityObjects": 3,
      "requests": 12,
      "policies": {
        "LRU": {
          "hits": 0,
          "misses": 12,
          "outcomes": "MMMMMMMMMMMM"
        },
        "FIFO": {
          "hits": 0,
          "misses": 12,
          "outcomes": "MMMMMMMMMMMM"
        },
        "CLOCK": {
          "hits": 0,
          "misses": 12,
          "outcomes": "MMMMMMMMMMMM"
        },
        "SIEVE": {
          "hits": 0,
          "misses": 12,
          "outcomes": "MMMMMMMMMMMM"
        }
      },
      "oracle": {
        "outcomes": "MMMMMMMMMMMM",
        "evictionProbes": [
          0,
          0,
          0,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1,
          1
        ]
      }
    },
    {
      "name": "warm-scan-return",
      "references": "ABCABCDEFABCABC",
      "capacityObjects": 3,
      "requests": 15,
      "policies": {
        "LRU": {
          "hits": 6,
          "misses": 9,
          "outcomes": "MMMHHHMMMMMMHHH"
        },
        "FIFO": {
          "hits": 6,
          "misses": 9,
          "outcomes": "MMMHHHMMMMMMHHH"
        },
        "CLOCK": {
          "hits": 6,
          "misses": 9,
          "outcomes": "MMMHHHMMMMMMHHH"
        },
        "SIEVE": {
          "hits": 6,
          "misses": 9,
          "outcomes": "MMMHHHMMMMMMHHH"
        }
      },
      "oracle": {
        "outcomes": "MMMHHHMMMMMMHHH",
        "evictionProbes": [
          0,
          0,
          0,
          0,
          0,
          0,
          4,
          1,
          1,
          1,
          1,
          1,
          0,
          0,
          0
        ]
      }
    },
    {
      "name": "all-visited",
      "references": "ABCABCD",
      "capacityObjects": 3,
      "requests": 7,
      "policies": {
        "LRU": {
          "hits": 3,
          "misses": 4,
          "outcomes": "MMMHHHM"
        },
        "FIFO": {
          "hits": 3,
          "misses": 4,
          "outcomes": "MMMHHHM"
        },
        "CLOCK": {
          "hits": 3,
          "misses": 4,
          "outcomes": "MMMHHHM"
        },
        "SIEVE": {
          "hits": 3,
          "misses": 4,
          "outcomes": "MMMHHHM"
        }
      },
      "oracle": {
        "outcomes": "MMMHHHM",
        "evictionProbes": [
          0,
          0,
          0,
          0,
          0,
          0,
          4
        ]
      }
    }
  ]
}