@rsdk/yarn.constraints 6.0.0-next.4 → 6.0.0-next.41

package/dist/model/diagnostics.js

@@ -0,0 +1,295 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compareManifest = compareManifest;
+exports.validateBasicShape = validateBasicShape;
+exports.dedupeViolations = dedupeViolations;
+/**
+ * Manifest diagnostics.
+ *
+ * The expected graph is compared with actual package manifests here. This
+ * module also owns basic shape checks such as root-only sections, workspace
+ * roles, forbidden service/CLI sections, and library mirror diagnostics.
+ */
+const expected_1 = require("./expected");
+const placement_1 = require("./placement");
+const rules_1 = require("./rules");
+const types_1 = require("./types");
+function getWorkspaceLabel(workspace) {
+    return workspace.isRoot ? '<root>' : workspace.name;
+}
+function collectActualDependencyNames(workspace) {
+    return new Set(types_1.SECTIONS.flatMap((section) => Object.keys(workspace.pkg[section] ?? {})));
+}
+function hasExternalCollectedUsage(workspace, workspaceNames) {
+    for (const depIdent of workspace.sourceUsage.keys()) {
+        if ((0, placement_1.isExternal)(depIdent, workspaceNames))
+            return true;
+    }
+    for (const depIdent of workspace.dtsImports) {
+        if ((0, placement_1.isExternal)(depIdent, workspaceNames))
+            return true;
+    }
+    return false;
+}
+function compareManifest(expected, violations) {
+    const workspace = expected.workspace;
+    const actualNames = collectActualDependencyNames(workspace);
+    const expectedNames = new Set();
+    for (const section of types_1.SECTIONS) {
+        for (const depIdent of expected.sections[section].keys()) {
+            expectedNames.add(depIdent);
+        }
+    }
+    for (const depIdent of expectedNames) {
+        const expectedSection = (0, expected_1.getExpectedSection)(expected, depIdent);
+        const expectedRange = (0, expected_1.getExpectedRange)(expected, depIdent);
+        const actualSection = (0, expected_1.getDeclaredSection)(workspace.pkg, depIdent);
+        const actualRange = (0, expected_1.getDeclaredRange)(workspace.pkg, depIdent);
+        if (!actualSection) {
+            violations.push({
+                code: 'missing',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                dependency: depIdent,
+                expectedSection,
+                expectedRange,
+                message: `${depIdent} is missing from ${expectedSection}`,
+            });
+            continue;
+        }
+        if (actualSection !== expectedSection) {
+            violations.push({
+                code: expected.workspace.isRoot ? 'root-section' : 'wrong-section',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                dependency: depIdent,
+                actualSection,
+                expectedSection,
+                actualRange: actualRange ?? undefined,
+                expectedRange,
+                message: `${depIdent} is in ${actualSection}, expected ${expectedSection}`,
+            });
+            continue;
+        }
+        if (actualRange !== expectedRange) {
+            violations.push({
+                code: 'wrong-range',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                dependency: depIdent,
+                actualSection,
+                expectedSection,
+                actualRange: actualRange ?? undefined,
+                expectedRange,
+                message: `${depIdent} range is ${actualRange}, expected ${expectedRange}`,
+            });
+        }
+    }
+    for (const depIdent of actualNames) {
+        if (expectedNames.has(depIdent))
+            continue;
+        const actualSection = (0, expected_1.getDeclaredSection)(workspace.pkg, depIdent);
+        const actualRange = (0, expected_1.getDeclaredRange)(workspace.pkg, depIdent);
+        const isForbiddenRootSection = workspace.isRoot && actualSection && actualSection !== 'devDependencies';
+        violations.push({
+            code: isForbiddenRootSection ? 'root-section' : 'stale',
+            workspace: getWorkspaceLabel(workspace),
+            workspaceLocation: workspace.location,
+            dependency: depIdent,
+            actualSection: actualSection ?? undefined,
+            actualRange: actualRange ?? undefined,
+            message: isForbiddenRootSection
+                ? `${depIdent} is declared in root ${actualSection}; root package.json may contain only devDependencies`
+                : `${depIdent} is declared but not required by the derived model`,
+        });
+    }
+    for (const depIdent of Object.keys(workspace.pkg.peerDependenciesMeta ?? {})) {
+        if (expected.sections.peerDependencies.has(depIdent))
+            continue;
+        violations.push({
+            code: 'stale',
+            workspace: getWorkspaceLabel(workspace),
+            workspaceLocation: workspace.location,
+            dependency: depIdent,
+            message: `${depIdent} has peerDependenciesMeta but is not expected in peerDependencies`,
+        });
+    }
+}
+function validateBasicShape(workspaces, expectedByLocation, rules, violations, warnings, withDts) {
+    const workspaceNames = new Set(workspaces.filter((ws) => !ws.isRoot).map((ws) => ws.name));
+    for (const workspace of workspaces) {
+        if (workspace.isRoot) {
+            if (workspace.pkg.private !== true) {
+                violations.push({
+                    code: 'root-private',
+                    workspace: getWorkspaceLabel(workspace),
+                    workspaceLocation: workspace.location,
+                    message: 'root package.json must have private: true',
+                });
+            }
+            continue;
+        }
+        if (!workspace.pkg.role) {
+            violations.push({
+                code: 'role-missing',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                message: 'workspace package.json must declare role',
+            });
+        }
+        else if (!(0, rules_1.isWorkspaceRole)(workspace.pkg.role)) {
+            violations.push({
+                code: 'role-invalid',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                message: `workspace role must be library, service, or cli; got ${workspace.pkg.role}`,
+            });
+        }
+        if (workspace.pkg.bin && workspace.role !== 'cli') {
+            warnings.push({
+                code: 'bin-role-mismatch',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                message: 'workspace declares bin but role is not cli',
+            });
+        }
+        if (workspace.role &&
+            workspace.sourceFileCount !== undefined &&
+            workspace.sourceFileCount > 0 &&
+            !hasExternalCollectedUsage(workspace, workspaceNames)) {
+            warnings.push({
+                code: 'zero-external-dependencies',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                message: `no external source imports were collected from ${workspace.sourceFileCount} source file(s); check source roots and entrypoints before trusting autofix`,
+            });
+        }
+        if (workspace.hasSrc && !workspace.hasDist && withDts) {
+            violations.push({
+                code: 'dist-missing',
+                workspace: getWorkspaceLabel(workspace),
+                workspaceLocation: workspace.location,
+                message: 'dist/ not found; build required before --with-dts check',
+            });
+        }
+        if (workspace.role === 'service' || workspace.role === 'cli') {
+            for (const section of ['peerDependencies', 'devDependencies']) {
+                for (const depIdent of Object.keys(workspace.pkg[section] ?? {})) {
+                    violations.push({
+                        code: 'forbidden-section',
+                        workspace: getWorkspaceLabel(workspace),
+                        workspaceLocation: workspace.location,
+                        dependency: depIdent,
+                        actualSection: section,
+                        expectedSection: section === 'peerDependencies' ? 'dependencies' : undefined,
+                        message: `${section} are forbidden for ${workspace.role} workspaces`,
+                    });
+                }
+            }
+        }
+        if (workspace.role === 'library') {
+            for (const depIdent of Object.keys(workspace.pkg.dependencies ?? {})) {
+                if (workspace.pkg.peerDependencies?.[depIdent] !== undefined) {
+                    violations.push({
+                        code: 'forbidden-section',
+                        workspace: getWorkspaceLabel(workspace),
+                        workspaceLocation: workspace.location,
+                        dependency: depIdent,
+                        actualSection: 'dependencies',
+                        expectedSection: 'peerDependencies',
+                        message: `${depIdent} is declared in both dependencies and peerDependencies`,
+                    });
+                }
+            }
+            const expected = expectedByLocation.get(workspace.location);
+            if (expected) {
+                for (const [depIdent, peerRange] of expected.sections
+                    .peerDependencies) {
+                    const devRange = workspace.pkg.devDependencies?.[depIdent];
+                    if (devRange !== peerRange) {
+                        violations.push({
+                            code: 'mirror',
+                            workspace: getWorkspaceLabel(workspace),
+                            workspaceLocation: workspace.location,
+                            dependency: depIdent,
+                            actualSection: 'devDependencies',
+                            expectedSection: 'devDependencies',
+                            actualRange: devRange,
+                            expectedRange: peerRange,
+                            message: `${depIdent} must be mirrored from peerDependencies to devDependencies`,
+                        });
+                    }
+                }
+            }
+        }
+        for (const depIdent of Object.keys(workspace.pkg.devDependencies ?? {})) {
+            if (workspace.pkg.dependencies?.[depIdent] !== undefined) {
+                violations.push({
+                    code: 'forbidden-section',
+                    workspace: getWorkspaceLabel(workspace),
+                    workspaceLocation: workspace.location,
+                    dependency: depIdent,
+                    actualSection: 'devDependencies',
+                    expectedSection: 'dependencies',
+                    message: `${depIdent} is declared in both dependencies and devDependencies`,
+                });
+            }
+        }
+        for (const section of types_1.SECTIONS) {
+            for (const depIdent of Object.keys(workspace.pkg[section] ?? {})) {
+                const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, workspace.name, workspace.location);
+                const expected = expectedByLocation.get(workspace.location);
+                if (rule.rootOnly &&
+                    (0, placement_1.isExternal)(depIdent, workspaceNames) &&
+                    !expected?.sections[section].has(depIdent)) {
+                    violations.push({
+                        code: 'root-only',
+                        workspace: getWorkspaceLabel(workspace),
+                        workspaceLocation: workspace.location,
+                        dependency: depIdent,
+                        actualSection: section,
+                        expectedSection: 'devDependencies',
+                        message: `${depIdent} is rootOnly and must not be declared in workspace package.json`,
+                    });
+                }
+            }
+        }
+        const expected = expectedByLocation.get(workspace.location);
+        if (expected) {
+            for (const [depIdent, reasons] of expected.reasons) {
+                if (!(0, placement_1.isExternal)(depIdent, workspaceNames))
+                    continue;
+                if (!reasons.some((reason) => reason.kind === 'root-only'))
+                    continue;
+                violations.push({
+                    code: 'root-only-usage',
+                    workspace: getWorkspaceLabel(workspace),
+                    workspaceLocation: workspace.location,
+                    dependency: depIdent,
+                    expectedSection: 'devDependencies',
+                    message: `${depIdent} is rootOnly and must not be used by workspace source or peer surface`,
+                });
+            }
+        }
+    }
+}
+function dedupeViolations(violations) {
+    const result = [];
+    const seen = new Set();
+    for (const violation of violations) {
+        const key = [
+            violation.code,
+            violation.workspaceLocation,
+            violation.dependency ?? '',
+            violation.actualSection ?? '',
+            violation.expectedSection ?? '',
+            violation.expectedRange ?? '',
+        ].join('\0');
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        result.push(violation);
+    }
+    return result;
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/model/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../src/model/diagnostics.ts"],"names":[],"mappings":";;AAiDA,0CAiGC;AAED,gDA0LC;AAED,4CAqBC;AArWD;;;;;;GAMG;AACH,yCAKoB;AACpB,2CAAyC;AACzC,mCAA4D;AAQ5D,mCAAmC;AAEnC,SAAS,iBAAiB,CAAC,SAAyB;IAClD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,4BAA4B,CAAC,SAAyB;IAC7D,OAAO,IAAI,GAAG,CACZ,gBAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CACzE,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,SAAyB,EACzB,cAA2B;IAE3B,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;QACpD,IAAI,IAAA,sBAAU,EAAC,QAAQ,EAAE,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QAC5C,IAAI,IAAA,sBAAU,EAAC,QAAQ,EAAE,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,eAAe,CAC7B,QAA2B,EAC3B,UAAiC;IAEjC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IACrC,MAAM,WAAW,GAAG,4BAA4B,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACzD,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;QACrC,MAAM,eAAe,GAAG,IAAA,6BAAkB,EAAC,QAAQ,EAAE,QAAQ,CAAE,CAAC;QAChE,MAAM,aAAa,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,QAAQ,CAAE,CAAC;QAC5D,MAAM,aAAa,GAAG,IAAA,6BAAkB,EAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAClE,MAAM,WAAW,GAAG,IAAA,2BAAgB,EAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAE9D,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,UAAU,EAAE,QAAQ;gBACpB,eAAe;gBACf,aAAa;gBACb,OAAO,EAAE,GAAG,QAAQ,oBAAoB,eAAe,EAAE;aAC1D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,aAAa,KAAK,eAAe,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe;gBAClE,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,UAAU,EAAE,QAAQ;gBACpB,aAAa;gBACb,eAAe;gBACf,WAAW,EAAE,WAAW,IAAI,SAAS;gBACrC,aAAa;gBACb,OAAO,EAAE,GAAG,QAAQ,UAAU,aAAa,cAAc,eAAe,EAAE;aAC3E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,WAAW,KAAK,aAAa,EAAE,CAAC;YAClC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,UAAU,EAAE,QAAQ;gBACpB,aAAa;gBACb,eAAe;gBACf,WAAW,EAAE,WAAW,IAAI,SAAS;gBACrC,aAAa;gBACb,OAAO,EAAE,GAAG,QAAQ,aAAa,WAAW,cAAc,aAAa,EAAE;aAC1E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC1C,MAAM,aAAa,GAAG,IAAA,6BAAkB,EAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAClE,MAAM,WAAW,GAAG,IAAA,2BAAgB,EAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,sBAAsB,GAC1B,SAAS,CAAC,MAAM,IAAI,aAAa,IAAI,aAAa,KAAK,iBAAiB,CAAC;QAE3E,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO;YACvD,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;YACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;YACrC,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,aAAa,IAAI,SAAS;YACzC,WAAW,EAAE,WAAW,IAAI,SAAS;YACrC,OAAO,EAAE,sBAAsB;gBAC7B,CAAC,CAAC,GAAG,QAAQ,wBAAwB,aAAa,sDAAsD;gBACxG,CAAC,CAAC,GAAG,QAAQ,oDAAoD;SACpE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAChC,SAAS,CAAC,GAAG,CAAC,oBAAoB,IAAI,EAAE,CACzC,EAAE,CAAC;QACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAE/D,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;YACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;YACrC,UAAU,EAAE,QAAQ;YACpB,OAAO,EACL,GAAG,QAAQ,mEAAmE;SACjF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAgB,kBAAkB,CAChC,UAA4B,EAC5B,kBAAkD,EAClD,KAAuB,EACvB,UAAiC,EACjC,QAA6B,EAC7B,OAAgB;IAEhB,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAC3D,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACrB,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,cAAc;oBACpB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;oBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;oBACrC,OAAO,EAAE,2CAA2C;iBACrD,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACxB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,cAAc;gBACpB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,OAAO,EAAE,0CAA0C;aACpD,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,IAAA,uBAAe,EAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,cAAc;gBACpB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,OAAO,EAAE,wDAAwD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE;aACtF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,OAAO,EAAE,4CAA4C;aACtD,CAAC,CAAC;QACL,CAAC;QAED,IACE,SAAS,CAAC,IAAI;YACd,SAAS,CAAC,eAAe,KAAK,SAAS;YACvC,SAAS,CAAC,eAAe,GAAG,CAAC;YAC7B,CAAC,yBAAyB,CAAC,SAAS,EAAE,cAAc,CAAC,EACrD,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,4BAA4B;gBAClC,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,OAAO,EACL,kDAAkD,SAAS,CAAC,eAAe,6EAA6E;aAC3J,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC;YACtD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,cAAc;gBACpB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;gBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;gBACrC,OAAO,EAAE,yDAAyD;aACnE,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC7D,KAAK,MAAM,OAAO,IAAI,CAAC,kBAAkB,EAAE,iBAAiB,CAAU,EAAE,CAAC;gBACvE,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;oBACjE,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,mBAAmB;wBACzB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;wBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;wBACrC,UAAU,EAAE,QAAQ;wBACpB,aAAa,EAAE,OAAO;wBACtB,eAAe,EACb,OAAO,KAAK,kBAAkB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;wBAC7D,OAAO,EAAE,GAAG,OAAO,sBAAsB,SAAS,CAAC,IAAI,aAAa;qBACrE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,CAAC;gBACrE,IAAI,SAAS,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC7D,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,mBAAmB;wBACzB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;wBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;wBACrC,UAAU,EAAE,QAAQ;wBACpB,aAAa,EAAE,cAAc;wBAC7B,eAAe,EAAE,kBAAkB;wBACnC,OAAO,EAAE,GAAG,QAAQ,wDAAwD;qBAC7E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC5D,IAAI,QAAQ,EAAE,CAAC;gBACb,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,QAAQ,CAAC,QAAQ;qBAClD,gBAAgB,EAAE,CAAC;oBACpB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC;oBAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,QAAQ;4BACd,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;4BACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;4BACrC,UAAU,EAAE,QAAQ;4BACpB,aAAa,EAAE,iBAAiB;4BAChC,eAAe,EAAE,iBAAiB;4BAClC,WAAW,EAAE,QAAQ;4BACrB,aAAa,EAAE,SAAS;4BACxB,OAAO,EAAE,GAAG,QAAQ,4DAA4D;yBACjF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,CAAC;YACxE,IAAI,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;gBACzD,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,mBAAmB;oBACzB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;oBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;oBACrC,UAAU,EAAE,QAAQ;oBACpB,aAAa,EAAE,iBAAiB;oBAChC,eAAe,EAAE,cAAc;oBAC/B,OAAO,EAAE,GAAG,QAAQ,uDAAuD;iBAC5E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjE,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,QAAQ,CACnB,CAAC;gBACF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAC5D,IACE,IAAI,CAAC,QAAQ;oBACb,IAAA,sBAAU,EAAC,QAAQ,EAAE,cAAc,CAAC;oBACpC,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAC1C,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,WAAW;wBACjB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;wBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;wBACrC,UAAU,EAAE,QAAQ;wBACpB,aAAa,EAAE,OAAO;wBACtB,eAAe,EAAE,iBAAiB;wBAClC,OAAO,EAAE,GAAG,QAAQ,iEAAiE;qBACtF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACnD,IAAI,CAAC,IAAA,sBAAU,EAAC,QAAQ,EAAE,cAAc,CAAC;oBAAE,SAAS;gBACpD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;oBAAE,SAAS;gBAErE,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,iBAAiB;oBACvB,SAAS,EAAE,iBAAiB,CAAC,SAAS,CAAC;oBACvC,iBAAiB,EAAE,SAAS,CAAC,QAAQ;oBACrC,UAAU,EAAE,QAAQ;oBACpB,eAAe,EAAE,iBAAiB;oBAClC,OAAO,EAAE,GAAG,QAAQ,uEAAuE;iBAC5F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,gBAAgB,CAC9B,UAAiC;IAEjC,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG;YACV,SAAS,CAAC,IAAI;YACd,SAAS,CAAC,iBAAiB;YAC3B,SAAS,CAAC,UAAU,IAAI,EAAE;YAC1B,SAAS,CAAC,aAAa,IAAI,EAAE;YAC7B,SAAS,CAAC,eAAe,IAAI,EAAE;YAC/B,SAAS,CAAC,aAAa,IAAI,EAAE;SAC9B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/model/engine.d.ts

@@ -0,0 +1,5 @@
+import type { DependencyModelFacts, DependencyModelOutput, DependencyRule, ExpectedWorkspace, WorkspaceFacts } from './types';
+export declare function buildExpected(workspaces: WorkspaceFacts[], rules: DependencyRule[], externalPeerMetadata: Map<string, Map<string, string> | null>, externalTypeMetadata: Map<string, {
+    hasBundledTypes: boolean;
+}>, typeProviderPackages: Set<string>): Map<string, ExpectedWorkspace>;
+export declare function deriveDependencyModel(facts: DependencyModelFacts): DependencyModelOutput;

package/dist/model/engine.js

@@ -0,0 +1,52 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildExpected = buildExpected;
+exports.deriveDependencyModel = deriveDependencyModel;
+/**
+ * Pure dependency model engine.
+ *
+ * The engine receives complete facts and derives expected manifests plus
+ * diagnostics. It must not read files, execute Yarn, or inspect `node_modules`;
+ * those concerns belong to collectors and the runner.
+ */
+const diagnostics_1 = require("./diagnostics");
+const expected_1 = require("./expected");
+const peer_propagation_1 = require("./peer-propagation");
+const placement_1 = require("./placement");
+const versions_1 = require("./versions");
+function buildExpected(workspaces, rules, externalPeerMetadata, externalTypeMetadata, typeProviderPackages) {
+    const expectedByLocation = new Map();
+    const root = workspaces[0];
+    const workspaceNames = new Set(workspaces.filter((ws) => !ws.isRoot).map((ws) => ws.name));
+    const workspacesByName = new Map(workspaces.filter((ws) => !ws.isRoot).map((ws) => [ws.name, ws]));
+    for (const workspace of workspaces) {
+        expectedByLocation.set(workspace.location, {
+            workspace,
+            sections: (0, expected_1.emptySections)(),
+            reasons: new Map(),
+        });
+    }
+    (0, placement_1.seedRootDevDependencies)(expectedByLocation, workspaceNames, rules);
+    (0, placement_1.addUsageDependencies)(expectedByLocation, root, workspaceNames, rules, externalTypeMetadata, typeProviderPackages);
+    (0, placement_1.addRequiredRuleDependencies)(expectedByLocation, root, workspaceNames, rules);
+    (0, peer_propagation_1.propagatePeers)(expectedByLocation, workspacesByName, workspaceNames, externalPeerMetadata, rules);
+    (0, versions_1.applyVersionRules)(expectedByLocation, root, workspaceNames, rules);
+    (0, placement_1.rebuildLibraryMirrors)(expectedByLocation);
+    return expectedByLocation;
+}
+function deriveDependencyModel(facts) {
+    const { workspaces, externalPeerMetadata, externalTypeMetadata = new Map(), typeProviderPackages = new Set(), rules, withDts = false, } = facts;
+    const expected = buildExpected(workspaces, rules, externalPeerMetadata, externalTypeMetadata, typeProviderPackages);
+    const violations = [];
+    const warnings = [];
+    (0, diagnostics_1.validateBasicShape)(workspaces, expected, rules, violations, warnings, withDts);
+    for (const item of expected.values())
+        (0, diagnostics_1.compareManifest)(item, violations);
+    violations.push(...(0, versions_1.collectUnconstrainedVersionViolations)(workspaces, expected, rules));
+    return {
+        violations: (0, diagnostics_1.dedupeViolations)(violations),
+        warnings,
+        expected,
+    };
+}
+//# sourceMappingURL=engine.js.map

package/dist/model/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/model/engine.ts"],"names":[],"mappings":";;AA4BA,sCAkDC;AAED,sDAuCC;AAvHD;;;;;;GAMG;AACH,+CAAsF;AACtF,yCAA2C;AAC3C,yDAAoD;AACpD,2CAKqB;AAQrB,yCAGoB;AAEpB,SAAgB,aAAa,CAC3B,UAA4B,EAC5B,KAAuB,EACvB,oBAA6D,EAC7D,oBAA+D,EAC/D,oBAAiC;IAEjC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAChE,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAC5B,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAC3D,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CACjE,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE;YACzC,SAAS;YACT,QAAQ,EAAE,IAAA,wBAAa,GAAE;YACzB,OAAO,EAAE,IAAI,GAAG,EAAE;SACnB,CAAC,CAAC;IACL,CAAC;IAED,IAAA,mCAAuB,EAAC,kBAAkB,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;IACnE,IAAA,gCAAoB,EAClB,kBAAkB,EAClB,IAAI,EACJ,cAAc,EACd,KAAK,EACL,oBAAoB,EACpB,oBAAoB,CACrB,CAAC;IACF,IAAA,uCAA2B,EACzB,kBAAkB,EAClB,IAAI,EACJ,cAAc,EACd,KAAK,CACN,CAAC;IACF,IAAA,iCAAc,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,cAAc,EACd,oBAAoB,EACpB,KAAK,CACN,CAAC;IACF,IAAA,4BAAiB,EAAC,kBAAkB,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;IACnE,IAAA,iCAAqB,EAAC,kBAAkB,CAAC,CAAC;IAE1C,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED,SAAgB,qBAAqB,CACnC,KAA2B;IAE3B,MAAM,EACJ,UAAU,EACV,oBAAoB,EACpB,oBAAoB,GAAG,IAAI,GAAG,EAAE,EAChC,oBAAoB,GAAG,IAAI,GAAG,EAAE,EAChC,KAAK,EACL,OAAO,GAAG,KAAK,GAChB,GAAG,KAAK,CAAC;IACV,MAAM,QAAQ,GAAG,aAAa,CAC5B,UAAU,EACV,KAAK,EACL,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,CACrB,CAAC;IACF,MAAM,UAAU,GAAwC,EAAE,CAAC;IAC3D,MAAM,QAAQ,GAAsC,EAAE,CAAC;IAEvD,IAAA,gCAAkB,EAChB,UAAU,EACV,QAAQ,EACR,KAAK,EACL,UAAU,EACV,QAAQ,EACR,OAAO,CACR,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE;QAAE,IAAA,6BAAe,EAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACxE,UAAU,CAAC,IAAI,CACb,GAAG,IAAA,gDAAqC,EAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CACtE,CAAC;IAEF,OAAO;QACL,UAAU,EAAE,IAAA,8BAAgB,EAAC,UAAU,CAAC;QACxC,QAAQ;QACR,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/model/expected.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Helpers for expected dependency sections and their explanations.
+ *
+ * The model derives a fresh expected manifest for each workspace. This module
+ * owns the small mutation primitives for those expected sections and keeps the
+ * reason trail used by `depdoc explain`.
+ */
+import type { PackageJson } from '../lib/package-json';
+import { getEffectiveRule } from './rules';
+import { type DependencyRule, type ExpectedWorkspace, type Reason, type SectionType, type WorkspaceFacts } from './types';
+export declare function emptySections(): Record<SectionType, Map<string, string>>;
+export declare function getDeclaredSection(pkg: PackageJson, depIdent: string): SectionType | null;
+export declare function getDeclaredRange(pkg: PackageJson, depIdent: string): string | null;
+export declare function addReason(expected: ExpectedWorkspace, depIdent: string, reason: Reason): void;
+export declare function addRuleReason(expected: ExpectedWorkspace, depIdent: string, rule: ReturnType<typeof getEffectiveRule>): void;
+export declare function setExpectedDependency(expected: ExpectedWorkspace, section: SectionType, depIdent: string, range: string, reason: Reason): void;
+export declare function addExpectedMirrorDependency(expected: ExpectedWorkspace, depIdent: string, range: string, reason: Reason): void;
+export declare function getExpectedSection(expected: ExpectedWorkspace, depIdent: string): SectionType | null;
+export declare function getExpectedRange(expected: ExpectedWorkspace, depIdent: string): string | null;
+export declare function getRangeSource(root: WorkspaceFacts, workspace: WorkspaceFacts, depIdent: string, rules: DependencyRule[]): string;

package/dist/model/expected.js

@@ -0,0 +1,89 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emptySections = emptySections;
+exports.getDeclaredSection = getDeclaredSection;
+exports.getDeclaredRange = getDeclaredRange;
+exports.addReason = addReason;
+exports.addRuleReason = addRuleReason;
+exports.setExpectedDependency = setExpectedDependency;
+exports.addExpectedMirrorDependency = addExpectedMirrorDependency;
+exports.getExpectedSection = getExpectedSection;
+exports.getExpectedRange = getExpectedRange;
+exports.getRangeSource = getRangeSource;
+const rules_1 = require("./rules");
+const types_1 = require("./types");
+function emptySections() {
+    return {
+        dependencies: new Map(),
+        peerDependencies: new Map(),
+        devDependencies: new Map(),
+    };
+}
+function getDeclaredSection(pkg, depIdent) {
+    for (const section of types_1.SECTIONS) {
+        if (pkg[section]?.[depIdent] !== undefined)
+            return section;
+    }
+    return null;
+}
+function getDeclaredRange(pkg, depIdent) {
+    const section = getDeclaredSection(pkg, depIdent);
+    return section ? (pkg[section]?.[depIdent] ?? null) : null;
+}
+function addReason(expected, depIdent, reason) {
+    if (!expected.reasons.has(depIdent))
+        expected.reasons.set(depIdent, []);
+    const list = expected.reasons.get(depIdent);
+    if (!list.some((r) => r.kind === reason.kind && r.detail === reason.detail)) {
+        list.push(reason);
+    }
+}
+function addRuleReason(expected, depIdent, rule) {
+    const details = [];
+    if (rule.section)
+        details.push(`section: ${rule.section}`);
+    if (rule.version !== undefined)
+        details.push(`version: ${rule.version}`);
+    if (rule.rootOnly)
+        details.push('rootOnly: true');
+    if (rule.required)
+        details.push('required: true');
+    if (details.length === 0)
+        return;
+    addReason(expected, depIdent, {
+        kind: 'rule',
+        detail: `${depIdent} matched rule (${details.join(', ')})`,
+    });
+}
+function setExpectedDependency(expected, section, depIdent, range, reason) {
+    for (const other of types_1.SECTIONS) {
+        if (other !== section)
+            expected.sections[other].delete(depIdent);
+    }
+    expected.sections[section].set(depIdent, range);
+    addReason(expected, depIdent, reason);
+}
+function addExpectedMirrorDependency(expected, depIdent, range, reason) {
+    expected.sections.devDependencies.set(depIdent, range);
+    addReason(expected, depIdent, reason);
+}
+function getExpectedSection(expected, depIdent) {
+    for (const section of types_1.SECTIONS) {
+        if (expected.sections[section].has(depIdent))
+            return section;
+    }
+    return null;
+}
+function getExpectedRange(expected, depIdent) {
+    const section = getExpectedSection(expected, depIdent);
+    return section ? (expected.sections[section].get(depIdent) ?? null) : null;
+}
+function getRangeSource(root, workspace, depIdent, rules) {
+    const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, workspace.name, workspace.location);
+    if (rule.version !== undefined)
+        return rule.version;
+    return (getDeclaredRange(workspace.pkg, depIdent) ??
+        getDeclaredRange(root.pkg, depIdent) ??
+        '*');
+}
+//# sourceMappingURL=expected.js.map

package/dist/model/expected.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected.js","sourceRoot":"","sources":["../../src/model/expected.ts"],"names":[],"mappings":";;AAmBA,sCAMC;AAED,gDASC;AAED,4CAOC;AAED,8BAUC;AAED,sCAgBC;AAED,sDAYC;AAED,kEAQC;AAED,gDASC;AAED,4CAOC;AAED,wCAmBC;AAnID,mCAA2C;AAC3C,mCAOiB;AAEjB,SAAgB,aAAa;IAC3B,OAAO;QACL,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,gBAAgB,EAAE,IAAI,GAAG,EAAE;QAC3B,eAAe,EAAE,IAAI,GAAG,EAAE;KAC3B,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAChC,GAAgB,EAChB,QAAgB;IAEhB,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;IAC7D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,gBAAgB,CAC9B,GAAgB,EAChB,QAAgB;IAEhB,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAElD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,SAAgB,SAAS,CACvB,QAA2B,EAC3B,QAAgB,EAChB,MAAc;IAEd,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;IAC7C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAgB,aAAa,CAC3B,QAA2B,EAC3B,QAAgB,EAChB,IAAyC;IAEzC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEjC,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE;QAC5B,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,GAAG,QAAQ,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;KAC3D,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,qBAAqB,CACnC,QAA2B,EAC3B,OAAoB,EACpB,QAAgB,EAChB,KAAa,EACb,MAAc;IAEd,KAAK,MAAM,KAAK,IAAI,gBAAQ,EAAE,CAAC;QAC7B,IAAI,KAAK,KAAK,OAAO;YAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC;IACD,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAChD,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,SAAgB,2BAA2B,CACzC,QAA2B,EAC3B,QAAgB,EAChB,KAAa,EACb,MAAc;IAEd,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvD,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,SAAgB,kBAAkB,CAChC,QAA2B,EAC3B,QAAgB;IAEhB,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO,OAAO,CAAC;IAC/D,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,gBAAgB,CAC9B,QAA2B,EAC3B,QAAgB;IAEhB,MAAM,OAAO,GAAG,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEvD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7E,CAAC;AAED,SAAgB,cAAc,CAC5B,IAAoB,EACpB,SAAyB,EACzB,QAAgB,EAChB,KAAuB;IAEvB,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,QAAQ,CACnB,CAAC;IACF,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IAEpD,OAAO,CACL,gBAAgB,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC;QACzC,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC;QACpC,GAAG,CACJ,CAAC;AACJ,CAAC"}

package/dist/model/peer-propagation.d.ts

@@ -0,0 +1,2 @@
+import type { DependencyRule, ExpectedWorkspace, WorkspaceFacts } from './types';
+export declare function propagatePeers(expectedByLocation: Map<string, ExpectedWorkspace>, workspacesByName: Map<string, WorkspaceFacts>, workspaceNames: Set<string>, externalPeerMetadata: Map<string, Map<string, string> | null>, rules: DependencyRule[]): void;

package/dist/model/peer-propagation.js

@@ -0,0 +1,124 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.propagatePeers = propagatePeers;
+/**
+ * Peer propagation across dependency edges.
+ *
+ * This module applies peer requirements from local libraries and external
+ * packages to the current workspace. It consumes already collected peer
+ * metadata and does not inspect `node_modules` itself.
+ */
+const expected_1 = require("./expected");
+const rules_1 = require("./rules");
+function providePeer(expected, rootExpected, workspaceNames, rules, depIdent, range, provider) {
+    if (workspaceNames.has(depIdent))
+        return false;
+    if (expected.sections.dependencies.has(depIdent))
+        return false;
+    const beforeSection = (0, expected_1.getExpectedSection)(expected, depIdent);
+    const beforeRange = (0, expected_1.getExpectedRange)(expected, depIdent);
+    const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, expected.workspace.name, expected.workspace.location);
+    const resolvedRange = rule.version ?? range;
+    (0, expected_1.addRuleReason)(expected, depIdent, rule);
+    if (rule.rootOnly) {
+        (0, expected_1.setExpectedDependency)(rootExpected, 'devDependencies', depIdent, resolvedRange, {
+            kind: 'root-only',
+            detail: `${depIdent} is required by ${provider} but marked rootOnly`,
+        });
+        (0, expected_1.addReason)(expected, depIdent, {
+            kind: 'root-only',
+            detail: `${depIdent} is required by ${provider} but marked rootOnly`,
+        });
+        return false;
+    }
+    if (expected.workspace.role === 'library' &&
+        rule.section !== 'dependencies') {
+        (0, expected_1.setExpectedDependency)(expected, 'peerDependencies', depIdent, resolvedRange, {
+            kind: 'peer-propagation',
+            detail: `${depIdent} is required peer of ${provider}`,
+        });
+        (0, expected_1.addExpectedMirrorDependency)(expected, depIdent, resolvedRange, {
+            kind: 'mirror',
+            detail: `${depIdent} mirrors propagated peer`,
+        });
+    }
+    else {
+        (0, expected_1.setExpectedDependency)(expected, 'dependencies', depIdent, resolvedRange, {
+            kind: 'peer-propagation',
+            detail: `${depIdent} is required peer of ${provider}`,
+        });
+    }
+    return (beforeSection !== (0, expected_1.getExpectedSection)(expected, depIdent) ||
+        beforeRange !== (0, expected_1.getExpectedRange)(expected, depIdent));
+}
+function propagatePeers(expectedByLocation, workspacesByName, workspaceNames, externalPeerMetadata, rules) {
+    const rootExpected = expectedByLocation.get('.');
+    let changed = true;
+    let passes = 0;
+    while (changed && passes < 10) {
+        changed = false;
+        passes++;
+        for (const expected of expectedByLocation.values()) {
+            const workspace = expected.workspace;
+            const providerDeps = new Map();
+            for (const [depIdent, range] of expected.sections.dependencies) {
+                providerDeps.set(depIdent, range);
+            }
+            for (const [depIdent, range] of expected.sections.peerDependencies) {
+                providerDeps.set(depIdent, range);
+            }
+            if (workspace.isRoot) {
+                for (const [depIdent, range] of expected.sections.devDependencies) {
+                    providerDeps.set(depIdent, range);
+                }
+            }
+            for (const [providerIdent] of providerDeps) {
+                if (workspaceNames.has(providerIdent)) {
+                    const provider = workspacesByName.get(providerIdent);
+                    if (!provider || provider.role !== 'library')
+                        continue;
+                    const providerExpected = expectedByLocation.get(provider.location);
+                    if (!providerExpected)
+                        continue;
+                    for (const [peerIdent, peerRange] of providerExpected.sections
+                        .peerDependencies) {
+                        if (provider.pkg.peerDependenciesMeta?.[peerIdent]?.optional) {
+                            continue;
+                        }
+                        if (workspaceNames.has(peerIdent))
+                            continue;
+                        if (workspace.isRoot) {
+                            (0, expected_1.setExpectedDependency)(rootExpected, 'devDependencies', peerIdent, peerRange, {
+                                kind: 'peer-propagation',
+                                detail: `${peerIdent} is required by ${providerIdent}`,
+                            });
+                        }
+                        else {
+                            changed =
+                                providePeer(expected, rootExpected, workspaceNames, rules, peerIdent, peerRange, providerIdent) || changed;
+                        }
+                    }
+                    continue;
+                }
+                const externalPeers = externalPeerMetadata.get(providerIdent) ?? null;
+                if (!externalPeers)
+                    continue;
+                for (const [peerIdent, peerRange] of externalPeers) {
+                    if (workspaceNames.has(peerIdent))
+                        continue;
+                    if (workspace.isRoot) {
+                        (0, expected_1.setExpectedDependency)(rootExpected, 'devDependencies', peerIdent, peerRange, {
+                            kind: 'peer-propagation',
+                            detail: `${peerIdent} is required by ${providerIdent}`,
+                        });
+                    }
+                    else {
+                        changed =
+                            providePeer(expected, rootExpected, workspaceNames, rules, peerIdent, peerRange, providerIdent) || changed;
+                    }
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=peer-propagation.js.map

package/dist/model/peer-propagation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"peer-propagation.js","sourceRoot":"","sources":["../../src/model/peer-propagation.ts"],"names":[],"mappings":";;AA+FA,wCAuGC;AAtMD;;;;;;GAMG;AACH,yCAOoB;AACpB,mCAA2C;AAO3C,SAAS,WAAW,CAClB,QAA2B,EAC3B,YAA+B,EAC/B,cAA2B,EAC3B,KAAuB,EACvB,QAAgB,EAChB,KAAa,EACb,QAAgB;IAEhB,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/D,MAAM,aAAa,GAAG,IAAA,6BAAkB,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,QAAQ,CAAC,SAAS,CAAC,IAAI,EACvB,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAC5B,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC;IAE5C,IAAA,wBAAa,EAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAExC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,IAAA,gCAAqB,EACnB,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,aAAa,EACb;YACE,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,QAAQ,mBAAmB,QAAQ,sBAAsB;SACrE,CACF,CAAC;QACF,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE;YAC5B,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,QAAQ,mBAAmB,QAAQ,sBAAsB;SACrE,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;QACrC,IAAI,CAAC,OAAO,KAAK,cAAc,EAC/B,CAAC;QACD,IAAA,gCAAqB,EACnB,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,aAAa,EACb;YACE,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,GAAG,QAAQ,wBAAwB,QAAQ,EAAE;SACtD,CACF,CAAC;QACF,IAAA,sCAA2B,EAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE;YAC7D,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,GAAG,QAAQ,0BAA0B;SAC9C,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,IAAA,gCAAqB,EAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE;YACvE,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,GAAG,QAAQ,wBAAwB,QAAQ,EAAE;SACtD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CACL,aAAa,KAAK,IAAA,6BAAkB,EAAC,QAAQ,EAAE,QAAQ,CAAC;QACxD,WAAW,KAAK,IAAA,2BAAgB,EAAC,QAAQ,EAAE,QAAQ,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAgB,cAAc,CAC5B,kBAAkD,EAClD,gBAA6C,EAC7C,cAA2B,EAC3B,oBAA6D,EAC7D,KAAuB;IAEvB,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAClD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,OAAO,OAAO,IAAI,MAAM,GAAG,EAAE,EAAE,CAAC;QAC9B,OAAO,GAAG,KAAK,CAAC;QAChB,MAAM,EAAE,CAAC;QAET,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;YACrC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;YAE/C,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;gBAC/D,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;gBACnE,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;oBAClE,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YAED,KAAK,MAAM,CAAC,aAAa,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3C,IAAI,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;oBACtC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;oBACrD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;wBAAE,SAAS;oBACvD,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;oBACnE,IAAI,CAAC,gBAAgB;wBAAE,SAAS;oBAEhC,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,gBAAgB,CAAC,QAAQ;yBAC3D,gBAAgB,EAAE,CAAC;wBACpB,IAAI,QAAQ,CAAC,GAAG,CAAC,oBAAoB,EAAE,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;4BAC7D,SAAS;wBACX,CAAC;wBACD,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC;4BAAE,SAAS;wBAC5C,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;4BACrB,IAAA,gCAAqB,EACnB,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,SAAS,EACT;gCACE,IAAI,EAAE,kBAAkB;gCACxB,MAAM,EAAE,GAAG,SAAS,mBAAmB,aAAa,EAAE;6BACvD,CACF,CAAC;wBACJ,CAAC;6BAAM,CAAC;4BACN,OAAO;gCACL,WAAW,CACT,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,KAAK,EACL,SAAS,EACT,SAAS,EACT,aAAa,CACd,IAAI,OAAO,CAAC;wBACjB,CAAC;oBACH,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,aAAa,GAAG,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC;gBACtE,IAAI,CAAC,aAAa;oBAAE,SAAS;gBAE7B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,aAAa,EAAE,CAAC;oBACnD,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC;wBAAE,SAAS;oBAC5C,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;wBACrB,IAAA,gCAAqB,EACnB,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,SAAS,EACT;4BACE,IAAI,EAAE,kBAAkB;4BACxB,MAAM,EAAE,GAAG,SAAS,mBAAmB,aAAa,EAAE;yBACvD,CACF,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,OAAO;4BACL,WAAW,CACT,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,KAAK,EACL,SAAS,EACT,SAAS,EACT,aAAa,CACd,IAAI,OAAO,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/model/placement.d.ts

@@ -0,0 +1,9 @@
+import type { DependencyRule, ExpectedWorkspace, WorkspaceFacts } from './types';
+export declare function isExternal(depIdent: string, workspaceNames: Set<string>): boolean;
+export declare function seedRootDevDependencies(expectedByLocation: Map<string, ExpectedWorkspace>, workspaceNames: Set<string>, rules: DependencyRule[]): void;
+export declare function addUsageDependencies(expectedByLocation: Map<string, ExpectedWorkspace>, root: WorkspaceFacts, workspaceNames: Set<string>, rules: DependencyRule[], externalTypeMetadata: Map<string, {
+    hasBundledTypes: boolean;
+}>, typeProviderPackages: Set<string>): void;
+export declare function addRequiredRuleDependencies(expectedByLocation: Map<string, ExpectedWorkspace>, root: WorkspaceFacts, workspaceNames: Set<string>, rules: DependencyRule[]): void;
+export declare function rebuildLibraryMirrors(expectedByLocation: Map<string, ExpectedWorkspace>): void;
+export declare function resolveExpectedRangeAfterRulePass(root: WorkspaceFacts, expected: ExpectedWorkspace, workspaceNames: Set<string>, rules: DependencyRule[], depIdent: string, currentRange: string): string;