{
  "schemaVersion": 1,
  "generated": "2026-11-12",
  "evidenceType": "exact constructed counterexample",
  "intervalConvention": "current request index minus previous index; immediate reuse is 1",
  "distanceConvention": "distinct identities strictly between reuses; immediate reuse is 0",
  "coldConvention": "null; first appearance in an explicitly empty cache",
  "assumptions": [
    "equal-size entries",
    "fully associative LRU",
    "immediate demand admission",
    "no expiry, invalidation, prefetch or concurrent fills"
  ],
  "rows": [
    {
      "trace": [
        "A",
        "A",
        "C",
        "B",
        "A",
        "B"
      ],
      "requests": 6,
      "cold": 3,
      "frequencies": [
        [
          "A",
          3
        ],
        [
          "B",
          2
        ],
        [
          "C",
          1
        ]
      ],
      "intervals": [
        null,
        1,
        null,
        null,
        3,
        2
      ],
      "distances": [
        null,
        0,
        null,
        null,
        2,
        1
      ],
      "intervalHistogram": [
        [
          1,
          1
        ],
        [
          2,
          1
        ],
        [
          3,
          1
        ]
      ],
      "distanceHistogram": [
        [
          0,
          1
        ],
        [
          1,
          1
        ],
        [
          2,
          1
        ]
      ],
      "curve": [
        {
          "capacity": 1,
          "misses": 5,
          "requests": 6
        },
        {
          "capacity": 2,
          "misses": 4,
          "requests": 6
        },
        {
          "capacity": 3,
          "misses": 3,
          "requests": 6
        }
      ]
    },
    {
      "trace": [
        "A",
        "B",
        "A",
        "A",
        "B",
        "C"
      ],
      "requests": 6,
      "cold": 3,
      "frequencies": [
        [
          "A",
          3
        ],
        [
          "B",
          2
        ],
        [
          "C",
          1
        ]
      ],
      "intervals": [
        null,
        null,
        2,
        1,
        3,
        null
      ],
      "distances": [
        null,
        null,
        1,
        0,
        1,
        null
      ],
      "intervalHistogram": [
        [
          1,
          1
        ],
        [
          2,
          1
        ],
        [
          3,
          1
        ]
      ],
      "distanceHistogram": [
        [
          0,
          1
        ],
        [
          1,
          2
        ]
      ],
      "curve": [
        {
          "capacity": 1,
          "misses": 5,
          "requests": 6
        },
        {
          "capacity": 2,
          "misses": 3,
          "requests": 6
        },
        {
          "capacity": 3,
          "misses": 3,
          "requests": 6
        }
      ]
    }
  ],
  "limitations": [
    "No measured workload, latency, SSD or paper benchmark replication.",
    "The unordered histogram, not the ordered interval sequence, loses the distinguishing information.",
    "The bounded evaluator uses quadratic work and is not intended for large traces."
  ]
}