@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/integration/compliance/compliance-smoke.test.js

@@ -0,0 +1,222 @@
+/**
+ * 合规示例冒烟测试
+ *
+ * 验证 examples/compliance/ 和 examples/healthcare/ 目录下的合规示例
+ * 能够成功编译并生成有效的 Core IR。
+ *
+ * 测试覆盖：
+ * - SOC2 审计链验证 (soc2-audit-demo.aster)
+ * - HIPAA 访问控制验证 (hipaa-validation-demo.aster)
+ * - 患者记录管理 (patient-record.aster)
+ * - 电子处方工作流 (prescription-workflow.aster)
+ */
+import { describe, it, before } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync, existsSync } from 'node:fs';
+import { join } from 'node:path';
+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';
+// 项目根目录（从源文件位置计算，而非编译后的 dist 位置）
+// 测试运行时从项目根目录运行，所以使用 process.cwd()
+const PROJECT_ROOT = process.cwd();
+// 合规示例文件路径
+const COMPLIANCE_DEMOS = [
+    {
+        name: 'SOC2 审计链验证',
+        path: 'examples/compliance/soc2-audit-demo.aster',
+        moduleName: 'examples.compliance.soc2_audit_demo',
+        expectedFunctions: ['compute_hash', 'verify_record_integrity', 'verify_chain_link', 'verify_one_record', 'verify_audit_chain', 'generate_soc2_report', 'create_genesis_record', 'append_audit_record', 'demo_valid_chain', 'demo_tampered_chain'],
+        expectedRecords: ['AuditRecord', 'ChainVerificationResult', 'ChainState'],
+    },
+    {
+        name: 'HIPAA 访问控制验证',
+        path: 'examples/compliance/hipaa-validation-demo.aster',
+        moduleName: 'examples.compliance.hipaa_validation_demo',
+        expectedFunctions: ['get_access_level', 'get_phi_category', 'validate_access_control', 'validate_consent', 'validate_purpose', 'validate_hipaa_compliance', 'generate_hipaa_report', 'demo_compliant_access', 'demo_non_compliant_access', 'demo_spoofed_access_blocked'],
+        expectedRecords: ['AccessLevel', 'PHICategory', 'PHIAccessRequest', 'HIPAAValidation'],
+    },
+    {
+        name: '患者记录管理',
+        path: 'examples/healthcare/patient-record.aster',
+        moduleName: 'examples.healthcare.patient_record',
+        expectedFunctions: ['verify_consent', 'get_patient_summary', 'display_patient_safe', 'demo_compliant_access', 'demo_non_compliant_access'],
+        expectedRecords: ['PatientPHI', 'AccessRequest', 'ConsentResult', 'PatientSummary'],
+    },
+    {
+        name: '电子处方工作流',
+        path: 'examples/healthcare/prescription-workflow.aster',
+        moduleName: 'examples.healthcare.prescription_workflow',
+        expectedFunctions: ['check_warfarin_aspirin_interaction', 'validate_prescriber', 'verify_dosage', 'verify_prescription', 'transmit_prescription_safe', 'demo_safe_prescription', 'demo_interaction_prescription'],
+        expectedRecords: ['Prescription', 'DrugInteraction', 'PharmacyVerification', 'VerificationStep'],
+    },
+];
+/**
+ * 完整编译管道函数
+ * @param source CNL 源代码
+ * @returns 编译结果和诊断信息
+ */
+function compileEnd2End(source) {
+    try {
+        // 阶段 1: 规范化
+        const canonical = canonicalize(source);
+        // 阶段 2: 词法分析
+        const tokens = lex(canonical);
+        // 阶段 3: 语法分析
+        const ast = parse(tokens);
+        // 阶段 4: 降级到核心
+        const core = lowerModule(ast);
+        // 阶段 5: 类型检查
+        const diagnostics = typecheckModule(core);
+        // 只有 error 级别的诊断才算失败
+        const errors = diagnostics.filter(d => d.severity === 'error');
+        return {
+            success: errors.length === 0,
+            ast,
+            core,
+            diagnostics,
+            error: null,
+        };
+    }
+    catch (error) {
+        return {
+            success: false,
+            ast: null,
+            core: null,
+            diagnostics: [],
+            error: error,
+        };
+    }
+}
+/**
+ * 读取示例文件
+ */
+function readDemoFile(relativePath) {
+    const fullPath = join(PROJECT_ROOT, relativePath);
+    if (!existsSync(fullPath)) {
+        throw new Error(`示例文件不存在: ${fullPath}`);
+    }
+    return readFileSync(fullPath, 'utf-8');
+}
+describe('合规示例冒烟测试', () => {
+    for (const demo of COMPLIANCE_DEMOS) {
+        describe(demo.name, () => {
+            let source;
+            let result;
+            before(() => {
+                source = readDemoFile(demo.path);
+                result = compileEnd2End(source);
+            });
+            it('文件应该存在', () => {
+                const fullPath = join(PROJECT_ROOT, demo.path);
+                assert.ok(existsSync(fullPath), `文件应该存在: ${demo.path}`);
+            });
+            it('应该成功编译', () => {
+                if (result.error) {
+                    assert.fail(`编译出错: ${result.error.message}\n${result.error.stack}`);
+                }
+                if (!result.success) {
+                    const errors = result.diagnostics.filter(d => d.severity === 'error');
+                    const errorMessages = errors.map(e => `  - ${e.message}`).join('\n');
+                    assert.fail(`编译失败，发现 ${errors.length} 个错误:\n${errorMessages}`);
+                }
+                assert.ok(result.success, '编译应该成功');
+            });
+            it('应该生成有效的 AST', () => {
+                assert.ok(result.ast, 'AST 不应该为空');
+                assert.equal(result.ast.kind, 'Module', 'AST 根节点应该是 Module');
+            });
+            it('应该生成有效的 Core IR', () => {
+                assert.ok(result.core, 'Core IR 不应该为空');
+                assert.equal(result.core.name, demo.moduleName, `模块名应该是 ${demo.moduleName}`);
+            });
+            it('应该包含预期的函数定义', () => {
+                assert.ok(result.core, 'Core IR 不应该为空');
+                const funcs = result.core.decls.filter((d) => d.kind === 'Func');
+                const funcNames = funcs.map(f => f.name);
+                for (const expectedFunc of demo.expectedFunctions) {
+                    assert.ok(funcNames.includes(expectedFunc), `应该包含函数 ${expectedFunc}，实际函数列表: [${funcNames.join(', ')}]`);
+                }
+            });
+            it('应该包含预期的记录类型定义', () => {
+                assert.ok(result.core, 'Core IR 不应该为空');
+                const records = result.core.decls.filter((d) => d.kind === 'Data');
+                const recordNames = records.map(r => r.name);
+                for (const expectedRecord of demo.expectedRecords) {
+                    assert.ok(recordNames.includes(expectedRecord), `应该包含记录类型 ${expectedRecord}，实际记录类型列表: [${recordNames.join(', ')}]`);
+                }
+            });
+            it('不应该有类型错误', () => {
+                const typeErrors = result.diagnostics.filter(d => d.severity === 'error' && d.code?.startsWith('T'));
+                if (typeErrors.length > 0) {
+                    const errorMessages = typeErrors.map(e => `  - [${e.code}] ${e.message}`).join('\n');
+                    assert.fail(`发现 ${typeErrors.length} 个类型错误:\n${errorMessages}`);
+                }
+            });
+            it('应该支持 // 风格注释', () => {
+                // 检查源代码中是否包含 // 风格注释
+                const hasDoubleSlashComment = source.includes('//');
+                if (hasDoubleSlashComment) {
+                    // 如果源代码包含 // 注释，验证编译成功证明注释被正确处理
+                    assert.ok(result.success, '包含 // 注释的文件应该能成功编译');
+                }
+            });
+        });
+    }
+});
+describe('合规示例内容验证', () => {
+    describe('SOC2 审计链验证', () => {
+        it('应该实现 SHA-256 哈希链结构', () => {
+            const source = readDemoFile('examples/compliance/soc2-audit-demo.aster');
+            assert.ok(source.includes('SHA-256'), '应该使用 SHA-256 哈希算法');
+            assert.ok(source.includes('prev_hash'), '应该包含前一条哈希字段');
+            assert.ok(source.includes('current_hash'), '应该包含当前哈希字段');
+        });
+        it('应该实现双重验证（记录完整性 + 链接完整性）', () => {
+            const source = readDemoFile('examples/compliance/soc2-audit-demo.aster');
+            assert.ok(source.includes('verify_record_integrity'), '应该包含记录完整性验证');
+            assert.ok(source.includes('verify_chain_link'), '应该包含链接完整性验证');
+        });
+    });
+    describe('HIPAA 访问控制验证', () => {
+        it('应该实现服务端权限计算（不信任客户端）', () => {
+            const source = readDemoFile('examples/compliance/hipaa-validation-demo.aster');
+            // 验证 PHIAccessRequest 不包含 access_level 字段
+            assert.ok(!source.includes('access_level: AccessLevel'), '请求不应该包含客户端传入的 access_level');
+            // 验证服务端重新计算
+            assert.ok(source.includes('get_access_level(request.user_role)'), '应该从 user_role 重新计算权限');
+        });
+        it('应该覆盖三项 HIPAA 验证检查', () => {
+            const source = readDemoFile('examples/compliance/hipaa-validation-demo.aster');
+            assert.ok(source.includes('§164.312(a)'), '应该覆盖访问控制验证');
+            assert.ok(source.includes('§164.508'), '应该覆盖同意验证');
+            assert.ok(source.includes('§164.512'), '应该覆盖使用目的验证');
+        });
+    });
+    describe('患者记录管理', () => {
+        it('应该实现同意验证函数', () => {
+            const source = readDemoFile('examples/healthcare/patient-record.aster');
+            assert.ok(source.includes('verify_consent'), '应该包含同意验证函数');
+            assert.ok(source.includes('ConsentResult'), '应该包含同意结果类型');
+        });
+        it('应该实现 PHI 数据脱敏', () => {
+            const source = readDemoFile('examples/healthcare/patient-record.aster');
+            assert.ok(source.includes('redact'), '应该包含数据脱敏操作');
+        });
+    });
+    describe('电子处方工作流', () => {
+        it('应该使用正确的 Result API', () => {
+            const source = readDemoFile('examples/healthcare/prescription-workflow.aster');
+            // 验证使用 Result.isOk() 或 Result.isErr() 静态方法
+            assert.ok(source.includes('Result.isOk') || source.includes('Result.isErr'), '应该使用 Result 静态方法');
+        });
+        it('应该实现药物相互作用检查', () => {
+            const source = readDemoFile('examples/healthcare/prescription-workflow.aster');
+            assert.ok(source.includes('warfarin') && source.includes('aspirin'), '应该包含 warfarin-aspirin 相互作用检查');
+            assert.ok(source.includes('DrugInteraction'), '应该包含药物相互作用记录类型');
+        });
+    });
+});
+//# sourceMappingURL=compliance-smoke.test.js.map

package/dist/test/integration/compliance/compliance-smoke.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compliance-smoke.test.js","sourceRoot":"","sources":["../../../../test/integration/compliance/compliance-smoke.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAW,MAAM,WAAW,CAAC;AAC1C,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;AAG5D,iCAAiC;AACjC,mCAAmC;AACnC,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAEnC,WAAW;AACX,MAAM,gBAAgB,GAAG;IACvB;QACE,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,2CAA2C;QACjD,UAAU,EAAE,qCAAqC;QACjD,iBAAiB,EAAE,CAAC,cAAc,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;QACjP,eAAe,EAAE,CAAC,aAAa,EAAE,yBAAyB,EAAE,YAAY,CAAC;KAC1E;IACD;QACE,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,iDAAiD;QACvD,UAAU,EAAE,2CAA2C;QACvD,iBAAiB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,6BAA6B,CAAC;QACzQ,eAAe,EAAE,CAAC,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,iBAAiB,CAAC;KACvF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,0CAA0C;QAChD,UAAU,EAAE,oCAAoC;QAChD,iBAAiB,EAAE,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,2BAA2B,CAAC;QAC1I,eAAe,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,gBAAgB,CAAC;KACpF;IACD;QACE,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,iDAAiD;QACvD,UAAU,EAAE,2CAA2C;QACvD,iBAAiB,EAAE,CAAC,oCAAoC,EAAE,qBAAqB,EAAE,eAAe,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,wBAAwB,EAAE,+BAA+B,CAAC;QACjN,eAAe,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,kBAAkB,CAAC;KACjG;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,cAAc,CAAC,MAAc;IAOpC,IAAI,CAAC;QACH,YAAY;QACZ,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAEvC,aAAa;QACb,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAE9B,aAAa;QACb,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;QAEvC,cAAc;QACd,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAE9B,aAAa;QACb,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAE1C,qBAAqB;QACrB,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAE/D,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC5B,GAAG;YACH,IAAI;YACJ,WAAW;YACX,KAAK,EAAE,IAAI;SACZ,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,GAAG,EAAE,IAAI;YACT,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,EAAE;YACf,KAAK,EAAE,KAAc;SACtB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,YAAoB;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE;YACvB,IAAI,MAAc,CAAC;YACnB,IAAI,MAAyC,CAAC;YAE9C,MAAM,CAAC,GAAG,EAAE;gBACV,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE;gBAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,WAAW,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE;gBAChB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACjB,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBACtE,CAAC;gBACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpB,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;oBACtE,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACrE,MAAM,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,UAAU,aAAa,EAAE,CAAC,CAAC;gBACjE,CAAC;gBACD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;gBACrB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBACnC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC;YAC/D,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;gBACzB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;gBACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YAC/E,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;gBACrB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;gBACxC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;gBACjF,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAEzC,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBAClD,MAAM,CAAC,EAAE,CACP,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,EAChC,UAAU,YAAY,aAAa,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3D,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;gBACvB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;gBACxC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;gBACnF,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAE7C,KAAK,MAAM,cAAc,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;oBAClD,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,EACpC,YAAY,cAAc,eAAe,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACnE,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE;gBAClB,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CACvD,CAAC;gBACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACrF,MAAM,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,MAAM,YAAY,aAAa,EAAE,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;gBACtB,qBAAqB;gBACrB,MAAM,qBAAqB,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,qBAAqB,EAAE,CAAC;oBAC1B,gCAAgC;oBAChC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,YAAY,CAAC,2CAA2C,CAAC,CAAC;YACzE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,mBAAmB,CAAC,CAAC;YAC3D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,CAAC;YACvD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,MAAM,GAAG,YAAY,CAAC,2CAA2C,CAAC,CAAC;YACzE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,aAAa,CAAC,CAAC;YACrE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,aAAa,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG,YAAY,CAAC,iDAAiD,CAAC,CAAC;YAC/E,0CAA0C;YAC1C,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,4BAA4B,CAAC,CAAC;YACvF,YAAY;YACZ,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC,EAAE,sBAAsB,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,iDAAiD,CAAC,CAAC;YAC/E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,YAAY,CAAC,0CAA0C,CAAC,CAAC;YACxE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,YAAY,CAAC,CAAC;YAC3D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,YAAY,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,MAAM,GAAG,YAAY,CAAC,0CAA0C,CAAC,CAAC;YACxE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,YAAY,CAAC,iDAAiD,CAAC,CAAC;YAC/E,2CAA2C;YAC3C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,kBAAkB,CAAC,CAAC;QACnG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,MAAM,GAAG,YAAY,CAAC,iDAAiD,CAAC,CAAC;YAC/E,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,8BAA8B,CAAC,CAAC;YACrG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/integration/lsp/lsp-client-helper.test.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+/**
+ * LSP 客户端辅助类集成测试
+ * 验证 initialize/shutdown/exit 流程
+ */
+export {};
+//# sourceMappingURL=lsp-client-helper.test.d.ts.map

package/dist/test/integration/lsp/lsp-client-helper.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-client-helper.test.d.ts","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-client-helper.test.ts"],"names":[],"mappings":";AACA;;;GAGG"}

package/dist/test/integration/lsp/lsp-client-helper.test.js

@@ -0,0 +1,45 @@
+#!/usr/bin/env node
+/**
+ * LSP 客户端辅助类集成测试
+ * 验证 initialize/shutdown/exit 流程
+ */
+import { LSPClient } from '../../../scripts/lsp-client-helper.js';
+async function testLSPClientLifecycle() {
+    const client = new LSPClient();
+    try {
+        // 启动 LSP 服务器
+        console.log('1. 启动 LSP 服务器...');
+        client.spawn('dist/src/lsp/server.js');
+        // 发送 initialize 请求
+        console.log('2. 发送 initialize 请求...');
+        const initResult = await client.request('initialize', {
+            processId: process.pid,
+            clientInfo: { name: 'test-client', version: '1.0.0' },
+            rootUri: null,
+            capabilities: {},
+        });
+        console.log('✓ Initialize 成功:', initResult ? '收到响应' : '未收到响应');
+        // 发送 initialized 通知
+        console.log('3. 发送 initialized 通知...');
+        client.notify('initialized', {});
+        // 发送 shutdown 请求
+        console.log('4. 发送 shutdown 请求...');
+        await client.request('shutdown');
+        console.log('✓ Shutdown 成功');
+        // 发送 exit 通知
+        console.log('5. 发送 exit 通知...');
+        client.notify('exit');
+        // 等待进程退出
+        await new Promise(resolve => setTimeout(resolve, 500));
+        console.log('\n✅ LSP 客户端生命周期测试通过');
+    }
+    catch (error) {
+        console.error('\n❌ 测试失败:', error);
+        process.exit(1);
+    }
+    finally {
+        client.close();
+    }
+}
+testLSPClientLifecycle();
+//# sourceMappingURL=lsp-client-helper.test.js.map

package/dist/test/integration/lsp/lsp-client-helper.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-client-helper.test.js","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-client-helper.test.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAElE,KAAK,UAAU,sBAAsB;IACnC,MAAM,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;IAE/B,IAAI,CAAC;QACH,aAAa;QACb,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAEvC,mBAAmB;QACnB,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;YACpD,SAAS,EAAE,OAAO,CAAC,GAAG;YACtB,UAAU,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE;YACrD,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAE/D,oBAAoB;QACpB,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAEjC,iBAAiB;QACjB,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpC,MAAM,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAE7B,aAAa;QACb,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAEtB,SAAS;QACT,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QAEvD,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,KAAK,EAAE,CAAC;IACjB,CAAC;AACH,CAAC;AAED,sBAAsB,EAAE,CAAC"}

package/dist/test/integration/lsp/lsp-completion.test.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+/**
+ * Completion 模块单元测试
+ * 验证 completion.ts 模块提取后的功能完整性
+ */
+export {};
+//# sourceMappingURL=lsp-completion.test.d.ts.map

package/dist/test/integration/lsp/lsp-completion.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-completion.test.d.ts","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-completion.test.ts"],"names":[],"mappings":";AACA;;;GAGG"}

package/dist/test/integration/lsp/lsp-completion.test.js

@@ -0,0 +1,178 @@
+#!/usr/bin/env node
+/**
+ * Completion 模块单元测试
+ * 验证 completion.ts 模块提取后的功能完整性
+ */
+import { registerCompletionHandlers } from '../../../src/lsp/completion.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+function assert(condition, message) {
+    if (!condition)
+        throw new Error(message);
+}
+function createMockGetOrParse() {
+    return (doc) => {
+        const text = doc.getText();
+        const can = canonicalize(text);
+        const tokens = lex(can);
+        let ast = null;
+        try {
+            ast = parse(tokens);
+        }
+        catch {
+            ast = null;
+        }
+        return { text: can, tokens, ast };
+    };
+}
+function createMockConnection() {
+    const handlers = {};
+    return {
+        onCompletion: (handler) => { handlers.onCompletion = handler; },
+        onCompletionResolve: (handler) => { handlers.onCompletionResolve = handler; },
+        onRequest: (method, handler) => { handlers[method] = handler; },
+        handlers,
+    };
+}
+function createMockDocuments() {
+    const docs = new Map();
+    return {
+        get: (uri) => docs.get(uri),
+        set: (uri, doc) => docs.set(uri, doc),
+    };
+}
+async function testBasicCompletion() {
+    const mockConnection = createMockConnection();
+    const mockDocuments = createMockDocuments();
+    const getOrParse = createMockGetOrParse();
+    registerCompletionHandlers(mockConnection, mockDocuments, getOrParse);
+    const completions = mockConnection.handlers.onCompletion();
+    assert(Array.isArray(completions), '应返回补全项数组');
+    assert(completions.length > 20, `应返回多个补全项（实际: ${completions.length}）`);
+    // 验证关键字补全
+    const hasKeyword = completions.some(c => c.label === 'this module is');
+    assert(hasKeyword, '应包含关键字 "this module is"');
+    // 验证类型补全
+    const hasType = completions.some(c => c.label === 'Text');
+    assert(hasType, '应包含类型 "Text"');
+    console.log(`✓ 基础补全功能正常（返回 ${completions.length} 个补全项）`);
+}
+async function testCompletionResolve() {
+    const mockConnection = createMockConnection();
+    const mockDocuments = createMockDocuments();
+    const getOrParse = createMockGetOrParse();
+    registerCompletionHandlers(mockConnection, mockDocuments, getOrParse);
+    // 测试 'this module is' 的详细信息
+    const item1 = { label: 'this module is', data: 'this module is' };
+    const resolved1 = mockConnection.handlers.onCompletionResolve(item1);
+    assert(resolved1.detail === 'Module declaration', `"this module is" detail 应为 "Module declaration"（实际: ${resolved1.detail}）`);
+    // 测试 'define' 的详细信息
+    const item2 = { label: 'define', data: 'define' };
+    const resolved2 = mockConnection.handlers.onCompletionResolve(item2);
+    assert(resolved2.detail === 'Type definition', `"define" detail 应为 "Type definition"（实际: ${resolved2.detail}）`);
+    // 测试 'to' 的详细信息
+    const item3 = { label: 'to', data: 'to' };
+    const resolved3 = mockConnection.handlers.onCompletionResolve(item3);
+    assert(resolved3.detail === 'Function definition', `"to" detail 应为 "Function definition"（实际: ${resolved3.detail}）`);
+    console.log('✓ 补全项解析功能正常');
+}
+async function testSignatureHelp() {
+    const code = `This module is test_app.
+
+To greet with name: Text, age: Int, produce Text:
+  Return "Hello".
+`;
+    const doc = TextDocument.create('file:///test.aster', 'aster', 1, code);
+    const mockConnection = createMockConnection();
+    const mockDocuments = createMockDocuments();
+    mockDocuments.set('file:///test.aster', doc);
+    const getOrParse = createMockGetOrParse();
+    registerCompletionHandlers(mockConnection, mockDocuments, getOrParse);
+    // 模拟在函数调用位置请求签名
+    const params = {
+        textDocument: { uri: 'file:///test.aster' },
+        position: { line: 5, character: 10 }, // 在某个位置
+    };
+    const signatureHelp = await mockConnection.handlers['textDocument/signatureHelp'](params);
+    // 注意：这个测试可能返回 null，因为没有实际的函数调用在代码中
+    // 主要验证处理器不崩溃
+    assert(signatureHelp === null || typeof signatureHelp === 'object', '签名提示应返回对象或 null');
+    console.log('✓ 签名提示功能正常（处理器注册成功）');
+}
+async function testSignatureHelpWithCall() {
+    const code = `This module is test_app.
+
+To greet with name: Text, produce Text:
+  Return "Hello".
+
+To main produce Text:
+  Let result be greet("World").
+  Return result.
+`;
+    const doc = TextDocument.create('file:///test.aster', 'aster', 1, code);
+    const mockConnection = createMockConnection();
+    const mockDocuments = createMockDocuments();
+    mockDocuments.set('file:///test.aster', doc);
+    const getOrParse = createMockGetOrParse();
+    registerCompletionHandlers(mockConnection, mockDocuments, getOrParse);
+    // 在 greet( 调用处请求签名
+    const params = {
+        textDocument: { uri: 'file:///test.aster' },
+        position: { line: 6, character: 24 }, // 在 greet("World") 的位置
+    };
+    const signatureHelp = await mockConnection.handlers['textDocument/signatureHelp'](params);
+    if (signatureHelp) {
+        assert(Array.isArray(signatureHelp.signatures), '签名应为数组');
+        if (signatureHelp.signatures.length > 0) {
+            const sig = signatureHelp.signatures[0];
+            if (sig) {
+                assert(sig.label.includes('greet'), '签名标签应包含函数名');
+                assert(sig.label.includes('name'), '签名标签应包含参数名');
+                console.log(`✓ 签名提示内容正确（签名: ${sig.label}）`);
+            }
+        }
+        else {
+            console.log('✓ 签名提示功能正常（未找到签名，但处理器正常工作）');
+        }
+    }
+    else {
+        console.log('✓ 签名提示功能正常（返回 null，处理器正常工作）');
+    }
+}
+async function testEdgeCases() {
+    const mockConnection = createMockConnection();
+    const mockDocuments = createMockDocuments();
+    const getOrParse = createMockGetOrParse();
+    registerCompletionHandlers(mockConnection, mockDocuments, getOrParse);
+    // 测试不存在的文档
+    const params = {
+        textDocument: { uri: 'file:///nonexistent.aster' },
+        position: { line: 0, character: 0 },
+    };
+    const signatureHelp = await mockConnection.handlers['textDocument/signatureHelp'](params);
+    assert(signatureHelp === null, '不存在的文档应返回 null');
+    // 测试空补全项解析
+    const emptyItem = { label: 'unknown', data: 'unknown' };
+    const resolved = mockConnection.handlers.onCompletionResolve(emptyItem);
+    assert(resolved.label === 'unknown', '未知补全项应原样返回');
+    console.log('✓ 边界情况处理正常');
+}
+async function main() {
+    console.log('Running LSP completion tests...\n');
+    try {
+        await testBasicCompletion();
+        await testCompletionResolve();
+        await testSignatureHelp();
+        await testSignatureHelpWithCall();
+        await testEdgeCases();
+        console.log('\n✅ All LSP completion tests passed.');
+    }
+    catch (error) {
+        console.error('\n❌ Test failed:', error);
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=lsp-completion.test.js.map

package/dist/test/integration/lsp/lsp-completion.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-completion.test.js","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-completion.test.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAG/C,SAAS,MAAM,CAAC,SAAkB,EAAE,OAAe;IACjD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,oBAAoB;IAC3B,OAAO,CAAC,GAAiB,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,GAAG,GAAqB,IAAI,CAAC;QACjC,IAAI,CAAC;YACH,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;QACnC,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB;IAC3B,MAAM,QAAQ,GAAQ,EAAE,CAAC;IACzB,OAAO;QACL,YAAY,EAAE,CAAC,OAAY,EAAE,EAAE,GAAG,QAAQ,CAAC,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC;QACpE,mBAAmB,EAAE,CAAC,OAAY,EAAE,EAAE,GAAG,QAAQ,CAAC,mBAAmB,GAAG,OAAO,CAAC,CAAC,CAAC;QAClF,SAAS,EAAE,CAAC,MAAc,EAAE,OAAY,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;QAC5E,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,OAAO;QACL,GAAG,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnC,GAAG,EAAE,CAAC,GAAW,EAAE,GAAiB,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mBAAmB;IAChC,MAAM,cAAc,GAAG,oBAAoB,EAAS,CAAC;IACrD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,0BAA0B,CAAC,cAAc,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEtE,MAAM,WAAW,GAAqB,cAAc,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;IAE7E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,CAAC;IAC/C,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,EAAE,EAAE,gBAAgB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAEvE,UAAU;IACV,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,gBAAgB,CAAC,CAAC;IACvE,MAAM,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAC;IAE9C,SAAS;IACT,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IAC1D,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAEhC,OAAO,CAAC,GAAG,CAAC,iBAAiB,WAAW,CAAC,MAAM,QAAQ,CAAC,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,qBAAqB;IAClC,MAAM,cAAc,GAAG,oBAAoB,EAAS,CAAC;IACrD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,0BAA0B,CAAC,cAAc,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEtE,4BAA4B;IAC5B,MAAM,KAAK,GAAmB,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IAClF,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,oBAAoB,EAAE,uDAAuD,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAE9H,oBAAoB;IACpB,MAAM,KAAK,GAAmB,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAClE,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,iBAAiB,EAAE,4CAA4C,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAEhH,gBAAgB;IAChB,MAAM,KAAK,GAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC1D,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,qBAAqB,EAAE,4CAA4C,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAEpH,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;AAC7B,CAAC;AAED,KAAK,UAAU,iBAAiB;IAC9B,MAAM,IAAI,GAAG;;;;CAId,CAAC;IAEA,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,oBAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,oBAAoB,EAAS,CAAC;IACrD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,aAAa,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,0BAA0B,CAAC,cAAc,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEtE,gBAAgB;IAChB,MAAM,MAAM,GAAG;QACb,YAAY,EAAE,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3C,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,QAAQ;KAC/C,CAAC;IAEF,MAAM,aAAa,GAAyB,MAAM,cAAc,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;IAEhH,mCAAmC;IACnC,aAAa;IACb,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAEvF,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;AACrC,CAAC;AAED,KAAK,UAAU,yBAAyB;IACtC,MAAM,IAAI,GAAG;;;;;;;;CAQd,CAAC;IAEA,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,oBAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,oBAAoB,EAAS,CAAC;IACrD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,aAAa,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,0BAA0B,CAAC,cAAc,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEtE,mBAAmB;IACnB,MAAM,MAAM,GAAG;QACb,YAAY,EAAE,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3C,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,uBAAuB;KAC9D,CAAC;IAEF,MAAM,aAAa,GAAyB,MAAM,cAAc,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;IAEhH,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1D,IAAI,aAAa,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC;gBAClD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;gBACjD,OAAO,CAAC,GAAG,CAAC,kBAAkB,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa;IAC1B,MAAM,cAAc,GAAG,oBAAoB,EAAS,CAAC;IACrD,MAAM,aAAa,GAAG,mBAAmB,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,0BAA0B,CAAC,cAAc,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEtE,WAAW;IACX,MAAM,MAAM,GAAG;QACb,YAAY,EAAE,EAAE,GAAG,EAAE,2BAA2B,EAAE;QAClD,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;KACpC,CAAC;IAEF,MAAM,aAAa,GAAyB,MAAM,cAAc,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;IAChH,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAEjD,WAAW;IACX,MAAM,SAAS,GAAmB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACxE,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,YAAY,CAAC,CAAC;IAEnD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IAEjD,IAAI,CAAC;QACH,MAAM,mBAAmB,EAAE,CAAC;QAC5B,MAAM,qBAAqB,EAAE,CAAC;QAC9B,MAAM,iBAAiB,EAAE,CAAC;QAC1B,MAAM,yBAAyB,EAAE,CAAC;QAClC,MAAM,aAAa,EAAE,CAAC;QAEtB,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IACtD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/test/integration/lsp/lsp-diagnostics.test.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+/**
+ * 诊断服务单元测试
+ * 验证 diagnostics.ts 模块提取后的功能完整性
+ */
+export {};
+//# sourceMappingURL=lsp-diagnostics.test.d.ts.map

package/dist/test/integration/lsp/lsp-diagnostics.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-diagnostics.test.d.ts","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-diagnostics.test.ts"],"names":[],"mappings":";AACA;;;GAGG"}

package/dist/test/integration/lsp/lsp-diagnostics.test.js

@@ -0,0 +1,105 @@
+#!/usr/bin/env node
+/**
+ * 诊断服务单元测试
+ * 验证 diagnostics.ts 模块提取后的功能完整性
+ */
+import { computeDiagnostics, setDiagnosticConfig } from '../../../src/lsp/diagnostics.js';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+function assert(condition, message) {
+    if (!condition)
+        throw new Error(message);
+}
+function createMockGetOrParse() {
+    return (doc) => {
+        const text = doc.getText();
+        const can = canonicalize(text);
+        const tokens = lex(can);
+        let ast = null;
+        try {
+            ast = parse(tokens);
+        }
+        catch {
+            ast = null;
+        }
+        return { text: can, tokens, ast };
+    };
+}
+async function testBasicDiagnostics() {
+    const code = `This module is test_app.
+
+Define User with id: Text, name: Text.
+
+To greet with user: User, produce Text:
+  Return "Hello, {user.name}".
+`;
+    const doc = TextDocument.create('file:///test.aster', 'aster', 1, code);
+    const getOrParse = createMockGetOrParse();
+    const diagnostics = await computeDiagnostics(doc, getOrParse);
+    // 应该没有错误（正常的代码）
+    assert(Array.isArray(diagnostics), '应返回诊断数组');
+    console.log(`✓ 基础诊断功能正常（返回 ${diagnostics.length} 个诊断）`);
+}
+async function testMissingModuleHeader() {
+    const code = `Define User with id: Text.`;
+    const doc = TextDocument.create('file:///test.aster', 'aster', 1, code);
+    const getOrParse = createMockGetOrParse();
+    const diagnostics = await computeDiagnostics(doc, getOrParse);
+    // 验证解析成功（模块名为 null 或 undefined，但不产生错误）
+    const parsedResult = getOrParse(doc);
+    assert(parsedResult.ast !== null, '应成功解析 AST');
+    assert(parsedResult.ast?.name === null || parsedResult.ast?.name === undefined || parsedResult.ast?.name === '', '模块名应为 null/undefined/empty');
+    // 当前实现不对缺失模块头产生警告，这是设计选择
+    // 模块会被解析为 <anonymous> 模块
+    console.log('✓ 缺失模块头被静默处理为匿名模块');
+}
+async function testPiiFlowDiagnostics() {
+    // 使用实际的 PII 违规示例
+    const code = `This module is pii_test.
+
+Effect HttpGet returning PII.
+
+To getSensitiveData produce PII with effect HttpGet:
+  Return "sensitive".
+
+To leakData produce Text with effect HttpGet:
+  Let data be getSensitiveData().
+  Return data.
+`;
+    const doc = TextDocument.create('file:///pii_test.aster', 'aster', 1, code);
+    const getOrParse = createMockGetOrParse();
+    setDiagnosticConfig({ workspaceDiagnosticsEnabled: true });
+    const diagnostics = await computeDiagnostics(doc, getOrParse);
+    // 检查是否包含 PII 相关诊断（如果有的话）
+    // 注意：具体的 PII 检查可能需要特定的配置和上下文
+    console.log(`✓ PII 流诊断检查执行（返回 ${diagnostics.length} 个诊断）`);
+    // 验证 collectSemanticDiagnostics 被调用（通过检查没有崩溃来间接验证）
+    assert(Array.isArray(diagnostics), 'PII 流检查应正常执行');
+}
+async function testConfigUpdate() {
+    // 测试配置更新功能
+    setDiagnosticConfig({
+        relatedInformationSupported: true,
+        workspaceDiagnosticsEnabled: false,
+        capabilityManifestPath: null,
+    });
+    console.log('✓ 诊断配置更新功能正常');
+}
+async function main() {
+    console.log('Running LSP diagnostics tests...\n');
+    try {
+        await testBasicDiagnostics();
+        await testMissingModuleHeader();
+        await testPiiFlowDiagnostics();
+        await testConfigUpdate();
+        console.log('\n✅ All LSP diagnostics tests passed.');
+    }
+    catch (error) {
+        console.error('\n❌ Test failed:', error);
+        process.exit(1);
+    }
+}
+main();
+//# sourceMappingURL=lsp-diagnostics.test.js.map

package/dist/test/integration/lsp/lsp-diagnostics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-diagnostics.test.js","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-diagnostics.test.ts"],"names":[],"mappings":";AACA;;;GAGG;AAEH,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAG/C,SAAS,MAAM,CAAC,SAAkB,EAAE,OAAe;IACjD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,oBAAoB;IAC3B,OAAO,CAAC,GAAiB,EAAE,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,GAAG,GAAqB,IAAI,CAAC;QACjC,IAAI,CAAC;YACH,GAAG,GAAG,KAAK,CAAC,MAAM,CAAc,CAAC;QACnC,CAAC;QAAC,MAAM,CAAC;YACP,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpC,CAAC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,oBAAoB;IACjC,MAAM,IAAI,GAAG;;;;;;CAMd,CAAC;IAEA,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,oBAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAE9D,gBAAgB;IAChB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,CAAC,iBAAiB,WAAW,CAAC,MAAM,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED,KAAK,UAAU,uBAAuB;IACpC,MAAM,IAAI,GAAG,4BAA4B,CAAC;IAE1C,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,oBAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAE9D,uCAAuC;IACvC,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,CAAC,YAAY,CAAC,GAAG,KAAK,IAAI,EAAE,WAAW,CAAC,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,EAAE,IAAI,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,EAAE,IAAI,KAAK,EAAE,EAAE,4BAA4B,CAAC,CAAC;IAE/I,yBAAyB;IACzB,yBAAyB;IACzB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;AACnC,CAAC;AAED,KAAK,UAAU,sBAAsB;IACnC,iBAAiB;IACjB,MAAM,IAAI,GAAG;;;;;;;;;;CAUd,CAAC;IAEA,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,wBAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,oBAAoB,EAAE,CAAC;IAE1C,mBAAmB,CAAC,EAAE,2BAA2B,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAE9D,yBAAyB;IACzB,6BAA6B;IAC7B,OAAO,CAAC,GAAG,CAAC,oBAAoB,WAAW,CAAC,MAAM,OAAO,CAAC,CAAC;IAE3D,mDAAmD;IACnD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;AACrD,CAAC;AAED,KAAK,UAAU,gBAAgB;IAC7B,WAAW;IACX,mBAAmB,CAAC;QAClB,2BAA2B,EAAE,IAAI;QACjC,2BAA2B,EAAE,KAAK;QAClC,sBAAsB,EAAE,IAAI;KAC7B,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAC9B,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAElD,IAAI,CAAC;QACH,MAAM,oBAAoB,EAAE,CAAC;QAC7B,MAAM,uBAAuB,EAAE,CAAC;QAChC,MAAM,sBAAsB,EAAE,CAAC;QAC/B,MAAM,gBAAgB,EAAE,CAAC;QAEzB,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;IACvD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/test/integration/lsp/lsp-file-watcher.test.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+/**
+ * 文件监控器单元测试
+ * 验证polling降级、并发控制和路径匹配功能
+ */
+export {};
+//# sourceMappingURL=lsp-file-watcher.test.d.ts.map

package/dist/test/integration/lsp/lsp-file-watcher.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-file-watcher.test.d.ts","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-file-watcher.test.ts"],"names":[],"mappings":";AACA;;;GAGG"}