{
  "policy": "tier1-equivalence/policies/09-arithmetic-modulo.aster",
  "entry": "is_even",
  "_note": "Restored to a genuine even-check using the real `modulo` operator (n modulo 2 equals to 0). The previous `n - (n/2)*2` idiom relied on integer division and broke under float `/`; the `modulo` operator now makes this a correct, meaningful test.",
  "cases": [
    {
      "name": "4 is even",
      "input": [
        4
      ],
      "expectedOutput": true
    },
    {
      "name": "7 is not even",
      "input": [
        7
      ],
      "expectedOutput": false
    },
    {
      "name": "0 is even",
      "input": [
        0
      ],
      "expectedOutput": true
    }
  ]
}