@aster-cloud/aster-lang-ts 0.1.5 → 0.2.2

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

@@ -1,5 +1,22 @@
 import Anthropic from '@anthropic-ai/sdk';
 import { LLMError } from '../llm-provider.js';
+/**
+ * Anthropic provider — uses the Messages API (the legacy `completions` API
+ * is deprecated for Claude 3+ models and unsupported for Claude 4.x).
+ *
+ * <p>Prompt-injection mitigations:
+ * <ul>
+ *   <li>User input is delivered as a {@code user} message, not concatenated
+ *       into a single text prompt — this is the structural defense the
+ *       Messages API was built to provide.</li>
+ *   <li>The system prompt (trusted) goes into the top-level {@code system}
+ *       field; it cannot be impersonated by user content.</li>
+ *   <li>Common injection markers ({@code Human:} / {@code Assistant:})
+ *       inside user content are neutralized before sending so they can't
+ *       impersonate a turn boundary if the model is configured with a
+ *       custom prompt format downstream.</li>
+ * </ul>
+ */
 export class AnthropicProvider {
     client;
     model;
@@ -13,29 +30,25 @@ export class AnthropicProvider {
     }
     async generate(request) {
         try {
-            // 構建符合 Anthropic 格式的 prompt
-            let prompt = '';
-            if (request.systemPrompt) {
-                prompt += `${request.systemPrompt}\n\n`;
-            }
-            prompt += `\n\nHuman: ${request.prompt}\n\nAssistant:`;
-            const response = await this.client.completions.create({
+            const sanitizedUser = neutralizeTurnMarkers(request.prompt);
+            const response = await this.client.messages.create({
                 model: this.model,
-                max_tokens_to_sample: request.maxTokens ?? 4000,
+                max_tokens: request.maxTokens ?? 4000,
                 temperature: request.temperature ?? 0.7,
-                prompt,
+                ...(request.systemPrompt ? { system: request.systemPrompt } : {}),
+                messages: [{ role: 'user', content: sanitizedUser }],
             });
-            if (!response.completion) {
+            const content = extractText(response);
+            if (!content) {
                 throw new LLMError('Anthropic 返回空內容', 'anthropic');
             }
             return {
-                content: response.completion,
+                content,
                 model: response.model,
                 usage: {
-                    // Anthropic completions API 不返回 usage 統計，使用估算值
-                    promptTokens: Math.ceil(prompt.length / 4),
-                    completionTokens: Math.ceil(response.completion.length / 4),
-                    totalTokens: Math.ceil((prompt.length + response.completion.length) / 4),
+                    promptTokens: response.usage.input_tokens,
+                    completionTokens: response.usage.output_tokens,
+                    totalTokens: response.usage.input_tokens + response.usage.output_tokens,
                 },
             };
         }
@@ -53,4 +66,34 @@ export class AnthropicProvider {
         return this.model;
     }
 }
+/**
+ * Strip turn-boundary markers that could let user content impersonate
+ * a Human/Assistant turn. We replace them with visually-similar but
+ * non-functional variants. This is defense-in-depth on top of the
+ * Messages API role boundary — a downstream consumer that re-serializes
+ * the prompt for a different model shouldn't pick up forged turns.
+ *
+ * <p>Whitespace class enumerates evasion-prone Unicode spaces explicitly
+ * (NBSP, narrow NBSP, ideographic space, en/em-quad spaces, zero-width
+ * variants, BOM) so an attacker can't bypass the line-start detection
+ * with " Human:" using U+00A0. /i lets us catch case-folded variants
+ * the way some tokenizers do.
+ */
+const TURN_MARKER_WS = '[ \\t\\u00A0\\u202F\\u3000\\u2000-\\u200A\\u200B-\\u200D\\uFEFF]';
+const TURN_MARKER_RE = new RegExp(`(^|\\n)(${TURN_MARKER_WS}*)(Human|Assistant)(${TURN_MARKER_WS}*):`, 'gi');
+function neutralizeTurnMarkers(input) {
+    return input.replace(TURN_MARKER_RE, '$1$2$3$4​:');
+}
+function extractText(response) {
+    // The Messages API returns an array of content blocks; we only consume
+    // text blocks. Tool-use / image blocks are not part of this provider's
+    // contract — fall through cleanly so future block kinds don't crash.
+    const parts = [];
+    for (const block of response.content) {
+        if (block.type === 'text') {
+            parts.push(block.text);
+        }
+    }
+    return parts.join('');
+}
 //# sourceMappingURL=anthropic.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"anthropic.js","sourceRoot":"","sources":["../../../../src/ai/providers/anthropic.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAO9C,MAAM,OAAO,iBAAiB;IACpB,MAAM,CAAY;IAClB,KAAK,CAAS;IAEtB,YAAY,SAA0B,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,QAAQ,CAAC,iDAAiD,EAAE,WAAW,CAAC,CAAC;QACrF,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,4BAA4B,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAmB;QAChC,IAAI,CAAC;YACH,4BAA4B;YAC5B,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,MAAM,CAAC;YAC1C,CAAC;YACD,MAAM,IAAI,cAAc,OAAO,CAAC,MAAM,gBAAgB,CAAC;YAEvD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC;gBACpD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,oBAAoB,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;gBAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG;gBACvC,MAAM;aACP,CAAC,CAAC;YAEH,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACzB,MAAM,IAAI,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;YACrD,CAAC;YAED,OAAO;gBACL,OAAO,EAAE,QAAQ,CAAC,UAAU;gBAC5B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,KAAK,EAAE;oBACL,+CAA+C;oBAC/C,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC1C,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC3D,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;iBACzE;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxC,MAAM,IAAI,QAAQ,CAChB,qBAAqB,KAAK,CAAC,OAAO,EAAE,EACpC,WAAW,EACX,KAAK,CACN,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,QAAQ,CAChB,mBAAmB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAC3E,WAAW,EACX,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF"}
+{"version":3,"file":"anthropic.js","sourceRoot":"","sources":["../../../../src/ai/providers/anthropic.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAO9C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,iBAAiB;IACpB,MAAM,CAAY;IAClB,KAAK,CAAS;IAEtB,YAAY,SAA0B,EAAE;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,QAAQ,CAAC,iDAAiD,EAAE,WAAW,CAAC,CAAC;QACrF,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,4BAA4B,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAmB;QAChC,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAE5D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACjD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;gBACrC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,GAAG;gBACvC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;aACrD,CAAC,CAAC;YAEH,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;YACrD,CAAC;YAED,OAAO;gBACL,OAAO;gBACP,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,KAAK,EAAE;oBACL,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;oBACzC,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa;oBAC9C,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa;iBACxE;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,SAAS,CAAC,QAAQ,EAAE,CAAC;gBACxC,MAAM,IAAI,QAAQ,CAChB,qBAAqB,KAAK,CAAC,OAAO,EAAE,EACpC,WAAW,EACX,KAAK,CACN,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,QAAQ,CAChB,mBAAmB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAC3E,WAAW,EACX,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,cAAc,GAAG,kEAAkE,CAAC;AAC1F,MAAM,cAAc,GAAG,IAAI,MAAM,CAC/B,WAAW,cAAc,uBAAuB,cAAc,KAAK,EACnE,IAAI,CACL,CAAC;AAEF,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAAC,QAAoC;IACvD,uEAAuE;IACvE,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC"}

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

@@ -1,10 +1,10 @@
 import type * as AST from '../types.js';
 export declare const Node: {
     Module: (name: string | null, decls: readonly AST.Declaration[]) => AST.Module;
-    Import: (name: string, asName: string | null) => AST.Import;
+    Import: (name: string, asName: string | null, version?: number | null) => AST.Import;
     Data: (name: string, fields: readonly AST.Field[]) => AST.Data;
     Enum: (name: string, variants: readonly string[]) => AST.Enum;
-    Func: (name: string, typeParams: readonly string[], params: readonly AST.Parameter[], retType: AST.Type, effects: readonly string[], effectCaps: readonly AST.CapabilityKind[], effectCapsExplicit: boolean, body: AST.Block | null, effectParams?: readonly string[]) => AST.Func;
+    Func: (name: string, typeParams: readonly string[], params: readonly AST.Parameter[], retType: AST.Type, effects: readonly string[], effectCaps: readonly AST.CapabilityKind[], effectCapsExplicit: boolean, body: AST.Block | null, effectParams?: readonly string[], annotations?: readonly AST.Annotation[]) => AST.Func;
     Block: (statements: readonly AST.Statement[]) => AST.Block;
     Let: (name: string, expr: AST.Expression) => AST.Let;
     Set: (name: string, expr: AST.Expression) => AST.Set;

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

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

package/dist/src/ast/ast.js

@@ -11,9 +11,10 @@ export const Node = {
         decls,
         span: createEmptySpan(),
     }),
-    Import: (name, asName) => ({
+    Import: (name, asName, version) => ({
         kind: 'Import',
         name,
+        ...(typeof version === 'number' ? { version } : {}),
         asName,
         span: createEmptySpan(),
     }),
@@ -29,10 +30,12 @@ export const Node = {
         variants,
         span: createEmptySpan(),
     }),
-    Func: (name, typeParams, params, retType, effects, effectCaps, effectCapsExplicit, body, effectParams) => ({
+    Func: (name, typeParams, params, retType, effects, effectCaps, effectCapsExplicit, body, effectParams, annotations = []) => ({
         kind: 'Func',
         name,
         typeParams,
+        // annotations 为空时省略，保持无注解 Rule 的 AST/Core JSON 与既有 golden 基线一致
+        ...(annotations.length > 0 ? { annotations } : {}),
         params,
         retType,
         effects,

package/dist/src/ast/ast.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../src/ast/ast.ts"],"names":[],"mappings":"AAGA,SAAS,eAAe;IACtB,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAiC,EAAc,EAAE,CAAC,CAAC;QAC/E,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,MAAM,EAAE,CAAC,IAAY,EAAE,MAAqB,EAAc,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAA4B,EAAY,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAY,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAA6B,EAC7B,MAAgC,EAChC,OAAiB,EACjB,OAA0B,EAC1B,UAAyC,EACzC,kBAA2B,EAC3B,IAAsB,EACtB,YAAgC,EACtB,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU;QACV,MAAM;QACN,OAAO;QACP,OAAO;QACP,UAAU;QACV,kBAAkB;QAClB,IAAI;QACJ,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,UAAoC,EAAa,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,OAAO;QACb,UAAU;QACV,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAW,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAW,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,MAAM,EAAE,CAAC,IAAoB,EAAc,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAoB,EAAE,SAAoB,EAAE,SAA2B,EAAU,EAAE,CAAC,CAAC;QACxF,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,SAAS;QACT,SAAS;QACT,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAoB,EAAE,KAA0B,EAAa,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,OAAoB,EAAE,IAA4B,EAAY,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAa,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAY,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,MAAM;QACZ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,QAAQ,EAAE,CACR,KAA8B,EAC9B,KAAuB,EACvB,OAAqB,EACH,EAAE,CAAC,CAAC;QACtB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAe,EACf,UAAsB,EACtB,eAAkC,EAAE,EACtB,EAAE,CAAC,CAAC;QAClB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,YAAY;QACZ,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,KAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACtF,IAAI,EAAE,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACjE,GAAG,EAAE,CAAC,KAAa,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAClF,IAAI,EAAE,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,MAAM,EAAE,CAAC,KAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,MAAM,EAAE,CAAC,KAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,IAAI,EAAE,CAAC,MAAsB,EAAE,IAA+B,EAAY,EAAE,CAAC,CAAC;QAC5E,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,SAAS,EAAE,CAAC,QAAgB,EAAE,MAAqC,EAAiB,EAAE,CAAC,CAAC;QACtF,IAAI,EAAE,WAAW;QACjB,QAAQ;QACR,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,GAAG,EAAE,CAAC,IAAoB,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxF,IAAI,EAAE,CAAC,IAAoB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,IAAI,EAAE,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACjE,MAAM,EAAE,CAAC,MAAgC,EAAE,OAAiB,EAAE,IAAe,EAAc,EAAE,CAAC,CAAC;QAC7F,IAAI,EAAE,QAAQ;QACd,MAAM;QACN,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAoB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAE9F,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC/F,KAAK,EAAE,CAAC,IAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxF,MAAM,EAAE,CAAC,IAAc,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,MAAM,EAAE,CAAC,EAAY,EAAE,GAAa,EAAc,EAAE,CAAC,CAAC;QACpD,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;QACH,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,GAAG,EAAE,CAAC,GAAa,EAAE,GAAa,EAAW,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,KAAK;QACX,GAAG;QACH,GAAG;QACH,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAE,IAAyB,EAAe,EAAE,CAAC,CAAC;QAClE,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC5F,SAAS,EAAE,CAAC,IAAY,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAClG,OAAO,EAAE,CACP,QAAkB,EAClB,WAAoC,EACpC,QAA6B,EAChB,EAAE,CAAC,CAAC;QACjB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IAEF,WAAW,EAAE,GAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACtF,WAAW,EAAE,CACX,QAAgB,EAChB,KAAwB,EACxB,IAA6B,EACZ,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,aAAa;QACnB,QAAQ;QACR,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;QACvB,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,WAAW,EAAE,CAAC,IAAY,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxG,UAAU,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,YAAY;QAClB,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;CACH,CAAC"}
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../../src/ast/ast.ts"],"names":[],"mappings":"AAGA,SAAS,eAAe;IACtB,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAiC,EAAc,EAAE,CAAC,CAAC;QAC/E,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,MAAM,EAAE,CAAC,IAAY,EAAE,MAAqB,EAAE,OAAuB,EAAc,EAAE,CAAC,CAAC;QACrF,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAA4B,EAAY,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAY,EAAE,CAAC,CAAC;QAC9D,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAA6B,EAC7B,MAAgC,EAChC,OAAiB,EACjB,OAA0B,EAC1B,UAAyC,EACzC,kBAA2B,EAC3B,IAAsB,EACtB,YAAgC,EAChC,cAAyC,EAAE,EACjC,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU;QACV,+DAA+D;QAC/D,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM;QACN,OAAO;QACP,OAAO;QACP,UAAU;QACV,kBAAkB;QAClB,IAAI;QACJ,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,UAAoC,EAAa,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,OAAO;QACb,UAAU;QACV,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAW,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAW,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,MAAM,EAAE,CAAC,IAAoB,EAAc,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAoB,EAAE,SAAoB,EAAE,SAA2B,EAAU,EAAE,CAAC,CAAC;QACxF,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,SAAS;QACT,SAAS;QACT,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAoB,EAAE,KAA0B,EAAa,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,OAAoB,EAAE,IAA4B,EAAY,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAAoB,EAAa,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAY,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,MAAM;QACZ,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,QAAQ,EAAE,CACR,KAA8B,EAC9B,KAAuB,EACvB,OAAqB,EACH,EAAE,CAAC,CAAC;QACtB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAe,EACf,UAAsB,EACtB,eAAkC,EAAE,EACtB,EAAE,CAAC,CAAC;QAClB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,YAAY;QACZ,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACnF,IAAI,EAAE,CAAC,KAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACtF,IAAI,EAAE,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACjE,GAAG,EAAE,CAAC,KAAa,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAClF,IAAI,EAAE,CAAC,KAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,MAAM,EAAE,CAAC,KAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,MAAM,EAAE,CAAC,KAAa,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,IAAI,EAAE,CAAC,MAAsB,EAAE,IAA+B,EAAY,EAAE,CAAC,CAAC;QAC5E,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,SAAS,EAAE,CAAC,QAAgB,EAAE,MAAqC,EAAiB,EAAE,CAAC,CAAC;QACtF,IAAI,EAAE,WAAW;QACjB,QAAQ;QACR,MAAM;QACN,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAoB,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,GAAG,EAAE,CAAC,IAAoB,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxF,IAAI,EAAE,CAAC,IAAoB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,IAAI,EAAE,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACjE,MAAM,EAAE,CAAC,MAAgC,EAAE,OAAiB,EAAE,IAAe,EAAc,EAAE,CAAC,CAAC;QAC7F,IAAI,EAAE,QAAQ;QACd,MAAM;QACN,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,KAAK,EAAE,CAAC,IAAoB,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAE9F,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC/F,KAAK,EAAE,CAAC,IAAc,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxF,MAAM,EAAE,CAAC,IAAc,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC3F,MAAM,EAAE,CAAC,EAAY,EAAE,GAAa,EAAc,EAAE,CAAC,CAAC;QACpD,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;QACH,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,IAAI,EAAE,CAAC,IAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACrF,GAAG,EAAE,CAAC,GAAa,EAAE,GAAa,EAAW,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,KAAK;QACX,GAAG;QACH,GAAG;QACH,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAE,IAAyB,EAAe,EAAE,CAAC,CAAC;QAClE,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAC5F,SAAS,EAAE,CAAC,IAAY,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IAClG,OAAO,EAAE,CACP,QAAkB,EAClB,WAAoC,EACpC,QAA6B,EAChB,EAAE,CAAC,CAAC;QACjB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;QACR,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;IAEF,WAAW,EAAE,GAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACtF,WAAW,EAAE,CACX,QAAgB,EAChB,KAAwB,EACxB,IAA6B,EACZ,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,aAAa;QACnB,QAAQ;QACR,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;QACvB,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,WAAW,EAAE,CAAC,IAAY,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;IACxG,UAAU,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,YAAY;QAClB,KAAK;QACL,IAAI,EAAE,eAAe,EAAE;KACxB,CAAC;CACH,CAAC"}

package/dist/src/browser/schema.d.ts

@@ -0,0 +1,52 @@
+/**
+ * @module @aster-cloud/aster-lang-ts/browser/schema
+ *
+ * Schema extraction for dynamic form generation. Split out of `browser.ts`
+ * in the Round-3 codex refactor: previously the main browser entry was a
+ * 660-line monolith mixing compile / validate / schema / evaluate / typecheck
+ * gates. Public exports remain available from `@aster-cloud/aster-lang-ts/browser`
+ * — this module is implementation detail.
+ */
+import type { Lexicon } from '../config/lexicons/types.js';
+import type { ParameterInfo } from '../parser/input-generator.js';
+/** Schema extraction options */
+export interface SchemaOptions {
+    /** CNL lexicon (default: EN_US) */
+    lexicon?: Lexicon;
+    /** Target function name (default: first function) */
+    functionName?: string;
+}
+export interface SchemaResult {
+    /** Whether extraction succeeded */
+    success: boolean;
+    /** Module name */
+    moduleName?: string;
+    /** Function name */
+    functionName?: string;
+    /** Parameter schema */
+    parameters?: ParameterInfo[];
+    /** Error message if failed */
+    error?: string;
+}
+/**
+ * Extract schema from CNL source code.
+ *
+ * Parses CNL source and extracts parameter schema for the specified function,
+ * suitable for dynamic form generation.
+ *
+ * @example
+ * ```typescript
+ * const result = extractSchema(`
+ *   Module loan.
+ *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
+ *   Rule evaluate given application as LoanApplication, produce Bool:
+ *     If application.creditScore >= 700 then Return true
+ *     Otherwise Return false.
+ * `);
+ * if (result.success) {
+ *   console.log(result.parameters);
+ * }
+ * ```
+ */
+export declare function extractSchema(source: string, options?: SchemaOptions): SchemaResult;
+//# sourceMappingURL=schema.d.ts.map

package/dist/src/browser/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/browser/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAOH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAY,aAAa,EAAa,MAAM,8BAA8B,CAAC;AAGvF,gCAAgC;AAChC,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,qDAAqD;IACrD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,mCAAmC;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,8BAA8B;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAuDD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,CAkInF"}

package/dist/src/browser/schema.js

@@ -0,0 +1,205 @@
+/**
+ * @module @aster-cloud/aster-lang-ts/browser/schema
+ *
+ * Schema extraction for dynamic form generation. Split out of `browser.ts`
+ * in the Round-3 codex refactor: previously the main browser entry was a
+ * 660-line monolith mixing compile / validate / schema / evaluate / typecheck
+ * gates. Public exports remain available from `@aster-cloud/aster-lang-ts/browser`
+ * — this module is implementation detail.
+ */
+import { canonicalize } from '../frontend/canonicalizer.js';
+import { lex } from '../frontend/lexer.js';
+import { parse } from '../parser.js';
+import { createKeywordTranslator, needsKeywordTranslation } from '../frontend/keyword-translator.js';
+import { attachTypeInferenceRules } from '../config/lexicons/type-inference-rules.js';
+/** Convert AST Type to type kind */
+function getTypeKind(type) {
+    if (!type || typeof type !== 'object' || !('kind' in type)) {
+        return 'unknown';
+    }
+    switch (type.kind) {
+        case 'TypeName': {
+            const name = type.name.toLowerCase();
+            if (['int', 'float', 'double', 'number', 'bool', 'boolean', 'text', 'string', 'datetime', 'date', 'time'].includes(name)) {
+                return 'primitive';
+            }
+            // Custom type names are typically structs
+            return 'struct';
+        }
+        case 'List':
+            return 'list';
+        case 'Map':
+            return 'map';
+        case 'Option':
+        case 'Maybe':
+            return 'option';
+        case 'Result':
+            return 'result';
+        case 'FuncType':
+            return 'function';
+        default:
+            return 'unknown';
+    }
+}
+/** Convert AST Type to display string */
+function typeToString(type) {
+    if (!type || typeof type !== 'object' || !('kind' in type)) {
+        return 'Unknown';
+    }
+    switch (type.kind) {
+        case 'TypeName':
+            return type.name;
+        case 'List':
+            return `List<${typeToString(type.type)}>`;
+        case 'Map':
+            return `Map<${typeToString(type.key)}, ${typeToString(type.val)}>`;
+        case 'Option':
+            return `Option<${typeToString(type.type)}>`;
+        case 'Maybe':
+            return `Maybe<${typeToString(type.type)}>`;
+        case 'Result':
+            return `Result<${typeToString(type.ok)}, ${typeToString(type.err)}>`;
+        default:
+            return 'Unknown';
+    }
+}
+/**
+ * Extract schema from CNL source code.
+ *
+ * Parses CNL source and extracts parameter schema for the specified function,
+ * suitable for dynamic form generation.
+ *
+ * @example
+ * ```typescript
+ * const result = extractSchema(`
+ *   Module loan.
+ *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
+ *   Rule evaluate given application as LoanApplication, produce Bool:
+ *     If application.creditScore >= 700 then Return true
+ *     Otherwise Return false.
+ * `);
+ * if (result.success) {
+ *   console.log(result.parameters);
+ * }
+ * ```
+ */
+export function extractSchema(source, options) {
+    try {
+        const lexicon = options?.lexicon;
+        // Canonicalize with lexicon for language-specific normalization
+        const canonical = canonicalize(source, lexicon);
+        let tokens = lex(canonical, lexicon);
+        // Translate non-English tokens to English for parser compatibility
+        if (lexicon && needsKeywordTranslation(lexicon)) {
+            const translator = createKeywordTranslator(lexicon);
+            tokens = translator.translateTokens(tokens);
+        }
+        // Parse to AST
+        const effectiveLexForSchema = lexicon ? attachTypeInferenceRules(lexicon) : undefined;
+        const parseResult = parse(tokens, effectiveLexForSchema);
+        if (parseResult.diagnostics.length > 0 && parseResult.ast.decls.length === 0) {
+            return {
+                success: false,
+                error: parseResult.diagnostics[0]?.message ?? 'Parse failed',
+            };
+        }
+        const module = parseResult.ast;
+        const moduleName = module.name ?? 'unknown';
+        // Find all Data and Enum declarations (for struct/enum field resolution)
+        const dataDecls = new Map();
+        const enumDecls = new Map();
+        for (const decl of module.decls) {
+            if (decl.kind === 'Data') {
+                const data = decl;
+                const fields = data.fields.map((f) => {
+                    const fieldTypeKind = getTypeKind(f.type);
+                    const fieldTypeName = typeToString(f.type);
+                    return {
+                        name: f.name,
+                        type: fieldTypeName,
+                        typeKind: fieldTypeKind,
+                    };
+                });
+                dataDecls.set(data.name, fields);
+            }
+            else if (decl.kind === 'Enum') {
+                const enumDecl = decl;
+                enumDecls.set(enumDecl.name, [...enumDecl.variants]);
+            }
+        }
+        // Find the target function
+        const funcs = module.decls.filter((d) => d.kind === 'Func');
+        if (funcs.length === 0) {
+            return {
+                success: false,
+                error: 'No functions found in module',
+            };
+        }
+        const targetFuncName = options?.functionName;
+        const func = targetFuncName
+            ? funcs.find((f) => f.name === targetFuncName)
+            : funcs[0];
+        if (!func) {
+            return {
+                success: false,
+                error: targetFuncName
+                    ? `Function '${targetFuncName}' not found`
+                    : 'No functions found in module',
+            };
+        }
+        // Extract parameters
+        const parameters = func.params.map((param, index) => {
+            let typeName = typeToString(param.type);
+            let typeKind = getTypeKind(param.type);
+            let fields;
+            // Resolve struct/enum fields if applicable
+            if (typeKind === 'struct' && enumDecls.has(typeName)) {
+                // Type is actually an enum, not a struct
+                typeKind = 'enum';
+            }
+            else if (typeKind === 'struct' && dataDecls.has(typeName)) {
+                // Resolve struct fields, also resolving enum types within fields
+                fields = dataDecls.get(typeName).map((f) => {
+                    if (f.typeKind === 'struct' && enumDecls.has(f.type)) {
+                        return { ...f, typeKind: 'enum', enumVariants: enumDecls.get(f.type) };
+                    }
+                    return f;
+                });
+            }
+            else if (typeKind === 'primitive' && dataDecls.has(param.name)) {
+                // 当参数类型为基本类型但参数名与 Data 定义匹配时，
+                // 推断参数类型为该 Data 类型（支持中文无类型参数语法）
+                typeName = param.name;
+                typeKind = 'struct';
+                fields = dataDecls.get(param.name);
+            }
+            const result = {
+                name: param.name,
+                type: typeName,
+                typeKind,
+                optional: false, // Parameters don't have optional field in AST
+                position: index,
+            };
+            if (typeKind === 'enum' && enumDecls.has(typeName)) {
+                result.enumVariants = enumDecls.get(typeName);
+            }
+            if (fields) {
+                result.fields = fields;
+            }
+            return result;
+        });
+        return {
+            success: true,
+            moduleName,
+            functionName: func.name,
+            parameters,
+        };
+    }
+    catch (error) {
+        return {
+            success: false,
+            error: error instanceof Error ? error.message : String(error),
+        };
+    }
+}
+//# sourceMappingURL=schema.js.map

package/dist/src/browser/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/browser/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACrC,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AACrG,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AA0BtF,oCAAoC;AACpC,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzH,OAAO,WAAW,CAAC;YACrB,CAAC;YACD,0CAA0C;YAC1C,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,yCAAyC;AACzC,SAAS,YAAY,CAAC,IAAU;IAC9B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,QAAQ,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC5C,KAAK,KAAK;YACR,OAAO,OAAO,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrE,KAAK,QAAQ;YACX,OAAO,UAAU,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9C,KAAK,OAAO;YACV,OAAO,SAAS,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7C,KAAK,QAAQ;YACX,OAAO,UAAU,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACvE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,OAAuB;IACnE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;QAEjC,gEAAgE;QAChE,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAErC,mEAAmE;QACnE,IAAI,OAAO,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QAED,eAAe;QACf,MAAM,qBAAqB,GAAG,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;QAEzD,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7E,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,cAAc;aAC7D,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC;QAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC;QAE5C,yEAAyE;QACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;QACjD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,IAAY,CAAC;gBAC1B,MAAM,MAAM,GAAgB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAChD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC1C,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC3C,OAAO;wBACL,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,IAAI,EAAE,aAAa;wBACnB,QAAQ,EAAE,aAAa;qBACxB,CAAC;gBACJ,CAAC,CAAC,CAAC;gBACH,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACnC,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,IAAY,CAAC;gBAC9B,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAW,CAAC;QACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,8BAA8B;aACtC,CAAC;QACJ,CAAC;QAED,MAAM,cAAc,GAAG,OAAO,EAAE,YAAY,CAAC;QAC7C,MAAM,IAAI,GAAG,cAAc;YACzB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;YACpD,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAEb,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,cAAc;oBACnB,CAAC,CAAC,aAAa,cAAc,aAAa;oBAC1C,CAAC,CAAC,8BAA8B;aACnC,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAoB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACnE,IAAI,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,MAA+B,CAAC;YAEpC,2CAA2C;YAC3C,IAAI,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrD,yCAAyC;gBACzC,QAAQ,GAAG,MAAM,CAAC;YACpB,CAAC;iBAAM,IAAI,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5D,iEAAiE;gBACjE,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC1C,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACrD,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAkB,EAAE,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,CAAC;oBACtF,CAAC;oBACD,OAAO,CAAC,CAAC;gBACX,CAAC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,QAAQ,KAAK,WAAW,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjE,8BAA8B;gBAC9B,gCAAgC;gBAChC,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;gBACtB,QAAQ,GAAG,QAAQ,CAAC;gBACpB,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;YAED,MAAM,MAAM,GAAkB;gBAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,QAAQ;gBACd,QAAQ;gBACR,QAAQ,EAAE,KAAK,EAAE,8CAA8C;gBAC/D,QAAQ,EAAE,KAAK;aAChB,CAAC;YAEF,IAAI,QAAQ,KAAK,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;YACjD,CAAC;YAED,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;YACzB,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,OAAO,EAAE,IAAI;YACb,UAAU;YACV,YAAY,EAAE,IAAI,CAAC,IAAI;YACvB,UAAU;SACX,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC9D,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/src/browser.d.ts

@@ -40,7 +40,7 @@ export type { EvalResult } from './core/interpreter.js';
 export { generateFieldValue, generateInputValues, getFieldValueHint, } from './parser/input-generator.js';
 export type { TypeKind, FieldInfo, ParameterInfo, } from './parser/input-generator.js';
 export type * from './types.js';
-export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons } from './config/lexicons/index.js';
+export { EN_US, ZH_CN, DE_DE, LexiconRegistry, initializeDefaultLexicons, initializeAllBundledLexicons, } from './config/lexicons/index.js';
 export type { Lexicon } from './config/lexicons/types.js';
 export { getLspUiTexts } from './config/lexicons/lsp-ui-texts.js';
 export type { LspUiTexts } from './config/lexicons/lsp-ui-texts.js';
@@ -89,6 +89,11 @@ export interface CompileOptions {
     lexicon?: Lexicon;
     /** 领域标识符（如 'insurance.auto'），启用领域标识符翻译 */
     domain?: string;
+    /**
+     * 租户标识符。提供时，领域词汇翻译优先命中该租户的自定义词汇
+     * （需先经 `vocabularyRegistry.registerCustom` 注册），未命中回退内置。
+     */
+    tenantId?: string;
     /** Include intermediate representations in result */
     includeIntermediates?: boolean;
 }
@@ -165,58 +170,8 @@ export declare function validateSyntaxWithSpan(source: string, lexicon?: Lexicon
  * @returns Array of tokens
  */
 export declare function tokenize(source: string, lexicon?: Lexicon): Token[];
-import type { ParameterInfo } from './parser/input-generator.js';
-/**
- * Schema extraction result
- */
-export interface SchemaResult {
-    /** Whether extraction succeeded */
-    success: boolean;
-    /** Module name */
-    moduleName?: string;
-    /** Function name */
-    functionName?: string;
-    /** Parameter schema */
-    parameters?: ParameterInfo[];
-    /** Error message if failed */
-    error?: string;
-}
-/**
- * Schema extraction options
- */
-export interface SchemaOptions {
-    /** CNL lexicon (default: EN_US) */
-    lexicon?: Lexicon;
-    /** Target function name (default: first function) */
-    functionName?: string;
-}
-/**
- * Extract schema from CNL source code
- *
- * Parses CNL source and extracts parameter schema for the specified function,
- * suitable for dynamic form generation.
- *
- * @param source - CNL source code
- * @param options - Schema extraction options
- * @returns Schema extraction result
- *
- * @example
- * ```typescript
- * const result = extractSchema(`
- *   Module loan.
- *   Define LoanApplication has creditScore as Int, amount as Float, term as Int.
- *   Rule evaluate given application as LoanApplication, produce Bool:
- *     If application.creditScore >= 700 then Return true
- *     Otherwise Return false.
- * `);
- *
- * if (result.success) {
- *   console.log(result.parameters);
- *   // [{ name: 'application', type: 'LoanApplication', typeKind: 'struct', ... }]
- * }
- * ```
- */
-export declare function extractSchema(source: string, options?: SchemaOptions): SchemaResult;
+export { extractSchema } from './browser/schema.js';
+export type { SchemaResult, SchemaOptions } from './browser/schema.js';
 export { typecheckBrowser } from './typecheck/browser.js';
 export type { BrowserTypecheckOptions } from './typecheck/browser.js';
 export type { TypecheckDiagnostic } from './types.js';
@@ -226,8 +181,13 @@ export type { TypecheckDiagnostic } from './types.js';
  * This is the recommended API for browser/edge use when you need
  * both compilation and type checking.
  *
+ * **PII flow analysis is always enabled** since ADR-0009 P0-1. The
+ * `enforcePii` option is accepted for source-level backwards compatibility
+ * but is ignored — see {@link compileAndTypecheck} options below.
+ *
  * @param source - CNL source code
- * @param options - Compile and type check options
+ * @param options - Compile and type check options. Note: `enforcePii` is
+ *   **deprecated** and ignored; PII checks are always on.
  * @returns Object containing compilation result and type diagnostics
  *
  * @example
@@ -250,6 +210,11 @@ export type { TypecheckDiagnostic } from './types.js';
  * ```
  */
 export declare function compileAndTypecheck(source: string, options?: CompileOptions & {
+    /**
+     * @deprecated ADR-0009 P0-1: PII flow analysis is always enabled.
+     *   Setting `false` does NOT disable it. Field kept for source-level
+     *   backwards compatibility; will be removed next major.
+     */
     enforcePii?: boolean;
 }): CompileResult & {
     typeErrors: import('./types.js').TypecheckDiagnostic[];

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

@@ -1 +1 @@
-{"version":3,"file":"browser.d.ts","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGjD,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGpC,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,QAAQ,EACR,SAAS,EACT,aAAa,GACd,MAAM,6BAA6B,CAAC;AAGrC,mBAAmB,YAAY,CAAC;AAIhC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAC7G,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAUpE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAM1D;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;IACxB,gEAAgE;IAChE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qEAAqE;IACrE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4EAA4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAgF/E;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,eAAe,EAAE,CAmC3F;AAGD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,EAAE,CAInE;AAMD,OAAO,KAAK,EAAY,aAAa,EAAa,MAAM,6BAA6B,CAAC;AAGtF;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,mCAAmC;IACnC,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,8BAA8B;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,qDAAqD;IACrD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AA6DD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,YAAY,CA+GnF;AAMD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACtE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,GAClD,aAAa,GAAG;IAAE,UAAU,EAAE,OAAO,YAAY,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAqB5E"}
+{"version":3,"file":"browser.d.ts","sourceRoot":"","sources":["../../src/browser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGjD,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,yBAAyB,EACzB,eAAe,EACf,0BAA0B,EAC1B,cAAc,EACd,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAGpC,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,QAAQ,EACR,SAAS,EACT,aAAa,GACd,MAAM,6BAA6B,CAAC;AAGrC,mBAAmB,YAAY,CAAC;AAOhC,OAAO,EACL,KAAK,EACL,KAAK,EACL,KAAK,EACL,eAAe,EACf,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAUpE,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAM1D;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,kEAAkE;IAClE,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,8CAA8C;IAC9C,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC;IACxB,gEAAgE;IAChE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IAC3B,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,qEAAqE;IACrE,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,4EAA4E;IAC5E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,0CAA0C;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,aAAa,CAsF/E;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,IAAI,CAAC,EAAE;QACL,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;KACpC,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,eAAe,EAAE,CAmC3F;AAGD;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,EAAE,CAInE;AAQD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAMvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACtE,YAAY,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,cAAc,GAAG;IACzB;;;;OAIG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,GACA,aAAa,GAAG;IAAE,UAAU,EAAE,OAAO,YAAY,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAuB5E"}