@aster-cloud/aster-lang-ts 1.0.36 → 1.1.0

package/dist/src/frontend/resolve-policy-types.d.ts

@@ -0,0 +1,54 @@
+import type { DomainVocabulary } from '../config/lexicons/identifiers/types.js';
+import type { Diagnostic } from '../diagnostics/diagnostics.js';
+import type { Core, TypecheckDiagnostic } from '../types.js';
+/** 规范类型引用（与 Core IR 的类型节点同形） */
+export type TypeRef = Core.Type;
+export interface PolicyTypes {
+    structs: Array<{
+        canonical: string;
+        written: string;
+        fields: Array<{
+            canonical: string;
+            written: string;
+            type: TypeRef;
+        }>;
+    }>;
+    enums: Array<{
+        canonical: string;
+        written: string;
+        members: Array<{
+            canonical: string;
+            written: string;
+        }>;
+    }>;
+    functions: Array<{
+        canonical: string;
+        written: string;
+        params: Array<{
+            name: string;
+            type: TypeRef;
+        }>;
+        returnType?: TypeRef;
+    }>;
+}
+/** 解析诊断（语法）与名称解析诊断（E8xx / W8xx） */
+export type PolicyTypesDiagnostic = Diagnostic | TypecheckDiagnostic;
+export interface ResolvePolicyTypesOptions {
+    /** 源码的 CNL 语言（lexicon id，如 de-DE） */
+    locale: string;
+    vocabulary?: DomainVocabulary;
+    /** 关键词别名（ADR 0022），按语义 token 种类并入 lexicon，只影响解析 */
+    aliasSet?: Record<string, string[]>;
+}
+export type ResolvePolicyTypesResult = {
+    ok: true;
+    types: PolicyTypes;
+} | {
+    ok: false;
+    diagnostics: PolicyTypesDiagnostic[];
+};
+/**
+ * 解析策略源码中的类型声明。语法错误或任一 E8xx 时返回 ok:false 与诊断；W8xx 不影响结果。
+ */
+export declare function resolvePolicyTypes(source: string, opts: ResolvePolicyTypesOptions): ResolvePolicyTypesResult;
+//# sourceMappingURL=resolve-policy-types.d.ts.map

package/dist/src/frontend/resolve-policy-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-policy-types.d.ts","sourceRoot":"","sources":["../../../src/frontend/resolve-policy-types.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAIhE,OAAO,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAE7D,gCAAgC;AAChC,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC;AAEhC,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,KAAK,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,KAAK,CAAC;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;KACtE,CAAC,CAAC;IACH,KAAK,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,KAAK,CAAC;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC7G,SAAS,EAAE,KAAK,CAAC;QACf,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;QAC/C,UAAU,CAAC,EAAE,OAAO,CAAC;KACtB,CAAC,CAAC;CACJ;AAED,mCAAmC;AACnC,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,mBAAmB,CAAC;AAErE,MAAM,WAAW,yBAAyB;IACxC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,mDAAmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACrC;AAED,MAAM,MAAM,wBAAwB,GAChC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAChC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,WAAW,EAAE,qBAAqB,EAAE,CAAA;CAAE,CAAC;AAyCxD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,yBAAyB,GAAG,wBAAwB,CAa5G"}

package/dist/src/frontend/resolve-policy-types.js

@@ -0,0 +1,71 @@
+/**
+ * @module frontend/resolve-policy-types
+ *
+ * 为执行输入映射提取策略的已解析类型（ADR 0051 §8）：只跑解析 + R1 + lower + R2，不做类型检查。
+ * 每个声明同时给出规范名与源码原写法，供调用方把用户按策略写法提交的输入映射到规范 IR。
+ */
+import { LexiconRegistry, initializeAllBundledLexicons } from '../config/lexicons/index.js';
+import { buildVocabularyScopes } from '../config/lexicons/identifiers/scopes.js';
+import { DiagnosticError } from '../diagnostics/diagnostics.js';
+import { hasErrors, parseSource, resolveAndLower } from '../compile-pipeline.js';
+function lexiconFor(locale, aliasSet) {
+    initializeAllBundledLexicons();
+    const base = LexiconRegistry.get(locale);
+    if (!base)
+        throw new Error(`未注册的 locale：${locale}`);
+    if (!aliasSet || Object.keys(aliasSet).length === 0)
+        return base;
+    return { ...base, aliases: { ...base.aliases, ...aliasSet } };
+}
+/** 类型引用只保留结构，去掉源码位置（origin 中的写法与位置不属于类型身份）。 */
+function typeRef(t) {
+    return JSON.parse(JSON.stringify(t, (k, v) => (k === 'origin' ? undefined : v)));
+}
+const writtenOf = (resolved, fallback) => resolved?.written ?? fallback;
+function collect(ast, core) {
+    const types = { structs: [], enums: [], functions: [] };
+    // lower 与 R2 都逐个映射声明，AST 与 Core 的声明下标一一对应
+    core.decls.forEach((d, i) => {
+        const src = ast.decls[i];
+        if (d.kind === 'Data' && src.kind === 'Data') {
+            const fields = d.fields.map((f, j) => ({
+                canonical: f.name,
+                written: writtenOf(src.fields[j]?.resolved, f.name),
+                type: typeRef(f.type),
+            }));
+            types.structs.push({ canonical: d.name, written: writtenOf(src.resolved, d.name), fields });
+        }
+        else if (d.kind === 'Enum' && src.kind === 'Enum') {
+            const members = d.variants.map((v, j) => ({ canonical: v, written: writtenOf(src.resolvedVariants?.[j], v) }));
+            types.enums.push({ canonical: d.name, written: writtenOf(src.resolved, d.name), members });
+        }
+        else if (d.kind === 'Func' && src.kind === 'Func') {
+            const params = d.params.map((p) => ({ name: p.name, type: typeRef(p.type) }));
+            const returnType = d.retTypeInferred ? {} : { returnType: typeRef(d.ret) };
+            types.functions.push({ canonical: d.name, written: writtenOf(src.resolved, d.name), params, ...returnType });
+        }
+    });
+    return types;
+}
+/**
+ * 解析策略源码中的类型声明。语法错误或任一 E8xx 时返回 ok:false 与诊断；W8xx 不影响结果。
+ */
+export function resolvePolicyTypes(source, opts) {
+    const lexicon = lexiconFor(opts.locale, opts.aliasSet);
+    const scopes = opts.vocabulary ? buildVocabularyScopes(opts.vocabulary) : undefined;
+    try {
+        const parsed = parseSource(source, lexicon, scopes);
+        if (hasErrors(parsed.diagnostics))
+            return { ok: false, diagnostics: [...parsed.diagnostics] };
+        const resolved = resolveAndLower(parsed.ast, scopes);
+        if (hasErrors(resolved.diagnostics))
+            return { ok: false, diagnostics: [...resolved.diagnostics] };
+        return { ok: true, types: collect(resolved.ast, resolved.core) };
+    }
+    catch (err) {
+        if (err instanceof DiagnosticError)
+            return { ok: false, diagnostics: [err.diagnostic] };
+        throw err;
+    }
+}
+//# sourceMappingURL=resolve-policy-types.js.map

package/dist/src/frontend/resolve-policy-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-policy-types.js","sourceRoot":"","sources":["../../../src/frontend/resolve-policy-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AAE5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAqCjF,SAAS,UAAU,CAAC,MAAc,EAAE,QAA8C;IAChF,4BAA4B,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;IACpD,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAC;AAChE,CAAC;AAED,+CAA+C;AAC/C,SAAS,OAAO,CAAC,CAAY;IAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAY,CAAC;AAC9F,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,QAAkC,EAAE,QAAgB,EAAU,EAAE,CAAC,QAAQ,EAAE,OAAO,IAAI,QAAQ,CAAC;AAElH,SAAS,OAAO,CAAC,GAAe,EAAE,IAAiB;IACjD,MAAM,KAAK,GAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACrE,0CAA0C;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrC,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC;gBACnD,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;aACtB,CAAC,CAAC,CAAC;YACJ,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9F,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpD,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/G,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7F,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9E,MAAM,UAAU,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3E,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,IAA+B;IAChF,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9F,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAClG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IACnE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,eAAe;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACxF,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/src/frontend/transformers.d.ts

@@ -11,8 +11,14 @@
 /** 变换器接口：接收源代码行，返回变换后的行 */
 export interface SyntaxTransformer {
     readonly name: string;
-    transform(source: string): string;
+    /** 内置变换器自行按完整源码上下文保护字符串，避免切片改变正则锚点语义。 */
+    readonly stringSafe?: boolean;
+    transform(source: string, quotes?: {
+        open: string;
+        close: string;
+    }): string;
 }
+export declare function rewriteRuleFunc(s: string): string;
 /**
  * 根据名称获取变换器。
  */
@@ -24,5 +30,8 @@ export declare function registerTransformer(transformer: SyntaxTransformer): voi
 /**
  * 按名称列表依次应用变换器到源代码。
  */
-export declare function applyTransformers(source: string, names: readonly string[]): string;
+export declare function applyTransformers(source: string, names: readonly string[], quotes?: {
+    open: string;
+    close: string;
+}): string;
 //# sourceMappingURL=transformers.d.ts.map

package/dist/src/frontend/transformers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"transformers.d.ts","sourceRoot":"","sources":["../../../src/frontend/transformers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;CACnC;AAoHD;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAExE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CASlF"}
+{"version":3,"file":"transformers.d.ts","sourceRoot":"","sources":["../../../src/frontend/transformers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,MAAM,CAAC;CAC7E;AAwJD,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAQjD;AAiBD;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAExE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,MAAM,GAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAA8B,GAClE,MAAM,CAWR"}

package/dist/src/frontend/transformers.js

@@ -54,8 +54,9 @@
 const POSSESSIVE_RE = /(?<!\p{L})([\p{L}][\p{L}0-9_]*)'s[ \t]+(?=[\p{L}])/gu;
 const englishPossessive = {
     name: 'english-possessive',
-    transform(source) {
-        return source.replace(POSSESSIVE_RE, '$1.');
+    stringSafe: true,
+    transform(source, quotes = { open: '"', close: '"' }) {
+        return replaceOutsideStrings(source, POSSESSIVE_RE, match => `${match[1]}.`, quotes);
     },
 };
 /**
@@ -81,9 +82,9 @@ const englishPossessive = {
 const SET_TO_RE = /^([ \t]*)Set\s+([\p{L}][\p{L}0-9_]*)\s+to\s+/gmu;
 const setTo = {
     name: 'set-to',
-    transform(source) {
-        SET_TO_RE.lastIndex = 0;
-        return source.replace(SET_TO_RE, '$1Let $2 be ');
+    stringSafe: true,
+    transform(source, quotes = { open: '"', close: '"' }) {
+        return replaceOutsideStrings(source, SET_TO_RE, match => `${match[1]}Let ${match[2]} be `, quotes);
     },
 };
 /**
@@ -101,11 +102,66 @@ const setTo = {
 const RESULT_IS_RE = /^([ \t]*)The result is\s+/gmu;
 const resultIs = {
     name: 'result-is',
-    transform(source) {
-        RESULT_IS_RE.lastIndex = 0;
-        return source.replace(RESULT_IS_RE, '$1Return ');
+    stringSafe: true,
+    transform(source, quotes = { open: '"', close: '"' }) {
+        return replaceOutsideStrings(source, RESULT_IS_RE, match => `${match[1]}Return `, quotes);
     },
 };
+/**
+ * 中文函数头变换器：`规则 名（参数）：` → `Rule 名 given 参数 ：`。
+ *
+ * 逐字移植 aster-lang-locales `ChineseFunctionSyntaxTransformer`：字符集按 Java 语义逐项写出
+ * （WS 为 Unicode White_Space，LT 为 Java 行终止符），参数 trim 同 Java `String.trim()`，
+ * 截断规则相同，因此任意输入的输出与 Java 字节相同（见 chinese-function-syntax-parity 夹具）。
+ * 输出英文 `Rule`/`given` 与 Java 同形；本引擎 zh-CN 词法同样识别这两个英文关键字。
+ * 参数须写成 `名 作为 类型`，`名: 类型` 会被重排但语法不接受。
+ *
+ * 运行于全角转半角之前，故括号两种宽度都要认；行尾 `：` 与参数间的 `，` 原样留给后续步骤。
+ * 不设 stringSafe：与 Java 侧一样经 segmenter 只改写字符串之外的片段。
+ */
+const WS = '\\t\\n\\u000B\\u000C\\r \\u0085\\u00A0\\u1680\\u2000-\\u200A\\u2028\\u2029\\u202F\\u205F\\u3000';
+const LT = '\\n\\r\\u0085\\u2028\\u2029';
+const HWS = '\\t\\u000B\\u000C \\u00A0\\u1680\\u2000-\\u200A\\u202F\\u205F\\u3000';
+const RULE_FUNC_RE = new RegExp(`(?<![^${LT}])([${HWS}]*)(?:规则|Rule)[${WS}]+([\\p{L}][\\p{L}0-9_]*)[${WS}]*` +
+    `[(（]([^)）]*?)[)）][${WS}]*([^${LT}]*)`, 'gu');
+const WS_CHAR = new RegExp(`[${WS}]`, 'u');
+const LT_CHAR = new RegExp(`[${LT}]`, 'u');
+/**
+ * 截断点：最后一个右括号之后跳过空白，再到下一个行终止符（或片段末尾）；无右括号时为 0。
+ *
+ * 每个匹配都必须含右括号，且以右括号后的空白与该行剩余部分收尾，所以截断点之后不可能有匹配，
+ * 之前的匹配也不会越过截断点。不截断时，最后一个右括号之后每个 `规则 名(` 行首都会让惰性
+ * 参数组扫到片段末尾再失败，耗时随源码长度平方增长。
+ */
+function matchableEnd(s) {
+    let i = Math.max(s.lastIndexOf(')'), s.lastIndexOf('）'));
+    if (i < 0)
+        return 0;
+    i++;
+    while (i < s.length && WS_CHAR.test(s[i]))
+        i++;
+    while (i < s.length && !LT_CHAR.test(s[i]))
+        i++;
+    return i;
+}
+/** 同 Java String.trim()：只去掉 U+0000–U+0020，全角空格保留（JS trim 会多去一类）。 */
+function javaTrim(s) {
+    return s.replace(/^[\u0000- ]+|[\u0000- ]+$/g, '');
+}
+export function rewriteRuleFunc(s) {
+    const cut = matchableEnd(s);
+    if (cut === 0)
+        return s;
+    const head = s.slice(0, cut).replace(RULE_FUNC_RE, (_m, indent, name, rawParams, rest) => {
+        const params = javaTrim(rawParams);
+        return params === '' ? `${indent}Rule ${name} ${rest}` : `${indent}Rule ${name} given ${params} ${rest}`;
+    });
+    return head + s.slice(cut);
+}
+const chineseFunctionSyntax = {
+    name: 'chinese-function-syntax',
+    transform: rewriteRuleFunc,
+};
 // ============================================================
 // 变换器注册表
 // ============================================================
@@ -113,6 +169,7 @@ const registry = new Map();
 registry.set('english-possessive', englishPossessive);
 registry.set('set-to', setTo);
 registry.set('result-is', resultIs);
+registry.set('chinese-function-syntax', chineseFunctionSyntax);
 /**
  * 根据名称获取变换器。
  */
@@ -128,14 +185,100 @@ export function registerTransformer(transformer) {
 /**
  * 按名称列表依次应用变换器到源代码。
  */
-export function applyTransformers(source, names) {
+export function applyTransformers(source, names, quotes = { open: '"', close: '"' }) {
     let result = source;
     for (const name of names) {
         const t = registry.get(name);
         if (t) {
-            result = t.transform(result);
+            result = t.stringSafe
+                ? t.transform(result, quotes)
+                : transformOutsideStrings(result, quotes, text => t.transform(text, quotes));
         }
     }
     return result;
 }
+/** 按 Java StringSegmenter.segment 的引号与转义规则变换字符串外片段。 */
+function transformOutsideStrings(source, quotes, transform) {
+    const quotePairs = new Map([[quotes.open, quotes.close]]);
+    if (quotes.open !== '"')
+        quotePairs.set('"', '"');
+    quotePairs.set('“', '”');
+    let output = '';
+    let current = '';
+    let inString = false;
+    let expectedClose = '';
+    for (let i = 0; i < source.length; i++) {
+        const ch = source[i];
+        current += ch;
+        if (inString) {
+            if (ch === expectedClose && !isEscaped(source, i)) {
+                output += current;
+                current = '';
+                inString = false;
+                expectedClose = '';
+            }
+            continue;
+        }
+        const close = quotePairs.get(ch);
+        if (close !== undefined && !isEscaped(source, i)) {
+            output += transform(current.slice(0, -1));
+            current = ch;
+            inString = true;
+            expectedClose = close;
+        }
+    }
+    output += inString ? current : transform(current);
+    return output;
+}
+function isEscaped(source, index) {
+    let slashes = 0;
+    for (let i = index - 1; i >= 0 && source[i] === '\\'; i--)
+        slashes++;
+    return slashes % 2 === 1;
+}
+/** 在完整源码上匹配正则，只忽略与字符串区间相交的匹配。 */
+function replaceOutsideStrings(source, pattern, replace, quotes) {
+    const stringRanges = [];
+    let inString = false;
+    let start = -1;
+    let expectedClose = '';
+    const quotePairs = new Map([[quotes.open, quotes.close]]);
+    if (quotes.open !== '"')
+        quotePairs.set('"', '"');
+    quotePairs.set('“', '”');
+    for (let i = 0; i < source.length; i++) {
+        const ch = source[i];
+        if (inString) {
+            if (ch === expectedClose && !isEscaped(source, i)) {
+                stringRanges.push([start, i + 1]);
+                inString = false;
+            }
+        }
+        else {
+            const close = quotePairs.get(ch);
+            if (close !== undefined && !isEscaped(source, i)) {
+                start = i;
+                expectedClose = close;
+                inString = true;
+            }
+        }
+    }
+    if (inString)
+        stringRanges.push([start, source.length]);
+    pattern.lastIndex = 0;
+    let rangeIndex = 0;
+    return source.replace(pattern, (matched, ...args) => {
+        const offset = args[args.length - 2];
+        const end = offset + matched.length;
+        while (rangeIndex < stringRanges.length && stringRanges[rangeIndex][1] <= offset)
+            rangeIndex++;
+        const range = stringRanges[rangeIndex];
+        const overlapsString = range !== undefined && offset < range[1] && end > range[0];
+        if (overlapsString)
+            return matched;
+        const captures = args.slice(0, -2);
+        const groups = [matched, ...captures];
+        return replace(groups);
+    });
+}
 //# sourceMappingURL=transformers.js.map

package/dist/src/frontend/transformers.js.map

@@ -1 +1 @@
-{"version":3,"file":"transformers.js","sourceRoot":"","sources":["../../../src/frontend/transformers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAQH,+DAA+D;AAC/D,UAAU;AACV,+DAA+D;AAE/D;;;;;GAKG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH;;;;;;;GAOG;AACH,MAAM,aAAa,GAAG,sDAAsD,CAAC;AAE7E,MAAM,iBAAiB,GAAsB;IAC3C,IAAI,EAAE,oBAAoB;IAC1B,SAAS,CAAC,MAAc;QACtB,OAAO,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;CACF,CAAC;AAEF;;;;GAIG;AACH;;;;;;;;;;;;;;GAcG;AACH,MAAM,SAAS,GAAG,iDAAiD,CAAC;AAEpE,MAAM,KAAK,GAAsB;IAC/B,IAAI,EAAE,QAAQ;IACd,SAAS,CAAC,MAAc;QACtB,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;QACxB,OAAO,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACnD,CAAC;CACF,CAAC;AAEF;;;;;GAKG;AACH;;;;;GAKG;AACH,MAAM,YAAY,GAAG,8BAA8B,CAAC;AAEpD,MAAM,QAAQ,GAAsB;IAClC,IAAI,EAAE,WAAW;IACjB,SAAS,CAAC,MAAc;QACtB,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;QAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;CACF,CAAC;AAEF,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAE/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;AACtD,QAAQ,CAAC,GAAG,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;AACtD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC9B,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;AAEpC;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAA8B;IAChE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,KAAwB;IACxE,IAAI,MAAM,GAAG,MAAM,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"transformers.js","sourceRoot":"","sources":["../../../src/frontend/transformers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAUH,+DAA+D;AAC/D,UAAU;AACV,+DAA+D;AAE/D;;;;;GAKG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH;;;;;;;GAOG;AACH,MAAM,aAAa,GAAG,sDAAsD,CAAC;AAE7E,MAAM,iBAAiB,GAAsB;IAC3C,IAAI,EAAE,oBAAoB;IAC1B,UAAU,EAAE,IAAI;IAChB,SAAS,CAAC,MAAc,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;QAC1D,OAAO,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvF,CAAC;CACF,CAAC;AAEF;;;;GAIG;AACH;;;;;;;;;;;;;;GAcG;AACH,MAAM,SAAS,GAAG,iDAAiD,CAAC;AAEpE,MAAM,KAAK,GAAsB;IAC/B,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE,IAAI;IAChB,SAAS,CAAC,MAAc,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;QAC1D,OAAO,qBAAqB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrG,CAAC;CACF,CAAC;AAEF;;;;;GAKG;AACH;;;;;GAKG;AACH,MAAM,YAAY,GAAG,8BAA8B,CAAC;AAEpD,MAAM,QAAQ,GAAsB;IAClC,IAAI,EAAE,WAAW;IACjB,UAAU,EAAE,IAAI;IAChB,SAAS,CAAC,MAAc,EAAE,MAAM,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;QAC1D,OAAO,qBAAqB,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC5F,CAAC;CACF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,EAAE,GAAG,iGAAiG,CAAC;AAC7G,MAAM,EAAE,GAAG,6BAA6B,CAAC;AACzC,MAAM,GAAG,GAAG,sEAAsE,CAAC;AACnF,MAAM,YAAY,GAAG,IAAI,MAAM,CAC7B,SAAS,EAAE,OAAO,GAAG,kBAAkB,EAAE,6BAA6B,EAAE,IAAI;IAC1E,qBAAqB,EAAE,QAAQ,EAAE,KAAK,EACxC,IAAI,CACL,CAAC;AACF,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAC3C,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE3C;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,CAAS;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,CAAC,EAAE,CAAC;IACJ,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;QAAE,CAAC,EAAE,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;QAAE,CAAC,EAAE,CAAC;IACjD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oEAAoE;AACpE,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,MAAc,EAAE,IAAY,EAAE,SAAiB,EAAE,IAAY,EAAE,EAAE;QACvH,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QACnC,OAAO,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,QAAQ,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,QAAQ,IAAI,UAAU,MAAM,IAAI,IAAI,EAAE,CAAC;IAC3G,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,qBAAqB,GAAsB;IAC/C,IAAI,EAAE,yBAAyB;IAC/B,SAAS,EAAE,eAAe;CAC3B,CAAC;AAEF,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAE/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;AACtD,QAAQ,CAAC,GAAG,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;AACtD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC9B,QAAQ,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;AACpC,QAAQ,CAAC,GAAG,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;AAE/D;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAA8B;IAChE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAc,EACd,KAAwB,EACxB,SAA0C,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;IAEnE,IAAI,MAAM,GAAG,MAAM,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,GAAG,CAAC,CAAC,UAAU;gBACnB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;gBAC7B,CAAC,CAAC,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uDAAuD;AACvD,SAAS,uBAAuB,CAC9B,MAAc,EACd,MAAuC,EACvC,SAAmC;IAEnC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG;QAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAEzB,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,aAAa,GAAG,EAAE,CAAC;IAEvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACtB,OAAO,IAAI,EAAE,CAAC;QAEd,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,EAAE,KAAK,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClD,MAAM,IAAI,OAAO,CAAC;gBAClB,OAAO,GAAG,EAAE,CAAC;gBACb,QAAQ,GAAG,KAAK,CAAC;gBACjB,aAAa,GAAG,EAAE,CAAC;YACrB,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,GAAG,IAAI,CAAC;YAChB,aAAa,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,MAAc,EAAE,KAAa;IAC9C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACrE,OAAO,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,iCAAiC;AACjC,SAAS,qBAAqB,CAC5B,MAAc,EACd,OAAe,EACf,OAA2C,EAC3C,MAAuC;IAEvC,MAAM,YAAY,GAA4B,EAAE,CAAC;IACjD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,IAAI,aAAa,GAAG,EAAE,CAAC;IACvB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG;QAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAEzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACtB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,EAAE,KAAK,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClD,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClC,QAAQ,GAAG,KAAK,CAAC;YACnB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;gBACjD,KAAK,GAAG,CAAC,CAAC;gBACV,aAAa,GAAG,KAAK,CAAC;gBACtB,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,QAAQ;QAAE,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAExD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IACtB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,IAAe,EAAE,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAW,CAAC;QAC/C,MAAM,GAAG,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QACpC,OAAO,UAAU,GAAG,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,UAAU,CAAE,CAAC,CAAC,CAAC,IAAI,MAAM;YAAE,UAAU,EAAE,CAAC;QAChG,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,cAAc,GAAG,KAAK,KAAK,SAAS,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAClF,IAAI,cAAc;YAAE,OAAO,OAAO,CAAC;QAEnC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAa,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,CAAC;QACtC,OAAO,OAAO,CAAC,MAAoC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/index.d.ts

@@ -8,26 +8,32 @@
  *
  * **编译管道**：
  * ```
- * CNL 源代码 → canonicalize → lex → parse → AST → lowerModule → Core IR → typecheck → JVM
+ * CNL 源代码 → canonicalize → lex → parse → AST → R1 名称解析 → lowerModule → R2 名称解析 → Core IR → typecheck → JVM
  * ```
  *
  * @example 基础用法
  * ```typescript
- * import { canonicalize, lex, parse, lowerModule } from '@aster-cloud/aster-lang-ts';
+ * import { parseSource, resolveAndLowerChecked } from '@aster-cloud/aster-lang-ts';
  *
  * const src = `Module app. Rule id, produce Int: Return 1.`;
- * const canonical = canonicalize(src);  // 规范化源代码
- * const tokens = lex(canonical);         // 词法分析
- * const ast = parse(tokens);             // 语法分析
- * const core = lowerModule(ast);         // 降级到 Core IR
+ * const { ast } = parseSource(src);                   // 规范化 + 词法 + 语法分析
+ * const { core } = resolveAndLowerChecked(ast);       // R1 → lower → R2；任一 E8xx 抛出 NameResolutionError
  * console.log(core);
  * ```
+ *
+ * 公开 API 只提供带名称解析检查的出口（resolveAndLowerChecked / compile / resolvePolicyTypes）：
+ * 未经 R1/R2 的原始 lower 与不抛错的 resolveAndLower 是内部实现，可能产出含本地化名的 Core。
  */
 export { canonicalize } from './frontend/canonicalizer.js';
 export { lex } from './frontend/lexer.js';
 export { parse, parseWithLexicon } from './parser.js';
 export type { ParseResult } from './parser.js';
-export { lowerModule } from './lower_to_core.js';
+export { parseSource, resolveAndLowerChecked, NameResolutionError } from './compile-pipeline.js';
+export type { ParsedSource, ResolvedCore } from './compile-pipeline.js';
+export { buildVocabularyScopes, canonicalScopesJson, foldKey, VocabularyScopeError, } from './config/lexicons/identifiers/index.js';
+export type { Candidate, DomainVocabulary, IdentifierMapping, VocabularyScopes, VocabularyScopeErrorCode, } from './config/lexicons/identifiers/index.js';
+export { resolvePolicyTypes } from './frontend/resolve-policy-types.js';
+export type { PolicyTypes, PolicyTypesDiagnostic, ResolvePolicyTypesOptions, ResolvePolicyTypesResult, TypeRef, } from './frontend/resolve-policy-types.js';
 export { createKeywordTranslator, buildKeywordTranslationIndex, buildFullTranslationIndex, translateTokens, translateTokensWithMarkers, translateToken, needsKeywordTranslation, } from './frontend/keyword-translator.js';
 export type { KeywordTranslationIndex, MarkerKeywordIndex, TranslationIndexResult, } from './frontend/keyword-translator.js';
 export { Core, Effect } from './core/core_ir.js';
@@ -41,6 +47,7 @@ export { CONTROLS_REGISTRY } from './governance/controls-registry.data.js';
 export type { ControlsRegistryData, LocalizedTitle } from './governance/controls-registry.data.js';
 export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
 export type { TypeKind, FieldInfo, ParameterInfo, } from './parser/input-generator.js';
+export { RESOLVER_VERSION, CASEFOLD_VERSION, CORE_IR_ABI } from './version.js';
 export type * from './types.js';
 export { runSemanticBridge } from './mapping/pipeline.js';
 export type { BridgeResult, VerifiedCandidate } from './mapping/pipeline.js';

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGjD,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGpC,OAAO,EACL,eAAe,EACf,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvF,YAAY,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAC3E,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAGnG,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,QAAQ,EACR,SAAS,EACT,aAAa,GACd,MAAM,6BAA6B,CAAC;AAGrC,mBAAmB,YAAY,CAAC;AAMhC,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACrF,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACxF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,EACrE,cAAc,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACtG,YAAY,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG/C,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjG,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,OAAO,EACP,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAChD,YAAY,EACV,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,YAAY,EACV,WAAW,EACX,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,OAAO,GACR,MAAM,oCAAoC,CAAC;AAG5C,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGpC,OAAO,EACL,eAAe,EACf,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvF,YAAY,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAC3E,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAGnG,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,QAAQ,EACR,SAAS,EACT,aAAa,GACd,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG/E,mBAAmB,YAAY,CAAC;AAMhC,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACrF,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AACxF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,EACrE,cAAc,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACtG,YAAY,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC"}

package/dist/src/index.js

@@ -8,26 +8,31 @@
  *
  * **编译管道**：
  * ```
- * CNL 源代码 → canonicalize → lex → parse → AST → lowerModule → Core IR → typecheck → JVM
+ * CNL 源代码 → canonicalize → lex → parse → AST → R1 名称解析 → lowerModule → R2 名称解析 → Core IR → typecheck → JVM
  * ```
  *
  * @example 基础用法
  * ```typescript
- * import { canonicalize, lex, parse, lowerModule } from '@aster-cloud/aster-lang-ts';
+ * import { parseSource, resolveAndLowerChecked } from '@aster-cloud/aster-lang-ts';
  *
  * const src = `Module app. Rule id, produce Int: Return 1.`;
- * const canonical = canonicalize(src);  // 规范化源代码
- * const tokens = lex(canonical);         // 词法分析
- * const ast = parse(tokens);             // 语法分析
- * const core = lowerModule(ast);         // 降级到 Core IR
+ * const { ast } = parseSource(src);                   // 规范化 + 词法 + 语法分析
+ * const { core } = resolveAndLowerChecked(ast);       // R1 → lower → R2；任一 E8xx 抛出 NameResolutionError
  * console.log(core);
  * ```
+ *
+ * 公开 API 只提供带名称解析检查的出口（resolveAndLowerChecked / compile / resolvePolicyTypes）：
+ * 未经 R1/R2 的原始 lower 与不抛错的 resolveAndLower 是内部实现，可能产出含本地化名的 Core。
  */
 // 编译器管道函数
 export { canonicalize } from './frontend/canonicalizer.js';
 export { lex } from './frontend/lexer.js';
 export { parse, parseWithLexicon } from './parser.js';
-export { lowerModule } from './lower_to_core.js';
+// 名称解析接入后的前端（ADR 0051）：parse → R1 → lower → R2；只导出带检查的出口
+export { parseSource, resolveAndLowerChecked, NameResolutionError } from './compile-pipeline.js';
+// 领域词汇按位置解析（ADR 0051）
+export { buildVocabularyScopes, canonicalScopesJson, foldKey, VocabularyScopeError, } from './config/lexicons/identifiers/index.js';
+export { resolvePolicyTypes } from './frontend/resolve-policy-types.js';
 // 关键词翻译（多语言 CNL 支持）
 export { createKeywordTranslator, buildKeywordTranslationIndex, buildFullTranslationIndex, translateTokens, translateTokensWithMarkers, translateToken, needsKeywordTranslation, } from './frontend/keyword-translator.js';
 // 核心类型和枚举
@@ -40,6 +45,8 @@ export { controlRegistryFrom, defaultControlRegistry } from './governance/contro
 export { CONTROLS_REGISTRY } from './governance/controls-registry.data.js';
 // 输入值生成器（用于策略执行时自动生成示例输入）
 export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
+// 工具链分量版本常量（ADR 0051 §7）
+export { RESOLVER_VERSION, CASEFOLD_VERSION, CORE_IR_ABI } from './version.js';
 // ── ADR 0037 可验证语义桥 ────────────────────────────────────────────
 // ★接线后才导出：此前六个模块全是死代码（生产调用数 0、不在导出面内）。
 //   `runSemanticBridge` 是唯一入口，内部串起

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,UAAU;AACV,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEtD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,oBAAoB;AACpB,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAO1C,UAAU;AACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,OAAO;AACP,OAAO,EACL,eAAe,EACf,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAG3E,0BAA0B;AAC1B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAUrC,kEAAkE;AAClE,uCAAuC;AACvC,mCAAmC;AACnC,4DAA4D;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAErF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE/E,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,UAAU;AACV,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAGtD,yDAAyD;AACzD,OAAO,EAAE,WAAW,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAGjG,sBAAsB;AACtB,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,OAAO,EACP,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAQhD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AASxE,oBAAoB;AACpB,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAO1C,UAAU;AACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,OAAO;AACP,OAAO,EACL,eAAe,EACf,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAEvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAG3E,0BAA0B;AAC1B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAOrC,yBAAyB;AACzB,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAK/E,kEAAkE;AAClE,uCAAuC;AACvC,mCAAmC;AACnC,4DAA4D;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAErF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE/E,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC"}

package/dist/src/lower_to_core.d.ts

@@ -32,22 +32,8 @@ import type { Module } from './types.js';
  * @param ast - AST Module 节点（通过 parser.parse 生成）
  * @returns Core IR Module 节点，包含所有声明的规范化表示
  *
- * @example
- * ```typescript
- * import { canonicalize, lex, parse, lowerModule } from '@aster-cloud/aster-lang-ts';
- *
- * const src = `Module app.
- * Rule greet, produce Text:
- *   Return "Hello".
- * `;
- *
- * const ast = parse(lex(canonicalize(src)));
- * const core = lowerModule(ast);
- *
- * console.log(core.kind);  // "Module"
- * console.log(core.name);  // "app"
- * // Core IR 是更简洁的表示，适合类型检查和代码生成
- * ```
+ * @internal 不从包入口导出：未经 R1 的 AST 降级后名字保持原写法（可能是本地化名）。
+ * 外部调用方使用 resolveAndLowerChecked（compile-pipeline）或 browser `compile`。
  */
 export declare function lowerModule(ast: Module): import('./types.js').Core.Module;
 //# sourceMappingURL=lower_to_core.d.ts.map

package/dist/src/lower_to_core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lower_to_core.d.ts","sourceRoot":"","sources":["../../src/lower_to_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAQH,OAAO,KAAK,EACV,MAAM,EAUP,MAAM,YAAY,CAAC;AAkMpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,YAAY,EAAE,IAAI,CAAC,MAAM,CAIzE"}
+{"version":3,"file":"lower_to_core.d.ts","sourceRoot":"","sources":["../../src/lower_to_core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAUH,OAAO,KAAK,EACV,MAAM,EAYP,MAAM,YAAY,CAAC;AAsNpB;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,YAAY,EAAE,IAAI,CAAC,MAAM,CAIzE"}