{
  "schemaVersion": 1,
  "classification": "constructed arithmetic example",
  "timeUnit": "abstract integer tick",
  "source": "https://www.cs.cmu.edu/~christos/courses/721-resources/p297-o_neil.pdf",
  "sourceLocation": "sections 2.1.1 and 2.1.3, Figure 2.1",
  "scope": [
    "K=2, established two-reference history, resident references only",
    "No misses, history expiry, dirty-page writes, pins or full-buffer fallback",
    "Eligibility probes are independent observations, not actual evictions",
    "No workload performance, optimality proof or hardware measurement"
  ],
  "period": 5,
  "seedA": {
    "last": 10,
    "history": [
      10,
      1
    ]
  },
  "seedB": {
    "last": 8,
    "history": [
      8,
      2
    ]
  },
  "residentReferences": [
    {
      "time": 14,
      "before": {
        "last": 10,
        "history": [
          10,
          1
        ]
      },
      "after": {
        "last": 14,
        "history": [
          10,
          1
        ]
      },
      "newBurst": false,
      "backward2Distance": 13
    },
    {
      "time": 18,
      "before": {
        "last": 14,
        "history": [
          10,
          1
        ]
      },
      "after": {
        "last": 18,
        "history": [
          10,
          1
        ]
      },
      "newBurst": false,
      "backward2Distance": 17
    },
    {
      "time": 30,
      "before": {
        "last": 18,
        "history": [
          10,
          1
        ]
      },
      "after": {
        "last": 30,
        "history": [
          30,
          18
        ]
      },
      "newBurst": true,
      "backward2Distance": 12
    }
  ],
  "eligibilityChecks": [
    {
      "time": 20,
      "aEligible": false,
      "bEligible": true,
      "aBackward2Distance": 19,
      "bBackward2Distance": 18,
      "wrongBurstStartPredicateForA": true
    },
    {
      "time": 23,
      "aEligible": false,
      "bEligible": true,
      "aBackward2Distance": 22,
      "bBackward2Distance": 21,
      "wrongBurstStartPredicateForA": true
    },
    {
      "time": 24,
      "aEligible": true,
      "bEligible": true,
      "aBackward2Distance": 23,
      "bBackward2Distance": 22,
      "wrongBurstStartPredicateForA": true
    }
  ],
  "contrastAt30": {
    "contractedHistory": [
      30,
      18
    ],
    "contractedBackward2Distance": 12,
    "omitOnlyHistory": [
      30,
      10
    ],
    "omitOnlyBackward2Distance": 20,
    "countingAllReadsHistory": [
      30,
      18
    ],
    "countingAllReadsBackward2Distance": 12,
    "note": "Counting all reads agrees here at 30 but differs at 18: [18,14], age 4 versus [10,1], age 17."
  }
}