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

package/dist/model/placement.js

@@ -0,0 +1,210 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isExternal = isExternal;
+exports.seedRootDevDependencies = seedRootDevDependencies;
+exports.addUsageDependencies = addUsageDependencies;
+exports.addRequiredRuleDependencies = addRequiredRuleDependencies;
+exports.rebuildLibraryMirrors = rebuildLibraryMirrors;
+exports.resolveExpectedRangeAfterRulePass = resolveExpectedRangeAfterRulePass;
+/**
+ * Dependency placement rules.
+ *
+ * This module converts source and `.d.ts` usage facts into expected manifest
+ * sections. It is pure: it receives workspace facts, rules, type metadata, and
+ * local workspace names, then mutates only the in-memory expected graph.
+ */
+const expected_1 = require("./expected");
+const rules_1 = require("./rules");
+function isTestFile(file) {
+    return /(^|[/.])(__test__|__tests__|test|tests|spec|e2e)([/.]|$)|\.(spec|test|e2e)\.[cm]?[tj]sx?$/.test(file);
+}
+function isExternal(depIdent, workspaceNames) {
+    return !workspaceNames.has(depIdent);
+}
+function getDefinitelyTypedProvider(depIdent) {
+    if (depIdent.startsWith('@types/'))
+        return null;
+    if (depIdent.startsWith('@')) {
+        const [scope, name] = depIdent.slice(1).split('/');
+        if (!scope || !name)
+            return null;
+        return `@types/${scope}__${name}`;
+    }
+    return `@types/${depIdent}`;
+}
+function shouldAddDefinitelyTypedProvider(depIdent, externalTypeMetadata, typeProviderPackages) {
+    const provider = getDefinitelyTypedProvider(depIdent);
+    if (!provider || !typeProviderPackages.has(provider))
+        return null;
+    if (externalTypeMetadata.get(depIdent)?.hasBundledTypes)
+        return null;
+    return provider;
+}
+function getConcreteRuleMatches(rule) {
+    const matches = Array.isArray(rule.match) ? rule.match : [rule.match];
+    return matches.filter((match) => !match.includes('*'));
+}
+function addPublicDependency(expected, rootExpected, root, workspaceNames, rules, depIdent, reason, options = {}) {
+    const workspace = expected.workspace;
+    const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, workspace.name, workspace.location);
+    const isLocal = workspaceNames.has(depIdent);
+    const range = isLocal
+        ? 'workspace:*'
+        : (0, expected_1.getRangeSource)(root, workspace, depIdent, rules);
+    (0, expected_1.addRuleReason)(expected, depIdent, rule);
+    if (rule.rootOnly && !isLocal && !options.allowRootOnly) {
+        (0, expected_1.addRuleReason)(rootExpected, depIdent, rule);
+        (0, expected_1.setExpectedDependency)(rootExpected, 'devDependencies', depIdent, range, {
+            kind: options.rootOnlyRequired ? reason.kind : 'root-only',
+            detail: options.rootOnlyRequired
+                ? `${reason.detail} for ${workspace.name}; rootOnly keeps it in root devDependencies`
+                : `${depIdent} is marked rootOnly`,
+        });
+        (0, expected_1.addReason)(expected, depIdent, reason);
+        if (!options.rootOnlyRequired) {
+            (0, expected_1.addReason)(expected, depIdent, {
+                kind: 'root-only',
+                detail: `${depIdent} is marked rootOnly and cannot be used by ${workspace.name}`,
+            });
+        }
+        return;
+    }
+    if (isLocal) {
+        (0, expected_1.setExpectedDependency)(expected, 'dependencies', depIdent, 'workspace:*', {
+            kind: reason.kind,
+            detail: `${reason.detail}; local workspace edge`,
+        });
+        return;
+    }
+    if (workspace.role === 'library' &&
+        rule.section !== 'dependencies' &&
+        rule.section !== 'devDependencies') {
+        (0, expected_1.setExpectedDependency)(expected, 'peerDependencies', depIdent, range, reason);
+        (0, expected_1.addExpectedMirrorDependency)(expected, depIdent, range, {
+            kind: 'mirror',
+            detail: `${depIdent} mirrors peerDependencies in devDependencies`,
+        });
+        return;
+    }
+    (0, expected_1.setExpectedDependency)(expected, 'dependencies', depIdent, range, reason);
+}
+function addPrivateDependency(rootExpected, root, requester, workspaceNames, rules, depIdent, reason) {
+    const workspace = requester.workspace;
+    if (workspaceNames.has(depIdent))
+        return;
+    const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, workspace.name, workspace.location);
+    const range = (0, expected_1.getRangeSource)(root, workspace, depIdent, rules);
+    (0, expected_1.addRuleReason)(rootExpected, depIdent, rule);
+    (0, expected_1.addRuleReason)(requester, depIdent, rule);
+    if (rule.rootOnly) {
+        (0, expected_1.addReason)(requester, depIdent, {
+            kind: 'root-only',
+            detail: `${depIdent} is marked rootOnly and cannot be used by ${workspace.name}`,
+        });
+    }
+    (0, expected_1.setExpectedDependency)(rootExpected, 'devDependencies', depIdent, range, reason);
+}
+function seedRootDevDependencies(expectedByLocation, workspaceNames, rules) {
+    const rootExpected = expectedByLocation.get('.');
+    for (const [depIdent, declaredRange] of Object.entries(rootExpected.workspace.pkg.devDependencies ?? {})) {
+        const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, rootExpected.workspace.name, rootExpected.workspace.location);
+        const range = workspaceNames.has(depIdent)
+            ? 'workspace:*'
+            : (rule.version ?? declaredRange);
+        (0, expected_1.setExpectedDependency)(rootExpected, 'devDependencies', depIdent, range, {
+            kind: 'declared',
+            detail: `${depIdent} is declared in root devDependencies baseline`,
+        });
+        (0, expected_1.addRuleReason)(rootExpected, depIdent, rule);
+    }
+}
+function addUsageDependencies(expectedByLocation, root, workspaceNames, rules, externalTypeMetadata, typeProviderPackages) {
+    const rootExpected = expectedByLocation.get('.');
+    for (const expected of expectedByLocation.values()) {
+        const workspace = expected.workspace;
+        if (workspace.isRoot)
+            continue;
+        for (const [depIdent, usage] of workspace.sourceUsage) {
+            const publicType = workspace.dtsImports.has(depIdent);
+            const runtime = [...usage.runtimeFiles].some((file) => !isTestFile(file));
+            const allTestOnly = [...usage.files].every(isTestFile);
+            if (runtime || publicType) {
+                addPublicDependency(expected, rootExpected, root, workspaceNames, rules, depIdent, {
+                    kind: publicType ? 'source-public-type' : 'source-runtime',
+                    detail: publicType
+                        ? `${depIdent} appears in emitted .d.ts`
+                        : `${depIdent} is imported at runtime`,
+                });
+            }
+            else {
+                addPrivateDependency(rootExpected, root, expected, workspaceNames, rules, depIdent, {
+                    kind: 'source-private-dev',
+                    detail: allTestOnly
+                        ? `${depIdent} is only used by test files in ${workspace.name}`
+                        : `${depIdent} is only used as private type/tooling dependency in ${workspace.name}`,
+                });
+            }
+        }
+        for (const depIdent of workspace.dtsImports) {
+            addPublicDependency(expected, rootExpected, root, workspaceNames, rules, depIdent, {
+                kind: 'source-public-type',
+                detail: `${depIdent} appears in emitted .d.ts`,
+            });
+            const typeProvider = shouldAddDefinitelyTypedProvider(depIdent, externalTypeMetadata, typeProviderPackages);
+            if (!typeProvider)
+                continue;
+            addPublicDependency(expected, rootExpected, root, workspaceNames, rules, typeProvider, {
+                kind: 'dts-provider',
+                detail: `${typeProvider} provides public types for ${depIdent}`,
+            }, { allowRootOnly: true });
+        }
+    }
+}
+function addRequiredRuleDependencies(expectedByLocation, root, workspaceNames, rules) {
+    const rootExpected = expectedByLocation.get('.');
+    const candidates = new Set();
+    for (const rule of rules) {
+        if (rule.required === undefined)
+            continue;
+        for (const depIdent of getConcreteRuleMatches(rule)) {
+            candidates.add(depIdent);
+        }
+    }
+    for (const expected of expectedByLocation.values()) {
+        const workspace = expected.workspace;
+        if (workspace.isRoot)
+            continue;
+        for (const depIdent of candidates) {
+            const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, workspace.name, workspace.location);
+            if (!rule.required)
+                continue;
+            addPublicDependency(expected, rootExpected, root, workspaceNames, rules, depIdent, {
+                kind: 'required-rule',
+                detail: `${depIdent} is marked required by dependency rule`,
+            }, { rootOnlyRequired: rule.rootOnly });
+        }
+    }
+}
+function rebuildLibraryMirrors(expectedByLocation) {
+    for (const expected of expectedByLocation.values()) {
+        if (expected.workspace.role !== 'library')
+            continue;
+        expected.sections.devDependencies = new Map(expected.sections.peerDependencies);
+        for (const [depIdent] of expected.sections.devDependencies) {
+            (0, expected_1.addReason)(expected, depIdent, {
+                kind: 'mirror',
+                detail: `${depIdent} mirrors peerDependencies in devDependencies`,
+            });
+        }
+    }
+}
+function resolveExpectedRangeAfterRulePass(root, expected, workspaceNames, rules, depIdent, currentRange) {
+    const rule = (0, rules_1.getEffectiveRule)(rules, depIdent, expected.workspace.name, expected.workspace.location);
+    return workspaceNames.has(depIdent)
+        ? 'workspace:*'
+        : (rule.version ??
+            (0, expected_1.getDeclaredRange)(expected.workspace.pkg, depIdent) ??
+            (0, expected_1.getDeclaredRange)(root.pkg, depIdent) ??
+            currentRange);
+}
+//# sourceMappingURL=placement.js.map

package/dist/model/placement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"placement.js","sourceRoot":"","sources":["../../src/model/placement.ts"],"names":[],"mappings":";;AA6BA,gCAKC;AA6ID,0DA0BC;AAED,oDAwFC;AAED,kEA4CC;AAED,sDAeC;AAED,8EAqBC;AAzXD;;;;;;GAMG;AACH,yCAOoB;AACpB,mCAA2C;AAQ3C,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,2FAA2F,CAAC,IAAI,CACrG,IAAI,CACL,CAAC;AACJ,CAAC;AAED,SAAgB,UAAU,CACxB,QAAgB,EAChB,cAA2B;IAE3B,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,0BAA0B,CAAC,QAAgB;IAClD,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,UAAU,KAAK,KAAK,IAAI,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,UAAU,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,gCAAgC,CACvC,QAAgB,EAChB,oBAA+D,EAC/D,oBAAiC;IAEjC,MAAM,QAAQ,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,eAAe;QAAE,OAAO,IAAI,CAAC;IAErE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAoB;IAClD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEtE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAA2B,EAC3B,YAA+B,EAC/B,IAAoB,EACpB,cAA2B,EAC3B,KAAuB,EACvB,QAAgB,EAChB,MAAc,EACd,UAAmE,EAAE;IAErE,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IACrC,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,QAAQ,CACnB,CAAC;IACF,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,OAAO;QACnB,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,IAAA,yBAAc,EAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAErD,IAAA,wBAAa,EAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAExC,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;QACxD,IAAA,wBAAa,EAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,gCAAqB,EAAC,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,EAAE;YACtE,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW;YAC1D,MAAM,EAAE,OAAO,CAAC,gBAAgB;gBAC9B,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,QAAQ,SAAS,CAAC,IAAI,6CAA6C;gBACrF,CAAC,CAAC,GAAG,QAAQ,qBAAqB;SACrC,CAAC,CAAC;QACH,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC9B,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE;gBAC5B,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,GAAG,QAAQ,6CAA6C,SAAS,CAAC,IAAI,EAAE;aACjF,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,IAAA,gCAAqB,EAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE;YACvE,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,wBAAwB;SACjD,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,SAAS;QAC5B,IAAI,CAAC,OAAO,KAAK,cAAc;QAC/B,IAAI,CAAC,OAAO,KAAK,iBAAiB,EAClC,CAAC;QACD,IAAA,gCAAqB,EACnB,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,KAAK,EACL,MAAM,CACP,CAAC;QACF,IAAA,sCAA2B,EAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;YACrD,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,GAAG,QAAQ,8CAA8C;SAClE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IAAA,gCAAqB,EAAC,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAC3B,YAA+B,EAC/B,IAAoB,EACpB,SAA4B,EAC5B,cAA2B,EAC3B,KAAuB,EACvB,QAAgB,EAChB,MAAc;IAEd,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;IACtC,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO;IACzC,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,QAAQ,CACnB,CAAC;IACF,MAAM,KAAK,GAAG,IAAA,yBAAc,EAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE/D,IAAA,wBAAa,EAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAA,wBAAa,EAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEzC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,IAAA,oBAAS,EAAC,SAAS,EAAE,QAAQ,EAAE;YAC7B,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,QAAQ,6CAA6C,SAAS,CAAC,IAAI,EAAE;SACjF,CAAC,CAAC;IACL,CAAC;IAED,IAAA,gCAAqB,EACnB,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,KAAK,EACL,MAAM,CACP,CAAC;AACJ,CAAC;AAED,SAAgB,uBAAuB,CACrC,kBAAkD,EAClD,cAA2B,EAC3B,KAAuB;IAEvB,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAElD,KAAK,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC,OAAO,CACpD,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CACjD,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,YAAY,CAAC,SAAS,CAAC,IAAI,EAC3B,YAAY,CAAC,SAAS,CAAC,QAAQ,CAChC,CAAC;QACF,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;YACxC,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,aAAa,CAAC,CAAC;QAEpC,IAAA,gCAAqB,EAAC,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,EAAE;YACtE,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,GAAG,QAAQ,+CAA+C;SACnE,CAAC,CAAC;QACH,IAAA,wBAAa,EAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAgB,oBAAoB,CAClC,kBAAkD,EAClD,IAAoB,EACpB,cAA2B,EAC3B,KAAuB,EACvB,oBAA+D,EAC/D,oBAAiC;IAEjC,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAElD,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;QACrC,IAAI,SAAS,CAAC,MAAM;YAAE,SAAS;QAE/B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1E,MAAM,WAAW,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAEvD,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;gBAC1B,mBAAmB,CACjB,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,cAAc,EACd,KAAK,EACL,QAAQ,EACR;oBACE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,gBAAgB;oBAC1D,MAAM,EAAE,UAAU;wBAChB,CAAC,CAAC,GAAG,QAAQ,2BAA2B;wBACxC,CAAC,CAAC,GAAG,QAAQ,yBAAyB;iBACzC,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,oBAAoB,CAClB,YAAY,EACZ,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,KAAK,EACL,QAAQ,EACR;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,MAAM,EAAE,WAAW;wBACjB,CAAC,CAAC,GAAG,QAAQ,kCAAkC,SAAS,CAAC,IAAI,EAAE;wBAC/D,CAAC,CAAC,GAAG,QAAQ,uDAAuD,SAAS,CAAC,IAAI,EAAE;iBACvF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC5C,mBAAmB,CACjB,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,cAAc,EACd,KAAK,EACL,QAAQ,EACR;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,GAAG,QAAQ,2BAA2B;aAC/C,CACF,CAAC;YAEF,MAAM,YAAY,GAAG,gCAAgC,CACnD,QAAQ,EACR,oBAAoB,EACpB,oBAAoB,CACrB,CAAC;YACF,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE5B,mBAAmB,CACjB,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,cAAc,EACd,KAAK,EACL,YAAY,EACZ;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,GAAG,YAAY,8BAA8B,QAAQ,EAAE;aAChE,EACD,EAAE,aAAa,EAAE,IAAI,EAAE,CACxB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,2BAA2B,CACzC,kBAAkD,EAClD,IAAoB,EACpB,cAA2B,EAC3B,KAAuB;IAEvB,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,SAAS;QAC1C,KAAK,MAAM,QAAQ,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;QACrC,IAAI,SAAS,CAAC,MAAM;YAAE,SAAS;QAE/B,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,QAAQ,CACnB,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAE7B,mBAAmB,CACjB,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,cAAc,EACd,KAAK,EACL,QAAQ,EACR;gBACE,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,GAAG,QAAQ,wCAAwC;aAC5D,EACD,EAAE,gBAAgB,EAAE,IAAI,CAAC,QAAQ,EAAE,CACpC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,qBAAqB,CACnC,kBAAkD;IAElD,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACpD,QAAQ,CAAC,QAAQ,CAAC,eAAe,GAAG,IAAI,GAAG,CACzC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CACnC,CAAC;QACF,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;YAC3D,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE;gBAC5B,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,GAAG,QAAQ,8CAA8C;aAClE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,iCAAiC,CAC/C,IAAoB,EACpB,QAA2B,EAC3B,cAA2B,EAC3B,KAAuB,EACvB,QAAgB,EAChB,YAAoB;IAEpB,MAAM,IAAI,GAAG,IAAA,wBAAgB,EAC3B,KAAK,EACL,QAAQ,EACR,QAAQ,CAAC,SAAS,CAAC,IAAI,EACvB,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAC5B,CAAC;IAEF,OAAO,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;QACjC,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO;YACb,IAAA,2BAAgB,EAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC;YAClD,IAAA,2BAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC;YACpC,YAAY,CAAC,CAAC;AACpB,CAAC"}

package/dist/model/rules.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Rule matching and precedence.
+ *
+ * Dependency rules are the explicit override surface for the model: versions,
+ * section overrides, root-only constraints, and workspace-specific exceptions.
+ * The helpers here are pure and apply the documented "last matching rule wins"
+ * semantics.
+ */
+import type { DependencyRule, EffectiveRule, WorkspaceRole } from './types';
+export declare function matchesGlob(value: string, pattern: string): boolean;
+export declare function matchesPatterns(value: string, pattern: string | string[]): boolean;
+export declare function getEffectiveRule(rules: DependencyRule[], depIdent: string, wsIdent: string, wsCwd: string): EffectiveRule;
+export declare function hasGlobalVersionRule(rules: DependencyRule[], depIdent: string): boolean;
+export declare function hasWorkspaceVersionRule(rules: DependencyRule[], depIdent: string): boolean;
+export declare function isWorkspaceRole(value: string | undefined): value is WorkspaceRole;

package/dist/model/rules.js

@@ -0,0 +1,52 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matchesGlob = matchesGlob;
+exports.matchesPatterns = matchesPatterns;
+exports.getEffectiveRule = getEffectiveRule;
+exports.hasGlobalVersionRule = hasGlobalVersionRule;
+exports.hasWorkspaceVersionRule = hasWorkspaceVersionRule;
+exports.isWorkspaceRole = isWorkspaceRole;
+function matchesGlob(value, pattern) {
+    if (!pattern.includes('*'))
+        return value === pattern;
+    const escaped = pattern.replaceAll(/[-[\]{}()+?.,\\^$|#\s]/g, String.raw `\$&`);
+    return new RegExp('^' + escaped.replaceAll('**', '.*').replaceAll('*', '[^/]*') + '$').test(value);
+}
+function matchesPatterns(value, pattern) {
+    const patterns = Array.isArray(pattern) ? pattern : [pattern];
+    return patterns.some((p) => matchesGlob(value, p));
+}
+function getEffectiveRule(rules, depIdent, wsIdent, wsCwd) {
+    const effective = { rootOnly: false };
+    for (const rule of rules) {
+        if (!matchesPatterns(depIdent, rule.match))
+            continue;
+        if (rule.workspace &&
+            !matchesPatterns(wsIdent, rule.workspace) &&
+            !matchesPatterns(wsCwd, rule.workspace))
+            continue;
+        if (rule.section)
+            effective.section = rule.section;
+        if (rule.version !== undefined)
+            effective.version = rule.version;
+        if (rule.rootOnly !== undefined)
+            effective.rootOnly = rule.rootOnly;
+        if (rule.required !== undefined)
+            effective.required = rule.required;
+    }
+    return effective;
+}
+function hasGlobalVersionRule(rules, depIdent) {
+    return rules.some((rule) => !rule.workspace &&
+        rule.version !== undefined &&
+        matchesPatterns(depIdent, rule.match));
+}
+function hasWorkspaceVersionRule(rules, depIdent) {
+    return rules.some((rule) => rule.workspace &&
+        rule.version !== undefined &&
+        matchesPatterns(depIdent, rule.match));
+}
+function isWorkspaceRole(value) {
+    return value === 'library' || value === 'service' || value === 'cli';
+}
+//# sourceMappingURL=rules.js.map

package/dist/model/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/model/rules.ts"],"names":[],"mappings":";;AAUA,kCAUC;AAED,0CAOC;AAED,4CAuBC;AAED,oDAUC;AAED,0DAUC;AAED,0CAIC;AA1ED,SAAgB,WAAW,CAAC,KAAa,EAAE,OAAe;IACxD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,KAAK,OAAO,CAAC;IACrD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAChC,yBAAyB,EACzB,MAAM,CAAC,GAAG,CAAA,KAAK,CAChB,CAAC;IAEF,OAAO,IAAI,MAAM,CACf,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,GAAG,CACpE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChB,CAAC;AAED,SAAgB,eAAe,CAC7B,KAAa,EACb,OAA0B;IAE1B,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAE9D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAgB,gBAAgB,CAC9B,KAAuB,EACvB,QAAgB,EAChB,OAAe,EACf,KAAa;IAEb,MAAM,SAAS,GAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAErD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACrD,IACE,IAAI,CAAC,SAAS;YACd,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;YACzC,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC;YAEvC,SAAS;QACX,IAAI,IAAI,CAAC,OAAO;YAAE,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QACnD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QACjE,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QACpE,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IACtE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,oBAAoB,CAClC,KAAuB,EACvB,QAAgB;IAEhB,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,SAAS;QACf,IAAI,CAAC,OAAO,KAAK,SAAS;QAC1B,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAgB,uBAAuB,CACrC,KAAuB,EACvB,QAAgB;IAEhB,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,SAAS;QACd,IAAI,CAAC,OAAO,KAAK,SAAS;QAC1B,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAC7B,KAAyB;IAEzB,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,KAAK,CAAC;AACvE,CAAC"}

package/dist/model/types.d.ts

@@ -0,0 +1,118 @@
+/**
+ * Shared dependency-model contracts.
+ *
+ * This module defines the data exchanged between collectors, the pure model
+ * engine, the manifest writer, and CLI reporting. It intentionally contains no
+ * filesystem or Yarn logic; callers should pass already collected facts.
+ */
+import type { PackageJson } from '../lib/package-json';
+export type SectionType = 'dependencies' | 'peerDependencies' | 'devDependencies';
+export type WorkspaceRole = 'library' | 'service' | 'cli';
+export interface DependencyRule {
+    match: string | string[];
+    workspace?: string | string[];
+    section?: SectionType;
+    version?: string;
+    rootOnly?: boolean;
+    required?: boolean;
+}
+export interface DependencyModelConfig {
+    version?: number;
+    rules?: DependencyRule[];
+    doctor?: DoctorConfig;
+}
+export interface DoctorConfig {
+    buildCmd?: string;
+    lintCmd?: string;
+    typecheckCmd?: string;
+}
+export interface DependencyModelOptions {
+    rootDir?: string;
+    constraintsPath?: string;
+    fix?: boolean;
+    withDts?: boolean;
+}
+export interface DependencyViolation {
+    code: 'root-private' | 'root-section' | 'role-missing' | 'role-invalid' | 'forbidden-section' | 'missing' | 'wrong-section' | 'wrong-range' | 'root-only' | 'root-only-usage' | 'unconstrained-version' | 'mirror' | 'stale' | 'dist-missing';
+    workspace: string;
+    workspaceLocation: string;
+    dependency?: string | undefined;
+    actualSection?: SectionType | undefined;
+    expectedSection?: SectionType | undefined;
+    actualRange?: string | undefined;
+    expectedRange?: string | undefined;
+    message: string;
+}
+export interface DependencyWarning {
+    code: 'bin-role-mismatch' | 'zero-external-dependencies';
+    workspace?: string | undefined;
+    workspaceLocation?: string | undefined;
+    dependency?: string | undefined;
+    message: string;
+}
+export interface UsageSummary {
+    files: Set<string>;
+    runtimeFiles: Set<string>;
+    typeOnlyFiles: Set<string>;
+}
+export interface WorkspaceFacts {
+    name: string;
+    location: string;
+    pkg: PackageJson;
+    role: WorkspaceRole | undefined;
+    isRoot: boolean;
+    sourceUsage: Map<string, UsageSummary>;
+    dtsImports: Set<string>;
+    hasSrc: boolean;
+    hasDist: boolean;
+    sourceFileCount?: number;
+}
+export interface WorkspaceContext extends WorkspaceFacts {
+    dir: string;
+}
+export interface DependencyModelFacts {
+    workspaces: WorkspaceFacts[];
+    externalPeerMetadata: Map<string, Map<string, string> | null>;
+    externalTypeMetadata?: Map<string, {
+        hasBundledTypes: boolean;
+    }>;
+    typeProviderPackages?: Set<string>;
+    rules: DependencyRule[];
+    withDts?: boolean;
+}
+export interface DependencyModelOutput {
+    violations: DependencyViolation[];
+    warnings: DependencyWarning[];
+    expected: Map<string, ExpectedWorkspace>;
+}
+export interface DependencyModelResult {
+    rootDir: string;
+    violations: DependencyViolation[];
+    warnings: DependencyWarning[];
+    contexts: WorkspaceContext[];
+    expected: Map<string, ExpectedWorkspace>;
+    config: DependencyModelConfig;
+}
+export interface Reason {
+    kind: 'declared' | 'source-runtime' | 'source-public-type' | 'source-private-dev' | 'rule' | 'root-only' | 'dts-provider' | 'peer-propagation' | 'mirror' | 'version' | 'required-rule';
+    detail: string;
+}
+export interface ExpectedWorkspace {
+    workspace: WorkspaceFacts;
+    sections: Record<SectionType, Map<string, string>>;
+    reasons: Map<string, Reason[]>;
+}
+export interface EffectiveRule {
+    section?: SectionType;
+    version?: string;
+    rootOnly: boolean;
+    required?: boolean;
+}
+export interface PackageExtension {
+    dependencies?: Record<string, string>;
+    peerDependencies?: Record<string, string>;
+    peerDependenciesMeta?: Record<string, {
+        optional?: boolean;
+    }>;
+}
+export declare const SECTIONS: SectionType[];

package/dist/model/types.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SECTIONS = void 0;
+exports.SECTIONS = [
+    'dependencies',
+    'peerDependencies',
+    'devDependencies',
+];
+//# sourceMappingURL=types.js.map

package/dist/model/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/model/types.ts"],"names":[],"mappings":";;;AAgKa,QAAA,QAAQ,GAAkB;IACrC,cAAc;IACd,kBAAkB;IAClB,iBAAiB;CAClB,CAAC"}

package/dist/model/versions.d.ts

@@ -0,0 +1,3 @@
+import type { DependencyRule, DependencyViolation, ExpectedWorkspace, WorkspaceFacts } from './types';
+export declare function applyVersionRules(expectedByLocation: Map<string, ExpectedWorkspace>, root: WorkspaceFacts, workspaceNames: Set<string>, rules: DependencyRule[]): void;
+export declare function collectUnconstrainedVersionViolations(workspaces: WorkspaceFacts[], expectedByLocation: Map<string, ExpectedWorkspace>, rules: DependencyRule[]): DependencyViolation[];

package/dist/model/versions.js

@@ -0,0 +1,77 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.applyVersionRules = applyVersionRules;
+exports.collectUnconstrainedVersionViolations = collectUnconstrainedVersionViolations;
+/**
+ * Version normalization and version-rule diagnostics.
+ *
+ * The placement engine decides where dependencies belong. This module applies
+ * version rules after placement and checks the invariant that repeated external
+ * dependencies have a global version rule.
+ */
+const expected_1 = require("./expected");
+const placement_1 = require("./placement");
+const rules_1 = require("./rules");
+const types_1 = require("./types");
+function applyVersionRules(expectedByLocation, root, workspaceNames, rules) {
+    for (const expected of expectedByLocation.values()) {
+        for (const section of types_1.SECTIONS) {
+            for (const [depIdent, range] of expected.sections[section]) {
+                const nextRange = (0, placement_1.resolveExpectedRangeAfterRulePass)(root, expected, workspaceNames, rules, depIdent, range);
+                if (nextRange !== range) {
+                    expected.sections[section].set(depIdent, nextRange);
+                    (0, expected_1.addReason)(expected, depIdent, {
+                        kind: 'version',
+                        detail: `${depIdent} range resolved to ${nextRange}`,
+                    });
+                }
+            }
+        }
+    }
+}
+function collectUnconstrainedVersionViolations(workspaces, expectedByLocation, rules) {
+    const workspaceNames = new Set(workspaces.filter((ws) => !ws.isRoot).map((ws) => ws.name));
+    const occurrences = new Map();
+    const ranges = new Map();
+    const addOccurrence = (workspace, section, depIdent, range) => {
+        if (!(0, placement_1.isExternal)(depIdent, workspaceNames) || range.startsWith('workspace:'))
+            return;
+        if (!occurrences.has(depIdent))
+            occurrences.set(depIdent, new Set());
+        if (!ranges.has(depIdent))
+            ranges.set(depIdent, new Set());
+        occurrences.get(depIdent).add(`${workspace.location}:${section}`);
+        ranges.get(depIdent).add(range);
+    };
+    for (const workspace of workspaces) {
+        for (const section of types_1.SECTIONS) {
+            for (const [depIdent, range] of Object.entries(workspace.pkg[section] ?? {})) {
+                addOccurrence(workspace, section, depIdent, range);
+            }
+        }
+    }
+    for (const expected of expectedByLocation.values()) {
+        for (const section of types_1.SECTIONS) {
+            for (const [depIdent, range] of expected.sections[section]) {
+                addOccurrence(expected.workspace, section, depIdent, range);
+            }
+        }
+    }
+    return [...occurrences.entries()]
+        .filter(([depIdent, byOccurrence]) => byOccurrence.size > 1 && !(0, rules_1.hasGlobalVersionRule)(rules, depIdent))
+        .map(([depIdent, byOccurrence]) => {
+        const rangeList = [...(ranges.get(depIdent) ?? [])].join(', ');
+        const occurrencesList = [...byOccurrence].sort().join(', ');
+        const workspaceRuleHint = (0, rules_1.hasWorkspaceVersionRule)(rules, depIdent)
+            ? '; workspace-scoped version rules do not satisfy V1'
+            : '';
+        return {
+            code: 'unconstrained-version',
+            workspace: '<root>',
+            workspaceLocation: '.',
+            dependency: depIdent,
+            message: `${depIdent} appears ${byOccurrence.size} times without a global version rule (${rangeList}); occurrences: ${occurrencesList}${workspaceRuleHint}`,
+        };
+    });
+}
+//# sourceMappingURL=versions.js.map

package/dist/model/versions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versions.js","sourceRoot":"","sources":["../../src/model/versions.ts"],"names":[],"mappings":";;AAmBA,8CA4BC;AAED,sFAgEC;AAjHD;;;;;;GAMG;AACH,yCAAuC;AACvC,2CAA4E;AAC5E,mCAAwE;AAQxE,mCAAmC;AAEnC,SAAgB,iBAAiB,CAC/B,kBAAkD,EAClD,IAAoB,EACpB,cAA2B,EAC3B,KAAuB;IAEvB,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3D,MAAM,SAAS,GAAG,IAAA,6CAAiC,EACjD,IAAI,EACJ,QAAQ,EACR,cAAc,EACd,KAAK,EACL,QAAQ,EACR,KAAK,CACN,CAAC;gBAEF,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;oBACxB,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;oBACpD,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE;wBAC5B,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,GAAG,QAAQ,sBAAsB,SAAS,EAAE;qBACrD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,qCAAqC,CACnD,UAA4B,EAC5B,kBAAkD,EAClD,KAAuB;IAEvB,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,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE9C,MAAM,aAAa,GAAG,CACpB,SAAyB,EACzB,OAAoB,EACpB,QAAgB,EAChB,KAAa,EACP,EAAE;QACR,IAAI,CAAC,IAAA,sBAAU,EAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC;YACzE,OAAO;QACT,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3D,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAC5C,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAC7B,EAAE,CAAC;gBACF,aAAa,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;QACnD,KAAK,MAAM,OAAO,IAAI,gBAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3D,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;SAC9B,MAAM,CACL,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,EAAE,CAC3B,YAAY,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAA,4BAAoB,EAAC,KAAK,EAAE,QAAQ,CAAC,CAClE;SACA,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,EAAE;QAChC,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,eAAe,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,iBAAiB,GAAG,IAAA,+BAAuB,EAAC,KAAK,EAAE,QAAQ,CAAC;YAChE,CAAC,CAAC,oDAAoD;YACtD,CAAC,CAAC,EAAE,CAAC;QAEP,OAAO;YACL,IAAI,EAAE,uBAAgC;YACtC,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,GAAG;YACtB,UAAU,EAAE,QAAQ;YACpB,OAAO,EACL,GAAG,QAAQ,YAAY,YAAY,CAAC,IAAI,yCAAyC,SAAS,mBAAmB,eAAe,GAAG,iBAAiB,EAAE;SACrJ,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/reporting.d.ts

@@ -0,0 +1,3 @@
+import type { DependencyModelResult } from './model/types';
+export declare function formatDependencyModelResult(result: DependencyModelResult): string;
+export declare function explainDependency(result: DependencyModelResult, workspaceSelector: string, depIdent: string): string;

package/dist/reporting.js

@@ -0,0 +1,80 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.formatDependencyModelResult = formatDependencyModelResult;
+exports.explainDependency = explainDependency;
+/**
+ * CLI-oriented dependency model reporting.
+ *
+ * The engine returns structured diagnostics and reason trails. This module
+ * turns them into stable human-readable text for `check`, `fix`, and `explain`.
+ */
+const expected_1 = require("./model/expected");
+const ansi_1 = require("./ansi");
+function formatDependencyModelResult(result) {
+    const lines = [];
+    for (const violation of result.violations) {
+        const dep = violation.dependency ? ` ${violation.dependency}` : '';
+        const location = violation.workspaceLocation === '.'
+            ? ''
+            : ` (${violation.workspaceLocation})`;
+        lines.push(`${ansi_1.ansi.red('✖')} ${ansi_1.ansi.bold(violation.workspace)}${ansi_1.ansi.dim(location)}${ansi_1.ansi.red(dep)}: ${violation.message}`);
+    }
+    for (const warning of result.warnings) {
+        const workspace = warning.workspace ? `${warning.workspace}: ` : '';
+        lines.push(`${ansi_1.ansi.yellow('⚠')} ${ansi_1.ansi.bold(workspace)}${warning.message}`);
+    }
+    if (result.violations.length === 0) {
+        lines.push(`${ansi_1.ansi.green('✓')} ${ansi_1.ansi.bold('dependency model is consistent')}`);
+    }
+    else {
+        lines.push(`${ansi_1.ansi.red('✖')} ${ansi_1.ansi.bold(`${result.violations.length} dependency model violation(s)`)}`);
+    }
+    if (result.warnings.length > 0) {
+        lines.push(`${ansi_1.ansi.yellow('⚠')} ${ansi_1.ansi.bold(`${result.warnings.length} warning(s)`)}`);
+    }
+    return lines.join('\n');
+}
+function explainDependency(result, workspaceSelector, depIdent) {
+    const workspace = result.contexts.find((ctx) => ctx.name === workspaceSelector ||
+        ctx.location === workspaceSelector ||
+        (workspaceSelector === '<root>' && ctx.isRoot));
+    if (!workspace) {
+        return `Workspace not found: ${workspaceSelector}`;
+    }
+    const expected = result.expected.get(workspace.location);
+    if (!expected) {
+        return `No dependency model data for workspace: ${workspaceSelector}`;
+    }
+    const actualSection = (0, expected_1.getDeclaredSection)(workspace.pkg, depIdent);
+    const actualRange = (0, expected_1.getDeclaredRange)(workspace.pkg, depIdent);
+    const expectedSection = (0, expected_1.getExpectedSection)(expected, depIdent);
+    const expectedRange = (0, expected_1.getExpectedRange)(expected, depIdent);
+    const reasons = expected.reasons.get(depIdent) ?? [];
+    const lines = [
+        `${ansi_1.ansi.bold(workspace.name)} ${ansi_1.ansi.dim(`(${workspace.location})`)}`,
+        ansi_1.ansi.cyan(depIdent),
+        `${ansi_1.ansi.bold('actual:')} ${actualSection ? `${ansi_1.ansi.yellow(actualSection)}@${actualRange}` : ansi_1.ansi.dim('not declared')}`,
+        `${ansi_1.ansi.bold('expected:')} ${expectedSection ? `${ansi_1.ansi.green(expectedSection)}@${expectedRange}` : ansi_1.ansi.dim('not required')}`,
+    ];
+    if (actualSection && !expectedSection) {
+        lines.push(`${ansi_1.ansi.bold('status:')} ${ansi_1.ansi.yellow('actual dependency is stale in the derived model')}`);
+    }
+    if (reasons.length > 0) {
+        lines.push(ansi_1.ansi.bold('reasons:'));
+        for (const reason of reasons) {
+            lines.push(`  - ${ansi_1.ansi.magenta(reason.kind)}: ${reason.detail}`);
+        }
+    }
+    const usage = workspace.sourceUsage.get(depIdent);
+    if (usage) {
+        lines.push(ansi_1.ansi.bold('source imports:'));
+        for (const file of [...usage.files].sort()) {
+            lines.push(`  - ${ansi_1.ansi.dim(file)}`);
+        }
+    }
+    if (workspace.dtsImports.has(depIdent)) {
+        lines.push(`${ansi_1.ansi.bold('public type surface:')} ${ansi_1.ansi.green('appears in dist/**/*.d.ts')}`);
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=reporting.js.map

package/dist/reporting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporting.js","sourceRoot":"","sources":["../src/reporting.ts"],"names":[],"mappings":";;AAeA,kEAsCC;AAED,8CA6DC;AApHD;;;;;GAKG;AACH,+CAK0B;AAE1B,iCAA8B;AAE9B,SAAgB,2BAA2B,CACzC,MAA6B;IAE7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,MAAM,QAAQ,GACZ,SAAS,CAAC,iBAAiB,KAAK,GAAG;YACjC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,KAAK,SAAS,CAAC,iBAAiB,GAAG,CAAC;QAE1C,KAAK,CAAC,IAAI,CACR,GAAG,WAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,WAAI,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,WAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,WAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,OAAO,EAAE,CAChH,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAEpE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,WAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,GAAG,WAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,WAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,GAAG,WAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,WAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,gCAAgC,CAAC,EAAE,CAC7F,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CACR,GAAG,WAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,WAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,aAAa,CAAC,EAAE,CAC3E,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAgB,iBAAiB,CAC/B,MAA6B,EAC7B,iBAAyB,EACzB,QAAgB;IAEhB,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CACpC,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,iBAAiB;QAC9B,GAAG,CAAC,QAAQ,KAAK,iBAAiB;QAClC,CAAC,iBAAiB,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,CACjD,CAAC;IAEF,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,wBAAwB,iBAAiB,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,2CAA2C,iBAAiB,EAAE,CAAC;IACxE,CAAC;IAED,MAAM,aAAa,GAAG,IAAA,6BAAkB,EAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,IAAA,2BAAgB,EAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,IAAA,6BAAkB,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACrD,MAAM,KAAK,GAAG;QACZ,GAAG,WAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,WAAI,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,GAAG,CAAC,EAAE;QACrE,WAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QACnB,GAAG,WAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,WAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE;QACtH,GAAG,WAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,WAAI,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,aAAa,EAAE,CAAC,CAAC,CAAC,WAAI,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE;KAC9H,CAAC;IAEF,IAAI,aAAa,IAAI,CAAC,eAAe,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,GAAG,WAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,WAAI,CAAC,MAAM,CAAC,iDAAiD,CAAC,EAAE,CAC5F,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,WAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAClC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,OAAO,WAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,WAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,OAAO,WAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CACR,GAAG,WAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,WAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAClF,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/runner.d.ts

@@ -0,0 +1,2 @@
+import type { DependencyModelOptions, DependencyModelResult } from './model/types';
+export declare function runDependencyModel(options?: DependencyModelOptions): DependencyModelResult;