{
  "schemaVersion": 1,
  "evidenceType": "constructed deterministic replacement transitions",
  "source": "https://www.usenix.org/events/fast04/tech/full_papers/bansal/bansal.pdf",
  "sourceLocator": "Figure 2 lines 24-36; section III.B prose on preceding page",
  "method": "Head-first lists; fixed target; full cache; no concurrent hits; one replacement only.",
  "limits": "Not a full CAR simulator, trace benchmark, throughput measurement or author-confirmed erratum.",
  "cases": [
    {
      "id": "figure-2-zero",
      "promotionBit": 0,
      "input": {
        "capacity": 2,
        "target": 0,
        "t1": [
          {
            "id": "C",
            "bit": 1
          }
        ],
        "t2": [
          {
            "id": "B",
            "bit": 1
          }
        ]
      },
      "result": {
        "victim": "C",
        "history": "b2",
        "visits": 3,
        "steps": [
          {
            "action": "promote",
            "page": "C",
            "from": "t1",
            "to": "t2",
            "bit": 0
          },
          {
            "action": "rotate",
            "page": "B",
            "from": "t2",
            "to": "t2",
            "bit": 0
          },
          {
            "action": "evict",
            "page": "C",
            "from": "t2",
            "to": "b2"
          }
        ],
        "t1": [],
        "t2": [
          {
            "id": "B",
            "bit": 0
          }
        ]
      }
    },
    {
      "id": "prose-one-control",
      "promotionBit": 1,
      "input": {
        "capacity": 2,
        "target": 0,
        "t1": [
          {
            "id": "C",
            "bit": 1
          }
        ],
        "t2": [
          {
            "id": "B",
            "bit": 1
          }
        ]
      },
      "result": {
        "victim": "B",
        "history": "b2",
        "visits": 4,
        "steps": [
          {
            "action": "promote",
            "page": "C",
            "from": "t1",
            "to": "t2",
            "bit": 1
          },
          {
            "action": "rotate",
            "page": "B",
            "from": "t2",
            "to": "t2",
            "bit": 0
          },
          {
            "action": "rotate",
            "page": "C",
            "from": "t2",
            "to": "t2",
            "bit": 0
          },
          {
            "action": "evict",
            "page": "B",
            "from": "t2",
            "to": "b2"
          }
        ],
        "t1": [],
        "t2": [
          {
            "id": "C",
            "bit": 0
          }
        ]
      }
    },
    {
      "id": "t2-history-destination",
      "promotionBit": 0,
      "input": {
        "capacity": 1,
        "target": 0,
        "t1": [],
        "t2": [
          {
            "id": "B",
            "bit": 0
          }
        ]
      },
      "result": {
        "victim": "B",
        "history": "b2",
        "visits": 1,
        "steps": [
          {
            "action": "evict",
            "page": "B",
            "from": "t2",
            "to": "b2"
          }
        ],
        "t1": [],
        "t2": []
      }
    }
  ]
}