@rsdk/yarn.constraints 6.0.0-next.39 → 6.0.0-next.40

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;

package/dist/model/placement.js

@@ -0,0 +1,205 @@
+"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.setExpectedDependency)(rootExpected, 'devDependencies', depIdent, range, {
+            kind: 'root-only',
+            detail: `${depIdent} is marked rootOnly`,
+        });
+        (0, expected_1.addReason)(expected, depIdent, reason);
+        (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`,
+            });
+        }
+    }
+}
+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;AAwID,0DA0BC;AAED,oDAwFC;AAED,kEA2CC;AAED,sDAeC;AAED,8EAqBC;AAnXD;;;;;;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,UAAuC,EAAE;IAEzC,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,gCAAqB,EAAC,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,EAAE;YACtE,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,QAAQ,qBAAqB;SACzC,CAAC,CAAC;QACH,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtC,IAAA,oBAAS,EAAC,QAAQ,EAAE,QAAQ,EAAE;YAC5B,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,GAAG,QAAQ,6CAA6C,SAAS,CAAC,IAAI,EAAE;SACjF,CAAC,CAAC;QACH,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,CACF,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,14 @@
+/**
+ * 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 isWorkspaceRole(value: string | undefined): value is WorkspaceRole;

package/dist/model/rules.js

@@ -0,0 +1,46 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matchesGlob = matchesGlob;
+exports.matchesPatterns = matchesPatterns;
+exports.getEffectiveRule = getEffectiveRule;
+exports.hasGlobalVersionRule = hasGlobalVersionRule;
+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 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,0CAIC;AA9DD,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,eAAe,CAC7B,KAAyB;IAEzB,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,KAAK,CAAC;AACvE,CAAC"}