# file: /Users/tefx/Projects/Invar/src/invar/shell/prove/guard_ts.py
# hypothesis_version: 6.148.11

[100, 120, 300, '"(\\w+)"', '--json', '--noEmit', '--num-runs', '--pretty', '--reporter=json', '--seed', '--version', '-_', '.json', '2.0', ': error TS', ': warning TS', '<eslint>', '<project>', '@invar/', '@invar/no-io-in-core', 'ENOENT', 'No tsconfig.json', 'T', 'Test failed', 'action', 'analysis', 'assertionResults', 'available', 'blindSpots', 'blind_spots', 'code', 'column', 'confidence', 'contracts', 'counterexample', 'coverage', 'critical', 'dependencies', 'devDependencies', 'doctest.config.json', 'error', 'errors', 'eslint', 'eslint-error', 'eslint-plugin', 'explanation', 'failed', 'failures', 'false', 'fc-runner', 'fc-runner failed', 'fc-runner timed out', 'file', 'filePath', 'files_checked', 'fixes', 'function', 'high', 'id', 'info', 'input', 'insert', 'issue', 'language', 'line', 'location', 'low', 'medium', 'message', 'messages', 'name', 'node', 'not found', 'note', 'npx', 'package.json', 'passed', 'priority', 'properties', 'property_tests', 'quality', 'quick-check', 'quick-check failed', 'r', 'reason', 'refactor', 'repair', 'replace', 'risk', 'rule', 'ruleId', 'run', 'seed', 'severity', 'shrunk', 'skipped', 'source', 'static', 'statistical', 'status', 'strong', 'suggestedSchema', 'suggested_schema', 'summary', 'summary_mode', 'target', 'testResults', 'test_failure', 'tests', 'title', 'tool_errors', 'ts-analyzer', 'ts-analyzer failed', 'tsc', 'tsconfig.json', 'type', 'typescript', 'unknown', 'useless', 'version', 'violations', 'vitest', 'vitest.config.js', 'vitest.config.ts', 'w', 'w+', 'warning', 'warnings', 'weak', '{param}', '{return_type}']