@faicad/faijs 0.13.0

package/dist/module-resolver/resolver.d.ts

@@ -0,0 +1,112 @@
+/**
+ * module-resolver — 运行时模块解析（channel ③，V5.2 / V5.4）
+ *
+ * 提供纯函数 `resolveImports(code, options)`：
+ * - acorn 解析每个顶层 import 声明（复用 faqts imports 的 span 定位）
+ * - 裸说明符 → 查找解析表（slices / imports / scopes）→ 重写为宿主可加载的绝对 URL
+ * - V5.4 大库切片（`pkg/sub`）：仅导出清单中的切片可被引用，未声明 → 抛错
+ * - 相对说明符 → 按 importer/baseURL 绝对化
+ * - `@faicad/faijs` 家族 → 零替换（宿主 importmap 解析，保证单例）
+ * - 未登记的裸说明符 → 抛错（roadmap §11 验收：不回退、不静默）
+ * - 版本范围 → 校验（roadmap §11 验收：版本不匹配必须抛错）
+ *
+ * 本模块不发起网络、不做递归依赖装配（宿主负责拓扑与 fetch/build）。
+ */
+/** Resolution value: a direct URL, or an object with URL plus an optional version for range validation. */
+export type ResolverValue = string | {
+    url: string;
+    version?: string;
+};
+/**
+ * Options for resolveImports: the resolution table, scopes, slices, and the
+ * importer/base context used to absolutize relative specifiers.
+ */
+export interface ResolveImportsOptions {
+    /** 顶层解析表：裸说明符 → URL / {url, version} */
+    imports: Record<string, ResolverValue>;
+    /**
+     * V5.2 多版本 scopes：键为导入方模块的 URL 前缀，值为局部解析表。
+     * 解析当前模块时按 importer 前缀匹配**最长** scope，优先于顶层 imports。
+     */
+    scopes?: Record<string, Record<string, ResolverValue>>;
+    /**
+     * V5.4 按需加载：大库存量切片声明。
+     *
+     * 键为"包名"，值为该库的切片表：只开放被列出的子路径（`pkg/sliceName`）
+     * 给模块图引用；每个切片解析为独立 URL（宿主只 fetch 被引用的切片）。
+     * 引用未声明的 `pkg/x` → 抛 UnresolvedImportError（不回退、不静默，
+     * 与 V5.2 未登记裸说明符的语义一致）。
+     *
+     * `base` 是切片文件所在目录的绝对 URL；`version` 用于切片范围校验。
+     */
+    slices?: Record<string, {
+        base: string;
+        version?: string;
+        exports: Record<string, string>;
+    }>;
+    /** 当前模块 URL（可选）：用于 relative 绝对化与 scope 匹配 */
+    importer?: string | URL;
+    /** base URL（可选）；缺省时相对 `importer` 的目录 */
+    baseURL?: string | URL;
+    /** 保留前缀，默认 `@faicad/faijs` 家族零替换 */
+    reservedPrefixes?: string[];
+}
+/**
+ * Result of resolveImports: the rewritten module source plus the mapping of
+ * every rewritten import specifier to its absolute URL.
+ */
+export interface ResolveResult {
+    /** 重写后的模块源码 */
+    code: string;
+    /** 每个被重写的 import 的映射：原 specifier → 绝对 URL */
+    resolved: Record<string, string>;
+}
+/**
+ * Base error for module-resolution failures.
+ */
+export declare class ModuleResolverError extends Error {
+}
+/**
+ * Thrown for a bare specifier that is not registered in the resolution table
+ * (roadmap acceptance: never fall back, never stay silent).
+ */
+export declare class UnresolvedImportError extends ModuleResolverError {
+    /** The unresolvable bare module specifier. */
+    readonly specifier: string;
+    constructor(specifier: string, importerHint?: string);
+}
+/**
+ * Thrown when an import's version range is not satisfied (roadmap
+ * acceptance: a version mismatch must throw).
+ */
+export declare class ImportVersionError extends ModuleResolverError {
+    /** The specifier whose version range was not satisfied. */
+    readonly specifier: string;
+    constructor(specifier: string, version: string, range: string);
+}
+/**
+ * Split a bare specifier that may embed a version range:
+ * `mech@^1.2` / `@scope/gear@~2.0`.
+ * @param spec - the bare module specifier, possibly with an embedded range.
+ * @returns the package name and the optional version range.
+ */
+export declare function splitVersionRange(spec: string): {
+    name: string;
+    range?: string;
+};
+/**
+ * Pure function: resolve and rewrite the import specifiers in module code.
+ *
+ * Priority order:
+ * 1. Reserved prefixes (@faicad/faijs family) → untouched (host importmap)
+ * 2. Library slices (`pkg/sub` in `slices`) → slice URL (V5.4 on-demand)
+ * 3. Scope tables (longest-prefix match) override top-level imports
+ * 4. Relative specifiers with a base → absolutized; otherwise kept as-is
+ * 5. Top-level table entry → absolute URL (with version-range validation)
+ * 6. Unregistered bare specifiers → UnresolvedImportError
+ * @param code - the module source code to rewrite.
+ * @param options - resolution tables, scopes, slices and importer/base context.
+ * @returns the rewritten code and the specifier→URL mapping.
+ */
+export declare function resolveImports(code: string, options: ResolveImportsOptions): ResolveResult;
+//# sourceMappingURL=resolver.d.ts.map

package/dist/module-resolver/resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["../../src/module-resolver/resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,2GAA2G;AAC3G,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEtE;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,wCAAwC;IACxC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;IACtC;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAA;IACtD;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC,CAAA;IAC5F,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,MAAM,GAAG,GAAG,CAAA;IACvB,wCAAwC;IACxC,OAAO,CAAC,EAAE,MAAM,GAAG,GAAG,CAAA;IACtB,oCAAoC;IACpC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAA;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,eAAe;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CACjC;AAED;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,mBAAmB;IAC5D,8CAA8C;IAC9C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;gBACd,SAAS,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,MAAM;CASrD;AAED;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,mBAAmB;IACzD,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;gBACd,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAQ9D;AAyBD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAIhF;AAiGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,GAAG,aAAa,CA2C1F"}

package/dist/module-resolver/resolver.js

@@ -0,0 +1,226 @@
+/**
+ * module-resolver — 运行时模块解析（channel ③，V5.2 / V5.4）
+ *
+ * 提供纯函数 `resolveImports(code, options)`：
+ * - acorn 解析每个顶层 import 声明（复用 faqts imports 的 span 定位）
+ * - 裸说明符 → 查找解析表（slices / imports / scopes）→ 重写为宿主可加载的绝对 URL
+ * - V5.4 大库切片（`pkg/sub`）：仅导出清单中的切片可被引用，未声明 → 抛错
+ * - 相对说明符 → 按 importer/baseURL 绝对化
+ * - `@faicad/faijs` 家族 → 零替换（宿主 importmap 解析，保证单例）
+ * - 未登记的裸说明符 → 抛错（roadmap §11 验收：不回退、不静默）
+ * - 版本范围 → 校验（roadmap §11 验收：版本不匹配必须抛错）
+ *
+ * 本模块不发起网络、不做递归依赖装配（宿主负责拓扑与 fetch/build）。
+ */
+import { findImports } from '../faqts/imports.js';
+import { assertSatisfies } from './version.js';
+/**
+ * Base error for module-resolution failures.
+ */
+export class ModuleResolverError extends Error {
+}
+/**
+ * Thrown for a bare specifier that is not registered in the resolution table
+ * (roadmap acceptance: never fall back, never stay silent).
+ */
+export class UnresolvedImportError extends ModuleResolverError {
+    /** The unresolvable bare module specifier. */
+    specifier;
+    constructor(specifier, importerHint) {
+        super(`[module-resolver] unresolvable bare module specifier "${specifier}"` +
+            (importerHint ? ` (imported by ${importerHint})` : '') +
+            ' — not registered in the resolution table');
+        this.name = 'UnresolvedImportError';
+        this.specifier = specifier;
+    }
+}
+/**
+ * Thrown when an import's version range is not satisfied (roadmap
+ * acceptance: a version mismatch must throw).
+ */
+export class ImportVersionError extends ModuleResolverError {
+    /** The specifier whose version range was not satisfied. */
+    specifier;
+    constructor(specifier, version, range) {
+        super(`[module-resolver] import "${specifier}" requires range "${range}" ` +
+            `but registry entry resolves to version "${version}"`);
+        this.name = 'ImportVersionError';
+        this.specifier = specifier;
+    }
+}
+const DEFAULT_RESERVED = ['@faicad/faijs', '@faicad/faq', '@faicad/faq/sdk', '@fc/fq/'];
+function isReserved(spec, prefixes) {
+    return prefixes.some((p) => spec === p || spec.startsWith(p + '/'));
+}
+function asString(u) {
+    return typeof u === 'string' ? u : u.href;
+}
+function resolverBase(opts) {
+    if (opts.baseURL)
+        return asString(opts.baseURL);
+    if (opts.importer) {
+        const imp = asString(opts.importer);
+        try {
+            return new URL('.', imp).href;
+        }
+        catch {
+            return imp;
+        }
+    }
+    return undefined;
+}
+/**
+ * Split a bare specifier that may embed a version range:
+ * `mech@^1.2` / `@scope/gear@~2.0`.
+ * @param spec - the bare module specifier, possibly with an embedded range.
+ * @returns the package name and the optional version range.
+ */
+export function splitVersionRange(spec) {
+    const at = spec.startsWith('@') ? spec.indexOf('@', 1) : spec.indexOf('@');
+    if (at === -1 || at === spec.length - 1)
+        return { name: spec };
+    return { name: spec.slice(0, at), range: spec.slice(at + 1) };
+}
+/** 选最长匹配的 scope 表（V5.2 多版本）。 */
+function pickScope(opts) {
+    if (!opts.scopes || !opts.importer)
+        return undefined;
+    const imp = asString(opts.importer);
+    let best;
+    let bestLen = -1;
+    for (const [prefix, table] of Object.entries(opts.scopes)) {
+        if (imp.startsWith(prefix) && prefix.length > bestLen) {
+            best = table;
+            bestLen = prefix.length;
+        }
+    }
+    return best;
+}
+/**
+ * V5.4 按需加载：大库切片声明解析。
+ *
+ * 大库（如标准件库）的公开导入面只有 `pkg` 前缀；子路径必须显式声明为切片。
+ * 只 fetch 被引用的切片（宿主按需加载），未声明的 `pkg/x` → 抛错（不静默）。
+ * 与内置 op 的静态判定一致——不做运行时回退，只做解析期静态判定。
+ */
+function resolveSlice(name, range, options) {
+    const slices = options.slices;
+    if (!slices)
+        return undefined;
+    // 子路径形如 `pkg/sub`；选最长匹配的库前缀（与 scopes 同法）
+    let bestPkg;
+    let bestLen = -1;
+    for (const pkg of Object.keys(slices)) {
+        const prefix = pkg + '/';
+        if (name.startsWith(prefix) && prefix.length > bestLen) {
+            bestPkg = pkg;
+            bestLen = prefix.length;
+        }
+    }
+    if (bestPkg === undefined)
+        return undefined;
+    const entry = slices[bestPkg];
+    const sub = name.slice(bestLen);
+    const file = entry.exports[sub];
+    if (file === undefined) {
+        throw new ModuleResolverError(`[module-resolver] slice "${name}" is not an exported slice of library "${bestPkg}" ` +
+            '(V5.4 按需加载：仅导出清单中的切片可被引用，不回退、不静默)');
+    }
+    if (range !== undefined) {
+        // 与顶层 imports 同语义：范围校验失败抛 ImportVersionError
+        try {
+            assertSatisfies(entry.version ?? '(unknown)', range, name);
+        }
+        catch {
+            throw new ImportVersionError(name, entry.version ?? '(unknown)', range);
+        }
+    }
+    return new URL(file, entry.base).href;
+}
+/** 表内精确查找，或子路径键（`gear/` → `gear/sub`）。 */
+function lookupValue(pkgName, table) {
+    if (!table)
+        return undefined;
+    if (Object.prototype.hasOwnProperty.call(table, pkgName))
+        return table[pkgName];
+    for (const k of Object.keys(table)) {
+        if (k.endsWith('/') && pkgName.startsWith(k))
+            return table[k];
+    }
+    return undefined;
+}
+function resolveEntry(value, specifier, range) {
+    const url = typeof value === 'string' ? value : value.url;
+    if (range !== undefined) {
+        const version = typeof value === 'string' ? undefined : value.version;
+        if (version !== undefined) {
+            try {
+                assertSatisfies(version, range, specifier);
+            }
+            catch {
+                throw new ImportVersionError(specifier, version, range);
+            }
+        }
+        else {
+            throw new ImportVersionError(specifier, '(unknown)', range);
+        }
+    }
+    return url;
+}
+/**
+ * Pure function: resolve and rewrite the import specifiers in module code.
+ *
+ * Priority order:
+ * 1. Reserved prefixes (@faicad/faijs family) → untouched (host importmap)
+ * 2. Library slices (`pkg/sub` in `slices`) → slice URL (V5.4 on-demand)
+ * 3. Scope tables (longest-prefix match) override top-level imports
+ * 4. Relative specifiers with a base → absolutized; otherwise kept as-is
+ * 5. Top-level table entry → absolute URL (with version-range validation)
+ * 6. Unregistered bare specifiers → UnresolvedImportError
+ * @param code - the module source code to rewrite.
+ * @param options - resolution tables, scopes, slices and importer/base context.
+ * @returns the rewritten code and the specifier→URL mapping.
+ */
+export function resolveImports(code, options) {
+    const spans = findImports(code);
+    const reserved = options.reservedPrefixes === undefined ? DEFAULT_RESERVED : options.reservedPrefixes;
+    const scopeTable = pickScope(options);
+    const base = resolverBase(options);
+    let out = code;
+    const resolved = {};
+    // 从后往前，保证 span 位置在之前替换后不漂移
+    for (let i = spans.length - 1; i >= 0; i--) {
+        const span = spans[i];
+        const spec = span.specifier;
+        // 保留前缀：零替换
+        if (span.bare && isReserved(spec, reserved))
+            continue;
+        if (span.bare) {
+            const { name, range } = splitVersionRange(spec);
+            // V5.4 按需加载：大库切片（`pkg/sub`）优先于顶层 imports 命中
+            const sliceUrl = resolveSlice(name, range, options);
+            if (sliceUrl !== undefined) {
+                out = out.slice(0, span.start) + sliceUrl + out.slice(span.end);
+                resolved[spec] = sliceUrl;
+                continue;
+            }
+            const value = lookupValue(name, scopeTable) ?? lookupValue(name, options.imports);
+            if (value === undefined) {
+                throw new UnresolvedImportError(spec, options.importer !== undefined ? asString(options.importer) : undefined);
+            }
+            const url = resolveEntry(value, spec, range);
+            out = out.slice(0, span.start) + url + out.slice(span.end);
+            resolved[spec] = url;
+        }
+        else if (spec.startsWith('.') && base !== undefined) {
+            const url = new URL(spec, base).href;
+            if (url !== spec) {
+                out = out.slice(0, span.start) + url + out.slice(span.end);
+                resolved[spec] = url;
+            }
+        }
+        // 其余（绝对 URL）原样保留
+    }
+    return { code: out, resolved };
+}
+//# sourceMappingURL=resolver.js.map

package/dist/module-resolver/resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.js","sourceRoot":"","sources":["../../src/module-resolver/resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AA+C3C;;GAEG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD;;;GAGG;AACH,MAAM,OAAO,qBAAsB,SAAQ,mBAAmB;IAC5D,8CAA8C;IACrC,SAAS,CAAQ;IAC1B,YAAY,SAAiB,EAAE,YAAqB;QAClD,KAAK,CACH,yDAAyD,SAAS,GAAG;YACnE,CAAC,YAAY,CAAC,CAAC,CAAC,iBAAiB,YAAY,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,2CAA2C,CAC9C,CAAA;QACD,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAA;QACnC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;IAC5B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,kBAAmB,SAAQ,mBAAmB;IACzD,2DAA2D;IAClD,SAAS,CAAQ;IAC1B,YAAY,SAAiB,EAAE,OAAe,EAAE,KAAa;QAC3D,KAAK,CACH,6BAA6B,SAAS,qBAAqB,KAAK,IAAI;YAClE,2CAA2C,OAAO,GAAG,CACxD,CAAA;QACD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAA;QAChC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;IAC5B,CAAC;CACF;AAED,MAAM,gBAAgB,GAAG,CAAC,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAA;AAEvF,SAAS,UAAU,CAAC,IAAY,EAAE,QAAkB;IAClD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;AACrE,CAAC;AAED,SAAS,QAAQ,CAAC,CAAe;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC3C,CAAC;AAED,SAAS,YAAY,CAAC,IAA2B;IAC/C,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC/C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACnC,IAAI,CAAC;YACH,OAAO,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,CAAA;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,CAAA;QACZ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAC1E,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAC9D,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAA;AAC/D,CAAC;AAED,gCAAgC;AAChC,SAAS,SAAS,CAAC,IAA2B;IAC5C,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACnC,IAAI,IAA+C,CAAA;IACnD,IAAI,OAAO,GAAG,CAAC,CAAC,CAAA;IAChB,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;YACtD,IAAI,GAAG,KAAK,CAAA;YACZ,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CACnB,IAAY,EACZ,KAAyB,EACzB,OAA8B;IAE9B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAA;IAC7B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC7B,yCAAyC;IACzC,IAAI,OAA2B,CAAA;IAC/B,IAAI,OAAO,GAAG,CAAC,CAAC,CAAA;IAChB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,GAAG,GAAG,GAAG,CAAA;QACxB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;YACvD,OAAO,GAAG,GAAG,CAAA;YACb,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;QACzB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAE3C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAC3B,4BAA4B,IAAI,0CAA0C,OAAO,IAAI;YACnF,mCAAmC,CACtC,CAAA;IACH,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,6CAA6C;QAC7C,IAAI,CAAC;YACH,eAAe,CAAC,KAAK,CAAC,OAAO,IAAI,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,IAAI,WAAW,EAAE,KAAK,CAAC,CAAA;QACzE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAA;AACvC,CAAC;AAED,0CAA0C;AAC1C,SAAS,WAAW,CAClB,OAAe,EACf,KAAgD;IAEhD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAA;IAC5B,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC,CAAA;IAC/E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,YAAY,CACnB,KAAoB,EACpB,SAAiB,EACjB,KAAyB;IAEzB,MAAM,GAAG,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAA;IACzD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAA;QACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;YAC5C,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;YACzD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,kBAAkB,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,CAAA;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAA8B;IACzE,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAA;IACrG,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IAClC,IAAI,GAAG,GAAG,IAAI,CAAA;IACd,MAAM,QAAQ,GAA2B,EAAE,CAAA;IAE3C,2BAA2B;IAC3B,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAA;QAE3B,WAAW;QACX,IAAI,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,SAAQ;QAErD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;YAC/C,4CAA4C;YAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;YACnD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAC/D,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAA;gBACzB,SAAQ;YACV,CAAC;YACD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;YACjF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAChH,CAAC;YACD,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;YAC5C,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC1D,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;QACtB,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAA;YACpC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBAC1D,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;YACtB,CAAC;QACH,CAAC;QACD,iBAAiB;IACnB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;AAChC,CAAC","sourcesContent":["/**\n * module-resolver — 运行时模块解析（channel ③，V5.2 / V5.4）\n *\n * 提供纯函数 `resolveImports(code, options)`：\n * - acorn 解析每个顶层 import 声明（复用 faqts imports 的 span 定位）\n * - 裸说明符 → 查找解析表（slices / imports / scopes）→ 重写为宿主可加载的绝对 URL\n * - V5.4 大库切片（`pkg/sub`）：仅导出清单中的切片可被引用，未声明 → 抛错\n * - 相对说明符 → 按 importer/baseURL 绝对化\n * - `@faicad/faijs` 家族 → 零替换（宿主 importmap 解析，保证单例）\n * - 未登记的裸说明符 → 抛错（roadmap §11 验收：不回退、不静默）\n * - 版本范围 → 校验（roadmap §11 验收：版本不匹配必须抛错）\n *\n * 本模块不发起网络、不做递归依赖装配（宿主负责拓扑与 fetch/build）。\n */\n\nimport { findImports } from '../faqts/imports'\nimport { assertSatisfies } from './version'\n\n/** Resolution value: a direct URL, or an object with URL plus an optional version for range validation. */\nexport type ResolverValue = string | { url: string; version?: string }\n\n/**\n * Options for resolveImports: the resolution table, scopes, slices, and the\n * importer/base context used to absolutize relative specifiers.\n */\nexport interface ResolveImportsOptions {\n  /** 顶层解析表：裸说明符 → URL / {url, version} */\n  imports: Record<string, ResolverValue>\n  /**\n   * V5.2 多版本 scopes：键为导入方模块的 URL 前缀，值为局部解析表。\n   * 解析当前模块时按 importer 前缀匹配**最长** scope，优先于顶层 imports。\n   */\n  scopes?: Record<string, Record<string, ResolverValue>>\n  /**\n   * V5.4 按需加载：大库存量切片声明。\n   *\n   * 键为\"包名\"，值为该库的切片表：只开放被列出的子路径（`pkg/sliceName`）\n   * 给模块图引用；每个切片解析为独立 URL（宿主只 fetch 被引用的切片）。\n   * 引用未声明的 `pkg/x` → 抛 UnresolvedImportError（不回退、不静默，\n   * 与 V5.2 未登记裸说明符的语义一致）。\n   *\n   * `base` 是切片文件所在目录的绝对 URL；`version` 用于切片范围校验。\n   */\n  slices?: Record<string, { base: string; version?: string; exports: Record<string, string> }>\n  /** 当前模块 URL（可选）：用于 relative 绝对化与 scope 匹配 */\n  importer?: string | URL\n  /** base URL（可选）；缺省时相对 `importer` 的目录 */\n  baseURL?: string | URL\n  /** 保留前缀，默认 `@faicad/faijs` 家族零替换 */\n  reservedPrefixes?: string[]\n}\n\n/**\n * Result of resolveImports: the rewritten module source plus the mapping of\n * every rewritten import specifier to its absolute URL.\n */\nexport interface ResolveResult {\n  /** 重写后的模块源码 */\n  code: string\n  /** 每个被重写的 import 的映射：原 specifier → 绝对 URL */\n  resolved: Record<string, string>\n}\n\n/**\n * Base error for module-resolution failures.\n */\nexport class ModuleResolverError extends Error {}\n\n/**\n * Thrown for a bare specifier that is not registered in the resolution table\n * (roadmap acceptance: never fall back, never stay silent).\n */\nexport class UnresolvedImportError extends ModuleResolverError {\n  /** The unresolvable bare module specifier. */\n  readonly specifier: string\n  constructor(specifier: string, importerHint?: string) {\n    super(\n      `[module-resolver] unresolvable bare module specifier \"${specifier}\"` +\n        (importerHint ? ` (imported by ${importerHint})` : '') +\n        ' — not registered in the resolution table',\n    )\n    this.name = 'UnresolvedImportError'\n    this.specifier = specifier\n  }\n}\n\n/**\n * Thrown when an import's version range is not satisfied (roadmap\n * acceptance: a version mismatch must throw).\n */\nexport class ImportVersionError extends ModuleResolverError {\n  /** The specifier whose version range was not satisfied. */\n  readonly specifier: string\n  constructor(specifier: string, version: string, range: string) {\n    super(\n      `[module-resolver] import \"${specifier}\" requires range \"${range}\" ` +\n        `but registry entry resolves to version \"${version}\"`,\n    )\n    this.name = 'ImportVersionError'\n    this.specifier = specifier\n  }\n}\n\nconst DEFAULT_RESERVED = ['@faicad/faijs', '@faicad/faq', '@faicad/faq/sdk', '@fc/fq/']\n\nfunction isReserved(spec: string, prefixes: string[]): boolean {\n  return prefixes.some((p) => spec === p || spec.startsWith(p + '/'))\n}\n\nfunction asString(u: string | URL): string {\n  return typeof u === 'string' ? u : u.href\n}\n\nfunction resolverBase(opts: ResolveImportsOptions): string | undefined {\n  if (opts.baseURL) return asString(opts.baseURL)\n  if (opts.importer) {\n    const imp = asString(opts.importer)\n    try {\n      return new URL('.', imp).href\n    } catch {\n      return imp\n    }\n  }\n  return undefined\n}\n\n/**\n * Split a bare specifier that may embed a version range:\n * `mech@^1.2` / `@scope/gear@~2.0`.\n * @param spec - the bare module specifier, possibly with an embedded range.\n * @returns the package name and the optional version range.\n */\nexport function splitVersionRange(spec: string): { name: string; range?: string } {\n  const at = spec.startsWith('@') ? spec.indexOf('@', 1) : spec.indexOf('@')\n  if (at === -1 || at === spec.length - 1) return { name: spec }\n  return { name: spec.slice(0, at), range: spec.slice(at + 1) }\n}\n\n/** 选最长匹配的 scope 表（V5.2 多版本）。 */\nfunction pickScope(opts: ResolveImportsOptions): Record<string, ResolverValue> | undefined {\n  if (!opts.scopes || !opts.importer) return undefined\n  const imp = asString(opts.importer)\n  let best: Record<string, ResolverValue> | undefined\n  let bestLen = -1\n  for (const [prefix, table] of Object.entries(opts.scopes)) {\n    if (imp.startsWith(prefix) && prefix.length > bestLen) {\n      best = table\n      bestLen = prefix.length\n    }\n  }\n  return best\n}\n\n/**\n * V5.4 按需加载：大库切片声明解析。\n *\n * 大库（如标准件库）的公开导入面只有 `pkg` 前缀；子路径必须显式声明为切片。\n * 只 fetch 被引用的切片（宿主按需加载），未声明的 `pkg/x` → 抛错（不静默）。\n * 与内置 op 的静态判定一致——不做运行时回退，只做解析期静态判定。\n */\nfunction resolveSlice(\n  name: string,\n  range: string | undefined,\n  options: ResolveImportsOptions,\n): string | undefined {\n  const slices = options.slices\n  if (!slices) return undefined\n  // 子路径形如 `pkg/sub`；选最长匹配的库前缀（与 scopes 同法）\n  let bestPkg: string | undefined\n  let bestLen = -1\n  for (const pkg of Object.keys(slices)) {\n    const prefix = pkg + '/'\n    if (name.startsWith(prefix) && prefix.length > bestLen) {\n      bestPkg = pkg\n      bestLen = prefix.length\n    }\n  }\n  if (bestPkg === undefined) return undefined\n\n  const entry = slices[bestPkg]\n  const sub = name.slice(bestLen)\n  const file = entry.exports[sub]\n  if (file === undefined) {\n    throw new ModuleResolverError(\n      `[module-resolver] slice \"${name}\" is not an exported slice of library \"${bestPkg}\" ` +\n        '(V5.4 按需加载：仅导出清单中的切片可被引用，不回退、不静默)',\n    )\n  }\n  if (range !== undefined) {\n    // 与顶层 imports 同语义：范围校验失败抛 ImportVersionError\n    try {\n      assertSatisfies(entry.version ?? '(unknown)', range, name)\n    } catch {\n      throw new ImportVersionError(name, entry.version ?? '(unknown)', range)\n    }\n  }\n  return new URL(file, entry.base).href\n}\n\n/** 表内精确查找，或子路径键（`gear/` → `gear/sub`）。 */\nfunction lookupValue(\n  pkgName: string,\n  table: Record<string, ResolverValue> | undefined,\n): ResolverValue | undefined {\n  if (!table) return undefined\n  if (Object.prototype.hasOwnProperty.call(table, pkgName)) return table[pkgName]\n  for (const k of Object.keys(table)) {\n    if (k.endsWith('/') && pkgName.startsWith(k)) return table[k]\n  }\n  return undefined\n}\n\nfunction resolveEntry(\n  value: ResolverValue,\n  specifier: string,\n  range: string | undefined,\n): string {\n  const url = typeof value === 'string' ? value : value.url\n  if (range !== undefined) {\n    const version = typeof value === 'string' ? undefined : value.version\n    if (version !== undefined) {\n      try {\n        assertSatisfies(version, range, specifier)\n      } catch {\n        throw new ImportVersionError(specifier, version, range)\n      }\n    } else {\n      throw new ImportVersionError(specifier, '(unknown)', range)\n    }\n  }\n  return url\n}\n\n/**\n * Pure function: resolve and rewrite the import specifiers in module code.\n *\n * Priority order:\n * 1. Reserved prefixes (@faicad/faijs family) → untouched (host importmap)\n * 2. Library slices (`pkg/sub` in `slices`) → slice URL (V5.4 on-demand)\n * 3. Scope tables (longest-prefix match) override top-level imports\n * 4. Relative specifiers with a base → absolutized; otherwise kept as-is\n * 5. Top-level table entry → absolute URL (with version-range validation)\n * 6. Unregistered bare specifiers → UnresolvedImportError\n * @param code - the module source code to rewrite.\n * @param options - resolution tables, scopes, slices and importer/base context.\n * @returns the rewritten code and the specifier→URL mapping.\n */\nexport function resolveImports(code: string, options: ResolveImportsOptions): ResolveResult {\n  const spans = findImports(code)\n  const reserved = options.reservedPrefixes === undefined ? DEFAULT_RESERVED : options.reservedPrefixes\n  const scopeTable = pickScope(options)\n  const base = resolverBase(options)\n  let out = code\n  const resolved: Record<string, string> = {}\n\n  // 从后往前，保证 span 位置在之前替换后不漂移\n  for (let i = spans.length - 1; i >= 0; i--) {\n    const span = spans[i]\n    const spec = span.specifier\n\n    // 保留前缀：零替换\n    if (span.bare && isReserved(spec, reserved)) continue\n\n    if (span.bare) {\n      const { name, range } = splitVersionRange(spec)\n      // V5.4 按需加载：大库切片（`pkg/sub`）优先于顶层 imports 命中\n      const sliceUrl = resolveSlice(name, range, options)\n      if (sliceUrl !== undefined) {\n        out = out.slice(0, span.start) + sliceUrl + out.slice(span.end)\n        resolved[spec] = sliceUrl\n        continue\n      }\n      const value = lookupValue(name, scopeTable) ?? lookupValue(name, options.imports)\n      if (value === undefined) {\n        throw new UnresolvedImportError(spec, options.importer !== undefined ? asString(options.importer) : undefined)\n      }\n      const url = resolveEntry(value, spec, range)\n      out = out.slice(0, span.start) + url + out.slice(span.end)\n      resolved[spec] = url\n    } else if (spec.startsWith('.') && base !== undefined) {\n      const url = new URL(spec, base).href\n      if (url !== spec) {\n        out = out.slice(0, span.start) + url + out.slice(span.end)\n        resolved[spec] = url\n      }\n    }\n    // 其余（绝对 URL）原样保留\n  }\n\n  return { code: out, resolved }\n}"]}

package/dist/module-resolver/version.d.ts

@@ -0,0 +1,46 @@
+/**
+ * module-resolver — 运行时模块解析（channel ③，V5.2）
+ *
+ * 设计文档：
+ *
+ * 本文件实现**极小 semver 判定子集**，用于 V5.2 版本仲裁的"范围不匹配即抛错"
+ * （roadmap 验收 ③：版本校验失败必须明确报错、不静默、不降级）。
+ *
+ * 支持：
+ * - 精确 `1.2.3`；前缀 `1.2` / `1`（major/minor 相等）
+ * - caret `^1.2.3`（>=1.2.3 <2.0.0）、`^1.2`（>=1.2.0 <2.0.0）、`^1`（>=1.0.0 <2.0.0）
+ *   `^0.2.3`（>=0.2.3 <0.3.0）、`^0.0.3`（>=0.0.3 <0.0.4）
+ * - tilde `~1.2.3`（>=1.2.3 <1.3.0）、`~1.2`（>=1.2.0 <1.3.0）、`~1`（>=1.0.0 <2.0.0）
+ * - 比较 `>=`、`>`、`<=`、`<`、`=`（v1.2.3 兼容前导 v）
+ * - 区间 `1.2.3 - 2.0.0`（>= a && <= b）
+ * - 通配 `*`、`x`、`latest`、空 → 恒真
+ * - `||` / 空格组合的"或"
+ *
+ * 注意：这是**刻意极小**的子集（引擎不用完整 npm semver），只覆盖 roadmap
+ * 需要的面；遇到不认识的语法按"不匹配"处理（宁可报错也不静默通过）。
+ */
+/** A parsed version triple; omitted minor/patch segments are null. */
+export type ParsedVersion = [major: number, minor: number | null, patch: number | null];
+/**
+ * Parse a version string (`1`, `1.2`, `1.2.3`, with an optional leading `v`)
+ * into a ParsedVersion triple; returns null when the input is not recognized.
+ * @param input - the version string, or nullish for the empty case.
+ * @returns the parsed version triple, or null when unparseable.
+ */
+export declare function parseVersion(input: string | undefined | null): ParsedVersion | null;
+/**
+ * Minimal semver satisfies check for the supported subset of range syntax.
+ * @param version - the concrete version string to test.
+ * @param range - the version range expression.
+ * @returns true when the version satisfies the range.
+ */
+export declare function satisfies(version: string, range: string): boolean;
+/**
+ * Assert that a version satisfies a range; throws when it does not (no silent
+ * downgrade).
+ * @param version - the concrete version string.
+ * @param range - the required version range.
+ * @param what - label of the dependency, used in the error message.
+ */
+export declare function assertSatisfies(version: string, range: string, what?: string): void;
+//# sourceMappingURL=version.d.ts.map

package/dist/module-resolver/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/module-resolver/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,sEAAsE;AACtE,MAAM,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAA;AAEvF;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,aAAa,GAAG,IAAI,CAKnF;AAsHD;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAkBjE;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,SAAe,GAAG,IAAI,CAIzF"}

package/dist/module-resolver/version.js

@@ -0,0 +1,187 @@
+/**
+ * module-resolver — 运行时模块解析（channel ③，V5.2）
+ *
+ * 设计文档：
+ *
+ * 本文件实现**极小 semver 判定子集**，用于 V5.2 版本仲裁的"范围不匹配即抛错"
+ * （roadmap 验收 ③：版本校验失败必须明确报错、不静默、不降级）。
+ *
+ * 支持：
+ * - 精确 `1.2.3`；前缀 `1.2` / `1`（major/minor 相等）
+ * - caret `^1.2.3`（>=1.2.3 <2.0.0）、`^1.2`（>=1.2.0 <2.0.0）、`^1`（>=1.0.0 <2.0.0）
+ *   `^0.2.3`（>=0.2.3 <0.3.0）、`^0.0.3`（>=0.0.3 <0.0.4）
+ * - tilde `~1.2.3`（>=1.2.3 <1.3.0）、`~1.2`（>=1.2.0 <1.3.0）、`~1`（>=1.0.0 <2.0.0）
+ * - 比较 `>=`、`>`、`<=`、`<`、`=`（v1.2.3 兼容前导 v）
+ * - 区间 `1.2.3 - 2.0.0`（>= a && <= b）
+ * - 通配 `*`、`x`、`latest`、空 → 恒真
+ * - `||` / 空格组合的"或"
+ *
+ * 注意：这是**刻意极小**的子集（引擎不用完整 npm semver），只覆盖 roadmap
+ * 需要的面；遇到不认识的语法按"不匹配"处理（宁可报错也不静默通过）。
+ */
+/**
+ * Parse a version string (`1`, `1.2`, `1.2.3`, with an optional leading `v`)
+ * into a ParsedVersion triple; returns null when the input is not recognized.
+ * @param input - the version string, or nullish for the empty case.
+ * @returns the parsed version triple, or null when unparseable.
+ */
+export function parseVersion(input) {
+    if (!input || typeof input !== 'string')
+        return null;
+    const m = /^v?(\d+)(?:\.(\d+))?(?:\.(\d+))?$/.exec(input.trim());
+    if (!m)
+        return null;
+    return [Number(m[1]), m[2] === undefined ? null : Number(m[2]), m[3] === undefined ? null : Number(m[3])];
+}
+function padVersion(v) {
+    return [v[0], v[1] ?? 0, v[2] ?? 0];
+}
+function compareVersions(a, b) {
+    const pa = padVersion(a);
+    const pb = padVersion(b);
+    for (let i = 0; i < 3; i++) {
+        if (pa[i] !== pb[i])
+            return pa[i] < pb[i] ? -1 : 1;
+    }
+    return 0;
+}
+function samePrefix(a, b) {
+    // a 是前缀要求（missing minor = 只看 major），b 是实际版本
+    if (a[0] !== b[0])
+        return false;
+    if (a[1] === null)
+        return true;
+    if (a[1] !== b[1])
+        return false;
+    if (a[2] === null)
+        return true;
+    return a[2] === b[2];
+}
+function caretBounds(spec) {
+    const major = spec[0];
+    const minor = spec[1] ?? 0;
+    const patch = spec[2] ?? 0;
+    if (major > 0) {
+        return [
+            { cmp: '>=', v: [major, minor, patch] },
+            { cmp: '<', v: [major + 1, 0, 0] },
+        ];
+    }
+    if (minor > 0) {
+        return [
+            { cmp: '>=', v: [0, minor, patch] },
+            { cmp: '<', v: [0, minor + 1, 0] },
+        ];
+    }
+    return [
+        { cmp: '>=', v: [0, 0, patch] },
+        { cmp: '<', v: [0, 0, patch + 1] },
+    ];
+}
+function tildeBounds(spec) {
+    const major = spec[0];
+    const minor = spec[1] ?? 0;
+    const patch = spec[2] ?? 0;
+    if (spec[1] === null) {
+        return [
+            { cmp: '>=', v: [major, 0, 0] },
+            { cmp: '<', v: [major + 1, 0, 0] },
+        ];
+    }
+    return [
+        { cmp: '>=', v: [major, minor, patch] },
+        { cmp: '<', v: [major, minor + 1, 0] },
+    ];
+}
+function check(cmp, version, v) {
+    const c = compareVersions(version, v);
+    switch (cmp) {
+        case '<': return c < 0;
+        case '<=': return c <= 0;
+        case '>': return c > 0;
+        case '>=': return c >= 0;
+        case '=':
+        default: return c === 0;
+    }
+}
+function parseCompPair(input) {
+    const m = /^(<=|>=|<|>|=)?\s*(.*)$/.exec(input);
+    if (!m)
+        return null;
+    const opRaw = m[1] ?? '';
+    const rest = m[2].trim();
+    const ver = parseVersion(rest);
+    if (!ver)
+        return null;
+    return { ver, opRaw };
+}
+/** 计算单个比较段是否满足。 */
+function partSatisfies(partStr, version) {
+    const s = partStr.trim();
+    if (s === '' || s === '*' || s === 'x' || /^x(\.x){0,2}$/i.test(s) || /^latest$/i.test(s))
+        return true;
+    // caret / tilde 段
+    const caretM = /^\^v?(\d+)(?:\.(\d+))?(?:\.(\d+))?$/.exec(s);
+    if (caretM) {
+        const spec = [
+            Number(caretM[1]),
+            caretM[2] === undefined ? null : Number(caretM[2]),
+            caretM[3] === undefined ? null : Number(caretM[3]),
+        ];
+        return caretBounds(spec).every((b) => check(b.cmp, version, b.v));
+    }
+    const tildeM = /^~v?(\d+)(?:\.(\d+))?(?:\.(\d+))?$/.exec(s);
+    if (tildeM) {
+        const spec = [
+            Number(tildeM[1]),
+            tildeM[2] === undefined ? null : Number(tildeM[2]),
+            tildeM[3] === undefined ? null : Number(tildeM[3]),
+        ];
+        return tildeBounds(spec).every((b) => check(b.cmp, version, b.v));
+    }
+    const pair = parseCompPair(s);
+    if (!pair)
+        return false;
+    if (pair.opRaw === '')
+        return samePrefix(pair.ver, version); // 裸数字前缀
+    return check(pair.opRaw, version, pair.ver);
+}
+/**
+ * Minimal semver satisfies check for the supported subset of range syntax.
+ * @param version - the concrete version string to test.
+ * @param range - the version range expression.
+ * @returns true when the version satisfies the range.
+ */
+export function satisfies(version, range) {
+    const v = parseVersion(version);
+    if (!v)
+        return false;
+    const r = (range ?? '').trim();
+    if (r === '' || r === '*' || r === 'x' || /^x(\.x){0,2}$/i.test(r) || /^latest$/i.test(r))
+        return true;
+    // 区间 "a.b.c - d.e.f"
+    const dashParts = r.split(/\s*-\s*/);
+    if (dashParts.length === 2 && parseVersion(dashParts[0]) && parseVersion(dashParts[1])) {
+        const lo = parseVersion(dashParts[0]);
+        const hi = parseVersion(dashParts[1]);
+        return compareVersions(v, lo) >= 0 && compareVersions(v, hi) <= 0;
+    }
+    // "||" 或空格分隔的"或"段：满足任一即可
+    const segs = r.split(/\s*\|\|\s*|\s+/).filter((x) => x.length > 0);
+    if (segs.length === 0)
+        return false;
+    return segs.some((seg) => partSatisfies(seg, v));
+}
+/**
+ * Assert that a version satisfies a range; throws when it does not (no silent
+ * downgrade).
+ * @param version - the concrete version string.
+ * @param range - the required version range.
+ * @param what - label of the dependency, used in the error message.
+ */
+export function assertSatisfies(version, range, what = 'dependency') {
+    if (!satisfies(version, range)) {
+        throw new Error(`[module-resolver] ${what} version "${version}" does not satisfy required range "${range}"`);
+    }
+}
+//# sourceMappingURL=version.js.map

package/dist/module-resolver/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/module-resolver/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAKH;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAgC;IAC3D,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IACpD,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAChE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3G,CAAC;AAED,SAAS,UAAU,CAAC,CAAgB;IAClC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,eAAe,CAAC,CAAgB,EAAE,CAAgB;IACzD,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IACxB,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACpD,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,SAAS,UAAU,CAAC,CAAgB,EAAE,CAAgB;IACpD,4CAA4C;IAC5C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC/B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IAC9B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC/B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IAC9B,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACtB,CAAC;AAKD,SAAS,WAAW,CAAC,IAAmB;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC1B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO;YACL,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;YACvC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SACnC,CAAA;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO;YACL,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;YACnC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;SACnC,CAAA;IACH,CAAC;IACD,OAAO;QACL,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE;QAC/B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE;KACnC,CAAA;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC1B,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO;YACL,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YAC/B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SACnC,CAAA;IACH,CAAC;IACD,OAAO;QACL,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;QACvC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;KACvC,CAAA;AACH,CAAC;AAED,SAAS,KAAK,CAAC,GAAQ,EAAE,OAAsB,EAAE,CAAgB;IAC/D,MAAM,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IACrC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACtB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACxB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACtB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACxB,KAAK,GAAG,CAAC;QACT,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACzB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,CAAC,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/C,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACnB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACxB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAC9B,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAA;IACrB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAA;AACvB,CAAC;AAED,mBAAmB;AACnB,SAAS,aAAa,CAAC,OAAe,EAAE,OAAsB;IAC5D,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAA;IACxB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAEtG,kBAAkB;IAClB,MAAM,MAAM,GAAG,qCAAqC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC5D,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,IAAI,GAAkB;YAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SACnD,CAAA;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,CAAC;IACD,MAAM,MAAM,GAAG,oCAAoC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC3D,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,IAAI,GAAkB;YAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SACnD,CAAA;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;IAC7B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAA;IACvB,IAAI,IAAI,CAAC,KAAK,KAAK,EAAE;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA,CAAC,QAAQ;IACpE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAY,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,KAAa;IACtD,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IAC/B,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IACpB,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IAC9B,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAEtG,qBAAqB;IACrB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IACpC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,CAAA;QACtC,MAAM,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAE,CAAA;QACtC,OAAO,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;IACnE,CAAC;IAED,yBAAyB;IACzB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAClE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACnC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,OAAe,EAAE,KAAa,EAAE,IAAI,GAAG,YAAY;IACjF,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,aAAa,OAAO,sCAAsC,KAAK,GAAG,CAAC,CAAA;IAC9G,CAAC;AACH,CAAC","sourcesContent":["/**\n * module-resolver — 运行时模块解析（channel ③，V5.2）\n *\n * 设计文档：\n *\n * 本文件实现**极小 semver 判定子集**，用于 V5.2 版本仲裁的\"范围不匹配即抛错\"\n * （roadmap 验收 ③：版本校验失败必须明确报错、不静默、不降级）。\n *\n * 支持：\n * - 精确 `1.2.3`；前缀 `1.2` / `1`（major/minor 相等）\n * - caret `^1.2.3`（>=1.2.3 <2.0.0）、`^1.2`（>=1.2.0 <2.0.0）、`^1`（>=1.0.0 <2.0.0）\n *   `^0.2.3`（>=0.2.3 <0.3.0）、`^0.0.3`（>=0.0.3 <0.0.4）\n * - tilde `~1.2.3`（>=1.2.3 <1.3.0）、`~1.2`（>=1.2.0 <1.3.0）、`~1`（>=1.0.0 <2.0.0）\n * - 比较 `>=`、`>`、`<=`、`<`、`=`（v1.2.3 兼容前导 v）\n * - 区间 `1.2.3 - 2.0.0`（>= a && <= b）\n * - 通配 `*`、`x`、`latest`、空 → 恒真\n * - `||` / 空格组合的\"或\"\n *\n * 注意：这是**刻意极小**的子集（引擎不用完整 npm semver），只覆盖 roadmap\n * 需要的面；遇到不认识的语法按\"不匹配\"处理（宁可报错也不静默通过）。\n */\n\n/** A parsed version triple; omitted minor/patch segments are null. */\nexport type ParsedVersion = [major: number, minor: number | null, patch: number | null]\n\n/**\n * Parse a version string (`1`, `1.2`, `1.2.3`, with an optional leading `v`)\n * into a ParsedVersion triple; returns null when the input is not recognized.\n * @param input - the version string, or nullish for the empty case.\n * @returns the parsed version triple, or null when unparseable.\n */\nexport function parseVersion(input: string | undefined | null): ParsedVersion | null {\n  if (!input || typeof input !== 'string') return null\n  const m = /^v?(\\d+)(?:\\.(\\d+))?(?:\\.(\\d+))?$/.exec(input.trim())\n  if (!m) return null\n  return [Number(m[1]), m[2] === undefined ? null : Number(m[2]), m[3] === undefined ? null : Number(m[3])]\n}\n\nfunction padVersion(v: ParsedVersion): [number, number, number] {\n  return [v[0], v[1] ?? 0, v[2] ?? 0]\n}\n\nfunction compareVersions(a: ParsedVersion, b: ParsedVersion): number {\n  const pa = padVersion(a)\n  const pb = padVersion(b)\n  for (let i = 0; i < 3; i++) {\n    if (pa[i] !== pb[i]) return pa[i] < pb[i] ? -1 : 1\n  }\n  return 0\n}\n\nfunction samePrefix(a: ParsedVersion, b: ParsedVersion): boolean {\n  // a 是前缀要求（missing minor = 只看 major），b 是实际版本\n  if (a[0] !== b[0]) return false\n  if (a[1] === null) return true\n  if (a[1] !== b[1]) return false\n  if (a[2] === null) return true\n  return a[2] === b[2]\n}\n\ntype Cmp = '<' | '<=' | '>' | '>=' | '='\ntype Part = { cmp: Cmp; v: ParsedVersion }\n\nfunction caretBounds(spec: ParsedVersion): Part[] {\n  const major = spec[0]\n  const minor = spec[1] ?? 0\n  const patch = spec[2] ?? 0\n  if (major > 0) {\n    return [\n      { cmp: '>=', v: [major, minor, patch] },\n      { cmp: '<', v: [major + 1, 0, 0] },\n    ]\n  }\n  if (minor > 0) {\n    return [\n      { cmp: '>=', v: [0, minor, patch] },\n      { cmp: '<', v: [0, minor + 1, 0] },\n    ]\n  }\n  return [\n    { cmp: '>=', v: [0, 0, patch] },\n    { cmp: '<', v: [0, 0, patch + 1] },\n  ]\n}\n\nfunction tildeBounds(spec: ParsedVersion): Part[] {\n  const major = spec[0]\n  const minor = spec[1] ?? 0\n  const patch = spec[2] ?? 0\n  if (spec[1] === null) {\n    return [\n      { cmp: '>=', v: [major, 0, 0] },\n      { cmp: '<', v: [major + 1, 0, 0] },\n    ]\n  }\n  return [\n    { cmp: '>=', v: [major, minor, patch] },\n    { cmp: '<', v: [major, minor + 1, 0] },\n  ]\n}\n\nfunction check(cmp: Cmp, version: ParsedVersion, v: ParsedVersion): boolean {\n  const c = compareVersions(version, v)\n  switch (cmp) {\n    case '<': return c < 0\n    case '<=': return c <= 0\n    case '>': return c > 0\n    case '>=': return c >= 0\n    case '=':\n    default: return c === 0\n  }\n}\n\nfunction parseCompPair(input: string): { ver: ParsedVersion; opRaw: string } | null {\n  const m = /^(<=|>=|<|>|=)?\\s*(.*)$/.exec(input)\n  if (!m) return null\n  const opRaw = m[1] ?? ''\n  const rest = m[2].trim()\n  const ver = parseVersion(rest)\n  if (!ver) return null\n  return { ver, opRaw }\n}\n\n/** 计算单个比较段是否满足。 */\nfunction partSatisfies(partStr: string, version: ParsedVersion): boolean {\n  const s = partStr.trim()\n  if (s === '' || s === '*' || s === 'x' || /^x(\\.x){0,2}$/i.test(s) || /^latest$/i.test(s)) return true\n\n  // caret / tilde 段\n  const caretM = /^\\^v?(\\d+)(?:\\.(\\d+))?(?:\\.(\\d+))?$/.exec(s)\n  if (caretM) {\n    const spec: ParsedVersion = [\n      Number(caretM[1]),\n      caretM[2] === undefined ? null : Number(caretM[2]),\n      caretM[3] === undefined ? null : Number(caretM[3]),\n    ]\n    return caretBounds(spec).every((b) => check(b.cmp, version, b.v))\n  }\n  const tildeM = /^~v?(\\d+)(?:\\.(\\d+))?(?:\\.(\\d+))?$/.exec(s)\n  if (tildeM) {\n    const spec: ParsedVersion = [\n      Number(tildeM[1]),\n      tildeM[2] === undefined ? null : Number(tildeM[2]),\n      tildeM[3] === undefined ? null : Number(tildeM[3]),\n    ]\n    return tildeBounds(spec).every((b) => check(b.cmp, version, b.v))\n  }\n\n  const pair = parseCompPair(s)\n  if (!pair) return false\n  if (pair.opRaw === '') return samePrefix(pair.ver, version) // 裸数字前缀\n  return check(pair.opRaw as Cmp, version, pair.ver)\n}\n\n/**\n * Minimal semver satisfies check for the supported subset of range syntax.\n * @param version - the concrete version string to test.\n * @param range - the version range expression.\n * @returns true when the version satisfies the range.\n */\nexport function satisfies(version: string, range: string): boolean {\n  const v = parseVersion(version)\n  if (!v) return false\n  const r = (range ?? '').trim()\n  if (r === '' || r === '*' || r === 'x' || /^x(\\.x){0,2}$/i.test(r) || /^latest$/i.test(r)) return true\n\n  // 区间 \"a.b.c - d.e.f\"\n  const dashParts = r.split(/\\s*-\\s*/)\n  if (dashParts.length === 2 && parseVersion(dashParts[0]) && parseVersion(dashParts[1])) {\n    const lo = parseVersion(dashParts[0])!\n    const hi = parseVersion(dashParts[1])!\n    return compareVersions(v, lo) >= 0 && compareVersions(v, hi) <= 0\n  }\n\n  // \"||\" 或空格分隔的\"或\"段：满足任一即可\n  const segs = r.split(/\\s*\\|\\|\\s*|\\s+/).filter((x) => x.length > 0)\n  if (segs.length === 0) return false\n  return segs.some((seg) => partSatisfies(seg, v))\n}\n\n/**\n * Assert that a version satisfies a range; throws when it does not (no silent\n * downgrade).\n * @param version - the concrete version string.\n * @param range - the required version range.\n * @param what - label of the dependency, used in the error message.\n */\nexport function assertSatisfies(version: string, range: string, what = 'dependency'): void {\n  if (!satisfies(version, range)) {\n    throw new Error(`[module-resolver] ${what} version \"${version}\" does not satisfy required range \"${range}\"`)\n  }\n}"]}