@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/unit/provenance-integration.test.js

@@ -0,0 +1,181 @@
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { ProvenanceTracker } from '../../src/ai/provenance.js';
+import { PolicyValidator } from '../../src/ai/validator.js';
+/**
+ * 集成測試：驗證帶 provenance 頭的 CNL 代碼能被 policy-converter 正確解析
+ */
+describe('Provenance Integration Tests', () => {
+    test('帶 provenance 頭的簡單 CNL 代碼應該能通過驗證', async () => {
+        const tracker = new ProvenanceTracker();
+        const validator = new PolicyValidator();
+        const cnlCode = `This module is ai.generated.simple.
+
+To add with x: Int, y: Int, produce Int:
+  Return x plus y.
+`;
+        const metadata = {
+            model: 'gpt-4',
+            provider: 'openai',
+            prompt: 'Create a function that adds two integers',
+            timestamp: new Date().toISOString(),
+            validated: true,
+        };
+        const annotated = tracker.addProvenanceToCode(cnlCode, metadata);
+        const result = await validator.validate(annotated);
+        assert.equal(result.valid, true, 'Code with provenance should be valid');
+        assert.equal(result.diagnostics.length, 0, 'Should have no diagnostics');
+        assert.ok(result.coreIR, 'Should have Core IR');
+    });
+    test('帶 provenance 頭的複雜 CNL 代碼應該能通過驗證', async () => {
+        const tracker = new ProvenanceTracker();
+        const validator = new PolicyValidator();
+        const cnlCode = `This module is ai.generated.complex.
+
+To greet with name: Text, produce Text:
+  Return "Hello".
+
+To double with n: Int, produce Int:
+  Return n times 2.
+
+To calculate with x: Int, y: Int, produce Int:
+  Let sum be x plus y.
+  Return sum times 2.
+`;
+        const metadata = {
+            model: 'claude-3-5-sonnet-20241022',
+            provider: 'anthropic',
+            prompt: 'Create functions for greeting and mathematical operations',
+            timestamp: new Date().toISOString(),
+            validated: false,
+        };
+        const annotated = tracker.addProvenanceToCode(cnlCode, metadata);
+        const result = await validator.validate(annotated);
+        assert.equal(result.valid, true, 'Complex code with provenance should be valid');
+        assert.ok(result.coreIR, 'Should have Core IR');
+    });
+    test('帶 provenance 頭且包含長 prompt 的代碼應該能通過驗證', async () => {
+        const tracker = new ProvenanceTracker();
+        const validator = new PolicyValidator();
+        const cnlCode = `This module is ai.generated.longprompt.
+
+To identity with x: Int, produce Int:
+  Return x.
+`;
+        const longPrompt = 'a'.repeat(300); // 超過 200 字符的 prompt
+        const metadata = {
+            model: 'gpt-4',
+            provider: 'openai',
+            prompt: longPrompt,
+            timestamp: new Date().toISOString(),
+            validated: true,
+        };
+        const annotated = tracker.addProvenanceToCode(cnlCode, metadata);
+        const result = await validator.validate(annotated);
+        assert.equal(result.valid, true, 'Code with long prompt should be valid');
+        assert.ok(result.coreIR, 'Should have Core IR');
+    });
+    test('帶 provenance 頭且 prompt 包含換行符的代碼應該能通過驗證', async () => {
+        const tracker = new ProvenanceTracker();
+        const validator = new PolicyValidator();
+        const cnlCode = `This module is ai.generated.multiline.
+
+To multiply with x: Int, y: Int, produce Int:
+  Return x times y.
+`;
+        const metadata = {
+            model: 'gpt-4',
+            provider: 'openai',
+            prompt: 'Create a function that:\n1. Takes two integers\n2. Returns the product',
+            timestamp: new Date().toISOString(),
+            validated: true,
+        };
+        const annotated = tracker.addProvenanceToCode(cnlCode, metadata);
+        const result = await validator.validate(annotated);
+        assert.equal(result.valid, true, 'Code with multiline prompt should be valid');
+        assert.ok(result.coreIR, 'Should have Core IR');
+    });
+    test('provenance 頭不應該影響編譯錯誤檢測', async () => {
+        const tracker = new ProvenanceTracker();
+        const validator = new PolicyValidator();
+        // 這段代碼有類型錯誤：返回 Text 而非 Int
+        const cnlCode = `This module is ai.generated.invalid.
+
+To bad, produce Int:
+  Return "not an int".
+`;
+        const metadata = {
+            model: 'gpt-4',
+            provider: 'openai',
+            prompt: 'Create a buggy function',
+            timestamp: new Date().toISOString(),
+            validated: false,
+        };
+        const annotated = tracker.addProvenanceToCode(cnlCode, metadata);
+        const result = await validator.validate(annotated);
+        assert.equal(result.valid, false, 'Invalid code should fail validation');
+        assert.ok(result.diagnostics.length > 0, 'Should have diagnostics');
+        const errors = validator.getErrors(result.diagnostics);
+        assert.ok(errors.length > 0, 'Should have errors');
+    });
+    test('能從驗證後的代碼中提取 provenance 並保持一致性', async () => {
+        const tracker = new ProvenanceTracker();
+        const validator = new PolicyValidator();
+        const cnlCode = `This module is ai.generated.extract.
+
+To test, produce Int:
+  Return 42.
+`;
+        const metadata = {
+            model: 'gpt-4',
+            provider: 'openai',
+            prompt: 'Test provenance extraction',
+            timestamp: '2025-11-25T00:00:00.000Z',
+            validated: true,
+        };
+        const annotated = tracker.addProvenanceToCode(cnlCode, metadata);
+        // 先驗證代碼
+        const validationResult = await validator.validate(annotated);
+        assert.equal(validationResult.valid, true, 'Code should be valid');
+        // 再提取 provenance
+        const extracted = tracker.extractProvenance(annotated);
+        assert.ok(extracted, 'Should extract provenance');
+        assert.equal(extracted.model, metadata.model);
+        assert.equal(extracted.provider, metadata.provider);
+        assert.equal(extracted.prompt, metadata.prompt);
+        assert.equal(extracted.timestamp, metadata.timestamp);
+        assert.equal(extracted.validated, metadata.validated);
+    });
+    test('多個 provenance 頭（嵌套生成）應該只提取第一個', async () => {
+        const tracker = new ProvenanceTracker();
+        const cnlCode = `This module is ai.test.
+
+To test, produce Int:
+  Return 1.
+`;
+        const metadata1 = {
+            model: 'gpt-4',
+            provider: 'openai',
+            prompt: 'First generation',
+            timestamp: '2025-11-25T00:00:00.000Z',
+            validated: true,
+        };
+        const metadata2 = {
+            model: 'claude-3',
+            provider: 'anthropic',
+            prompt: 'Second generation',
+            timestamp: '2025-11-25T01:00:00.000Z',
+            validated: false,
+        };
+        // 添加第一個 provenance 頭
+        const annotated1 = tracker.addProvenanceToCode(cnlCode, metadata1);
+        // 再添加第二個 provenance 頭（模擬代碼被重新生成的情況）
+        const annotated2 = tracker.addProvenanceToCode(annotated1, metadata2);
+        // 提取應該返回第一個（最外層）provenance
+        const extracted = tracker.extractProvenance(annotated2);
+        assert.ok(extracted);
+        assert.equal(extracted.model, metadata2.model, 'Should extract first (outer) provenance');
+        assert.equal(extracted.provider, metadata2.provider);
+    });
+});
+//# sourceMappingURL=provenance-integration.test.js.map

package/dist/test/unit/provenance-integration.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance-integration.test.js","sourceRoot":"","sources":["../../../test/unit/provenance-integration.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAA2B,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;;GAEG;AACH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAI,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG;;;;CAInB,CAAC;QAEE,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,0CAA0C;YAClD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,sCAAsC,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,4BAA4B,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG;;;;;;;;;;;CAWnB,CAAC;QAEE,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,4BAA4B;YACnC,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,2DAA2D;YACnE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACjF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG;;;;CAInB,CAAC;QAEE,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB;QACxD,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,UAAU;YAClB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC1E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG;;;;CAInB,CAAC;QAEE,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,wEAAwE;YAChF,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,4CAA4C,CAAC,CAAC;QAC/E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACzC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,2BAA2B;QAC3B,MAAM,OAAO,GAAG;;;;CAInB,CAAC;QAEE,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,yBAAyB;YACjC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEnD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,qCAAqC,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAEpE,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,oBAAoB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG;;;;CAInB,CAAC;QAEE,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,4BAA4B;YACpC,SAAS,EAAE,0BAA0B;YACrC,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAEjE,QAAQ;QACR,MAAM,gBAAgB,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;QAEnE,iBAAiB;QACjB,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAEvD,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG;;;;CAInB,CAAC;QAEE,MAAM,SAAS,GAAuB;YACpC,KAAK,EAAE,OAAO;YACd,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,kBAAkB;YAC1B,SAAS,EAAE,0BAA0B;YACrC,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,MAAM,SAAS,GAAuB;YACpC,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,mBAAmB;YAC3B,SAAS,EAAE,0BAA0B;YACrC,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,qBAAqB;QACrB,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAEnE,oCAAoC;QACpC,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAEtE,2BAA2B;QAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAExD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACrB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,yCAAyC,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/provenance.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=provenance.test.d.ts.map

package/dist/test/unit/provenance.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.test.d.ts","sourceRoot":"","sources":["../../../test/unit/provenance.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/provenance.test.js

@@ -0,0 +1,170 @@
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { ProvenanceTracker } from '../../src/ai/provenance.js';
+// 測試數據
+const basicMetadata = {
+    model: 'gpt-4',
+    provider: 'openai',
+    prompt: 'Create a simple Hello World policy',
+    timestamp: '2025-11-25T00:00:00.000Z',
+    validated: true,
+};
+const simpleCNL = `This module is demo.hello.
+
+To greet, produce Text:
+  Return "Hello, World!".
+`;
+describe('Provenance Tracker', () => {
+    test('應該生成格式正確的註釋頭', () => {
+        const tracker = new ProvenanceTracker();
+        const header = tracker.generateHeader(basicMetadata);
+        assert.ok(header.includes('// ========================================'));
+        assert.ok(header.includes('// Generated by: Aster AI Code Generator'));
+        assert.ok(header.includes('// Model: gpt-4'));
+        assert.ok(header.includes('// Provider: openai'));
+        assert.ok(header.includes('// Prompt: Create a simple Hello World policy'));
+        assert.ok(header.includes('// Timestamp: 2025-11-25T00:00:00.000Z'));
+        assert.ok(header.includes('// Validated: true'));
+        assert.ok(header.endsWith('\n')); // 應該以空行結束
+    });
+    test('應該正確添加 provenance 到代碼頂部', () => {
+        const tracker = new ProvenanceTracker();
+        const annotated = tracker.addProvenanceToCode(simpleCNL, basicMetadata);
+        // 檢查註釋頭在代碼之前
+        assert.ok(annotated.startsWith('//'));
+        assert.ok(annotated.includes('This module is demo.hello.'));
+        // 檢查原始代碼完整保留
+        assert.ok(annotated.includes(simpleCNL));
+    });
+    test('應該正確處理包含換行符的 prompt', () => {
+        const tracker = new ProvenanceTracker();
+        const metadata = {
+            ...basicMetadata,
+            prompt: 'Line 1\nLine 2\r\nLine 3',
+        };
+        const header = tracker.generateHeader(metadata);
+        // 換行符應該被替換為空格
+        assert.ok(header.includes('// Prompt: Line 1 Line 2 Line 3'));
+        assert.ok(!header.includes('\nLine 2')); // 不應該包含未轉義的換行
+    });
+    test('應該截斷過長的 prompt', () => {
+        const tracker = new ProvenanceTracker();
+        const longPrompt = 'a'.repeat(300); // 300 個字符
+        const metadata = {
+            ...basicMetadata,
+            prompt: longPrompt,
+        };
+        const header = tracker.generateHeader(metadata);
+        // prompt 應該被截斷為 200 字符 + "..."
+        const promptLine = header.split('\n').find(line => line.startsWith('// Prompt:'));
+        assert.ok(promptLine);
+        assert.ok(promptLine.includes('...'));
+        assert.ok(promptLine.length < 220); // 200 + "// Prompt: " + "..."
+    });
+    test('應該處理多個空格的 prompt', () => {
+        const tracker = new ProvenanceTracker();
+        const metadata = {
+            ...basicMetadata,
+            prompt: 'Hello    World   with    multiple    spaces',
+        };
+        const header = tracker.generateHeader(metadata);
+        // 多個空格應該被壓縮為單個空格
+        assert.ok(header.includes('// Prompt: Hello World with multiple spaces'));
+    });
+    test('validated 為 false 時應該顯示 false', () => {
+        const tracker = new ProvenanceTracker();
+        const metadata = {
+            ...basicMetadata,
+            validated: false,
+        };
+        const header = tracker.generateHeader(metadata);
+        assert.ok(header.includes('// Validated: false'));
+    });
+    test('應該從帶註釋的代碼中提取 provenance', () => {
+        const tracker = new ProvenanceTracker();
+        const annotated = tracker.addProvenanceToCode(simpleCNL, basicMetadata);
+        const extracted = tracker.extractProvenance(annotated);
+        assert.ok(extracted, 'Should extract provenance');
+        assert.equal(extracted.model, 'gpt-4');
+        assert.equal(extracted.provider, 'openai');
+        assert.equal(extracted.prompt, 'Create a simple Hello World policy');
+        assert.equal(extracted.timestamp, '2025-11-25T00:00:00.000Z');
+        assert.equal(extracted.validated, true);
+    });
+    test('應該從不帶 provenance 的代碼中返回 null', () => {
+        const tracker = new ProvenanceTracker();
+        const extracted = tracker.extractProvenance(simpleCNL);
+        assert.equal(extracted, null);
+    });
+    test('應該處理部分 provenance 註釋（缺失字段）', () => {
+        const tracker = new ProvenanceTracker();
+        const partialHeader = `// Model: gpt-4
+// Provider: openai
+// Timestamp: 2025-11-25T00:00:00.000Z
+`;
+        const extracted = tracker.extractProvenance(partialHeader);
+        // 缺少 Prompt 和 Validated 字段，應該返回 null
+        assert.equal(extracted, null);
+    });
+    test('應該正確提取截斷的 prompt', () => {
+        const tracker = new ProvenanceTracker();
+        const longPrompt = 'a'.repeat(300);
+        const metadata = {
+            ...basicMetadata,
+            prompt: longPrompt,
+        };
+        const annotated = tracker.addProvenanceToCode(simpleCNL, metadata);
+        const extracted = tracker.extractProvenance(annotated);
+        assert.ok(extracted);
+        assert.ok(extracted.prompt.endsWith('...'));
+        assert.ok(extracted.prompt.length <= 203); // 200 + "..."
+    });
+    test('應該處理空 prompt', () => {
+        const tracker = new ProvenanceTracker();
+        const metadata = {
+            ...basicMetadata,
+            prompt: '',
+        };
+        const header = tracker.generateHeader(metadata);
+        assert.ok(header.includes('// Prompt: '));
+    });
+    test('應該處理包含特殊字符的 provider 和 model', () => {
+        const tracker = new ProvenanceTracker();
+        const metadata = {
+            model: 'claude-3-5-sonnet-20241022',
+            provider: 'anthropic',
+            prompt: 'Test prompt',
+            timestamp: '2025-11-25T00:00:00.000Z',
+            validated: true,
+        };
+        const header = tracker.generateHeader(metadata);
+        assert.ok(header.includes('// Model: claude-3-5-sonnet-20241022'));
+        assert.ok(header.includes('// Provider: anthropic'));
+    });
+    test('生成的代碼應該保持原始代碼的格式', () => {
+        const tracker = new ProvenanceTracker();
+        const codeWithIndentation = `This module is demo.test.
+
+To calculate with x: Int, y: Int, produce Int:
+  Let sum be x plus y.
+  Let double be sum times 2.
+  Return double.
+`;
+        const annotated = tracker.addProvenanceToCode(codeWithIndentation, basicMetadata);
+        // 檢查原始代碼的縮進和格式保持不變
+        assert.ok(annotated.includes('  Let sum be x plus y.'));
+        assert.ok(annotated.includes('  Let double be sum times 2.'));
+        assert.ok(annotated.includes('  Return double.'));
+    });
+    test('generateHeader 和 extractProvenance 應該互為逆操作', () => {
+        const tracker = new ProvenanceTracker();
+        const annotated = tracker.addProvenanceToCode(simpleCNL, basicMetadata);
+        const extracted = tracker.extractProvenance(annotated);
+        assert.ok(extracted);
+        assert.equal(extracted.model, basicMetadata.model);
+        assert.equal(extracted.provider, basicMetadata.provider);
+        assert.equal(extracted.timestamp, basicMetadata.timestamp);
+        assert.equal(extracted.validated, basicMetadata.validated);
+    });
+});
+//# sourceMappingURL=provenance.test.js.map

package/dist/test/unit/provenance.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.test.js","sourceRoot":"","sources":["../../../test/unit/provenance.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAA2B,MAAM,4BAA4B,CAAC;AAExF,OAAO;AACP,MAAM,aAAa,GAAuB;IACxC,KAAK,EAAE,OAAO;IACd,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,oCAAoC;IAC5C,SAAS,EAAE,0BAA0B;IACrC,SAAS,EAAE,IAAI;CAChB,CAAC;AAEF,MAAM,SAAS,GAAG;;;;CAIjB,CAAC;AAEF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QAErD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,6CAA6C,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,0CAA0C,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,+CAA+C,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,wCAAwC,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAExE,aAAa;QACb,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,CAAC;QAE5D,aAAa;QACb,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAuB;YACnC,GAAG,aAAa;YAChB,MAAM,EAAE,0BAA0B;SACnC,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAEhD,cAAc;QACd,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAc;IACzD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU;QAC9C,MAAM,QAAQ,GAAuB;YACnC,GAAG,aAAa;YAChB,MAAM,EAAE,UAAU;SACnB,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAEhD,+BAA+B;QAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QACtB,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,8BAA8B;IACpE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAuB;YACnC,GAAG,aAAa;YAChB,MAAM,EAAE,6CAA6C;SACtD,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAEhD,iBAAiB;QACjB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,6CAA6C,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAuB;YACnC,GAAG,aAAa;YAChB,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAExE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAEvD,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,oCAAoC,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,0BAA0B,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAEvD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACtC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,aAAa,GAAG;;;CAGzB,CAAC;QAEE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAE3D,qCAAqC;QACrC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAuB;YACnC,GAAG,aAAa;YAChB,MAAM,EAAE,UAAU;SACnB,CAAC;QAEF,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAEvD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,cAAc;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAuB;YACnC,GAAG,aAAa;YAChB,MAAM,EAAE,EAAE;SACX,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAuB;YACnC,KAAK,EAAE,4BAA4B;YACnC,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,aAAa;YACrB,SAAS,EAAE,0BAA0B;YACrC,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,sCAAsC,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,mBAAmB,GAAG;;;;;;CAM/B,CAAC;QAEE,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAC;QAElF,mBAAmB;QACnB,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACtD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACxE,MAAM,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAEvD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACrB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/resolver.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * resolver.ts 单元测试
+ */
+export {};
+//# sourceMappingURL=resolver.test.d.ts.map

package/dist/test/unit/resolver.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.test.d.ts","sourceRoot":"","sources":["../../../test/unit/resolver.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/test/unit/resolver.test.js

@@ -0,0 +1,48 @@
+/**
+ * resolver.ts 单元测试
+ */
+import test from 'node:test';
+import assert from 'node:assert';
+import { performance } from 'node:perf_hooks';
+import { DependencyResolver, MockPackageRegistry } from '../../src/package/resolver.js';
+test('resolver 测试套件', async (t) => {
+    await t.test('简单依赖解析应成功且<1秒', () => {
+        const resolver = new DependencyResolver(new MockPackageRegistry());
+        const start = performance.now();
+        const result = resolver.resolve({ 'aster.http': '^2.0.0' }, { maxDepth: 100, timeout: 30_000 });
+        const duration = performance.now() - start;
+        assert.ok(!(result instanceof Error), '依赖解析应成功');
+        assert.strictEqual(result.packages.get('aster.http'), '2.5.0');
+        assert.strictEqual(result.packages.get('aster.time'), '1.5.3');
+        assert.ok(duration < 1000, `耗时${duration}ms应<1000ms`);
+    });
+    await t.test('版本冲突应返回错误并报告依赖链', () => {
+        const resolver = new DependencyResolver(new MockPackageRegistry());
+        const result = resolver.resolve({
+            'aster.http': '^3.0.0',
+            'aster.sql': '^1.0.0',
+        }, { maxDepth: 100, timeout: 30_000 });
+        assert.ok(result instanceof Error, '存在冲突时应返回 Error');
+        assert.ok(result.message.includes('VERSION_CONFLICT'), '错误应包含冲突码');
+        assert.ok(result.message.includes('aster.time'), '应报告冲突包名');
+    });
+    await t.test('超时保护应在30秒后返回TIMEOUT错误', () => {
+        const resolver = new DependencyResolver(new MockPackageRegistry());
+        const result = resolver.resolve({ 'deep-package': '^1.0.0' }, { maxDepth: 100, timeout: 100 });
+        assert.ok(result instanceof Error, '长时间解析应返回 Error');
+        assert.ok(result.message.includes('TIMEOUT'), '应包含 TIMEOUT 关键字');
+    });
+    await t.test('超过最大深度100应返回错误', () => {
+        const resolver = new DependencyResolver(new MockPackageRegistry());
+        const result = resolver.resolve({ 'deep-chain': '^1.0.0' }, { maxDepth: 5, timeout: 30_000 });
+        assert.ok(result instanceof Error, '过深依赖链应报错');
+        assert.ok(result.message.includes('最大深度'));
+    });
+    await t.test('包不存在应返回PACKAGE_NOT_FOUND', () => {
+        const resolver = new DependencyResolver(new MockPackageRegistry());
+        const result = resolver.resolve({ 'non-existent-package': '^1.0.0' }, { maxDepth: 100, timeout: 30_000 });
+        assert.ok(result instanceof Error, '缺失包应返回 Error');
+        assert.ok(result.message.includes('PACKAGE_NOT_FOUND'));
+    });
+});
+//# sourceMappingURL=resolver.test.js.map

package/dist/test/unit/resolver.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.test.js","sourceRoot":"","sources":["../../../test/unit/resolver.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAExF,IAAI,CAAC,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;IAChC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;QACjC,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CAAC,IAAI,mBAAmB,EAAE,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAC7B,EAAE,YAAY,EAAE,QAAQ,EAAE,EAC1B,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CACnC,CAAC;QAEF,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,YAAY,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;QACjD,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,EAAE,CAAC,QAAQ,GAAG,IAAI,EAAE,KAAK,QAAQ,YAAY,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACnC,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CAAC,IAAI,mBAAmB,EAAE,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAC7B;YACE,YAAY,EAAE,QAAQ;YACtB,WAAW,EAAE,QAAQ;SACtB,EACD,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CACnC,CAAC;QAEF,MAAM,CAAC,EAAE,CAAC,MAAM,YAAY,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,UAAU,CAAC,CAAC;QACnE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACzC,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CAAC,IAAI,mBAAmB,EAAE,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAC7B,EAAE,cAAc,EAAE,QAAQ,EAAE,EAC5B,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAChC,CAAC;QAEF,MAAM,CAAC,EAAE,CAAC,MAAM,YAAY,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAClC,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CAAC,IAAI,mBAAmB,EAAE,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAC7B,EAAE,YAAY,EAAE,QAAQ,EAAE,EAC1B,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CACjC,CAAC;QAEF,MAAM,CAAC,EAAE,CAAC,MAAM,YAAY,KAAK,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAC5C,MAAM,QAAQ,GAAG,IAAI,kBAAkB,CAAC,IAAI,mBAAmB,EAAE,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAC7B,EAAE,sBAAsB,EAAE,QAAQ,EAAE,EACpC,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CACnC,CAAC;QAEF,MAAM,CAAC,EAAE,CAAC,MAAM,YAAY,KAAK,EAAE,cAAc,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/async-discipline-extended.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=async-discipline-extended.test.d.ts.map

package/dist/test/unit/typecheck/async-discipline-extended.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"async-discipline-extended.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/async-discipline-extended.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/typecheck/async-discipline-extended.test.js

@@ -0,0 +1,69 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+function runTypecheck(source) {
+    const canonical = canonicalize(source);
+    const tokens = lex(canonical);
+    const ast = parse(tokens);
+    const core = lowerModule(ast);
+    return typecheckModule(core);
+}
+describe('异步纪律补充测试', () => {
+    it('collectAsync 缺失 origin 时仍应触发 Start 未 Wait 诊断', () => {
+        const start = {
+            kind: 'Start',
+            name: 'job',
+            expr: { kind: 'Name', name: 'task' }
+        };
+        const ret = {
+            kind: 'Return',
+            expr: { kind: 'Int', value: 0 }
+        };
+        const block = {
+            kind: 'Block',
+            statements: [start, ret]
+        };
+        const func = {
+            kind: 'Func',
+            name: 'demo',
+            typeParams: [],
+            params: [],
+            effects: [],
+            effectCaps: [],
+            effectCapsExplicit: false,
+            ret: { kind: 'TypeName', name: 'Int' },
+            body: block
+        };
+        const mod = {
+            kind: 'Module',
+            name: 'test.async.manual',
+            decls: [func]
+        };
+        const diagnostics = typecheckModule(mod);
+        const diag = diagnostics.find(d => d.code === "E500" /* ErrorCode.ASYNC_START_NOT_WAITED */);
+        assert.ok(diag, '缺失 origin 情况下仍应检测 Start 未 Wait');
+        assert.equal(diag?.span, undefined, '占位 span 应被滤除');
+    });
+    it('嵌套作用域中遗漏 Wait 也应被检测', () => {
+        const diagnostics = runTypecheck(`
+This module is test.async.nested_missing_wait.
+
+Define User with id: Text.
+
+To process with u: User, produce Text. It performs io:
+  If u.id equals to "1":
+    Start profile as async fetchProfile(u.id).
+  Return "done".
+
+To fetchProfile with id: Text, produce Text. It performs io:
+  Return "profile".
+`);
+        const missingWait = diagnostics.filter(d => d.code === "E500" /* ErrorCode.ASYNC_START_NOT_WAITED */);
+        assert.equal(missingWait.length, 1, '嵌套作用域未等待仍应报错');
+    });
+});
+//# sourceMappingURL=async-discipline-extended.test.js.map

package/dist/test/unit/typecheck/async-discipline-extended.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"async-discipline-extended.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/async-discipline-extended.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAI5D,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAe;YACxB,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAe;SAClD,CAAC;QACF,MAAM,GAAG,GAAgB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAc;SAC5C,CAAC;QACF,MAAM,KAAK,GAAe;YACxB,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC;SACzB,CAAC;QACF,MAAM,IAAI,GAAc;YACtB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAmB;YACvD,IAAI,EAAE,KAAK;SACZ,CAAC;QACF,MAAM,GAAG,GAAgB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;;;;;;CAYpC,CAAC,CAAC;QACC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,CAAC;QACzF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/effects-and-capabilities.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=effects-and-capabilities.test.d.ts.map

package/dist/test/unit/typecheck/effects-and-capabilities.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects-and-capabilities.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/effects-and-capabilities.test.ts"],"names":[],"mappings":""}