@aster-cloud/aster-lang-ts 0.1.5 → 0.2.0

package/dist/src/ai/providers/anthropic.js.map

@@ -1 +1 @@
-{"version":3,"file":"anthropic.js","sourceRoot":"","sources":["../../../../src/ai/providers/anthropic.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAO9C,MAAM,OAAO,iBAAiB;IACpB,MAAM,CAAY;IAClB,KAAK,CAAS;IAEtB,YAAY,SAA0B,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,QAAQ,CAAC,iDAAiD,EAAE,WAAW,CAAC,CAAC;QACrF,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,4BAA4B,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAmB;QAChC,IAAI,CAAC;YACH,4BAA4B;YAC5B,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,MAAM,CAAC;YAC1C,CAAC;YACD,MAAM,IAAI,cAAc,OAAO,CAAC,MAAM,gBAAgB,CAAC;YAEvD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC;gBACpD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,oBAAoB,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;gBAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG;gBACvC,MAAM;aACP,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACzB,MAAM,IAAI,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;YACrD,CAAC;YAED,OAAO;gBACL,OAAO,EAAE,QAAQ,CAAC,UAAU;gBAC5B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,KAAK,EAAE;oBACL,+CAA+C;oBAC/C,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC1C,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC3D,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;iBACzE;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxC,MAAM,IAAI,QAAQ,CAChB,qBAAqB,KAAK,CAAC,OAAO,EAAE,EACpC,WAAW,EACX,KAAK,CACN,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,QAAQ,CAChB,mBAAmB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAC3E,WAAW,EACX,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF"}
+{"version":3,"file":"anthropic.js","sourceRoot":"","sources":["../../../../src/ai/providers/anthropic.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAO9C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,iBAAiB;IACpB,MAAM,CAAY;IAClB,KAAK,CAAS;IAEtB,YAAY,SAA0B,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,QAAQ,CAAC,iDAAiD,EAAE,WAAW,CAAC,CAAC;QACrF,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,4BAA4B,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAmB;QAChC,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAE5D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACjD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;gBACrC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG;gBACvC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;aACrD,CAAC,CAAC;YAEH,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;YACrD,CAAC;YAED,OAAO;gBACL,OAAO;gBACP,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,KAAK,EAAE;oBACL,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;oBACzC,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa;oBAC9C,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa;iBACxE;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxC,MAAM,IAAI,QAAQ,CAChB,qBAAqB,KAAK,CAAC,OAAO,EAAE,EACpC,WAAW,EACX,KAAK,CACN,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,QAAQ,CAChB,mBAAmB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAC3E,WAAW,EACX,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,cAAc,GAAG,kEAAkE,CAAC;AAC1F,MAAM,cAAc,GAAG,IAAI,MAAM,CAC/B,WAAW,cAAc,uBAAuB,cAAc,KAAK,EACnE,IAAI,CACL,CAAC;AAEF,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAAC,QAAoC;IACvD,uEAAuE;IACvE,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC"}

package/dist/src/browser/schema.d.ts

@@ -0,0 +1,52 @@
+/**
+ * @module @aster-cloud/aster-lang-ts/browser/schema
+ *
+ * Schema extraction for dynamic form generation. Split out of `browser.ts`
+ * in the Round-3 codex refactor: previously the main browser entry was a
+ * 660-line monolith mixing compile / validate / schema / evaluate / typecheck
+ * gates. Public exports remain available from `@aster-cloud/aster-lang-ts/browser`
+ * — this module is implementation detail.
+ */
+import type { Lexicon } from '../config/lexicons/types.js';
+import type { ParameterInfo } from '../parser/input-generator.js';
+/** Schema extraction options */
+export interface SchemaOptions {
+    /** CNL lexicon (default: EN_US) */
+    lexicon?: Lexicon;
+    /** Target function name (default: first function) */
+    functionName?: string;
+}
+export interface SchemaResult {
+    /** Whether extraction succeeded */
+    success: boolean;
+    /** Module name */
+    moduleName?: string;
+    /** Function name */
+    functionName?: string;
+    /** Parameter schema */
+    parameters?: ParameterInfo[];
+    /** Error message if failed */
+    error?: string;
+}
+/**
+ * Extract schema from CNL source code.
+ *
+ * Parses CNL source and extracts parameter schema for the specified function,
+ * suitable for dynamic form generation.
+ *
+ * @example
+ * ```typescript
+ * const result = extractSchema(`
+ *   Module loan.
+ *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
+ *   Rule evaluate given application as LoanApplication, produce Bool:
+ *     If application.creditScore >= 700 then Return true
+ *     Otherwise Return false.
+ * `);
+ * if (result.success) {
+ *   console.log(result.parameters);
+ * }
+ * ```
+ */
+export declare function extractSchema(source: string, options?: SchemaOptions): SchemaResult;
+//# sourceMappingURL=schema.d.ts.map

package/dist/src/browser/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/browser/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAOH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAY,aAAa,EAAa,MAAM,8BAA8B,CAAC;AAGvF,gCAAgC;AAChC,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,qDAAqD;IACrD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,mCAAmC;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,8BAA8B;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAuDD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,CAkInF"}

package/dist/src/browser/schema.js

@@ -0,0 +1,205 @@
+/**
+ * @module @aster-cloud/aster-lang-ts/browser/schema
+ *
+ * Schema extraction for dynamic form generation. Split out of `browser.ts`
+ * in the Round-3 codex refactor: previously the main browser entry was a
+ * 660-line monolith mixing compile / validate / schema / evaluate / typecheck
+ * gates. Public exports remain available from `@aster-cloud/aster-lang-ts/browser`
+ * — this module is implementation detail.
+ */
+import { canonicalize } from '../frontend/canonicalizer.js';
+import { lex } from '../frontend/lexer.js';
+import { parse } from '../parser.js';
+import { createKeywordTranslator, needsKeywordTranslation } from '../frontend/keyword-translator.js';
+import { attachTypeInferenceRules } from '../config/lexicons/type-inference-rules.js';
+/** Convert AST Type to type kind */
+function getTypeKind(type) {
+    if (!type || typeof type !== 'object' || !('kind' in type)) {
+        return 'unknown';
+    }
+    switch (type.kind) {
+        case 'TypeName': {
+            const name = type.name.toLowerCase();
+            if (['int', 'float', 'double', 'number', 'bool', 'boolean', 'text', 'string', 'datetime', 'date', 'time'].includes(name)) {
+                return 'primitive';
+            }
+            // Custom type names are typically structs
+            return 'struct';
+        }
+        case 'List':
+            return 'list';
+        case 'Map':
+            return 'map';
+        case 'Option':
+        case 'Maybe':
+            return 'option';
+        case 'Result':
+            return 'result';
+        case 'FuncType':
+            return 'function';
+        default:
+            return 'unknown';
+    }
+}
+/** Convert AST Type to display string */
+function typeToString(type) {
+    if (!type || typeof type !== 'object' || !('kind' in type)) {
+        return 'Unknown';
+    }
+    switch (type.kind) {
+        case 'TypeName':
+            return type.name;
+        case 'List':
+            return `List<${typeToString(type.type)}>`;
+        case 'Map':
+            return `Map<${typeToString(type.key)}, ${typeToString(type.val)}>`;
+        case 'Option':
+            return `Option<${typeToString(type.type)}>`;
+        case 'Maybe':
+            return `Maybe<${typeToString(type.type)}>`;
+        case 'Result':
+            return `Result<${typeToString(type.ok)}, ${typeToString(type.err)}>`;
+        default:
+            return 'Unknown';
+    }
+}
+/**
+ * Extract schema from CNL source code.
+ *
+ * Parses CNL source and extracts parameter schema for the specified function,
+ * suitable for dynamic form generation.
+ *
+ * @example
+ * ```typescript
+ * const result = extractSchema(`
+ *   Module loan.
+ *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
+ *   Rule evaluate given application as LoanApplication, produce Bool:
+ *     If application.creditScore >= 700 then Return true
+ *     Otherwise Return false.
+ * `);
+ * if (result.success) {
+ *   console.log(result.parameters);
+ * }
+ * ```
+ */
+export function extractSchema(source, options) {
+    try {
+        const lexicon = options?.lexicon;
+        // Canonicalize with lexicon for language-specific normalization
+        const canonical = canonicalize(source, lexicon);
+        let tokens = lex(canonical, lexicon);
+        // Translate non-English tokens to English for parser compatibility
+        if (lexicon && needsKeywordTranslation(lexicon)) {
+            const translator = createKeywordTranslator(lexicon);
+            tokens = translator.translateTokens(tokens);
+        }
+        // Parse to AST
+        const effectiveLexForSchema = lexicon ? attachTypeInferenceRules(lexicon) : undefined;
+        const parseResult = parse(tokens, effectiveLexForSchema);
+        if (parseResult.diagnostics.length > 0 && parseResult.ast.decls.length === 0) {
+            return {
+                success: false,
+                error: parseResult.diagnostics[0]?.message ?? 'Parse failed',
+            };
+        }
+        const module = parseResult.ast;
+        const moduleName = module.name ?? 'unknown';
+        // Find all Data and Enum declarations (for struct/enum field resolution)
+        const dataDecls = new Map();
+        const enumDecls = new Map();
+        for (const decl of module.decls) {
+            if (decl.kind === 'Data') {
+                const data = decl;
+                const fields = data.fields.map((f) => {
+                    const fieldTypeKind = getTypeKind(f.type);
+                    const fieldTypeName = typeToString(f.type);
+                    return {
+                        name: f.name,
+                        type: fieldTypeName,
+                        typeKind: fieldTypeKind,
+                    };
+                });
+                dataDecls.set(data.name, fields);
+            }
+            else if (decl.kind === 'Enum') {
+                const enumDecl = decl;
+                enumDecls.set(enumDecl.name, [...enumDecl.variants]);
+            }
+        }
+        // Find the target function
+        const funcs = module.decls.filter((d) => d.kind === 'Func');
+        if (funcs.length === 0) {
+            return {
+                success: false,
+                error: 'No functions found in module',
+            };
+        }
+        const targetFuncName = options?.functionName;
+        const func = targetFuncName
+            ? funcs.find((f) => f.name === targetFuncName)
+            : funcs[0];
+        if (!func) {
+            return {
+                success: false,
+                error: targetFuncName
+                    ? `Function '${targetFuncName}' not found`
+                    : 'No functions found in module',
+            };
+        }
+        // Extract parameters
+        const parameters = func.params.map((param, index) => {
+            let typeName = typeToString(param.type);
+            let typeKind = getTypeKind(param.type);
+            let fields;
+            // Resolve struct/enum fields if applicable
+            if (typeKind === 'struct' && enumDecls.has(typeName)) {
+                // Type is actually an enum, not a struct
+                typeKind = 'enum';
+            }
+            else if (typeKind === 'struct' && dataDecls.has(typeName)) {
+                // Resolve struct fields, also resolving enum types within fields
+                fields = dataDecls.get(typeName).map((f) => {
+                    if (f.typeKind === 'struct' && enumDecls.has(f.type)) {
+                        return { ...f, typeKind: 'enum', enumVariants: enumDecls.get(f.type) };
+                    }
+                    return f;
+                });
+            }
+            else if (typeKind === 'primitive' && dataDecls.has(param.name)) {
+                // 当参数类型为基本类型但参数名与 Data 定义匹配时，
+                // 推断参数类型为该 Data 类型（支持中文无类型参数语法）
+                typeName = param.name;
+                typeKind = 'struct';
+                fields = dataDecls.get(param.name);
+            }
+            const result = {
+                name: param.name,
+                type: typeName,
+                typeKind,
+                optional: false, // Parameters don't have optional field in AST
+                position: index,
+            };
+            if (typeKind === 'enum' && enumDecls.has(typeName)) {
+                result.enumVariants = enumDecls.get(typeName);
+            }
+            if (fields) {
+                result.fields = fields;
+            }
+            return result;
+        });
+        return {
+            success: true,
+            moduleName,
+            functionName: func.name,
+            parameters,
+        };
+    }
+    catch (error) {
+        return {
+            success: false,
+            error: error instanceof Error ? error.message : String(error),
+        };
+    }
+}
+//# sourceMappingURL=schema.js.map

package/dist/src/browser/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/browser/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AACrG,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AA0BtF,oCAAoC;AACpC,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzH,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,0CAA0C;YAC1C,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,yCAAyC;AACzC,SAAS,YAAY,CAAC,IAAU;IAC9B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,QAAQ,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC5C,KAAK,KAAK;YACR,OAAO,OAAO,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrE,KAAK,QAAQ;YACX,OAAO,UAAU,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9C,KAAK,OAAO;YACV,OAAO,SAAS,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7C,KAAK,QAAQ;YACX,OAAO,UAAU,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACvE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,OAAuB;IACnE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;QAEjC,gEAAgE;QAChE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAErC,mEAAmE;QACnE,IAAI,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,eAAe;QACf,MAAM,qBAAqB,GAAG,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;QAEzD,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7E,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,cAAc;aAC7D,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC;QAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC;QAE5C,yEAAyE;QACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;QACjD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,IAAY,CAAC;gBAC1B,MAAM,MAAM,GAAgB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAChD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC1C,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC3C,OAAO;wBACL,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,IAAI,EAAE,aAAa;wBACnB,QAAQ,EAAE,aAAa;qBACxB,CAAC;gBACJ,CAAC,CAAC,CAAC;gBACH,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnC,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,IAAY,CAAC;gBAC9B,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAW,CAAC;QACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,8BAA8B;aACtC,CAAC;QACJ,CAAC;QAED,MAAM,cAAc,GAAG,OAAO,EAAE,YAAY,CAAC;QAC7C,MAAM,IAAI,GAAG,cAAc;YACzB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;YACpD,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAEb,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,cAAc;oBACnB,CAAC,CAAC,aAAa,cAAc,aAAa;oBAC1C,CAAC,CAAC,8BAA8B;aACnC,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAoB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACnE,IAAI,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,MAA+B,CAAC;YAEpC,2CAA2C;YAC3C,IAAI,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrD,yCAAyC;gBACzC,QAAQ,GAAG,MAAM,CAAC;YACpB,CAAC;iBAAM,IAAI,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5D,iEAAiE;gBACjE,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC1C,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACrD,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAkB,EAAE,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,CAAC;oBACtF,CAAC;oBACD,OAAO,CAAC,CAAC;gBACX,CAAC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,QAAQ,KAAK,WAAW,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjE,8BAA8B;gBAC9B,gCAAgC;gBAChC,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;gBACtB,QAAQ,GAAG,QAAQ,CAAC;gBACpB,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;YAED,MAAM,MAAM,GAAkB;gBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,QAAQ,EAAE,KAAK,EAAE,8CAA8C;gBAC/D,QAAQ,EAAE,KAAK;aAChB,CAAC;YAEF,IAAI,QAAQ,KAAK,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;YACjD,CAAC;YAED,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,OAAO,EAAE,IAAI;YACb,UAAU;YACV,YAAY,EAAE,IAAI,CAAC,IAAI;YACvB,UAAU;SACX,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC9D,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/src/browser.d.ts

@@ -40,7 +40,7 @@ export type { EvalResult } from './core/interpreter.js';
 export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
 export type { TypeKind, FieldInfo, ParameterInfo, } from './parser/input-generator.js';
 export type * from './types.js';
-export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons } from './config/lexicons/index.js';
+export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons, initializeAllBundledLexicons, } from './config/lexicons/index.js';
 export type { Lexicon } from './config/lexicons/types.js';
 export { getLspUiTexts } from './config/lexicons/lsp-ui-texts.js';
 export type { LspUiTexts } from './config/lexicons/lsp-ui-texts.js';
@@ -165,58 +165,8 @@ export declare function validateSyntaxWithSpan(source: string, lexicon?: Lexicon
  * @returns Array of tokens
  */
 export declare function tokenize(source: string, lexicon?: Lexicon): Token[];
-import type { ParameterInfo } from './parser/input-generator.js';
-/**
- * Schema extraction result
- */
-export interface SchemaResult {
-    /** Whether extraction succeeded */
-    success: boolean;
-    /** Module name */
-    moduleName?: string;
-    /** Function name */
-    functionName?: string;
-    /** Parameter schema */
-    parameters?: ParameterInfo[];
-    /** Error message if failed */
-    error?: string;
-}
-/**
- * Schema extraction options
- */
-export interface SchemaOptions {
-    /** CNL lexicon (default: EN_US) */
-    lexicon?: Lexicon;
-    /** Target function name (default: first function) */
-    functionName?: string;
-}
-/**
- * Extract schema from CNL source code
- *
- * Parses CNL source and extracts parameter schema for the specified function,
- * suitable for dynamic form generation.
- *
- * @param source - CNL source code
- * @param options - Schema extraction options
- * @returns Schema extraction result
- *
- * @example
- * ```typescript
- * const result = extractSchema(`
- *   Module loan.
- *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
- *   Rule evaluate given application as LoanApplication, produce Bool:
- *     If application.creditScore >= 700 then Return true
- *     Otherwise Return false.
- * `);
- *
- * if (result.success) {
- *   console.log(result.parameters);
- *   // [{ name: 'application', type: 'LoanApplication', typeKind: 'struct', ... }]
- * }
- * ```
- */
-export declare function extractSchema(source: string, options?: SchemaOptions): SchemaResult;
+export { extractSchema } from './browser/schema.js';
+export type { SchemaResult, SchemaOptions } from './browser/schema.js';
 export { typecheckBrowser } from './typecheck/browser.js';
 export type { BrowserTypecheckOptions } from './typecheck/browser.js';
 export type { TypecheckDiagnostic } from './types.js';

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

@@ -1 +1 @@
-{"version":3,"file":"browser.d.ts","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,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,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,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;AAIhC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAC7G,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAUpE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAM1D;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;IACxB,gEAAgE;IAChE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qEAAqE;IACrE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4EAA4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAgF/E;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,eAAe,EAAE,CAmC3F;AAGD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,EAAE,CAInE;AAMD,OAAO,KAAK,EAAY,aAAa,EAAa,MAAM,6BAA6B,CAAC;AAGtF;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,mCAAmC;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,8BAA8B;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,qDAAqD;IACrD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AA6DD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,CA+GnF;AAMD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACtE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,GAClD,aAAa,GAAG;IAAE,UAAU,EAAE,OAAO,YAAY,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAqB5E"}
+{"version":3,"file":"browser.d.ts","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,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,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,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;AAOhC,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EACf,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAUpE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAM1D;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;IACxB,gEAAgE;IAChE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qEAAqE;IACrE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4EAA4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAqF/E;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,eAAe,EAAE,CAmC3F;AAGD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,EAAE,CAInE;AAQD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAMvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACtE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,GAClD,aAAa,GAAG;IAAE,UAAU,EAAE,OAAO,YAAY,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAqB5E"}

package/dist/src/browser.js

@@ -41,9 +41,12 @@ export { Node } from './ast/ast.js';
 export { evaluate } from './core/interpreter.js';
 // Input value generation (for policy execution)
 export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
-// Lexicons for multi-language support
-import { LexiconRegistry, initializeDefaultLexicons } from './config/lexicons/index.js';
-export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons } from './config/lexicons/index.js';
+// Lexicons for multi-language support.
+// 浏览器路径下使用 initializeAllBundledLexicons —— 因为浏览器 bundle 本来就把
+// en/zh/de 编译进去，不存在"按需加载"的服务端约束。后续可在 next major 时
+// 由消费者改用 initializeDefaultLexicons + 显式 register。
+import { LexiconRegistry, initializeAllBundledLexicons } from './config/lexicons/index.js';
+export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons, initializeAllBundledLexicons, } from './config/lexicons/index.js';
 // LSP UI texts (localized labels for hover, completion, etc.)
 export { getLspUiTexts } from './config/lexicons/lsp-ui-texts.js';
 // ============================================================================
@@ -91,7 +94,8 @@ export function compile(source, options) {
         let canonical;
         if (domain) {
             // Resolve effective lexicon for domain translation (default to EN_US)
-            const effectiveLexicon = lexicon ?? (initializeDefaultLexicons(), LexiconRegistry.getDefault());
+            // M3: 浏览器入口预注册 en + zh + de（这些已在 bundle 里）
+            const effectiveLexicon = lexicon ?? (initializeAllBundledLexicons(), LexiconRegistry.getDefault());
             canonical = canonicalize(source, { lexicon: effectiveLexicon, domain, locale: effectiveLexicon.id });
         }
         else {
@@ -109,8 +113,11 @@ export function compile(source, options) {
         // Step 4: Parse to AST (now with English tokens)
         const effectiveLex = lexicon ? attachTypeInferenceRules(lexicon) : undefined;
         const parseResult = parse(tokens, effectiveLex);
-        // Check for parse errors
-        if (parseResult.diagnostics.length > 0 && parseResult.ast.decls.length === 0) {
+        // Parse 诊断分级：error 必须导致 success=false（即使部分 decl 可恢复），
+        // warning 不阻塞编译。原实现仅在 decls 全空时才报失败，导致调用方在
+        // 部分恢复场景下误以为编译成功 —— 实际产物（Core IR）来自残缺 AST。
+        const parseErrorDiagnostics = parseResult.diagnostics.filter(d => d.severity === 'error');
+        if (parseErrorDiagnostics.length > 0) {
             const result = {
                 success: false,
                 parseErrors: parseResult.diagnostics.map(d => ({
@@ -131,6 +138,7 @@ export function compile(source, options) {
             core,
         };
         if (parseResult.diagnostics.length > 0) {
+            // 此时只剩 warning（error 已在上面 short-circuit），保留以便调用方展示
             result.parseErrors = parseResult.diagnostics.map(d => ({ message: d.message, span: d.span }));
         }
         if (options?.includeIntermediates) {
@@ -212,186 +220,12 @@ export function tokenize(source, lexicon) {
     const canonical = canonicalize(source, lexicon);
     return lex(canonical, lexicon);
 }
-/**
- * Convert AST Type to type kind
- */
-function getTypeKind(type) {
-    if (!type || typeof type !== 'object' || !('kind' in type)) {
-        return 'unknown';
-    }
-    switch (type.kind) {
-        case 'TypeName': {
-            const name = type.name.toLowerCase();
-            if (['int', 'float', 'double', 'number', 'bool', 'boolean', 'text', 'string', 'datetime', 'date', 'time'].includes(name)) {
-                return 'primitive';
-            }
-            // Custom type names are typically structs
-            return 'struct';
-        }
-        case 'List':
-            return 'list';
-        case 'Map':
-            return 'map';
-        case 'Option':
-        case 'Maybe':
-            return 'option';
-        case 'Result':
-            return 'result';
-        case 'FuncType':
-            return 'function';
-        default:
-            return 'unknown';
-    }
-}
-/**
- * Convert AST Type to display string
- */
-function typeToString(type) {
-    if (!type || typeof type !== 'object' || !('kind' in type)) {
-        return 'Unknown';
-    }
-    switch (type.kind) {
-        case 'TypeName':
-            return type.name;
-        case 'List':
-            return `List<${typeToString(type.type)}>`;
-        case 'Map':
-            return `Map<${typeToString(type.key)}, ${typeToString(type.val)}>`;
-        case 'Option':
-            return `Option<${typeToString(type.type)}>`;
-        case 'Maybe':
-            return `Maybe<${typeToString(type.type)}>`;
-        case 'Result':
-            return `Result<${typeToString(type.ok)}, ${typeToString(type.err)}>`;
-        default:
-            return 'Unknown';
-    }
-}
-/**
- * Extract schema from CNL source code
- *
- * Parses CNL source and extracts parameter schema for the specified function,
- * suitable for dynamic form generation.
- *
- * @param source - CNL source code
- * @param options - Schema extraction options
- * @returns Schema extraction result
- *
- * @example
- * ```typescript
- * const result = extractSchema(`
- *   Module loan.
- *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
- *   Rule evaluate given application as LoanApplication, produce Bool:
- *     If application.creditScore >= 700 then Return true
- *     Otherwise Return false.
- * `);
- *
- * if (result.success) {
- *   console.log(result.parameters);
- *   // [{ name: 'application', type: 'LoanApplication', typeKind: 'struct', ... }]
- * }
- * ```
- */
-export function extractSchema(source, options) {
-    try {
-        const lexicon = options?.lexicon;
-        // Canonicalize with lexicon for language-specific normalization
-        const canonical = canonicalize(source, lexicon);
-        let tokens = lex(canonical, lexicon);
-        // Translate non-English tokens to English for parser compatibility
-        if (lexicon && needsKeywordTranslation(lexicon)) {
-            const translator = createKeywordTranslator(lexicon);
-            tokens = translator.translateTokens(tokens);
-        }
-        // Parse to AST
-        const effectiveLexForSchema = lexicon ? attachTypeInferenceRules(lexicon) : undefined;
-        const parseResult = parse(tokens, effectiveLexForSchema);
-        if (parseResult.diagnostics.length > 0 && parseResult.ast.decls.length === 0) {
-            return {
-                success: false,
-                error: parseResult.diagnostics[0]?.message ?? 'Parse failed',
-            };
-        }
-        const module = parseResult.ast;
-        const moduleName = module.name ?? 'unknown';
-        // Find all Data declarations (for struct field resolution)
-        const dataDecls = new Map();
-        for (const decl of module.decls) {
-            if (decl.kind === 'Data') {
-                const data = decl;
-                const fields = data.fields.map((f) => ({
-                    name: f.name,
-                    type: typeToString(f.type),
-                    typeKind: getTypeKind(f.type),
-                }));
-                dataDecls.set(data.name, fields);
-            }
-        }
-        // Find the target function
-        const funcs = module.decls.filter((d) => d.kind === 'Func');
-        if (funcs.length === 0) {
-            return {
-                success: false,
-                error: 'No functions found in module',
-            };
-        }
-        const targetFuncName = options?.functionName;
-        const func = targetFuncName
-            ? funcs.find((f) => f.name === targetFuncName)
-            : funcs[0];
-        if (!func) {
-            return {
-                success: false,
-                error: targetFuncName
-                    ? `Function '${targetFuncName}' not found`
-                    : 'No functions found in module',
-            };
-        }
-        // Extract parameters
-        const parameters = func.params.map((param, index) => {
-            let typeName = typeToString(param.type);
-            let typeKind = getTypeKind(param.type);
-            let fields;
-            // Resolve struct fields if applicable
-            if (typeKind === 'struct' && dataDecls.has(typeName)) {
-                fields = dataDecls.get(typeName);
-            }
-            else if (typeKind === 'primitive' && dataDecls.has(param.name)) {
-                // 当参数类型为基本类型但参数名与 Data 定义匹配时，
-                // 推断参数类型为该 Data 类型（支持中文无类型参数语法）
-                // 例如：规则 评估贷款 给定 申请人：
-                // 此时参数名"申请人"与 Data "申请人"匹配，推断类型为结构体
-                typeName = param.name;
-                typeKind = 'struct';
-                fields = dataDecls.get(param.name);
-            }
-            const result = {
-                name: param.name,
-                type: typeName,
-                typeKind,
-                optional: false, // Parameters don't have optional field in AST
-                position: index,
-            };
-            if (fields) {
-                result.fields = fields;
-            }
-            return result;
-        });
-        return {
-            success: true,
-            moduleName,
-            functionName: func.name,
-            parameters,
-        };
-    }
-    catch (error) {
-        return {
-            success: false,
-            error: error instanceof Error ? error.message : String(error),
-        };
-    }
-}
+// ============================================================================
+// Schema extraction API (for dynamic form generation)
+// ============================================================================
+// 实现移到 ./browser/schema.ts；这里只再导出以保持公共 API 不变。
+// 见 Round-3 codex 重构记录。
+export { extractSchema } from './browser/schema.js';
 // ============================================================================
 // Browser-compatible Type Checking API
 // ============================================================================