phpstan-mcp-mx 0.18.0 → 0.20.0

package/dist/compare.js

@@ -0,0 +1,101 @@
+import { contains } from './project.js';
+import { displayPath } from './report.js';
+/** Hoeveel groepen een lijst (opgelost of nieuw) hoogstens noemt; de rest als aantal. */
+export const MAX_COMPARED_ENTRIES = 20;
+/** Hoeveel bestanden de melding over niet-vergeleken bevindingen hoogstens noemt. */
+const MAX_NOT_COMPARED_FILES = 10;
+/**
+ * Legt een analyse naast een eerdere en telt wat er opgelost, nieuw en nog open is.
+ *
+ * Gekoppeld op bestand, identifier en melding — niet op het regelnummer: een reparatie
+ * verschuift regels, en dan zou elke bevinding eronder als opgelost én nieuw tellen.
+ * Om die reden negeert PHPStans eigen baseline de regel ook. Nagemeten: drie lege regels
+ * bovenin het drukste bestand van `lasouris-lease-shared` verschoven alle elf bevindingen
+ * en veranderden geen enkele melding.
+ *
+ * Een melding die zelf een regelnummer bevat (een anonieme klasse heet
+ * `class@anonymous/pad.php:12`) telt na zo'n verschuiving wel als opgelost én nieuw. Geen
+ * eigen normalisering daarvoor: die zou bij elke PHPStan-release verder afdrijven.
+ *
+ * Alleen bestanden die beide analyses dekten doen mee. Bij `analyse_changed` volgt de
+ * lijst uit git: wie tijdens een reparatie een tweede bestand aanraakt, krijgt dat bestand
+ * erbij, en diens bestaande fouten zouden anders als nieuw tellen — een antwoord dat klopt
+ * maar misleidt.
+ */
+export function compareRuns(project, before, after, meta) {
+    const sameScope = equalScopes(before.scope, after.scope);
+    const inBoth = (file) => sameScope || (inScope(file, before.scope) && inScope(file, after.scope));
+    const groups = new Map();
+    const notComparedFiles = new Set();
+    let notCompared = 0;
+    const add = (finding, side) => {
+        if (!inBoth(finding.file)) {
+            notCompared++;
+            notComparedFiles.add(displayPath(project, finding.file));
+            return;
+        }
+        const key = JSON.stringify([finding.file, finding.identifier, finding.message]);
+        const group = groups.get(key) ?? { finding, before: [], after: [] };
+        group[side].push(finding.line);
+        groups.set(key, group);
+    };
+    for (const finding of before.result.findings)
+        add(finding, 'before');
+    for (const finding of after.result.findings)
+        add(finding, 'after');
+    const fixed = [];
+    const added = [];
+    let remaining = 0;
+    for (const group of groups.values()) {
+        remaining += Math.min(group.before.length, group.after.length);
+        const entry = (count, lines) => ({
+            file: displayPath(project, group.finding.file),
+            identifier: group.finding.identifier,
+            message: group.finding.message,
+            count,
+            lines: [...lines].sort(byLine),
+        });
+        if (group.before.length > group.after.length)
+            fixed.push(entry(group.before.length - group.after.length, group.before));
+        if (group.after.length > group.before.length)
+            added.push(entry(group.after.length - group.before.length, group.after));
+    }
+    fixed.sort(byPlace);
+    added.sort(byPlace);
+    return {
+        comparedTo: meta.comparedTo,
+        ageSeconds: meta.ageSeconds,
+        fixed: sum(fixed),
+        new: sum(added),
+        remaining,
+        fixedFindings: fixed.slice(0, MAX_COMPARED_ENTRIES),
+        newFindings: added.slice(0, MAX_COMPARED_ENTRIES),
+        omitted: {
+            fixed: Math.max(fixed.length - MAX_COMPARED_ENTRIES, 0),
+            new: Math.max(added.length - MAX_COMPARED_ENTRIES, 0),
+        },
+        notCompared: { findings: notCompared, files: [...notComparedFiles].sort().slice(0, MAX_NOT_COMPARED_FILES) },
+    };
+}
+function equalScopes(a, b) {
+    if (a === null || b === null)
+        return a === b;
+    if (a.length !== b.length)
+        return false;
+    const set = new Set(a);
+    return b.every((path) => set.has(path));
+}
+function inScope(file, scope) {
+    return scope === null || scope.some((path) => contains(path, file));
+}
+function sum(entries) {
+    return entries.reduce((total, entry) => total + entry.count, 0);
+}
+/** Een bevinding zonder regel achteraan: die hoort bij het bestand, niet bij een plek. */
+function byLine(a, b) {
+    return (a ?? Number.MAX_SAFE_INTEGER) - (b ?? Number.MAX_SAFE_INTEGER);
+}
+function byPlace(a, b) {
+    return a.file.localeCompare(b.file) || byLine(a.lines[0] ?? null, b.lines[0] ?? null) || a.message.localeCompare(b.message);
+}
+//# sourceMappingURL=compare.js.map

package/dist/compare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compare.js","sourceRoot":"","sources":["../src/compare.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,yFAAyF;AACzF,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEvC,qFAAqF;AACrF,MAAM,sBAAsB,GAAG,EAAE,CAAC;AA2ClC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CACzB,OAAe,EACf,MAAmB,EACnB,KAAkB,EAClB,IAAkE;IAElE,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAW,EAAE,CACvC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAE3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqF,CAAC;IAC5G,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,MAAM,GAAG,GAAG,CAAC,OAAgB,EAAE,IAAwB,EAAQ,EAAE;QAC/D,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,WAAW,EAAE,CAAC;YACd,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAChF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrE,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAEnE,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,KAAwB,EAAiB,EAAE,CAAC,CAAC;YACzE,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAC9C,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU;YACpC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;YAC9B,KAAK;YACL,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;SAC/B,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACxH,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACzH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEpB,OAAO;QACL,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC;QACjB,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC;QACf,SAAS;QACT,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAoB,CAAC;QACnD,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAoB,CAAC;QACjD,OAAO,EAAE;YACP,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC,CAAC;YACvD,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC,CAAC;SACtD;QACD,WAAW,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,EAAE;KAC7G,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,CAA2B,EAAE,CAA2B;IAC3E,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACvB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAA+B;IAC5D,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,GAAG,CAAC,OAAiC;IAC5C,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,0FAA0F;AAC1F,SAAS,MAAM,CAAC,CAAgB,EAAE,CAAgB;IAChD,OAAO,CAAC,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,OAAO,CAAC,CAAgB,EAAE,CAAgB;IACjD,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC9H,CAAC"}

package/dist/composer.d.ts

@@ -0,0 +1,68 @@
+/** Een Composer-script dat PHPStan start, met waarin het afwijkt van deze server. */
+export interface ComposerScript {
+    readonly name: string;
+    /** De aanroep zelf, vanaf de PHPStan-binary. */
+    readonly command: string;
+    /** Per verschil één zin, met wat je meegeeft om hetzelfde te analyseren. Leeg: geen verschil. */
+    readonly differences: readonly string[];
+}
+/** Hoe deze server PHPStan aanroept; zie `serverInvocation` in phpstan.ts. */
+export interface ServerInvocation {
+    /** Relatief aan de projectroot of absoluut; null als PHPStan hem zelf zoekt en er geen is. */
+    readonly config: string | null;
+    readonly memoryLimit: string | null;
+}
+/** Wat een aanroep van `phpstan analyse` meegeeft, voor zover het de uitslag verandert. */
+export interface Invocation {
+    readonly configuration: string | null;
+    readonly level: string | null;
+    readonly memoryLimit: string | null;
+    readonly autoloadFile: string | null;
+    readonly paths: readonly string[];
+    /** `--generate-baseline` of `--fix`: dan is het geen analyse om mee te vergelijken. */
+    readonly writes: boolean;
+}
+/**
+ * Leest de Composer-scripts van een project en geeft die die PHPStan analyseren, met hoe ze
+ * afwijken van deze server.
+ *
+ * Nagemeten op de echte projecten: het script heet nergens `phpstan` maar `code:analyze`
+ * en `code:analyze:strict`, is een lijst met `Composer\Config::disableProcessTimeout`
+ * ervoor, en schrijft `--memory-limit 1G` met een spatie. Herkennen gaat dus op het
+ * commando, niet op de naam. Een script via `make` of via een ander script (`@naam`) is
+ * niet te lezen zonder het uit te voeren, en dat gebeurt hier nooit — die vallen weg.
+ */
+export declare function readComposerScripts(project: string, server: ServerInvocation): {
+    composerScripts: ComposerScript[] | null;
+    composerScriptsProblem: string | null;
+};
+/** Knipt een commando op `&&`, `||`, `;` en `|` buiten quotes: elk deel is een eigen aanroep. */
+export declare function splitCommands(command: string): string[];
+/** Splitst één aanroep in woorden, met quotes zoals een shell ze leest (zonder expansie). */
+export declare function tokenize(segment: string): string[];
+/** Leest de argumenten van `phpstan analyse`, voor zover ze de uitslag veranderen. */
+export declare function parseInvocation(args: readonly string[]): Invocation;
+/**
+ * Waarin een aanroep afwijkt van deze server, als zinnen met de uitweg erbij. Alleen wat de
+ * uitslag verandert; `--no-progress` of `--error-format` zegt niets over wat er gevonden wordt.
+ */
+export declare function compareWithServer(project: string, invocation: Invocation, server: ServerInvocation): string[];
+/** De scripts als tekst, onder de rest van de diagnose. Leeg als er geen enkel is. */
+export declare function renderComposerScripts(scripts: readonly ComposerScript[] | null, problem: string | null): string;
+/** Een framework in het project waarvan de PHPStan-extensie niet geladen is. */
+export interface MissingExtension {
+    readonly framework: string;
+    readonly extension: string;
+    /** Of de extensie wél in composer.lock staat: dan is ze geïnstalleerd maar niet ingesloten. */
+    readonly installed: boolean;
+    readonly sees: string;
+}
+/**
+ * Welke frameworks uit `composer.lock` hun extensie missen. Wat geladen is, komt uit PHPStans
+ * eigen diagnose ("Included configs from Composer packages"): die noemt ook een extensie die
+ * zonder extension-installer met de hand in de config staat. Is de uitvoer niet te lezen —
+ * een andere PHPStan-versie — dan null: niet te zeggen, en een vals alarm is erger dan stilte.
+ */
+export declare function findMissingExtensions(project: string, diagnoseOutput: string): MissingExtension[] | null;
+/** De ontbrekende extensies als tekst; leeg als er niets ontbreekt of het niet te zeggen is. */
+export declare function renderMissingExtensions(missing: readonly MissingExtension[] | null): string;

package/dist/composer.js

@@ -0,0 +1,313 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { isAbsolute, join, normalize } from 'node:path';
+/** Opties die een waarde nemen, met de naam waaronder die telt. */
+const VALUE_OPTIONS = {
+    '-c': 'configuration',
+    '--configuration': 'configuration',
+    '-l': 'level',
+    '--level': 'level',
+    '--memory-limit': 'memoryLimit',
+    '-a': 'autoloadFile',
+    '--autoload-file': 'autoloadFile',
+    '--error-format': null,
+    '--tmp-file': null,
+    '--instead-of': null,
+};
+/** De configs die PHPStan zelf zoekt als er geen `--configuration` is, in zijn volgorde. */
+const DISCOVERED = ['phpstan.neon', 'phpstan.neon.dist', 'phpstan.dist.neon'];
+/**
+ * Leest de Composer-scripts van een project en geeft die die PHPStan analyseren, met hoe ze
+ * afwijken van deze server.
+ *
+ * Nagemeten op de echte projecten: het script heet nergens `phpstan` maar `code:analyze`
+ * en `code:analyze:strict`, is een lijst met `Composer\Config::disableProcessTimeout`
+ * ervoor, en schrijft `--memory-limit 1G` met een spatie. Herkennen gaat dus op het
+ * commando, niet op de naam. Een script via `make` of via een ander script (`@naam`) is
+ * niet te lezen zonder het uit te voeren, en dat gebeurt hier nooit — die vallen weg.
+ */
+export function readComposerScripts(project, server) {
+    let scripts;
+    try {
+        scripts = JSON.parse(readFileSync(join(project, 'composer.json'), 'utf8')).scripts;
+    }
+    catch (error) {
+        return {
+            composerScripts: null,
+            composerScriptsProblem: `composer.json could not be read: ${error instanceof Error ? error.message : String(error)}`,
+        };
+    }
+    if (typeof scripts !== 'object' || scripts === null)
+        return { composerScripts: [], composerScriptsProblem: null };
+    const found = [];
+    for (const [name, value] of Object.entries(scripts)) {
+        const commands = typeof value === 'string' ? [value] : Array.isArray(value) ? value.filter((v) => typeof v === 'string') : [];
+        for (const command of commands) {
+            for (const segment of splitCommands(command)) {
+                const tokens = tokenize(segment);
+                const start = analyseStart(tokens);
+                if (start === null)
+                    continue;
+                const invocation = parseInvocation(tokens.slice(start.args));
+                found.push({
+                    name,
+                    command: tokens.slice(start.binary).join(' '),
+                    differences: compareWithServer(project, invocation, server),
+                });
+            }
+        }
+    }
+    return { composerScripts: found, composerScriptsProblem: null };
+}
+/** Knipt een commando op `&&`, `||`, `;` en `|` buiten quotes: elk deel is een eigen aanroep. */
+export function splitCommands(command) {
+    const parts = [];
+    let current = '';
+    let quote = null;
+    for (let i = 0; i < command.length; i++) {
+        const char = command[i] ?? '';
+        if (quote !== null) {
+            if (char === quote)
+                quote = null;
+            current += char;
+            continue;
+        }
+        if (char === '"' || char === "'") {
+            quote = char;
+            current += char;
+            continue;
+        }
+        if (char === ';' || char === '|' || (char === '&' && command[i + 1] === '&')) {
+            parts.push(current);
+            current = '';
+            if (command[i + 1] === char)
+                i++;
+            continue;
+        }
+        current += char;
+    }
+    parts.push(current);
+    return parts.map((part) => part.trim()).filter((part) => part !== '');
+}
+/** Splitst één aanroep in woorden, met quotes zoals een shell ze leest (zonder expansie). */
+export function tokenize(segment) {
+    const tokens = [];
+    let current = '';
+    let started = false;
+    let quote = null;
+    for (const char of segment) {
+        if (quote !== null) {
+            if (char === quote)
+                quote = null;
+            else
+                current += char;
+            continue;
+        }
+        if (char === '"' || char === "'") {
+            quote = char;
+            started = true;
+        }
+        else if (/\s/.test(char)) {
+            if (started)
+                tokens.push(current);
+            current = '';
+            started = false;
+        }
+        else {
+            current += char;
+            started = true;
+        }
+    }
+    if (started)
+        tokens.push(current);
+    return tokens;
+}
+/**
+ * Waar in de woorden de PHPStan-binary staat en waar de argumenten van `analyse` beginnen,
+ * of null als dit geen analyse is. `@php vendor/bin/phpstan`, `php phpstan.phar` en een
+ * variabele ervoor (`XDEBUG_MODE=off vendor/bin/phpstan`) tellen allemaal.
+ */
+function analyseStart(tokens) {
+    const binary = tokens.findIndex((token) => /(^|[/\\])phpstan(\.phar)?$/.test(token));
+    if (binary === -1)
+        return null;
+    const sub = tokens[binary + 1];
+    return sub === 'analyse' || sub === 'analyze' ? { binary, args: binary + 2 } : null;
+}
+/** Leest de argumenten van `phpstan analyse`, voor zover ze de uitslag veranderen. */
+export function parseInvocation(args) {
+    const found = {
+        configuration: null,
+        level: null,
+        memoryLimit: null,
+        autoloadFile: null,
+        paths: [],
+        writes: false,
+    };
+    const paths = [];
+    for (let i = 0; i < args.length; i++) {
+        const arg = args[i] ?? '';
+        if (arg === '--') {
+            paths.push(...args.slice(i + 1));
+            break;
+        }
+        if (arg.startsWith('--generate-baseline') || arg === '--fix') {
+            found.writes = true;
+            continue;
+        }
+        if (!arg.startsWith('-')) {
+            paths.push(arg);
+            continue;
+        }
+        // `--optie=waarde`, `--optie waarde`, `-c waarde` en `-cwaarde`.
+        const eq = arg.indexOf('=');
+        const name = arg.startsWith('--') ? (eq === -1 ? arg : arg.slice(0, eq)) : arg.slice(0, 2);
+        if (!(name in VALUE_OPTIONS))
+            continue;
+        const field = VALUE_OPTIONS[name] ?? null;
+        let value;
+        if (arg.startsWith('--') && eq !== -1)
+            value = arg.slice(eq + 1);
+        else if (!arg.startsWith('--') && arg.length > 2)
+            value = arg.slice(2);
+        else
+            value = args[++i];
+        if (field !== null && field !== 'paths' && field !== 'writes' && value !== undefined)
+            found[field] = value;
+    }
+    found.paths = paths;
+    return found;
+}
+/**
+ * Waarin een aanroep afwijkt van deze server, als zinnen met de uitweg erbij. Alleen wat de
+ * uitslag verandert; `--no-progress` of `--error-format` zegt niets over wat er gevonden wordt.
+ */
+export function compareWithServer(project, invocation, server) {
+    if (invocation.writes) {
+        return ['writes a baseline or fixes code, so it is not an analysis to compare with'];
+    }
+    const differences = [];
+    const hier = (path) => normalize(isAbsolute(path) ? path : join(project, path));
+    // Wat er aan beide kanten echt gebruikt wordt: zonder --configuration zoekt PHPStan zelf, en
+    // zonder --memory-limit geldt die van PHP. Alleen de expliciete waarden vergelijken miste het
+    // geval dat de server een standaard zet (PHPSTAN_MCP_PROJECTS) en het script niet.
+    const discovered = DISCOVERED.find((name) => existsSync(join(project, name))) ?? null;
+    const scriptConfig = invocation.configuration ?? discovered;
+    const serverConfig = server.config ?? discovered;
+    const configNaam = (config, eigen) => config === null ? 'none' : eigen ? config : `${config} (found by PHPStan itself)`;
+    if ((scriptConfig === null) !== (serverConfig === null) || (scriptConfig !== null && serverConfig !== null && hier(scriptConfig) !== hier(serverConfig))) {
+        differences.push(`uses the config ${configNaam(scriptConfig, invocation.configuration !== null)}, the server ` +
+            `${configNaam(serverConfig, server.config !== null)}` +
+            (scriptConfig === null ? '' : `; pass config: "${scriptConfig}" to analyse the same way`));
+    }
+    const scriptMemory = invocation.memoryLimit?.toLowerCase() ?? null;
+    if (scriptMemory !== (server.memoryLimit?.toLowerCase() ?? null)) {
+        differences.push(`sets ${invocation.memoryLimit === null ? "no --memory-limit (PHP's own limit)" : `--memory-limit ${invocation.memoryLimit}`}, ` +
+            `the server ${server.memoryLimit ?? "none (PHP's own limit)"}` +
+            (invocation.memoryLimit === null
+                ? ''
+                : `; pass memoryLimit: "${invocation.memoryLimit}", or set it for this project in PHPSTAN_MCP_PROJECTS`));
+    }
+    if (invocation.level !== null) {
+        differences.push(`sets level ${invocation.level}, the server uses the level from the config; pass level: "${invocation.level}" to match`);
+    }
+    if (invocation.paths.length > 0) {
+        differences.push(`analyses ${invocation.paths.join(', ')}, the server the paths from the config; pass paths to analyse_project to match`);
+    }
+    if (invocation.autoloadFile !== null) {
+        differences.push(`loads ${invocation.autoloadFile} with --autoload-file; the server cannot pass that, so its analysis can differ`);
+    }
+    return differences;
+}
+/** De scripts als tekst, onder de rest van de diagnose. Leeg als er geen enkel is. */
+export function renderComposerScripts(scripts, problem) {
+    if (scripts === null)
+        return `Composer scripts: not available. ${problem ?? ''}`.trim();
+    if (scripts.length === 0)
+        return '';
+    const lines = ['Composer scripts that run PHPStan:'];
+    for (const script of scripts) {
+        lines.push(`- ${script.name}: ${script.command}`);
+        if (script.differences.length === 0)
+            lines.push('    runs PHPStan the same way as this server');
+        for (const difference of script.differences)
+            lines.push(`    ${difference}`);
+    }
+    return lines.join('\n');
+}
+/**
+ * Frameworks waarvan PHPStan de magie niet ziet zonder extensie — en die dan vals-positieven
+ * geven (`Access to an undefined property App\Models\User::$name`) — met de extensie die
+ * daarvoor bestaat. Nagemeten op `cms/app`, level 5: zonder Larastan 187 bevindingen tegen 147
+ * met, vooral `property.notFound` (+16) en `method.notFound` (+18). Een eigen lijst, maar een kleine en stabiele: pakketnamen,
+ * geen uitleg die bij een release afdrijft.
+ *
+ * Bewust zonder testtools (`phpunit`, `mockery`, `webmozart/assert`). Nagemeten op vijf echte
+ * projecten: die staan in elk Laravel-project, vaak als afhankelijkheid van een
+ * afhankelijkheid, en hun extensie ontbrak overal — een melding bij elk project is ruis, en
+ * geen van de bevindingen daar had er iets mee te maken.
+ */
+const FRAMEWORK_EXTENSIONS = [
+    {
+        framework: 'laravel/framework',
+        extensions: ['larastan/larastan', 'nunomaduro/larastan'],
+        sees: "Laravel's magic (Eloquent properties and relations, facades, the container)",
+    },
+    { framework: 'doctrine/orm', extensions: ['phpstan/phpstan-doctrine'], sees: 'Doctrine repositories, entities and DQL' },
+    {
+        framework: 'symfony/framework-bundle',
+        extensions: ['phpstan/phpstan-symfony'],
+        sees: 'the Symfony container, services and request attributes',
+    },
+];
+/**
+ * Welke frameworks uit `composer.lock` hun extensie missen. Wat geladen is, komt uit PHPStans
+ * eigen diagnose ("Included configs from Composer packages"): die noemt ook een extensie die
+ * zonder extension-installer met de hand in de config staat. Is de uitvoer niet te lezen —
+ * een andere PHPStan-versie — dan null: niet te zeggen, en een vals alarm is erger dan stilte.
+ */
+export function findMissingExtensions(project, diagnoseOutput) {
+    // Nagemeten: zonder één enkele config uit een pakket laat PHPStan de hele sectie weg — juist
+    // het geval waar het om gaat. De regel "Extension installer:" komt uit hetzelfde deel van de
+    // diagnose en staat er dan wél; alleen als ook die ontbreekt, is het een andere uitvoer.
+    const section = /Included configs from Composer packages:\n([\s\S]*?)(?:\n\s*\n|$)/.exec(diagnoseOutput);
+    if (section === null && !/^Extension installer:/m.test(diagnoseOutput))
+        return null;
+    const loaded = new Set((section?.[1] ?? '')
+        .split('\n')
+        .map((line) => line.trim().split(/\s+/)[0] ?? '')
+        .filter((name) => name.includes('/')));
+    let installed;
+    try {
+        const lock = JSON.parse(readFileSync(join(project, 'composer.lock'), 'utf8'));
+        installed = new Set([...(lock.packages ?? []), ...(lock['packages-dev'] ?? [])]
+            .map((pkg) => pkg.name)
+            .filter((name) => typeof name === 'string'));
+    }
+    catch {
+        // Zonder lock valt niet te zeggen wat er geïnstalleerd is; geen melding.
+        return null;
+    }
+    return FRAMEWORK_EXTENSIONS.filter((entry) => installed.has(entry.framework) && !entry.extensions.some((extension) => loaded.has(extension))).map((entry) => {
+        const present = entry.extensions.find((extension) => installed.has(extension));
+        return {
+            framework: entry.framework,
+            extension: present ?? entry.extensions[0] ?? '',
+            installed: present !== undefined,
+            sees: entry.sees,
+        };
+    });
+}
+/** De ontbrekende extensies als tekst; leeg als er niets ontbreekt of het niet te zeggen is. */
+export function renderMissingExtensions(missing) {
+    if (missing === null || missing.length === 0)
+        return '';
+    return [
+        'Missing PHPStan extensions:',
+        ...missing.map((entry) => `- ${entry.framework} is installed, but ${entry.extension} is not loaded, so PHPStan does not see ` +
+            `${entry.sees}. That shows up as false positives, such as undefined properties and methods. ` +
+            (entry.installed
+                ? `${entry.extension} is installed but not included: add its neon to the config's includes, or install phpstan/extension-installer.`
+                : `Install ${entry.extension} as a dev dependency.`)),
+    ].join('\n');
+}
+//# sourceMappingURL=composer.js.map

package/dist/composer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composer.js","sourceRoot":"","sources":["../src/composer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AA6BxD,mEAAmE;AACnE,MAAM,aAAa,GAA4C;IAC7D,IAAI,EAAE,eAAe;IACrB,iBAAiB,EAAE,eAAe;IAClC,IAAI,EAAE,OAAO;IACb,SAAS,EAAE,OAAO;IAClB,gBAAgB,EAAE,aAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,iBAAiB,EAAE,cAAc;IACjC,gBAAgB,EAAE,IAAI;IACtB,YAAY,EAAE,IAAI;IAClB,cAAc,EAAE,IAAI;CACrB,CAAC;AAEF,4FAA4F;AAC5F,MAAM,UAAU,GAAG,CAAC,cAAc,EAAE,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAe,EACf,MAAwB;IAExB,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QACH,OAAO,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAA2B,CAAC,OAAO,CAAC;IAChH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,eAAe,EAAE,IAAI;YACrB,sBAAsB,EAAE,oCAAoC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACrH,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC;IAElH,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9H,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBAC7B,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI;oBACJ,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;oBAC7C,WAAW,EAAE,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC;iBAC5D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC;AAClE,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAEhC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,KAAK,KAAK;gBAAE,KAAK,GAAG,IAAI,CAAC;YACjC,OAAO,IAAI,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO,IAAI,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,QAAQ,CAAC,OAAe;IACtC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,KAAK,KAAK;gBAAE,KAAK,GAAG,IAAI,CAAC;;gBAC5B,OAAO,IAAI,IAAI,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,IAAI,OAAO;QAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAyB;IAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACrF,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACtF,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,eAAe,CAAC,IAAuB;IACrD,MAAM,KAAK,GAAyD;QAClE,aAAa,EAAE,IAAI;QACnB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,IAAI;QAClB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,KAAK;KACd,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM;QACR,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC7D,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;YACpB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC;YAAE,SAAS;QACvC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QAC1C,IAAI,KAAyB,CAAC;QAC9B,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;aAC5D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;;YAClE,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAEvB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAC7G,CAAC;IAED,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;IACpB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,UAAsB,EAAE,MAAwB;IACjG,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtB,OAAO,CAAC,2EAA2E,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IACxF,6FAA6F;IAC7F,8FAA8F;IAC9F,mFAAmF;IACnF,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACtF,MAAM,YAAY,GAAG,UAAU,CAAC,aAAa,IAAI,UAAU,CAAC;IAC5D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,IAAI,UAAU,CAAC;IACjD,MAAM,UAAU,GAAG,CAAC,MAAqB,EAAE,KAAc,EAAE,EAAE,CAC3D,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,4BAA4B,CAAC;IAEpF,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACzJ,WAAW,CAAC,IAAI,CACd,mBAAmB,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,aAAa,KAAK,IAAI,CAAC,eAAe;YAC3F,GAAG,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE;YACrD,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,YAAY,2BAA2B,CAAC,CAC5F,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC;IACnE,IAAI,YAAY,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACjE,WAAW,CAAC,IAAI,CACd,QAAQ,UAAU,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,kBAAkB,UAAU,CAAC,WAAW,EAAE,IAAI;YAC9H,cAAc,MAAM,CAAC,WAAW,IAAI,wBAAwB,EAAE;YAC9D,CAAC,UAAU,CAAC,WAAW,KAAK,IAAI;gBAC9B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,wBAAwB,UAAU,CAAC,WAAW,uDAAuD,CAAC,CAC7G,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9B,WAAW,CAAC,IAAI,CACd,cAAc,UAAU,CAAC,KAAK,6DAA6D,UAAU,CAAC,KAAK,YAAY,CACxH,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,CACd,YAAY,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gFAAgF,CACxH,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACrC,WAAW,CAAC,IAAI,CACd,SAAS,UAAU,CAAC,YAAY,gFAAgF,CACjH,CAAC;IACJ,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,qBAAqB,CAAC,OAAyC,EAAE,OAAsB;IACrG,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,oCAAoC,OAAO,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,KAAK,GAAG,CAAC,oCAAoC,CAAC,CAAC;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAChG,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,oBAAoB,GAAkF;IAC1G;QACE,SAAS,EAAE,mBAAmB;QAC9B,UAAU,EAAE,CAAC,mBAAmB,EAAE,qBAAqB,CAAC;QACxD,IAAI,EAAE,6EAA6E;KACpF;IACD,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,yCAAyC,EAAE;IACxH;QACE,SAAS,EAAE,0BAA0B;QACrC,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,IAAI,EAAE,wDAAwD;KAC/D;CACF,CAAC;AAWF;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAe,EAAE,cAAsB;IAC3E,6FAA6F;IAC7F,6FAA6F;IAC7F,yFAAyF;IACzF,MAAM,OAAO,GAAG,mEAAmE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACzG,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IACpF,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAChD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CACxC,CAAC;IAEF,IAAI,SAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAG3E,CAAC;QACF,SAAS,GAAG,IAAI,GAAG,CACjB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;aACtB,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAC9D,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,yEAAyE;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAC1G,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACd,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/E,OAAO;YACL,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,SAAS,EAAE,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE;YAC/C,SAAS,EAAE,OAAO,KAAK,SAAS;YAChC,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,uBAAuB,CAAC,OAA2C;IACjF,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxD,OAAO;QACL,6BAA6B;QAC7B,GAAG,OAAO,CAAC,GAAG,CACZ,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,KAAK,CAAC,SAAS,sBAAsB,KAAK,CAAC,SAAS,0CAA0C;YACnG,GAAG,KAAK,CAAC,IAAI,gFAAgF;YAC7F,CAAC,KAAK,CAAC,SAAS;gBACd,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,gHAAgH;gBACpI,CAAC,CAAC,WAAW,KAAK,CAAC,SAAS,uBAAuB,CAAC,CACzD;KACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/dumptype.d.ts

@@ -0,0 +1,86 @@
+import type { AnalyseOptions, AnalysisResult } from './phpstan.js';
+import type { ResolvedProject } from './project.js';
+/** Hoeveel expressies één aanroep hoogstens meeneemt. */
+export declare const MAX_EXPRESSIONS = 10;
+/** Hoe lang één expressie mag zijn; een dump is voor een waarde, niet voor een blok code. */
+export declare const MAX_EXPRESSION_CHARS = 500;
+/** Het invoegen van de dumps, met wat nodig is om de uitslag terug te lezen. */
+export interface Probe {
+    /** De inhoud van het bestand met de ingevoegde regels. */
+    readonly content: string;
+    /** De regel waarvóór is ingevoegd; de dumps staan op deze regel en de volgende. */
+    readonly line: number;
+    /** De expressies zoals ze ingevoegd zijn, na het opschonen. */
+    readonly expressions: readonly string[];
+}
+/** Het type van één expressie, of waarom er geen is. */
+export interface ProbedType {
+    readonly expression: string;
+    /** Het type zoals PHPStan het afleidt; null als PHPStan er geen rapporteerde. */
+    readonly type: string | null;
+    /** Andere meldingen op de regel van deze dump, zoals `variable.undefined` bij `*ERROR*`. */
+    readonly problems: readonly {
+        identifier: string | null;
+        message: string;
+    }[];
+}
+/** Een parse-fout, met het regelnummer van het oorspronkelijke bestand. */
+export interface ParseProblem {
+    readonly line: number | null;
+    /** Of de fout op een van de ingevoegde regels staat. */
+    readonly inserted: boolean;
+    readonly message: string;
+}
+/** Het antwoord van `inspect_type`. */
+export interface TypeReport {
+    readonly project: string;
+    /** Pad relatief aan de projectroot. */
+    readonly file: string;
+    readonly line: number;
+    readonly types: readonly ProbedType[];
+    readonly parseErrors: readonly ParseProblem[];
+    readonly generalErrors: readonly string[];
+    readonly warnings: readonly string[];
+    readonly omitted: {
+        readonly parseErrors: number;
+        readonly generalErrors: number;
+        readonly warnings: number;
+    };
+}
+/** Wat een aanroep vraagt. */
+export interface TypeRequest {
+    readonly path: string;
+    readonly line: number;
+    readonly expressions: readonly string[];
+}
+/**
+ * Laat zien welk type PHPStan afleidt voor een of meer expressies, vlak vóór `line`.
+ *
+ * PHPStans eigen begeleiding zegt: overschrijf het afgeleide type niet met `assert()` of
+ * een inline `@var`. Dan moet het model dat type wel kunnen zien, en tot nu toe kon dat
+ * alleen door het bestand te bewerken, te analyseren en weer terug te draaien. Hier gaat
+ * dat via een kopie buiten het project (`analyseEdited`), dus dit blijft read-only.
+ */
+export declare function inspectType(project: ResolvedProject, request: TypeRequest, options?: Pick<AnalyseOptions, 'config' | 'memoryLimit' | 'timeoutMs' | 'signal'>): Promise<TypeReport>;
+/**
+ * Voegt vóór `line` één regel `\PHPStan\dumpType(<expressie>);` per expressie in.
+ *
+ * Elke expressie op een eigen regel, want PHPStan rapporteert twee dumps op één regel
+ * niet in een vaste volgorde (nagemeten) — het regelnummer is dan het enige dat een type
+ * aan zijn expressie koppelt. Een regeleinde in een expressie zou die telling verschuiven,
+ * en wordt daarom geweigerd.
+ */
+export declare function insertProbes(source: string, line: number, expressions: readonly string[]): Probe;
+/**
+ * Leest de uitslag van een analyse met ingevoegde dumps terug.
+ *
+ * Alleen wat op de ingevoegde regels staat hoort bij een expressie; de gewone bevindingen
+ * van het bestand zijn niet gevraagd (daar is `analyse_file` voor). Parse-fouten wél,
+ * waar ze ook staan: een regel op een plek waar geen statement kan (midden in een
+ * meerregelige expressie, in een klassebody) breekt het hele bestand, en nagemeten staan
+ * de meeste fouten dan ná de ingevoegde regel. Hun regelnummers worden teruggerekend naar
+ * het oorspronkelijke bestand, anders wijzen ze een of meer regels te ver.
+ */
+export declare function readProbes(project: string, file: string, probe: Probe, result: AnalysisResult): TypeReport;
+/** Schrijft het antwoord uit als tekst voor het model. */
+export declare function renderTypes(report: TypeReport): string;