pr-checkmate 3.3.0 → 4.0.1

package/dist/esm/cli.js

@@ -1,11 +1,20 @@
 #!/usr/bin/env node
+import fs from 'node:fs';
+import path from 'node:path';
+import { evaluateHook } from './agent/hook.js';
+import { reportSetup, setupAgent } from './agent/setup.js';
 import { loadProjectConfig } from './config/loader.js';
-import { COMMAND_TO_CHECK, FLAGS, STANDALONE_COMMANDS, TOOLING_COMMANDS } from './core/commands.js';
+import { AGENT_COMMANDS, COMMAND_TO_CHECK, FLAGS, STANDALONE_COMMANDS, TOOLING_COMMANDS, } from './core/commands.js';
 import { runChecks } from './core/index.js';
 import { installProfiles, pruneCache, runDoctor } from './core/install/doctor.js';
 import { ensureGrypeDb } from './core/install/grype-db.js';
+import { toSarif } from './core/sarif.js';
 import { init } from './init.js';
+import { serve } from './mcp/serve.js';
+import { createServerDefinition } from './mcp/tools.js';
+import { isolateInheritedStdio } from './utils/execa.js';
 import { getUpdateNotice, logger } from './utils/index.js';
+import { packageVersion } from './utils/package-version.js';
 const argv = process.argv.slice(2);
 /**
  * Flags are separated from positional arguments so they compose with every command
@@ -52,6 +61,28 @@ function rejectConflictingScope() {
         logger.error('[cli]: "--all" applies only to "install". Did you mean "--full"?');
         process.exit(1);
     }
+    // `mcp` speaks a protocol on stdout and `hook` is invoked by a harness with a
+    // fixed payload: neither has anything to configure from the command line, and a
+    // flag that quietly did nothing would look like it had.
+    if ((cmd === 'mcp' || cmd === 'hook') && flags.length > 0) {
+        logger.error(`[cli]: "${cmd}" takes no flags, got: ${flags.join(', ')}.`);
+        process.exit(1);
+    }
+    // Only a command that runs checks has findings to export; `all`, `precommit` and a
+    // named check do, every other standalone command does not.
+    const runsChecks = !cmd || cmd === 'all' || cmd === 'precommit' || !STANDALONE_COMMANDS.includes(cmd);
+    if (flags.includes('--sarif') && !runsChecks) {
+        logger.error('[cli]: "--sarif" applies only to commands that run checks.');
+        process.exit(1);
+    }
+    if (flags.includes('--no-hook') && cmd !== 'agent-setup') {
+        logger.error('[cli]: "--no-hook" applies only to "agent-setup".');
+        process.exit(1);
+    }
+    if (flags.includes('--full') && AGENT_COMMANDS.includes(cmd ?? '')) {
+        logger.error(`[cli]: "${cmd}" reviews nothing on its own, so "--full" has no meaning.`);
+        process.exit(1);
+    }
     if (flags.includes('--full') && TOOLING_COMMANDS.includes(cmd ?? '')) {
         logger.error(`[cli]: "${cmd}" manages tooling and reviews nothing, so "--full" has no meaning.`);
         process.exit(1);
@@ -73,6 +104,55 @@ function rejectExtraArgs() {
     logger.error(`[cli]: "${cmd}" takes no other arguments, got: ${args.slice(1).join(', ')}. Run them as a separate command.`);
     process.exit(1);
 }
+/**
+ * Write the report as SARIF when `--sarif` was passed. Written before the exit code
+ * is decided, so a failing run still leaves the file a dashboard needs to show why.
+ */
+function writeSarifIfRequested(report) {
+    if (!flags.includes('--sarif'))
+        return;
+    const file = path.resolve(process.cwd(), 'pr-checkmate.sarif');
+    fs.writeFileSync(file, `${JSON.stringify(toSarif(report, packageVersion()), null, 2)}\n`);
+    logger.info(`[sarif]: wrote ${file}`);
+}
+/** Everything the harness wrote to stdin, as text; empty when stdin is closed or a terminal. */
+async function readStdin() {
+    if (process.stdin.isTTY)
+        return '';
+    const chunks = [];
+    for await (const chunk of process.stdin)
+        chunks.push(Buffer.from(chunk));
+    return Buffer.concat(chunks).toString('utf-8');
+}
+/**
+ * The commands that serve AI agents. Returns whether `cmd` was one of them (and has
+ * therefore already exited); kept out of the main dispatcher so that one stays
+ * readable as the list of commands grows.
+ *
+ * `mcp` must stay ahead of anything that could print: from here until stdin closes,
+ * stdout carries protocol messages and nothing else.
+ */
+async function runAgentCommand() {
+    if (cmd === 'mcp') {
+        await serve(createServerDefinition());
+        process.exit(0);
+    }
+    if (cmd === 'hook') {
+        // Discarded rather than shown: the harness reads stdout and stderr of a hook
+        // as instructions to the model, so only the verdict may reach either.
+        isolateInheritedStdio('discard');
+        logger.setSink({ out: () => undefined, err: () => undefined });
+        const verdict = await evaluateHook(await readStdin(), process.cwd());
+        if (verdict.stderr)
+            process.stderr.write(`${verdict.stderr}\n`);
+        process.exit(verdict.exitCode);
+    }
+    if (cmd === 'agent-setup') {
+        reportSetup(setupAgent(process.cwd(), { hook: !flags.includes('--no-hook') }));
+        process.exit(0);
+    }
+    return false;
+}
 void (async () => {
     try {
         rejectUnknownFlags();
@@ -82,6 +162,8 @@ void (async () => {
             await init();
             process.exit(0);
         }
+        if (await runAgentCommand())
+            return;
         // Tooling management. These run no checks — they prepare, inspect or clean
         // up what the checks need, so they never touch the diff or the reporter.
         if (cmd === 'install') {
@@ -123,12 +205,14 @@ void (async () => {
                 logger.info('');
                 notice.forEach(line => logger.info(line));
             }
+            writeSarifIfRequested(report);
             process.exit(report.ok ? 0 : 1);
         }
         // Local pre-commit: check the staged changes (index vs HEAD), print to
         // stdout, never modify files. Exits non-zero on failure to block the commit.
         if (cmd === 'precommit') {
             const report = await runChecks({ staged: true, reporter: 'stdout', write: false });
+            writeSarifIfRequested(report);
             process.exit(report.ok ? 0 : 1);
         }
         // Every remaining argument is a check name, so `pr-checkmate lint spellcheck`
@@ -141,6 +225,7 @@ void (async () => {
         }
         const checkNames = [...new Set(args.map(arg => COMMAND_TO_CHECK[arg]))];
         const report = await runChecks({ only: checkNames, reporter: 'stdout', write: true, full });
+        writeSarifIfRequested(report);
         process.exit(report.ok ? 0 : 1);
     }
     catch (err) {

package/dist/esm/config/constants.d.ts

@@ -95,6 +95,7 @@ export declare const SOURCE_EXTENSIONS: {
     json: string[];
     all: string[];
 };
+export declare const AGENT_SETUP_COMMAND = "npx pr-checkmate agent-setup";
 export declare const DEFAULT_COMMANDS: {
     'npx pr-checkmate init': string;
     'npx pr-checkmate all': string;
@@ -109,6 +110,7 @@ export declare const DEFAULT_COMMANDS: {
     'npx pr-checkmate diff-smell': string;
     'npx pr-checkmate pr-body': string;
     'npx pr-checkmate duplicate': string;
+    "npx pr-checkmate agent-setup": string;
 };
 /**
  * Packages allow-listed for the license check by default.

package/dist/esm/config/constants.js

@@ -225,6 +225,7 @@ export const SOURCE_EXTENSIONS = {
     json: ['.json'],
     all: ['.ts', '.tsx', '.js', '.jsx', '.json', '.md', '.mdx'],
 };
+export const AGENT_SETUP_COMMAND = 'npx pr-checkmate agent-setup';
 export const DEFAULT_COMMANDS = {
     'npx pr-checkmate init': 'Create pr-checkmate.json and the CI workflow (first-run setup)',
     'npx pr-checkmate all': 'Run all checks over the changes — the PR diff in CI, your branch changes locally',
@@ -239,6 +240,7 @@ export const DEFAULT_COMMANDS = {
     'npx pr-checkmate diff-smell': 'Scan git diff for code smells',
     'npx pr-checkmate pr-body': 'Validate PR description',
     'npx pr-checkmate duplicate': 'Detect duplicate code blocks (jscpd)',
+    [AGENT_SETUP_COMMAND]: 'Connect your AI agent: MCP server, rules for it and edit hooks (writes .mcp.json)',
 };
 /**
  * Packages allow-listed for the license check by default.
@@ -320,6 +322,8 @@ export const KNOWN_CONFIG_KEYS = new Set([
     'diffSecurity',
     'workflowSecurity',
     'dockerfileSecurity',
+    'agentInstructions',
+    'mcp',
     'sensitiveFileGuard',
     'migrationSafety',
     // dependencies

package/dist/esm/config/pr-checkmate.template.json

@@ -97,6 +97,16 @@
     "enabled": true,
     "ignore": []
   },
+  "agentInstructions": {
+    "enabled": true,
+    "ignore": []
+  },
+  "//mcp": "What the MCP server offers an AI agent here. 'enabled': false turns it off; 'disabledTools' hides tools by name; 'readOnly' hides the ones that write files. Applies from the agent's next request.",
+  "mcp": {
+    "enabled": true,
+    "disabledTools": [],
+    "readOnly": false
+  },
   "//sensitiveFileGuard": "Flags .env files, private keys, CI config and lockfiles. 'ignorePaths' excuses ONE file by glob (a .pem test fixture); 'ignore' silences a whole CATEGORY and would excuse the next real key too — reach for ignorePaths first.",
   "sensitiveFileGuard": {
     "enabled": true,

package/dist/esm/core/checks/findings.js

@@ -2,6 +2,7 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { execa } from '../../utils/execa.js';
 import { logger, matchesAnyGlob } from '../../utils/index.js';
+import { fileFindings, noteLocation } from '../finding-store.js';
 import { listTrackedFiles } from '../targets.js';
 import { fail, pass, warn } from '../types.js';
 /**
@@ -370,6 +371,8 @@ export const DEFAULT_DATAFLOW_WINDOW = 10;
 const CROSS_LINE_SQL_LABEL = 'Interpolated value reaches a query (SQL injection risk, cross-line)';
 /** `@@ ... @@` — a new hunk, and the boundary taint never crosses. */
 const DIFF_HUNK_HEADER = /^@@ /;
+/** The first line of the new side of a hunk: `@@ -3,2 +10,4 @@` → 10. */
+const HUNK_NEW_START = /^@@ -\d+(?:,\d+)? \+(\d+)/;
 /**
  * Whether this line hands `name` to a query sink.
  *
@@ -443,6 +446,9 @@ export function scanDiffPatterns(stdout, patterns, opts = {}) {
     const mode = opts.comments ?? 'language';
     const ignorePaths = opts.ignorePaths ?? [];
     let syntax = 'both';
+    // Where the walk is, for findings that need to say so.
+    let file = '';
+    let newLine = 0;
     // Block comments span lines, so the state belongs to the walk, not to one line.
     let inBlockComment = false;
     // Whole files can be excluded by glob; the flag persists until the next header.
@@ -453,6 +459,7 @@ export function scanDiffPatterns(stdout, patterns, opts = {}) {
     for (const line of stdout.split('\n')) {
         const header = DIFF_FILE_HEADER.exec(line);
         if (header) {
+            file = header[1];
             syntax = mode === 'language' ? commentSyntaxFor(header[1]) : 'both';
             inBlockComment = false;
             skippingFile = ignorePaths.length > 0 && matchesAnyGlob(header[1], ignorePaths);
@@ -461,9 +468,15 @@ export function scanDiffPatterns(stdout, patterns, opts = {}) {
         }
         // Checked before the `+` filter below, which a hunk header does not satisfy.
         if (DIFF_HUNK_HEADER.test(line)) {
+            newLine = Number(HUNK_NEW_START.exec(line)?.[1] ?? 0);
             taint.reset();
             continue;
         }
+        // Counted before any skip: an ignored or excluded line still occupies a line
+        // number in the file, and the ones after it must not shift.
+        const lineNo = newLine;
+        if (line.startsWith('+'))
+            newLine++;
         if (skippingFile)
             continue;
         // Only added lines carry block-comment state: a `-` line is code being
@@ -475,18 +488,28 @@ export function scanDiffPatterns(stdout, patterns, opts = {}) {
         const prepared = uncomment(line, { mode, syntax, inBlockComment });
         inBlockComment = prepared.inBlockComment;
         const asCode = stripStringLiterals(prepared.text);
-        for (const { pattern, label, severity, view } of patterns) {
-            if (pattern.test(view === 'code' ? asCode : prepared.text)) {
-                const bucket = severity === 'error' ? errors : warnings;
-                (bucket[label] ?? (bucket[label] = [])).push(line.slice(1).trim().substring(0, SAMPLE_MAX_LENGTH));
-            }
-        }
+        const where = { file, line: lineNo };
+        recordMatches(patterns, { text: prepared.text, asCode }, line, where, { errors, warnings });
         if (taint.inspect(prepared.text, asCode)) {
-            (warnings[CROSS_LINE_SQL_LABEL] ?? (warnings[CROSS_LINE_SQL_LABEL] = [])).push(line.slice(1).trim().substring(0, SAMPLE_MAX_LENGTH));
+            record(warnings, CROSS_LINE_SQL_LABEL, line, where);
         }
     }
     return { errors, warnings };
 }
+/** File one added line under `label` and remember where it was, for findings that say so. */
+function record(bucket, label, line, where) {
+    const sample = line.slice(1).trim().substring(0, SAMPLE_MAX_LENGTH);
+    (bucket[label] ?? (bucket[label] = [])).push(sample);
+    noteLocation(label, sample, where.file, where.line);
+}
+/** File every pattern that matches one prepared line under its own label and severity. */
+function recordMatches(patterns, view, line, where, into) {
+    for (const { pattern, label, severity, view: wants } of patterns) {
+        if (pattern.test(wants === 'code' ? view.asCode : view.text)) {
+            record(severity === 'error' ? into.errors : into.warnings, label, line, where);
+        }
+    }
+}
 /**
  * Reduce one added line to what should be matched against: block comments
  * blanked (carrying the open state on), then the trailing line comment removed.
@@ -577,6 +600,7 @@ export function bucketTotal(bucket) {
  */
 export function reportCountedFindings(findings, ctx, opts) {
     const sev = severityEmitter(opts.severity, opts.fallback ?? 'warn');
+    fileFindings(findings, sev.icon === '❌' ? 'error' : 'warn');
     logFindings(findings, {
         prefix: opts.prefix,
         sampleLimit: opts.sampleLimit ?? ctx.config.log?.sampleLimit ?? 3,
@@ -681,6 +705,8 @@ export function reportSeverityBuckets(errorsIn, warningsIn, opts) {
     const ignore = opts.ignore ?? [];
     const filed = applyOverrides(dropIgnored(errorsIn, ignore), dropIgnored(warningsIn, ignore), opts.severityOverrides ?? {});
     const { errors, warnings } = filed;
+    fileFindings(errors, 'error');
+    fileFindings(warnings, 'warn');
     const totalErrors = bucketTotal(errors);
     const totalWarnings = bucketTotal(warnings);
     if (totalErrors === 0 && totalWarnings === 0)

package/dist/esm/core/checks/git/diff-smell.js

@@ -19,7 +19,9 @@ export const CODE_SMELLS = [
         view: 'code',
     },
     {
-        pattern: /^\+(?!\+).*\bdebugger\b/,
+        // A statement, not a mention: `debugger` ends the line or follows a `;`, `{`, `}` or `)`.
+        // A regex literal (`/debugger/`) or an object key (`{ debugger: 1 }`) is not one.
+        pattern: /^\+(?!\+)(?:.*[;{})]|\s*)\s*debugger\b\s*;?\s*$/,
         label: 'debugger statement',
         severity: 'warn',
         view: 'code',

package/dist/esm/core/checks/git/large-files.d.ts

@@ -1,2 +1,3 @@
 import { Check } from '../../types.js';
+export declare const DEFAULT_MAX_KB = 500;
 export declare const largeFilesCheck: Check;

package/dist/esm/core/checks/git/large-files.js

@@ -5,7 +5,7 @@ import { logger, matchesAnyGlob } from '../../../utils/index.js';
 import { resolveTargetFiles } from '../../targets.js';
 import { pass, skip } from '../../types.js';
 import { severityEmitter } from '../findings.js';
-const DEFAULT_MAX_KB = 500;
+export const DEFAULT_MAX_KB = 500;
 /**
  * Lockfiles are legitimately large and always generated, never accidental — so
  * they're exempt from the size/binary guard by default (a 600 KB

package/dist/esm/core/checks/languages/lint.js

@@ -1,10 +1,15 @@
+import fs from 'node:fs';
+import os from 'node:os';
 import path from 'node:path';
 import { getPackageConfigPath, getSourcePaths, hasLocalConfig, IGNORE_PATTERNS, } from '../../../config/index.js';
 import { execa } from '../../../utils/execa.js';
-import { logger, registeredToolPaths, resolvePackageBin } from '../../../utils/index.js';
+import { cleanupTempFile, logger, registeredToolPaths, resolvePackageBin, } from '../../../utils/index.js';
+import { addFinding } from '../../finding-store.js';
 import { clientToolPaths } from '../../install/reuse.js';
 import { resolveScopedTargetFiles } from '../../targets.js';
 import { fail, pass, skip, warn } from '../../types.js';
+import { parseEslintJson } from './locate.js';
+const MAX_LOGGED_PROBLEMS = 50;
 /**
  * Resolve the ESLint binary under the client's `install.reuseLocal` policy.
  *
@@ -30,6 +35,17 @@ async function getESLintMajorVersion(eslintBin) {
         return 8;
     }
 }
+function readProblems(reportFile, cwd) {
+    try {
+        return parseEslintJson(fs.readFileSync(reportFile, 'utf-8'), cwd);
+    }
+    catch {
+        return [];
+    }
+    finally {
+        cleanupTempFile(reportFile);
+    }
+}
 export const lintCheck = {
     name: 'ESLint',
     phase: 'blocking',
@@ -81,12 +97,23 @@ export const lintCheck = {
         if (!hasLocal && version < 9 && toolRoots.length > 0) {
             args.push('--resolve-plugins-relative-to', toolRoots[0]);
         }
+        // JSON to a file, not stylish text to the terminal: the file is what lets a
+        // finding name its file, line and rule instead of saying "lint errors found".
+        // The same problems are logged below in a compact form, so nothing is lost.
+        const reportFile = path.join(os.tmpdir(), `pr-checkmate-eslint-${process.pid}-${Date.now()}.json`);
+        args.push('--format', 'json', '--output-file', reportFile);
         const result = await execa(process.execPath, [eslintBin, ...args], {
             cwd: ctx.cwd,
             stdio: 'inherit',
             reject: false,
             env: { PR_CHECKMATE_TOOL_ROOTS: toolRoots.join(path.delimiter) },
         });
+        const problems = readProblems(reportFile, ctx.cwd);
+        problems.slice(0, MAX_LOGGED_PROBLEMS).forEach(f => {
+            logger.warn(`[ESLint]: ${f.file}:${f.line ?? 0}  ${f.rule}  ${f.snippet ?? ''}`);
+        });
+        if (result.exitCode === 1)
+            problems.forEach(addFinding);
         if (result.exitCode === 0)
             return pass();
         // ESLint exits 1 for lint errors and 2 for a fatal error — a config it cannot

package/dist/esm/core/checks/languages/locate.d.ts

@@ -0,0 +1,7 @@
+import type { Finding } from '../../types.js';
+/** `src/a.ts(3,5): error TS2322: Type …` lines of `tsc --pretty false`. */
+export declare function parseTscDiagnostics(output: string): Finding[];
+/** The array `eslint --format json` writes. Anything else yields no findings. */
+export declare function parseEslintJson(raw: string, cwd: string): Finding[];
+/** One path per line, as `prettier --list-different` prints them. */
+export declare function parseListDifferent(stdout: string): Finding[];

package/dist/esm/core/checks/languages/locate.js

@@ -0,0 +1,60 @@
+/**
+ * Turn what the language tools print into located findings.
+ *
+ * The three tools disagree on how to say where a problem is, so each gets a small
+ * pure parser here and the checks only decide what to do with the result. Without
+ * these an agent was told "lint errors found" and nothing else.
+ */
+import path from 'node:path';
+const MAX_SNIPPET = 160;
+const TSC_DIAGNOSTIC = /^(.+?)\((\d+),\d+\): error (TS\d+): (.*)$/;
+const clip = (text) => text.length > MAX_SNIPPET ? `${text.slice(0, MAX_SNIPPET - 1)}…` : text;
+/** `src/a.ts(3,5): error TS2322: Type …` lines of `tsc --pretty false`. */
+export function parseTscDiagnostics(output) {
+    const found = [];
+    for (const line of output.split('\n')) {
+        const m = TSC_DIAGNOSTIC.exec(line.trim());
+        if (m) {
+            found.push({
+                file: m[1].replace(/\\/g, '/'),
+                line: Number(m[2]),
+                rule: m[3],
+                snippet: clip(m[4]),
+                severity: 'error',
+            });
+        }
+    }
+    return found;
+}
+/** The array `eslint --format json` writes. Anything else yields no findings. */
+export function parseEslintJson(raw, cwd) {
+    let report;
+    try {
+        report = JSON.parse(raw);
+    }
+    catch {
+        return [];
+    }
+    if (!Array.isArray(report))
+        return [];
+    return report.flatMap(file => (file.messages ?? []).map(m => ({
+        file: path.relative(cwd, file.filePath).replace(/\\/g, '/'),
+        ...(m.line !== undefined && { line: m.line }),
+        rule: m.ruleId ?? 'parse-error',
+        snippet: clip(m.message),
+        severity: m.severity === 2 ? 'error' : 'warn',
+    })));
+}
+/** One path per line, as `prettier --list-different` prints them. */
+export function parseListDifferent(stdout) {
+    return stdout
+        .split('\n')
+        .map(l => l.trim())
+        .filter(Boolean)
+        .map(file => ({
+        file: file.replace(/\\/g, '/'),
+        rule: 'prettier',
+        snippet: 'not formatted',
+        severity: 'warn',
+    }));
+}

package/dist/esm/core/checks/languages/prettier.js

@@ -3,8 +3,10 @@ import path from 'node:path';
 import { getPackageConfigPath, getSourcePaths, hasLocalConfig, IGNORE_PATTERNS, } from '../../../config/index.js';
 import { execa } from '../../../utils/execa.js';
 import { cleanupTempFile, logger, resolvePackageBin } from '../../../utils/index.js';
+import { addFinding } from '../../finding-store.js';
 import { resolveScopedTargetFiles } from '../../targets.js';
 import { pass, skip, warn } from '../../types.js';
+import { parseListDifferent } from './locate.js';
 function loadUserPrettierConfig(cwd) {
     const configPath = path.join(cwd, 'pr-checkmate.json');
     if (!fs.existsSync(configPath))
@@ -53,7 +55,9 @@ export const prettierCheck = {
             ignorePath = tempIgnore = createTempIgnoreFile(ctx.cwd);
         const hasLocal = hasLocalConfig(['.prettierrc', '.prettierrc.json', '.prettierrc.js', 'prettier.config.js'], ctx.cwd);
         // write=true → format in place; write=false → report-only (`--check`, never mutates files).
-        const mode = ctx.write ? '--write' : '--check';
+        // `--list-different` names the unformatted files on stdout, which is what lets a
+        // finding point at them; `--check` only says how many there are.
+        const mode = ctx.write ? '--write' : '--list-different';
         let tempConfig = null;
         let args;
         if (hasLocal) {
@@ -67,11 +71,20 @@ export const prettierCheck = {
         try {
             const result = await execa(process.execPath, [prettierBin, ...args], {
                 cwd: ctx.cwd,
-                stdio: 'inherit',
+                ...(ctx.write && { stdio: 'inherit' }),
                 reject: false,
             });
             if (result.exitCode === 0)
                 return pass();
+            if (!ctx.write) {
+                const unformatted = parseListDifferent(String(result.stdout ?? ''));
+                unformatted.forEach(f => {
+                    logger.warn(`[Prettier]: not formatted: ${f.file}`);
+                    addFinding(f);
+                });
+                if (result.stderr)
+                    logger.warn(String(result.stderr));
+            }
             // In --check mode a non-zero exit means "some files are not formatted".
             return warn(ctx.write ? 'prettier failed' : 'unformatted files (run with write to fix)');
         }

package/dist/esm/core/checks/languages/typecheck.js

@@ -2,8 +2,10 @@ import fs from 'node:fs';
 import path from 'node:path';
 import { execa } from '../../../utils/execa.js';
 import { logger, resolvePackageBin } from '../../../utils/index.js';
+import { addFinding } from '../../finding-store.js';
 import { clientToolPaths } from '../../install/reuse.js';
 import { fail, pass, skip, warn } from '../../types.js';
+import { parseTscDiagnostics } from './locate.js';
 /**
  * Prefer the consumer project's own TypeScript so its tsconfig is compiled by the
  * version it was written for; fall back to the compiler bundled with pr-checkmate.
@@ -39,7 +41,7 @@ export const typecheckCheck = {
             return skip('project dependencies not installed (no node_modules) — run `npm ci` before typecheck');
         }
         const tscBin = resolveTsc(ctx);
-        const result = await execa(process.execPath, [tscBin, '--noEmit'], {
+        const result = await execa(process.execPath, [tscBin, '--noEmit', '--pretty', 'false'], {
             cwd: ctx.cwd,
             reject: false,
         });
@@ -56,6 +58,7 @@ export const typecheckCheck = {
             logger.warn(`[TypeScript]: ⚠️ tsc exited ${result.exitCode ?? 'abnormally'} without reporting a type error — treating as a tooling failure, not a type error`);
             return warn(`tsc failed to run (exit ${result.exitCode ?? 'killed'})`);
         }
+        parseTscDiagnostics(output).forEach(addFinding);
         return fail(`${errorCount} type error(s)`);
     },
 };

package/dist/esm/core/checks/pr/pr-size-check.d.ts

@@ -1,2 +1,4 @@
 import { Check } from '../../types.js';
+export declare const DEFAULT_MAX_FILES = 50;
+export declare const DEFAULT_MAX_LINES = 1000;
 export declare const prSizeCheck: Check;

package/dist/esm/core/checks/pr/pr-size-check.js

@@ -1,8 +1,8 @@
 import { execa } from '../../../utils/execa.js';
 import { logger } from '../../../utils/index.js';
 import { pass, skip, warn } from '../../types.js';
-const DEFAULT_MAX_FILES = 50;
-const DEFAULT_MAX_LINES = 1000;
+export const DEFAULT_MAX_FILES = 50;
+export const DEFAULT_MAX_LINES = 1000;
 export const prSizeCheck = {
     name: 'PR Size',
     phase: 'informational',

package/dist/esm/core/checks/security/agent-instructions.d.ts

@@ -0,0 +1,4 @@
+import { Check } from '../../types.js';
+import { DiffPattern } from '../findings.js';
+export declare const AGENT_PATTERNS: DiffPattern[];
+export declare const agentInstructionsCheck: Check;