src/ComposerRequireChecker/Cli/Application.php:12:7: ClassMustBeFinal: Class ComposerRequireChecker\Cli\Application is never extended and is not part of the public API, and thus must be made final. (see https://psalm.dev/361)

src/ComposerRequireChecker/Cli/CheckCommand.php:48:7: ClassMustBeFinal: Class ComposerRequireChecker\Cli\CheckCommand is never extended and is not part of the public API, and thus must be made final. (see https://psalm.dev/361)

src/ComposerRequireChecker/Cli/CheckCommand.php:53:5: MissingOverrideAttribute: Method ComposerRequireChecker\Cli\CheckCommand::configure should have the "Override" attribute (see https://psalm.dev/358)

src/ComposerRequireChecker/Cli/CheckCommand.php:85:5: MissingOverrideAttribute: Method ComposerRequireChecker\Cli\CheckCommand::initialize should have the "Override" attribute (see https://psalm.dev/358)

src/ComposerRequireChecker/Cli/CheckCommand.php:101:5: MissingOverrideAttribute: Method ComposerRequireChecker\Cli\CheckCommand::execute should have the "Override" attribute (see https://psalm.dev/358)

src/ComposerRequireChecker/Cli/CheckCommand.php:147:35: InvalidOperand: Cannot concatenate with a int<0, max> (see https://psalm.dev/058)

src/ComposerRequireChecker/Cli/CheckCommand.php:153:35: InvalidOperand: Cannot concatenate with a int<0, max> (see https://psalm.dev/058)

src/ComposerRequireChecker/Cli/CheckCommand.php:164:35: InvalidOperand: Cannot concatenate with a int<0, max> (see https://psalm.dev/058)

src/ComposerRequireChecker/Cli/Options.php:22:7: ClassMustBeFinal: Class ComposerRequireChecker\Cli\Options is never extended and is not part of the public API, and thus must be made final. (see https://psalm.dev/361)

src/ComposerRequireChecker/Cli/ResultsWriter/CliJson.php:31:5: MissingOverrideAttribute: Method ComposerRequireChecker\Cli\ResultsWriter\CliJson::write should have the "Override" attribute (see https://psalm.dev/358)