@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/ai/provenance.js

@@ -0,0 +1,95 @@
+/**
+ * Provenance Tracker
+ *
+ * 負責生成和管理 AI 生成代碼的來源元數據註釋頭
+ */
+export class ProvenanceTracker {
+    /**
+     * 生成 provenance 註釋頭
+     *
+     * @param metadata - Provenance 元數據
+     * @returns 格式化的註釋頭字符串
+     */
+    generateHeader(metadata) {
+        const lines = [
+            '// ========================================',
+            '// Generated by: Aster AI Code Generator',
+            `// Model: ${metadata.model}`,
+            `// Provider: ${metadata.provider}`,
+            `// Prompt: ${this.escapePrompt(metadata.prompt)}`,
+            `// Timestamp: ${metadata.timestamp}`,
+            `// Validated: ${metadata.validated ? 'true' : 'false'}`,
+            '// ========================================',
+            '', // 空行分隔註釋和代碼
+        ];
+        return lines.join('\n');
+    }
+    /**
+     * 添加 provenance 註釋頭到 CNL 代碼
+     *
+     * @param code - 原始 CNL 代碼
+     * @param metadata - Provenance 元數據
+     * @returns 帶註釋頭的 CNL 代碼
+     */
+    addProvenanceToCode(code, metadata) {
+        const header = this.generateHeader(metadata);
+        return `${header}${code}`;
+    }
+    /**
+     * 轉義 prompt 中的特殊字符
+     *
+     * 避免換行符和過長的 prompt 破壞註釋格式
+     *
+     * @param prompt - 原始 prompt
+     * @returns 轉義後的 prompt
+     */
+    escapePrompt(prompt) {
+        // 替換換行符為空格，去除多餘空格
+        const cleaned = prompt.replace(/[\r\n]+/g, ' ').replace(/\s+/g, ' ').trim();
+        // 截斷過長的 prompt
+        const maxLength = 200;
+        if (cleaned.length > maxLength) {
+            return `${cleaned.slice(0, maxLength)}...`;
+        }
+        return cleaned;
+    }
+    /**
+     * 從代碼中提取 provenance 元數據
+     *
+     * 可選功能，用於分析已生成的代碼
+     *
+     * @param code - 帶 provenance 註釋的 CNL 代碼
+     * @returns Provenance 元數據，如果無法提取則返回 null
+     */
+    extractProvenance(code) {
+        try {
+            // 匹配 provenance 註釋頭中的各個字段
+            const modelMatch = code.match(/\/\/ Model: (.+)/);
+            const providerMatch = code.match(/\/\/ Provider: (.+)/);
+            const promptMatch = code.match(/\/\/ Prompt: (.+)/);
+            const timestampMatch = code.match(/\/\/ Timestamp: (.+)/);
+            const validatedMatch = code.match(/\/\/ Validated: (true|false)/);
+            // 所有字段都匹配才返回結果
+            if (modelMatch && modelMatch[1] &&
+                providerMatch && providerMatch[1] &&
+                promptMatch && promptMatch[1] &&
+                timestampMatch && timestampMatch[1] &&
+                validatedMatch && validatedMatch[1]) {
+                return {
+                    model: modelMatch[1].trim(),
+                    provider: providerMatch[1].trim(),
+                    prompt: promptMatch[1].trim(),
+                    timestamp: timestampMatch[1].trim(),
+                    validated: validatedMatch[1] === 'true',
+                };
+            }
+            return null;
+        }
+        catch (error) {
+            // 解析失敗返回 null
+            console.error(error);
+            return null;
+        }
+    }
+}
+//# sourceMappingURL=provenance.js.map

package/dist/src/ai/provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.js","sourceRoot":"","sources":["../../../src/ai/provenance.ts"],"names":[],"mappings":"AAkCA;;;;GAIG;AACH,MAAM,OAAO,iBAAiB;IAC5B;;;;;OAKG;IACH,cAAc,CAAC,QAA4B;QACzC,MAAM,KAAK,GAAG;YACZ,6CAA6C;YAC7C,0CAA0C;YAC1C,aAAa,QAAQ,CAAC,KAAK,EAAE;YAC7B,gBAAgB,QAAQ,CAAC,QAAQ,EAAE;YACnC,cAAc,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YAClD,iBAAiB,QAAQ,CAAC,SAAS,EAAE;YACrC,iBAAiB,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE;YACxD,6CAA6C;YAC7C,EAAE,EAAG,YAAY;SAClB,CAAC;QACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;OAMG;IACH,mBAAmB,CAAC,IAAY,EAAE,QAA4B;QAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC7C,OAAO,GAAG,MAAM,GAAG,IAAI,EAAE,CAAC;IAC5B,CAAC;IAED;;;;;;;OAOG;IACK,YAAY,CAAC,MAAc;QACjC,kBAAkB;QAClB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAE5E,eAAe;QACf,MAAM,SAAS,GAAG,GAAG,CAAC;QACtB,IAAI,OAAO,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;YAC/B,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC;QAC7C,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;;;OAOG;IACH,iBAAiB,CAAC,IAAY;QAC5B,IAAI,CAAC;YACH,0BAA0B;YAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAClD,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACxD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACpD,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAC1D,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;YAElE,eAAe;YACf,IACE,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC;gBAC3B,aAAa,IAAI,aAAa,CAAC,CAAC,CAAC;gBACjC,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC;gBAC7B,cAAc,IAAI,cAAc,CAAC,CAAC,CAAC;gBACnC,cAAc,IAAI,cAAc,CAAC,CAAC,CAAC,EACnC,CAAC;gBACD,OAAO;oBACL,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;oBAC3B,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;oBACjC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;oBAC7B,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;oBACnC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM;iBACxC,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc;YACd,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;CACF"}

package/dist/src/ai/providers/anthropic.d.ts

@@ -0,0 +1,14 @@
+import type { LLMProvider, LLMRequest, LLMResponse } from '../llm-provider.js';
+export interface AnthropicConfig {
+    apiKey?: string;
+    model?: string;
+}
+export declare class AnthropicProvider implements LLMProvider {
+    private client;
+    private model;
+    constructor(config?: AnthropicConfig);
+    generate(request: LLMRequest): Promise<LLMResponse>;
+    getName(): string;
+    getModel(): string;
+}
+//# sourceMappingURL=anthropic.d.ts.map

package/dist/src/ai/providers/anthropic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anthropic.d.ts","sourceRoot":"","sources":["../../../../src/ai/providers/anthropic.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAG/E,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,iBAAkB,YAAW,WAAW;IACnD,OAAO,CAAC,MAAM,CAAY;IAC1B,OAAO,CAAC,KAAK,CAAS;gBAEV,MAAM,GAAE,eAAoB;IAUlC,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC;IA8CzD,OAAO,IAAI,MAAM;IAIjB,QAAQ,IAAI,MAAM;CAGnB"}

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

@@ -0,0 +1,56 @@
+import Anthropic from '@anthropic-ai/sdk';
+import { LLMError } from '../llm-provider.js';
+export class AnthropicProvider {
+    client;
+    model;
+    constructor(config = {}) {
+        const apiKey = config.apiKey || process.env.ANTHROPIC_API_KEY;
+        if (!apiKey) {
+            throw new LLMError('缺少 Anthropic API key，請設置 ANTHROPIC_API_KEY 環境變量', 'anthropic');
+        }
+        this.client = new Anthropic({ apiKey });
+        this.model = config.model || 'claude-3-5-sonnet-20241022';
+    }
+    async generate(request) {
+        try {
+            // 構建符合 Anthropic 格式的 prompt
+            let prompt = '';
+            if (request.systemPrompt) {
+                prompt += `${request.systemPrompt}\n\n`;
+            }
+            prompt += `\n\nHuman: ${request.prompt}\n\nAssistant:`;
+            const response = await this.client.completions.create({
+                model: this.model,
+                max_tokens_to_sample: request.maxTokens ?? 4000,
+                temperature: request.temperature ?? 0.7,
+                prompt,
+            });
+            if (!response.completion) {
+                throw new LLMError('Anthropic 返回空內容', 'anthropic');
+            }
+            return {
+                content: response.completion,
+                model: response.model,
+                usage: {
+                    // Anthropic completions API 不返回 usage 統計，使用估算值
+                    promptTokens: Math.ceil(prompt.length / 4),
+                    completionTokens: Math.ceil(response.completion.length / 4),
+                    totalTokens: Math.ceil((prompt.length + response.completion.length) / 4),
+                },
+            };
+        }
+        catch (error) {
+            if (error instanceof Anthropic.APIError) {
+                throw new LLMError(`Anthropic API 錯誤: ${error.message}`, 'anthropic', error);
+            }
+            throw new LLMError(`Anthropic 調用失敗: ${error instanceof Error ? error.message : String(error)}`, 'anthropic', error instanceof Error ? error : undefined);
+        }
+    }
+    getName() {
+        return 'anthropic';
+    }
+    getModel() {
+        return this.model;
+    }
+}
+//# sourceMappingURL=anthropic.js.map

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

@@ -0,0 +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"}

package/dist/src/ai/providers/openai.d.ts

@@ -0,0 +1,15 @@
+import type { LLMProvider, LLMRequest, LLMResponse } from '../llm-provider.js';
+export interface OpenAIConfig {
+    apiKey?: string;
+    model?: string;
+    organization?: string;
+}
+export declare class OpenAIProvider implements LLMProvider {
+    private client;
+    private model;
+    constructor(config?: OpenAIConfig);
+    generate(request: LLMRequest): Promise<LLMResponse>;
+    getName(): string;
+    getModel(): string;
+}
+//# sourceMappingURL=openai.d.ts.map

package/dist/src/ai/providers/openai.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"openai.d.ts","sourceRoot":"","sources":["../../../../src/ai/providers/openai.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAG/E,MAAM,WAAW,YAAY;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,qBAAa,cAAe,YAAW,WAAW;IAChD,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,KAAK,CAAS;gBAEV,MAAM,GAAE,YAAiB;IAa/B,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC;IA6CzD,OAAO,IAAI,MAAM;IAIjB,QAAQ,IAAI,MAAM;CAGnB"}

package/dist/src/ai/providers/openai.js

@@ -0,0 +1,58 @@
+import OpenAI from 'openai';
+import { LLMError } from '../llm-provider.js';
+export class OpenAIProvider {
+    client;
+    model;
+    constructor(config = {}) {
+        const apiKey = config.apiKey || process.env.OPENAI_API_KEY;
+        if (!apiKey) {
+            throw new LLMError('缺少 OpenAI API key，請設置 OPENAI_API_KEY 環境變量', 'openai');
+        }
+        this.client = new OpenAI({
+            apiKey,
+            organization: config.organization,
+        });
+        this.model = config.model || 'gpt-4-turbo';
+    }
+    async generate(request) {
+        try {
+            const messages = [];
+            if (request.systemPrompt) {
+                messages.push({ role: 'system', content: request.systemPrompt });
+            }
+            messages.push({ role: 'user', content: request.prompt });
+            const response = await this.client.chat.completions.create({
+                model: this.model,
+                messages,
+                temperature: request.temperature ?? 0.0, // 使用 temperature=0 确保确定性输出
+                max_tokens: request.maxTokens ?? 4000,
+            });
+            const choice = response.choices[0];
+            if (!choice?.message?.content) {
+                throw new LLMError('OpenAI 返回空內容', 'openai');
+            }
+            return {
+                content: choice.message.content,
+                model: response.model,
+                usage: {
+                    promptTokens: response.usage?.prompt_tokens ?? 0,
+                    completionTokens: response.usage?.completion_tokens ?? 0,
+                    totalTokens: response.usage?.total_tokens ?? 0,
+                },
+            };
+        }
+        catch (error) {
+            if (error instanceof OpenAI.APIError) {
+                throw new LLMError(`OpenAI API 錯誤: ${error.message}`, 'openai', error);
+            }
+            throw new LLMError(`OpenAI 調用失敗: ${error instanceof Error ? error.message : String(error)}`, 'openai', error instanceof Error ? error : undefined);
+        }
+    }
+    getName() {
+        return 'openai';
+    }
+    getModel() {
+        return this.model;
+    }
+}
+//# sourceMappingURL=openai.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"openai.js","sourceRoot":"","sources":["../../../../src/ai/providers/openai.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAE5B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAQ9C,MAAM,OAAO,cAAc;IACjB,MAAM,CAAS;IACf,KAAK,CAAS;IAEtB,YAAY,SAAuB,EAAE;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,QAAQ,CAAC,2CAA2C,EAAE,QAAQ,CAAC,CAAC;QAC5E,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,CAAC;YACvB,MAAM;YACN,YAAY,EAAE,MAAM,CAAC,YAAY;SAClC,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAmB;QAChC,IAAI,CAAC;YACH,MAAM,QAAQ,GAA6C,EAAE,CAAC;YAC9D,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;YACnE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YAEzD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBACzD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ;gBACR,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG,EAAG,2BAA2B;gBACrE,UAAU,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;aACtC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;gBAC9B,MAAM,IAAI,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;YAC/C,CAAC;YAED,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;gBAC/B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,KAAK,EAAE;oBACL,YAAY,EAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,IAAI,CAAC;oBAChD,gBAAgB,EAAE,QAAQ,CAAC,KAAK,EAAE,iBAAiB,IAAI,CAAC;oBACxD,WAAW,EAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,IAAI,CAAC;iBAC/C;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrC,MAAM,IAAI,QAAQ,CAChB,kBAAkB,KAAK,CAAC,OAAO,EAAE,EACjC,QAAQ,EACR,KAAK,CACN,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,QAAQ,CAChB,gBAAgB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EACxE,QAAQ,EACR,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF"}

package/dist/src/ai/validator.d.ts

@@ -0,0 +1,68 @@
+import { type TypecheckDiagnostic } from '../typecheck.js';
+import type { Core } from '../types.js';
+/**
+ * 验证结果接口
+ */
+export interface ValidationResult {
+    /**
+     * 验证是否通过
+     * - true: CNL 代码无语法或类型错误
+     * - false: 存在错误或警告
+     */
+    valid: boolean;
+    /**
+     * 诊断信息列表
+     * 包含所有错误、警告和提示信息
+     */
+    diagnostics: TypecheckDiagnostic[];
+    /**
+     * Core IR（仅在验证通过时）
+     * 用于后续的代码生成或转换
+     */
+    coreIR?: Core.Module;
+}
+/**
+ * Policy Validator
+ *
+ * 封装 policy-converter 的编译流程，提供字符串输入的验证接口。
+ * 验证 LLM 生成的 CNL 代码是否通过完整的编译管线：
+ * canonicalize → lex → parse → lowerModule → typecheck
+ */
+export declare class PolicyValidator {
+    /**
+     * 验证 CNL 代码
+     *
+     * @param cnlCode - Aster CNL 源代码字符串
+     * @returns 验证结果，包含 valid 标志、diagnostics 和可选的 coreIR
+     */
+    validate(cnlCode: string): Promise<ValidationResult>;
+    /**
+     * 格式化诊断信息为用户友好的字符串
+     *
+     * @param diagnostics - 诊断信息列表
+     * @returns 格式化后的字符串，每行一个诊断信息
+     */
+    formatDiagnostics(diagnostics: TypecheckDiagnostic[]): string;
+    /**
+     * 仅检查是否有错误（快速验证）
+     *
+     * @param cnlCode - Aster CNL 源代码字符串
+     * @returns true 表示无错误，false 表示有错误
+     */
+    isValid(cnlCode: string): Promise<boolean>;
+    /**
+     * 获取所有错误（过滤掉 warning 和 info）
+     *
+     * @param diagnostics - 诊断信息列表
+     * @returns 仅包含错误的诊断信息列表
+     */
+    getErrors(diagnostics: TypecheckDiagnostic[]): TypecheckDiagnostic[];
+    /**
+     * 获取所有警告
+     *
+     * @param diagnostics - 诊断信息列表
+     * @returns 仅包含警告的诊断信息列表
+     */
+    getWarnings(diagnostics: TypecheckDiagnostic[]): TypecheckDiagnostic[];
+}
+//# sourceMappingURL=validator.d.ts.map

package/dist/src/ai/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/ai/validator.ts"],"names":[],"mappings":"AAIA,OAAO,EAAmB,KAAK,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;;OAIG;IACH,KAAK,EAAE,OAAO,CAAC;IAEf;;;OAGG;IACH,WAAW,EAAE,mBAAmB,EAAE,CAAC;IAEnC;;;OAGG;IACH,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,qBAAa,eAAe;IAC1B;;;;;OAKG;IACG,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA4C1D;;;;;OAKG;IACH,iBAAiB,CAAC,WAAW,EAAE,mBAAmB,EAAE,GAAG,MAAM;IAgB7D;;;;;OAKG;IACG,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAKhD;;;;;OAKG;IACH,SAAS,CAAC,WAAW,EAAE,mBAAmB,EAAE,GAAG,mBAAmB,EAAE;IAIpE;;;;;OAKG;IACH,WAAW,CAAC,WAAW,EAAE,mBAAmB,EAAE,GAAG,mBAAmB,EAAE;CAGvE"}

package/dist/src/ai/validator.js

@@ -0,0 +1,108 @@
+import { canonicalize } from '../frontend/canonicalizer.js';
+import { lex } from '../frontend/lexer.js';
+import { parse } from '../parser.js';
+import { lowerModule } from '../lower_to_core.js';
+import { typecheckModule } from '../typecheck.js';
+/**
+ * Policy Validator
+ *
+ * 封装 policy-converter 的编译流程，提供字符串输入的验证接口。
+ * 验证 LLM 生成的 CNL 代码是否通过完整的编译管线：
+ * canonicalize → lex → parse → lowerModule → typecheck
+ */
+export class PolicyValidator {
+    /**
+     * 验证 CNL 代码
+     *
+     * @param cnlCode - Aster CNL 源代码字符串
+     * @returns 验证结果，包含 valid 标志、diagnostics 和可选的 coreIR
+     */
+    async validate(cnlCode) {
+        try {
+            // 编译管线：CNL → Canonical → Tokens → AST → Core IR
+            const canonical = canonicalize(cnlCode);
+            const tokens = lex(canonical);
+            const ast = parse(tokens);
+            const coreIR = lowerModule(ast);
+            // 类型检查
+            const diagnostics = typecheckModule(coreIR);
+            // 检查是否有错误（忽略 warning 和 info）
+            const hasErrors = diagnostics.some(d => d.severity === 'error');
+            if (hasErrors) {
+                return {
+                    valid: false,
+                    diagnostics,
+                };
+            }
+            else {
+                return {
+                    valid: true,
+                    diagnostics,
+                    coreIR,
+                };
+            }
+        }
+        catch (error) {
+            // 捕获编译过程中的异常（语法错误等）
+            const errorMessage = error instanceof Error ? error.message : String(error);
+            return {
+                valid: false,
+                diagnostics: [
+                    {
+                        severity: 'error',
+                        code: 'COMPILATION_ERROR', // 使用通用错误码
+                        message: `编译失败: ${errorMessage}`,
+                    },
+                ],
+            };
+        }
+    }
+    /**
+     * 格式化诊断信息为用户友好的字符串
+     *
+     * @param diagnostics - 诊断信息列表
+     * @returns 格式化后的字符串，每行一个诊断信息
+     */
+    formatDiagnostics(diagnostics) {
+        if (diagnostics.length === 0) {
+            return '无诊断信息';
+        }
+        return diagnostics
+            .map(d => {
+            const location = d.span
+                ? `${d.origin?.file ?? '<unknown>'}:${d.span.start.line}:${d.span.start.col}`
+                : '<unknown location>';
+            return `[${d.severity.toUpperCase()}] ${d.message} (${location})`;
+        })
+            .join('\n');
+    }
+    /**
+     * 仅检查是否有错误（快速验证）
+     *
+     * @param cnlCode - Aster CNL 源代码字符串
+     * @returns true 表示无错误，false 表示有错误
+     */
+    async isValid(cnlCode) {
+        const result = await this.validate(cnlCode);
+        return result.valid;
+    }
+    /**
+     * 获取所有错误（过滤掉 warning 和 info）
+     *
+     * @param diagnostics - 诊断信息列表
+     * @returns 仅包含错误的诊断信息列表
+     */
+    getErrors(diagnostics) {
+        return diagnostics.filter(d => d.severity === 'error');
+    }
+    /**
+     * 获取所有警告
+     *
+     * @param diagnostics - 诊断信息列表
+     * @returns 仅包含警告的诊断信息列表
+     */
+    getWarnings(diagnostics) {
+        return diagnostics.filter(d => d.severity === 'warning');
+    }
+}
+//# sourceMappingURL=validator.js.map

package/dist/src/ai/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../../src/ai/validator.ts"],"names":[],"mappings":"AAAA,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,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,eAAe,EAA4B,MAAM,iBAAiB,CAAC;AA2B5E;;;;;;GAMG;AACH,MAAM,OAAO,eAAe;IAC1B;;;;;OAKG;IACH,KAAK,CAAC,QAAQ,CAAC,OAAe;QAC5B,IAAI,CAAC;YACH,gDAAgD;YAChD,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YAEhC,OAAO;YACP,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAE5C,6BAA6B;YAC7B,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;YAEhE,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO;oBACL,KAAK,EAAE,KAAK;oBACZ,WAAW;iBACZ,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,WAAW;oBACX,MAAM;iBACP,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,oBAAoB;YACpB,MAAM,YAAY,GAChB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAEzD,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE;oBACX;wBACE,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,mBAA0B,EAAE,UAAU;wBAC5C,OAAO,EAAE,SAAS,YAAY,EAAE;qBACjC;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,WAAkC;QAClD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,WAAW;aACf,GAAG,CAAC,CAAC,CAAC,EAAE;YACP,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI;gBACrB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE;gBAC7E,CAAC,CAAC,oBAAoB,CAAC;YAEzB,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,OAAO,KAAK,QAAQ,GAAG,CAAC;QACpE,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,OAAO,CAAC,OAAe;QAC3B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5C,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,WAAkC;QAC1C,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACzD,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,WAAkC;QAC5C,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAC3D,CAAC;CACF"}

package/dist/src/ast/ast.d.ts

@@ -0,0 +1,49 @@
+import type * as AST from '../types.js';
+export declare const Node: {
+    Module: (name: string | null, decls: readonly AST.Declaration[]) => AST.Module;
+    Import: (name: string, asName: string | null) => AST.Import;
+    Data: (name: string, fields: readonly AST.Field[]) => AST.Data;
+    Enum: (name: string, variants: readonly string[]) => AST.Enum;
+    Func: (name: string, typeParams: readonly string[], params: readonly AST.Parameter[], retType: AST.Type, effects: readonly string[], effectCaps: readonly AST.CapabilityKind[], effectCapsExplicit: boolean, body: AST.Block | null, effectParams?: readonly string[]) => AST.Func;
+    Block: (statements: readonly AST.Statement[]) => AST.Block;
+    Let: (name: string, expr: AST.Expression) => AST.Let;
+    Set: (name: string, expr: AST.Expression) => AST.Set;
+    Return: (expr: AST.Expression) => AST.Return;
+    If: (cond: AST.Expression, thenBlock: AST.Block, elseBlock: AST.Block | null) => AST.If;
+    Match: (expr: AST.Expression, cases: readonly AST.Case[]) => AST.Match;
+    Case: (pattern: AST.Pattern, body: AST.Return | AST.Block) => AST.Case;
+    Start: (name: string, expr: AST.Expression) => AST.Start;
+    Wait: (names: readonly string[]) => AST.Wait;
+    Workflow: (steps: readonly AST.StepStmt[], retry?: AST.RetryPolicy, timeout?: AST.Timeout) => AST.WorkflowStmt;
+    Step: (name: string, body: AST.Block, compensate?: AST.Block, dependencies?: readonly string[]) => AST.StepStmt;
+    Name: (name: string) => AST.Name;
+    Bool: (value: boolean) => AST.Bool;
+    Null: () => AST.Null;
+    Int: (value: number) => AST.Int;
+    Long: (value: string) => AST.Long;
+    Double: (value: number) => AST.Double;
+    String: (value: string) => AST.String;
+    Call: (target: AST.Expression, args: readonly AST.Expression[]) => AST.Call;
+    Construct: (typeName: string, fields: readonly AST.ConstructField[]) => AST.Construct;
+    Ok: (expr: AST.Expression) => AST.Ok;
+    Err: (expr: AST.Expression) => AST.Err;
+    Some: (expr: AST.Expression) => AST.Some;
+    None: () => AST.None;
+    Lambda: (params: readonly AST.Parameter[], retType: AST.Type, body: AST.Block) => AST.Lambda;
+    Await: (expr: AST.Expression) => AST.Await;
+    TypeName: (name: string) => AST.TypeName;
+    Maybe: (type: AST.Type) => AST.Maybe;
+    Option: (type: AST.Type) => AST.Option;
+    Result: (ok: AST.Type, err: AST.Type) => AST.Result;
+    List: (type: AST.Type) => AST.List;
+    Map: (key: AST.Type, val: AST.Type) => AST.Map;
+    TypeApp: (base: string, args: readonly AST.Type[]) => AST.TypeApp;
+    TypeVar: (name: string) => AST.TypeVar;
+    EffectVar: (name: string) => AST.EffectVar;
+    TypePii: (baseType: AST.Type, sensitivity: AST.PiiSensitivityLevel, category: AST.PiiDataCategory) => AST.TypePii;
+    PatternNull: () => AST.PatternNull;
+    PatternCtor: (typeName: string, names: readonly string[], args?: readonly AST.Pattern[]) => AST.PatternCtor;
+    PatternName: (name: string) => AST.PatternName;
+    PatternInt: (value: number) => AST.PatternInt;
+};
+//# sourceMappingURL=ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../../src/ast/ast.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,GAAG,MAAM,aAAa,CAAC;AASxC,eAAO,MAAM,IAAI;mBACA,MAAM,GAAG,IAAI,SAAS,SAAS,GAAG,CAAC,WAAW,EAAE,KAAG,GAAG,CAAC,MAAM;mBAM7D,MAAM,UAAU,MAAM,GAAG,IAAI,KAAG,GAAG,CAAC,MAAM;iBAM5C,MAAM,UAAU,SAAS,GAAG,CAAC,KAAK,EAAE,KAAG,GAAG,CAAC,IAAI;iBAM/C,MAAM,YAAY,SAAS,MAAM,EAAE,KAAG,GAAG,CAAC,IAAI;iBAOnD,MAAM,cACA,SAAS,MAAM,EAAE,UACrB,SAAS,GAAG,CAAC,SAAS,EAAE,WACvB,GAAG,CAAC,IAAI,WACR,SAAS,MAAM,EAAE,cACd,SAAS,GAAG,CAAC,cAAc,EAAE,sBACrB,OAAO,QACrB,GAAG,CAAC,KAAK,GAAG,IAAI,iBACP,SAAS,MAAM,EAAE,KAC/B,GAAG,CAAC,IAAI;wBAaS,SAAS,GAAG,CAAC,SAAS,EAAE,KAAG,GAAG,CAAC,KAAK;gBAK5C,MAAM,QAAQ,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,GAAG;gBAMtC,MAAM,QAAQ,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,GAAG;mBAMnC,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,MAAM;eAK/B,GAAG,CAAC,UAAU,aAAa,GAAG,CAAC,KAAK,aAAa,GAAG,CAAC,KAAK,GAAG,IAAI,KAAG,GAAG,CAAC,EAAE;kBAOvE,GAAG,CAAC,UAAU,SAAS,SAAS,GAAG,CAAC,IAAI,EAAE,KAAG,GAAG,CAAC,KAAK;oBAMpD,GAAG,CAAC,OAAO,QAAQ,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,KAAK,KAAG,GAAG,CAAC,IAAI;kBAMtD,MAAM,QAAQ,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,KAAK;kBAMxC,SAAS,MAAM,EAAE,KAAG,GAAG,CAAC,IAAI;sBAMjC,SAAS,GAAG,CAAC,QAAQ,EAAE,UACtB,GAAG,CAAC,WAAW,YACb,GAAG,CAAC,OAAO,KACpB,GAAG,CAAC,YAAY;iBAQX,MAAM,QACN,GAAG,CAAC,KAAK,eACF,GAAG,CAAC,KAAK,iBACR,SAAS,MAAM,EAAE,KAC9B,GAAG,CAAC,QAAQ;iBAUF,MAAM,KAAG,GAAG,CAAC,IAAI;kBAChB,OAAO,KAAG,GAAG,CAAC,IAAI;gBACtB,GAAG,CAAC,IAAI;iBACL,MAAM,KAAG,GAAG,CAAC,GAAG;kBACf,MAAM,KAAG,GAAG,CAAC,IAAI;oBACf,MAAM,KAAG,GAAG,CAAC,MAAM;oBACnB,MAAM,KAAG,GAAG,CAAC,MAAM;mBACpB,GAAG,CAAC,UAAU,QAAQ,SAAS,GAAG,CAAC,UAAU,EAAE,KAAG,GAAG,CAAC,IAAI;0BAMnD,MAAM,UAAU,SAAS,GAAG,CAAC,cAAc,EAAE,KAAG,GAAG,CAAC,SAAS;eAMxE,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,EAAE;gBACtB,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,GAAG;iBACvB,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,IAAI;gBAC5B,GAAG,CAAC,IAAI;qBACD,SAAS,GAAG,CAAC,SAAS,EAAE,WAAW,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,KAAK,KAAG,GAAG,CAAC,MAAM;kBAO5E,GAAG,CAAC,UAAU,KAAG,GAAG,CAAC,KAAK;qBAGvB,MAAM,KAAG,GAAG,CAAC,QAAQ;kBACxB,GAAG,CAAC,IAAI,KAAG,GAAG,CAAC,KAAK;mBACnB,GAAG,CAAC,IAAI,KAAG,GAAG,CAAC,MAAM;iBACvB,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAG,GAAG,CAAC,MAAM;iBAMpC,GAAG,CAAC,IAAI,KAAG,GAAG,CAAC,IAAI;eACrB,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAG,GAAG,CAAC,GAAG;oBAM5B,MAAM,QAAQ,SAAS,GAAG,CAAC,IAAI,EAAE,KAAG,GAAG,CAAC,OAAO;oBAM/C,MAAM,KAAG,GAAG,CAAC,OAAO;sBAClB,MAAM,KAAG,GAAG,CAAC,SAAS;wBAE5B,GAAG,CAAC,IAAI,eACL,GAAG,CAAC,mBAAmB,YAC1B,GAAG,CAAC,eAAe,KAC5B,GAAG,CAAC,OAAO;uBAQG,GAAG,CAAC,WAAW;4BAEpB,MAAM,SACT,SAAS,MAAM,EAAE,SACjB,SAAS,GAAG,CAAC,OAAO,EAAE,KAC5B,GAAG,CAAC,WAAW;wBAOE,MAAM,KAAG,GAAG,CAAC,WAAW;wBACxB,MAAM,KAAG,GAAG,CAAC,UAAU;CAK5C,CAAC"}