@svp-labs/talos 0.0.0 → 0.1.0

package/dist/langs/php/strength-rules.js

@@ -0,0 +1,114 @@
+import { z } from 'zod';
+import { PHPSTAN_PARAMETERS } from './phpstan-config.js';
+const map = z.record(z.string(), z.unknown());
+/** The value as a map, when it is one (not a list). */
+export function asMap(value) {
+    if (Array.isArray(value))
+        return undefined;
+    const parsed = map.safeParse(value);
+    return parsed.success ? parsed.data : undefined;
+}
+function at(params, path) {
+    let value = params;
+    for (const part of path.split('.'))
+        value = asMap(value)?.[part];
+    return value;
+}
+function shown(value) {
+    return value === undefined ? 'nothing' : JSON.stringify(value);
+}
+function same(a, b) {
+    return JSON.stringify(a) === JSON.stringify(b);
+}
+/** Every leaf under a value, by dotted path. */
+function leaves(value, prefix) {
+    const children = asMap(value);
+    if (children === undefined)
+        return [[prefix, value]];
+    return Object.entries(children).flatMap(([name, child]) => leaves(child, `${prefix}.${name}`));
+}
+/** Limits where a higher number allows more. */
+const LIMITS = ['cognitive_complexity.function', 'cognitive_complexity.class'];
+/** Settings whose every leaf must stay as the base has it. */
+const EXACT = [
+    ...Object.keys(PHPSTAN_PARAMETERS).filter((name) => !['strictRules', 'cognitive_complexity', 'shipmonkDeadCode'].includes(name)),
+    'strictRules',
+    'shipmonkDeadCode.detect',
+];
+/** Lists where an entry the base doesn't have lets something through. */
+const LISTS = {
+    ignoreErrors: (entry) => `ignores errors matching ${entry}`,
+    'excludePaths.analyse': (entry) => `leaves ${entry} out of the analysis`,
+    'excludePaths.analyseAndScan': (entry) => `leaves ${entry} out of the analysis`,
+    universalObjectCratesClasses: (entry) => `lets ${entry} take any property`,
+    dynamicConstantNames: (entry) => `treats the constant ${entry} as variable`,
+};
+function listed(value) {
+    return Array.isArray(value) ? value : [];
+}
+function added(base, effective) {
+    return Object.entries(LISTS).flatMap(([list, says]) => {
+        const known = new Set(listed(at(base, list)).map((entry) => JSON.stringify(entry)));
+        return listed(at(effective, list))
+            .filter((entry) => !known.has(JSON.stringify(entry)))
+            .map((entry) => {
+            const text = typeof entry === 'string' ? entry : JSON.stringify(entry);
+            const shownEntry = typeof entry === 'string' ? `"${entry}"` : text;
+            return { setting: `${list} ${text}`, message: says(shownEntry) };
+        });
+    });
+}
+/**
+ * PHPStan's effective parameters (`dump-parameters`) with the project's extension against the
+ * base's alone: a switch or limit changed, or an entry added to a list that lets errors through.
+ */
+export function weakerPhpstan(base, effective) {
+    const exact = EXACT.flatMap((setting) => leaves(at(base, setting), setting)
+        .filter(([path, value]) => !same(at(effective, path), value))
+        .map(([path]) => ({
+        setting: path,
+        message: `sets ${path} to ${shown(at(effective, path))}`,
+    })));
+    const limits = LIMITS.flatMap((setting) => {
+        const [was, now] = [at(base, setting), at(effective, setting)];
+        return typeof was === 'number' && typeof now === 'number' && now > was
+            ? [{ setting, message: `raises ${setting} to ${now}` }]
+            : [];
+    });
+    return [...exact, ...limits, ...added(base, effective)];
+}
+/** Each `<exclude-pattern>` in the project's PHPMD ruleset, which PHPMD applies to every rule. */
+export function phpmdExcludes(text) {
+    return text.split(/\r?\n/).flatMap((line, index) => {
+        const match = /<exclude-pattern>([^<]*)<\/exclude-pattern>/.exec(line);
+        return match === null
+            ? []
+            : [
+                {
+                    line: index + 1,
+                    message: `This exclude-pattern leaves files matching "${match[1] ?? ''}" out of PHPMD, ` +
+                        'which is weaker than phpmd.xml.',
+                },
+            ];
+    });
+}
+/** Each `<exclude>` in phpunit.xml's `<source>`, which PHPUnit applies to Talos's coverage too. */
+export function phpunitExcludes(text) {
+    const found = [];
+    let inSource = false;
+    for (const [index, line] of text.split(/\r?\n/).entries()) {
+        if (/<source\b/.test(line))
+            inSource = true;
+        if (inSource && /<exclude\b/.test(line)) {
+            found.push({
+                line: index + 1,
+                message: 'This exclude in <source> leaves code out of the coverage Talos measures, which no ' +
+                    'project may narrow.',
+            });
+        }
+        if (line.includes('</source>'))
+            inSource = false;
+    }
+    return found;
+}
+//# sourceMappingURL=strength-rules.js.map

package/dist/langs/php/strength-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strength-rules.js","sourceRoot":"","sources":["../../../src/langs/php/strength-rules.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAUzD,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;AAE9C,uDAAuD;AACvD,MAAM,UAAU,KAAK,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AAED,SAAS,EAAE,CAAC,MAAc,EAAE,IAAY;IACtC,IAAI,KAAK,GAAY,MAAM,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,IAAI,CAAC,CAAU,EAAE,CAAU;IAClC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,gDAAgD;AAChD,SAAS,MAAM,CAAC,KAAc,EAAE,MAAc;IAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,gDAAgD;AAChD,MAAM,MAAM,GAAG,CAAC,+BAA+B,EAAE,4BAA4B,CAAC,CAAC;AAE/E,8DAA8D;AAC9D,MAAM,KAAK,GAAG;IACZ,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,MAAM,CACvC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,sBAAsB,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CACtF;IACD,aAAa;IACb,yBAAyB;CAC1B,CAAC;AAEF,yEAAyE;AACzE,MAAM,KAAK,GAAwD;IACjE,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,KAAK,EAAE;IAC3D,sBAAsB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,sBAAsB;IACxE,6BAA6B,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,KAAK,sBAAsB;IAC/E,4BAA4B,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,KAAK,oBAAoB;IAC1E,oBAAoB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,KAAK,cAAc;CAC5E,CAAC;AAEF,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,SAAiB;IAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;QACpD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACpF,OAAO,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;aAC/B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;aACpD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACb,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM,UAAU,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YACnE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnE,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,SAAiB;IAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;SAC/B,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,QAAQ,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE;KACzD,CAAC,CAAC,CACN,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACxC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/D,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,GAAG,GAAG;YACpE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,OAAO,OAAO,GAAG,EAAE,EAAE,CAAC;YACvD,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAa,EAAE;QAC5D,MAAM,KAAK,GAAG,6CAA6C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,OAAO,KAAK,KAAK,IAAI;YACnB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,KAAK,GAAG,CAAC;oBACf,OAAO,EACL,+CAA+C,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,kBAAkB;wBAC/E,iCAAiC;iBACpC;aACF,CAAC;IACR,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,QAAQ,GAAG,IAAI,CAAC;QAC5C,IAAI,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,KAAK,GAAG,CAAC;gBACf,OAAO,EACL,oFAAoF;oBACpF,qBAAqB;aACxB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,QAAQ,GAAG,KAAK,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/langs/php/strength.js

@@ -0,0 +1,98 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { toNeon } from './neon.js';
+import { absolute, fileExists, inRepo, tracks } from './paths.js';
+import { PHPMD_BASE, PHPMD_PROJECT } from './phpmd-config.js';
+import { gateIncludes, PHPSTAN_BASE, PHPSTAN_PARAMETERS, PHPSTAN_PROJECT, } from './phpstan-config.js';
+import { installerPackages, laravelApp } from './phpstan.js';
+import { runVendorTool } from './run.js';
+import { asMap, phpmdExcludes, phpunitExcludes, weakerPhpstan, } from './strength-rules.js';
+import { EngineError } from '../../core/check.js';
+/**
+ * `phpstan dump-parameters` prints the environment among the parameters, so its output is only
+ * parsed, never put in an error.
+ */
+async function dumpParameters(ctx, config) {
+    const result = await runVendorTool(ctx, 'phpstan', ['dump-parameters', '-c', config, '--json']);
+    let value;
+    try {
+        value = JSON.parse(result.stdout);
+    }
+    catch {
+        value = undefined;
+    }
+    const params = asMap(value);
+    if (result.code !== 0 || params === undefined) {
+        const reason = result.stderr.trim().split('\n').slice(-5).join('\n');
+        throw new EngineError(`phpstan dump-parameters exited ${result.code}:\n${reason}`);
+    }
+    return params;
+}
+async function parameters(ctx, project) {
+    const includes = await gateIncludes(ctx, {
+        laravel: laravelApp(ctx),
+        installed: await installerPackages(ctx),
+        project,
+    });
+    const name = project ? 'effective' : 'base';
+    const config = join(ctx.scratch, `${name}.neon`);
+    const tmpDir = join(ctx.scratch, `${name}-tmp`);
+    await writeFile(config, toNeon({ includes, parameters: { ...PHPSTAN_PARAMETERS, tmpDir } }));
+    return dumpParameters(ctx, config);
+}
+/** PHPStan's parameters with the project's extension against the base's alone. */
+async function phpstanStrength(ctx) {
+    if (!(await fileExists(absolute(ctx, PHPSTAN_PROJECT))))
+        return [];
+    const [base, effective] = await Promise.all([parameters(ctx, false), parameters(ctx, true)]);
+    const where = inRepo(ctx.component.root, PHPSTAN_PROJECT);
+    return weakerPhpstan(base, effective).map((w) => ({
+        rule: 'config/weaker',
+        key: `${where} ${w.setting}`,
+        message: `${where} ${w.message}, which is weaker than ${PHPSTAN_BASE}.`,
+    }));
+}
+function located(ctx, file, found) {
+    return found.map((l) => ({
+        rule: 'config/weaker',
+        message: l.message,
+        location: { file: inRepo(ctx.component.root, file), line: l.line },
+    }));
+}
+async function textOf(ctx, file) {
+    return tracks(ctx, file) ? readFile(absolute(ctx, file), 'utf8') : undefined;
+}
+/** PHPUnit reads the first of these it finds. */
+const PHPUNIT_CONFIGS = ['phpunit.xml', 'phpunit.xml.dist', 'phpunit.dist.xml'];
+/** PHPMD reads the first of these it finds, and every one of them comes before phpmd.xml. */
+const PHPMD_FIRST = ['yml', 'yaml', 'json'].flatMap((ext) => [
+    `phpmd.${ext}`,
+    `.phpmd.${ext}`,
+    `phpmd.${ext}.dist`,
+]);
+/**
+ * php/config-strength: what the project's files change about the base. PHPMD's and PHPStan's
+ * gate runs always apply the base in full, so this is about what editors show, and about the
+ * settings the gate does take from the project (PHPStan's allow-lists, PHPUnit's coverage source).
+ */
+export async function strength(ctx) {
+    const findings = await phpstanStrength(ctx);
+    const phpmd = await textOf(ctx, PHPMD_PROJECT);
+    if (phpmd !== undefined) {
+        findings.push(...located(ctx, PHPMD_PROJECT, phpmdExcludes(phpmd)));
+    }
+    const phpunit = PHPUNIT_CONFIGS.find((name) => tracks(ctx, name));
+    const text = phpunit === undefined ? undefined : await textOf(ctx, phpunit);
+    if (phpunit !== undefined && text !== undefined) {
+        findings.push(...located(ctx, phpunit, phpunitExcludes(text)));
+    }
+    for (const name of PHPMD_FIRST.filter((file) => tracks(ctx, file))) {
+        findings.push({
+            rule: 'config/shadowed',
+            message: `PHPMD reads ${inRepo(ctx.component.root, name)} before ${PHPMD_BASE}, so editors miss the base.`,
+            key: inRepo(ctx.component.root, name),
+        });
+    }
+    return findings;
+}
+//# sourceMappingURL=strength.js.map

package/dist/langs/php/strength.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strength.js","sourceRoot":"","sources":["../../../src/langs/php/strength.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,kBAAkB,EAClB,eAAe,GAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAc,aAAa,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EACL,KAAK,EAEL,aAAa,EACb,eAAe,EAEf,aAAa,GACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGlD;;;GAGG;AACH,KAAK,UAAU,cAAc,CAAC,GAAU,EAAE,MAAc;IACtD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChG,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,KAAK,GAAG,SAAS,CAAC;IACpB,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,IAAI,WAAW,CAAC,kCAAkC,MAAM,CAAC,IAAI,MAAM,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,GAAU,EAAE,OAAgB;IACpD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE;QACvC,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC;QACxB,SAAS,EAAE,MAAM,iBAAiB,CAAC,GAAG,CAAC;QACvC,OAAO;KACR,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;IAChD,MAAM,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,GAAG,kBAAkB,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7F,OAAO,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,kFAAkF;AAClF,KAAK,UAAU,eAAe,CAAC,GAAU;IACvC,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACnE,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC1D,OAAO,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAY,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,eAAe;QACrB,GAAG,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE;QAC5B,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,OAAO,0BAA0B,YAAY,GAAG;KACxE,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,OAAO,CAAC,GAAU,EAAE,IAAY,EAAE,KAAyB;IAClE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;KACnE,CAAC,CAAC,CAAC;AACN,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,GAAU,EAAE,IAAY;IAC5C,OAAO,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/E,CAAC;AAED,iDAAiD;AACjD,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;AAEhF,6FAA6F;AAC7F,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IAC3D,SAAS,GAAG,EAAE;IACd,UAAU,GAAG,EAAE;IACf,SAAS,GAAG,OAAO;CACpB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,GAAU;IACvC,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IAC/C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC5E,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,eAAe,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,UAAU,6BAA6B;YAC1G,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;SACtC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/langs/php/toolchain.js

@@ -0,0 +1,73 @@
+import { isLaravel, readInstalled, readManifest } from './composer.js';
+/**
+ * The tools a PHP project pins in `require-dev`, at exactly these versions: every program the
+ * checks run and every PHPStan extension the base includes. Pest 5, and so its PHPStan plugin,
+ * needs PHP 8.4 or later.
+ */
+export const PHP_DEV_TOOLS = {
+    manager: 'composer',
+    packages: {
+        'deptrac/deptrac': '4.7.2',
+        'infection/infection': '0.35.8',
+        'larastan/larastan': '3.13.1',
+        'laravel/pint': '1.32.1',
+        'pestphp/pest': '5.3.3',
+        'pestphp/pest-plugin-phpstan': '5.2.2',
+        'phpmd/phpmd': '3.0.0',
+        'phpstan/phpstan': '2.3.1',
+        'phpstan/phpstan-strict-rules': '2.1.0',
+        'shipmonk/dead-code-detector': '1.4.2',
+        'tomasvotruba/cognitive-complexity': '1.3.0',
+        'tomasvotruba/type-coverage': '2.5.1',
+    },
+};
+/** Larastan needs the framework, so only a project that requires laravel/framework pins it. */
+const LARAVEL_ONLY = new Set(['larastan/larastan']);
+/** The pins that apply to a component: Larastan's only in a Laravel project. */
+export function pinsFor(laravel) {
+    return Object.fromEntries(Object.entries(PHP_DEV_TOOLS.packages).filter(([name]) => laravel || !LARAVEL_ONLY.has(name)));
+}
+/**
+ * Each pinned tool against the version Composer installed from the lockfile. A tool at another
+ * version makes the editor and the gate disagree.
+ */
+export function toolchainFindings(pins, installed) {
+    return Object.entries(pins)
+        .filter(([name, pinned]) => installed.get(name) !== pinned)
+        .map(([name, pinned]) => drift(name, pinned, installed.get(name)));
+}
+function drift(name, pinned, found) {
+    const key = `composer ${name}`;
+    if (found === undefined) {
+        return {
+            key,
+            rule: 'toolchain/missing',
+            message: `${name} is not in require-dev; Talos runs ${name} ${pinned}.`,
+        };
+    }
+    return {
+        key,
+        rule: 'toolchain/mismatch',
+        message: `${name} ${found} is installed but Talos runs ${pinned}, so the editor and the gate may disagree.`,
+    };
+}
+/**
+ * Packages that can't be installed beside the pinned tools. phpstan/extension-installer includes
+ * every installed extension in PHPStan's config on its own, and PHPStan refuses a file included
+ * twice, so the committed phpstan.neon, which includes them itself, fails in editors.
+ */
+const CONFLICTS = {
+    'phpstan/extension-installer': 'phpstan/extension-installer includes the PHPStan extensions phpstan.neon already includes, ' +
+        'and PHPStan refuses a file included twice; remove it from require-dev.',
+};
+export function conflictFindings(installed) {
+    return Object.entries(CONFLICTS)
+        .filter(([name]) => installed.has(name))
+        .map(([name, message]) => ({ rule: 'toolchain/conflict', message, key: `composer ${name}` }));
+}
+export async function toolchain(ctx) {
+    const pins = pinsFor(isLaravel(await readManifest(ctx)));
+    const installed = await readInstalled(ctx);
+    return [...toolchainFindings(pins, installed), ...conflictFindings(installed)];
+}
+//# sourceMappingURL=toolchain.js.map

package/dist/langs/php/toolchain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolchain.js","sourceRoot":"","sources":["../../../src/langs/php/toolchain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAKvE;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,OAAO,EAAE,UAAU;IACnB,QAAQ,EAAE;QACR,iBAAiB,EAAE,OAAO;QAC1B,qBAAqB,EAAE,QAAQ;QAC/B,mBAAmB,EAAE,QAAQ;QAC7B,cAAc,EAAE,QAAQ;QACxB,cAAc,EAAE,OAAO;QACvB,6BAA6B,EAAE,OAAO;QACtC,aAAa,EAAE,OAAO;QACtB,iBAAiB,EAAE,OAAO;QAC1B,8BAA8B,EAAE,OAAO;QACvC,6BAA6B,EAAE,OAAO;QACtC,mCAAmC,EAAE,OAAO;QAC5C,4BAA4B,EAAE,OAAO;KACtC;CACF,CAAC;AAEF,+FAA+F;AAC/F,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAEzE,gFAAgF;AAChF,MAAM,UAAU,OAAO,CAAC,OAAgB;IACtC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC9F,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAsC,EACtC,SAAsC;IAEtC,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;SAC1D,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,MAAc,EAAE,KAAyB;IACpE,MAAM,GAAG,GAAG,YAAY,IAAI,EAAE,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;YACL,GAAG;YACH,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,GAAG,IAAI,sCAAsC,IAAI,IAAI,MAAM,GAAG;SACxE,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG;QACH,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,GAAG,IAAI,IAAI,KAAK,gCAAgC,MAAM,4CAA4C;KAC5G,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,SAAS,GAAqC;IAClD,6BAA6B,EAC3B,6FAA6F;QAC7F,wEAAwE;CAC3E,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,SAAsC;IACrE,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;SAC7B,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SACvC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,GAAU;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAC3C,OAAO,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC;AACjF,CAAC"}

package/dist/langs/php/typecov.js

@@ -0,0 +1,84 @@
+import { fromTool, shippedFiles } from './paths.js';
+import { TYPE_COVERAGE } from './phpstan-config.js';
+import { analyse, writeConfig } from './phpstan.js';
+import { scopeFor } from './scope.js';
+import { EngineError } from '../../core/check.js';
+import { reachesTypeFloor, TYPE_COVERAGE_FLOOR } from '../../quality/index.js';
+const IDENTIFIER = /^typeCoverage\.(param|return|property|constant)TypeCoverage$/;
+const COUNTS = /^Out of (\d+) possible \w+ types, only (\d+) - /;
+function kindOf(identifier) {
+    const match = IDENTIFIER.exec(identifier);
+    const kind = match?.[1];
+    return kind === 'param' || kind === 'return' || kind === 'property' || kind === 'constant'
+        ? kind
+        : undefined;
+}
+/**
+ * The extension's messages, one per untyped declaration, each carrying its kind's totals. Its
+ * other errors (an analysis at level 0 of shipped code alone) are none of this check's business.
+ */
+export function untypedFrom(report) {
+    if (report.general.length > 0) {
+        throw new EngineError(`PHPStan could not measure type coverage: ${report.general.join(' ')}`);
+    }
+    return report.messages.flatMap((m) => {
+        const kind = kindOf(m.identifier);
+        if (kind === undefined)
+            return [];
+        const counts = COUNTS.exec(m.message);
+        if (counts === null)
+            throw new EngineError(`type-coverage printed "${m.message}"`);
+        const [total, typed] = [Number(counts[1]), Number(counts[2])];
+        return [{ kind, file: m.file, line: m.line, total, typed }];
+    });
+}
+export function atFloor(untyped) {
+    return reachesTypeFloor(untyped.typed, untyped.total);
+}
+const MISSING = {
+    param: 'This parameter has no type',
+    return: 'This function has no return type',
+    property: 'This property has no type',
+    constant: 'This class constant has no type',
+};
+const PLURAL = {
+    param: 'parameters',
+    return: 'functions',
+    property: 'properties',
+    constant: 'class constants',
+};
+function percent(u) {
+    return ((u.typed * 100) / u.total).toFixed(1);
+}
+/**
+ * Each untyped declaration: `standard` while its kind is under the floor in the component's
+ * shipped code, so no new one lands; `info` once the kind is at or above it.
+ */
+export function typecovFindings(untyped, toRepo) {
+    return untyped.map((u) => {
+        const floor = atFloor(u);
+        const where = floor ? 'at or above' : 'under';
+        const policy = floor ? 'info' : undefined;
+        return {
+            rule: `typecov/${u.kind}`,
+            message: `${MISSING[u.kind]}; ${u.typed} of ${u.total} ${PLURAL[u.kind]} in shipped code ` +
+                `are typed (${percent(u)}%), ${where} the ${TYPE_COVERAGE_FLOOR}% floor.`,
+            location: { file: toRepo(u.file), line: u.line },
+            ...(policy === undefined ? {} : { policy }),
+        };
+    });
+}
+/** PHPStan at level 0 over shipped code with the type-coverage extension asking for 100%. */
+export async function typecov(ctx) {
+    const scope = await scopeFor(ctx, shippedFiles(ctx));
+    const config = await writeConfig(ctx, 'typecov', {
+        scope,
+        extra: [TYPE_COVERAGE],
+        parameters: {
+            level: 0,
+            type_coverage: { return: 100, param: 100, property: 100, constant: 100 },
+        },
+    });
+    return typecovFindings(untypedFrom(await analyse(ctx, config)), (file) => fromTool(ctx, file));
+}
+//# sourceMappingURL=typecov.js.map

package/dist/langs/php/typecov.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecov.js","sourceRoot":"","sources":["../../../src/langs/php/typecov.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAsB,WAAW,EAAE,MAAM,cAAc,CAAC;AAExE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAI/E,MAAM,UAAU,GAAG,8DAA8D,CAAC;AAClF,MAAM,MAAM,GAAG,iDAAiD,CAAC;AAWjE,SAAS,MAAM,CAAC,UAAkB;IAChC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU;QACxF,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAqB;IAC/C,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,WAAW,CAAC,4CAA4C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAa,EAAE;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI;YAAE,MAAM,IAAI,WAAW,CAAC,0BAA0B,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;QACnF,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,OAAyC;IAC/D,OAAO,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,OAAO,GAAmC;IAC9C,KAAK,EAAE,4BAA4B;IACnC,MAAM,EAAE,kCAAkC;IAC1C,QAAQ,EAAE,2BAA2B;IACrC,QAAQ,EAAE,iCAAiC;CAC5C,CAAC;AAEF,MAAM,MAAM,GAAmC;IAC7C,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,WAAW;IACnB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,iBAAiB;CAC5B,CAAC;AAEF,SAAS,OAAO,CAAC,CAAU;IACzB,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,OAA2B,EAC3B,MAAgC;IAEhC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAW,EAAE;QAChC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;QAC9C,MAAM,MAAM,GAAuB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,OAAO;YACL,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE;YACzB,OAAO,EACL,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB;gBACjF,cAAc,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,mBAAmB,UAAU;YAC3E,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;YAChD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;SAC5C,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAU;IACtC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE;QAC/C,KAAK;QACL,KAAK,EAAE,CAAC,aAAa,CAAC;QACtB,UAAU,EAAE;YACV,KAAK,EAAE,CAAC;YACR,aAAa,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE;SACzE;KACF,CAAC,CAAC;IACH,OAAO,eAAe,CAAC,WAAW,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACjG,CAAC"}

package/dist/langs/py/arch.js

@@ -0,0 +1,97 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { pyprojectTool } from './configs.js';
+import { readEnvironment } from './environment.js';
+import { contractTypes, packageRoots, parseImportLinter, UNIVERSAL_TYPES, universalConfig, } from './importlinter.js';
+import { devOnlyDistributions, devOnlyModules } from './lock.js';
+import { pythonFiles } from './paths.js';
+import { runTool, tail } from './run.js';
+import { EngineError } from '../../core/check.js';
+import { componentDir, fileExists, inRepo } from '../../core/component.js';
+/** The file a module lives in, repository-relative, among the component's Python files. */
+function moduleFile(module, files, root) {
+    const path = module.replaceAll('.', '/');
+    const candidates = ['', 'src/'].flatMap((at) => [`${at}${path}.py`, `${at}${path}/__init__.py`]);
+    const found = candidates.find((candidate) => files.has(candidate));
+    return found === undefined ? undefined : inRepo(root, found);
+}
+function importFinding(ctx, judged, files, b) {
+    const { contract, type } = judged;
+    const rule = `import-linter/${type}`;
+    if (contract.cycleIn !== undefined) {
+        return {
+            rule,
+            message: `${b.importer} imports ${b.imported}, which closes an import cycle in ${contract.cycleIn}.`,
+            key: `${contract.name}: ${b.importer} -> ${b.imported}`,
+        };
+    }
+    const via = b.target === b.imported ? '' : ` (through ${b.imported})`;
+    const message = `${b.importer} imports ${b.target}${via}, which the contract "${contract.name}" forbids.`;
+    const file = moduleFile(b.importer, files, ctx.component.root);
+    const location = file === undefined || b.line === undefined ? undefined : { file, line: b.line };
+    return location === undefined
+        ? { rule, message, key: `${contract.name}: ${b.importer} -> ${b.target}` }
+        : { rule, message, location };
+}
+function contractFindings(ctx, judged, files) {
+    if (judged.contract.imports.length === 0) {
+        return [
+            {
+                rule: `import-linter/${judged.type}`,
+                message: `The import-linter contract "${judged.contract.name}" is broken.`,
+                key: judged.contract.name,
+            },
+        ];
+    }
+    return judged.contract.imports.map((b) => importFinding(ctx, judged, files, b));
+}
+async function lintImports(ctx, config, types) {
+    const result = await runTool(ctx, 'lint-imports', [
+        '--config',
+        config,
+        '--no-cache',
+        '--no-logo',
+    ]);
+    const report = parseImportLinter(result.stdout);
+    if (report === undefined)
+        return tail(result, 5);
+    const files = new Set(pythonFiles(ctx));
+    return report.broken.flatMap((contract) => contractFindings(ctx, { contract, type: types.get(contract.name) ?? 'contract' }, files));
+}
+async function devOnly(ctx) {
+    const lock = join(componentDir(ctx), 'uv.lock');
+    if (!(await fileExists(lock)))
+        return [];
+    const devOnlyPackages = devOnlyDistributions(await readFile(lock, 'utf8'));
+    return devOnlyPackages === undefined
+        ? []
+        : devOnlyModules(devOnlyPackages, await readEnvironment(ctx));
+}
+async function universal(ctx, roots) {
+    const config = join(ctx.scratch, 'importlinter.toml');
+    await writeFile(config, universalConfig(roots, await devOnly(ctx)));
+    const found = await lintImports(ctx, config, UNIVERSAL_TYPES);
+    if (typeof found === 'string')
+        throw new EngineError(`lint-imports could not run:\n${found}`);
+    return found;
+}
+/**
+ * The universal contracts, which Talos writes for every package, then the project's own in
+ * `[tool.importlinter]`. A project configuration that can't be read is a finding of its own.
+ */
+export async function arch(ctx) {
+    const roots = packageRoots(pythonFiles(ctx));
+    const findings = roots.shipped.length > 0 ? await universal(ctx, roots) : [];
+    const own = (await pyprojectTool(componentDir(ctx))).importlinter;
+    if (own === undefined)
+        return findings;
+    const found = await lintImports(ctx, 'pyproject.toml', contractTypes(own));
+    if (typeof found !== 'string')
+        return [...findings, ...found];
+    const message = `import-linter could not check the contracts in pyproject.toml: ${found.split('\n').at(-1) ?? ''}`;
+    return [
+        ...findings,
+        { rule: 'import-linter/config', message, key: inRepo(ctx.component.root, 'pyproject.toml') },
+    ];
+}
+//# sourceMappingURL=arch.js.map

package/dist/langs/py/arch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arch.js","sourceRoot":"","sources":["../../../src/langs/py/arch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAGL,aAAa,EACb,YAAY,EACZ,iBAAiB,EAEjB,eAAe,EACf,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAc,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAG3E,2FAA2F;AAC3F,SAAS,UAAU,CAAC,MAAc,EAAE,KAA0B,EAAE,IAAY;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,KAAK,EAAE,GAAG,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAID,SAAS,aAAa,CACpB,GAAU,EACV,MAAc,EACd,KAA0B,EAC1B,CAAe;IAEf,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IAClC,MAAM,IAAI,GAAG,iBAAiB,IAAI,EAAE,CAAC;IACrC,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO;YACL,IAAI;YACJ,OAAO,EAAE,GAAG,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,QAAQ,qCAAqC,QAAQ,CAAC,OAAO,GAAG;YACpG,GAAG,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,QAAQ,EAAE;SACxD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,QAAQ,GAAG,CAAC;IACtE,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,QAAQ,YAAY,CAAC,CAAC,MAAM,GAAG,GAAG,yBAAyB,QAAQ,CAAC,IAAI,YAAY,CAAC;IAC1G,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,QAAQ,GACZ,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClF,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC1E,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAU,EAAE,MAAc,EAAE,KAA0B;IAC9E,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,OAAO;YACL;gBACE,IAAI,EAAE,iBAAiB,MAAM,CAAC,IAAI,EAAE;gBACpC,OAAO,EAAE,+BAA+B,MAAM,CAAC,QAAQ,CAAC,IAAI,cAAc;gBAC1E,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;aAC1B;SACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,GAAU,EACV,MAAc,EACd,KAAkC;IAElC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE;QAChD,UAAU;QACV,MAAM;QACN,YAAY;QACZ,WAAW;KACZ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxC,gBAAgB,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,UAAU,EAAE,EAAE,KAAK,CAAC,CACzF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,GAAU;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,eAAe,GAAG,oBAAoB,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3E,OAAO,eAAe,KAAK,SAAS;QAClC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,cAAc,CAAC,eAAe,EAAE,MAAM,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAU,EAAE,KAAY;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IACtD,MAAM,SAAS,CAAC,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,WAAW,CAAC,gCAAgC,KAAK,EAAE,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,GAAU;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,MAAM,GAAG,GAAG,CAAC,MAAM,aAAa,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IAClE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,gBAAgB,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3E,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,kEAAkE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACnH,OAAO;QACL,GAAG,QAAQ;QACX,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE;KAC7F,CAAC;AACJ,CAAC"}

package/dist/langs/py/complexipy.js

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+import { jsonFrom } from './run.js';
+import { EngineError } from '../../core/check.js';
+/** SonarSource's cognitive complexity limit, which ruff can't measure. */
+export const MAX_COGNITIVE = 15;
+const result = z.object({
+    ruleId: z.string(),
+    message: z.object({ text: z.string() }),
+    locations: z
+        .array(z.object({
+        physicalLocation: z.object({
+            artifactLocation: z.object({ uri: z.string() }),
+            region: z.object({ startLine: z.number().int(), endLine: z.number().int().optional() }),
+        }),
+        logicalLocations: z.array(z.object({ name: z.string() })).optional(),
+    }))
+        .min(1),
+});
+const sarif = z.object({ runs: z.array(z.object({ results: z.array(result) })) });
+/** Reads complexipy's SARIF: one result per function above the limit. */
+export function parseComplexipySarif(text) {
+    const parsed = sarif.safeParse(jsonFrom(text, 'complexipy'));
+    if (!parsed.success)
+        throw new EngineError('complexipy printed SARIF of an unknown shape');
+    return parsed.data.runs.flatMap((run) => run.results.map((r) => toFunction(r)));
+}
+function place(where) {
+    if (where === undefined)
+        return { file: '', line: 1, endLine: 1, name: 'function' };
+    const { region, artifactLocation } = where.physicalLocation;
+    return {
+        file: decodeURI(artifactLocation.uri).replace(/^file:\/\//, ''),
+        line: region.startLine,
+        endLine: Math.max(region.startLine, region.endLine ?? region.startLine),
+        name: where.logicalLocations?.[0]?.name ?? 'function',
+    };
+}
+function toFunction(r) {
+    const complexity = /complexity of (\d+)/.exec(r.message.text)?.[1];
+    return { rule: r.ruleId, ...place(r.locations[0]), complexity: Number(complexity ?? Number.NaN) };
+}
+//# sourceMappingURL=complexipy.js.map

package/dist/langs/py/complexipy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"complexipy.js","sourceRoot":"","sources":["../../../src/langs/py/complexipy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,EAAE,CAAC;AAEhC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IACtB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACvC,SAAS,EAAE,CAAC;SACT,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC;YACzB,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;SACxF,CAAC;QACF,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;KACrE,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAWlF,yEAAyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,WAAW,CAAC,8CAA8C,CAAC,CAAC;IAC3F,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAID,SAAS,KAAK,CAAC,KAA8D;IAC3E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACpF,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,gBAAgB,CAAC;IAC5D,OAAO;QACL,IAAI,EAAE,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;QAC/D,IAAI,EAAE,MAAM,CAAC,SAAS;QACtB,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,SAAS,CAAC;QACvE,IAAI,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,UAAU;KACtD,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,CAAyB;IAC3C,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;AACpG,CAAC"}