{
  "schemaVersion": 1,
  "evidenceType": "exact arithmetic on previously published finite replay",
  "sourcePath": "/research/cache-capacity.json",
  "sourceSha256": "d0fb3b9de04e9662d5128ccf9e4b276c8ab8a872f712671d06b6b0f4d66271e8",
  "generatorSha256": "560ef1aac9bad3e31620dfbac61985375902b32675ba6d5313af391fb519f692",
  "license": "MIT (Hesela code and derived arithmetic only)",
  "references": "ABCDABEABCDE",
  "requests": 12,
  "capacitiesObjects": [
    1,
    2,
    3,
    4,
    5
  ],
  "misses": [
    12,
    12,
    9,
    10,
    5
  ],
  "minimumMaxAbsoluteError": "1/24",
  "minimumMaxErrorPercentagePoints": "25/6",
  "attainingNonincreasingFit": [
    "23/24",
    "23/24",
    "19/24",
    "19/24",
    "3/8"
  ],
  "witnessIndices": [
    2,
    3
  ],
  "limits": [
    "No execution or replication of Kosmo, Miniature Simulations or a device.",
    "The bound is maximum absolute error over these capacities, not mean absolute error.",
    "Existing cold-start, equal-size, demand-admitted FIFO assumptions remain.",
    "This is a deterministic inequality, not a confidence interval or a prevalence estimate.",
    "The bound does not say which monotone estimate Kosmo would return."
  ]
}