#
# File: jwt/types.py
#

from typing import TypedDict, List

class JwtOptions(TypedDict):
    verify_signature: bool
    verify_exp: bool
    verify_nbf: bool
    verify_iat: bool
    verify_aud: bool
    verify_iss: bool
    require: List[str]

#
# File: jwt/api_jwt.py
#
# from .types import JwtOptions

class PyJWT:
    def __init__(self, options: JwtOptions | None = None) -> None:
        if options is None:
            self.options: JwtOptions = self._get_default_options()

    @staticmethod
    def _get_default_options() -> JwtOptions:
        return {
            "verify_signature": True,
            "verify_exp": True,
            "verify_nbf": True,
            "verify_iat": True,
            "verify_aud": True,
            "verify_iss": True,
            "require": [],
        }

    def decode(self, options: JwtOptions) -> None:
        pass

#
# Demo
#

pyJWT = PyJWT()

# Happy Path
# Success: no issues found in 1 source file
#
# pyJWT.decode(options={
#     'verify_signature': True,
#     'verify_exp': True,
#     'verify_nbf': True,
#     'verify_iat': True,
#     'verify_aud': True,
#     'verify_iss': True,
#     'require': []
# })

# Unhappy Path
# main.py:65: error: Missing key "require" for TypedDict "JwtOptions"  [typeddict-item]
# main.py:65: error: Extra key "required" for TypedDict "JwtOptions"  [typeddict-unknown-key]
# Found 2 errors in 1 file (checked 1 source file)
#
pyJWT.decode(options={
    'verify_signature': True,
    'verify_exp': True,
    'verify_nbf': True,
    'verify_iat': True,
    'verify_aud': True,
    'verify_iss': True,
    'required': [] # misspelled key
})