---
cases:
  - note: jwtdecodeverify/hs256-float-one-tenth-second-before-exp
    query: data.generated.p = x
    modules:
      - |
        package generated

        p := [x, y, z] if {
        	io.jwt.decode_verify("eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJleHAiOjEuNTg5Mzg1NzcxMTIzNGUrMDksImlzcyI6Inh4eCJ9.PZ2z6VfHt9YdvHHUbilkTnw4R9TK3_V0LV1h-q0k9xg", {"secret": "secret", "time": 1589385771023400000}, [x, y, z])
        }
    want_result:
      - x:
          - true
          - alg: HS256
            typ: JWT
          - exp: 1589385771.1234
            iss: xxx
