---
cases:
  - data:
    modules:
      - |
        package generated

        p = [x, y, z] {
          io.jwt.decode_verify("eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJ4eHgiLCJuYmYiOjEuNTg5Mzg1NzcwMTIzNGUrMDl9.lvrsV1nam-BZr0SomWwsr4dBfu6BDrR2FzQ1iS_Xnrw", {"secret": "secret", "time": 1589385770023400000}, [x, y, z])
        }
    note: jwtdecodeverify/hs256-float-nbf-one-tenth-second-before
    query: data.generated.p = x
    want_result:
      - x:
          - false
          - {}
          - {}
