@aster-cloud/aster-lang-ts 0.0.1

package/dist/scripts/verify-jar-checksum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-jar-checksum.js","sourceRoot":"","sources":["../../scripts/verify-jar-checksum.ts"],"names":[],"mappings":";AACA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,SAAS,eAAe,CAAC,QAAgB;IACvC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,IAAI;IACX,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,iBAAiB,CAAC;IACvE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;IAE5D,UAAU;IACV,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;QACvC,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,KAAK,CAAC,mBAAmB,YAAY,EAAE,CAAC,CAAC;QACjD,OAAO,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,iBAAiB;IACjB,MAAM,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IACnE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/C,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1C,OAAO,CAAC,KAAK,CAAC,oBAAoB,YAAY,EAAE,CAAC,CAAC;QAClD,OAAO,CAAC,KAAK,CAAC,OAAO,YAAY,EAAE,CAAC,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,sBAAsB;IACtB,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAE7C,KAAK;IACL,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,cAAc,WAAW,EAAE,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACjC,OAAO,CAAC,KAAK,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;QAClC,OAAO,CAAC,KAAK,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;QACpC,OAAO,CAAC,KAAK,CAAC,SAAS,WAAW,EAAE,CAAC,CAAC;QACtC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/scripts/verify-nullstrict.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=verify-nullstrict.d.ts.map

package/dist/scripts/verify-nullstrict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-nullstrict.d.ts","sourceRoot":"","sources":["../../scripts/verify-nullstrict.ts"],"names":[],"mappings":""}

package/dist/scripts/verify-nullstrict.js

@@ -0,0 +1,20 @@
+#!/usr/bin/env node
+import cp from 'node:child_process';
+function main() {
+    const file = process.argv[2] || 'test/cnl/programs/core-reference/null_strict_core.json';
+    const env = { ...process.env, INTEROP_NULL_STRICT: 'true' };
+    const r = cp.spawnSync(process.execPath, ['dist/scripts/emit-classfiles-core.js', file], {
+        stdio: 'inherit',
+        env,
+    });
+    if (r.status === 0) {
+        console.error('Unexpected success: strict nullability should have failed emission');
+        process.exit(1);
+    }
+    else {
+        console.log('Strict nullability check: emission blocked as expected');
+        process.exit(0);
+    }
+}
+main();
+//# sourceMappingURL=verify-nullstrict.js.map

package/dist/scripts/verify-nullstrict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-nullstrict.js","sourceRoot":"","sources":["../../scripts/verify-nullstrict.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAEpC,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,wDAAwD,CAAC;IACzF,MAAM,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC5D,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,sCAAsC,EAAE,IAAI,CAAC,EAAE;QACvF,KAAK,EAAE,SAAS;QAChB,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,CAAC,oEAAoE,CAAC,CAAC;QACpF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;QACtE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/src/ai/generation-cache.d.ts

@@ -0,0 +1,36 @@
+import type { GenerateResult } from './generator.js';
+interface CacheStats {
+    hits: number;
+    misses: number;
+    hitRate: number;
+}
+/**
+ * 生成結果緩存，使用磁盤 JSON 文件保存完整的 GenerateResult
+ */
+export declare class GenerationCache {
+    private readonly cacheDir;
+    private stats;
+    private dirReady;
+    constructor(cacheDir?: string);
+    /**
+     * 讀取緩存內容
+     */
+    get(key: string): Promise<GenerateResult | null>;
+    /**
+     * 寫入緩存（原子寫入避免併發競爭）
+     */
+    set(key: string, result: GenerateResult): Promise<void>;
+    /**
+     * 清空緩存並重置統計
+     */
+    clear(): Promise<void>;
+    getCacheStats(): CacheStats;
+    /**
+     * 將描述轉換為固定長度哈希，避免文件名過長
+     */
+    static hashDescription(description: string): string;
+    private getCacheFilePath;
+    private ensureCacheDir;
+}
+export {};
+//# sourceMappingURL=generation-cache.d.ts.map

package/dist/src/ai/generation-cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generation-cache.d.ts","sourceRoot":"","sources":["../../../src/ai/generation-cache.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,UAAU,UAAU;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAS;IAClC,OAAO,CAAC,KAAK,CAA4D;IACzE,OAAO,CAAC,QAAQ,CAA8B;gBAElC,QAAQ,CAAC,EAAE,MAAM;IAK7B;;OAEG;IACG,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC;IAiBtD;;OAEG;IACG,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;IAoB7D;;OAEG;IACG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAM5B,aAAa,IAAI,UAAU;IAS3B;;OAEG;IACH,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAInD,OAAO,CAAC,gBAAgB;YAIV,cAAc;CAM7B"}

package/dist/src/ai/generation-cache.js

@@ -0,0 +1,91 @@
+import { promises as fs } from 'node:fs';
+import path from 'node:path';
+import crypto from 'node:crypto';
+/**
+ * 生成結果緩存，使用磁盤 JSON 文件保存完整的 GenerateResult
+ */
+export class GenerationCache {
+    cacheDir;
+    stats = { hits: 0, misses: 0 };
+    dirReady = null;
+    constructor(cacheDir) {
+        const rootDir = cacheDir ?? path.resolve(process.cwd(), '.cache', 'ai-generation');
+        this.cacheDir = rootDir;
+    }
+    /**
+     * 讀取緩存內容
+     */
+    async get(key) {
+        await this.ensureCacheDir();
+        const filePath = this.getCacheFilePath(key);
+        try {
+            const data = await fs.readFile(filePath, 'utf8');
+            this.stats.hits += 1;
+            return JSON.parse(data);
+        }
+        catch (error) {
+            this.stats.misses += 1;
+            const err = error;
+            if (err.code !== 'ENOENT') {
+                console.warn(`[GenerationCache] 讀取 ${filePath} 失敗: ${err.message}`);
+            }
+            return null;
+        }
+    }
+    /**
+     * 寫入緩存（原子寫入避免併發競爭）
+     */
+    async set(key, result) {
+        await this.ensureCacheDir();
+        const filePath = this.getCacheFilePath(key);
+        const tempPath = `${filePath}.${process.pid}.${Date.now()}.tmp`;
+        try {
+            // eslint-disable-next-line @typescript-eslint/no-unused-vars
+            const { fromCache: _fromCache, ...cacheable } = result;
+            await fs.writeFile(tempPath, JSON.stringify(cacheable), 'utf8');
+            await fs.rename(tempPath, filePath);
+        }
+        catch (error) {
+            const err = error;
+            console.warn(`[GenerationCache] 寫入 ${filePath} 失敗: ${err.message}`);
+            try {
+                await fs.rm(tempPath, { force: true });
+            }
+            catch {
+                // ignore
+            }
+        }
+    }
+    /**
+     * 清空緩存並重置統計
+     */
+    async clear() {
+        await fs.rm(this.cacheDir, { recursive: true, force: true }).catch(() => { });
+        this.dirReady = null;
+        this.stats = { hits: 0, misses: 0 };
+    }
+    getCacheStats() {
+        const total = this.stats.hits + this.stats.misses;
+        return {
+            hits: this.stats.hits,
+            misses: this.stats.misses,
+            hitRate: total === 0 ? 0 : this.stats.hits / total,
+        };
+    }
+    /**
+     * 將描述轉換為固定長度哈希，避免文件名過長
+     */
+    static hashDescription(description) {
+        return crypto.createHash('sha256').update(description, 'utf8').digest('hex');
+    }
+    getCacheFilePath(key) {
+        return path.join(this.cacheDir, `${key}.json`);
+    }
+    async ensureCacheDir() {
+        if (!this.dirReady) {
+            this.dirReady = fs.mkdir(this.cacheDir, { recursive: true }).then(() => undefined);
+        }
+        await this.dirReady;
+    }
+}
+//# sourceMappingURL=generation-cache.js.map

package/dist/src/ai/generation-cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generation-cache.js","sourceRoot":"","sources":["../../../src/ai/generation-cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AASjC;;GAEG;AACH,MAAM,OAAO,eAAe;IACT,QAAQ,CAAS;IAC1B,KAAK,GAAqC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACjE,QAAQ,GAAyB,IAAI,CAAC;IAE9C,YAAY,QAAiB;QAC3B,MAAM,OAAO,GAAG,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;QACnF,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAG,CAAC,GAAW;QACnB,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;YACvB,MAAM,GAAG,GAAG,KAA8B,CAAC;YAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,wBAAwB,QAAQ,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAG,CAAC,GAAW,EAAE,MAAsB;QAC3C,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;QAChE,IAAI,CAAC;YACH,6DAA6D;YAC7D,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC;YACvD,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;YAChE,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAA8B,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,wBAAwB,QAAQ,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC;gBACH,MAAM,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK;QACT,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACtC,CAAC;IAED,aAAa;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QAClD,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YACrB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACzB,OAAO,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK;SACnD,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,eAAe,CAAC,WAAmB;QACxC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC;IAEO,gBAAgB,CAAC,GAAW;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC;IACjD,CAAC;IAEO,KAAK,CAAC,cAAc;QAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;CACF"}

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

@@ -0,0 +1,105 @@
+import type { LLMProvider } from './llm-provider.js';
+import { PromptManager } from './prompt-manager.js';
+import { PolicyValidator } from './validator.js';
+import { ProvenanceTracker } from './provenance.js';
+import type { ValidationResult } from './validator.js';
+import type { ProvenanceMetadata } from './provenance.js';
+import { GenerationCache } from './generation-cache.js';
+/**
+ * 代碼生成請求參數
+ */
+export interface GenerateRequest {
+    /**
+     * 英文描述（用戶輸入的需求）
+     */
+    description: string;
+    /**
+     * LLM Provider 實例
+     */
+    provider: LLMProvider;
+    /**
+     * few-shot 示例數量（默認 5）
+     */
+    fewShotCount?: number;
+    /**
+     * 溫度參數（默認 0.7）
+     */
+    temperature?: number;
+    /**
+     * 最大 token 數（默認由 provider 決定）
+     */
+    maxTokens?: number;
+    /**
+     * 是否使用緩存（默認 true）
+     */
+    useCache?: boolean;
+}
+/**
+ * 代碼生成結果
+ */
+export interface GenerateResult {
+    /**
+     * 生成的 CNL 代碼（帶 provenance 頭）
+     */
+    code: string;
+    /**
+     * 不帶 provenance 的原始代碼
+     */
+    rawCode: string;
+    /**
+     * 驗證結果
+     */
+    validation: ValidationResult;
+    /**
+     * Provenance 元數據
+     */
+    metadata: ProvenanceMetadata;
+    /**
+     * Token 使用量統計
+     */
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+    /**
+     * 是否來自緩存
+     */
+    fromCache: boolean;
+}
+/**
+ * AI 代碼生成器
+ *
+ * 協調 LLM Provider、Prompt Manager、Validator 和 Provenance Tracker
+ * 完成完整的代碼生成流程
+ */
+export declare class AIGenerator {
+    private promptManager;
+    private validator;
+    private provenance;
+    private cache;
+    /**
+     * 構造函數
+     *
+     * @param promptManager - Prompt Manager 實例（可選，用於測試時依賴注入）
+     * @param validator - Policy Validator 實例（可選，用於測試時依賴注入）
+     * @param provenance - Provenance Tracker 實例（可選，用於測試時依賴注入）
+     */
+    constructor(promptManager?: PromptManager, validator?: PolicyValidator, provenance?: ProvenanceTracker, cache?: GenerationCache);
+    /**
+     * 生成 Aster CNL 代碼
+     *
+     * 完整流程：
+     * 1. 加載 prompt 模板
+     * 2. 構建完整 prompt
+     * 3. 調用 LLM 生成代碼
+     * 4. 驗證生成的代碼
+     * 5. 添加 provenance 元數據
+     *
+     * @param request - 生成請求參數
+     * @returns 生成結果（包含代碼、驗證結果和元數據）
+     */
+    generate(request: GenerateRequest): Promise<GenerateResult>;
+    private buildCacheKey;
+}
+//# sourceMappingURL=generator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../../src/ai/generator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,QAAQ,EAAE,WAAW,CAAC;IAEtB;;OAEG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;OAEG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,OAAO,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,UAAU,EAAE,gBAAgB,CAAC;IAE7B;;OAEG;IACH,QAAQ,EAAE,kBAAkB,CAAC;IAE7B;;OAEG;IACH,KAAK,EAAE;QACL,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;IAEF;;OAEG;IACH,SAAS,EAAE,OAAO,CAAC;CACpB;AAED;;;;;GAKG;AACH,qBAAa,WAAW;IACtB,OAAO,CAAC,aAAa,CAAgB;IACrC,OAAO,CAAC,SAAS,CAAkB;IACnC,OAAO,CAAC,UAAU,CAAoB;IACtC,OAAO,CAAC,KAAK,CAAkB;IAE/B;;;;;;OAMG;gBAED,aAAa,CAAC,EAAE,aAAa,EAC7B,SAAS,CAAC,EAAE,eAAe,EAC3B,UAAU,CAAC,EAAE,iBAAiB,EAC9B,KAAK,CAAC,EAAE,eAAe;IAQzB;;;;;;;;;;;;OAYG;IACG,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC;IAsEjE,OAAO,CAAC,aAAa;CActB"}

package/dist/src/ai/generator.js

@@ -0,0 +1,103 @@
+import { PromptManager } from './prompt-manager.js';
+import { PolicyValidator } from './validator.js';
+import { ProvenanceTracker } from './provenance.js';
+import { GenerationCache } from './generation-cache.js';
+/**
+ * AI 代碼生成器
+ *
+ * 協調 LLM Provider、Prompt Manager、Validator 和 Provenance Tracker
+ * 完成完整的代碼生成流程
+ */
+export class AIGenerator {
+    promptManager;
+    validator;
+    provenance;
+    cache;
+    /**
+     * 構造函數
+     *
+     * @param promptManager - Prompt Manager 實例（可選，用於測試時依賴注入）
+     * @param validator - Policy Validator 實例（可選，用於測試時依賴注入）
+     * @param provenance - Provenance Tracker 實例（可選，用於測試時依賴注入）
+     */
+    constructor(promptManager, validator, provenance, cache) {
+        this.promptManager = promptManager ?? new PromptManager();
+        this.validator = validator ?? new PolicyValidator();
+        this.provenance = provenance ?? new ProvenanceTracker();
+        this.cache = cache ?? new GenerationCache();
+    }
+    /**
+     * 生成 Aster CNL 代碼
+     *
+     * 完整流程：
+     * 1. 加載 prompt 模板
+     * 2. 構建完整 prompt
+     * 3. 調用 LLM 生成代碼
+     * 4. 驗證生成的代碼
+     * 5. 添加 provenance 元數據
+     *
+     * @param request - 生成請求參數
+     * @returns 生成結果（包含代碼、驗證結果和元數據）
+     */
+    async generate(request) {
+        const fewShotCount = request.fewShotCount ?? 5;
+        const useCache = request.useCache !== false;
+        const cacheKey = this.buildCacheKey(request, fewShotCount);
+        if (useCache) {
+            const cached = await this.cache.get(cacheKey);
+            if (cached) {
+                return { ...cached, fromCache: true };
+            }
+        }
+        // 1. 加載 prompt 模板
+        const systemPrompt = await this.promptManager.getSystemPrompt();
+        const examples = await this.promptManager.getFewShotExamples(fewShotCount);
+        const fewShotPrompt = this.promptManager.formatFewShotPrompt(examples);
+        // 2. 構建完整 prompt
+        const fullPrompt = `${fewShotPrompt}\n\n---\n\nNow generate CNL code for:\n${request.description}`;
+        // 3. 調用 LLM
+        const llmRequest = {
+            prompt: fullPrompt,
+            systemPrompt,
+        };
+        if (request.temperature !== undefined) {
+            llmRequest.temperature = request.temperature;
+        }
+        if (request.maxTokens !== undefined) {
+            llmRequest.maxTokens = request.maxTokens;
+        }
+        const llmResponse = await request.provider.generate(llmRequest);
+        const rawCode = llmResponse.content.trim();
+        // 4. 驗證生成的代碼
+        const validation = await this.validator.validate(rawCode);
+        // 5. 添加 provenance 元數據
+        const metadata = {
+            model: llmResponse.model,
+            provider: request.provider.getName(),
+            prompt: request.description,
+            timestamp: new Date().toISOString(),
+            validated: validation.valid,
+        };
+        const codeWithProvenance = this.provenance.addProvenanceToCode(rawCode, metadata);
+        const result = {
+            code: codeWithProvenance,
+            rawCode,
+            validation,
+            metadata,
+            usage: llmResponse.usage,
+            fromCache: false,
+        };
+        if (useCache) {
+            await this.cache.set(cacheKey, result);
+        }
+        return result;
+    }
+    buildCacheKey(request, fewShotCount) {
+        const providerName = request.provider.getName();
+        const model = request.provider.getModel();
+        const temp = request.temperature !== undefined ? request.temperature : 'default';
+        const descriptionHash = GenerationCache.hashDescription(request.description);
+        return `${providerName}-${model}-temp${temp}-fs${fewShotCount}-${descriptionHash}`;
+    }
+}
+//# sourceMappingURL=generator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../../src/ai/generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AA4ExD;;;;;GAKG;AACH,MAAM,OAAO,WAAW;IACd,aAAa,CAAgB;IAC7B,SAAS,CAAkB;IAC3B,UAAU,CAAoB;IAC9B,KAAK,CAAkB;IAE/B;;;;;;OAMG;IACH,YACE,aAA6B,EAC7B,SAA2B,EAC3B,UAA8B,EAC9B,KAAuB;QAEvB,IAAI,CAAC,aAAa,GAAG,aAAa,IAAI,IAAI,aAAa,EAAE,CAAC;QAC1D,IAAI,CAAC,SAAS,GAAG,SAAS,IAAI,IAAI,eAAe,EAAE,CAAC;QACpD,IAAI,CAAC,UAAU,GAAG,UAAU,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACxD,IAAI,CAAC,KAAK,GAAG,KAAK,IAAI,IAAI,eAAe,EAAE,CAAC;IAC9C,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,QAAQ,CAAC,OAAwB;QACrC,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAE3D,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,eAAe,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAC;QAC3E,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAEvE,iBAAiB;QACjB,MAAM,UAAU,GAAG,GAAG,aAAa,0CAA0C,OAAO,CAAC,WAAW,EAAE,CAAC;QAEnG,YAAY;QACZ,MAAM,UAAU,GAAe;YAC7B,MAAM,EAAE,UAAU;YAClB,YAAY;SACb,CAAC;QAEF,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACtC,UAAU,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACpC,UAAU,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QAC3C,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEhE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAE3C,aAAa;QACb,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAE1D,uBAAuB;QACvB,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE;YACpC,MAAM,EAAE,OAAO,CAAC,WAAW;YAC3B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,UAAU,CAAC,KAAK;SAC5B,CAAC;QAEF,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAC5D,OAAO,EACP,QAAQ,CACT,CAAC;QAEF,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,kBAAkB;YACxB,OAAO;YACP,UAAU;YACV,QAAQ;YACR,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,aAAa,CACnB,OAAwB,EACxB,YAAoB;QAEpB,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,IAAI,GACR,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,eAAe,GAAG,eAAe,CAAC,eAAe,CACrD,OAAO,CAAC,WAAW,CACpB,CAAC;QAEF,OAAO,GAAG,YAAY,IAAI,KAAK,QAAQ,IAAI,MAAM,YAAY,IAAI,eAAe,EAAE,CAAC;IACrF,CAAC;CACF"}

package/dist/src/ai/llm-provider.d.ts

@@ -0,0 +1,31 @@
+/**
+ * LLM Provider 抽象層
+ *
+ * 提供統一的接口用於調用不同的 LLM（OpenAI/Anthropic）
+ */
+export interface LLMRequest {
+    prompt: string;
+    systemPrompt?: string;
+    temperature?: number;
+    maxTokens?: number;
+}
+export interface LLMResponse {
+    content: string;
+    model: string;
+    usage: {
+        promptTokens: number;
+        completionTokens: number;
+        totalTokens: number;
+    };
+}
+export interface LLMProvider {
+    generate(request: LLMRequest): Promise<LLMResponse>;
+    getName(): string;
+    getModel(): string;
+}
+export declare class LLMError extends Error {
+    readonly provider: string;
+    readonly cause?: Error | undefined;
+    constructor(message: string, provider: string, cause?: Error | undefined);
+}
+//# sourceMappingURL=llm-provider.d.ts.map

package/dist/src/ai/llm-provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-provider.d.ts","sourceRoot":"","sources":["../../../src/ai/llm-provider.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAGD,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE;QACL,YAAY,EAAE,MAAM,CAAC;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH;AAGD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACpD,OAAO,IAAI,MAAM,CAAC;IAClB,QAAQ,IAAI,MAAM,CAAC;CACpB;AAGD,qBAAa,QAAS,SAAQ,KAAK;aAGf,QAAQ,EAAE,MAAM;aAChB,KAAK,CAAC,EAAE,KAAK;gBAF7B,OAAO,EAAE,MAAM,EACC,QAAQ,EAAE,MAAM,EAChB,KAAK,CAAC,EAAE,KAAK,YAAA;CAKhC"}

package/dist/src/ai/llm-provider.js

@@ -0,0 +1,17 @@
+/**
+ * LLM Provider 抽象層
+ *
+ * 提供統一的接口用於調用不同的 LLM（OpenAI/Anthropic）
+ */
+// LLM 錯誤類型
+export class LLMError extends Error {
+    provider;
+    cause;
+    constructor(message, provider, cause) {
+        super(message);
+        this.provider = provider;
+        this.cause = cause;
+        this.name = 'LLMError';
+    }
+}
+//# sourceMappingURL=llm-provider.js.map

package/dist/src/ai/llm-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-provider.js","sourceRoot":"","sources":["../../../src/ai/llm-provider.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA4BH,WAAW;AACX,MAAM,OAAO,QAAS,SAAQ,KAAK;IAGf;IACA;IAHlB,YACE,OAAe,EACC,QAAgB,EAChB,KAAa;QAE7B,KAAK,CAAC,OAAO,CAAC,CAAC;QAHC,aAAQ,GAAR,QAAQ,CAAQ;QAChB,UAAK,GAAL,KAAK,CAAQ;QAG7B,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;IACzB,CAAC;CACF"}

package/dist/src/ai/prompt-manager.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Few-shot 示例結構
+ */
+export interface FewShotExample {
+    id: string;
+    english_description: string;
+    cnl_code: string;
+    category: string;
+    tags: string[];
+}
+/**
+ * Prompt Manager - 負責加載和管理 LLM prompt 模板
+ *
+ * 支持內存緩存，避免重複文件 I/O
+ */
+export declare class PromptManager {
+    private systemPromptCache?;
+    private examplesCache?;
+    private promptsDir;
+    constructor(promptsDir?: string);
+    /**
+     * 獲取系統提示（system prompt）
+     *
+     * 首次調用時從文件讀取並緩存，後續調用直接返回緩存
+     */
+    getSystemPrompt(): Promise<string>;
+    /**
+     * 獲取 few-shot 示例
+     *
+     * @param count 可選參數，限制返回的示例數量
+     * @returns Few-shot 示例數組
+     */
+    getFewShotExamples(count?: number): Promise<FewShotExample[]>;
+    /**
+     * 格式化 few-shot 示例為 prompt 字符串
+     *
+     * @param examples Few-shot 示例數組
+     * @returns 格式化的 prompt 字符串
+     */
+    formatFewShotPrompt(examples: FewShotExample[]): string;
+    /**
+     * 清除緩存
+     *
+     * 用於熱重載或強制刷新 prompt 模板
+     */
+    clearCache(): void;
+}
+//# sourceMappingURL=prompt-manager.d.ts.map

package/dist/src/ai/prompt-manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-manager.d.ts","sourceRoot":"","sources":["../../../src/ai/prompt-manager.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED;;;;GAIG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,iBAAiB,CAAC,CAAS;IACnC,OAAO,CAAC,aAAa,CAAC,CAAmB;IACzC,OAAO,CAAC,UAAU,CAAS;gBAEf,UAAU,CAAC,EAAE,MAAM;IAK/B;;;;OAIG;IACG,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC;IAUxC;;;;;OAKG;IACG,kBAAkB,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAgBnE;;;;;OAKG;IACH,mBAAmB,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,MAAM;IAMvD;;;;OAIG;IACH,UAAU,IAAI,IAAI;CAInB"}

package/dist/src/ai/prompt-manager.js

@@ -0,0 +1,70 @@
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+/**
+ * Prompt Manager - 負責加載和管理 LLM prompt 模板
+ *
+ * 支持內存緩存，避免重複文件 I/O
+ */
+export class PromptManager {
+    systemPromptCache;
+    examplesCache;
+    promptsDir;
+    constructor(promptsDir) {
+        // 默認使用項目根目錄的 prompts/
+        this.promptsDir = promptsDir || join(process.cwd(), 'prompts');
+    }
+    /**
+     * 獲取系統提示（system prompt）
+     *
+     * 首次調用時從文件讀取並緩存，後續調用直接返回緩存
+     */
+    async getSystemPrompt() {
+        if (this.systemPromptCache) {
+            return this.systemPromptCache;
+        }
+        const path = join(this.promptsDir, 'system-prompt.txt');
+        this.systemPromptCache = await readFile(path, 'utf-8');
+        return this.systemPromptCache;
+    }
+    /**
+     * 獲取 few-shot 示例
+     *
+     * @param count 可選參數，限制返回的示例數量
+     * @returns Few-shot 示例數組
+     */
+    async getFewShotExamples(count) {
+        if (!this.examplesCache) {
+            const path = join(this.promptsDir, 'few-shot-examples.jsonl');
+            const content = await readFile(path, 'utf-8');
+            this.examplesCache = content
+                .split('\n')
+                .filter(line => line.trim())
+                .map(line => JSON.parse(line));
+        }
+        if (count !== undefined) {
+            return this.examplesCache.slice(0, count);
+        }
+        return this.examplesCache;
+    }
+    /**
+     * 格式化 few-shot 示例為 prompt 字符串
+     *
+     * @param examples Few-shot 示例數組
+     * @returns 格式化的 prompt 字符串
+     */
+    formatFewShotPrompt(examples) {
+        return examples
+            .map(ex => `Example: ${ex.english_description}\n\n${ex.cnl_code}`)
+            .join('\n\n---\n\n');
+    }
+    /**
+     * 清除緩存
+     *
+     * 用於熱重載或強制刷新 prompt 模板
+     */
+    clearCache() {
+        delete this.systemPromptCache;
+        delete this.examplesCache;
+    }
+}
+//# sourceMappingURL=prompt-manager.js.map

package/dist/src/ai/prompt-manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-manager.js","sourceRoot":"","sources":["../../../src/ai/prompt-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAajC;;;;GAIG;AACH,MAAM,OAAO,aAAa;IAChB,iBAAiB,CAAU;IAC3B,aAAa,CAAoB;IACjC,UAAU,CAAS;IAE3B,YAAY,UAAmB;QAC7B,sBAAsB;QACtB,IAAI,CAAC,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC;IACjE,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,eAAe;QACnB,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,iBAAiB,CAAC;QAChC,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;QACxD,IAAI,CAAC,iBAAiB,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC,iBAAiB,CAAC;IAChC,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,kBAAkB,CAAC,KAAc;QACrC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,CAAC,aAAa,GAAG,OAAO;iBACzB,KAAK,CAAC,IAAI,CAAC;iBACX,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;iBAC3B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED;;;;;OAKG;IACH,mBAAmB,CAAC,QAA0B;QAC5C,OAAO,QAAQ;aACZ,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,mBAAmB,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;aACjE,IAAI,CAAC,aAAa,CAAC,CAAC;IACzB,CAAC;IAED;;;;OAIG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,iBAAiB,CAAC;QAC9B,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;CACF"}

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

@@ -0,0 +1,70 @@
+/**
+ * Provenance 元數據接口
+ *
+ * 記錄 AI 生成代碼的來源信息
+ */
+export interface ProvenanceMetadata {
+    /**
+     * 使用的 LLM 模型名稱
+     * 例如：gpt-4, claude-3-5-sonnet-20241022
+     */
+    model: string;
+    /**
+     * LLM provider 名稱
+     * 例如：openai, anthropic
+     */
+    provider: string;
+    /**
+     * 用戶輸入的英文描述（prompt）
+     */
+    prompt: string;
+    /**
+     * 生成時間戳（ISO 8601 格式）
+     */
+    timestamp: string;
+    /**
+     * 是否通過驗證
+     */
+    validated: boolean;
+}
+/**
+ * Provenance Tracker
+ *
+ * 負責生成和管理 AI 生成代碼的來源元數據註釋頭
+ */
+export declare class ProvenanceTracker {
+    /**
+     * 生成 provenance 註釋頭
+     *
+     * @param metadata - Provenance 元數據
+     * @returns 格式化的註釋頭字符串
+     */
+    generateHeader(metadata: ProvenanceMetadata): string;
+    /**
+     * 添加 provenance 註釋頭到 CNL 代碼
+     *
+     * @param code - 原始 CNL 代碼
+     * @param metadata - Provenance 元數據
+     * @returns 帶註釋頭的 CNL 代碼
+     */
+    addProvenanceToCode(code: string, metadata: ProvenanceMetadata): string;
+    /**
+     * 轉義 prompt 中的特殊字符
+     *
+     * 避免換行符和過長的 prompt 破壞註釋格式
+     *
+     * @param prompt - 原始 prompt
+     * @returns 轉義後的 prompt
+     */
+    private escapePrompt;
+    /**
+     * 從代碼中提取 provenance 元數據
+     *
+     * 可選功能，用於分析已生成的代碼
+     *
+     * @param code - 帶 provenance 註釋的 CNL 代碼
+     * @returns Provenance 元數據，如果無法提取則返回 null
+     */
+    extractProvenance(code: string): ProvenanceMetadata | null;
+}
+//# sourceMappingURL=provenance.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../../../src/ai/provenance.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC;IAEd;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;IAEjB;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;OAEG;IACH,SAAS,EAAE,OAAO,CAAC;CACpB;AAED;;;;GAIG;AACH,qBAAa,iBAAiB;IAC5B;;;;;OAKG;IACH,cAAc,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM;IAepD;;;;;;OAMG;IACH,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,GAAG,MAAM;IAKvE;;;;;;;OAOG;IACH,OAAO,CAAC,YAAY;IAapB;;;;;;;OAOG;IACH,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI;CAiC3D"}