{ "schemaVersion": 1, "kind": "educational-model", "assumptions": [ "One key, three strictly ordered layers, no concurrent mutation.", "Absent differs from an explicit deletion; first present entry wins.", "Only contiguous newest prefixes are replaced; no physical reclamation or crash model." ], "cases": 128, "mismatches": 0, "scopeExample": { "layers": [ "deleted", "deleted", "old" ], "oneLayer": [ "absent", "deleted", "old" ], "twoLayers": [ "deleted", "old" ], "incorrectTwoLayers": [ "absent", "old" ] }, "results": [ { "layers": [ "absent", "absent", "absent" ], "count": 1, "before": null, "compacted": [ "absent", "absent", "absent" ], "after": null }, { "layers": [ "absent", "absent", "absent" ], "count": 2, "before": null, "compacted": [ "absent", "absent" ], "after": null }, { "layers": [ "absent", "absent", "deleted" ], "count": 1, "before": null, "compacted": [ "absent", "absent", "deleted" ], "after": null }, { "layers": [ "absent", "absent", "deleted" ], "count": 2, "before": null, "compacted": [ "absent", "deleted" ], "after": null }, { "layers": [ "absent", "absent", "old" ], "count": 1, "before": "old", "compacted": [ "absent", "absent", "old" ], "after": "old" }, { "layers": [ "absent", "absent", "old" ], "count": 2, "before": "old", "compacted": [ "absent", "old" ], "after": "old" }, { "layers": [ "absent", "absent", "new" ], "count": 1, "before": "new", "compacted": [ "absent", "absent", "new" ], "after": "new" }, { "layers": [ "absent", "absent", "new" ], "count": 2, "before": "new", "compacted": [ "absent", "new" ], "after": "new" }, { "layers": [ "absent", "deleted", "absent" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "absent" ], "after": null }, { "layers": [ "absent", "deleted", "absent" ], "count": 2, "before": null, "compacted": [ "absent", "absent" ], "after": null }, { "layers": [ "absent", "deleted", "deleted" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "deleted" ], "after": null }, { "layers": [ "absent", "deleted", "deleted" ], "count": 2, "before": null, "compacted": [ "absent", "deleted" ], "after": null }, { "layers": [ "absent", "deleted", "old" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "old" ], "after": null }, { "layers": [ "absent", "deleted", "old" ], "count": 2, "before": null, "compacted": [ "deleted", "old" ], "after": null }, { "layers": [ "absent", "deleted", "new" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "new" ], "after": null }, { "layers": [ "absent", "deleted", "new" ], "count": 2, "before": null, "compacted": [ "deleted", "new" ], "after": null }, { "layers": [ "absent", "old", "absent" ], "count": 1, "before": "old", "compacted": [ "absent", "old", "absent" ], "after": "old" }, { "layers": [ "absent", "old", "absent" ], "count": 2, "before": "old", "compacted": [ "old", "absent" ], "after": "old" }, { "layers": [ "absent", "old", "deleted" ], "count": 1, "before": "old", "compacted": [ "absent", "old", "deleted" ], "after": "old" }, { "layers": [ "absent", "old", "deleted" ], "count": 2, "before": "old", "compacted": [ "old", "deleted" ], "after": "old" }, { "layers": [ "absent", "old", "old" ], "count": 1, "before": "old", "compacted": [ "absent", "old", "old" ], "after": "old" }, { "layers": [ "absent", "old", "old" ], "count": 2, "before": "old", "compacted": [ "old", "old" ], "after": "old" }, { "layers": [ "absent", "old", "new" ], "count": 1, "before": "old", "compacted": [ "absent", "old", "new" ], "after": "old" }, { "layers": [ "absent", "old", "new" ], "count": 2, "before": "old", "compacted": [ "old", "new" ], "after": "old" }, { "layers": [ "absent", "new", "absent" ], "count": 1, "before": "new", "compacted": [ "absent", "new", "absent" ], "after": "new" }, { "layers": [ "absent", "new", "absent" ], "count": 2, "before": "new", "compacted": [ "new", "absent" ], "after": "new" }, { "layers": [ "absent", "new", "deleted" ], "count": 1, "before": "new", "compacted": [ "absent", "new", "deleted" ], "after": "new" }, { "layers": [ "absent", "new", "deleted" ], "count": 2, "before": "new", "compacted": [ "new", "deleted" ], "after": "new" }, { "layers": [ "absent", "new", "old" ], "count": 1, "before": "new", "compacted": [ "absent", "new", "old" ], "after": "new" }, { "layers": [ "absent", "new", "old" ], "count": 2, "before": "new", "compacted": [ "new", "old" ], "after": "new" }, { "layers": [ "absent", "new", "new" ], "count": 1, "before": "new", "compacted": [ "absent", "new", "new" ], "after": "new" }, { "layers": [ "absent", "new", "new" ], "count": 2, "before": "new", "compacted": [ "new", "new" ], "after": "new" }, { "layers": [ "deleted", "absent", "absent" ], "count": 1, "before": null, "compacted": [ "absent", "absent", "absent" ], "after": null }, { "layers": [ "deleted", "absent", "absent" ], "count": 2, "before": null, "compacted": [ "absent", "absent" ], "after": null }, { "layers": [ "deleted", "absent", "deleted" ], "count": 1, "before": null, "compacted": [ "absent", "absent", "deleted" ], "after": null }, { "layers": [ "deleted", "absent", "deleted" ], "count": 2, "before": null, "compacted": [ "absent", "deleted" ], "after": null }, { "layers": [ "deleted", "absent", "old" ], "count": 1, "before": null, "compacted": [ "deleted", "absent", "old" ], "after": null }, { "layers": [ "deleted", "absent", "old" ], "count": 2, "before": null, "compacted": [ "deleted", "old" ], "after": null }, { "layers": [ "deleted", "absent", "new" ], "count": 1, "before": null, "compacted": [ "deleted", "absent", "new" ], "after": null }, { "layers": [ "deleted", "absent", "new" ], "count": 2, "before": null, "compacted": [ "deleted", "new" ], "after": null }, { "layers": [ "deleted", "deleted", "absent" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "absent" ], "after": null }, { "layers": [ "deleted", "deleted", "absent" ], "count": 2, "before": null, "compacted": [ "absent", "absent" ], "after": null }, { "layers": [ "deleted", "deleted", "deleted" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "deleted" ], "after": null }, { "layers": [ "deleted", "deleted", "deleted" ], "count": 2, "before": null, "compacted": [ "absent", "deleted" ], "after": null }, { "layers": [ "deleted", "deleted", "old" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "old" ], "after": null }, { "layers": [ "deleted", "deleted", "old" ], "count": 2, "before": null, "compacted": [ "deleted", "old" ], "after": null }, { "layers": [ "deleted", "deleted", "new" ], "count": 1, "before": null, "compacted": [ "absent", "deleted", "new" ], "after": null }, { "layers": [ "deleted", "deleted", "new" ], "count": 2, "before": null, "compacted": [ "deleted", "new" ], "after": null }, { "layers": [ "deleted", "old", "absent" ], "count": 1, "before": null, "compacted": [ "deleted", "old", "absent" ], "after": null }, { "layers": [ "deleted", "old", "absent" ], "count": 2, "before": null, "compacted": [ "absent", "absent" ], "after": null }, { "layers": [ "deleted", "old", "deleted" ], "count": 1, "before": null, "compacted": [ "deleted", "old", "deleted" ], "after": null }, { "layers": [ "deleted", "old", "deleted" ], "count": 2, "before": null, "compacted": [ "absent", "deleted" ], "after": null }, { "layers": [ "deleted", "old", "old" ], "count": 1, "before": null, "compacted": [ "deleted", "old", "old" ], "after": null }, { "layers": [ "deleted", "old", "old" ], "count": 2, "before": null, "compacted": [ "deleted", "old" ], "after": null }, { "layers": [ "deleted", "old", "new" ], "count": 1, "before": null, "compacted": [ "deleted", "old", "new" ], "after": null }, { "layers": [ "deleted", "old", "new" ], "count": 2, "before": null, "compacted": [ "deleted", "new" ], "after": null }, { "layers": [ "deleted", "new", "absent" ], "count": 1, "before": null, "compacted": [ "deleted", "new", "absent" ], "after": null }, { "layers": [ "deleted", "new", "absent" ], "count": 2, "before": null, "compacted": [ "absent", "absent" ], "after": null }, { "layers": [ "deleted", "new", "deleted" ], "count": 1, "before": null, "compacted": [ "deleted", "new", "deleted" ], "after": null }, { "layers": [ "deleted", "new", "deleted" ], "count": 2, "before": null, "compacted": [ "absent", "deleted" ], "after": null }, { "layers": [ "deleted", "new", "old" ], "count": 1, "before": null, "compacted": [ "deleted", "new", "old" ], "after": null }, { "layers": [ "deleted", "new", "old" ], "count": 2, "before": null, "compacted": [ "deleted", "old" ], "after": null }, { "layers": [ "deleted", "new", "new" ], "count": 1, "before": null, "compacted": [ "deleted", "new", "new" ], "after": null }, { "layers": [ "deleted", "new", "new" ], "count": 2, "before": null, "compacted": [ "deleted", "new" ], "after": null }, { "layers": [ "old", "absent", "absent" ], "count": 1, "before": "old", "compacted": [ "old", "absent", "absent" ], "after": "old" }, { "layers": [ "old", "absent", "absent" ], "count": 2, "before": "old", "compacted": [ "old", "absent" ], "after": "old" }, { "layers": [ "old", "absent", "deleted" ], "count": 1, "before": "old", "compacted": [ "old", "absent", "deleted" ], "after": "old" }, { "layers": [ "old", "absent", "deleted" ], "count": 2, "before": "old", "compacted": [ "old", "deleted" ], "after": "old" }, { "layers": [ "old", "absent", "old" ], "count": 1, "before": "old", "compacted": [ "old", "absent", "old" ], "after": "old" }, { "layers": [ "old", "absent", "old" ], "count": 2, "before": "old", "compacted": [ "old", "old" ], "after": "old" }, { "layers": [ "old", "absent", "new" ], "count": 1, "before": "old", "compacted": [ "old", "absent", "new" ], "after": "old" }, { "layers": [ "old", "absent", "new" ], "count": 2, "before": "old", "compacted": [ "old", "new" ], "after": "old" }, { "layers": [ "old", "deleted", "absent" ], "count": 1, "before": "old", "compacted": [ "old", "deleted", "absent" ], "after": "old" }, { "layers": [ "old", "deleted", "absent" ], "count": 2, "before": "old", "compacted": [ "old", "absent" ], "after": "old" }, { "layers": [ "old", "deleted", "deleted" ], "count": 1, "before": "old", "compacted": [ "old", "deleted", "deleted" ], "after": "old" }, { "layers": [ "old", "deleted", "deleted" ], "count": 2, "before": "old", "compacted": [ "old", "deleted" ], "after": "old" }, { "layers": [ "old", "deleted", "old" ], "count": 1, "before": "old", "compacted": [ "old", "deleted", "old" ], "after": "old" }, { "layers": [ "old", "deleted", "old" ], "count": 2, "before": "old", "compacted": [ "old", "old" ], "after": "old" }, { "layers": [ "old", "deleted", "new" ], "count": 1, "before": "old", "compacted": [ "old", "deleted", "new" ], "after": "old" }, { "layers": [ "old", "deleted", "new" ], "count": 2, "before": "old", "compacted": [ "old", "new" ], "after": "old" }, { "layers": [ "old", "old", "absent" ], "count": 1, "before": "old", "compacted": [ "old", "old", "absent" ], "after": "old" }, { "layers": [ "old", "old", "absent" ], "count": 2, "before": "old", "compacted": [ "old", "absent" ], "after": "old" }, { "layers": [ "old", "old", "deleted" ], "count": 1, "before": "old", "compacted": [ "old", "old", "deleted" ], "after": "old" }, { "layers": [ "old", "old", "deleted" ], "count": 2, "before": "old", "compacted": [ "old", "deleted" ], "after": "old" }, { "layers": [ "old", "old", "old" ], "count": 1, "before": "old", "compacted": [ "old", "old", "old" ], "after": "old" }, { "layers": [ "old", "old", "old" ], "count": 2, "before": "old", "compacted": [ "old", "old" ], "after": "old" }, { "layers": [ "old", "old", "new" ], "count": 1, "before": "old", "compacted": [ "old", "old", "new" ], "after": "old" }, { "layers": [ "old", "old", "new" ], "count": 2, "before": "old", "compacted": [ "old", "new" ], "after": "old" }, { "layers": [ "old", "new", "absent" ], "count": 1, "before": "old", "compacted": [ "old", "new", "absent" ], "after": "old" }, { "layers": [ "old", "new", "absent" ], "count": 2, "before": "old", "compacted": [ "old", "absent" ], "after": "old" }, { "layers": [ "old", "new", "deleted" ], "count": 1, "before": "old", "compacted": [ "old", "new", "deleted" ], "after": "old" }, { "layers": [ "old", "new", "deleted" ], "count": 2, "before": "old", "compacted": [ "old", "deleted" ], "after": "old" }, { "layers": [ "old", "new", "old" ], "count": 1, "before": "old", "compacted": [ "old", "new", "old" ], "after": "old" }, { "layers": [ "old", "new", "old" ], "count": 2, "before": "old", "compacted": [ "old", "old" ], "after": "old" }, { "layers": [ "old", "new", "new" ], "count": 1, "before": "old", "compacted": [ "old", "new", "new" ], "after": "old" }, { "layers": [ "old", "new", "new" ], "count": 2, "before": "old", "compacted": [ "old", "new" ], "after": "old" }, { "layers": [ "new", "absent", "absent" ], "count": 1, "before": "new", "compacted": [ "new", "absent", "absent" ], "after": "new" }, { "layers": [ "new", "absent", "absent" ], "count": 2, "before": "new", "compacted": [ "new", "absent" ], "after": "new" }, { "layers": [ "new", "absent", "deleted" ], "count": 1, "before": "new", "compacted": [ "new", "absent", "deleted" ], "after": "new" }, { "layers": [ "new", "absent", "deleted" ], "count": 2, "before": "new", "compacted": [ "new", "deleted" ], "after": "new" }, { "layers": [ "new", "absent", "old" ], "count": 1, "before": "new", "compacted": [ "new", "absent", "old" ], "after": "new" }, { "layers": [ "new", "absent", "old" ], "count": 2, "before": "new", "compacted": [ "new", "old" ], "after": "new" }, { "layers": [ "new", "absent", "new" ], "count": 1, "before": "new", "compacted": [ "new", "absent", "new" ], "after": "new" }, { "layers": [ "new", "absent", "new" ], "count": 2, "before": "new", "compacted": [ "new", "new" ], "after": "new" }, { "layers": [ "new", "deleted", "absent" ], "count": 1, "before": "new", "compacted": [ "new", "deleted", "absent" ], "after": "new" }, { "layers": [ "new", "deleted", "absent" ], "count": 2, "before": "new", "compacted": [ "new", "absent" ], "after": "new" }, { "layers": [ "new", "deleted", "deleted" ], "count": 1, "before": "new", "compacted": [ "new", "deleted", "deleted" ], "after": "new" }, { "layers": [ "new", "deleted", "deleted" ], "count": 2, "before": "new", "compacted": [ "new", "deleted" ], "after": "new" }, { "layers": [ "new", "deleted", "old" ], "count": 1, "before": "new", "compacted": [ "new", "deleted", "old" ], "after": "new" }, { "layers": [ "new", "deleted", "old" ], "count": 2, "before": "new", "compacted": [ "new", "old" ], "after": "new" }, { "layers": [ "new", "deleted", "new" ], "count": 1, "before": "new", "compacted": [ "new", "deleted", "new" ], "after": "new" }, { "layers": [ "new", "deleted", "new" ], "count": 2, "before": "new", "compacted": [ "new", "new" ], "after": "new" }, { "layers": [ "new", "old", "absent" ], "count": 1, "before": "new", "compacted": [ "new", "old", "absent" ], "after": "new" }, { "layers": [ "new", "old", "absent" ], "count": 2, "before": "new", "compacted": [ "new", "absent" ], "after": "new" }, { "layers": [ "new", "old", "deleted" ], "count": 1, "before": "new", "compacted": [ "new", "old", "deleted" ], "after": "new" }, { "layers": [ "new", "old", "deleted" ], "count": 2, "before": "new", "compacted": [ "new", "deleted" ], "after": "new" }, { "layers": [ "new", "old", "old" ], "count": 1, "before": "new", "compacted": [ "new", "old", "old" ], "after": "new" }, { "layers": [ "new", "old", "old" ], "count": 2, "before": "new", "compacted": [ "new", "old" ], "after": "new" }, { "layers": [ "new", "old", "new" ], "count": 1, "before": "new", "compacted": [ "new", "old", "new" ], "after": "new" }, { "layers": [ "new", "old", "new" ], "count": 2, "before": "new", "compacted": [ "new", "new" ], "after": "new" }, { "layers": [ "new", "new", "absent" ], "count": 1, "before": "new", "compacted": [ "new", "new", "absent" ], "after": "new" }, { "layers": [ "new", "new", "absent" ], "count": 2, "before": "new", "compacted": [ "new", "absent" ], "after": "new" }, { "layers": [ "new", "new", "deleted" ], "count": 1, "before": "new", "compacted": [ "new", "new", "deleted" ], "after": "new" }, { "layers": [ "new", "new", "deleted" ], "count": 2, "before": "new", "compacted": [ "new", "deleted" ], "after": "new" }, { "layers": [ "new", "new", "old" ], "count": 1, "before": "new", "compacted": [ "new", "new", "old" ], "after": "new" }, { "layers": [ "new", "new", "old" ], "count": 2, "before": "new", "compacted": [ "new", "old" ], "after": "new" }, { "layers": [ "new", "new", "new" ], "count": 1, "before": "new", "compacted": [ "new", "new", "new" ], "after": "new" }, { "layers": [ "new", "new", "new" ], "count": 2, "before": "new", "compacted": [ "new", "new" ], "after": "new" } ] }