@aster-cloud/aster-lang-ts 0.0.5 → 0.0.6

package/dist/src/browser.d.ts

@@ -0,0 +1,116 @@
+/**
+ * @module @aster-cloud/aster-lang-ts/browser
+ *
+ * Lightweight browser/edge-compatible entry point for Aster CNL compiler.
+ * This module excludes Node.js dependencies and is suitable for:
+ * - Browser-based editors
+ * - Cloudflare Workers/Pages
+ * - Edge runtimes (Vercel Edge, Deno Deploy, etc.)
+ *
+ * **Compilation Pipeline**:
+ * ```
+ * CNL Source → canonicalize → lex → parse → AST → lowerModule → Core IR → typecheck
+ * ```
+ *
+ * @example Basic compilation
+ * ```typescript
+ * import { compile, compileWithDiagnostics } from '@aster-cloud/aster-lang-ts/browser';
+ *
+ * const source = `This module is app. To greet name String, produce String: Return "Hello, " + name.`;
+ * const result = compile(source);
+ *
+ * if (result.success) {
+ *   console.log('Compiled Core IR:', result.core);
+ * } else {
+ *   console.error('Compilation errors:', result.errors);
+ * }
+ * ```
+ */
+export { canonicalize } from './frontend/canonicalizer.js';
+export { lex } from './frontend/lexer.js';
+export { parse } from './parser.js';
+export { lowerModule } from './lower_to_core.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';
+export { TokenKind, KW } from './frontend/tokens.js';
+export { Node } from './ast/ast.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 type { Lexicon } from './config/lexicons/types.js';
+import type { Core as CoreTypes, Token, Module as AstModule } from './types.js';
+import type { Lexicon } from './config/lexicons/types.js';
+/**
+ * Compilation result with success/failure status
+ */
+export interface CompileResult {
+    /** Whether compilation succeeded */
+    success: boolean;
+    /** Compiled Core IR module (if successful) */
+    core?: CoreTypes.Module;
+    /** Parse errors (if any) */
+    parseErrors?: string[];
+    /** Lowering errors (if any) */
+    loweringErrors?: string[];
+    /** Raw tokens from lexer (only when includeIntermediates is true) */
+    tokens?: Token[];
+    /** AST from parser (only when includeIntermediates is true) */
+    ast?: AstModule;
+}
+/**
+ * Compilation options
+ */
+export interface CompileOptions {
+    /** CNL lexicon (default: EN_US). Pass a Lexicon object from the exports. */
+    lexicon?: Lexicon;
+    /** Include intermediate representations in result */
+    includeIntermediates?: boolean;
+}
+/**
+ * Compile CNL source code to Core IR
+ *
+ * This is the main compilation function for browser/edge use.
+ * It runs the full compilation pipeline without type checking
+ * (type checking requires module resolution which needs file system access).
+ *
+ * @param source - CNL source code
+ * @param options - Compilation options
+ * @returns Compilation result with Core IR or errors
+ *
+ * @example
+ * ```typescript
+ * const result = compile(`
+ *   This module is pricing.
+ *   To calculate_discount amount Number, produce Number:
+ *     If amount > 100 then Return amount * 0.1
+ *     Otherwise Return 0.
+ * `);
+ *
+ * if (result.success) {
+ *   console.log(result.core);
+ * }
+ * ```
+ */
+export declare function compile(source: string, options?: CompileOptions): CompileResult;
+/**
+ * Validate CNL source code syntax without full compilation
+ *
+ * This is a lightweight validation that only runs lexer and parser,
+ * useful for real-time editor validation.
+ *
+ * @param source - CNL source code
+ * @param lexicon - CNL lexicon (optional, defaults to EN_US)
+ * @returns Array of error messages (empty if valid)
+ */
+export declare function validateSyntax(source: string, lexicon?: Lexicon): string[];
+/**
+ * Get tokens from CNL source (for syntax highlighting)
+ *
+ * @param source - CNL source code
+ * @param lexicon - CNL lexicon (optional, defaults to EN_US)
+ * @returns Array of tokens
+ */
+export declare function tokenize(source: string, lexicon?: Lexicon): Token[];
+//# sourceMappingURL=browser.d.ts.map

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

@@ -0,0 +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,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;AAGhC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAC7G,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAU1D,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;AAE1D;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;IACxB,4BAA4B;IAC5B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,+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,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAyC/E;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,MAAM,EAAE,CAc1E;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,EAAE,CAGnE"}

package/dist/src/browser.js

@@ -0,0 +1,149 @@
+/**
+ * @module @aster-cloud/aster-lang-ts/browser
+ *
+ * Lightweight browser/edge-compatible entry point for Aster CNL compiler.
+ * This module excludes Node.js dependencies and is suitable for:
+ * - Browser-based editors
+ * - Cloudflare Workers/Pages
+ * - Edge runtimes (Vercel Edge, Deno Deploy, etc.)
+ *
+ * **Compilation Pipeline**:
+ * ```
+ * CNL Source → canonicalize → lex → parse → AST → lowerModule → Core IR → typecheck
+ * ```
+ *
+ * @example Basic compilation
+ * ```typescript
+ * import { compile, compileWithDiagnostics } from '@aster-cloud/aster-lang-ts/browser';
+ *
+ * const source = `This module is app. To greet name String, produce String: Return "Hello, " + name.`;
+ * const result = compile(source);
+ *
+ * if (result.success) {
+ *   console.log('Compiled Core IR:', result.core);
+ * } else {
+ *   console.error('Compilation errors:', result.errors);
+ * }
+ * ```
+ */
+// Core compilation pipeline functions
+export { canonicalize } from './frontend/canonicalizer.js';
+export { lex } from './frontend/lexer.js';
+export { parse } from './parser.js';
+export { lowerModule } from './lower_to_core.js';
+// Keyword translation (multi-language CNL support)
+export { createKeywordTranslator, buildKeywordTranslationIndex, buildFullTranslationIndex, translateTokens, translateTokensWithMarkers, translateToken, needsKeywordTranslation, } from './frontend/keyword-translator.js';
+// Core types and enums
+export { Core, Effect } from './core/core_ir.js';
+export { TokenKind, KW } from './frontend/tokens.js';
+export { Node } from './ast/ast.js';
+// Input value generation (for policy execution)
+export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
+// Lexicons for multi-language support
+export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons } from './config/lexicons/index.js';
+// ============================================================================
+// High-level compilation API (browser-friendly)
+// ============================================================================
+import { canonicalize } from './frontend/canonicalizer.js';
+import { lex } from './frontend/lexer.js';
+import { parse } from './parser.js';
+import { lowerModule } from './lower_to_core.js';
+/**
+ * Compile CNL source code to Core IR
+ *
+ * This is the main compilation function for browser/edge use.
+ * It runs the full compilation pipeline without type checking
+ * (type checking requires module resolution which needs file system access).
+ *
+ * @param source - CNL source code
+ * @param options - Compilation options
+ * @returns Compilation result with Core IR or errors
+ *
+ * @example
+ * ```typescript
+ * const result = compile(`
+ *   This module is pricing.
+ *   To calculate_discount amount Number, produce Number:
+ *     If amount > 100 then Return amount * 0.1
+ *     Otherwise Return 0.
+ * `);
+ *
+ * if (result.success) {
+ *   console.log(result.core);
+ * }
+ * ```
+ */
+export function compile(source, options) {
+    try {
+        // Step 1: Canonicalize source
+        const canonical = canonicalize(source);
+        // Step 2: Lexical analysis
+        const tokens = lex(canonical, options?.lexicon);
+        // Step 3: Parse to AST
+        const ast = parse(tokens);
+        // Check for parse errors
+        if ('error' in ast || !ast) {
+            const result = {
+                success: false,
+                parseErrors: ['error' in ast ? ast.error : 'Parse failed'],
+            };
+            if (options?.includeIntermediates) {
+                result.tokens = tokens;
+            }
+            return result;
+        }
+        // Step 4: Lower to Core IR
+        const core = lowerModule(ast);
+        const result = {
+            success: true,
+            core,
+        };
+        if (options?.includeIntermediates) {
+            result.tokens = tokens;
+            result.ast = ast;
+        }
+        return result;
+    }
+    catch (error) {
+        return {
+            success: false,
+            loweringErrors: [error instanceof Error ? error.message : String(error)],
+        };
+    }
+}
+/**
+ * Validate CNL source code syntax without full compilation
+ *
+ * This is a lightweight validation that only runs lexer and parser,
+ * useful for real-time editor validation.
+ *
+ * @param source - CNL source code
+ * @param lexicon - CNL lexicon (optional, defaults to EN_US)
+ * @returns Array of error messages (empty if valid)
+ */
+export function validateSyntax(source, lexicon) {
+    try {
+        const canonical = canonicalize(source);
+        const tokens = lex(canonical, lexicon);
+        const ast = parse(tokens);
+        if ('error' in ast) {
+            return [ast.error];
+        }
+        return [];
+    }
+    catch (error) {
+        return [error instanceof Error ? error.message : String(error)];
+    }
+}
+/**
+ * Get tokens from CNL source (for syntax highlighting)
+ *
+ * @param source - CNL source code
+ * @param lexicon - CNL lexicon (optional, defaults to EN_US)
+ * @returns Array of tokens
+ */
+export function tokenize(source, lexicon) {
+    const canonical = canonicalize(source);
+    return lex(canonical, lexicon);
+}
+//# sourceMappingURL=browser.js.map

package/dist/src/browser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"browser.js","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,sCAAsC;AACtC,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;AAEjD,mDAAmD;AACnD,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAO1C,uBAAuB;AACvB,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,gDAAgD;AAChD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAUrC,sCAAsC;AACtC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAG7G,+EAA+E;AAC/E,gDAAgD;AAChD,+EAA+E;AAE/E,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;AAgCjD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,OAAwB;IAC9D,IAAI,CAAC;QACH,8BAA8B;QAC9B,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEvC,2BAA2B;QAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAEhD,uBAAuB;QACvB,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAE1B,yBAAyB;QACzB,IAAI,OAAO,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAkB;gBAC5B,OAAO,EAAE,KAAK;gBACd,WAAW,EAAE,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAE,GAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC;aAClF,CAAC;YACF,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;gBAClC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,2BAA2B;QAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAE9B,MAAM,MAAM,GAAkB;YAC5B,OAAO,EAAE,IAAI;YACb,IAAI;SACL,CAAC;QACF,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAClC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACvB,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC;QACnB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,cAAc,EAAE,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAAiB;IAC9D,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAE1B,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;YACnB,OAAO,CAAE,GAAyB,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc,EAAE,OAAiB;IACxD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACjC,CAAC"}

package/dist/src/index.d.ts

@@ -34,5 +34,7 @@ export { TokenKind, KW } from './frontend/tokens.js';
 export { Node } from './ast/ast.js';
 export { typecheckModule, typecheckModuleWithCapabilities, loadImportedEffects, } from './typecheck.js';
 export type { TypecheckDiagnostic, TypecheckOptions } from './typecheck.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';
 //# sourceMappingURL=index.d.ts.map

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,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,EACL,eAAe,EACf,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG5E,mBAAmB,YAAY,CAAC"}
+{"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,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,EACL,eAAe,EACf,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG5E,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"}

package/dist/src/index.js

@@ -36,4 +36,6 @@ export { TokenKind, KW } from './frontend/tokens.js';
 export { Node } from './ast/ast.js';
 // 类型检查
 export { typecheckModule, typecheckModuleWithCapabilities, loadImportedEffects, } from './typecheck.js';
+// 输入值生成器（用于策略执行时自动生成示例输入）
+export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
 //# sourceMappingURL=index.js.map

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,MAAM,aAAa,CAAC;AACpC,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"}
+{"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,MAAM,aAAa,CAAC;AACpC,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;AAGxB,0BAA0B;AAC1B,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC"}

package/dist/src/parser/constraint-parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-parser.d.ts","sourceRoot":"","sources":["../../../src/parser/constraint-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,UAAU,EAA0D,IAAI,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACnH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC;CAC5B;AAED,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,GACzC,iBAAiB,CA2BnB;AAqKD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,EAClE,IAAI,EAAE,IAAI,GACT,UAAU,GAAG,IAAI,CAuBnB"}
+{"version":3,"file":"constraint-parser.d.ts","sourceRoot":"","sources":["../../../src/parser/constraint-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,UAAU,EAA0D,IAAI,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACnH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC;CAC5B;AAED,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,aAAa,EAClB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK,GACzC,iBAAiB,CA4BnB;AAqOD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,EAClE,IAAI,EAAE,IAAI,GACT,UAAU,GAAG,IAAI,CAuBnB"}

package/dist/src/parser/constraint-parser.js

@@ -25,10 +25,11 @@ export function parseConstraints(ctx, error) {
         }
         constraints.push(constraint.constraint);
         lastToken = constraint.endToken;
-        // 检查是否有 'and' 连接更多约束（仅在约束之间）
-        // 注意：不要消费字段之间的 'and'
+        // 检查是否还有后续约束
         if (isConstraintKeyword(ctx)) {
-            // 有更多约束，继续循环
+            continue;
+        }
+        if (skipConstraintConnector(ctx)) {
             continue;
         }
         break;
@@ -42,15 +43,67 @@ export function parseConstraints(ctx, error) {
  * 检查当前位置是否是约束关键词
  */
 function isConstraintKeyword(ctx) {
-    if (!ctx.at(TokenKind.IDENT)) {
+    return isConstraintToken(ctx.peek());
+}
+function isConstraintToken(token) {
+    if (!token)
+        return false;
+    if (token.kind !== TokenKind.IDENT &&
+        token.kind !== TokenKind.TYPE_IDENT &&
+        token.kind !== TokenKind.KEYWORD) {
         return false;
     }
-    const value = (ctx.peek().value || '').toLowerCase();
+    const value = (token.value || '').toLowerCase();
     return (value === KW.REQUIRED ||
         value === KW.BETWEEN ||
         value === KW.MATCHING ||
-        value === 'at' // 用于 'at least' / 'at most'
-    );
+        value === 'at');
+}
+/**
+ * 获取下一个非布局 token（跳过换行/缩进），便于判断连接词后的 token 类型
+ */
+function nextSignificantToken(ctx, startIndex) {
+    let idx = startIndex;
+    while (idx < ctx.tokens.length) {
+        const token = ctx.tokens[idx];
+        if (token.kind === TokenKind.NEWLINE ||
+            token.kind === TokenKind.INDENT ||
+            token.kind === TokenKind.DEDENT) {
+            idx++;
+            continue;
+        }
+        return token;
+    }
+    return null;
+}
+/**
+ * 跳过约束之间的连接符（',' 或 'and'）
+ */
+function skipConstraintConnector(ctx) {
+    const current = ctx.peek();
+    if (current.kind === TokenKind.COMMA) {
+        const nextToken = nextSignificantToken(ctx, ctx.index + 1);
+        if (isConstraintToken(nextToken ?? undefined)) {
+            ctx.next(); // consume comma
+            ctx.consumeNewlines();
+            ctx.consumeIndent();
+            return true;
+        }
+        return false;
+    }
+    if ((current.kind === TokenKind.IDENT ||
+        current.kind === TokenKind.TYPE_IDENT ||
+        current.kind === TokenKind.KEYWORD) &&
+        (current.value || '').toLowerCase() === KW.AND) {
+        const nextToken = nextSignificantToken(ctx, ctx.index + 1);
+        if (isConstraintToken(nextToken ?? undefined)) {
+            ctx.nextWord(); // consume 'and'
+            ctx.consumeNewlines();
+            ctx.consumeIndent();
+            return true;
+        }
+    }
+    return false;
 }
 /**
  * 尝试解析单个约束
@@ -58,10 +111,11 @@ function isConstraintKeyword(ctx) {
  * @returns 解析的约束，如果当前位置不是约束则返回 null
  */
 function tryParseConstraint(ctx, error) {
-    if (!ctx.at(TokenKind.IDENT)) {
+    const startToken = ctx.peek();
+    if (!isConstraintToken(startToken)) {
         return null;
     }
-    const value = (ctx.peek().value || '').toLowerCase();
+    const value = (startToken.value || '').toLowerCase();
     // 'required' - 必填约束
     if (value === KW.REQUIRED) {
         const startTok = ctx.next();

package/dist/src/parser/constraint-parser.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-parser.js","sourceRoot":"","sources":["../../../src/parser/constraint-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAkBtD,MAAM,UAAU,gBAAgB,CAC9B,GAAkB,EAClB,KAA0C;IAE1C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,SAA4B,CAAC;IAEjC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM;QACR,CAAC;QAED,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACxC,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC;QAEhC,6BAA6B;QAC7B,qBAAqB;QACrB,IAAI,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,aAAa;YACb,SAAS;QACX,CAAC;QAED,MAAM;IACR,CAAC;IAED,yCAAyC;IACzC,OAAO,SAAS,KAAK,SAAS;QAC5B,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE;QAC5B,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,GAAkB;IAC7C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,KAAK,GAAG,CAAE,GAAG,CAAC,IAAI,EAAE,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACjE,OAAO,CACL,KAAK,KAAK,EAAE,CAAC,QAAQ;QACrB,KAAK,KAAK,EAAE,CAAC,OAAO;QACpB,KAAK,KAAK,EAAE,CAAC,QAAQ;QACrB,KAAK,KAAK,IAAI,CAAC,4BAA4B;KAC5C,CAAC;AACJ,CAAC;AAOD;;;;GAIG;AACH,SAAS,kBAAkB,CACzB,GAAkB,EAClB,KAA0C;IAE1C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,CAAE,GAAG,CAAC,IAAI,EAAE,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAEjE,oBAAoB;IACpB,IAAI,KAAK,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;QAChE,MAAM,UAAU,GAAuB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAClE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,2BAA2B;IAC3B,IAAI,KAAK,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;QACzB,OAAO,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,sCAAsC;IACtC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,oCAAoC;IACpC,IAAI,KAAK,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,GAAkB,EAClB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,oBAAoB;IAEjD,QAAQ;IACR,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAEvC,WAAW;IACX,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,kCAAkC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,gBAAgB;IAEhC,QAAQ;IACR,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAEvC,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAoB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACtE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,GAAkB,EAClB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe;IAE5C,wBAAwB;IACxB,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,QAAQ,GAAG,CAAE,WAAW,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,KAAK,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IACD,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,2BAA2B;IAEvC,OAAO;IACP,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,UAAU,QAAQ,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAEzC,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;IAEhE,IAAI,UAA2B,CAAC;IAChC,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzB,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnD,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,GAAkB,EAClB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,qBAAqB;IAElD,oBAAoB;IACpB,IAAI,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAE,GAAG,CAAC,IAAI,EAAE,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;QACjG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,oBAAoB;IAClC,CAAC;IAED,aAAa;IACb,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAE1C,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;IACjE,MAAM,UAAU,GAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACxE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAkE,EAClE,IAAU;IAEV,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACpC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YAC/D,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YAC/D,yCAAyC;YACzC,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;gBACjC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;gBACjC,IAAI;aACc,CAAC;QACvB,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAW,CAAC;YACzD,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC3C,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}
+{"version":3,"file":"constraint-parser.js","sourceRoot":"","sources":["../../../src/parser/constraint-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAkBtD,MAAM,UAAU,gBAAgB,CAC9B,GAAkB,EAClB,KAA0C;IAE1C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,SAA4B,CAAC;IAEjC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM;QACR,CAAC;QAED,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACxC,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC;QAEhC,aAAa;QACb,IAAI,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,uBAAuB,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,MAAM;IACR,CAAC;IAED,yCAAyC;IACzC,OAAO,SAAS,KAAK,SAAS;QAC5B,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE;QAC5B,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,GAAkB;IAC7C,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAwB;IACjD,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IACE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK;QAC9B,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU;QACnC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAChC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,CAAE,KAAK,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5D,OAAO,CACL,KAAK,KAAK,EAAE,CAAC,QAAQ;QACrB,KAAK,KAAK,EAAE,CAAC,OAAO;QACpB,KAAK,KAAK,EAAE,CAAC,QAAQ;QACrB,KAAK,KAAK,IAAI,CACf,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,GAAkB,EAAE,UAAkB;IAClE,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,OAAO,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC;QAC/B,IACE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO;YAChC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;YAC/B,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,EAC/B,CAAC;YACD,GAAG,EAAE,CAAC;YACN,SAAS;QACX,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,GAAkB;IACjD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAE3B,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,iBAAiB,CAAC,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,gBAAgB;YAC5B,GAAG,CAAC,eAAe,EAAE,CAAC;YACtB,GAAG,CAAC,aAAa,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK;QAC/B,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU;QACrC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC;QACrC,CAAE,OAAO,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC,GAAG,EAC1D,CAAC;QACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAI,iBAAiB,CAAC,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,gBAAgB;YAChC,GAAG,CAAC,eAAe,EAAE,CAAC;YACtB,GAAG,CAAC,aAAa,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAOD;;;;GAIG;AACH,SAAS,kBAAkB,CACzB,GAAkB,EAClB,KAA0C;IAE1C,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,CAAE,UAAU,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAEjE,oBAAoB;IACpB,IAAI,KAAK,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;QAChE,MAAM,UAAU,GAAuB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAClE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,2BAA2B;IAC3B,IAAI,KAAK,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;QACzB,OAAO,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,sCAAsC;IACtC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,oCAAoC;IACpC,IAAI,KAAK,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,GAAkB,EAClB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,oBAAoB;IAEjD,QAAQ;IACR,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAEvC,WAAW;IACX,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,kCAAkC,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,gBAAgB;IAEhC,QAAQ;IACR,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAEvC,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAoB,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACtE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,GAAkB,EAClB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,eAAe;IAE5C,wBAAwB;IACxB,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,QAAQ,GAAG,CAAE,WAAW,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAChD,KAAK,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IACD,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,2BAA2B;IAEvC,OAAO;IACP,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,UAAU,QAAQ,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAEzC,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC;IAEhE,IAAI,UAA2B,CAAC;IAChC,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzB,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnD,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,GAAkB,EAClB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,qBAAqB;IAElD,oBAAoB;IACpB,IAAI,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAE,GAAG,CAAC,IAAI,EAAE,CAAC,KAAgB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;QACjG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,oBAAoB;IAClC,CAAC;IAED,aAAa;IACb,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,KAAe,CAAC;IAE1C,MAAM,IAAI,GAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;IACjE,MAAM,UAAU,GAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACxE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAkE,EAClE,IAAU;IAEV,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACpC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YAC/D,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAuB,CAAC;YAC/D,yCAAyC;YACzC,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;gBACjC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;gBACjC,IAAI;aACc,CAAC;QACvB,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAW,CAAC;YACzD,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC3C,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

package/dist/src/parser/input-generator.d.ts

@@ -0,0 +1,68 @@
+/**
+ * CNL 策略输入值生成器
+ *
+ * 根据字段名称和类型自动生成有意义的示例输入值，
+ * 用于策略执行时的输入自动填充。
+ *
+ * 生成策略：
+ * 1. 根据字段名匹配业务领域规则，生成符合业务语义的值
+ * 2. 根据字段类型生成合适的默认值
+ * 3. 支持嵌套结构（struct）和数组类型
+ *
+ * @example
+ * ```typescript
+ * // 金融领域
+ * generateFieldValue('creditScore', 'Int')     // → 720
+ * generateFieldValue('loanAmount', 'Float')    // → 50000.0
+ * generateFieldValue('interestRate', 'Float')  // → 5.5
+ * generateFieldValue('isApproved', 'Bool')     // → true
+ *
+ * // 用户信息
+ * generateFieldValue('applicantId', 'Text')    // → "APP-2024-001"
+ * generateFieldValue('applicantName', 'Text')  // → "John Smith"
+ * generateFieldValue('birthDate', 'DateTime')  // → "1990-01-15"
+ * ```
+ */
+/** 类型种类 */
+export type TypeKind = 'primitive' | 'struct' | 'enum' | 'list' | 'map' | 'option' | 'result' | 'function' | 'unknown';
+/** 字段信息 */
+export interface FieldInfo {
+    name: string;
+    type: string;
+    typeKind: TypeKind;
+    fields?: FieldInfo[];
+}
+/** 参数信息 */
+export interface ParameterInfo {
+    name: string;
+    type: string;
+    typeKind: TypeKind;
+    optional: boolean;
+    position: number;
+    fields?: FieldInfo[];
+}
+/**
+ * 根据字段名和类型生成示例值
+ *
+ * @param fieldName 字段名称
+ * @param typeName 类型名称（如 'Int', 'Float', 'Text', 'Bool', 'DateTime'）
+ * @param typeKind 类型种类（如 'primitive', 'struct', 'list'）
+ * @returns 生成的示例值
+ */
+export declare function generateFieldValue(fieldName: string, typeName: string, typeKind?: TypeKind): unknown;
+/**
+ * 为完整的参数列表生成输入值
+ *
+ * @param parameters 参数列表
+ * @returns 生成的输入值对象
+ */
+export declare function generateInputValues(parameters: ParameterInfo[]): Record<string, unknown>;
+/**
+ * 获取字段的示例值描述（用于 UI 提示）
+ *
+ * @param fieldName 字段名称
+ * @param typeName 类型名称
+ * @returns 示例值描述
+ */
+export declare function getFieldValueHint(fieldName: string, typeName: string): string;
+//# sourceMappingURL=input-generator.d.ts.map

package/dist/src/parser/input-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-generator.d.ts","sourceRoot":"","sources":["../../../src/parser/input-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,WAAW;AACX,MAAM,MAAM,QAAQ,GAChB,WAAW,GACX,QAAQ,GACR,MAAM,GACN,MAAM,GACN,KAAK,GACL,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,SAAS,CAAC;AAEd,WAAW;AACX,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;CACtB;AAED,WAAW;AACX,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;CACtB;AAoZD;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,QAAQ,GAAE,QAAsB,GAC/B,OAAO,CAUT;AA0ID;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,aAAa,EAAE,GAC1B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA4BzB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAQ7E"}