psalm.xml

<?xml version="1.0"?>
<psalm
    errorLevel="1"
    phpVersion="8.2"
    resolveFromConfigFile="true"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns="https://getpsalm.org/schema/config"
    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
    findUnusedBaselineEntry="true"
    findUnusedCode="true"
    ensureArrayIntOffsetsExist="true"
    ensureArrayStringOffsetsExist="true"
    findUnusedVariablesAndParams="true"
    findUnusedPsalmSuppress="true"
    checkForThrowsDocblock="false"
    sealAllMethods="true"
    sealAllProperties="true"
    strictBinaryOperands="false"
>
    <projectFiles>
        <directory name="src" />
        <ignoreFiles>
            <directory name="vendor" />
        </ignoreFiles>
    </projectFiles>

    <issueHandlers>
        <InvalidCatch errorLevel="suppress" />
    </issueHandlers>

    <stubs>
        <file name="stubs/Jose/Component/Core/JWK.php.stub"/>
        <file name="stubs/Jose/Component/Core/JWKSet.php.stub"/>
        <file name="stubs/Jose/Component/Encryption/JWE.php.stub"/>
        <file name="stubs/Jose/Component/Signature/Signature.php.stub"/>
    </stubs>
</psalm>