@lcap/nasl-language-server-core 4.4.0-beta.3 → 4.4.0-beta.31

package/out/typer/typer.d.ts

@@ -1,5 +1,5 @@
-import { App, BaseNode, CallFunction, Logic, QueryFieldExpression, SyntaxNode, TypeAnnotation, Variable, CallQueryComponent, ProcessV2, Return, Param, type ViewElement, CallLogic, OverriddenLogic, Identifier, ProcessBindV2 } from '@lcap/nasl-concepts';
-import { TypingEnv, ResolvedCall, TyVarSolution, TypeSubst } from './type-manager';
+import { App, BaseNode, CallFunction, Logic, QueryFieldExpression, Structure, SyntaxNode, TypeAnnotation, Variable, CallQueryComponent, ProcessV2, Return, Param, type ViewElement, CallLogic, OverriddenLogic, Identifier, ProcessBindV2 } from '@lcap/nasl-concepts';
+import { Constraints, TypingEnv, ResolvedCall, TyVarSolution, TypeSubst } from './type-manager';
 import { Solver } from './solver';
 import { ReferenceManager } from '../reference-manager/reference-manager';
 import { type DefConcept, type RefConcept } from '../reference-manager/symbol-type';
@@ -20,6 +20,7 @@ export declare class SemEnv {
     app: App | null;
     isFirstScreenCheck: boolean;
     strict: boolean;
+    isAIStrictMode: boolean;
     /**
      * 是否是前端类型检查模式
      *
@@ -29,12 +30,19 @@ export declare class SemEnv {
     isView: boolean;
     isPlayground: boolean;
     isInMemberExpr: boolean;
+    /** 草稿区约束单独存放，不写入 unifier.cs，从而不影响外部求解（与 withPostCheckScope 类似的作用域隔离） */
+    playgroundCs: Constraints;
     flags: {
         checkOQL: boolean;
         /**
          * 是否为智能应用生成开发模式。如果是，那么有一些特殊的类型检查规则。
          */
         creatorDevMode: boolean;
+        /**
+         * 是否启用草稿区隔离相关的额外逻辑。
+         * 仅在视图场景（env.isView=true）下生效；逻辑/流程/大 JSON 等非页面场景会自动忽略。
+         */
+        usePlaygroundIsolation: boolean;
     };
     enableCheckOQL(): void;
     enableCreatorDevMode(): void;
@@ -47,7 +55,7 @@ export declare class SemEnv {
      *
      * 页面检查会连带检查服务端逻辑，tpSolving 里简单改一下的话性能直接变慢一倍，简直是地狱
      */
-    allRefsInPlayground: WeakSet<Variable | Return | Param>;
+    allRefsInPlayground: WeakSet<Identifier>;
     varCandidateTypes: WeakMap<Variable | Return | Param, TypeAnnotation>;
     ctxProcessV2: ProcessV2 | undefined;
     viewAssocProcess: ProcessV2 | null;
@@ -55,10 +63,19 @@ export declare class SemEnv {
     processAssocEntity: ProcessBindV2 | null;
     typeBindings: TypingEnv;
     private postChecksAfterResolve;
+    private currentScopeLevel;
     matchedVars: Map<string, TypeAnnotation>;
     allocatedVEQNames: string[];
     allocatedVirtualNodes: Map<BaseNode, (Logic | Param | Return | Variable)[]>;
     addPostCheckTask(nd: BaseNode, task: (env: SemEnv, pSubst: TypeSubst) => void): void;
+    private enterPostCheckScope;
+    private exitPostCheckScope;
+    /**
+     * 在 postCheck 作用域中执行函数，自动保证 enter/exit 成对调用
+     * @param fn 要在作用域中执行的函数
+     * @returns 函数返回值
+     */
+    withPostCheckScope<T>(fn: () => T): T;
     viewConstraintStats: Array<{
         viewName: string;
         stats: Array<{
@@ -70,7 +87,16 @@ export declare class SemEnv {
     resolvedCallInfo: Map<BaseNode, ResolvedCall>;
     fileNodes: SyntaxNode[];
     errBoundary: SyntaxNode | null;
+    errBoundaryContext: Record<string, any> | null;
     errorReportingDisableCount: number;
+    private errorDelegatee;
+    get hasErrorDelegatee(): boolean;
+    /**
+     * 用于 OQL 类型检查，需要将其下所有节点的报错，全部委托给 errorDelegatee 处理
+     * @param x
+     */
+    setErrorDelegatee(x: SyntaxNode): void;
+    resetErrorDelegatee(): null;
     errSeverity: 'error' | 'warning';
     ctxTpQFE: ((nd: QueryFieldExpression, tgtTy: TypeAnnotation | undefined) => TypeAnnotation | undefined) | undefined;
     ctxTpEntityTy: TypeAnnotation | undefined;
@@ -92,7 +118,15 @@ export declare class SemEnv {
     enableErrorReporting(): void;
     getErrorReportingDisableCount(): number;
     isErrorReportingDisabled(): boolean;
-    addError(message: string, __fileNode?: SyntaxNode, __errBoundary?: SyntaxNode, severity?: 'error' | 'warning'): void;
+    /**
+     * 为列表中重复出现的元素（如环展开产生的重启节点）创建报错抑制跟踪器。
+     * 非最后一次出现时自动 suppress，最后一次出现时正常报错。
+     */
+    createDuplicateErrorGuard<T>(items: T[]): {
+        before: (item: T) => void;
+        after: (item: T) => void;
+    };
+    addError(message: string, __fileNode?: SyntaxNode, __errBoundary?: SyntaxNode, severity?: 'error' | 'warning', __context?: Record<string, any>): void;
     /**
      * 给节点添加错误 (只能指定错误等级为 warning 或者默认)
      * @param message
@@ -150,7 +184,7 @@ export declare class SemEnv {
     getMangledQName: (nd: CallFunction | CallLogic, mangledName: string, dsSqlType: 'mysql' | 'oracle' | 'dameng' | undefined) => string;
     getSqlFunctionNamespace: (dsSqlType: 'mysql' | 'oracle' | 'dameng') => string;
     private scopeStack;
-    private lexicalSymStacks;
+    private localDefStacks;
     getLexicalSym: (name: string | undefined) => PossibleLocalSym | undefined;
     /** Add a single lexical variable (shadow-safe). */
     addLexicalSym: (nd: PossibleLocalSym & {
@@ -164,7 +198,7 @@ export declare class SemEnv {
     removeLexicalVarByName: (name: string | undefined) => void;
     getLexicalVarSize: () => number;
     /**
-    * Enter a stored lexical scope. Variables recorded during typing are pushed onto the lexicalVarStacks
+    * Enter a stored lexical scope. Variables recorded during typing are pushed onto the localDefStacks
     * to enable identifier resolution in later phases (checker, ref collection). If the scope was not
      * recorded (e.g. legacy / fallback), varsFallback can be provided to push & record on the fly.
      */
@@ -229,6 +263,8 @@ export declare class SemEnv {
     removeTypes: (nd: BaseNode | undefined) => void;
     setErrSeverity: (severity: 'error' | 'warning') => void;
     runPostChecks: (subst: TyVarSolution) => void;
+    savePostChecksState(): Map<BaseNode, Array<(env: SemEnv, pSubst: TypeSubst) => void>>;
+    restorePostChecksState(saved: Map<BaseNode, Array<(env: SemEnv, pSubst: TypeSubst) => void>>): void;
     printCs: () => void;
     clearAll(): void;
     isEq(a: TypeAnnotation, b: TypeAnnotation): boolean;
@@ -239,6 +275,15 @@ export declare class SemEnv {
         [x: string]: any;
     };
 }
+/**
+ * 从泛型结构体中查找属性类型，支持泛型参数替换
+ * @param env 语义环境
+ * @param genericTy 泛型类型注解
+ * @param def 结构体定义
+ * @param targetName 目标属性名称
+ * @returns 归一化后的属性类型注解，如果未找到则返回 undefined
+ */
+export declare function findPropertyTypeFromGeneric(env: SemEnv, genericTy: TypeAnnotation, def: Structure, targetName: string): TypeAnnotation | undefined;
 export declare function normalize(env: SemEnv, ty: TypeAnnotation): TypeAnnotation;
 export {};
 //# sourceMappingURL=typer.d.ts.map

package/out/typer/typer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typer.d.ts","sourceRoot":"","sources":["../../src/typer/typer.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,GAAG,EACH,QAAQ,EAER,YAAY,EAGZ,KAAK,EACL,oBAAoB,EAEpB,UAAU,EACV,cAAc,EACd,QAAQ,EACR,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,KAAK,EACL,KAAK,WAAW,EAChB,SAAS,EACT,eAAe,EAIf,UAAU,EACV,aAAa,EAEd,MAAM,qBAAqB,CAAC;AAO7B,OAAO,EAEL,SAAS,EAIT,YAAY,EACZ,aAAa,EACb,SAAS,EAGV,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAIlC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACpF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,cAAc,EAAY,MAAM,YAAY,CAAC;AAGtD,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAG/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAIpF,KAAK,KAAK,GAAG,MAAM,CAAC;AAGpB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAGlB,EAAE,EAAE,cAAc,CAAC;CACpB,CAAC;AAEF,qBAAa,MAAM;IACjB,GAAG,EAAE,GAAG,GAAG,IAAI,CAAQ;IAEvB,kBAAkB,UAAS;IAE3B,MAAM,UAAS;IAEf;;;;;OAKG;IACH,MAAM,UAAS;IACf,YAAY,UAAS;IACrB,cAAc,UAAS;IAEvB,KAAK;;QAEH;;WAEG;;MAEH;IAEF,cAAc;IAId,oBAAoB;IAKpB,OAAO,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAa;IAEhE;;;;;;;OAOG;IAEH,mBAAmB,EAAE,OAAO,CAAC,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAiB;IAGxE,iBAAiB,EAAE,OAAO,CAAC,QAAQ,GAAG,MAAM,GAAG,KAAK,EAAE,cAAc,CAAC,CAAiB;IAGtF,YAAY,EAAE,SAAS,GAAG,SAAS,CAAa;IAEhD,gBAAgB,EAAE,SAAS,GAAG,IAAI,CAAQ;IAE1C,qBAAqB,yBAAgC;IAErD,kBAAkB,EAAE,aAAa,GAAG,IAAI,CAAQ;IAOhD,YAAY,EAAE,SAAS,CAAa;IAGpC,OAAO,CAAC,sBAAsB,CAA6E;IAG3G,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAa;IAGrD,iBAAiB,WAAuB;IAMxC,qBAAqB,uDAAiE;IAGtF,gBAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,KAAK,IAAI;IAK7E,mBAAmB,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC,CAAM;IAGpG,uBAAuB,6BAAoC;IAI3D,gBAAgB,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAa;IAE1D,SAAS,EAAE,UAAU,EAAE,CAAM;IAE7B,WAAW,EAAE,UAAU,GAAG,IAAI,CAAQ;IAGtC,0BAA0B,EAAE,MAAM,CAAK;IAEvC,WAAW,EAAE,OAAO,GAAG,SAAS,CAAW;IAE3C,QAAQ,EACN,CAAC,CAAC,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,KAAK,cAAc,GAAG,SAAS,CAAC,GAAG,SAAS,CAAY;IAEvH,aAAa,EAAE,cAAc,GAAG,SAAS,CAAa;IAGtD,MAAM,EAAE,kBAAkB,GAAG,SAAS,CAAa;IAEnD,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAa;IAE/D,MAAM,EAAE,gBAAgB,CAAC;IAEzB,eAAe,EAAE,eAAe,CAAC;IAEjC,OAAO,EAAE,OAAO,CAAqB;IAErC,MAAM,EAAE,MAAM,CAAQ;IAEtB,cAAc,EAAG,cAAc,CAAC;IAEhC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC;IAKvC,SAAS,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAa;IAGhE,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAa;IAGlD,eAAe,EAAE,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC,CAAiB;IAEjE,SAAS,EAAE,OAAO,CAAS;IAK3B,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAa;IAE3E,cAAc;IAId,sBAAsB;IAItB,oBAAoB;IAMpB,6BAA6B;IAI7B,wBAAwB;IAIxB,QAAQ,CACN,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,UAAU,EACvB,aAAa,CAAC,EAAE,UAAU,EAC1B,QAAQ,GAAE,OAAO,GAAG,SAA4B;IAelD;;;;;OAKG;IACH,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,SAAS;IAUvE,iBAAiB;yBAAyC,cAAc;cAAQ,MAAM;uBAAiB,QAAQ,GAAG,cAAc;6BAAuB,UAAU,GAAG,IAAI;SAAO;IAE/K,mBAAmB,OAAQ,UAAU,mBAAmB,cAAc,QAAQ,MAAM,iBAAiB,QAAQ,GAAG,cAAc,eAAe,UAAU,GAAG,IAAI,UAI7J;IAED,mBAAmB,OAAQ,UAAU;yBARqB,cAAc;cAAQ,MAAM;uBAAiB,QAAQ,GAAG,cAAc;6BAAuB,UAAU,GAAG,IAAI;oBAUvK;IAED,sBAAsB,aAErB;IAED,UAAU,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS;IAuHlD;;;;OAIG;IACH,UAAU,OAAQ,QAAQ,GAAG,SAAS,KAAG,cAAc,GAAG,SAAS,CAgClE;IAED,MAAM;yBACa,OAAO,EAAE;yBAGT,OAAO,EAAE;yBAKT,OAAO,EAAE;wBAKV,OAAO,EAAE;MAG1B;IAGD,cAAc,OAAQ,UAAU,YACpB;QACR,eAAe,CAAC,EAAE,OAAO,CAAC;QAC1B,KAAK,CAAC,EAAE,cAAc,GAAG,YAAY,CAAC;QACtC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,OAAO,CAAC;KACxC,wBAAmD;IAEtD;;;;;;;;;;;;OAYG;IACH,OAAO,OAAQ,QAAQ,GAAG,SAAS,KAAG,cAAc,GAAG,SAAS,CAc/D;IAGD,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,iBAAiB,GAAG,SAAS;IAKtJ,eAAe,OAAQ,YAAY,GAAG,SAAS,eAAe,MAAM,aAAa,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,KAAG,MAAM,CAYlI;IAED,uBAAuB,cAAe,OAAO,GAAG,QAAQ,GAAG,QAAQ,KAAG,MAAM,CAE1E;IAGF,OAAO,CAAC,UAAU,CAAsE;IAGxF,OAAO,CAAC,gBAAgB,CAAmD;IAE3E,aAAa,SAAU,MAAM,GAAG,SAAS,KAAG,gBAAgB,GAAG,SAAS,CAGvE;IAED,mDAAmD;IACnD,aAAa,OAAQ,gBAAgB,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,UAK5E;IAED,gBAAgB,OAAQ,gBAAgB,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,UAK/E;IAED,sBAAsB,SAAU,MAAM,GAAG,SAAS,UAGjD;IAEM,iBAAiB,eAEvB;IAED;;;;OAIG;IACH,UAAU,OAAQ,SAAS,iBAAiB,MAAM,gBAAgB,CAAC,UASlE;IAED;;OAEG;IACH,SAAS,aAIR;IAGD,OAAO,CAAC,QAAQ,CAAsC;IAEtD,IAAI,WAAW,YAGd;IAED,cAAc,CAAC,CAAC,EAAE,MAAM,IAAI;gBAOhB,MAAM,EAAE,gBAAgB,EAAE,OAAO,UAAQ;IAWrD,YAAY,EAAE,YAAY,CAAC;IAE3B;;;;OAIG;IACH,OAAO,CAAC,iBAAiB,CAAoE;IAE3F,OAAO,CAAC,iBAAiB,CAA4E;IAErG,oBAAoB,OAAQ,QAAQ;iBAFgB,MAAM;iBAAW,cAAc;oBAIlF;IAED,oBAAoB,OAAQ,QAAQ,OAAO;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,cAAc,CAAA;KAAE,EAAE,UAExF;IAED;;;;;OAKG;IACH,mBAAmB,YAAa,WAAW,aAAa,MAAM,kBAAkB,cAAc,UAO5F;IAEF;;;;;OAKG;IACH,mBAAmB,YAAa,WAAW,kBAAkB,MAAM,KAAG,cAAc,GAAG,SAAS,CAI9F;IAEF;;;;OAIG;IACH,uBAAuB,YAAa,WAAW,KAAG,IAAI,MAAM,EAAE,cAAc,CAAC,GAAG,SAAS,CAEvF;IAEF;;;;;OAKG;IACH,OAAO,QAAS,cAAc,OAAO,cAAc,KAAG,OAAO,CAE3D;IAEG,SAAS,CAAC,MAAM,EAAE,gBAAgB;IAIzC,OAAO,OAAQ,QAAQ,GAAG,SAAS,MAAM,cAAc,GAAG,SAAS,UAuBlE;IAED;;;OAGG;IACI,WAAW,OAAQ,QAAQ,GAAG,SAAS,UAW7C;IAED,cAAc,aAAc,OAAO,GAAG,SAAS,UAM9C;IAGM,aAAa,iCAOnB;IAED,OAAO,aAEN;IAED,QAAQ;IAmBR,IAAI,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc;IAIzC;;OAEG;IACH,gBAAgB;;MAgDf;CACF;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,cAAc,CAoDzE"}
+{"version":3,"file":"typer.d.ts","sourceRoot":"","sources":["../../src/typer/typer.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,GAAG,EACH,QAAQ,EAER,YAAY,EAGZ,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,UAAU,EACV,cAAc,EACd,QAAQ,EACR,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,KAAK,EACL,KAAK,WAAW,EAChB,SAAS,EACT,eAAe,EAIf,UAAU,EACV,aAAa,EAEd,MAAM,qBAAqB,CAAC;AAO7B,OAAO,EAEL,WAAW,EACX,SAAS,EAIT,YAAY,EACZ,aAAa,EACb,SAAS,EAKV,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAIlC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,kCAAkC,CAAC;AACpF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,cAAc,EAAY,MAAM,YAAY,CAAC;AAGtD,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAG/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAGpF,KAAK,KAAK,GAAG,MAAM,CAAC;AAGpB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAGlB,EAAE,EAAE,cAAc,CAAC;CACpB,CAAC;AAEF,qBAAa,MAAM;IACjB,GAAG,EAAE,GAAG,GAAG,IAAI,CAAQ;IAEvB,kBAAkB,UAAS;IAE3B,MAAM,UAAS;IAGf,cAAc,UAAS;IAEvB;;;;;OAKG;IACH,MAAM,UAAS;IACf,YAAY,UAAS;IACrB,cAAc,UAAS;IAEvB,wEAAwE;IACxE,YAAY,EAAE,WAAW,CAAa;IAEtC,KAAK;;QAEH;;WAEG;;QAEH;;;WAGG;;MAEH;IAEF,cAAc;IAId,oBAAoB;IAKpB,OAAO,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAa;IAEhE;;;;;;;OAOG;IAGH,mBAAmB,EAAE,OAAO,CAAC,UAAU,CAAC,CAAiB;IAGzD,iBAAiB,EAAE,OAAO,CAAC,QAAQ,GAAG,MAAM,GAAG,KAAK,EAAE,cAAc,CAAC,CAAiB;IAGtF,YAAY,EAAE,SAAS,GAAG,SAAS,CAAa;IAEhD,gBAAgB,EAAE,SAAS,GAAG,IAAI,CAAQ;IAE1C,qBAAqB,yBAAgC;IAErD,kBAAkB,EAAE,aAAa,GAAG,IAAI,CAAQ;IAOhD,YAAY,EAAE,SAAS,CAAa;IAIpC,OAAO,CAAC,sBAAsB,CAA2G;IAGzI,OAAO,CAAC,iBAAiB,CAAa;IAGtC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAa;IAGrD,iBAAiB,WAAuB;IAMxC,qBAAqB,uDAAiE;IAGtF,gBAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,KAAK,IAAI;IA2B7E,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,kBAAkB;IAa1B;;;;OAIG;IACI,kBAAkB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAU5C,mBAAmB,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC,CAAM;IAGpG,uBAAuB,6BAAoC;IAI3D,gBAAgB,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAa;IAE1D,SAAS,EAAE,UAAU,EAAE,CAAM;IAE7B,WAAW,EAAE,UAAU,GAAG,IAAI,CAAQ;IAGtC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAQ;IAGtD,0BAA0B,EAAE,MAAM,CAAK;IAEvC,OAAO,CAAC,cAAc,CAA2B;IAEjD,IAAI,iBAAiB,YAEpB;IAED;;;OAGG;IACH,iBAAiB,CAAC,CAAC,EAAE,UAAU;IAO/B,mBAAmB;IAInB,WAAW,EAAE,OAAO,GAAG,SAAS,CAAW;IAE3C,QAAQ,EACN,CAAC,CAAC,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,cAAc,GAAG,SAAS,KAAK,cAAc,GAAG,SAAS,CAAC,GAAG,SAAS,CAAY;IAEvH,aAAa,EAAE,cAAc,GAAG,SAAS,CAAa;IAGtD,MAAM,EAAE,kBAAkB,GAAG,SAAS,CAAa;IAEnD,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAa;IAE/D,MAAM,EAAE,gBAAgB,CAAC;IAEzB,eAAe,EAAE,eAAe,CAAC;IAEjC,OAAO,EAAE,OAAO,CAAqB;IAErC,MAAM,EAAE,MAAM,CAAQ;IAEtB,cAAc,EAAG,cAAc,CAAC;IAEhC,YAAY,EAAE,WAAW,CAAC,YAAY,CAAC;IAKvC,SAAS,EAAE,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAa;IAGhE,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAa;IAGlD,eAAe,EAAE,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC,CAAiB;IAEjE,SAAS,EAAE,OAAO,CAAS;IAK3B,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAa;IAE3E,cAAc;IAId,sBAAsB;IAItB,oBAAoB;IAMpB,6BAA6B;IAI7B,wBAAwB;IAIxB;;;OAGG;IACH,yBAAyB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;uBAMpB,CAAC;sBAKF,CAAC;;IASnB,QAAQ,CACN,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,UAAU,EACvB,aAAa,CAAC,EAAE,UAAU,EAC1B,QAAQ,GAAE,OAAO,GAAG,SAA4B,EAChD,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAkBjC;;;;;OAKG;IACH,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,SAAS;IAUvE,iBAAiB;yBAAyC,cAAc;cAAQ,MAAM;uBAAiB,QAAQ,GAAG,cAAc;6BAAuB,UAAU,GAAG,IAAI;SAAO;IAE/K,mBAAmB,OAAQ,UAAU,mBAAmB,cAAc,QAAQ,MAAM,iBAAiB,QAAQ,GAAG,cAAc,eAAe,UAAU,GAAG,IAAI,UAI7J;IAED,mBAAmB,OAAQ,UAAU;yBARqB,cAAc;cAAQ,MAAM;uBAAiB,QAAQ,GAAG,cAAc;6BAAuB,UAAU,GAAG,IAAI;oBAUvK;IAED,sBAAsB,aAErB;IAED,UAAU,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS;IAsHlD;;;;OAIG;IACH,UAAU,OAAQ,QAAQ,GAAG,SAAS,KAAG,cAAc,GAAG,SAAS,CAiClE;IAED,MAAM;yBACa,OAAO,EAAE;yBAGT,OAAO,EAAE;yBAKT,OAAO,EAAE;wBAKV,OAAO,EAAE;MAG1B;IAGD,cAAc,OAAQ,UAAU,YACpB;QACR,eAAe,CAAC,EAAE,OAAO,CAAC;QAC1B,KAAK,CAAC,EAAE,cAAc,GAAG,YAAY,CAAC;QACtC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,OAAO,CAAC;KACxC,wBAAmD;IAEtD;;;;;;;;;;;;OAYG;IACH,OAAO,OAAQ,QAAQ,GAAG,SAAS,KAAG,cAAc,GAAG,SAAS,CAc/D;IAGD,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,iBAAiB,GAAG,SAAS;IAKtJ,eAAe,OAAQ,YAAY,GAAG,SAAS,eAAe,MAAM,aAAa,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,KAAG,MAAM,CAYlI;IAED,uBAAuB,cAAe,OAAO,GAAG,QAAQ,GAAG,QAAQ,KAAG,MAAM,CAE1E;IAGF,OAAO,CAAC,UAAU,CAAsE;IAGxF,OAAO,CAAC,cAAc,CAAmD;IAEzE,aAAa,SAAU,MAAM,GAAG,SAAS,KAAG,gBAAgB,GAAG,SAAS,CAGvE;IAED,mDAAmD;IACnD,aAAa,OAAQ,gBAAgB,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,UAI5E;IAED,gBAAgB,OAAQ,gBAAgB,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,UAI/E;IAED,sBAAsB,SAAU,MAAM,GAAG,SAAS,UAGjD;IAEM,iBAAiB,eAEvB;IAED;;;;OAIG;IACH,UAAU,OAAQ,SAAS,iBAAiB,MAAM,gBAAgB,CAAC,UASlE;IAED;;OAEG;IACH,SAAS,aAIR;IAGD,OAAO,CAAC,QAAQ,CAAsC;IAEtD,IAAI,WAAW,YAGd;IAED,cAAc,CAAC,CAAC,EAAE,MAAM,IAAI;gBAOhB,MAAM,EAAE,gBAAgB,EAAE,OAAO,UAAQ;IAWrD,YAAY,EAAE,YAAY,CAAC;IAE3B;;;;OAIG;IACH,OAAO,CAAC,iBAAiB,CAAoE;IAE3F,OAAO,CAAC,iBAAiB,CAA4E;IAErG,oBAAoB,OAAQ,QAAQ;iBAFgB,MAAM;iBAAW,cAAc;oBAIlF;IAED,oBAAoB,OAAQ,QAAQ,OAAO;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,cAAc,CAAA;KAAE,EAAE,UAExF;IAED;;;;;OAKG;IACH,mBAAmB,YAAa,WAAW,aAAa,MAAM,kBAAkB,cAAc,UAO5F;IAEF;;;;;OAKG;IACH,mBAAmB,YAAa,WAAW,kBAAkB,MAAM,KAAG,cAAc,GAAG,SAAS,CAI9F;IAEF;;;;OAIG;IACH,uBAAuB,YAAa,WAAW,KAAG,IAAI,MAAM,EAAE,cAAc,CAAC,GAAG,SAAS,CAEvF;IAEF;;;;;OAKG;IACH,OAAO,QAAS,cAAc,OAAO,cAAc,KAAG,OAAO,CAE3D;IAEG,SAAS,CAAC,MAAM,EAAE,gBAAgB;IAIzC,OAAO,OAAQ,QAAQ,GAAG,SAAS,MAAM,cAAc,GAAG,SAAS,UAuBlE;IAED;;;OAGG;IACI,WAAW,OAAQ,QAAQ,GAAG,SAAS,UAW7C;IAED,cAAc,aAAc,OAAO,GAAG,SAAS,UAM9C;IAIM,aAAa,iCA2BnB;IAIM,mBAAmB,IAAI,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC;IAOrF,sBAAsB,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,KAAK,IAAI,CAAC,CAAC;IAInG,OAAO,aAEN;IAED,QAAQ;IAoBR,IAAI,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc;IAIzC;;OAEG;IACH,gBAAgB;;MAgDf;CACF;AAoBD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,cAAc,EACzB,GAAG,EAAE,SAAS,EACd,UAAU,EAAE,MAAM,GACjB,cAAc,GAAG,SAAS,CA0B5B;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,cAAc,CAkEzE"}

package/out/typer/typer.js

@@ -1,13 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.normalize = exports.SemEnv = void 0;
+exports.normalize = exports.findPropertyTypeFromGeneric = exports.SemEnv = void 0;
 const nasl_concepts_1 = require("@lcap/nasl-concepts");
 const asserts_1 = require("@lcap/nasl-concepts/asserts");
 const service_1 = require("@lcap/nasl-concepts/service");
 const asserts_2 = require("@lcap/nasl-concepts/asserts");
 const type_manager_1 = require("./type-manager");
 const helper_1 = require("./helper");
-const get_q_name_1 = require("../reference-manager/get-q-name");
+const def_key_helpers_1 = require("../reference-manager/def-key-helpers");
 const reference_manager_1 = require("../reference-manager/reference-manager");
 const unifier_1 = require("./unifier");
 const helper_2 = require("./helper");
@@ -29,7 +29,78 @@ class SemEnv {
     }
     // 后置的语义检查，在完全求解出类型变元后
     addPostCheckTask(nd, task) {
-        (0, helper_2.createOnPush)(this.postChecksAfterResolve, nd, task);
+        const isPlaygroundSnapshot = this.isPlayground;
+        const errSeveritySnapshot = this.errSeverity;
+        const wrapped = (env, pSubst) => {
+            const prevIsPlayground = env.isPlayground;
+            const prevSeverity = env.errSeverity;
+            env.isPlayground = isPlaygroundSnapshot;
+            env.setErrSeverity(errSeveritySnapshot);
+            try {
+                task(env, pSubst);
+            }
+            finally {
+                env.setErrSeverity(prevSeverity);
+                env.isPlayground = prevIsPlayground;
+            }
+        };
+        // 记录当前作用域层级
+        const postCheckEntry = { task: wrapped, scopeLevel: this.currentScopeLevel };
+        if (this.postChecksAfterResolve.has(nd)) {
+            this.postChecksAfterResolve.get(nd).push(postCheckEntry);
+        }
+        else {
+            this.postChecksAfterResolve.set(nd, [postCheckEntry]);
+        }
+    }
+    // 进入子作用域，增加 postChecks 作用域层级
+    enterPostCheckScope() {
+        this.currentScopeLevel++;
+    }
+    // 退出子作用域，减少 postChecks 作用域层级
+    // 添加检查防止层级不平衡
+    exitPostCheckScope() {
+        if (this.currentScopeLevel > 0) {
+            this.currentScopeLevel--;
+        }
+        else {
+            // 层级不平衡，可能是忘记调用 enterPostCheckScope 或多次调用 exitPostCheckScope
+            if (this.isDebugMode) {
+                console.warn('postCheck scope underflow: exitPostCheckScope called without matching enterPostCheckScope');
+            }
+            // 在非调试模式下也记录，防止静默失败
+            this.currentScopeLevel = 0; // 确保不会变成负数
+        }
+    }
+    /**
+     * 在 postCheck 作用域中执行函数，自动保证 enter/exit 成对调用
+     * @param fn 要在作用域中执行的函数
+     * @returns 函数返回值
+     */
+    withPostCheckScope(fn) {
+        this.enterPostCheckScope();
+        try {
+            return fn();
+        }
+        finally {
+            this.exitPostCheckScope();
+        }
+    }
+    get hasErrorDelegatee() {
+        return this.errorDelegatee !== null;
+    }
+    /**
+     * 用于 OQL 类型检查，需要将其下所有节点的报错，全部委托给 errorDelegatee 处理
+     * @param x
+     */
+    setErrorDelegatee(x) {
+        if (this.errorDelegatee) {
+            throw new Error("不支持递归设置错误委托者");
+        }
+        this.errorDelegatee = x;
+    }
+    resetErrorDelegatee() {
+        return this.errorDelegatee = null;
     }
     // 已废弃：localVars。请使用 refMgr.localSymBindings + enterScope/exitScope + getVisibleLocalSyms/getVisibleVars
     // Centralized overload registry on the environment (global across a session)
@@ -51,17 +122,42 @@ class SemEnv {
     isErrorReportingDisabled() {
         return this.errorReportingDisableCount > 0;
     }
-    addError(message, __fileNode, __errBoundary, severity = this.errSeverity) {
+    /**
+     * 为列表中重复出现的元素（如环展开产生的重启节点）创建报错抑制跟踪器。
+     * 非最后一次出现时自动 suppress，最后一次出现时正常报错。
+     */
+    createDuplicateErrorGuard(items) {
+        const remaining = new Map();
+        for (const item of items) {
+            remaining.set(item, (remaining.get(item) ?? 0) + 1);
+        }
+        return {
+            before: (item) => {
+                if (remaining.get(item) > 1) {
+                    this.suppressErrorReporting();
+                }
+            },
+            after: (item) => {
+                if (remaining.get(item) > 1) {
+                    this.enableErrorReporting();
+                }
+                remaining.set(item, remaining.get(item) - 1);
+            },
+        };
+    }
+    addError(message, __fileNode, __errBoundary, severity = this.errSeverity, __context) {
         const fileNode = __fileNode ?? this.getCurFileNode();
-        const errBoundary = __errBoundary ?? this.errBoundary;
+        const errBoundary = this.errorDelegatee ?? __errBoundary ?? this.errBoundary;
         // discard errors
         if (!errBoundary || this.errorReportingDisableCount > 0) {
             return;
         }
-        this.errorDiagnoser.error(errBoundary, message, {
+        const context = {
             fileNode,
             severity: severity,
-        });
+            ...(__context || this.errBoundaryContext || {}),
+        };
+        this.errorDiagnoser.error(errBoundary, message, context);
     }
     /**
      * 给节点添加错误 (只能指定错误等级为 warning 或者默认)
@@ -80,11 +176,9 @@ class SemEnv {
     }
     resolveRef(nd) {
         if (nd.concept === 'Identifier' && nd.namespace === 'elements.$ce.property') {
-            // @ts-expect-error 不认
             return nd.getAncestorRaw('ViewElement');
         }
         else if (nd.concept === 'Identifier' && nd.name === 'elements') {
-            // @ts-expect-error 不认
             return nd.getAncestorRaw('ViewElement');
         }
         else if (nd.concept === 'Identifier' && nd.namespace && nd.namespace.startsWith('elements.') && nd.namespace.endsWith('.property')) {
@@ -96,8 +190,8 @@ class SemEnv {
                 return undefined;
             }
             const componentName = nd.name;
-            const qName = `${(0, get_q_name_1.getTokenQualifiedName)(componentLikeCtx)}.${componentName}`;
-            return ((0, helper_1.mGetLastOne)(this.lexicalSymStacks, qName)) ?? this.refMgr.gQNameDefs.get(qName);
+            const qName = `${(0, def_key_helpers_1.getGlobalDefKey)(componentLikeCtx)}.${componentName}`;
+            return ((0, helper_1.mGetLastOne)(this.localDefStacks, qName)) ?? this.refMgr.gQNameDefs.get(qName);
         }
         else if (nd.concept === 'CallLogic' && nd.calleeNamespace && nd.calleeNamespace.startsWith('elements.') && nd.calleeNamespace.endsWith(".logics")) {
             // FIXME wudengke getCallNode是Theta(页面元素数量) 的方法，很慢
@@ -113,7 +207,7 @@ class SemEnv {
             if (!componentLikeCtx) {
                 return undefined;
             }
-            const qViewName = (0, get_q_name_1.getTokenQualifiedName)(componentLikeCtx);
+            const qViewName = (0, def_key_helpers_1.getGlobalDefKey)(componentLikeCtx);
             if (!qViewName) {
                 return undefined;
             }
@@ -147,7 +241,7 @@ class SemEnv {
             if (!componentLikeCtx) {
                 return undefined;
             }
-            const qViewName = (0, get_q_name_1.getTokenQualifiedName)(componentLikeCtx);
+            const qViewName = (0, def_key_helpers_1.getGlobalDefKey)(componentLikeCtx);
             if (!qViewName) {
                 return undefined;
             }
@@ -189,13 +283,14 @@ class SemEnv {
                 }
             }
         }
-        const qName = (0, get_q_name_1.getTokenQualifiedName)(nd);
-        if (!qName) {
+        const qName = (0, def_key_helpers_1.getGlobalDefKey)(nd);
+        if (!qName)
             return undefined;
-        }
-        else {
-            return ((0, helper_1.mGetLastOne)(this.lexicalSymStacks, qName)) ?? this.refMgr.gQNameDefs.get(qName);
-        }
+        // localDefStacks 用 getLocalDefKey 作为 key（如 logic2），需先按 localKey 查找
+        const localKey = (0, def_key_helpers_1.getLocalDefKey)(nd);
+        const fromLexical = (localKey && (0, helper_1.mGetLastOne)(this.localDefStacks, localKey)) ?? (0, helper_1.mGetLastOne)(this.localDefStacks, qName);
+        const def = fromLexical ?? this.refMgr.gQNameDefs.get(qName);
+        return typeof def === 'string' ? undefined : def;
     }
     // 从 parseTs 等定义中获取定义，如果调用者需要类型，则可以从定义中获取 __TypeAnnotation
     quickGetLibDef(nd, mangledName, dsSqlType) {
@@ -216,6 +311,8 @@ class SemEnv {
         this.app = null;
         this.isFirstScreenCheck = false;
         this.strict = false;
+        // 针对AI应用的严格类型检查模式
+        this.isAIStrictMode = false;
         /**
          * 是否是前端类型检查模式
          *
@@ -225,12 +322,19 @@ class SemEnv {
         this.isView = false;
         this.isPlayground = false;
         this.isInMemberExpr = false;
+        /** 草稿区约束单独存放，不写入 unifier.cs，从而不影响外部求解（与 withPostCheckScope 类似的作用域隔离） */
+        this.playgroundCs = new Map();
         this.flags = {
             checkOQL: false,
             /**
              * 是否为智能应用生成开发模式。如果是，那么有一些特殊的类型检查规则。
              */
             creatorDevMode: false,
+            /**
+             * 是否启用草稿区隔离相关的额外逻辑。
+             * 仅在视图场景（env.isView=true）下生效；逻辑/流程/大 JSON 等非页面场景会自动忽略。
+             */
+            usePlaygroundIsolation: true,
         };
         // 指向的页面变量、局部变量、返回值、参数等，用于 Identifier 定位
         this.idToVar = new Map();
@@ -242,7 +346,8 @@ class SemEnv {
          *
          * 页面检查会连带检查服务端逻辑，tpSolving 里简单改一下的话性能直接变慢一倍，简直是地狱
          */
-        // 是否所有引用都来自草稿区？如在 Set 中则代表 true。默认为 true：在 tpVariable 等中添加
+        // 记录所有在草稿区的 Identifier 引用
+        // 如果某个 Identifier 在这个 Set 中，说明这个引用在草稿区
         this.allRefsInPlayground = new WeakSet();
         // 草稿区推导出的类型，用于 一键修复类型 等功能
         this.varCandidateTypes = new WeakMap();
@@ -255,12 +360,15 @@ class SemEnv {
         // 流程关联的实体，记录这个，更方便些
         this.processAssocEntity = null;
         // 注意，只存放局部符号，全局符号在 gQNameDefs 中
-        // nameBindings removed: replaced by lexicalVarStacks + refMgr.localScopeVarBindings
+        // nameBindings removed: replaced by localDefStacks + refMgr.localScopeVarBindings
         // 目前这个 env 里的类型是所有节点的类型，混合了所有局部表达式、全局符号的类型
         // 之后再尝试分离吧
         this.typeBindings = new Map(); // memory addr => type
         // 后置的语义检查，在完全求解出类型变元后
+        // 存储格式：Map<BaseNode, Array<{ task: function, scopeLevel: number }>>
         this.postChecksAfterResolve = new Map();
+        // 当前作用域层级，用于隔离不同层级的 postChecks
+        this.currentScopeLevel = 0;
         // 给 match (a.b.c) 这种 type refinement 用的
         this.matchedVars = new Map();
         // 页面检查分配的 qNames
@@ -279,8 +387,11 @@ class SemEnv {
         this.resolvedCallInfo = new Map();
         this.fileNodes = [];
         this.errBoundary = null;
+        // 当前错误相关的上下文信息（灵活扩展，可以包含连线信息等）
+        this.errBoundaryContext = null;
         // 错误报告禁用引用计数。必须使用引用计数机制，因为 suppressErrorReporting 可能会递归调用
         this.errorReportingDisableCount = 0;
+        this.errorDelegatee = null;
         this.errSeverity = 'error';
         this.ctxTpQFE = undefined; // QueryFieldExpression 用的，很烦
         this.ctxTpEntityTy = undefined; // 实体逻辑用的，很烦
@@ -317,6 +428,7 @@ class SemEnv {
          * @returns
          */
         this.getRawType = (nd) => {
+            nd = (0, dispatch_stmt_1.toRaw)(nd);
             if (!nd) {
                 return undefined;
             }
@@ -415,36 +527,36 @@ class SemEnv {
         // Internal stack tracking currently entered scopes (for restoring on exit)
         this.scopeStack = [];
         // Unified lexical variable storage replacing legacy nameBindings.
-        this.lexicalSymStacks = new Map();
+        this.localDefStacks = new Map();
         this.getLexicalSym = (name) => {
             if (!name)
                 return undefined;
-            return (0, helper_1.mGetLastOne)(this.lexicalSymStacks, name);
+            return (0, helper_1.mGetLastOne)(this.localDefStacks, name);
         };
         /** Add a single lexical variable (shadow-safe). */
         this.addLexicalSym = (nd) => {
             if (!nd || !nd.name)
                 return;
-            // “局部”符号，越来越离谱
-            const vQName = (0, get_q_name_1.getTokenQualifiedName)(nd);
-            (0, helper_2.createOnPush)(this.lexicalSymStacks, vQName, nd);
+            const localKey = (0, def_key_helpers_1.getLocalDefKey)(nd);
+            if (localKey)
+                (0, helper_2.createOnPush)(this.localDefStacks, localKey, nd);
         };
         this.removeLexicalSym = (nd) => {
-            // “局部”符号，越来越离谱
-            const vQName = (0, get_q_name_1.getTokenQualifiedName)(nd);
-            (0, helper_1.mRemoveLastOne)(this.lexicalSymStacks, vQName);
+            const localKey = (0, def_key_helpers_1.getLocalDefKey)(nd);
+            if (localKey)
+                (0, helper_1.mRemoveLastOne)(this.localDefStacks, localKey);
             // this.typeBindings.delete(nd);  这个现在不能删，以后挂到 nd.__TypeAnnotation 后才能删
         };
         this.removeLexicalVarByName = (name) => {
             if (!name)
                 return;
-            (0, helper_1.mRemoveLastOne)(this.lexicalSymStacks, name);
+            (0, helper_1.mRemoveLastOne)(this.localDefStacks, name);
         };
         this.getLexicalVarSize = () => {
-            return this.lexicalSymStacks.size;
+            return this.localDefStacks.size;
         };
         /**
-        * Enter a stored lexical scope. Variables recorded during typing are pushed onto the lexicalVarStacks
+        * Enter a stored lexical scope. Variables recorded during typing are pushed onto the localDefStacks
         * to enable identifier resolution in later phases (checker, ref collection). If the scope was not
          * recorded (e.g. legacy / fallback), varsFallback can be provided to push & record on the fly.
          */
@@ -571,13 +683,31 @@ class SemEnv {
             }
         };
         // 后置的语义检查，在完全求解出类型变元后
+        // 只执行当前作用域层级及以上的 postChecks，执行后移除
         this.runPostChecks = (subst) => {
             // in-place 版本快很多（一倍以上），内存少 800Mb
             const pSubst = (0, subster_1.inPlaceSubstTyAnn)(this, subst);
+            const remainingPostChecks = new Map();
             for (const [nd, postChks] of this.postChecksAfterResolve.entries()) {
-                postChks.forEach(pChk => pChk(this, pSubst));
+                const remaining = [];
+                for (const postCheck of postChks) {
+                    // 只执行当前作用域层级及以上的 postChecks
+                    if (postCheck.scopeLevel >= this.currentScopeLevel) {
+                        postCheck.task(this, pSubst);
+                        // 执行后不保留，避免重复执行
+                    }
+                    else {
+                        // 保留父作用域的 postChecks，等待父作用域执行
+                        remaining.push(postCheck);
+                    }
+                }
+                // 如果还有未执行的 postChecks，保留在 Map 中
+                if (remaining.length > 0) {
+                    remainingPostChecks.set(nd, remaining);
+                }
             }
-            this.postChecksAfterResolve.clear();
+            // 更新为只包含未执行的 postChecks
+            this.postChecksAfterResolve = remainingPostChecks;
         };
         this.printCs = () => {
             (0, helper_2.printConstraints)(this.unifier.cs);
@@ -589,7 +719,7 @@ class SemEnv {
             // 需要统计的字段及其对象
             const stats = {
                 typeBindings: this.typeBindings,
-                lexicalVarStacks: this.lexicalSymStacks,
+                localDefStacks: this.localDefStacks,
             };
             const result = {
                 timestamp: new Date().toString(),
@@ -650,6 +780,17 @@ class SemEnv {
     setRefMgr(refMgr) {
         this.refMgr = refMgr;
     }
+    // 保存后置校验状态（用于 playground 隔离，保留以兼容旧代码）
+    // 注意：使用作用域层级方案后，这个方法主要用于 playground 隔离场景
+    savePostChecksState() {
+        // 为了兼容性，返回空 Map（作用域层级方案不需要保存/恢复）
+        return new Map();
+    }
+    // 恢复后置校验状态（用于 playground 隔离，保留以兼容旧代码）
+    // 注意：使用作用域层级方案后，这个方法主要用于 playground 隔离场景
+    restorePostChecksState(saved) {
+        // 作用域层级方案不需要恢复操作，保留空实现以兼容旧代码
+    }
     clearAll() {
         this.typeBindings.clear();
         this.resolvedCallInfo.clear();
@@ -659,6 +800,7 @@ class SemEnv {
         this.dataSourceTyParam.clear();
         this.scopeManager = new context_variable_query_1.ScopeManager();
         this.unifier.cs.clear();
+        this.playgroundCs.clear();
         this.typeHintManager = new type_hint_manager_1.TypeHintManager(this);
         this.callLogicToElemTagCache = new WeakMap();
         this.viewConstraintStats = [];
@@ -673,8 +815,53 @@ class SemEnv {
     }
 }
 exports.SemEnv = SemEnv;
+/**
+ * 从结构体属性列表中查找指定名称的属性类型
+ * @param env 语义环境
+ * @param properties 结构体属性列表
+ * @param targetName 目标属性名称
+ * @returns 归一化后的类型注解，如果未找到则返回 undefined
+ */
+function findPropertyType(env, properties, targetName) {
+    const pickedProperty = properties?.find((x) => x.name === targetName);
+    return pickedProperty?.typeAnnotation
+        ? normalize(env, pickedProperty.typeAnnotation)
+        : undefined;
+}
+/**
+ * 从泛型结构体中查找属性类型，支持泛型参数替换
+ * @param env 语义环境
+ * @param genericTy 泛型类型注解
+ * @param def 结构体定义
+ * @param targetName 目标属性名称
+ * @returns 归一化后的属性类型注解，如果未找到则返回 undefined
+ */
+function findPropertyTypeFromGeneric(env, genericTy, def, targetName) {
+    const typeParams = def.typeParams ?? [];
+    const tyArgs = genericTy.typeArguments?.map((arg) => normalize(env, arg)) ?? [];
+    // 如果类型参数数量不匹配或没有类型参数，直接查找原始属性类型
+    if (typeParams.length !== tyArgs.length || typeParams.length === 0) {
+        const pickedProperty = def.properties?.find((x) => x.name === targetName);
+        if (pickedProperty?.typeAnnotation) {
+            return normalize(env, pickedProperty.typeAnnotation);
+        }
+        return undefined;
+    }
+    // 先找到目标属性，避免不必要的复制和替换
+    const pickedProperty = def.properties?.find((x) => x.name === targetName);
+    if (!pickedProperty?.typeAnnotation) {
+        return undefined;
+    }
+    // 创建类型参数到实际类型参数的映射
+    const tyParamAnns = typeParams.map((tp) => (0, type_manager_1.createTyParamAnn)(tp.name));
+    const newSubst = (0, subster_1.makeRefTySubst)(tyParamAnns, tyArgs);
+    // 替换目标属性的类型注解中的泛型参数
+    const substitutedTypeAnnotation = (0, subster_1.substTyAnn)(env, newSubst)(pickedProperty.typeAnnotation);
+    return normalize(env, substitutedTypeAnnotation);
+}
+exports.findPropertyTypeFromGeneric = findPropertyTypeFromGeneric;
 function normalize(env, ty) {
-    if (ty.typeKind === 'indexedAccess') {
+    if ((0, type_predicate_1.isIndexedType)(ty)) {
         // TODO wudengke 和 typePick 合并
         const obj = normalize(env, ty.objectType);
         const index = (ty.indexType);
@@ -689,20 +876,35 @@ function normalize(env, ty) {
             return type_manager_1.naslAnyTy;
         }
         else if (obj.typeKind === 'anonymousStructure') {
-            const pickedProperty = obj.properties?.find((x) => {
-                return x.name === targetName;
-            });
-            if (pickedProperty?.typeAnnotation) {
-                return normalize(env, pickedProperty.typeAnnotation);
+            const result = findPropertyType(env, obj.properties, targetName);
+            if (result) {
+                return result;
             }
+            // anonymousStructure 的属性列表是确定的，找不到说明属性不存在
+            return type_manager_1.naslAnyTy;
         }
         else if (obj.typeKind === 'reference') {
             const def = env.resolveRef(obj);
-            const pickedProperty = def?.properties?.find((x) => {
-                return x.name === targetName;
-            });
-            if (pickedProperty?.typeAnnotation) {
-                return normalize(env, pickedProperty.typeAnnotation);
+            const result = findPropertyType(env, def?.properties, targetName);
+            if (def) {
+                if (result) {
+                    return result;
+                }
+                // 跟canDeterminePropertyExistence类似，不返回会死循环
+                return type_manager_1.naslAnyTy;
+            }
+        }
+        else if (obj.typeKind === 'generic') {
+            const def = env.resolveRef(obj);
+            if (def) {
+                const result = findPropertyTypeFromGeneric(env, obj, def, targetName);
+                if (result) {
+                    return result;
+                }
+                // 跟canDeterminePropertyExistence类似，def?.concept === 'Structure' 时可以确定属性是否存在
+                if (def.concept === 'Structure') {
+                    return type_manager_1.naslAnyTy;
+                }
             }
         }
         // } else if(ty.typeKind === 'generic' && ty.typeName === 'SelectOverload'){