{
  "evidenceType": "constructed-read-only-policy-example",
  "order": "oldest-to-newest",
  "cases": [
    {
      "variant": "full",
      "capacity": 4,
      "kin": 1,
      "kout": 2,
      "requests": [
        "A",
        "B",
        "C",
        "D",
        "A",
        "E",
        "A"
      ],
      "hits": 1,
      "reads": 6,
      "events": [
        {
          "page": "A",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "B",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "C",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B",
            "C"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "D",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B",
            "C",
            "D"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "A",
          "residentHit": true,
          "action": "retain-input-position",
          "victim": null,
          "input": [
            "A",
            "B",
            "C",
            "D"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "E",
          "residentHit": false,
          "action": "admit-input",
          "victim": "A",
          "input": [
            "B",
            "C",
            "D",
            "E"
          ],
          "main": [],
          "history": [
            "A"
          ]
        },
        {
          "page": "A",
          "residentHit": false,
          "action": "reload-history",
          "victim": "B",
          "input": [
            "C",
            "D",
            "E"
          ],
          "main": [
            "A"
          ],
          "history": [
            "B"
          ]
        }
      ]
    },
    {
      "variant": "simplified",
      "capacity": 4,
      "kin": 1,
      "kout": 2,
      "requests": [
        "A",
        "B",
        "C",
        "D",
        "A",
        "E",
        "A"
      ],
      "hits": 2,
      "reads": 5,
      "events": [
        {
          "page": "A",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "B",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "C",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B",
            "C"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "D",
          "residentHit": false,
          "action": "admit-input",
          "victim": null,
          "input": [
            "A",
            "B",
            "C",
            "D"
          ],
          "main": [],
          "history": []
        },
        {
          "page": "A",
          "residentHit": true,
          "action": "promote-resident",
          "victim": null,
          "input": [
            "B",
            "C",
            "D"
          ],
          "main": [
            "A"
          ],
          "history": []
        },
        {
          "page": "E",
          "residentHit": false,
          "action": "admit-input",
          "victim": "B",
          "input": [
            "C",
            "D",
            "E"
          ],
          "main": [
            "A"
          ],
          "history": []
        },
        {
          "page": "A",
          "residentHit": true,
          "action": "refresh-main",
          "victim": null,
          "input": [
            "C",
            "D",
            "E"
          ],
          "main": [
            "A"
          ],
          "history": []
        }
      ]
    }
  ]
}