{
  "synthetic": true,
  "kind": "authored reasoning sequence consistent with existing overflow fixture; not an observed enqueue trace",
  "capacity": 4,
  "policy": "drop-newest",
  "timing": "no timestamps declared; fixture ages do not uniquely reconstruct the operation timeline",
  "operations": [
    {
      "step": 1,
      "action": "push",
      "tick": 1
    },
    {
      "step": 2,
      "action": "push",
      "tick": 2
    },
    {
      "step": 3,
      "action": "push",
      "tick": 3
    },
    {
      "step": 4,
      "action": "push",
      "tick": 4
    },
    {
      "step": 5,
      "action": "push",
      "tick": 5
    },
    {
      "step": 6,
      "action": "push",
      "tick": 6
    },
    {
      "step": 7,
      "action": "pop",
      "tick": null
    },
    {
      "step": 8,
      "action": "push",
      "tick": 7
    },
    {
      "step": 9,
      "action": "pop",
      "tick": null
    },
    {
      "step": 10,
      "action": "pop",
      "tick": null
    },
    {
      "step": 11,
      "action": "pop",
      "tick": null
    },
    {
      "step": 12,
      "action": "pop",
      "tick": null
    }
  ]
}