@prisma-next/psl-parser 0.14.0-dev.75 → 0.14.0-dev.77

package/dist/index.d.mts

@@ -1,6 +1,6 @@
-import { P as AstNode, T as ExpressionAst, b as FieldAttributeAst, et as SourceFile, x as ModelAttributeAst } from "./parse-BazJr7Ye.mjs";
+import { C as AttributeArgAst, P as AstNode, T as ExpressionAst, b as FieldAttributeAst, et as SourceFile, x as ModelAttributeAst } from "./parse-BazJr7Ye.mjs";
 import { S as readResolvedConstructorCall, _ as keywordPslSpan, a as ModelSymbol, b as readResolvedAttribute, c as ScalarSymbol, d as TopLevelScope, f as TypeAliasSymbol, g as ResolvedTypeConstructorCall, h as ResolvedAttributeArg, i as FieldSymbol, l as SymbolTable, m as ResolvedAttribute, n as BuildSymbolTableOptions, o as NamespaceSymbol, p as buildSymbolTable, r as CompositeTypeSymbol, s as ResolvedNamedTypeBinding, t as BlockSymbol, u as SymbolTableResult, v as nodePslSpan, x as readResolvedAttributes, y as rangeToPslSpan } from "./symbol-table-C-AH04Ug.mjs";
-import { PslAttribute, PslAttribute as PslAttribute$1, PslAttributeArgument, PslAttributeNamedArgument, PslAttributePositionalArgument, PslAttributeTarget, PslCompositeType, PslDefaultFunctionValue, PslDefaultLiteralValue, PslDefaultValue, PslDiagnostic, PslDiagnostic as PslDiagnostic$1, PslDiagnosticCode, PslDiagnosticCode as PslDiagnosticCode$1, PslDocumentAst, PslExtensionBlock, PslExtensionBlockAttribute, PslExtensionBlockAttributeArg, PslExtensionBlockParamBare, PslExtensionBlockParamList, PslExtensionBlockParamOption, PslExtensionBlockParamRef, PslExtensionBlockParamScalarValue, PslExtensionBlockParamValue, PslField, PslFieldAttribute, PslModel, PslModelAttribute, PslNamedTypeDeclaration, PslNamespace, PslPosition, PslSpan, PslTypeConstructorCall, PslTypesBlock, flatPslModels, namespacePslExtensionBlocks } from "@prisma-next/framework-components/psl-ast";
+import { PslAttribute, PslAttribute as PslAttribute$1, PslAttributeArgument, PslAttributeNamedArgument, PslAttributePositionalArgument, PslAttributeTarget, PslCompositeType, PslDefaultFunctionValue, PslDefaultLiteralValue, PslDefaultValue, PslDiagnostic, PslDiagnostic as PslDiagnostic$1, PslDiagnosticCode, PslDiagnosticCode as PslDiagnosticCode$1, PslDocumentAst, PslExtensionBlock, PslExtensionBlockAttribute, PslExtensionBlockAttributeArg, PslExtensionBlockParamBare, PslExtensionBlockParamList, PslExtensionBlockParamOption, PslExtensionBlockParamRef, PslExtensionBlockParamScalarValue, PslExtensionBlockParamValue, PslField, PslFieldAttribute, PslModel, PslModelAttribute, PslNamedTypeDeclaration, PslNamespace, PslPosition, PslSpan, PslSpan as PslSpan$1, PslTypeConstructorCall, PslTypesBlock, flatPslModels, namespacePslExtensionBlocks } from "@prisma-next/framework-components/psl-ast";
 import { Result } from "@prisma-next/utils/result";
 import { AuthoringPslBlockDescriptor, AuthoringPslBlockDescriptorNamespace } from "@prisma-next/framework-components/authoring";
 import { Simplify, UnionToIntersection } from "@prisma-next/utils/types";
@@ -66,11 +66,26 @@ interface FieldRefArgType extends ArgType<string> {
 }
 declare function fieldRef(scope: FieldRefScope): FieldRefArgType;
 //#endregion
+//#region src/attribute-spec/combinators/func-call.d.ts
+interface FuncCallSig {
+  readonly positional?: readonly PositionalParam<unknown>[];
+  readonly named?: Readonly<Record<string, Param<unknown>>>;
+}
+interface TypedFuncCall {
+  readonly fn: string;
+  readonly span: PslSpan$1;
+  readonly args: Readonly<Record<string, unknown>>;
+}
+declare function funcCall(name: string, sig: FuncCallSig): ArgType<TypedFuncCall>;
+//#endregion
 //#region src/attribute-spec/combinators/identifier.d.ts
 declare function identifier<const N extends string>(name: N): ArgType<N>;
 //#endregion
 //#region src/attribute-spec/combinators/int.d.ts
-declare function int(): ArgType<number>;
+declare function int(opts?: {
+  min?: number;
+  max?: number;
+}): ArgType<number>;
 //#endregion
 //#region src/attribute-spec/combinators/list.d.ts
 interface ListOptions {
@@ -79,6 +94,10 @@ interface ListOptions {
 }
 declare function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]>;
 //#endregion
+//#region src/attribute-spec/combinators/num.d.ts
+declare function num(): ArgType<number>;
+declare function num(value: number): ArgType<number>;
+//#endregion
 //#region src/attribute-spec/combinators/one-of.d.ts
 declare function oneOf<Alts extends readonly [ArgType<unknown>, ...ArgType<unknown>[]]>(...alts: Alts): ArgType<OutOf<Alts[number]>>;
 //#endregion
@@ -97,6 +116,12 @@ interface FieldAttributeConfig<Pos extends readonly PositionalParam[], Named ext
 declare function fieldAttribute<const Pos extends readonly PositionalParam[] = readonly [], const Named extends Record<string, Param<unknown>> = Record<never, never>>(name: string, config: FieldAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>>;
 //#endregion
 //#region src/attribute-spec/interpret.d.ts
+interface ArgBindingSpec {
+  readonly name: string;
+  readonly positional: readonly PositionalParam<unknown>[];
+  readonly named: Readonly<Record<string, Param<unknown>>>;
+}
+declare function interpretArgs(args: Iterable<AttributeArgAst>, spec: ArgBindingSpec, ctx: InterpretCtx, span: PslSpan$1): Result<Record<string, unknown>, readonly PslDiagnostic$1[]>;
 declare function interpretAttribute<Out>(attrNode: FieldAttributeAst | ModelAttributeAst, spec: AttributeSpec<Out>, ctx: InterpretCtx): Result<Out, readonly PslDiagnostic$1[]>;
 //#endregion
 //#region src/attribute-spec/model-attribute.d.ts
@@ -121,5 +146,5 @@ declare function validateExtensionBlockFromSymbol(input: {
   readonly codecLookup: CodecLookup;
 }): readonly PslDiagnostic$1[];
 //#endregion
-export { type ArgType, type AttributeLevel, type AttributeOut, type AttributeSpec, type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldRefArgType, type FieldRefScope, type FieldSymbol, type InferAttr, type InterpretCtx, type ListOptions, type ModelSymbol, type NamedOut, type NamespaceSymbol, type OptionalArgType, type OutOf, type Param, type PosOut, type PositionalParam, type PslAttribute, type PslAttributeArgument, type PslAttributeNamedArgument, type PslAttributePositionalArgument, type PslAttributeTarget, type PslCompositeType, type PslDefaultFunctionValue, type PslDefaultLiteralValue, type PslDefaultValue, type PslDiagnostic, type PslDiagnosticCode, type PslDocumentAst, type PslExtensionBlock, type PslExtensionBlockAttribute, type PslExtensionBlockAttributeArg, type PslExtensionBlockParamBare, type PslExtensionBlockParamList, type PslExtensionBlockParamOption, type PslExtensionBlockParamRef, type PslExtensionBlockParamScalarValue, type PslExtensionBlockParamValue, type PslField, type PslFieldAttribute, type PslModel, type PslModelAttribute, type PslNamedTypeDeclaration, type PslNamespace, type PslPosition, type PslSpan, type PslTypeConstructorCall, type PslTypesBlock, type ResolvedAttribute, type ResolvedAttributeArg, type ResolvedNamedTypeBinding, type ResolvedTypeConstructorCall, type ScalarSymbol, type SymbolTable, type SymbolTableResult, type TopLevelScope, type TypeAliasSymbol, bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, getPositionalArgument, identifier, int, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, str, validateExtensionBlockFromSymbol };
+export { type ArgBindingSpec, type ArgType, type AttributeLevel, type AttributeOut, type AttributeSpec, type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldRefArgType, type FieldRefScope, type FieldSymbol, type FuncCallSig, type InferAttr, type InterpretCtx, type ListOptions, type ModelSymbol, type NamedOut, type NamespaceSymbol, type OptionalArgType, type OutOf, type Param, type PosOut, type PositionalParam, type PslAttribute, type PslAttributeArgument, type PslAttributeNamedArgument, type PslAttributePositionalArgument, type PslAttributeTarget, type PslCompositeType, type PslDefaultFunctionValue, type PslDefaultLiteralValue, type PslDefaultValue, type PslDiagnostic, type PslDiagnosticCode, type PslDocumentAst, type PslExtensionBlock, type PslExtensionBlockAttribute, type PslExtensionBlockAttributeArg, type PslExtensionBlockParamBare, type PslExtensionBlockParamList, type PslExtensionBlockParamOption, type PslExtensionBlockParamRef, type PslExtensionBlockParamScalarValue, type PslExtensionBlockParamValue, type PslField, type PslFieldAttribute, type PslModel, type PslModelAttribute, type PslNamedTypeDeclaration, type PslNamespace, type PslPosition, type PslSpan, type PslTypeConstructorCall, type PslTypesBlock, type ResolvedAttribute, type ResolvedAttributeArg, type ResolvedNamedTypeBinding, type ResolvedTypeConstructorCall, type ScalarSymbol, type SymbolTable, type SymbolTableResult, type TopLevelScope, type TypeAliasSymbol, type TypedFuncCall, bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, funcCall, getPositionalArgument, identifier, int, interpretArgs, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, num, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, str, validateExtensionBlockFromSymbol };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/attribute-helpers.ts","../src/attribute-spec/types.ts","../src/attribute-spec/combinators/bool.ts","../src/attribute-spec/combinators/diagnostic.ts","../src/attribute-spec/combinators/entity-ref.ts","../src/attribute-spec/combinators/field-ref.ts","../src/attribute-spec/combinators/identifier.ts","../src/attribute-spec/combinators/int.ts","../src/attribute-spec/combinators/list.ts","../src/attribute-spec/combinators/one-of.ts","../src/attribute-spec/combinators/record.ts","../src/attribute-spec/combinators/str.ts","../src/attribute-spec/field-attribute.ts","../src/attribute-spec/interpret.ts","../src/attribute-spec/model-attribute.ts","../src/attribute-spec/optional.ts","../src/extension-block.ts"],"mappings":";;;;;;;;;iBAEgB,qBAAA,CAAsB,SAAA,EAAW,cAAY,EAAE,KAAA;AAAA,iBAK/C,wBAAA,CAAyB,KAAa;;;KCA1C,cAAA;AAAA,UAEK,OAAA;EAAA,SACN,IAAA;EAAA,SACA,KAAA;EAAA,SAEA,IAAA,GAAO,CAAA;EAChB,KAAA,CAAM,GAAA,EAAK,aAAA,EAAe,GAAA,EAAK,YAAA,GAAe,MAAA,CAAO,CAAA,WAAY,eAAA;AAAA;AAAA,UAGlD,YAAA;EAAA,SACN,KAAA,EAAO,cAAA;EAAA,SACP,QAAA;EAAA,SACA,UAAA,EAAY,UAAA;EAAA,SACZ,SAAA,EAAW,WAAA;EACpB,sBAAA,IAA0B,WAAA;EAAA,SACjB,KAAA,GAAQ,WAAA;AAAA;AAAA,UAGF,eAAA,YAA2B,OAAA,CAAQ,CAAA;EAAA,SAEzC,QAAA;EAAA,SACA,UAAA;EAAA,SACA,YAAA,GAAe,CAAA;AAAA;AAAA,KAGd,KAAA,MAAW,OAAO,CAAC,CAAA;AAAA,UAEd,eAAA;EAAA,SACN,GAAA;EAAA,SACA,IAAA,EAAM,KAAK,CAAC,CAAA;AAAA;AAAA,UAGN,aAAA;EAAA,SACN,KAAA,EAAO,cAAA;EAAA,SACP,IAAA;EAAA,SACA,UAAA,WAAqB,eAAA;EAAA,SACrB,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,KAAA;EAAA,SAC/B,MAAA,IAAU,MAAA,EAAQ,GAAA,EAAK,GAAA,EAAK,YAAA,cAA0B,eAAA;AAAA;AAAA,KAGrD,KAAA,MAAW,CAAA,SAAU,OAAO,YAAY,CAAA;AAAA,KAExC,QAAA,WAAmB,MAAA,SAAe,KAAA,cAAmB,QAAA,eACjD,CAAA,IAAK,CAAA,CAAE,CAAA,UAAW,eAAA,oBAAmC,CAAA,GAAI,KAAA,CAAM,CAAA,CAAE,CAAA,qBACjE,CAAA,IAAK,CAAA,CAAE,CAAA,UAAW,eAAA,YAA2B,CAAA,YAAa,KAAA,CAAM,CAAA,CAAE,CAAA;AAAA,KAI7E,cAAA,WAAyB,eAAA,IAC5B,CAAA,iBAAkB,eAAA,oBACN,CAAA,WAAY,KAAA,CAAM,CAAA,sBAClB,CAAA,UAAW,KAAA,CAAM,CAAA;AAAA,KAEnB,MAAA,sBAA4B,eAAA,MAAqB,QAAA,CAC3D,mBAAA,eAAkC,GAAA,GAAM,cAAA,CAAe,GAAA,CAAI,CAAA;AAAA,KAGjD,YAAA,sBACW,eAAA,kBACP,MAAA,SAAe,KAAA,cAC3B,QAAA,CAAS,MAAA,CAAO,GAAA,IAAO,QAAA,CAAS,KAAA;AAAA,KAGxB,SAAA,MAAe,CAAA,SAAU,aAAa,cAAc,GAAA;;;iBCjEhD,IAAA,IAAQ,OAAO;;;iBCCf,cAAA,CAAe,GAAA,EAAK,YAAA,EAAc,IAAA,EAAM,OAAA,EAAS,OAAA,WAAkB,eAAA;;;iBCCnE,SAAA,IAAa,OAAO;;;KCFxB,aAAA;AAAA,UAEK,eAAA,SAAwB,OAAO;EAAA,SACrC,KAAA,EAAO,aAAA;AAAA;AAAA,iBAGF,QAAA,CAAS,KAAA,EAAO,aAAA,GAAgB,eAAe;;;iBCN/C,UAAA,yBAAmC,IAAA,EAAM,CAAA,GAAI,OAAA,CAAQ,CAAA;;;iBCArD,GAAA,IAAO,OAAO;;;UCAb,WAAA;EAAA,SACN,QAAA;EAAA,SACA,MAAM;AAAA;AAAA,iBAGD,IAAA,IAAQ,EAAA,EAAI,OAAA,CAAQ,CAAA,GAAI,IAAA,GAAO,WAAA,GAAc,OAAA,CAAQ,CAAA;;;iBCLrD,KAAA,wBAA6B,OAAA,cAAqB,OAAA,iBAC7D,IAAA,EAAM,IAAA,GACR,OAAA,CAAQ,KAAA,CAAM,IAAA;;;iBCFD,MAAA,IAAU,EAAA,EAAI,OAAA,CAAQ,CAAA,IAAK,OAAA,CAAQ,MAAA,SAAe,CAAA;;;iBCAlD,GAAA,IAAO,OAAO;;;UCHpB,oBAAA,sBACa,eAAA,kBACP,MAAA,SAAe,KAAA;EAAA,SAEpB,UAAA,GAAa,GAAA;EAAA,SACb,KAAA,GAAQ,KAAA;EAAA,SACR,MAAA,IACP,MAAA,EAAQ,YAAA,CAAa,GAAA,EAAK,KAAA,GAC1B,GAAA,EAAK,YAAA,cACO,eAAA;AAAA;AAAA,iBAGA,cAAA,4BACa,eAAA,sCACP,MAAA,SAAe,KAAA,aAAkB,MAAA,gBACrD,IAAA,UAAc,MAAA,EAAQ,oBAAA,CAAqB,GAAA,EAAK,KAAA,IAAS,aAAA,CAAc,YAAA,CAAa,GAAA,EAAK,KAAA;;;iBCT3E,kBAAA,MACd,QAAA,EAAU,iBAAA,GAAoB,iBAAA,EAC9B,IAAA,EAAM,aAAA,CAAc,GAAA,GACpB,GAAA,EAAK,YAAA,GACJ,MAAA,CAAO,GAAA,WAAc,eAAA;;;UCVd,oBAAA,sBACa,eAAA,kBACP,MAAA,SAAe,KAAA;EAAA,SAEpB,UAAA,GAAa,GAAA;EAAA,SACb,KAAA,GAAQ,KAAA;EAAA,SACR,MAAA,IACP,MAAA,EAAQ,YAAA,CAAa,GAAA,EAAK,KAAA,GAC1B,GAAA,EAAK,YAAA,cACO,eAAA;AAAA;AAAA,iBAGA,cAAA,4BACa,eAAA,sCACP,MAAA,SAAe,KAAA,aAAkB,MAAA,gBACrD,IAAA,UAAc,MAAA,EAAQ,oBAAA,CAAqB,GAAA,EAAK,KAAA,IAAS,aAAA,CAAc,YAAA,CAAa,GAAA,EAAK,KAAA;;;iBChB3E,QAAA,IAAY,IAAA,EAAM,OAAA,CAAQ,CAAA,MAAO,IAAA,GAAO,YAAA,EAAc,CAAA,SAAU,eAAA,CAAgB,CAAA;;;iBCgBhF,mBAAA,CACd,WAAA,EAAa,oCAAA,cACb,OAAA,WACC,2BAA2B;AAAA,iBAcd,gCAAA,CAAiC,KAAA;EAAA,SACtC,KAAA,EAAO,WAAA;EAAA,SACP,UAAA,EAAY,2BAAA;EAAA,SACZ,WAAA,EAAa,WAAA;EAAA,SACb,UAAA,EAAY,UAAA;EAAA,SACZ,QAAA;EAAA,SACA,WAAA,EAAa,WAAA;AAAA,aACX,eAAA"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/attribute-helpers.ts","../src/attribute-spec/types.ts","../src/attribute-spec/combinators/bool.ts","../src/attribute-spec/combinators/diagnostic.ts","../src/attribute-spec/combinators/entity-ref.ts","../src/attribute-spec/combinators/field-ref.ts","../src/attribute-spec/combinators/func-call.ts","../src/attribute-spec/combinators/identifier.ts","../src/attribute-spec/combinators/int.ts","../src/attribute-spec/combinators/list.ts","../src/attribute-spec/combinators/num.ts","../src/attribute-spec/combinators/one-of.ts","../src/attribute-spec/combinators/record.ts","../src/attribute-spec/combinators/str.ts","../src/attribute-spec/field-attribute.ts","../src/attribute-spec/interpret.ts","../src/attribute-spec/model-attribute.ts","../src/attribute-spec/optional.ts","../src/extension-block.ts"],"mappings":";;;;;;;;;iBAEgB,qBAAA,CAAsB,SAAA,EAAW,cAAY,EAAE,KAAA;AAAA,iBAK/C,wBAAA,CAAyB,KAAa;;;KCA1C,cAAA;AAAA,UAEK,OAAA;EAAA,SACN,IAAA;EAAA,SACA,KAAA;EAAA,SAEA,IAAA,GAAO,CAAA;EAChB,KAAA,CAAM,GAAA,EAAK,aAAA,EAAe,GAAA,EAAK,YAAA,GAAe,MAAA,CAAO,CAAA,WAAY,eAAA;AAAA;AAAA,UAGlD,YAAA;EAAA,SACN,KAAA,EAAO,cAAA;EAAA,SACP,QAAA;EAAA,SACA,UAAA,EAAY,UAAA;EAAA,SACZ,SAAA,EAAW,WAAA;EACpB,sBAAA,IAA0B,WAAA;EAAA,SACjB,KAAA,GAAQ,WAAA;AAAA;AAAA,UAGF,eAAA,YAA2B,OAAA,CAAQ,CAAA;EAAA,SAEzC,QAAA;EAAA,SACA,UAAA;EAAA,SACA,YAAA,GAAe,CAAA;AAAA;AAAA,KAGd,KAAA,MAAW,OAAO,CAAC,CAAA;AAAA,UAEd,eAAA;EAAA,SACN,GAAA;EAAA,SACA,IAAA,EAAM,KAAK,CAAC,CAAA;AAAA;AAAA,UAGN,aAAA;EAAA,SACN,KAAA,EAAO,cAAA;EAAA,SACP,IAAA;EAAA,SACA,UAAA,WAAqB,eAAA;EAAA,SACrB,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,KAAA;EAAA,SAC/B,MAAA,IAAU,MAAA,EAAQ,GAAA,EAAK,GAAA,EAAK,YAAA,cAA0B,eAAA;AAAA;AAAA,KAGrD,KAAA,MAAW,CAAA,SAAU,OAAO,YAAY,CAAA;AAAA,KAExC,QAAA,WAAmB,MAAA,SAAe,KAAA,cAAmB,QAAA,eACjD,CAAA,IAAK,CAAA,CAAE,CAAA,UAAW,eAAA,oBAAmC,CAAA,GAAI,KAAA,CAAM,CAAA,CAAE,CAAA,qBACjE,CAAA,IAAK,CAAA,CAAE,CAAA,UAAW,eAAA,YAA2B,CAAA,YAAa,KAAA,CAAM,CAAA,CAAE,CAAA;AAAA,KAI7E,cAAA,WAAyB,eAAA,IAC5B,CAAA,iBAAkB,eAAA,oBACN,CAAA,WAAY,KAAA,CAAM,CAAA,sBAClB,CAAA,UAAW,KAAA,CAAM,CAAA;AAAA,KAEnB,MAAA,sBAA4B,eAAA,MAAqB,QAAA,CAC3D,mBAAA,eAAkC,GAAA,GAAM,cAAA,CAAe,GAAA,CAAI,CAAA;AAAA,KAGjD,YAAA,sBACW,eAAA,kBACP,MAAA,SAAe,KAAA,cAC3B,QAAA,CAAS,MAAA,CAAO,GAAA,IAAO,QAAA,CAAS,KAAA;AAAA,KAGxB,SAAA,MAAe,CAAA,SAAU,aAAa,cAAc,GAAA;;;iBCjEhD,IAAA,IAAQ,OAAO;;;iBCCf,cAAA,CAAe,GAAA,EAAK,YAAA,EAAc,IAAA,EAAM,OAAA,EAAS,OAAA,WAAkB,eAAA;;;iBCCnE,SAAA,IAAa,OAAO;;;KCFxB,aAAA;AAAA,UAEK,eAAA,SAAwB,OAAO;EAAA,SACrC,KAAA,EAAO,aAAA;AAAA;AAAA,iBAGF,QAAA,CAAS,KAAA,EAAO,aAAA,GAAgB,eAAe;;;UCD9C,WAAA;EAAA,SACN,UAAA,YAAsB,eAAA;EAAA,SACtB,KAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,KAAA;AAAA;AAAA,UAG1B,aAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA,EAAM,SAAA;EAAA,SACN,IAAA,EAAM,QAAA,CAAS,MAAA;AAAA;AAAA,iBAKV,QAAA,CAAS,IAAA,UAAc,GAAA,EAAK,WAAA,GAAc,OAAA,CAAQ,aAAA;;;iBClBlD,UAAA,yBAAmC,IAAA,EAAM,CAAA,GAAI,OAAA,CAAQ,CAAA;;;iBCErD,GAAA,CAAI,IAAA;EAAS,GAAA;EAAc,GAAA;AAAA,IAAiB,OAAO;;;UCFlD,WAAA;EAAA,SACN,QAAA;EAAA,SACA,MAAM;AAAA;AAAA,iBAGD,IAAA,IAAQ,EAAA,EAAI,OAAA,CAAQ,CAAA,GAAI,IAAA,GAAO,WAAA,GAAc,OAAA,CAAQ,CAAA;;;iBCDrD,GAAA,IAAO,OAAO;AAAA,iBACd,GAAA,CAAI,KAAA,WAAgB,OAAO;;;iBCL3B,KAAA,wBAA6B,OAAA,cAAqB,OAAA,iBAC7D,IAAA,EAAM,IAAA,GACR,OAAA,CAAQ,KAAA,CAAM,IAAA;;;iBCFD,MAAA,IAAU,EAAA,EAAI,OAAA,CAAQ,CAAA,IAAK,OAAA,CAAQ,MAAA,SAAe,CAAA;;;iBCAlD,GAAA,IAAO,OAAO;;;UCHpB,oBAAA,sBACa,eAAA,kBACP,MAAA,SAAe,KAAA;EAAA,SAEpB,UAAA,GAAa,GAAA;EAAA,SACb,KAAA,GAAQ,KAAA;EAAA,SACR,MAAA,IACP,MAAA,EAAQ,YAAA,CAAa,GAAA,EAAK,KAAA,GAC1B,GAAA,EAAK,YAAA,cACO,eAAA;AAAA;AAAA,iBAGA,cAAA,4BACa,eAAA,sCACP,MAAA,SAAe,KAAA,aAAkB,MAAA,gBACrD,IAAA,UAAc,MAAA,EAAQ,oBAAA,CAAqB,GAAA,EAAK,KAAA,IAAS,aAAA,CAAc,YAAA,CAAa,GAAA,EAAK,KAAA;;;UCC1E,cAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA,WAAqB,eAAA;EAAA,SACrB,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,KAAA;AAAA;AAAA,iBAG1B,aAAA,CACd,IAAA,EAAM,QAAA,CAAS,eAAA,GACf,IAAA,EAAM,cAAA,EACN,GAAA,EAAK,YAAA,EACL,IAAA,EAAM,SAAA,GACL,MAAA,CAAO,MAAA,4BAAkC,eAAA;AAAA,iBA+F5B,kBAAA,MACd,QAAA,EAAU,iBAAA,GAAoB,iBAAA,EAC9B,IAAA,EAAM,aAAA,CAAc,GAAA,GACpB,GAAA,EAAK,YAAA,GACJ,MAAA,CAAO,GAAA,WAAc,eAAA;;;UC9Hd,oBAAA,sBACa,eAAA,kBACP,MAAA,SAAe,KAAA;EAAA,SAEpB,UAAA,GAAa,GAAA;EAAA,SACb,KAAA,GAAQ,KAAA;EAAA,SACR,MAAA,IACP,MAAA,EAAQ,YAAA,CAAa,GAAA,EAAK,KAAA,GAC1B,GAAA,EAAK,YAAA,cACO,eAAA;AAAA;AAAA,iBAGA,cAAA,4BACa,eAAA,sCACP,MAAA,SAAe,KAAA,aAAkB,MAAA,gBACrD,IAAA,UAAc,MAAA,EAAQ,oBAAA,CAAqB,GAAA,EAAK,KAAA,IAAS,aAAA,CAAc,YAAA,CAAa,GAAA,EAAK,KAAA;;;iBChB3E,QAAA,IAAY,IAAA,EAAM,OAAA,CAAQ,CAAA,MAAO,IAAA,GAAO,YAAA,EAAc,CAAA,SAAU,eAAA,CAAgB,CAAA;;;iBCgBhF,mBAAA,CACd,WAAA,EAAa,oCAAA,cACb,OAAA,WACC,2BAA2B;AAAA,iBAcd,gCAAA,CAAiC,KAAA;EAAA,SACtC,KAAA,EAAO,WAAA;EAAA,SACP,UAAA,EAAY,2BAAA;EAAA,SACZ,WAAA,EAAa,WAAA;EAAA,SACb,UAAA,EAAY,UAAA;EAAA,SACZ,QAAA;EAAA,SACA,WAAA,EAAa,WAAA;AAAA,aACX,eAAA"}

package/dist/index.mjs

@@ -1,4 +1,4 @@
-import { b as ObjectLiteralExprAst, c as NamespaceDeclarationAst, g as BooleanLiteralExprAst, i as GenericBlockDeclarationAst, k as printSyntax, l as TypesBlockAst, m as ArrayLiteralAst, o as ModelDeclarationAst, t as CompositeTypeDeclarationAst, v as NumberLiteralExprAst, w as IdentifierAst, x as StringLiteralExprAst } from "./declarations-DR6To8_k.mjs";
+import { _ as FunctionCallAst, b as ObjectLiteralExprAst, c as NamespaceDeclarationAst, g as BooleanLiteralExprAst, i as GenericBlockDeclarationAst, k as printSyntax, l as TypesBlockAst, m as ArrayLiteralAst, o as ModelDeclarationAst, t as CompositeTypeDeclarationAst, v as NumberLiteralExprAst, w as IdentifierAst, x as StringLiteralExprAst } from "./declarations-DR6To8_k.mjs";
 import { UNSPECIFIED_PSL_NAMESPACE_ID, flatPslModels, makePslNamespace, makePslNamespaceEntries, namespacePslExtensionBlocks, validateExtensionBlock } from "@prisma-next/framework-components/psl-ast";
 import { notOk, ok } from "@prisma-next/utils/result";
 import { blindCast } from "@prisma-next/utils/casts";
@@ -145,6 +145,133 @@ function fieldRef(scope) {
 	};
 }
 //#endregion
+//#region src/attribute-spec/interpret.ts
+function interpretArgs(args, spec, ctx, span) {
+	const diagnostics = [];
+	const output = {};
+	const seen = /* @__PURE__ */ new Set();
+	let positionalSlot = 0;
+	let reportedExcess = false;
+	for (const arg of args) {
+		const name = arg.name()?.name();
+		let key;
+		let param;
+		if (name === void 0) {
+			const posParam = spec.positional[positionalSlot];
+			if (posParam === void 0) {
+				if (!reportedExcess) {
+					diagnostics.push(diagnostic(`Attribute "${spec.name}" received too many positional arguments`, ctx, span));
+					reportedExcess = true;
+				}
+				continue;
+			}
+			positionalSlot += 1;
+			key = posParam.key;
+			param = posParam.type;
+		} else {
+			const namedParam = Object.hasOwn(spec.named, name) ? spec.named[name] : void 0;
+			if (namedParam === void 0) {
+				diagnostics.push(diagnostic(`Attribute "${spec.name}" received unknown argument "${name}"`, ctx, nodePslSpan(arg.syntax, ctx.sourceFile)));
+				continue;
+			}
+			key = name;
+			param = namedParam;
+		}
+		if (seen.has(key)) {
+			diagnostics.push(diagnostic(`Attribute "${spec.name}" received duplicate argument "${key}"`, ctx, nodePslSpan(arg.syntax, ctx.sourceFile)));
+			continue;
+		}
+		seen.add(key);
+		const result = parseArgValue(arg, param, ctx, diagnostics);
+		if (result.ok) output[key] = result.value;
+	}
+	const finalized = /* @__PURE__ */ new Set();
+	const finalizeAbsentKey = (key, positionalParam, namedParam) => {
+		if (finalized.has(key) || seen.has(key)) return;
+		finalized.add(key);
+		const effective = namedParam ?? positionalParam;
+		if (effective === void 0) return;
+		if (isOptionalArgType(effective)) {
+			if (effective.hasDefault) output[key] = effective.defaultValue;
+			return;
+		}
+		diagnostics.push(diagnostic(`Attribute "${spec.name}" is missing required argument "${key}"`, ctx, span));
+	};
+	for (const param of spec.positional) {
+		const namedParam = Object.hasOwn(spec.named, param.key) ? spec.named[param.key] : void 0;
+		finalizeAbsentKey(param.key, param.type, namedParam);
+	}
+	for (const key of Object.keys(spec.named)) finalizeAbsentKey(key, void 0, spec.named[key]);
+	if (diagnostics.length > 0) return notOk(diagnostics);
+	return ok(output);
+}
+function interpretAttribute(attrNode, spec, ctx) {
+	const attributeSpan = nodePslSpan(attrNode.syntax, ctx.sourceFile);
+	const bound = interpretArgs(attrNode.argList()?.args() ?? [], spec, ctx, attributeSpan);
+	if (!bound.ok) return notOk(bound.failure);
+	const value = blindCast(bound.value);
+	if (spec.refine !== void 0) {
+		const refineDiagnostics = spec.refine(value, ctx);
+		if (refineDiagnostics.length > 0) return notOk(refineDiagnostics);
+	}
+	return ok(value);
+}
+function parseArgValue(arg, argType, ctx, diagnostics) {
+	const value = arg.value();
+	if (value === void 0) {
+		const missing = diagnostic("Attribute argument is missing a value", ctx, nodePslSpan(arg.syntax, ctx.sourceFile));
+		diagnostics.push(missing);
+		return notOk([missing]);
+	}
+	const result = argType.parse(value, ctx);
+	if (!result.ok) for (const failure of result.failure) diagnostics.push(failure);
+	return result;
+}
+function isOptionalArgType(param) {
+	return "optional" in param && param.optional === true;
+}
+function diagnostic(message, ctx, span) {
+	return {
+		code: ATTRIBUTE_DIAGNOSTIC_CODE,
+		message,
+		sourceId: ctx.sourceId,
+		span
+	};
+}
+//#endregion
+//#region src/attribute-spec/combinators/func-call.ts
+function funcCall(name, sig) {
+	return {
+		kind: "funcCall",
+		label: "function call",
+		parse: (arg, ctx) => {
+			const guard = matchCallee(arg, name, ctx);
+			if (!guard.ok) return guard;
+			const span = nodePslSpan(guard.value.syntax, ctx.sourceFile);
+			const bound = interpretArgs(guard.value.args(), {
+				name,
+				positional: sig.positional ?? [],
+				named: sig.named ?? {}
+			}, ctx, span);
+			if (!bound.ok) return notOk(bound.failure);
+			return ok({
+				fn: name,
+				span,
+				args: bound.value
+			});
+		}
+	};
+}
+function matchCallee(arg, name, ctx) {
+	if (!(arg instanceof FunctionCallAst)) return notOk([leafDiagnostic(ctx, arg, "Expected a function call")]);
+	const qname = arg.name();
+	if (qname === void 0 || qname.dot() !== void 0 || qname.colon() !== void 0) return notOk([leafDiagnostic(ctx, arg, "Expected a function call")]);
+	const calleeName = qname.identifier()?.token()?.text;
+	if (calleeName === void 0) return notOk([leafDiagnostic(ctx, arg, "Expected a function call")]);
+	if (calleeName !== name) return notOk([leafDiagnostic(ctx, arg, `Expected ${name}()`)]);
+	return ok(arg);
+}
+//#endregion
 //#region src/attribute-spec/combinators/identifier.ts
 function identifier(name) {
 	return {
@@ -158,19 +285,29 @@ function identifier(name) {
 }
 //#endregion
 //#region src/attribute-spec/combinators/int.ts
-function int() {
+function int(opts) {
+	const min = opts?.min;
+	const max = opts?.max;
 	return {
 		kind: "int",
 		label: "integer",
 		parse: (arg, ctx) => {
 			if (arg instanceof NumberLiteralExprAst) {
 				const value = arg.value();
-				if (value !== void 0 && Number.isInteger(value)) return ok(value);
+				if (value !== void 0 && Number.isInteger(value)) {
+					if ((min === void 0 || value >= min) && (max === void 0 || value <= max)) return ok(value);
+					return notOk([leafDiagnostic(ctx, arg, rangeMessage(min, max))]);
+				}
 			}
 			return notOk([leafDiagnostic(ctx, arg, "Expected an integer literal")]);
 		}
 	};
 }
+function rangeMessage(min, max) {
+	if (min !== void 0 && max !== void 0) return `Expected an integer between ${min} and ${max}`;
+	if (min !== void 0) return `Expected an integer greater than or equal to ${min}`;
+	return `Expected an integer less than or equal to ${max}`;
+}
 //#endregion
 //#region src/attribute-spec/combinators/list.ts
 function list(of, opts) {
@@ -203,6 +340,21 @@ function list(of, opts) {
 	};
 }
 //#endregion
+//#region src/attribute-spec/combinators/num.ts
+function num(value) {
+	return {
+		kind: "num",
+		label: value === void 0 ? "number" : String(value),
+		parse: (arg, ctx) => {
+			if (arg instanceof NumberLiteralExprAst) {
+				const parsed = arg.value();
+				if (parsed !== void 0 && (value === void 0 || parsed === value)) return ok(parsed);
+			}
+			return notOk([leafDiagnostic(ctx, arg, value === void 0 ? "Expected a number literal" : `Expected ${value}`)]);
+		}
+	};
+}
+//#endregion
 //#region src/attribute-spec/combinators/one-of.ts
 function oneOf(...alts) {
 	const label = alts.map((alt) => alt.label).join(" | ");
@@ -282,95 +434,6 @@ function fieldAttribute(name, config) {
 	};
 }
 //#endregion
-//#region src/attribute-spec/interpret.ts
-function interpretAttribute(attrNode, spec, ctx) {
-	const diagnostics = [];
-	const attributeSpan = nodePslSpan(attrNode.syntax, ctx.sourceFile);
-	const output = {};
-	const seen = /* @__PURE__ */ new Set();
-	let positionalSlot = 0;
-	let reportedExcess = false;
-	for (const arg of attrNode.argList()?.args() ?? []) {
-		const name = arg.name()?.name();
-		let key;
-		let param;
-		if (name === void 0) {
-			const posParam = spec.positional[positionalSlot];
-			if (posParam === void 0) {
-				if (!reportedExcess) {
-					diagnostics.push(diagnostic(`Attribute "${spec.name}" received too many positional arguments`, ctx, attributeSpan));
-					reportedExcess = true;
-				}
-				continue;
-			}
-			positionalSlot += 1;
-			key = posParam.key;
-			param = posParam.type;
-		} else {
-			const namedParam = Object.hasOwn(spec.named, name) ? spec.named[name] : void 0;
-			if (namedParam === void 0) {
-				diagnostics.push(diagnostic(`Attribute "${spec.name}" received unknown argument "${name}"`, ctx, nodePslSpan(arg.syntax, ctx.sourceFile)));
-				continue;
-			}
-			key = name;
-			param = namedParam;
-		}
-		if (seen.has(key)) {
-			diagnostics.push(diagnostic(`Attribute "${spec.name}" received duplicate argument "${key}"`, ctx, nodePslSpan(arg.syntax, ctx.sourceFile)));
-			continue;
-		}
-		seen.add(key);
-		const result = parseArgValue(arg, param, ctx, diagnostics);
-		if (result.ok) output[key] = result.value;
-	}
-	const finalized = /* @__PURE__ */ new Set();
-	const finalizeAbsentKey = (key, positionalParam, namedParam) => {
-		if (finalized.has(key) || seen.has(key)) return;
-		finalized.add(key);
-		const effective = namedParam ?? positionalParam;
-		if (effective === void 0) return;
-		if (isOptionalArgType(effective)) {
-			if (effective.hasDefault) output[key] = effective.defaultValue;
-			return;
-		}
-		diagnostics.push(diagnostic(`Attribute "${spec.name}" is missing required argument "${key}"`, ctx, attributeSpan));
-	};
-	for (const param of spec.positional) {
-		const namedParam = Object.hasOwn(spec.named, param.key) ? spec.named[param.key] : void 0;
-		finalizeAbsentKey(param.key, param.type, namedParam);
-	}
-	for (const key of Object.keys(spec.named)) finalizeAbsentKey(key, void 0, spec.named[key]);
-	if (diagnostics.length > 0) return notOk(diagnostics);
-	const value = blindCast(output);
-	if (spec.refine !== void 0) {
-		const refineDiagnostics = spec.refine(value, ctx);
-		if (refineDiagnostics.length > 0) return notOk(refineDiagnostics);
-	}
-	return ok(value);
-}
-function parseArgValue(arg, argType, ctx, diagnostics) {
-	const value = arg.value();
-	if (value === void 0) {
-		const missing = diagnostic("Attribute argument is missing a value", ctx, nodePslSpan(arg.syntax, ctx.sourceFile));
-		diagnostics.push(missing);
-		return notOk([missing]);
-	}
-	const result = argType.parse(value, ctx);
-	if (!result.ok) for (const failure of result.failure) diagnostics.push(failure);
-	return result;
-}
-function isOptionalArgType(param) {
-	return "optional" in param && param.optional === true;
-}
-function diagnostic(message, ctx, span) {
-	return {
-		code: ATTRIBUTE_DIAGNOSTIC_CODE,
-		message,
-		sourceId: ctx.sourceId,
-		span
-	};
-}
-//#endregion
 //#region src/attribute-spec/model-attribute.ts
 function modelAttribute(name, config) {
 	return {
@@ -793,6 +856,6 @@ function nodeRange(node, sourceFile) {
 	};
 }
 //#endregion
-export { bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, getPositionalArgument, identifier, int, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, str, validateExtensionBlockFromSymbol };
+export { bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, funcCall, getPositionalArgument, identifier, int, interpretArgs, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, num, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, str, validateExtensionBlockFromSymbol };
 
 //# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":[],"sources":["../src/attribute-helpers.ts","../src/resolve.ts","../src/attribute-spec/combinators/diagnostic.ts","../src/attribute-spec/combinators/bool.ts","../src/attribute-spec/combinators/entity-ref.ts","../src/attribute-spec/combinators/field-ref.ts","../src/attribute-spec/combinators/identifier.ts","../src/attribute-spec/combinators/int.ts","../src/attribute-spec/combinators/list.ts","../src/attribute-spec/combinators/one-of.ts","../src/attribute-spec/combinators/record.ts","../src/attribute-spec/combinators/str.ts","../src/attribute-spec/field-attribute.ts","../src/attribute-spec/interpret.ts","../src/attribute-spec/model-attribute.ts","../src/attribute-spec/optional.ts","../src/extension-block.ts","../src/block-reconstruction.ts","../src/symbol-table.ts"],"sourcesContent":["import type { PslAttribute } from '@prisma-next/framework-components/psl-ast';\n\nexport function getPositionalArgument(attribute: PslAttribute, index = 0): string | undefined {\n  const entries = attribute.args.filter((arg) => arg.kind === 'positional');\n  return entries[index]?.value;\n}\n\nexport function parseQuotedStringLiteral(value: string): string | undefined {\n  const trimmed = value.trim();\n  const match = trimmed.match(/^(['\"])(.*)\\1$/);\n  if (!match) return undefined;\n  return match[2] ?? '';\n}\n","import type { PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport type { Position, Range, SourceFile } from './source-file';\nimport type {\n  AttributeArgListAst,\n  FieldAttributeAst,\n  ModelAttributeAst,\n} from './syntax/ast/attributes';\nimport type { ExpressionAst } from './syntax/ast/expressions';\nimport type { QualifiedNameAst } from './syntax/ast/qualified-name';\nimport type { TypeAnnotationAst } from './syntax/ast/type-annotation';\nimport { printSyntax } from './syntax/ast-helpers';\nimport type { SyntaxNode } from './syntax/red';\n\nexport interface ResolvedAttributeArg {\n  readonly kind: 'positional' | 'named';\n  readonly name?: string;\n  readonly value: string;\n  readonly expression?: ExpressionAst;\n  readonly span: PslSpan;\n}\n\nexport interface ResolvedAttribute {\n  readonly name: string;\n  readonly args: readonly ResolvedAttributeArg[];\n  readonly span: PslSpan;\n}\n\nexport interface ResolvedTypeConstructorCall {\n  readonly path: readonly string[];\n  readonly args: readonly ResolvedAttributeArg[];\n  readonly span: PslSpan;\n}\n\nexport function readResolvedAttribute(\n  attribute: FieldAttributeAst | ModelAttributeAst,\n  sourceFile: SourceFile,\n): ResolvedAttribute {\n  return {\n    name: attributeName(attribute.name()),\n    args: readResolvedArgList(attribute.argList(), sourceFile),\n    span: nodePslSpan(attribute.syntax, sourceFile),\n  };\n}\n\nexport function readResolvedAttributes(\n  attributes: Iterable<FieldAttributeAst | ModelAttributeAst>,\n  sourceFile: SourceFile,\n): readonly ResolvedAttribute[] {\n  return Array.from(attributes, (attribute) => readResolvedAttribute(attribute, sourceFile));\n}\n\nexport function readResolvedConstructorCall(\n  annotation: TypeAnnotationAst | undefined,\n  sourceFile: SourceFile,\n): ResolvedTypeConstructorCall | undefined {\n  const argList = annotation?.argList();\n  if (annotation === undefined || argList === undefined) return undefined;\n  return {\n    path: annotation.name()?.path() ?? [],\n    args: readResolvedArgList(argList, sourceFile),\n    span: nodePslSpan(annotation.syntax, sourceFile),\n  };\n}\n\nfunction readResolvedArgList(\n  argList: AttributeArgListAst | undefined,\n  sourceFile: SourceFile,\n): readonly ResolvedAttributeArg[] {\n  if (argList === undefined) return [];\n  const args: ResolvedAttributeArg[] = [];\n  for (const arg of argList.args()) {\n    const name = arg.name()?.name();\n    const expression = arg.value();\n    args.push({\n      kind: name !== undefined ? 'named' : 'positional',\n      ...(name !== undefined ? { name } : {}),\n      value: renderExpression(expression),\n      ...(expression !== undefined ? { expression } : {}),\n      span: nodePslSpan(arg.syntax, sourceFile),\n    });\n  }\n  return args;\n}\n\nfunction attributeName(name: QualifiedNameAst | undefined): string {\n  return name?.path().join('.') ?? '';\n}\n\nfunction renderExpression(expression: ExpressionAst | undefined): string {\n  if (expression === undefined) return '';\n  return printSyntax(expression.syntax).trim();\n}\n\nexport function nodePslSpan(node: SyntaxNode, sourceFile: SourceFile): PslSpan {\n  const start = node.offset;\n  const end = start + node.green.textLength;\n  return {\n    start: offsetToPslPosition(start, sourceFile),\n    end: offsetToPslPosition(end, sourceFile),\n  };\n}\n\n/** Unsupported-top-level-block diagnostics are anchored to the keyword token. */\nexport function keywordPslSpan(node: SyntaxNode, keyword: string, sourceFile: SourceFile): PslSpan {\n  const start = node.offset;\n  const end = start + keyword.length;\n  return {\n    start: offsetToPslPosition(start, sourceFile),\n    end: offsetToPslPosition(end, sourceFile),\n  };\n}\n\nexport function rangeToPslSpan(range: Range, sourceFile: SourceFile): PslSpan {\n  return {\n    start: offsetToPslPosition(sourceFile.offsetAt(range.start), sourceFile),\n    end: offsetToPslPosition(sourceFile.offsetAt(range.end), sourceFile),\n  };\n}\n\nfunction offsetToPslPosition(offset: number, sourceFile: SourceFile): PslSpan['start'] {\n  const position: Position = sourceFile.positionAt(offset);\n  return { offset, line: position.line + 1, column: position.character + 1 };\n}\n","import type { PslDiagnostic, PslDiagnosticCode } from '@prisma-next/framework-components/psl-ast';\nimport { nodePslSpan } from '../../resolve';\nimport type { AstNode } from '../../syntax/ast-helpers';\nimport type { InterpretCtx } from '../types';\n\nexport const ATTRIBUTE_DIAGNOSTIC_CODE: PslDiagnosticCode = 'PSL_INVALID_ATTRIBUTE_SYNTAX';\n\nexport function leafDiagnostic(ctx: InterpretCtx, node: AstNode, message: string): PslDiagnostic {\n  return {\n    code: ATTRIBUTE_DIAGNOSTIC_CODE,\n    message,\n    sourceId: ctx.sourceId,\n    span: nodePslSpan(node.syntax, ctx.sourceFile),\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { BooleanLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function bool(): ArgType<boolean> {\n  return {\n    kind: 'bool',\n    label: 'boolean',\n    parse: (arg, ctx): Result<boolean, readonly PslDiagnostic[]> => {\n      if (arg instanceof BooleanLiteralExprAst) {\n        const value = arg.value();\n        if (value !== undefined) return ok(value);\n      }\n      return notOk([leafDiagnostic(ctx, arg, 'Expected a boolean literal')]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { IdentifierAst } from '../../syntax/ast/identifier';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\n// A bare model-name reference. Existence of a model with this name is resolved\n// downstream (e.g. `resolvePolymorphism`), not here.\nexport function entityRef(): ArgType<string> {\n  return {\n    kind: 'entityRef',\n    label: 'model name',\n    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {\n      if (!(arg instanceof IdentifierAst)) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a model name')]);\n      }\n      const name = arg.name();\n      if (name === undefined) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a model name')]);\n      }\n      return ok(name);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { IdentifierAst } from '../../syntax/ast/identifier';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport type FieldRefScope = 'self' | 'referenced';\n\nexport interface FieldRefArgType extends ArgType<string> {\n  readonly scope: FieldRefScope;\n}\n\nexport function fieldRef(scope: FieldRefScope): FieldRefArgType {\n  return {\n    kind: 'fieldRef',\n    label: 'field name',\n    scope,\n    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {\n      if (!(arg instanceof IdentifierAst)) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a field name')]);\n      }\n      const name = arg.name();\n      if (name === undefined) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a field name')]);\n      }\n      const model = scope === 'self' ? ctx.selfModel : ctx.resolveReferencedModel();\n      // A referenced model in another space can't be resolved here (resolveReferencedModel returns undefined); skip the existence check — it runs where that model is known.\n      if (model !== undefined && !Object.hasOwn(model.fields, name)) {\n        return notOk([\n          leafDiagnostic(ctx, arg, `Field \"${name}\" does not exist on model \"${model.name}\"`),\n        ]);\n      }\n      return ok(name);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { IdentifierAst } from '../../syntax/ast/identifier';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function identifier<const N extends string>(name: N): ArgType<N> {\n  return {\n    kind: 'identifier',\n    label: name,\n    parse: (arg, ctx): Result<N, readonly PslDiagnostic[]> => {\n      if (arg instanceof IdentifierAst && arg.name() === name) return ok(name);\n      return notOk([leafDiagnostic(ctx, arg, `Expected ${name}`)]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { NumberLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function int(): ArgType<number> {\n  return {\n    kind: 'int',\n    label: 'integer',\n    parse: (arg, ctx): Result<number, readonly PslDiagnostic[]> => {\n      if (arg instanceof NumberLiteralExprAst) {\n        const value = arg.value();\n        if (value !== undefined && Number.isInteger(value)) return ok(value);\n      }\n      return notOk([leafDiagnostic(ctx, arg, 'Expected an integer literal')]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { ArrayLiteralAst, type ExpressionAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport interface ListOptions {\n  readonly nonEmpty?: boolean;\n  readonly unique?: boolean;\n}\n\nexport function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]> {\n  return {\n    kind: 'list',\n    label: `${of.label}[]`,\n    parse: (arg, ctx): Result<T[], readonly PslDiagnostic[]> => {\n      if (!(arg instanceof ArrayLiteralAst)) {\n        return notOk([leafDiagnostic(ctx, arg, `Expected a list of ${of.label}`)]);\n      }\n      const diagnostics: PslDiagnostic[] = [];\n      const parsed: { node: ExpressionAst; value: T }[] = [];\n      let count = 0;\n      for (const element of arg.elements()) {\n        count += 1;\n        const result = of.parse(element, ctx);\n        if (result.ok) parsed.push({ node: element, value: result.value });\n        else diagnostics.push(...result.failure);\n      }\n      if (opts?.nonEmpty === true && count === 0) {\n        diagnostics.push(leafDiagnostic(ctx, arg, 'Expected a non-empty list'));\n      }\n      if (opts?.unique === true) {\n        const seen = new Set<T>();\n        for (const { node, value } of parsed) {\n          if (seen.has(value)) diagnostics.push(leafDiagnostic(ctx, node, 'Duplicate list entry'));\n          else seen.add(value);\n        }\n      }\n      if (diagnostics.length > 0) return notOk(diagnostics);\n      return ok(parsed.map((entry) => entry.value));\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport type { ArgType, OutOf } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function oneOf<Alts extends readonly [ArgType<unknown>, ...ArgType<unknown>[]]>(\n  ...alts: Alts\n): ArgType<OutOf<Alts[number]>> {\n  const label = alts.map((alt) => alt.label).join(' | ');\n  return {\n    kind: 'oneOf',\n    label,\n    parse: (arg, ctx): Result<OutOf<Alts[number]>, readonly PslDiagnostic[]> => {\n      for (const alt of alts) {\n        const result = alt.parse(arg, ctx);\n        if (result.ok) {\n          return ok(\n            blindCast<\n              OutOf<Alts[number]>,\n              'The matched value comes from an alternative whose output type is a member of the union, but iterating the tuple widens each element to ArgType<unknown>, erasing that relationship.'\n            >(result.value),\n          );\n        }\n      }\n      return notOk([leafDiagnostic(ctx, arg, `Expected one of: ${label}`)]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { ObjectLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function record<T>(of: ArgType<T>): ArgType<Record<string, T>> {\n  return {\n    kind: 'record',\n    label: `{ [key]: ${of.label} }`,\n    parse: (arg, ctx): Result<Record<string, T>, readonly PslDiagnostic[]> => {\n      if (!(arg instanceof ObjectLiteralExprAst)) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected an object literal')]);\n      }\n      const diagnostics: PslDiagnostic[] = [];\n      const result: Record<string, T> = {};\n      for (const field of arg.fields()) {\n        const key = field.keyName();\n        if (key === undefined) {\n          diagnostics.push(leafDiagnostic(ctx, field, 'Expected a key'));\n          continue;\n        }\n        const value = field.value();\n        if (value === undefined) {\n          diagnostics.push(leafDiagnostic(ctx, field, `Expected a value for key \"${key}\"`));\n          continue;\n        }\n        const parsed = of.parse(value, ctx);\n        if (!parsed.ok) {\n          diagnostics.push(...parsed.failure);\n          continue;\n        }\n        if (Object.hasOwn(result, key)) {\n          diagnostics.push(leafDiagnostic(ctx, field, `Duplicate key \"${key}\"`));\n          continue;\n        }\n        result[key] = parsed.value;\n      }\n      if (diagnostics.length > 0) return notOk(diagnostics);\n      return ok(result);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { StringLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function str(): ArgType<string> {\n  return {\n    kind: 'str',\n    label: 'string',\n    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {\n      if (arg instanceof StringLiteralExprAst) {\n        const value = arg.value();\n        if (value !== undefined) return ok(value);\n      }\n      return notOk([leafDiagnostic(ctx, arg, 'Expected a string literal')]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport type { AttributeOut, AttributeSpec, InterpretCtx, Param, PositionalParam } from './types';\n\ninterface FieldAttributeConfig<\n  Pos extends readonly PositionalParam[],\n  Named extends Record<string, Param<unknown>>,\n> {\n  readonly positional?: Pos;\n  readonly named?: Named;\n  readonly refine?: (\n    parsed: AttributeOut<Pos, Named>,\n    ctx: InterpretCtx,\n  ) => readonly PslDiagnostic[];\n}\n\nexport function fieldAttribute<\n  const Pos extends readonly PositionalParam[] = readonly [],\n  const Named extends Record<string, Param<unknown>> = Record<never, never>,\n>(name: string, config: FieldAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>> {\n  return {\n    level: 'field',\n    name,\n    positional: config.positional ?? [],\n    named: config.named ?? {},\n    ...(config.refine !== undefined ? { refine: config.refine } : {}),\n  };\n}\n","import type { PslDiagnostic, PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { nodePslSpan } from '../resolve';\nimport type { FieldAttributeAst, ModelAttributeAst } from '../syntax/ast/attributes';\nimport type { AttributeArgAst } from '../syntax/ast/expressions';\nimport { ATTRIBUTE_DIAGNOSTIC_CODE } from './combinators/diagnostic';\nimport type { ArgType, AttributeSpec, InterpretCtx, OptionalArgType, Param } from './types';\n\nexport function interpretAttribute<Out>(\n  attrNode: FieldAttributeAst | ModelAttributeAst,\n  spec: AttributeSpec<Out>,\n  ctx: InterpretCtx,\n): Result<Out, readonly PslDiagnostic[]> {\n  const diagnostics: PslDiagnostic[] = [];\n  const attributeSpan = nodePslSpan(attrNode.syntax, ctx.sourceFile);\n\n  const output: Record<string, unknown> = {};\n  const seen = new Set<string>();\n  let positionalSlot = 0;\n  let reportedExcess = false;\n\n  for (const arg of attrNode.argList()?.args() ?? []) {\n    const name = arg.name()?.name();\n\n    let key: string;\n    let param: Param<unknown>;\n    if (name === undefined) {\n      const posParam = spec.positional[positionalSlot];\n      if (posParam === undefined) {\n        if (!reportedExcess) {\n          diagnostics.push(\n            diagnostic(\n              `Attribute \"${spec.name}\" received too many positional arguments`,\n              ctx,\n              attributeSpan,\n            ),\n          );\n          reportedExcess = true;\n        }\n        continue;\n      }\n      positionalSlot += 1;\n      key = posParam.key;\n      param = posParam.type;\n    } else {\n      const namedParam = Object.hasOwn(spec.named, name) ? spec.named[name] : undefined;\n      if (namedParam === undefined) {\n        diagnostics.push(\n          diagnostic(\n            `Attribute \"${spec.name}\" received unknown argument \"${name}\"`,\n            ctx,\n            nodePslSpan(arg.syntax, ctx.sourceFile),\n          ),\n        );\n        continue;\n      }\n      key = name;\n      param = namedParam;\n    }\n\n    if (seen.has(key)) {\n      diagnostics.push(\n        diagnostic(\n          `Attribute \"${spec.name}\" received duplicate argument \"${key}\"`,\n          ctx,\n          nodePslSpan(arg.syntax, ctx.sourceFile),\n        ),\n      );\n      continue;\n    }\n    seen.add(key);\n    const result = parseArgValue(arg, param, ctx, diagnostics);\n    if (result.ok) output[key] = result.value;\n  }\n\n  const finalized = new Set<string>();\n  const finalizeAbsentKey = (\n    key: string,\n    positionalParam: Param<unknown> | undefined,\n    namedParam: Param<unknown> | undefined,\n  ): void => {\n    if (finalized.has(key) || seen.has(key)) return;\n    finalized.add(key);\n    const effective = namedParam ?? positionalParam;\n    if (effective === undefined) return;\n    if (isOptionalArgType(effective)) {\n      if (effective.hasDefault) output[key] = effective.defaultValue;\n      return;\n    }\n    diagnostics.push(\n      diagnostic(\n        `Attribute \"${spec.name}\" is missing required argument \"${key}\"`,\n        ctx,\n        attributeSpan,\n      ),\n    );\n  };\n\n  for (const param of spec.positional) {\n    const namedParam = Object.hasOwn(spec.named, param.key) ? spec.named[param.key] : undefined;\n    finalizeAbsentKey(param.key, param.type, namedParam);\n  }\n  for (const key of Object.keys(spec.named)) {\n    finalizeAbsentKey(key, undefined, spec.named[key]);\n  }\n\n  if (diagnostics.length > 0) {\n    return notOk<readonly PslDiagnostic[]>(diagnostics);\n  }\n\n  const value = blindCast<\n    Out,\n    'The engine builds the output object structurally from the spec; TypeScript cannot relate the dynamically-keyed record to the spec-inferred output type.'\n  >(output);\n  if (spec.refine !== undefined) {\n    const refineDiagnostics = spec.refine(value, ctx);\n    if (refineDiagnostics.length > 0) {\n      return notOk<readonly PslDiagnostic[]>(refineDiagnostics);\n    }\n  }\n  return ok(value);\n}\n\nfunction parseArgValue(\n  arg: AttributeArgAst,\n  argType: ArgType<unknown>,\n  ctx: InterpretCtx,\n  diagnostics: PslDiagnostic[],\n): Result<unknown, readonly PslDiagnostic[]> {\n  const value = arg.value();\n  if (value === undefined) {\n    const missing = diagnostic(\n      'Attribute argument is missing a value',\n      ctx,\n      nodePslSpan(arg.syntax, ctx.sourceFile),\n    );\n    diagnostics.push(missing);\n    return notOk<readonly PslDiagnostic[]>([missing]);\n  }\n  const result = argType.parse(value, ctx);\n  if (!result.ok) {\n    for (const failure of result.failure) diagnostics.push(failure);\n  }\n  return result;\n}\n\nfunction isOptionalArgType(param: Param<unknown>): param is OptionalArgType<unknown> {\n  return 'optional' in param && param.optional === true;\n}\n\nfunction diagnostic(message: string, ctx: InterpretCtx, span: PslSpan): PslDiagnostic {\n  return { code: ATTRIBUTE_DIAGNOSTIC_CODE, message, sourceId: ctx.sourceId, span };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport type { AttributeOut, AttributeSpec, InterpretCtx, Param, PositionalParam } from './types';\n\ninterface ModelAttributeConfig<\n  Pos extends readonly PositionalParam[],\n  Named extends Record<string, Param<unknown>>,\n> {\n  readonly positional?: Pos;\n  readonly named?: Named;\n  readonly refine?: (\n    parsed: AttributeOut<Pos, Named>,\n    ctx: InterpretCtx,\n  ) => readonly PslDiagnostic[];\n}\n\nexport function modelAttribute<\n  const Pos extends readonly PositionalParam[] = readonly [],\n  const Named extends Record<string, Param<unknown>> = Record<never, never>,\n>(name: string, config: ModelAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>> {\n  return {\n    level: 'model',\n    name,\n    positional: config.positional ?? [],\n    named: config.named ?? {},\n    ...(config.refine !== undefined ? { refine: config.refine } : {}),\n  };\n}\n","import type { ArgType, OptionalArgType } from './types';\n\nexport function optional<T>(type: ArgType<T>, ...rest: [defaultValue: T] | []): OptionalArgType<T> {\n  if (rest.length === 0) {\n    return { ...type, optional: true, hasDefault: false };\n  }\n  return { ...type, optional: true, hasDefault: true, defaultValue: rest[0] };\n}\n","import {\n  type AuthoringPslBlockDescriptor,\n  type AuthoringPslBlockDescriptorNamespace,\n  isAuthoringPslBlockDescriptor,\n} from '@prisma-next/framework-components/authoring';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport {\n  makePslNamespace,\n  makePslNamespaceEntries,\n  type PslDiagnostic,\n  type PslModel,\n  type PslSpan,\n  UNSPECIFIED_PSL_NAMESPACE_ID,\n  validateExtensionBlock,\n} from '@prisma-next/framework-components/psl-ast';\nimport type { SourceFile } from './source-file';\nimport type { BlockSymbol, ModelSymbol, SymbolTable } from './symbol-table';\n\nexport function findBlockDescriptor(\n  descriptors: AuthoringPslBlockDescriptorNamespace | undefined,\n  keyword: string,\n): AuthoringPslBlockDescriptor | undefined {\n  if (descriptors === undefined) return undefined;\n  for (const value of Object.values(descriptors)) {\n    if (value === undefined) continue;\n    if (isAuthoringPslBlockDescriptor(value)) {\n      if (value.keyword === keyword) return value;\n      continue;\n    }\n    const nested = findBlockDescriptor(value, keyword);\n    if (nested !== undefined) return nested;\n  }\n  return undefined;\n}\n\nexport function validateExtensionBlockFromSymbol(input: {\n  readonly block: BlockSymbol;\n  readonly descriptor: AuthoringPslBlockDescriptor;\n  readonly symbolTable: SymbolTable;\n  readonly sourceFile: SourceFile;\n  readonly sourceId: string;\n  readonly codecLookup: CodecLookup;\n}): readonly PslDiagnostic[] {\n  const refCtx = buildRefResolutionContext(input.symbolTable, input.block);\n  return validateExtensionBlock(\n    input.block.block,\n    input.descriptor,\n    input.sourceId,\n    input.codecLookup,\n    refCtx,\n  );\n}\n\nconst ZERO_SPAN: PslSpan = {\n  start: { offset: 0, line: 1, column: 1 },\n  end: { offset: 0, line: 1, column: 1 },\n};\n\nfunction buildRefResolutionContext(\n  symbolTable: SymbolTable,\n  block: BlockSymbol,\n): {\n  ownerNamespace: ReturnType<typeof makePslNamespace>;\n  allNamespaces: readonly ReturnType<typeof makePslNamespace>[];\n} {\n  const unspecifiedNamespace = makeNamespace(\n    UNSPECIFIED_PSL_NAMESPACE_ID,\n    Object.values(symbolTable.topLevel.models),\n  );\n  const namedNamespaces = Object.values(symbolTable.topLevel.namespaces).map((namespace) =>\n    makeNamespace(namespace.name, Object.values(namespace.models)),\n  );\n  const allNamespaces = [unspecifiedNamespace, ...namedNamespaces];\n  const ownerNamespaceName = findOwnerNamespaceName(symbolTable, block);\n  const ownerNamespace =\n    allNamespaces.find((namespace) => namespace.name === ownerNamespaceName) ??\n    unspecifiedNamespace;\n  return { ownerNamespace, allNamespaces };\n}\n\nfunction makeNamespace(\n  name: string,\n  models: readonly ModelSymbol[],\n): ReturnType<typeof makePslNamespace> {\n  const modelStubs: PslModel[] = models.map((model) => ({\n    kind: 'model',\n    name: model.name,\n    fields: [],\n    attributes: [],\n    span: ZERO_SPAN,\n  }));\n  return makePslNamespace({\n    kind: 'namespace',\n    name,\n    entries: makePslNamespaceEntries(modelStubs, [], []),\n    span: ZERO_SPAN,\n  });\n}\n\nfunction findOwnerNamespaceName(symbolTable: SymbolTable, block: BlockSymbol): string {\n  for (const namespace of Object.values(symbolTable.topLevel.namespaces)) {\n    if (Object.values(namespace.blocks).some((candidate) => candidate === block)) {\n      return namespace.name;\n    }\n  }\n  return UNSPECIFIED_PSL_NAMESPACE_ID;\n}\n","import type { AuthoringPslBlockDescriptor } from '@prisma-next/framework-components/authoring';\nimport type {\n  PslBlockParam,\n  PslExtensionBlock,\n  PslExtensionBlockAttribute,\n  PslExtensionBlockParamValue,\n  PslSpan,\n} from '@prisma-next/framework-components/psl-ast';\nimport type { ParseDiagnostic } from './parse';\nimport { nodePslSpan } from './resolve';\nimport type { SourceFile } from './source-file';\nimport type { GenericBlockDeclarationAst, KeyValuePairAst } from './syntax/ast/declarations';\nimport { ArrayLiteralAst, type ExpressionAst } from './syntax/ast/expressions';\nimport { printSyntax } from './syntax/ast-helpers';\n\n/**\n * Descriptor-free and unknown parameters become `value` stubs so validation can\n * report them via key-set comparison. Duplicate member names are first-wins.\n */\nexport function reconstructExtensionBlock(\n  node: GenericBlockDeclarationAst,\n  descriptor: AuthoringPslBlockDescriptor | undefined,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): PslExtensionBlock {\n  const keyword = node.keyword()?.text ?? '';\n  const blockName = node.name()?.name() ?? '';\n\n  const blockAttributes: PslExtensionBlockAttribute[] = [];\n  for (const attribute of node.attributes()) {\n    const name = attribute.name()?.path().join('.') ?? '';\n    const args = Array.from(attribute.argList()?.args() ?? [], (arg) => {\n      const value = arg.value();\n      return {\n        kind: 'positional' as const,\n        value: value === undefined ? '' : printSyntax(value.syntax).trim(),\n        span: nodePslSpan(arg.syntax, sourceFile),\n      };\n    });\n    blockAttributes.push({\n      name,\n      args,\n      span: nodePslSpan(attribute.syntax, sourceFile),\n    });\n  }\n\n  const parameters: Record<string, PslExtensionBlockParamValue> = {};\n  for (const entry of node.entries()) {\n    const key = entry.key()?.name();\n    if (key === undefined) continue;\n    const span = nodePslSpan(entry.syntax, sourceFile);\n    if (Object.hasOwn(parameters, key)) {\n      diagnostics.push({\n        code: 'PSL_EXTENSION_DUPLICATE_PARAMETER',\n        message: `Duplicate parameter \"${key}\" in \"${keyword}\" block \"${blockName}\"; first occurrence wins`,\n        range: {\n          start: sourceFile.positionAt(entry.syntax.offset),\n          end: sourceFile.positionAt(entry.syntax.offset + entry.syntax.green.textLength),\n        },\n      });\n      continue;\n    }\n    parameters[key] = reconstructParamValue(\n      entry,\n      descriptor?.parameters[key],\n      span,\n      sourceFile,\n      diagnostics,\n    );\n  }\n\n  return {\n    kind: descriptor?.discriminator ?? keyword,\n    keyword,\n    name: blockName,\n    parameters,\n    blockAttributes,\n    span: nodePslSpan(node.syntax, sourceFile),\n  };\n}\n\nfunction reconstructParamValue(\n  entry: KeyValuePairAst,\n  param: PslBlockParam | undefined,\n  span: PslSpan,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): PslExtensionBlockParamValue {\n  const value = entry.value();\n  if (value === undefined) {\n    return { kind: 'bare', span };\n  }\n  return reconstructFromExpression(value, param, span, sourceFile, diagnostics);\n}\n\nfunction reconstructFromExpression(\n  value: ExpressionAst,\n  param: PslBlockParam | undefined,\n  span: PslSpan,\n  sourceFile: SourceFile,\n  diagnostics?: ParseDiagnostic[],\n): PslExtensionBlockParamValue {\n  const raw = printSyntax(value.syntax).trim();\n  if (param?.kind === 'list') {\n    const array = ArrayLiteralAst.cast(value.syntax);\n    if (!array) {\n      diagnostics?.push({\n        code: 'PSL_EXTENSION_INVALID_VALUE',\n        message: `List parameter expects an array literal, got ${raw}`,\n        range: {\n          start: sourceFile.positionAt(value.syntax.offset),\n          end: sourceFile.positionAt(value.syntax.offset + value.syntax.green.textLength),\n        },\n      });\n      return { kind: 'value', raw, span };\n    }\n\n    const items: PslExtensionBlockParamValue[] = [];\n    for (const element of array.elements()) {\n      items.push(\n        reconstructFromExpression(\n          element,\n          param.of,\n          nodePslSpan(element.syntax, sourceFile),\n          sourceFile,\n          diagnostics,\n        ),\n      );\n    }\n    return { kind: 'list', items, span };\n  }\n  switch (param?.kind) {\n    case 'ref':\n      return { kind: 'ref', identifier: raw, span };\n    case 'option':\n      return { kind: 'option', token: raw, span };\n    default:\n      return { kind: 'value', raw, span };\n  }\n}\n","import type { AuthoringPslBlockDescriptorNamespace } from '@prisma-next/framework-components/authoring';\nimport type { PslExtensionBlock, PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport { reconstructExtensionBlock } from './block-reconstruction';\nimport { findBlockDescriptor } from './extension-block';\nimport type { ParseDiagnostic } from './parse';\nimport {\n  nodePslSpan,\n  type ResolvedAttribute,\n  type ResolvedTypeConstructorCall,\n  readResolvedAttributes,\n  readResolvedConstructorCall,\n} from './resolve';\nimport type { Range, SourceFile } from './source-file';\nimport {\n  CompositeTypeDeclarationAst,\n  type DocumentAst,\n  type FieldDeclarationAst,\n  GenericBlockDeclarationAst,\n  ModelDeclarationAst,\n  type NamedTypeDeclarationAst,\n  NamespaceDeclarationAst,\n  TypesBlockAst,\n} from './syntax/ast/declarations';\nimport type { IdentifierAst } from './syntax/ast/identifier';\nimport type { SyntaxNode } from './syntax/red';\n\nexport type {\n  ResolvedAttribute,\n  ResolvedAttributeArg,\n  ResolvedTypeConstructorCall,\n} from './resolve';\n\nexport interface SymbolTable {\n  readonly topLevel: TopLevelScope;\n}\n\nexport interface TopLevelScope {\n  readonly namespaces: Record<string, NamespaceSymbol>;\n  readonly scalars: Record<string, ScalarSymbol>;\n  readonly typeAliases: Record<string, TypeAliasSymbol>;\n  readonly blocks: Record<string, BlockSymbol>;\n  readonly models: Record<string, ModelSymbol>;\n  readonly compositeTypes: Record<string, CompositeTypeSymbol>;\n}\n\nexport interface NamespaceSymbol {\n  readonly kind: 'namespace';\n  readonly name: string;\n  readonly node: NamespaceDeclarationAst;\n  readonly span: PslSpan;\n  readonly models: Record<string, ModelSymbol>;\n  readonly compositeTypes: Record<string, CompositeTypeSymbol>;\n  readonly blocks: Record<string, BlockSymbol>;\n}\n\nexport interface ModelSymbol {\n  readonly kind: 'model';\n  readonly name: string;\n  readonly node: ModelDeclarationAst;\n  readonly span: PslSpan;\n  readonly fields: Record<string, FieldSymbol>;\n  readonly attributes: readonly ResolvedAttribute[];\n}\n\nexport interface CompositeTypeSymbol {\n  readonly kind: 'compositeType';\n  readonly name: string;\n  readonly node: CompositeTypeDeclarationAst;\n  readonly span: PslSpan;\n  readonly fields: Record<string, FieldSymbol>;\n  readonly attributes: readonly ResolvedAttribute[];\n}\n\nexport interface BlockSymbol {\n  readonly kind: 'block';\n  readonly name: string;\n  readonly keyword: string;\n  readonly node: GenericBlockDeclarationAst;\n  readonly span: PslSpan;\n  /** Resolved once so consumers do not independently classify block parameters. */\n  readonly block: PslExtensionBlock;\n}\n\nexport interface ResolvedNamedTypeBinding {\n  readonly baseType?: string;\n  readonly typeConstructor?: ResolvedTypeConstructorCall;\n  readonly isConstructor: boolean;\n  readonly attributes: readonly ResolvedAttribute[];\n}\n\nexport interface ScalarSymbol extends ResolvedNamedTypeBinding {\n  readonly kind: 'scalar';\n  readonly name: string;\n  readonly node: NamedTypeDeclarationAst;\n  readonly span: PslSpan;\n}\n\nexport interface TypeAliasSymbol extends ResolvedNamedTypeBinding {\n  readonly kind: 'typeAlias';\n  readonly name: string;\n  readonly node: NamedTypeDeclarationAst;\n  readonly span: PslSpan;\n}\n\nexport interface FieldSymbol {\n  readonly kind: 'field';\n  readonly name: string;\n  readonly node: FieldDeclarationAst;\n  readonly span: PslSpan;\n  readonly typeName: string;\n  readonly typeNamespaceId?: string;\n  readonly typeContractSpaceId?: string;\n  readonly optional: boolean;\n  readonly list: boolean;\n  readonly typeConstructor?: ResolvedTypeConstructorCall;\n  readonly attributes: readonly ResolvedAttribute[];\n  /** Prevents cascading unsupported-type diagnostics after invalid qualification. */\n  readonly malformedType?: boolean;\n}\n\nexport interface BuildSymbolTableOptions {\n  readonly document: DocumentAst;\n  readonly sourceFile: SourceFile;\n  readonly scalarTypes: readonly string[];\n  readonly pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace;\n}\n\nexport interface SymbolTableResult {\n  readonly table: SymbolTable;\n  readonly diagnostics: readonly ParseDiagnostic[];\n}\n\n/**\n * Owns duplicate-declaration detection for all PSL scopes; downstream consumers\n * should consume first-wins symbols rather than re-emitting duplicate diagnostics.\n */\nexport function buildSymbolTable(options: BuildSymbolTableOptions): SymbolTableResult {\n  const { document, sourceFile, scalarTypes, pslBlockDescriptors } = options;\n  const diagnostics: ParseDiagnostic[] = [];\n  const scalarSet = new Set(scalarTypes);\n\n  const namespaces: Record<string, NamespaceSymbol> = {};\n  const scalars: Record<string, ScalarSymbol> = {};\n  const typeAliases: Record<string, TypeAliasSymbol> = {};\n  const blocks: Record<string, BlockSymbol> = {};\n  const models: Record<string, ModelSymbol> = {};\n  const compositeTypes: Record<string, CompositeTypeSymbol> = {};\n  const topLevelNames = new Set<string>();\n\n  const claim = (taken: Set<string>, name: IdentifierAst | undefined): string | undefined => {\n    const text = name?.name();\n    if (text === undefined) return undefined;\n    if (taken.has(text)) {\n      const range = nameRange(name, sourceFile);\n      if (range) {\n        diagnostics.push({\n          code: 'PSL_DUPLICATE_DECLARATION',\n          message: `Duplicate declaration of \"${text}\"`,\n          range,\n        });\n      }\n      return undefined;\n    }\n    taken.add(text);\n    return text;\n  };\n\n  for (const declaration of document.declarations()) {\n    if (declaration instanceof ModelDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) models[name] = buildModel(name, declaration, sourceFile, diagnostics);\n    } else if (declaration instanceof CompositeTypeDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) {\n        compositeTypes[name] = buildCompositeType(name, declaration, sourceFile, diagnostics);\n      }\n    } else if (declaration instanceof GenericBlockDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) {\n        blocks[name] = buildBlock(name, declaration, sourceFile, pslBlockDescriptors, diagnostics);\n      }\n    } else if (declaration instanceof NamespaceDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) {\n        namespaces[name] = buildNamespace(\n          name,\n          declaration,\n          diagnostics,\n          sourceFile,\n          pslBlockDescriptors,\n        );\n      }\n    } else if (declaration instanceof TypesBlockAst) {\n      for (const binding of declaration.declarations()) {\n        const name = claim(topLevelNames, binding.name());\n        if (name === undefined) continue;\n        const resolved = resolveNamedTypeBinding(binding, sourceFile);\n        const span = nodePslSpan(binding.syntax, sourceFile);\n        if (isScalarBinding(binding, scalarSet)) {\n          scalars[name] = { kind: 'scalar', name, node: binding, span, ...resolved };\n        } else {\n          typeAliases[name] = { kind: 'typeAlias', name, node: binding, span, ...resolved };\n        }\n      }\n    }\n  }\n\n  const table: SymbolTable = {\n    topLevel: { namespaces, scalars, typeAliases, blocks, models, compositeTypes },\n  };\n  return { table, diagnostics };\n}\n\nfunction buildModel(\n  name: string,\n  node: ModelDeclarationAst,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): ModelSymbol {\n  return {\n    kind: 'model',\n    name,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    fields: buildFields(name, node.fields(), sourceFile, diagnostics),\n    attributes: readResolvedAttributes(node.attributes(), sourceFile),\n  };\n}\n\nfunction buildCompositeType(\n  name: string,\n  node: CompositeTypeDeclarationAst,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): CompositeTypeSymbol {\n  return {\n    kind: 'compositeType',\n    name,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    fields: buildFields(name, node.fields(), sourceFile, diagnostics),\n    attributes: readResolvedAttributes(node.attributes(), sourceFile),\n  };\n}\n\nfunction buildBlock(\n  name: string,\n  node: GenericBlockDeclarationAst,\n  sourceFile: SourceFile,\n  pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace,\n  diagnostics: ParseDiagnostic[],\n): BlockSymbol {\n  const keyword = node.keyword()?.text ?? '';\n  const descriptor = findBlockDescriptor(pslBlockDescriptors, keyword);\n  return {\n    kind: 'block',\n    name,\n    keyword,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    block: reconstructExtensionBlock(node, descriptor, sourceFile, diagnostics),\n  };\n}\n\nfunction buildNamespace(\n  name: string,\n  node: NamespaceDeclarationAst,\n  diagnostics: ParseDiagnostic[],\n  sourceFile: SourceFile,\n  pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace,\n): NamespaceSymbol {\n  const models: Record<string, ModelSymbol> = {};\n  const compositeTypes: Record<string, CompositeTypeSymbol> = {};\n  const blocks: Record<string, BlockSymbol> = {};\n  const taken = new Set<string>();\n\n  for (const member of node.declarations()) {\n    const memberName = member.name()?.name();\n    if (memberName === undefined) continue;\n    if (taken.has(memberName)) {\n      const range = nameRange(member.name(), sourceFile);\n      if (range) {\n        diagnostics.push({\n          code: 'PSL_DUPLICATE_DECLARATION',\n          message: `Duplicate declaration of \"${memberName}\"`,\n          range,\n        });\n      }\n      continue;\n    }\n    taken.add(memberName);\n    if (member instanceof ModelDeclarationAst) {\n      models[memberName] = buildModel(memberName, member, sourceFile, diagnostics);\n    } else if (member instanceof CompositeTypeDeclarationAst) {\n      compositeTypes[memberName] = buildCompositeType(memberName, member, sourceFile, diagnostics);\n    } else if (member instanceof GenericBlockDeclarationAst) {\n      blocks[memberName] = buildBlock(\n        memberName,\n        member,\n        sourceFile,\n        pslBlockDescriptors,\n        diagnostics,\n      );\n    }\n  }\n\n  return {\n    kind: 'namespace',\n    name,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    models,\n    compositeTypes,\n    blocks,\n  };\n}\n\nfunction buildFields(\n  ownerName: string,\n  fields: Iterable<FieldDeclarationAst>,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): Record<string, FieldSymbol> {\n  const result: Record<string, FieldSymbol> = {};\n  for (const field of fields) {\n    const nameNode = field.name();\n    const name = nameNode?.name();\n    if (name === undefined) continue;\n    if (Object.hasOwn(result, name)) {\n      const range = nameRange(nameNode, sourceFile);\n      if (range) {\n        diagnostics.push({\n          code: 'PSL_DUPLICATE_DECLARATION',\n          message: `Duplicate declaration of \"${name}\"`,\n          range,\n        });\n      }\n      continue;\n    }\n    result[name] = buildField(ownerName, name, field, sourceFile, diagnostics);\n  }\n  return result;\n}\n\nfunction buildField(\n  ownerName: string,\n  name: string,\n  node: FieldDeclarationAst,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): FieldSymbol {\n  const attributes = readResolvedAttributes(node.attributes(), sourceFile);\n  const span = nodePslSpan(node.syntax, sourceFile);\n  const annotation = node.typeAnnotation();\n  const typeName = annotation?.name();\n\n  if (typeName?.isOverQualified()) {\n    const path = typeName.path();\n    diagnostics.push({\n      code: 'PSL_INVALID_QUALIFIED_TYPE',\n      message: `Field \"${ownerName}.${name}\" has an invalid qualified type \"${path.join('.')}\"; use at most one namespace qualifier (e.g. \"ns.TypeName\")`,\n      range: nodeRange(typeName.syntax, sourceFile),\n    });\n    return {\n      kind: 'field',\n      name,\n      node,\n      span,\n      typeName: path[path.length - 1] ?? '',\n      optional: false,\n      list: false,\n      malformedType: true,\n      attributes,\n    };\n  }\n\n  const typeConstructor = annotation?.isConstructor()\n    ? readResolvedConstructorCall(annotation, sourceFile)\n    : undefined;\n  const typeNamespaceId = typeName?.namespace()?.name();\n  const typeContractSpaceId = typeName?.space()?.name();\n\n  return {\n    kind: 'field',\n    name,\n    node,\n    span,\n    typeName: typeName?.identifier()?.name() ?? '',\n    ...(typeNamespaceId !== undefined ? { typeNamespaceId } : {}),\n    ...(typeContractSpaceId !== undefined ? { typeContractSpaceId } : {}),\n    optional: annotation?.isOptional() ?? false,\n    list: annotation?.isList() ?? false,\n    ...(typeConstructor !== undefined ? { typeConstructor } : {}),\n    attributes,\n  };\n}\n\nfunction resolveNamedTypeBinding(\n  node: NamedTypeDeclarationAst,\n  sourceFile: SourceFile,\n): {\n  baseType?: string;\n  typeConstructor?: ResolvedTypeConstructorCall;\n  isConstructor: boolean;\n  attributes: readonly ResolvedAttribute[];\n} {\n  const annotation = node.typeAnnotation();\n  const isConstructor = annotation?.isConstructor() ?? false;\n  const baseType = annotation?.name()?.identifier()?.name();\n  const typeConstructor = readResolvedConstructorCall(annotation, sourceFile);\n  return {\n    isConstructor,\n    ...(!isConstructor && baseType !== undefined ? { baseType } : {}),\n    ...(typeConstructor !== undefined ? { typeConstructor } : {}),\n    attributes: readResolvedAttributes(node.attributes(), sourceFile),\n  };\n}\n\nfunction isScalarBinding(node: NamedTypeDeclarationAst, scalarTypes: Set<string>): boolean {\n  const annotation = node.typeAnnotation();\n  if (annotation === undefined || annotation.isConstructor()) return false;\n  const base = annotation.name()?.identifier()?.name();\n  return base !== undefined && scalarTypes.has(base);\n}\n\nfunction nameRange(name: IdentifierAst | undefined, sourceFile: SourceFile): Range | undefined {\n  if (name === undefined) return undefined;\n  for (const token of name.syntax.tokens()) {\n    if (token.kind === 'Ident') {\n      return {\n        start: sourceFile.positionAt(token.offset),\n        end: sourceFile.positionAt(token.offset + token.text.length),\n      };\n    }\n  }\n  return undefined;\n}\n\nfunction nodeRange(node: SyntaxNode, sourceFile: SourceFile): Range {\n  const start = node.offset;\n  const end = start + node.green.textLength;\n  return {\n    start: sourceFile.positionAt(start),\n    end: sourceFile.positionAt(end),\n  };\n}\n"],"mappings":";;;;;;AAEA,SAAgB,sBAAsB,WAAyB,QAAQ,GAAuB;CAE5F,OADgB,UAAU,KAAK,QAAQ,QAAQ,IAAI,SAAS,YAC/C,CAAC,CAAC,MAAM,EAAE;AACzB;AAEA,SAAgB,yBAAyB,OAAmC;CAE1E,MAAM,QADU,MAAM,KACF,CAAC,CAAC,MAAM,gBAAgB;CAC5C,IAAI,CAAC,OAAO,OAAO,KAAA;CACnB,OAAO,MAAM,MAAM;AACrB;;;ACqBA,SAAgB,sBACd,WACA,YACmB;CACnB,OAAO;EACL,MAAM,cAAc,UAAU,KAAK,CAAC;EACpC,MAAM,oBAAoB,UAAU,QAAQ,GAAG,UAAU;EACzD,MAAM,YAAY,UAAU,QAAQ,UAAU;CAChD;AACF;AAEA,SAAgB,uBACd,YACA,YAC8B;CAC9B,OAAO,MAAM,KAAK,aAAa,cAAc,sBAAsB,WAAW,UAAU,CAAC;AAC3F;AAEA,SAAgB,4BACd,YACA,YACyC;CACzC,MAAM,UAAU,YAAY,QAAQ;CACpC,IAAI,eAAe,KAAA,KAAa,YAAY,KAAA,GAAW,OAAO,KAAA;CAC9D,OAAO;EACL,MAAM,WAAW,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC;EACpC,MAAM,oBAAoB,SAAS,UAAU;EAC7C,MAAM,YAAY,WAAW,QAAQ,UAAU;CACjD;AACF;AAEA,SAAS,oBACP,SACA,YACiC;CACjC,IAAI,YAAY,KAAA,GAAW,OAAO,CAAC;CACnC,MAAM,OAA+B,CAAC;CACtC,KAAK,MAAM,OAAO,QAAQ,KAAK,GAAG;EAChC,MAAM,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK;EAC9B,MAAM,aAAa,IAAI,MAAM;EAC7B,KAAK,KAAK;GACR,MAAM,SAAS,KAAA,IAAY,UAAU;GACrC,GAAI,SAAS,KAAA,IAAY,EAAE,KAAK,IAAI,CAAC;GACrC,OAAO,iBAAiB,UAAU;GAClC,GAAI,eAAe,KAAA,IAAY,EAAE,WAAW,IAAI,CAAC;GACjD,MAAM,YAAY,IAAI,QAAQ,UAAU;EAC1C,CAAC;CACH;CACA,OAAO;AACT;AAEA,SAAS,cAAc,MAA4C;CACjE,OAAO,MAAM,KAAK,CAAC,CAAC,KAAK,GAAG,KAAK;AACnC;AAEA,SAAS,iBAAiB,YAA+C;CACvE,IAAI,eAAe,KAAA,GAAW,OAAO;CACrC,OAAO,YAAY,WAAW,MAAM,CAAC,CAAC,KAAK;AAC7C;AAEA,SAAgB,YAAY,MAAkB,YAAiC;CAC7E,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,QAAQ,KAAK,MAAM;CAC/B,OAAO;EACL,OAAO,oBAAoB,OAAO,UAAU;EAC5C,KAAK,oBAAoB,KAAK,UAAU;CAC1C;AACF;;AAGA,SAAgB,eAAe,MAAkB,SAAiB,YAAiC;CACjG,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,QAAQ,QAAQ;CAC5B,OAAO;EACL,OAAO,oBAAoB,OAAO,UAAU;EAC5C,KAAK,oBAAoB,KAAK,UAAU;CAC1C;AACF;AAEA,SAAgB,eAAe,OAAc,YAAiC;CAC5E,OAAO;EACL,OAAO,oBAAoB,WAAW,SAAS,MAAM,KAAK,GAAG,UAAU;EACvE,KAAK,oBAAoB,WAAW,SAAS,MAAM,GAAG,GAAG,UAAU;CACrE;AACF;AAEA,SAAS,oBAAoB,QAAgB,YAA0C;CACrF,MAAM,WAAqB,WAAW,WAAW,MAAM;CACvD,OAAO;EAAE;EAAQ,MAAM,SAAS,OAAO;EAAG,QAAQ,SAAS,YAAY;CAAE;AAC3E;;;ACrHA,MAAa,4BAA+C;AAE5D,SAAgB,eAAe,KAAmB,MAAe,SAAgC;CAC/F,OAAO;EACL,MAAM;EACN;EACA,UAAU,IAAI;EACd,MAAM,YAAY,KAAK,QAAQ,IAAI,UAAU;CAC/C;AACF;;;ACRA,SAAgB,OAAyB;CACvC,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAmD;GAC9D,IAAI,eAAe,uBAAuB;IACxC,MAAM,QAAQ,IAAI,MAAM;IACxB,IAAI,UAAU,KAAA,GAAW,OAAO,GAAG,KAAK;GAC1C;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,4BAA4B,CAAC,CAAC;EACvE;CACF;AACF;;;ACVA,SAAgB,YAA6B;CAC3C,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAkD;GAC7D,IAAI,EAAE,eAAe,gBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,MAAM,OAAO,IAAI,KAAK;GACtB,IAAI,SAAS,KAAA,GACX,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,OAAO,GAAG,IAAI;EAChB;CACF;AACF;;;ACXA,SAAgB,SAAS,OAAuC;CAC9D,OAAO;EACL,MAAM;EACN,OAAO;EACP;EACA,QAAQ,KAAK,QAAkD;GAC7D,IAAI,EAAE,eAAe,gBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,MAAM,OAAO,IAAI,KAAK;GACtB,IAAI,SAAS,KAAA,GACX,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,MAAM,QAAQ,UAAU,SAAS,IAAI,YAAY,IAAI,uBAAuB;GAE5E,IAAI,UAAU,KAAA,KAAa,CAAC,OAAO,OAAO,MAAM,QAAQ,IAAI,GAC1D,OAAO,MAAM,CACX,eAAe,KAAK,KAAK,UAAU,KAAK,6BAA6B,MAAM,KAAK,EAAE,CACpF,CAAC;GAEH,OAAO,GAAG,IAAI;EAChB;CACF;AACF;;;AC7BA,SAAgB,WAAmC,MAAqB;CACtE,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAA6C;GACxD,IAAI,eAAe,iBAAiB,IAAI,KAAK,MAAM,MAAM,OAAO,GAAG,IAAI;GACvE,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,YAAY,MAAM,CAAC,CAAC;EAC7D;CACF;AACF;;;ACTA,SAAgB,MAAuB;CACrC,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAkD;GAC7D,IAAI,eAAe,sBAAsB;IACvC,MAAM,QAAQ,IAAI,MAAM;IACxB,IAAI,UAAU,KAAA,KAAa,OAAO,UAAU,KAAK,GAAG,OAAO,GAAG,KAAK;GACrE;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,6BAA6B,CAAC,CAAC;EACxE;CACF;AACF;;;ACPA,SAAgB,KAAQ,IAAgB,MAAkC;CACxE,OAAO;EACL,MAAM;EACN,OAAO,GAAG,GAAG,MAAM;EACnB,QAAQ,KAAK,QAA+C;GAC1D,IAAI,EAAE,eAAe,kBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,sBAAsB,GAAG,OAAO,CAAC,CAAC;GAE3E,MAAM,cAA+B,CAAC;GACtC,MAAM,SAA8C,CAAC;GACrD,IAAI,QAAQ;GACZ,KAAK,MAAM,WAAW,IAAI,SAAS,GAAG;IACpC,SAAS;IACT,MAAM,SAAS,GAAG,MAAM,SAAS,GAAG;IACpC,IAAI,OAAO,IAAI,OAAO,KAAK;KAAE,MAAM;KAAS,OAAO,OAAO;IAAM,CAAC;SAC5D,YAAY,KAAK,GAAG,OAAO,OAAO;GACzC;GACA,IAAI,MAAM,aAAa,QAAQ,UAAU,GACvC,YAAY,KAAK,eAAe,KAAK,KAAK,2BAA2B,CAAC;GAExE,IAAI,MAAM,WAAW,MAAM;IACzB,MAAM,uBAAO,IAAI,IAAO;IACxB,KAAK,MAAM,EAAE,MAAM,WAAW,QAC5B,IAAI,KAAK,IAAI,KAAK,GAAG,YAAY,KAAK,eAAe,KAAK,MAAM,sBAAsB,CAAC;SAClF,KAAK,IAAI,KAAK;GAEvB;GACA,IAAI,YAAY,SAAS,GAAG,OAAO,MAAM,WAAW;GACpD,OAAO,GAAG,OAAO,KAAK,UAAU,MAAM,KAAK,CAAC;EAC9C;CACF;AACF;;;ACpCA,SAAgB,MACd,GAAG,MAC2B;CAC9B,MAAM,QAAQ,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,KAAK,KAAK;CACrD,OAAO;EACL,MAAM;EACN;EACA,QAAQ,KAAK,QAA+D;GAC1E,KAAK,MAAM,OAAO,MAAM;IACtB,MAAM,SAAS,IAAI,MAAM,KAAK,GAAG;IACjC,IAAI,OAAO,IACT,OAAO,GACL,UAGE,OAAO,KAAK,CAChB;GAEJ;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,oBAAoB,OAAO,CAAC,CAAC;EACtE;CACF;AACF;;;ACtBA,SAAgB,OAAU,IAA4C;CACpE,OAAO;EACL,MAAM;EACN,OAAO,YAAY,GAAG,MAAM;EAC5B,QAAQ,KAAK,QAA6D;GACxE,IAAI,EAAE,eAAe,uBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,4BAA4B,CAAC,CAAC;GAEvE,MAAM,cAA+B,CAAC;GACtC,MAAM,SAA4B,CAAC;GACnC,KAAK,MAAM,SAAS,IAAI,OAAO,GAAG;IAChC,MAAM,MAAM,MAAM,QAAQ;IAC1B,IAAI,QAAQ,KAAA,GAAW;KACrB,YAAY,KAAK,eAAe,KAAK,OAAO,gBAAgB,CAAC;KAC7D;IACF;IACA,MAAM,QAAQ,MAAM,MAAM;IAC1B,IAAI,UAAU,KAAA,GAAW;KACvB,YAAY,KAAK,eAAe,KAAK,OAAO,6BAA6B,IAAI,EAAE,CAAC;KAChF;IACF;IACA,MAAM,SAAS,GAAG,MAAM,OAAO,GAAG;IAClC,IAAI,CAAC,OAAO,IAAI;KACd,YAAY,KAAK,GAAG,OAAO,OAAO;KAClC;IACF;IACA,IAAI,OAAO,OAAO,QAAQ,GAAG,GAAG;KAC9B,YAAY,KAAK,eAAe,KAAK,OAAO,kBAAkB,IAAI,EAAE,CAAC;KACrE;IACF;IACA,OAAO,OAAO,OAAO;GACvB;GACA,IAAI,YAAY,SAAS,GAAG,OAAO,MAAM,WAAW;GACpD,OAAO,GAAG,MAAM;EAClB;CACF;AACF;;;ACpCA,SAAgB,MAAuB;CACrC,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAkD;GAC7D,IAAI,eAAe,sBAAsB;IACvC,MAAM,QAAQ,IAAI,MAAM;IACxB,IAAI,UAAU,KAAA,GAAW,OAAO,GAAG,KAAK;GAC1C;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,2BAA2B,CAAC,CAAC;EACtE;CACF;AACF;;;ACHA,SAAgB,eAGd,MAAc,QAAmF;CACjG,OAAO;EACL,OAAO;EACP;EACA,YAAY,OAAO,cAAc,CAAC;EAClC,OAAO,OAAO,SAAS,CAAC;EACxB,GAAI,OAAO,WAAW,KAAA,IAAY,EAAE,QAAQ,OAAO,OAAO,IAAI,CAAC;CACjE;AACF;;;ACjBA,SAAgB,mBACd,UACA,MACA,KACuC;CACvC,MAAM,cAA+B,CAAC;CACtC,MAAM,gBAAgB,YAAY,SAAS,QAAQ,IAAI,UAAU;CAEjE,MAAM,SAAkC,CAAC;CACzC,MAAM,uBAAO,IAAI,IAAY;CAC7B,IAAI,iBAAiB;CACrB,IAAI,iBAAiB;CAErB,KAAK,MAAM,OAAO,SAAS,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,GAAG;EAClD,MAAM,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK;EAE9B,IAAI;EACJ,IAAI;EACJ,IAAI,SAAS,KAAA,GAAW;GACtB,MAAM,WAAW,KAAK,WAAW;GACjC,IAAI,aAAa,KAAA,GAAW;IAC1B,IAAI,CAAC,gBAAgB;KACnB,YAAY,KACV,WACE,cAAc,KAAK,KAAK,2CACxB,KACA,aACF,CACF;KACA,iBAAiB;IACnB;IACA;GACF;GACA,kBAAkB;GAClB,MAAM,SAAS;GACf,QAAQ,SAAS;EACnB,OAAO;GACL,MAAM,aAAa,OAAO,OAAO,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,QAAQ,KAAA;GACxE,IAAI,eAAe,KAAA,GAAW;IAC5B,YAAY,KACV,WACE,cAAc,KAAK,KAAK,+BAA+B,KAAK,IAC5D,KACA,YAAY,IAAI,QAAQ,IAAI,UAAU,CACxC,CACF;IACA;GACF;GACA,MAAM;GACN,QAAQ;EACV;EAEA,IAAI,KAAK,IAAI,GAAG,GAAG;GACjB,YAAY,KACV,WACE,cAAc,KAAK,KAAK,iCAAiC,IAAI,IAC7D,KACA,YAAY,IAAI,QAAQ,IAAI,UAAU,CACxC,CACF;GACA;EACF;EACA,KAAK,IAAI,GAAG;EACZ,MAAM,SAAS,cAAc,KAAK,OAAO,KAAK,WAAW;EACzD,IAAI,OAAO,IAAI,OAAO,OAAO,OAAO;CACtC;CAEA,MAAM,4BAAY,IAAI,IAAY;CAClC,MAAM,qBACJ,KACA,iBACA,eACS;EACT,IAAI,UAAU,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,GAAG;EACzC,UAAU,IAAI,GAAG;EACjB,MAAM,YAAY,cAAc;EAChC,IAAI,cAAc,KAAA,GAAW;EAC7B,IAAI,kBAAkB,SAAS,GAAG;GAChC,IAAI,UAAU,YAAY,OAAO,OAAO,UAAU;GAClD;EACF;EACA,YAAY,KACV,WACE,cAAc,KAAK,KAAK,kCAAkC,IAAI,IAC9D,KACA,aACF,CACF;CACF;CAEA,KAAK,MAAM,SAAS,KAAK,YAAY;EACnC,MAAM,aAAa,OAAO,OAAO,KAAK,OAAO,MAAM,GAAG,IAAI,KAAK,MAAM,MAAM,OAAO,KAAA;EAClF,kBAAkB,MAAM,KAAK,MAAM,MAAM,UAAU;CACrD;CACA,KAAK,MAAM,OAAO,OAAO,KAAK,KAAK,KAAK,GACtC,kBAAkB,KAAK,KAAA,GAAW,KAAK,MAAM,IAAI;CAGnD,IAAI,YAAY,SAAS,GACvB,OAAO,MAAgC,WAAW;CAGpD,MAAM,QAAQ,UAGZ,MAAM;CACR,IAAI,KAAK,WAAW,KAAA,GAAW;EAC7B,MAAM,oBAAoB,KAAK,OAAO,OAAO,GAAG;EAChD,IAAI,kBAAkB,SAAS,GAC7B,OAAO,MAAgC,iBAAiB;CAE5D;CACA,OAAO,GAAG,KAAK;AACjB;AAEA,SAAS,cACP,KACA,SACA,KACA,aAC2C;CAC3C,MAAM,QAAQ,IAAI,MAAM;CACxB,IAAI,UAAU,KAAA,GAAW;EACvB,MAAM,UAAU,WACd,yCACA,KACA,YAAY,IAAI,QAAQ,IAAI,UAAU,CACxC;EACA,YAAY,KAAK,OAAO;EACxB,OAAO,MAAgC,CAAC,OAAO,CAAC;CAClD;CACA,MAAM,SAAS,QAAQ,MAAM,OAAO,GAAG;CACvC,IAAI,CAAC,OAAO,IACV,KAAK,MAAM,WAAW,OAAO,SAAS,YAAY,KAAK,OAAO;CAEhE,OAAO;AACT;AAEA,SAAS,kBAAkB,OAA0D;CACnF,OAAO,cAAc,SAAS,MAAM,aAAa;AACnD;AAEA,SAAS,WAAW,SAAiB,KAAmB,MAA8B;CACpF,OAAO;EAAE,MAAM;EAA2B;EAAS,UAAU,IAAI;EAAU;CAAK;AAClF;;;AC1IA,SAAgB,eAGd,MAAc,QAAmF;CACjG,OAAO;EACL,OAAO;EACP;EACA,YAAY,OAAO,cAAc,CAAC;EAClC,OAAO,OAAO,SAAS,CAAC;EACxB,GAAI,OAAO,WAAW,KAAA,IAAY,EAAE,QAAQ,OAAO,OAAO,IAAI,CAAC;CACjE;AACF;;;ACxBA,SAAgB,SAAY,MAAkB,GAAG,MAAkD;CACjG,IAAI,KAAK,WAAW,GAClB,OAAO;EAAE,GAAG;EAAM,UAAU;EAAM,YAAY;CAAM;CAEtD,OAAO;EAAE,GAAG;EAAM,UAAU;EAAM,YAAY;EAAM,cAAc,KAAK;CAAG;AAC5E;;;ACWA,SAAgB,oBACd,aACA,SACyC;CACzC,IAAI,gBAAgB,KAAA,GAAW,OAAO,KAAA;CACtC,KAAK,MAAM,SAAS,OAAO,OAAO,WAAW,GAAG;EAC9C,IAAI,UAAU,KAAA,GAAW;EACzB,IAAI,8BAA8B,KAAK,GAAG;GACxC,IAAI,MAAM,YAAY,SAAS,OAAO;GACtC;EACF;EACA,MAAM,SAAS,oBAAoB,OAAO,OAAO;EACjD,IAAI,WAAW,KAAA,GAAW,OAAO;CACnC;AAEF;AAEA,SAAgB,iCAAiC,OAOpB;CAC3B,MAAM,SAAS,0BAA0B,MAAM,aAAa,MAAM,KAAK;CACvE,OAAO,uBACL,MAAM,MAAM,OACZ,MAAM,YACN,MAAM,UACN,MAAM,aACN,MACF;AACF;AAEA,MAAM,YAAqB;CACzB,OAAO;EAAE,QAAQ;EAAG,MAAM;EAAG,QAAQ;CAAE;CACvC,KAAK;EAAE,QAAQ;EAAG,MAAM;EAAG,QAAQ;CAAE;AACvC;AAEA,SAAS,0BACP,aACA,OAIA;CACA,MAAM,uBAAuB,cAC3B,8BACA,OAAO,OAAO,YAAY,SAAS,MAAM,CAC3C;CAIA,MAAM,gBAAgB,CAAC,sBAAsB,GAHrB,OAAO,OAAO,YAAY,SAAS,UAAU,CAAC,CAAC,KAAK,cAC1E,cAAc,UAAU,MAAM,OAAO,OAAO,UAAU,MAAM,CAAC,CAED,CAAC;CAC/D,MAAM,qBAAqB,uBAAuB,aAAa,KAAK;CAIpE,OAAO;EAAE,gBAFP,cAAc,MAAM,cAAc,UAAU,SAAS,kBAAkB,KACvE;EACuB;CAAc;AACzC;AAEA,SAAS,cACP,MACA,QACqC;CAQrC,OAAO,iBAAiB;EACtB,MAAM;EACN;EACA,SAAS,wBAVoB,OAAO,KAAK,WAAW;GACpD,MAAM;GACN,MAAM,MAAM;GACZ,QAAQ,CAAC;GACT,YAAY,CAAC;GACb,MAAM;EACR,EAI4C,GAAG,CAAC,GAAG,CAAC,CAAC;EACnD,MAAM;CACR,CAAC;AACH;AAEA,SAAS,uBAAuB,aAA0B,OAA4B;CACpF,KAAK,MAAM,aAAa,OAAO,OAAO,YAAY,SAAS,UAAU,GACnE,IAAI,OAAO,OAAO,UAAU,MAAM,CAAC,CAAC,MAAM,cAAc,cAAc,KAAK,GACzE,OAAO,UAAU;CAGrB,OAAO;AACT;;;;;;;ACvFA,SAAgB,0BACd,MACA,YACA,YACA,aACmB;CACnB,MAAM,UAAU,KAAK,QAAQ,CAAC,EAAE,QAAQ;CACxC,MAAM,YAAY,KAAK,KAAK,CAAC,EAAE,KAAK,KAAK;CAEzC,MAAM,kBAAgD,CAAC;CACvD,KAAK,MAAM,aAAa,KAAK,WAAW,GAAG;EACzC,MAAM,OAAO,UAAU,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,KAAK;EACnD,MAAM,OAAO,MAAM,KAAK,UAAU,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,QAAQ;GAClE,MAAM,QAAQ,IAAI,MAAM;GACxB,OAAO;IACL,MAAM;IACN,OAAO,UAAU,KAAA,IAAY,KAAK,YAAY,MAAM,MAAM,CAAC,CAAC,KAAK;IACjE,MAAM,YAAY,IAAI,QAAQ,UAAU;GAC1C;EACF,CAAC;EACD,gBAAgB,KAAK;GACnB;GACA;GACA,MAAM,YAAY,UAAU,QAAQ,UAAU;EAChD,CAAC;CACH;CAEA,MAAM,aAA0D,CAAC;CACjE,KAAK,MAAM,SAAS,KAAK,QAAQ,GAAG;EAClC,MAAM,MAAM,MAAM,IAAI,CAAC,EAAE,KAAK;EAC9B,IAAI,QAAQ,KAAA,GAAW;EACvB,MAAM,OAAO,YAAY,MAAM,QAAQ,UAAU;EACjD,IAAI,OAAO,OAAO,YAAY,GAAG,GAAG;GAClC,YAAY,KAAK;IACf,MAAM;IACN,SAAS,wBAAwB,IAAI,QAAQ,QAAQ,WAAW,UAAU;IAC1E,OAAO;KACL,OAAO,WAAW,WAAW,MAAM,OAAO,MAAM;KAChD,KAAK,WAAW,WAAW,MAAM,OAAO,SAAS,MAAM,OAAO,MAAM,UAAU;IAChF;GACF,CAAC;GACD;EACF;EACA,WAAW,OAAO,sBAChB,OACA,YAAY,WAAW,MACvB,MACA,YACA,WACF;CACF;CAEA,OAAO;EACL,MAAM,YAAY,iBAAiB;EACnC;EACA,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;CAC3C;AACF;AAEA,SAAS,sBACP,OACA,OACA,MACA,YACA,aAC6B;CAC7B,MAAM,QAAQ,MAAM,MAAM;CAC1B,IAAI,UAAU,KAAA,GACZ,OAAO;EAAE,MAAM;EAAQ;CAAK;CAE9B,OAAO,0BAA0B,OAAO,OAAO,MAAM,YAAY,WAAW;AAC9E;AAEA,SAAS,0BACP,OACA,OACA,MACA,YACA,aAC6B;CAC7B,MAAM,MAAM,YAAY,MAAM,MAAM,CAAC,CAAC,KAAK;CAC3C,IAAI,OAAO,SAAS,QAAQ;EAC1B,MAAM,QAAQ,gBAAgB,KAAK,MAAM,MAAM;EAC/C,IAAI,CAAC,OAAO;GACV,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,gDAAgD;IACzD,OAAO;KACL,OAAO,WAAW,WAAW,MAAM,OAAO,MAAM;KAChD,KAAK,WAAW,WAAW,MAAM,OAAO,SAAS,MAAM,OAAO,MAAM,UAAU;IAChF;GACF,CAAC;GACD,OAAO;IAAE,MAAM;IAAS;IAAK;GAAK;EACpC;EAEA,MAAM,QAAuC,CAAC;EAC9C,KAAK,MAAM,WAAW,MAAM,SAAS,GACnC,MAAM,KACJ,0BACE,SACA,MAAM,IACN,YAAY,QAAQ,QAAQ,UAAU,GACtC,YACA,WACF,CACF;EAEF,OAAO;GAAE,MAAM;GAAQ;GAAO;EAAK;CACrC;CACA,QAAQ,OAAO,MAAf;EACE,KAAK,OACH,OAAO;GAAE,MAAM;GAAO,YAAY;GAAK;EAAK;EAC9C,KAAK,UACH,OAAO;GAAE,MAAM;GAAU,OAAO;GAAK;EAAK;EAC5C,SACE,OAAO;GAAE,MAAM;GAAS;GAAK;EAAK;CACtC;AACF;;;;;;;ACHA,SAAgB,iBAAiB,SAAqD;CACpF,MAAM,EAAE,UAAU,YAAY,aAAa,wBAAwB;CACnE,MAAM,cAAiC,CAAC;CACxC,MAAM,YAAY,IAAI,IAAI,WAAW;CAErC,MAAM,aAA8C,CAAC;CACrD,MAAM,UAAwC,CAAC;CAC/C,MAAM,cAA+C,CAAC;CACtD,MAAM,SAAsC,CAAC;CAC7C,MAAM,SAAsC,CAAC;CAC7C,MAAM,iBAAsD,CAAC;CAC7D,MAAM,gCAAgB,IAAI,IAAY;CAEtC,MAAM,SAAS,OAAoB,SAAwD;EACzF,MAAM,OAAO,MAAM,KAAK;EACxB,IAAI,SAAS,KAAA,GAAW,OAAO,KAAA;EAC/B,IAAI,MAAM,IAAI,IAAI,GAAG;GACnB,MAAM,QAAQ,UAAU,MAAM,UAAU;GACxC,IAAI,OACF,YAAY,KAAK;IACf,MAAM;IACN,SAAS,6BAA6B,KAAK;IAC3C;GACF,CAAC;GAEH;EACF;EACA,MAAM,IAAI,IAAI;EACd,OAAO;CACT;CAEA,KAAK,MAAM,eAAe,SAAS,aAAa,GAC9C,IAAI,uBAAuB,qBAAqB;EAC9C,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GAAW,OAAO,QAAQ,WAAW,MAAM,aAAa,YAAY,WAAW;CAC9F,OAAO,IAAI,uBAAuB,6BAA6B;EAC7D,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GACX,eAAe,QAAQ,mBAAmB,MAAM,aAAa,YAAY,WAAW;CAExF,OAAO,IAAI,uBAAuB,4BAA4B;EAC5D,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GACX,OAAO,QAAQ,WAAW,MAAM,aAAa,YAAY,qBAAqB,WAAW;CAE7F,OAAO,IAAI,uBAAuB,yBAAyB;EACzD,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GACX,WAAW,QAAQ,eACjB,MACA,aACA,aACA,YACA,mBACF;CAEJ,OAAO,IAAI,uBAAuB,eAChC,KAAK,MAAM,WAAW,YAAY,aAAa,GAAG;EAChD,MAAM,OAAO,MAAM,eAAe,QAAQ,KAAK,CAAC;EAChD,IAAI,SAAS,KAAA,GAAW;EACxB,MAAM,WAAW,wBAAwB,SAAS,UAAU;EAC5D,MAAM,OAAO,YAAY,QAAQ,QAAQ,UAAU;EACnD,IAAI,gBAAgB,SAAS,SAAS,GACpC,QAAQ,QAAQ;GAAE,MAAM;GAAU;GAAM,MAAM;GAAS;GAAM,GAAG;EAAS;OAEzE,YAAY,QAAQ;GAAE,MAAM;GAAa;GAAM,MAAM;GAAS;GAAM,GAAG;EAAS;CAEpF;CAOJ,OAAO;EAAE,OAAA,EAFP,UAAU;GAAE;GAAY;GAAS;GAAa;GAAQ;GAAQ;EAAe,EAElE;EAAG;CAAY;AAC9B;AAEA,SAAS,WACP,MACA,MACA,YACA,aACa;CACb,OAAO;EACL,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC,QAAQ,YAAY,MAAM,KAAK,OAAO,GAAG,YAAY,WAAW;EAChE,YAAY,uBAAuB,KAAK,WAAW,GAAG,UAAU;CAClE;AACF;AAEA,SAAS,mBACP,MACA,MACA,YACA,aACqB;CACrB,OAAO;EACL,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC,QAAQ,YAAY,MAAM,KAAK,OAAO,GAAG,YAAY,WAAW;EAChE,YAAY,uBAAuB,KAAK,WAAW,GAAG,UAAU;CAClE;AACF;AAEA,SAAS,WACP,MACA,MACA,YACA,qBACA,aACa;CACb,MAAM,UAAU,KAAK,QAAQ,CAAC,EAAE,QAAQ;CACxC,MAAM,aAAa,oBAAoB,qBAAqB,OAAO;CACnE,OAAO;EACL,MAAM;EACN;EACA;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC,OAAO,0BAA0B,MAAM,YAAY,YAAY,WAAW;CAC5E;AACF;AAEA,SAAS,eACP,MACA,MACA,aACA,YACA,qBACiB;CACjB,MAAM,SAAsC,CAAC;CAC7C,MAAM,iBAAsD,CAAC;CAC7D,MAAM,SAAsC,CAAC;CAC7C,MAAM,wBAAQ,IAAI,IAAY;CAE9B,KAAK,MAAM,UAAU,KAAK,aAAa,GAAG;EACxC,MAAM,aAAa,OAAO,KAAK,CAAC,EAAE,KAAK;EACvC,IAAI,eAAe,KAAA,GAAW;EAC9B,IAAI,MAAM,IAAI,UAAU,GAAG;GACzB,MAAM,QAAQ,UAAU,OAAO,KAAK,GAAG,UAAU;GACjD,IAAI,OACF,YAAY,KAAK;IACf,MAAM;IACN,SAAS,6BAA6B,WAAW;IACjD;GACF,CAAC;GAEH;EACF;EACA,MAAM,IAAI,UAAU;EACpB,IAAI,kBAAkB,qBACpB,OAAO,cAAc,WAAW,YAAY,QAAQ,YAAY,WAAW;OACtE,IAAI,kBAAkB,6BAC3B,eAAe,cAAc,mBAAmB,YAAY,QAAQ,YAAY,WAAW;OACtF,IAAI,kBAAkB,4BAC3B,OAAO,cAAc,WACnB,YACA,QACA,YACA,qBACA,WACF;CAEJ;CAEA,OAAO;EACL,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC;EACA;EACA;CACF;AACF;AAEA,SAAS,YACP,WACA,QACA,YACA,aAC6B;CAC7B,MAAM,SAAsC,CAAC;CAC7C,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,WAAW,MAAM,KAAK;EAC5B,MAAM,OAAO,UAAU,KAAK;EAC5B,IAAI,SAAS,KAAA,GAAW;EACxB,IAAI,OAAO,OAAO,QAAQ,IAAI,GAAG;GAC/B,MAAM,QAAQ,UAAU,UAAU,UAAU;GAC5C,IAAI,OACF,YAAY,KAAK;IACf,MAAM;IACN,SAAS,6BAA6B,KAAK;IAC3C;GACF,CAAC;GAEH;EACF;EACA,OAAO,QAAQ,WAAW,WAAW,MAAM,OAAO,YAAY,WAAW;CAC3E;CACA,OAAO;AACT;AAEA,SAAS,WACP,WACA,MACA,MACA,YACA,aACa;CACb,MAAM,aAAa,uBAAuB,KAAK,WAAW,GAAG,UAAU;CACvE,MAAM,OAAO,YAAY,KAAK,QAAQ,UAAU;CAChD,MAAM,aAAa,KAAK,eAAe;CACvC,MAAM,WAAW,YAAY,KAAK;CAElC,IAAI,UAAU,gBAAgB,GAAG;EAC/B,MAAM,OAAO,SAAS,KAAK;EAC3B,YAAY,KAAK;GACf,MAAM;GACN,SAAS,UAAU,UAAU,GAAG,KAAK,mCAAmC,KAAK,KAAK,GAAG,EAAE;GACvF,OAAO,UAAU,SAAS,QAAQ,UAAU;EAC9C,CAAC;EACD,OAAO;GACL,MAAM;GACN;GACA;GACA;GACA,UAAU,KAAK,KAAK,SAAS,MAAM;GACnC,UAAU;GACV,MAAM;GACN,eAAe;GACf;EACF;CACF;CAEA,MAAM,kBAAkB,YAAY,cAAc,IAC9C,4BAA4B,YAAY,UAAU,IAClD,KAAA;CACJ,MAAM,kBAAkB,UAAU,UAAU,CAAC,EAAE,KAAK;CACpD,MAAM,sBAAsB,UAAU,MAAM,CAAC,EAAE,KAAK;CAEpD,OAAO;EACL,MAAM;EACN;EACA;EACA;EACA,UAAU,UAAU,WAAW,CAAC,EAAE,KAAK,KAAK;EAC5C,GAAI,oBAAoB,KAAA,IAAY,EAAE,gBAAgB,IAAI,CAAC;EAC3D,GAAI,wBAAwB,KAAA,IAAY,EAAE,oBAAoB,IAAI,CAAC;EACnE,UAAU,YAAY,WAAW,KAAK;EACtC,MAAM,YAAY,OAAO,KAAK;EAC9B,GAAI,oBAAoB,KAAA,IAAY,EAAE,gBAAgB,IAAI,CAAC;EAC3D;CACF;AACF;AAEA,SAAS,wBACP,MACA,YAMA;CACA,MAAM,aAAa,KAAK,eAAe;CACvC,MAAM,gBAAgB,YAAY,cAAc,KAAK;CACrD,MAAM,WAAW,YAAY,KAAK,CAAC,EAAE,WAAW,CAAC,EAAE,KAAK;CACxD,MAAM,kBAAkB,4BAA4B,YAAY,UAAU;CAC1E,OAAO;EACL;EACA,GAAI,CAAC,iBAAiB,aAAa,KAAA,IAAY,EAAE,SAAS,IAAI,CAAC;EAC/D,GAAI,oBAAoB,KAAA,IAAY,EAAE,gBAAgB,IAAI,CAAC;EAC3D,YAAY,uBAAuB,KAAK,WAAW,GAAG,UAAU;CAClE;AACF;AAEA,SAAS,gBAAgB,MAA+B,aAAmC;CACzF,MAAM,aAAa,KAAK,eAAe;CACvC,IAAI,eAAe,KAAA,KAAa,WAAW,cAAc,GAAG,OAAO;CACnE,MAAM,OAAO,WAAW,KAAK,CAAC,EAAE,WAAW,CAAC,EAAE,KAAK;CACnD,OAAO,SAAS,KAAA,KAAa,YAAY,IAAI,IAAI;AACnD;AAEA,SAAS,UAAU,MAAiC,YAA2C;CAC7F,IAAI,SAAS,KAAA,GAAW,OAAO,KAAA;CAC/B,KAAK,MAAM,SAAS,KAAK,OAAO,OAAO,GACrC,IAAI,MAAM,SAAS,SACjB,OAAO;EACL,OAAO,WAAW,WAAW,MAAM,MAAM;EACzC,KAAK,WAAW,WAAW,MAAM,SAAS,MAAM,KAAK,MAAM;CAC7D;AAIN;AAEA,SAAS,UAAU,MAAkB,YAA+B;CAClE,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,QAAQ,KAAK,MAAM;CAC/B,OAAO;EACL,OAAO,WAAW,WAAW,KAAK;EAClC,KAAK,WAAW,WAAW,GAAG;CAChC;AACF"}
+{"version":3,"file":"index.mjs","names":[],"sources":["../src/attribute-helpers.ts","../src/resolve.ts","../src/attribute-spec/combinators/diagnostic.ts","../src/attribute-spec/combinators/bool.ts","../src/attribute-spec/combinators/entity-ref.ts","../src/attribute-spec/combinators/field-ref.ts","../src/attribute-spec/interpret.ts","../src/attribute-spec/combinators/func-call.ts","../src/attribute-spec/combinators/identifier.ts","../src/attribute-spec/combinators/int.ts","../src/attribute-spec/combinators/list.ts","../src/attribute-spec/combinators/num.ts","../src/attribute-spec/combinators/one-of.ts","../src/attribute-spec/combinators/record.ts","../src/attribute-spec/combinators/str.ts","../src/attribute-spec/field-attribute.ts","../src/attribute-spec/model-attribute.ts","../src/attribute-spec/optional.ts","../src/extension-block.ts","../src/block-reconstruction.ts","../src/symbol-table.ts"],"sourcesContent":["import type { PslAttribute } from '@prisma-next/framework-components/psl-ast';\n\nexport function getPositionalArgument(attribute: PslAttribute, index = 0): string | undefined {\n  const entries = attribute.args.filter((arg) => arg.kind === 'positional');\n  return entries[index]?.value;\n}\n\nexport function parseQuotedStringLiteral(value: string): string | undefined {\n  const trimmed = value.trim();\n  const match = trimmed.match(/^(['\"])(.*)\\1$/);\n  if (!match) return undefined;\n  return match[2] ?? '';\n}\n","import type { PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport type { Position, Range, SourceFile } from './source-file';\nimport type {\n  AttributeArgListAst,\n  FieldAttributeAst,\n  ModelAttributeAst,\n} from './syntax/ast/attributes';\nimport type { ExpressionAst } from './syntax/ast/expressions';\nimport type { QualifiedNameAst } from './syntax/ast/qualified-name';\nimport type { TypeAnnotationAst } from './syntax/ast/type-annotation';\nimport { printSyntax } from './syntax/ast-helpers';\nimport type { SyntaxNode } from './syntax/red';\n\nexport interface ResolvedAttributeArg {\n  readonly kind: 'positional' | 'named';\n  readonly name?: string;\n  readonly value: string;\n  readonly expression?: ExpressionAst;\n  readonly span: PslSpan;\n}\n\nexport interface ResolvedAttribute {\n  readonly name: string;\n  readonly args: readonly ResolvedAttributeArg[];\n  readonly span: PslSpan;\n}\n\nexport interface ResolvedTypeConstructorCall {\n  readonly path: readonly string[];\n  readonly args: readonly ResolvedAttributeArg[];\n  readonly span: PslSpan;\n}\n\nexport function readResolvedAttribute(\n  attribute: FieldAttributeAst | ModelAttributeAst,\n  sourceFile: SourceFile,\n): ResolvedAttribute {\n  return {\n    name: attributeName(attribute.name()),\n    args: readResolvedArgList(attribute.argList(), sourceFile),\n    span: nodePslSpan(attribute.syntax, sourceFile),\n  };\n}\n\nexport function readResolvedAttributes(\n  attributes: Iterable<FieldAttributeAst | ModelAttributeAst>,\n  sourceFile: SourceFile,\n): readonly ResolvedAttribute[] {\n  return Array.from(attributes, (attribute) => readResolvedAttribute(attribute, sourceFile));\n}\n\nexport function readResolvedConstructorCall(\n  annotation: TypeAnnotationAst | undefined,\n  sourceFile: SourceFile,\n): ResolvedTypeConstructorCall | undefined {\n  const argList = annotation?.argList();\n  if (annotation === undefined || argList === undefined) return undefined;\n  return {\n    path: annotation.name()?.path() ?? [],\n    args: readResolvedArgList(argList, sourceFile),\n    span: nodePslSpan(annotation.syntax, sourceFile),\n  };\n}\n\nfunction readResolvedArgList(\n  argList: AttributeArgListAst | undefined,\n  sourceFile: SourceFile,\n): readonly ResolvedAttributeArg[] {\n  if (argList === undefined) return [];\n  const args: ResolvedAttributeArg[] = [];\n  for (const arg of argList.args()) {\n    const name = arg.name()?.name();\n    const expression = arg.value();\n    args.push({\n      kind: name !== undefined ? 'named' : 'positional',\n      ...(name !== undefined ? { name } : {}),\n      value: renderExpression(expression),\n      ...(expression !== undefined ? { expression } : {}),\n      span: nodePslSpan(arg.syntax, sourceFile),\n    });\n  }\n  return args;\n}\n\nfunction attributeName(name: QualifiedNameAst | undefined): string {\n  return name?.path().join('.') ?? '';\n}\n\nfunction renderExpression(expression: ExpressionAst | undefined): string {\n  if (expression === undefined) return '';\n  return printSyntax(expression.syntax).trim();\n}\n\nexport function nodePslSpan(node: SyntaxNode, sourceFile: SourceFile): PslSpan {\n  const start = node.offset;\n  const end = start + node.green.textLength;\n  return {\n    start: offsetToPslPosition(start, sourceFile),\n    end: offsetToPslPosition(end, sourceFile),\n  };\n}\n\n/** Unsupported-top-level-block diagnostics are anchored to the keyword token. */\nexport function keywordPslSpan(node: SyntaxNode, keyword: string, sourceFile: SourceFile): PslSpan {\n  const start = node.offset;\n  const end = start + keyword.length;\n  return {\n    start: offsetToPslPosition(start, sourceFile),\n    end: offsetToPslPosition(end, sourceFile),\n  };\n}\n\nexport function rangeToPslSpan(range: Range, sourceFile: SourceFile): PslSpan {\n  return {\n    start: offsetToPslPosition(sourceFile.offsetAt(range.start), sourceFile),\n    end: offsetToPslPosition(sourceFile.offsetAt(range.end), sourceFile),\n  };\n}\n\nfunction offsetToPslPosition(offset: number, sourceFile: SourceFile): PslSpan['start'] {\n  const position: Position = sourceFile.positionAt(offset);\n  return { offset, line: position.line + 1, column: position.character + 1 };\n}\n","import type { PslDiagnostic, PslDiagnosticCode } from '@prisma-next/framework-components/psl-ast';\nimport { nodePslSpan } from '../../resolve';\nimport type { AstNode } from '../../syntax/ast-helpers';\nimport type { InterpretCtx } from '../types';\n\nexport const ATTRIBUTE_DIAGNOSTIC_CODE: PslDiagnosticCode = 'PSL_INVALID_ATTRIBUTE_SYNTAX';\n\nexport function leafDiagnostic(ctx: InterpretCtx, node: AstNode, message: string): PslDiagnostic {\n  return {\n    code: ATTRIBUTE_DIAGNOSTIC_CODE,\n    message,\n    sourceId: ctx.sourceId,\n    span: nodePslSpan(node.syntax, ctx.sourceFile),\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { BooleanLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function bool(): ArgType<boolean> {\n  return {\n    kind: 'bool',\n    label: 'boolean',\n    parse: (arg, ctx): Result<boolean, readonly PslDiagnostic[]> => {\n      if (arg instanceof BooleanLiteralExprAst) {\n        const value = arg.value();\n        if (value !== undefined) return ok(value);\n      }\n      return notOk([leafDiagnostic(ctx, arg, 'Expected a boolean literal')]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { IdentifierAst } from '../../syntax/ast/identifier';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\n// A bare model-name reference. Existence of a model with this name is resolved\n// downstream (e.g. `resolvePolymorphism`), not here.\nexport function entityRef(): ArgType<string> {\n  return {\n    kind: 'entityRef',\n    label: 'model name',\n    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {\n      if (!(arg instanceof IdentifierAst)) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a model name')]);\n      }\n      const name = arg.name();\n      if (name === undefined) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a model name')]);\n      }\n      return ok(name);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { IdentifierAst } from '../../syntax/ast/identifier';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport type FieldRefScope = 'self' | 'referenced';\n\nexport interface FieldRefArgType extends ArgType<string> {\n  readonly scope: FieldRefScope;\n}\n\nexport function fieldRef(scope: FieldRefScope): FieldRefArgType {\n  return {\n    kind: 'fieldRef',\n    label: 'field name',\n    scope,\n    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {\n      if (!(arg instanceof IdentifierAst)) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a field name')]);\n      }\n      const name = arg.name();\n      if (name === undefined) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected a field name')]);\n      }\n      const model = scope === 'self' ? ctx.selfModel : ctx.resolveReferencedModel();\n      // A referenced model in another space can't be resolved here (resolveReferencedModel returns undefined); skip the existence check — it runs where that model is known.\n      if (model !== undefined && !Object.hasOwn(model.fields, name)) {\n        return notOk([\n          leafDiagnostic(ctx, arg, `Field \"${name}\" does not exist on model \"${model.name}\"`),\n        ]);\n      }\n      return ok(name);\n    },\n  };\n}\n","import type { PslDiagnostic, PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { nodePslSpan } from '../resolve';\nimport type { FieldAttributeAst, ModelAttributeAst } from '../syntax/ast/attributes';\nimport type { AttributeArgAst } from '../syntax/ast/expressions';\nimport { ATTRIBUTE_DIAGNOSTIC_CODE } from './combinators/diagnostic';\nimport type {\n  ArgType,\n  AttributeSpec,\n  InterpretCtx,\n  OptionalArgType,\n  Param,\n  PositionalParam,\n} from './types';\n\n// The positional/named argument-binding for an attribute or a function call. `name` labels the\n// callee in binding diagnostics (`Attribute \"<name>\" …`); `span` anchors the arity diagnostics\n// (too-many / missing) that have no per-argument node to point at.\nexport interface ArgBindingSpec {\n  readonly name: string;\n  readonly positional: readonly PositionalParam<unknown>[];\n  readonly named: Readonly<Record<string, Param<unknown>>>;\n}\n\nexport function interpretArgs(\n  args: Iterable<AttributeArgAst>,\n  spec: ArgBindingSpec,\n  ctx: InterpretCtx,\n  span: PslSpan,\n): Result<Record<string, unknown>, readonly PslDiagnostic[]> {\n  const diagnostics: PslDiagnostic[] = [];\n\n  const output: Record<string, unknown> = {};\n  const seen = new Set<string>();\n  let positionalSlot = 0;\n  let reportedExcess = false;\n\n  for (const arg of args) {\n    const name = arg.name()?.name();\n\n    let key: string;\n    let param: Param<unknown>;\n    if (name === undefined) {\n      const posParam = spec.positional[positionalSlot];\n      if (posParam === undefined) {\n        if (!reportedExcess) {\n          diagnostics.push(\n            diagnostic(\n              `Attribute \"${spec.name}\" received too many positional arguments`,\n              ctx,\n              span,\n            ),\n          );\n          reportedExcess = true;\n        }\n        continue;\n      }\n      positionalSlot += 1;\n      key = posParam.key;\n      param = posParam.type;\n    } else {\n      const namedParam = Object.hasOwn(spec.named, name) ? spec.named[name] : undefined;\n      if (namedParam === undefined) {\n        diagnostics.push(\n          diagnostic(\n            `Attribute \"${spec.name}\" received unknown argument \"${name}\"`,\n            ctx,\n            nodePslSpan(arg.syntax, ctx.sourceFile),\n          ),\n        );\n        continue;\n      }\n      key = name;\n      param = namedParam;\n    }\n\n    if (seen.has(key)) {\n      diagnostics.push(\n        diagnostic(\n          `Attribute \"${spec.name}\" received duplicate argument \"${key}\"`,\n          ctx,\n          nodePslSpan(arg.syntax, ctx.sourceFile),\n        ),\n      );\n      continue;\n    }\n    seen.add(key);\n    const result = parseArgValue(arg, param, ctx, diagnostics);\n    if (result.ok) output[key] = result.value;\n  }\n\n  const finalized = new Set<string>();\n  const finalizeAbsentKey = (\n    key: string,\n    positionalParam: Param<unknown> | undefined,\n    namedParam: Param<unknown> | undefined,\n  ): void => {\n    if (finalized.has(key) || seen.has(key)) return;\n    finalized.add(key);\n    const effective = namedParam ?? positionalParam;\n    if (effective === undefined) return;\n    if (isOptionalArgType(effective)) {\n      if (effective.hasDefault) output[key] = effective.defaultValue;\n      return;\n    }\n    diagnostics.push(\n      diagnostic(`Attribute \"${spec.name}\" is missing required argument \"${key}\"`, ctx, span),\n    );\n  };\n\n  for (const param of spec.positional) {\n    const namedParam = Object.hasOwn(spec.named, param.key) ? spec.named[param.key] : undefined;\n    finalizeAbsentKey(param.key, param.type, namedParam);\n  }\n  for (const key of Object.keys(spec.named)) {\n    finalizeAbsentKey(key, undefined, spec.named[key]);\n  }\n\n  if (diagnostics.length > 0) {\n    return notOk<readonly PslDiagnostic[]>(diagnostics);\n  }\n  return ok(output);\n}\n\nexport function interpretAttribute<Out>(\n  attrNode: FieldAttributeAst | ModelAttributeAst,\n  spec: AttributeSpec<Out>,\n  ctx: InterpretCtx,\n): Result<Out, readonly PslDiagnostic[]> {\n  const attributeSpan = nodePslSpan(attrNode.syntax, ctx.sourceFile);\n  const bound = interpretArgs(attrNode.argList()?.args() ?? [], spec, ctx, attributeSpan);\n  if (!bound.ok) return notOk<readonly PslDiagnostic[]>(bound.failure);\n\n  const value = blindCast<\n    Out,\n    'The engine builds the output object structurally from the spec; TypeScript cannot relate the dynamically-keyed record to the spec-inferred output type.'\n  >(bound.value);\n  if (spec.refine !== undefined) {\n    const refineDiagnostics = spec.refine(value, ctx);\n    if (refineDiagnostics.length > 0) {\n      return notOk<readonly PslDiagnostic[]>(refineDiagnostics);\n    }\n  }\n  return ok(value);\n}\n\nfunction parseArgValue(\n  arg: AttributeArgAst,\n  argType: ArgType<unknown>,\n  ctx: InterpretCtx,\n  diagnostics: PslDiagnostic[],\n): Result<unknown, readonly PslDiagnostic[]> {\n  const value = arg.value();\n  if (value === undefined) {\n    const missing = diagnostic(\n      'Attribute argument is missing a value',\n      ctx,\n      nodePslSpan(arg.syntax, ctx.sourceFile),\n    );\n    diagnostics.push(missing);\n    return notOk<readonly PslDiagnostic[]>([missing]);\n  }\n  const result = argType.parse(value, ctx);\n  if (!result.ok) {\n    for (const failure of result.failure) diagnostics.push(failure);\n  }\n  return result;\n}\n\nfunction isOptionalArgType(param: Param<unknown>): param is OptionalArgType<unknown> {\n  return 'optional' in param && param.optional === true;\n}\n\nfunction diagnostic(message: string, ctx: InterpretCtx, span: PslSpan): PslDiagnostic {\n  return { code: ATTRIBUTE_DIAGNOSTIC_CODE, message, sourceId: ctx.sourceId, span };\n}\n","import type { PslDiagnostic, PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { nodePslSpan } from '../../resolve';\nimport type { ExpressionAst } from '../../syntax/ast/expressions';\nimport { FunctionCallAst } from '../../syntax/ast/expressions';\nimport { interpretArgs } from '../interpret';\nimport type { ArgType, InterpretCtx, Param, PositionalParam } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\n// The argument signature of a pinned function call — the same positional/named shape an attribute\n// spec uses. Omitted groups default to empty, so a nullary call needs neither key.\nexport interface FuncCallSig {\n  readonly positional?: readonly PositionalParam<unknown>[];\n  readonly named?: Readonly<Record<string, Param<unknown>>>;\n}\n\nexport interface TypedFuncCall {\n  readonly fn: string;\n  readonly span: PslSpan;\n  readonly args: Readonly<Record<string, unknown>>;\n}\n\n// A name-pinned function-call argument — `funcCall('now', {})` matches `now()`, parsing the call's\n// arguments through `sig`.\nexport function funcCall(name: string, sig: FuncCallSig): ArgType<TypedFuncCall> {\n  return {\n    kind: 'funcCall',\n    label: 'function call',\n    parse: (arg, ctx): Result<TypedFuncCall, readonly PslDiagnostic[]> => {\n      const guard = matchCallee(arg, name, ctx);\n      if (!guard.ok) return guard;\n      const span = nodePslSpan(guard.value.syntax, ctx.sourceFile);\n      const bound = interpretArgs(\n        guard.value.args(),\n        { name, positional: sig.positional ?? [], named: sig.named ?? {} },\n        ctx,\n        span,\n      );\n      if (!bound.ok) return notOk<readonly PslDiagnostic[]>(bound.failure);\n      return ok({ fn: name, span, args: bound.value });\n    },\n  };\n}\n\nfunction matchCallee(\n  arg: ExpressionAst,\n  name: string,\n  ctx: InterpretCtx,\n): Result<FunctionCallAst, readonly PslDiagnostic[]> {\n  if (!(arg instanceof FunctionCallAst)) {\n    return notOk([leafDiagnostic(ctx, arg, 'Expected a function call')]);\n  }\n  const qname = arg.name();\n  if (qname === undefined || qname.dot() !== undefined || qname.colon() !== undefined) {\n    return notOk([leafDiagnostic(ctx, arg, 'Expected a function call')]);\n  }\n  const calleeName = qname.identifier()?.token()?.text;\n  if (calleeName === undefined) {\n    return notOk([leafDiagnostic(ctx, arg, 'Expected a function call')]);\n  }\n  if (calleeName !== name) {\n    return notOk([leafDiagnostic(ctx, arg, `Expected ${name}()`)]);\n  }\n  return ok(arg);\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { IdentifierAst } from '../../syntax/ast/identifier';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function identifier<const N extends string>(name: N): ArgType<N> {\n  return {\n    kind: 'identifier',\n    label: name,\n    parse: (arg, ctx): Result<N, readonly PslDiagnostic[]> => {\n      if (arg instanceof IdentifierAst && arg.name() === name) return ok(name);\n      return notOk([leafDiagnostic(ctx, arg, `Expected ${name}`)]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { NumberLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\n// An integer literal reduced to its numeric value. Passing `min`/`max` additionally rejects\n// out-of-range integers with a distinct range message, leaving the integer-only check intact.\nexport function int(opts?: { min?: number; max?: number }): ArgType<number> {\n  const min = opts?.min;\n  const max = opts?.max;\n  return {\n    kind: 'int',\n    label: 'integer',\n    parse: (arg, ctx): Result<number, readonly PslDiagnostic[]> => {\n      if (arg instanceof NumberLiteralExprAst) {\n        const value = arg.value();\n        if (value !== undefined && Number.isInteger(value)) {\n          if ((min === undefined || value >= min) && (max === undefined || value <= max)) {\n            return ok(value);\n          }\n          return notOk([leafDiagnostic(ctx, arg, rangeMessage(min, max))]);\n        }\n      }\n      return notOk([leafDiagnostic(ctx, arg, 'Expected an integer literal')]);\n    },\n  };\n}\n\nfunction rangeMessage(min: number | undefined, max: number | undefined): string {\n  if (min !== undefined && max !== undefined)\n    return `Expected an integer between ${min} and ${max}`;\n  if (min !== undefined) return `Expected an integer greater than or equal to ${min}`;\n  return `Expected an integer less than or equal to ${max}`;\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { ArrayLiteralAst, type ExpressionAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport interface ListOptions {\n  readonly nonEmpty?: boolean;\n  readonly unique?: boolean;\n}\n\nexport function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]> {\n  return {\n    kind: 'list',\n    label: `${of.label}[]`,\n    parse: (arg, ctx): Result<T[], readonly PslDiagnostic[]> => {\n      if (!(arg instanceof ArrayLiteralAst)) {\n        return notOk([leafDiagnostic(ctx, arg, `Expected a list of ${of.label}`)]);\n      }\n      const diagnostics: PslDiagnostic[] = [];\n      const parsed: { node: ExpressionAst; value: T }[] = [];\n      let count = 0;\n      for (const element of arg.elements()) {\n        count += 1;\n        const result = of.parse(element, ctx);\n        if (result.ok) parsed.push({ node: element, value: result.value });\n        else diagnostics.push(...result.failure);\n      }\n      if (opts?.nonEmpty === true && count === 0) {\n        diagnostics.push(leafDiagnostic(ctx, arg, 'Expected a non-empty list'));\n      }\n      if (opts?.unique === true) {\n        const seen = new Set<T>();\n        for (const { node, value } of parsed) {\n          if (seen.has(value)) diagnostics.push(leafDiagnostic(ctx, node, 'Duplicate list entry'));\n          else seen.add(value);\n        }\n      }\n      if (diagnostics.length > 0) return notOk(diagnostics);\n      return ok(parsed.map((entry) => entry.value));\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { NumberLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\n// A general number literal — any number, including floats — reduced to its numeric value.\n// Passing `value` pins the combinator to that single literal (`num(4)` matches only `4`),\n// mirroring how `identifier(name)` pins a bare identifier. Use `int()` when only integer\n// literals are allowed.\nexport function num(): ArgType<number>;\nexport function num(value: number): ArgType<number>;\nexport function num(value?: number): ArgType<number> {\n  return {\n    kind: 'num',\n    label: value === undefined ? 'number' : String(value),\n    parse: (arg, ctx): Result<number, readonly PslDiagnostic[]> => {\n      if (arg instanceof NumberLiteralExprAst) {\n        const parsed = arg.value();\n        if (parsed !== undefined && (value === undefined || parsed === value)) return ok(parsed);\n      }\n      const message = value === undefined ? 'Expected a number literal' : `Expected ${value}`;\n      return notOk([leafDiagnostic(ctx, arg, message)]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport type { ArgType, OutOf } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function oneOf<Alts extends readonly [ArgType<unknown>, ...ArgType<unknown>[]]>(\n  ...alts: Alts\n): ArgType<OutOf<Alts[number]>> {\n  const label = alts.map((alt) => alt.label).join(' | ');\n  return {\n    kind: 'oneOf',\n    label,\n    parse: (arg, ctx): Result<OutOf<Alts[number]>, readonly PslDiagnostic[]> => {\n      for (const alt of alts) {\n        const result = alt.parse(arg, ctx);\n        if (result.ok) {\n          return ok(\n            blindCast<\n              OutOf<Alts[number]>,\n              'The matched value comes from an alternative whose output type is a member of the union, but iterating the tuple widens each element to ArgType<unknown>, erasing that relationship.'\n            >(result.value),\n          );\n        }\n      }\n      return notOk([leafDiagnostic(ctx, arg, `Expected one of: ${label}`)]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { ObjectLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function record<T>(of: ArgType<T>): ArgType<Record<string, T>> {\n  return {\n    kind: 'record',\n    label: `{ [key]: ${of.label} }`,\n    parse: (arg, ctx): Result<Record<string, T>, readonly PslDiagnostic[]> => {\n      if (!(arg instanceof ObjectLiteralExprAst)) {\n        return notOk([leafDiagnostic(ctx, arg, 'Expected an object literal')]);\n      }\n      const diagnostics: PslDiagnostic[] = [];\n      const result: Record<string, T> = {};\n      for (const field of arg.fields()) {\n        const key = field.keyName();\n        if (key === undefined) {\n          diagnostics.push(leafDiagnostic(ctx, field, 'Expected a key'));\n          continue;\n        }\n        const value = field.value();\n        if (value === undefined) {\n          diagnostics.push(leafDiagnostic(ctx, field, `Expected a value for key \"${key}\"`));\n          continue;\n        }\n        const parsed = of.parse(value, ctx);\n        if (!parsed.ok) {\n          diagnostics.push(...parsed.failure);\n          continue;\n        }\n        if (Object.hasOwn(result, key)) {\n          diagnostics.push(leafDiagnostic(ctx, field, `Duplicate key \"${key}\"`));\n          continue;\n        }\n        result[key] = parsed.value;\n      }\n      if (diagnostics.length > 0) return notOk(diagnostics);\n      return ok(result);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport { notOk, ok, type Result } from '@prisma-next/utils/result';\nimport { StringLiteralExprAst } from '../../syntax/ast/expressions';\nimport type { ArgType } from '../types';\nimport { leafDiagnostic } from './diagnostic';\n\nexport function str(): ArgType<string> {\n  return {\n    kind: 'str',\n    label: 'string',\n    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {\n      if (arg instanceof StringLiteralExprAst) {\n        const value = arg.value();\n        if (value !== undefined) return ok(value);\n      }\n      return notOk([leafDiagnostic(ctx, arg, 'Expected a string literal')]);\n    },\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport type { AttributeOut, AttributeSpec, InterpretCtx, Param, PositionalParam } from './types';\n\ninterface FieldAttributeConfig<\n  Pos extends readonly PositionalParam[],\n  Named extends Record<string, Param<unknown>>,\n> {\n  readonly positional?: Pos;\n  readonly named?: Named;\n  readonly refine?: (\n    parsed: AttributeOut<Pos, Named>,\n    ctx: InterpretCtx,\n  ) => readonly PslDiagnostic[];\n}\n\nexport function fieldAttribute<\n  const Pos extends readonly PositionalParam[] = readonly [],\n  const Named extends Record<string, Param<unknown>> = Record<never, never>,\n>(name: string, config: FieldAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>> {\n  return {\n    level: 'field',\n    name,\n    positional: config.positional ?? [],\n    named: config.named ?? {},\n    ...(config.refine !== undefined ? { refine: config.refine } : {}),\n  };\n}\n","import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';\nimport type { AttributeOut, AttributeSpec, InterpretCtx, Param, PositionalParam } from './types';\n\ninterface ModelAttributeConfig<\n  Pos extends readonly PositionalParam[],\n  Named extends Record<string, Param<unknown>>,\n> {\n  readonly positional?: Pos;\n  readonly named?: Named;\n  readonly refine?: (\n    parsed: AttributeOut<Pos, Named>,\n    ctx: InterpretCtx,\n  ) => readonly PslDiagnostic[];\n}\n\nexport function modelAttribute<\n  const Pos extends readonly PositionalParam[] = readonly [],\n  const Named extends Record<string, Param<unknown>> = Record<never, never>,\n>(name: string, config: ModelAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>> {\n  return {\n    level: 'model',\n    name,\n    positional: config.positional ?? [],\n    named: config.named ?? {},\n    ...(config.refine !== undefined ? { refine: config.refine } : {}),\n  };\n}\n","import type { ArgType, OptionalArgType } from './types';\n\nexport function optional<T>(type: ArgType<T>, ...rest: [defaultValue: T] | []): OptionalArgType<T> {\n  if (rest.length === 0) {\n    return { ...type, optional: true, hasDefault: false };\n  }\n  return { ...type, optional: true, hasDefault: true, defaultValue: rest[0] };\n}\n","import {\n  type AuthoringPslBlockDescriptor,\n  type AuthoringPslBlockDescriptorNamespace,\n  isAuthoringPslBlockDescriptor,\n} from '@prisma-next/framework-components/authoring';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport {\n  makePslNamespace,\n  makePslNamespaceEntries,\n  type PslDiagnostic,\n  type PslModel,\n  type PslSpan,\n  UNSPECIFIED_PSL_NAMESPACE_ID,\n  validateExtensionBlock,\n} from '@prisma-next/framework-components/psl-ast';\nimport type { SourceFile } from './source-file';\nimport type { BlockSymbol, ModelSymbol, SymbolTable } from './symbol-table';\n\nexport function findBlockDescriptor(\n  descriptors: AuthoringPslBlockDescriptorNamespace | undefined,\n  keyword: string,\n): AuthoringPslBlockDescriptor | undefined {\n  if (descriptors === undefined) return undefined;\n  for (const value of Object.values(descriptors)) {\n    if (value === undefined) continue;\n    if (isAuthoringPslBlockDescriptor(value)) {\n      if (value.keyword === keyword) return value;\n      continue;\n    }\n    const nested = findBlockDescriptor(value, keyword);\n    if (nested !== undefined) return nested;\n  }\n  return undefined;\n}\n\nexport function validateExtensionBlockFromSymbol(input: {\n  readonly block: BlockSymbol;\n  readonly descriptor: AuthoringPslBlockDescriptor;\n  readonly symbolTable: SymbolTable;\n  readonly sourceFile: SourceFile;\n  readonly sourceId: string;\n  readonly codecLookup: CodecLookup;\n}): readonly PslDiagnostic[] {\n  const refCtx = buildRefResolutionContext(input.symbolTable, input.block);\n  return validateExtensionBlock(\n    input.block.block,\n    input.descriptor,\n    input.sourceId,\n    input.codecLookup,\n    refCtx,\n  );\n}\n\nconst ZERO_SPAN: PslSpan = {\n  start: { offset: 0, line: 1, column: 1 },\n  end: { offset: 0, line: 1, column: 1 },\n};\n\nfunction buildRefResolutionContext(\n  symbolTable: SymbolTable,\n  block: BlockSymbol,\n): {\n  ownerNamespace: ReturnType<typeof makePslNamespace>;\n  allNamespaces: readonly ReturnType<typeof makePslNamespace>[];\n} {\n  const unspecifiedNamespace = makeNamespace(\n    UNSPECIFIED_PSL_NAMESPACE_ID,\n    Object.values(symbolTable.topLevel.models),\n  );\n  const namedNamespaces = Object.values(symbolTable.topLevel.namespaces).map((namespace) =>\n    makeNamespace(namespace.name, Object.values(namespace.models)),\n  );\n  const allNamespaces = [unspecifiedNamespace, ...namedNamespaces];\n  const ownerNamespaceName = findOwnerNamespaceName(symbolTable, block);\n  const ownerNamespace =\n    allNamespaces.find((namespace) => namespace.name === ownerNamespaceName) ??\n    unspecifiedNamespace;\n  return { ownerNamespace, allNamespaces };\n}\n\nfunction makeNamespace(\n  name: string,\n  models: readonly ModelSymbol[],\n): ReturnType<typeof makePslNamespace> {\n  const modelStubs: PslModel[] = models.map((model) => ({\n    kind: 'model',\n    name: model.name,\n    fields: [],\n    attributes: [],\n    span: ZERO_SPAN,\n  }));\n  return makePslNamespace({\n    kind: 'namespace',\n    name,\n    entries: makePslNamespaceEntries(modelStubs, [], []),\n    span: ZERO_SPAN,\n  });\n}\n\nfunction findOwnerNamespaceName(symbolTable: SymbolTable, block: BlockSymbol): string {\n  for (const namespace of Object.values(symbolTable.topLevel.namespaces)) {\n    if (Object.values(namespace.blocks).some((candidate) => candidate === block)) {\n      return namespace.name;\n    }\n  }\n  return UNSPECIFIED_PSL_NAMESPACE_ID;\n}\n","import type { AuthoringPslBlockDescriptor } from '@prisma-next/framework-components/authoring';\nimport type {\n  PslBlockParam,\n  PslExtensionBlock,\n  PslExtensionBlockAttribute,\n  PslExtensionBlockParamValue,\n  PslSpan,\n} from '@prisma-next/framework-components/psl-ast';\nimport type { ParseDiagnostic } from './parse';\nimport { nodePslSpan } from './resolve';\nimport type { SourceFile } from './source-file';\nimport type { GenericBlockDeclarationAst, KeyValuePairAst } from './syntax/ast/declarations';\nimport { ArrayLiteralAst, type ExpressionAst } from './syntax/ast/expressions';\nimport { printSyntax } from './syntax/ast-helpers';\n\n/**\n * Descriptor-free and unknown parameters become `value` stubs so validation can\n * report them via key-set comparison. Duplicate member names are first-wins.\n */\nexport function reconstructExtensionBlock(\n  node: GenericBlockDeclarationAst,\n  descriptor: AuthoringPslBlockDescriptor | undefined,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): PslExtensionBlock {\n  const keyword = node.keyword()?.text ?? '';\n  const blockName = node.name()?.name() ?? '';\n\n  const blockAttributes: PslExtensionBlockAttribute[] = [];\n  for (const attribute of node.attributes()) {\n    const name = attribute.name()?.path().join('.') ?? '';\n    const args = Array.from(attribute.argList()?.args() ?? [], (arg) => {\n      const value = arg.value();\n      return {\n        kind: 'positional' as const,\n        value: value === undefined ? '' : printSyntax(value.syntax).trim(),\n        span: nodePslSpan(arg.syntax, sourceFile),\n      };\n    });\n    blockAttributes.push({\n      name,\n      args,\n      span: nodePslSpan(attribute.syntax, sourceFile),\n    });\n  }\n\n  const parameters: Record<string, PslExtensionBlockParamValue> = {};\n  for (const entry of node.entries()) {\n    const key = entry.key()?.name();\n    if (key === undefined) continue;\n    const span = nodePslSpan(entry.syntax, sourceFile);\n    if (Object.hasOwn(parameters, key)) {\n      diagnostics.push({\n        code: 'PSL_EXTENSION_DUPLICATE_PARAMETER',\n        message: `Duplicate parameter \"${key}\" in \"${keyword}\" block \"${blockName}\"; first occurrence wins`,\n        range: {\n          start: sourceFile.positionAt(entry.syntax.offset),\n          end: sourceFile.positionAt(entry.syntax.offset + entry.syntax.green.textLength),\n        },\n      });\n      continue;\n    }\n    parameters[key] = reconstructParamValue(\n      entry,\n      descriptor?.parameters[key],\n      span,\n      sourceFile,\n      diagnostics,\n    );\n  }\n\n  return {\n    kind: descriptor?.discriminator ?? keyword,\n    keyword,\n    name: blockName,\n    parameters,\n    blockAttributes,\n    span: nodePslSpan(node.syntax, sourceFile),\n  };\n}\n\nfunction reconstructParamValue(\n  entry: KeyValuePairAst,\n  param: PslBlockParam | undefined,\n  span: PslSpan,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): PslExtensionBlockParamValue {\n  const value = entry.value();\n  if (value === undefined) {\n    return { kind: 'bare', span };\n  }\n  return reconstructFromExpression(value, param, span, sourceFile, diagnostics);\n}\n\nfunction reconstructFromExpression(\n  value: ExpressionAst,\n  param: PslBlockParam | undefined,\n  span: PslSpan,\n  sourceFile: SourceFile,\n  diagnostics?: ParseDiagnostic[],\n): PslExtensionBlockParamValue {\n  const raw = printSyntax(value.syntax).trim();\n  if (param?.kind === 'list') {\n    const array = ArrayLiteralAst.cast(value.syntax);\n    if (!array) {\n      diagnostics?.push({\n        code: 'PSL_EXTENSION_INVALID_VALUE',\n        message: `List parameter expects an array literal, got ${raw}`,\n        range: {\n          start: sourceFile.positionAt(value.syntax.offset),\n          end: sourceFile.positionAt(value.syntax.offset + value.syntax.green.textLength),\n        },\n      });\n      return { kind: 'value', raw, span };\n    }\n\n    const items: PslExtensionBlockParamValue[] = [];\n    for (const element of array.elements()) {\n      items.push(\n        reconstructFromExpression(\n          element,\n          param.of,\n          nodePslSpan(element.syntax, sourceFile),\n          sourceFile,\n          diagnostics,\n        ),\n      );\n    }\n    return { kind: 'list', items, span };\n  }\n  switch (param?.kind) {\n    case 'ref':\n      return { kind: 'ref', identifier: raw, span };\n    case 'option':\n      return { kind: 'option', token: raw, span };\n    default:\n      return { kind: 'value', raw, span };\n  }\n}\n","import type { AuthoringPslBlockDescriptorNamespace } from '@prisma-next/framework-components/authoring';\nimport type { PslExtensionBlock, PslSpan } from '@prisma-next/framework-components/psl-ast';\nimport { reconstructExtensionBlock } from './block-reconstruction';\nimport { findBlockDescriptor } from './extension-block';\nimport type { ParseDiagnostic } from './parse';\nimport {\n  nodePslSpan,\n  type ResolvedAttribute,\n  type ResolvedTypeConstructorCall,\n  readResolvedAttributes,\n  readResolvedConstructorCall,\n} from './resolve';\nimport type { Range, SourceFile } from './source-file';\nimport {\n  CompositeTypeDeclarationAst,\n  type DocumentAst,\n  type FieldDeclarationAst,\n  GenericBlockDeclarationAst,\n  ModelDeclarationAst,\n  type NamedTypeDeclarationAst,\n  NamespaceDeclarationAst,\n  TypesBlockAst,\n} from './syntax/ast/declarations';\nimport type { IdentifierAst } from './syntax/ast/identifier';\nimport type { SyntaxNode } from './syntax/red';\n\nexport type {\n  ResolvedAttribute,\n  ResolvedAttributeArg,\n  ResolvedTypeConstructorCall,\n} from './resolve';\n\nexport interface SymbolTable {\n  readonly topLevel: TopLevelScope;\n}\n\nexport interface TopLevelScope {\n  readonly namespaces: Record<string, NamespaceSymbol>;\n  readonly scalars: Record<string, ScalarSymbol>;\n  readonly typeAliases: Record<string, TypeAliasSymbol>;\n  readonly blocks: Record<string, BlockSymbol>;\n  readonly models: Record<string, ModelSymbol>;\n  readonly compositeTypes: Record<string, CompositeTypeSymbol>;\n}\n\nexport interface NamespaceSymbol {\n  readonly kind: 'namespace';\n  readonly name: string;\n  readonly node: NamespaceDeclarationAst;\n  readonly span: PslSpan;\n  readonly models: Record<string, ModelSymbol>;\n  readonly compositeTypes: Record<string, CompositeTypeSymbol>;\n  readonly blocks: Record<string, BlockSymbol>;\n}\n\nexport interface ModelSymbol {\n  readonly kind: 'model';\n  readonly name: string;\n  readonly node: ModelDeclarationAst;\n  readonly span: PslSpan;\n  readonly fields: Record<string, FieldSymbol>;\n  readonly attributes: readonly ResolvedAttribute[];\n}\n\nexport interface CompositeTypeSymbol {\n  readonly kind: 'compositeType';\n  readonly name: string;\n  readonly node: CompositeTypeDeclarationAst;\n  readonly span: PslSpan;\n  readonly fields: Record<string, FieldSymbol>;\n  readonly attributes: readonly ResolvedAttribute[];\n}\n\nexport interface BlockSymbol {\n  readonly kind: 'block';\n  readonly name: string;\n  readonly keyword: string;\n  readonly node: GenericBlockDeclarationAst;\n  readonly span: PslSpan;\n  /** Resolved once so consumers do not independently classify block parameters. */\n  readonly block: PslExtensionBlock;\n}\n\nexport interface ResolvedNamedTypeBinding {\n  readonly baseType?: string;\n  readonly typeConstructor?: ResolvedTypeConstructorCall;\n  readonly isConstructor: boolean;\n  readonly attributes: readonly ResolvedAttribute[];\n}\n\nexport interface ScalarSymbol extends ResolvedNamedTypeBinding {\n  readonly kind: 'scalar';\n  readonly name: string;\n  readonly node: NamedTypeDeclarationAst;\n  readonly span: PslSpan;\n}\n\nexport interface TypeAliasSymbol extends ResolvedNamedTypeBinding {\n  readonly kind: 'typeAlias';\n  readonly name: string;\n  readonly node: NamedTypeDeclarationAst;\n  readonly span: PslSpan;\n}\n\nexport interface FieldSymbol {\n  readonly kind: 'field';\n  readonly name: string;\n  readonly node: FieldDeclarationAst;\n  readonly span: PslSpan;\n  readonly typeName: string;\n  readonly typeNamespaceId?: string;\n  readonly typeContractSpaceId?: string;\n  readonly optional: boolean;\n  readonly list: boolean;\n  readonly typeConstructor?: ResolvedTypeConstructorCall;\n  readonly attributes: readonly ResolvedAttribute[];\n  /** Prevents cascading unsupported-type diagnostics after invalid qualification. */\n  readonly malformedType?: boolean;\n}\n\nexport interface BuildSymbolTableOptions {\n  readonly document: DocumentAst;\n  readonly sourceFile: SourceFile;\n  readonly scalarTypes: readonly string[];\n  readonly pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace;\n}\n\nexport interface SymbolTableResult {\n  readonly table: SymbolTable;\n  readonly diagnostics: readonly ParseDiagnostic[];\n}\n\n/**\n * Owns duplicate-declaration detection for all PSL scopes; downstream consumers\n * should consume first-wins symbols rather than re-emitting duplicate diagnostics.\n */\nexport function buildSymbolTable(options: BuildSymbolTableOptions): SymbolTableResult {\n  const { document, sourceFile, scalarTypes, pslBlockDescriptors } = options;\n  const diagnostics: ParseDiagnostic[] = [];\n  const scalarSet = new Set(scalarTypes);\n\n  const namespaces: Record<string, NamespaceSymbol> = {};\n  const scalars: Record<string, ScalarSymbol> = {};\n  const typeAliases: Record<string, TypeAliasSymbol> = {};\n  const blocks: Record<string, BlockSymbol> = {};\n  const models: Record<string, ModelSymbol> = {};\n  const compositeTypes: Record<string, CompositeTypeSymbol> = {};\n  const topLevelNames = new Set<string>();\n\n  const claim = (taken: Set<string>, name: IdentifierAst | undefined): string | undefined => {\n    const text = name?.name();\n    if (text === undefined) return undefined;\n    if (taken.has(text)) {\n      const range = nameRange(name, sourceFile);\n      if (range) {\n        diagnostics.push({\n          code: 'PSL_DUPLICATE_DECLARATION',\n          message: `Duplicate declaration of \"${text}\"`,\n          range,\n        });\n      }\n      return undefined;\n    }\n    taken.add(text);\n    return text;\n  };\n\n  for (const declaration of document.declarations()) {\n    if (declaration instanceof ModelDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) models[name] = buildModel(name, declaration, sourceFile, diagnostics);\n    } else if (declaration instanceof CompositeTypeDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) {\n        compositeTypes[name] = buildCompositeType(name, declaration, sourceFile, diagnostics);\n      }\n    } else if (declaration instanceof GenericBlockDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) {\n        blocks[name] = buildBlock(name, declaration, sourceFile, pslBlockDescriptors, diagnostics);\n      }\n    } else if (declaration instanceof NamespaceDeclarationAst) {\n      const name = claim(topLevelNames, declaration.name());\n      if (name !== undefined) {\n        namespaces[name] = buildNamespace(\n          name,\n          declaration,\n          diagnostics,\n          sourceFile,\n          pslBlockDescriptors,\n        );\n      }\n    } else if (declaration instanceof TypesBlockAst) {\n      for (const binding of declaration.declarations()) {\n        const name = claim(topLevelNames, binding.name());\n        if (name === undefined) continue;\n        const resolved = resolveNamedTypeBinding(binding, sourceFile);\n        const span = nodePslSpan(binding.syntax, sourceFile);\n        if (isScalarBinding(binding, scalarSet)) {\n          scalars[name] = { kind: 'scalar', name, node: binding, span, ...resolved };\n        } else {\n          typeAliases[name] = { kind: 'typeAlias', name, node: binding, span, ...resolved };\n        }\n      }\n    }\n  }\n\n  const table: SymbolTable = {\n    topLevel: { namespaces, scalars, typeAliases, blocks, models, compositeTypes },\n  };\n  return { table, diagnostics };\n}\n\nfunction buildModel(\n  name: string,\n  node: ModelDeclarationAst,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): ModelSymbol {\n  return {\n    kind: 'model',\n    name,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    fields: buildFields(name, node.fields(), sourceFile, diagnostics),\n    attributes: readResolvedAttributes(node.attributes(), sourceFile),\n  };\n}\n\nfunction buildCompositeType(\n  name: string,\n  node: CompositeTypeDeclarationAst,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): CompositeTypeSymbol {\n  return {\n    kind: 'compositeType',\n    name,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    fields: buildFields(name, node.fields(), sourceFile, diagnostics),\n    attributes: readResolvedAttributes(node.attributes(), sourceFile),\n  };\n}\n\nfunction buildBlock(\n  name: string,\n  node: GenericBlockDeclarationAst,\n  sourceFile: SourceFile,\n  pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace,\n  diagnostics: ParseDiagnostic[],\n): BlockSymbol {\n  const keyword = node.keyword()?.text ?? '';\n  const descriptor = findBlockDescriptor(pslBlockDescriptors, keyword);\n  return {\n    kind: 'block',\n    name,\n    keyword,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    block: reconstructExtensionBlock(node, descriptor, sourceFile, diagnostics),\n  };\n}\n\nfunction buildNamespace(\n  name: string,\n  node: NamespaceDeclarationAst,\n  diagnostics: ParseDiagnostic[],\n  sourceFile: SourceFile,\n  pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace,\n): NamespaceSymbol {\n  const models: Record<string, ModelSymbol> = {};\n  const compositeTypes: Record<string, CompositeTypeSymbol> = {};\n  const blocks: Record<string, BlockSymbol> = {};\n  const taken = new Set<string>();\n\n  for (const member of node.declarations()) {\n    const memberName = member.name()?.name();\n    if (memberName === undefined) continue;\n    if (taken.has(memberName)) {\n      const range = nameRange(member.name(), sourceFile);\n      if (range) {\n        diagnostics.push({\n          code: 'PSL_DUPLICATE_DECLARATION',\n          message: `Duplicate declaration of \"${memberName}\"`,\n          range,\n        });\n      }\n      continue;\n    }\n    taken.add(memberName);\n    if (member instanceof ModelDeclarationAst) {\n      models[memberName] = buildModel(memberName, member, sourceFile, diagnostics);\n    } else if (member instanceof CompositeTypeDeclarationAst) {\n      compositeTypes[memberName] = buildCompositeType(memberName, member, sourceFile, diagnostics);\n    } else if (member instanceof GenericBlockDeclarationAst) {\n      blocks[memberName] = buildBlock(\n        memberName,\n        member,\n        sourceFile,\n        pslBlockDescriptors,\n        diagnostics,\n      );\n    }\n  }\n\n  return {\n    kind: 'namespace',\n    name,\n    node,\n    span: nodePslSpan(node.syntax, sourceFile),\n    models,\n    compositeTypes,\n    blocks,\n  };\n}\n\nfunction buildFields(\n  ownerName: string,\n  fields: Iterable<FieldDeclarationAst>,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): Record<string, FieldSymbol> {\n  const result: Record<string, FieldSymbol> = {};\n  for (const field of fields) {\n    const nameNode = field.name();\n    const name = nameNode?.name();\n    if (name === undefined) continue;\n    if (Object.hasOwn(result, name)) {\n      const range = nameRange(nameNode, sourceFile);\n      if (range) {\n        diagnostics.push({\n          code: 'PSL_DUPLICATE_DECLARATION',\n          message: `Duplicate declaration of \"${name}\"`,\n          range,\n        });\n      }\n      continue;\n    }\n    result[name] = buildField(ownerName, name, field, sourceFile, diagnostics);\n  }\n  return result;\n}\n\nfunction buildField(\n  ownerName: string,\n  name: string,\n  node: FieldDeclarationAst,\n  sourceFile: SourceFile,\n  diagnostics: ParseDiagnostic[],\n): FieldSymbol {\n  const attributes = readResolvedAttributes(node.attributes(), sourceFile);\n  const span = nodePslSpan(node.syntax, sourceFile);\n  const annotation = node.typeAnnotation();\n  const typeName = annotation?.name();\n\n  if (typeName?.isOverQualified()) {\n    const path = typeName.path();\n    diagnostics.push({\n      code: 'PSL_INVALID_QUALIFIED_TYPE',\n      message: `Field \"${ownerName}.${name}\" has an invalid qualified type \"${path.join('.')}\"; use at most one namespace qualifier (e.g. \"ns.TypeName\")`,\n      range: nodeRange(typeName.syntax, sourceFile),\n    });\n    return {\n      kind: 'field',\n      name,\n      node,\n      span,\n      typeName: path[path.length - 1] ?? '',\n      optional: false,\n      list: false,\n      malformedType: true,\n      attributes,\n    };\n  }\n\n  const typeConstructor = annotation?.isConstructor()\n    ? readResolvedConstructorCall(annotation, sourceFile)\n    : undefined;\n  const typeNamespaceId = typeName?.namespace()?.name();\n  const typeContractSpaceId = typeName?.space()?.name();\n\n  return {\n    kind: 'field',\n    name,\n    node,\n    span,\n    typeName: typeName?.identifier()?.name() ?? '',\n    ...(typeNamespaceId !== undefined ? { typeNamespaceId } : {}),\n    ...(typeContractSpaceId !== undefined ? { typeContractSpaceId } : {}),\n    optional: annotation?.isOptional() ?? false,\n    list: annotation?.isList() ?? false,\n    ...(typeConstructor !== undefined ? { typeConstructor } : {}),\n    attributes,\n  };\n}\n\nfunction resolveNamedTypeBinding(\n  node: NamedTypeDeclarationAst,\n  sourceFile: SourceFile,\n): {\n  baseType?: string;\n  typeConstructor?: ResolvedTypeConstructorCall;\n  isConstructor: boolean;\n  attributes: readonly ResolvedAttribute[];\n} {\n  const annotation = node.typeAnnotation();\n  const isConstructor = annotation?.isConstructor() ?? false;\n  const baseType = annotation?.name()?.identifier()?.name();\n  const typeConstructor = readResolvedConstructorCall(annotation, sourceFile);\n  return {\n    isConstructor,\n    ...(!isConstructor && baseType !== undefined ? { baseType } : {}),\n    ...(typeConstructor !== undefined ? { typeConstructor } : {}),\n    attributes: readResolvedAttributes(node.attributes(), sourceFile),\n  };\n}\n\nfunction isScalarBinding(node: NamedTypeDeclarationAst, scalarTypes: Set<string>): boolean {\n  const annotation = node.typeAnnotation();\n  if (annotation === undefined || annotation.isConstructor()) return false;\n  const base = annotation.name()?.identifier()?.name();\n  return base !== undefined && scalarTypes.has(base);\n}\n\nfunction nameRange(name: IdentifierAst | undefined, sourceFile: SourceFile): Range | undefined {\n  if (name === undefined) return undefined;\n  for (const token of name.syntax.tokens()) {\n    if (token.kind === 'Ident') {\n      return {\n        start: sourceFile.positionAt(token.offset),\n        end: sourceFile.positionAt(token.offset + token.text.length),\n      };\n    }\n  }\n  return undefined;\n}\n\nfunction nodeRange(node: SyntaxNode, sourceFile: SourceFile): Range {\n  const start = node.offset;\n  const end = start + node.green.textLength;\n  return {\n    start: sourceFile.positionAt(start),\n    end: sourceFile.positionAt(end),\n  };\n}\n"],"mappings":";;;;;;AAEA,SAAgB,sBAAsB,WAAyB,QAAQ,GAAuB;CAE5F,OADgB,UAAU,KAAK,QAAQ,QAAQ,IAAI,SAAS,YAC/C,CAAC,CAAC,MAAM,EAAE;AACzB;AAEA,SAAgB,yBAAyB,OAAmC;CAE1E,MAAM,QADU,MAAM,KACF,CAAC,CAAC,MAAM,gBAAgB;CAC5C,IAAI,CAAC,OAAO,OAAO,KAAA;CACnB,OAAO,MAAM,MAAM;AACrB;;;ACqBA,SAAgB,sBACd,WACA,YACmB;CACnB,OAAO;EACL,MAAM,cAAc,UAAU,KAAK,CAAC;EACpC,MAAM,oBAAoB,UAAU,QAAQ,GAAG,UAAU;EACzD,MAAM,YAAY,UAAU,QAAQ,UAAU;CAChD;AACF;AAEA,SAAgB,uBACd,YACA,YAC8B;CAC9B,OAAO,MAAM,KAAK,aAAa,cAAc,sBAAsB,WAAW,UAAU,CAAC;AAC3F;AAEA,SAAgB,4BACd,YACA,YACyC;CACzC,MAAM,UAAU,YAAY,QAAQ;CACpC,IAAI,eAAe,KAAA,KAAa,YAAY,KAAA,GAAW,OAAO,KAAA;CAC9D,OAAO;EACL,MAAM,WAAW,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC;EACpC,MAAM,oBAAoB,SAAS,UAAU;EAC7C,MAAM,YAAY,WAAW,QAAQ,UAAU;CACjD;AACF;AAEA,SAAS,oBACP,SACA,YACiC;CACjC,IAAI,YAAY,KAAA,GAAW,OAAO,CAAC;CACnC,MAAM,OAA+B,CAAC;CACtC,KAAK,MAAM,OAAO,QAAQ,KAAK,GAAG;EAChC,MAAM,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK;EAC9B,MAAM,aAAa,IAAI,MAAM;EAC7B,KAAK,KAAK;GACR,MAAM,SAAS,KAAA,IAAY,UAAU;GACrC,GAAI,SAAS,KAAA,IAAY,EAAE,KAAK,IAAI,CAAC;GACrC,OAAO,iBAAiB,UAAU;GAClC,GAAI,eAAe,KAAA,IAAY,EAAE,WAAW,IAAI,CAAC;GACjD,MAAM,YAAY,IAAI,QAAQ,UAAU;EAC1C,CAAC;CACH;CACA,OAAO;AACT;AAEA,SAAS,cAAc,MAA4C;CACjE,OAAO,MAAM,KAAK,CAAC,CAAC,KAAK,GAAG,KAAK;AACnC;AAEA,SAAS,iBAAiB,YAA+C;CACvE,IAAI,eAAe,KAAA,GAAW,OAAO;CACrC,OAAO,YAAY,WAAW,MAAM,CAAC,CAAC,KAAK;AAC7C;AAEA,SAAgB,YAAY,MAAkB,YAAiC;CAC7E,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,QAAQ,KAAK,MAAM;CAC/B,OAAO;EACL,OAAO,oBAAoB,OAAO,UAAU;EAC5C,KAAK,oBAAoB,KAAK,UAAU;CAC1C;AACF;;AAGA,SAAgB,eAAe,MAAkB,SAAiB,YAAiC;CACjG,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,QAAQ,QAAQ;CAC5B,OAAO;EACL,OAAO,oBAAoB,OAAO,UAAU;EAC5C,KAAK,oBAAoB,KAAK,UAAU;CAC1C;AACF;AAEA,SAAgB,eAAe,OAAc,YAAiC;CAC5E,OAAO;EACL,OAAO,oBAAoB,WAAW,SAAS,MAAM,KAAK,GAAG,UAAU;EACvE,KAAK,oBAAoB,WAAW,SAAS,MAAM,GAAG,GAAG,UAAU;CACrE;AACF;AAEA,SAAS,oBAAoB,QAAgB,YAA0C;CACrF,MAAM,WAAqB,WAAW,WAAW,MAAM;CACvD,OAAO;EAAE;EAAQ,MAAM,SAAS,OAAO;EAAG,QAAQ,SAAS,YAAY;CAAE;AAC3E;;;ACrHA,MAAa,4BAA+C;AAE5D,SAAgB,eAAe,KAAmB,MAAe,SAAgC;CAC/F,OAAO;EACL,MAAM;EACN;EACA,UAAU,IAAI;EACd,MAAM,YAAY,KAAK,QAAQ,IAAI,UAAU;CAC/C;AACF;;;ACRA,SAAgB,OAAyB;CACvC,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAmD;GAC9D,IAAI,eAAe,uBAAuB;IACxC,MAAM,QAAQ,IAAI,MAAM;IACxB,IAAI,UAAU,KAAA,GAAW,OAAO,GAAG,KAAK;GAC1C;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,4BAA4B,CAAC,CAAC;EACvE;CACF;AACF;;;ACVA,SAAgB,YAA6B;CAC3C,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAkD;GAC7D,IAAI,EAAE,eAAe,gBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,MAAM,OAAO,IAAI,KAAK;GACtB,IAAI,SAAS,KAAA,GACX,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,OAAO,GAAG,IAAI;EAChB;CACF;AACF;;;ACXA,SAAgB,SAAS,OAAuC;CAC9D,OAAO;EACL,MAAM;EACN,OAAO;EACP;EACA,QAAQ,KAAK,QAAkD;GAC7D,IAAI,EAAE,eAAe,gBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,MAAM,OAAO,IAAI,KAAK;GACtB,IAAI,SAAS,KAAA,GACX,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,uBAAuB,CAAC,CAAC;GAElE,MAAM,QAAQ,UAAU,SAAS,IAAI,YAAY,IAAI,uBAAuB;GAE5E,IAAI,UAAU,KAAA,KAAa,CAAC,OAAO,OAAO,MAAM,QAAQ,IAAI,GAC1D,OAAO,MAAM,CACX,eAAe,KAAK,KAAK,UAAU,KAAK,6BAA6B,MAAM,KAAK,EAAE,CACpF,CAAC;GAEH,OAAO,GAAG,IAAI;EAChB;CACF;AACF;;;ACVA,SAAgB,cACd,MACA,MACA,KACA,MAC2D;CAC3D,MAAM,cAA+B,CAAC;CAEtC,MAAM,SAAkC,CAAC;CACzC,MAAM,uBAAO,IAAI,IAAY;CAC7B,IAAI,iBAAiB;CACrB,IAAI,iBAAiB;CAErB,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK;EAE9B,IAAI;EACJ,IAAI;EACJ,IAAI,SAAS,KAAA,GAAW;GACtB,MAAM,WAAW,KAAK,WAAW;GACjC,IAAI,aAAa,KAAA,GAAW;IAC1B,IAAI,CAAC,gBAAgB;KACnB,YAAY,KACV,WACE,cAAc,KAAK,KAAK,2CACxB,KACA,IACF,CACF;KACA,iBAAiB;IACnB;IACA;GACF;GACA,kBAAkB;GAClB,MAAM,SAAS;GACf,QAAQ,SAAS;EACnB,OAAO;GACL,MAAM,aAAa,OAAO,OAAO,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,QAAQ,KAAA;GACxE,IAAI,eAAe,KAAA,GAAW;IAC5B,YAAY,KACV,WACE,cAAc,KAAK,KAAK,+BAA+B,KAAK,IAC5D,KACA,YAAY,IAAI,QAAQ,IAAI,UAAU,CACxC,CACF;IACA;GACF;GACA,MAAM;GACN,QAAQ;EACV;EAEA,IAAI,KAAK,IAAI,GAAG,GAAG;GACjB,YAAY,KACV,WACE,cAAc,KAAK,KAAK,iCAAiC,IAAI,IAC7D,KACA,YAAY,IAAI,QAAQ,IAAI,UAAU,CACxC,CACF;GACA;EACF;EACA,KAAK,IAAI,GAAG;EACZ,MAAM,SAAS,cAAc,KAAK,OAAO,KAAK,WAAW;EACzD,IAAI,OAAO,IAAI,OAAO,OAAO,OAAO;CACtC;CAEA,MAAM,4BAAY,IAAI,IAAY;CAClC,MAAM,qBACJ,KACA,iBACA,eACS;EACT,IAAI,UAAU,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,GAAG;EACzC,UAAU,IAAI,GAAG;EACjB,MAAM,YAAY,cAAc;EAChC,IAAI,cAAc,KAAA,GAAW;EAC7B,IAAI,kBAAkB,SAAS,GAAG;GAChC,IAAI,UAAU,YAAY,OAAO,OAAO,UAAU;GAClD;EACF;EACA,YAAY,KACV,WAAW,cAAc,KAAK,KAAK,kCAAkC,IAAI,IAAI,KAAK,IAAI,CACxF;CACF;CAEA,KAAK,MAAM,SAAS,KAAK,YAAY;EACnC,MAAM,aAAa,OAAO,OAAO,KAAK,OAAO,MAAM,GAAG,IAAI,KAAK,MAAM,MAAM,OAAO,KAAA;EAClF,kBAAkB,MAAM,KAAK,MAAM,MAAM,UAAU;CACrD;CACA,KAAK,MAAM,OAAO,OAAO,KAAK,KAAK,KAAK,GACtC,kBAAkB,KAAK,KAAA,GAAW,KAAK,MAAM,IAAI;CAGnD,IAAI,YAAY,SAAS,GACvB,OAAO,MAAgC,WAAW;CAEpD,OAAO,GAAG,MAAM;AAClB;AAEA,SAAgB,mBACd,UACA,MACA,KACuC;CACvC,MAAM,gBAAgB,YAAY,SAAS,QAAQ,IAAI,UAAU;CACjE,MAAM,QAAQ,cAAc,SAAS,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,GAAG,MAAM,KAAK,aAAa;CACtF,IAAI,CAAC,MAAM,IAAI,OAAO,MAAgC,MAAM,OAAO;CAEnE,MAAM,QAAQ,UAGZ,MAAM,KAAK;CACb,IAAI,KAAK,WAAW,KAAA,GAAW;EAC7B,MAAM,oBAAoB,KAAK,OAAO,OAAO,GAAG;EAChD,IAAI,kBAAkB,SAAS,GAC7B,OAAO,MAAgC,iBAAiB;CAE5D;CACA,OAAO,GAAG,KAAK;AACjB;AAEA,SAAS,cACP,KACA,SACA,KACA,aAC2C;CAC3C,MAAM,QAAQ,IAAI,MAAM;CACxB,IAAI,UAAU,KAAA,GAAW;EACvB,MAAM,UAAU,WACd,yCACA,KACA,YAAY,IAAI,QAAQ,IAAI,UAAU,CACxC;EACA,YAAY,KAAK,OAAO;EACxB,OAAO,MAAgC,CAAC,OAAO,CAAC;CAClD;CACA,MAAM,SAAS,QAAQ,MAAM,OAAO,GAAG;CACvC,IAAI,CAAC,OAAO,IACV,KAAK,MAAM,WAAW,OAAO,SAAS,YAAY,KAAK,OAAO;CAEhE,OAAO;AACT;AAEA,SAAS,kBAAkB,OAA0D;CACnF,OAAO,cAAc,SAAS,MAAM,aAAa;AACnD;AAEA,SAAS,WAAW,SAAiB,KAAmB,MAA8B;CACpF,OAAO;EAAE,MAAM;EAA2B;EAAS,UAAU,IAAI;EAAU;CAAK;AAClF;;;ACxJA,SAAgB,SAAS,MAAc,KAA0C;CAC/E,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAyD;GACpE,MAAM,QAAQ,YAAY,KAAK,MAAM,GAAG;GACxC,IAAI,CAAC,MAAM,IAAI,OAAO;GACtB,MAAM,OAAO,YAAY,MAAM,MAAM,QAAQ,IAAI,UAAU;GAC3D,MAAM,QAAQ,cACZ,MAAM,MAAM,KAAK,GACjB;IAAE;IAAM,YAAY,IAAI,cAAc,CAAC;IAAG,OAAO,IAAI,SAAS,CAAC;GAAE,GACjE,KACA,IACF;GACA,IAAI,CAAC,MAAM,IAAI,OAAO,MAAgC,MAAM,OAAO;GACnE,OAAO,GAAG;IAAE,IAAI;IAAM;IAAM,MAAM,MAAM;GAAM,CAAC;EACjD;CACF;AACF;AAEA,SAAS,YACP,KACA,MACA,KACmD;CACnD,IAAI,EAAE,eAAe,kBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,0BAA0B,CAAC,CAAC;CAErE,MAAM,QAAQ,IAAI,KAAK;CACvB,IAAI,UAAU,KAAA,KAAa,MAAM,IAAI,MAAM,KAAA,KAAa,MAAM,MAAM,MAAM,KAAA,GACxE,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,0BAA0B,CAAC,CAAC;CAErE,MAAM,aAAa,MAAM,WAAW,CAAC,EAAE,MAAM,CAAC,EAAE;CAChD,IAAI,eAAe,KAAA,GACjB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,0BAA0B,CAAC,CAAC;CAErE,IAAI,eAAe,MACjB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,YAAY,KAAK,GAAG,CAAC,CAAC;CAE/D,OAAO,GAAG,GAAG;AACf;;;AC1DA,SAAgB,WAAmC,MAAqB;CACtE,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAA6C;GACxD,IAAI,eAAe,iBAAiB,IAAI,KAAK,MAAM,MAAM,OAAO,GAAG,IAAI;GACvE,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,YAAY,MAAM,CAAC,CAAC;EAC7D;CACF;AACF;;;ACPA,SAAgB,IAAI,MAAwD;CAC1E,MAAM,MAAM,MAAM;CAClB,MAAM,MAAM,MAAM;CAClB,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAkD;GAC7D,IAAI,eAAe,sBAAsB;IACvC,MAAM,QAAQ,IAAI,MAAM;IACxB,IAAI,UAAU,KAAA,KAAa,OAAO,UAAU,KAAK,GAAG;KAClD,KAAK,QAAQ,KAAA,KAAa,SAAS,SAAS,QAAQ,KAAA,KAAa,SAAS,MACxE,OAAO,GAAG,KAAK;KAEjB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,aAAa,KAAK,GAAG,CAAC,CAAC,CAAC;IACjE;GACF;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,6BAA6B,CAAC,CAAC;EACxE;CACF;AACF;AAEA,SAAS,aAAa,KAAyB,KAAiC;CAC9E,IAAI,QAAQ,KAAA,KAAa,QAAQ,KAAA,GAC/B,OAAO,+BAA+B,IAAI,OAAO;CACnD,IAAI,QAAQ,KAAA,GAAW,OAAO,gDAAgD;CAC9E,OAAO,6CAA6C;AACtD;;;ACvBA,SAAgB,KAAQ,IAAgB,MAAkC;CACxE,OAAO;EACL,MAAM;EACN,OAAO,GAAG,GAAG,MAAM;EACnB,QAAQ,KAAK,QAA+C;GAC1D,IAAI,EAAE,eAAe,kBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,sBAAsB,GAAG,OAAO,CAAC,CAAC;GAE3E,MAAM,cAA+B,CAAC;GACtC,MAAM,SAA8C,CAAC;GACrD,IAAI,QAAQ;GACZ,KAAK,MAAM,WAAW,IAAI,SAAS,GAAG;IACpC,SAAS;IACT,MAAM,SAAS,GAAG,MAAM,SAAS,GAAG;IACpC,IAAI,OAAO,IAAI,OAAO,KAAK;KAAE,MAAM;KAAS,OAAO,OAAO;IAAM,CAAC;SAC5D,YAAY,KAAK,GAAG,OAAO,OAAO;GACzC;GACA,IAAI,MAAM,aAAa,QAAQ,UAAU,GACvC,YAAY,KAAK,eAAe,KAAK,KAAK,2BAA2B,CAAC;GAExE,IAAI,MAAM,WAAW,MAAM;IACzB,MAAM,uBAAO,IAAI,IAAO;IACxB,KAAK,MAAM,EAAE,MAAM,WAAW,QAC5B,IAAI,KAAK,IAAI,KAAK,GAAG,YAAY,KAAK,eAAe,KAAK,MAAM,sBAAsB,CAAC;SAClF,KAAK,IAAI,KAAK;GAEvB;GACA,IAAI,YAAY,SAAS,GAAG,OAAO,MAAM,WAAW;GACpD,OAAO,GAAG,OAAO,KAAK,UAAU,MAAM,KAAK,CAAC;EAC9C;CACF;AACF;;;AC9BA,SAAgB,IAAI,OAAiC;CACnD,OAAO;EACL,MAAM;EACN,OAAO,UAAU,KAAA,IAAY,WAAW,OAAO,KAAK;EACpD,QAAQ,KAAK,QAAkD;GAC7D,IAAI,eAAe,sBAAsB;IACvC,MAAM,SAAS,IAAI,MAAM;IACzB,IAAI,WAAW,KAAA,MAAc,UAAU,KAAA,KAAa,WAAW,QAAQ,OAAO,GAAG,MAAM;GACzF;GAEA,OAAO,MAAM,CAAC,eAAe,KAAK,KADlB,UAAU,KAAA,IAAY,8BAA8B,YAAY,OAClC,CAAC,CAAC;EAClD;CACF;AACF;;;ACnBA,SAAgB,MACd,GAAG,MAC2B;CAC9B,MAAM,QAAQ,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,KAAK,KAAK;CACrD,OAAO;EACL,MAAM;EACN;EACA,QAAQ,KAAK,QAA+D;GAC1E,KAAK,MAAM,OAAO,MAAM;IACtB,MAAM,SAAS,IAAI,MAAM,KAAK,GAAG;IACjC,IAAI,OAAO,IACT,OAAO,GACL,UAGE,OAAO,KAAK,CAChB;GAEJ;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,oBAAoB,OAAO,CAAC,CAAC;EACtE;CACF;AACF;;;ACtBA,SAAgB,OAAU,IAA4C;CACpE,OAAO;EACL,MAAM;EACN,OAAO,YAAY,GAAG,MAAM;EAC5B,QAAQ,KAAK,QAA6D;GACxE,IAAI,EAAE,eAAe,uBACnB,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,4BAA4B,CAAC,CAAC;GAEvE,MAAM,cAA+B,CAAC;GACtC,MAAM,SAA4B,CAAC;GACnC,KAAK,MAAM,SAAS,IAAI,OAAO,GAAG;IAChC,MAAM,MAAM,MAAM,QAAQ;IAC1B,IAAI,QAAQ,KAAA,GAAW;KACrB,YAAY,KAAK,eAAe,KAAK,OAAO,gBAAgB,CAAC;KAC7D;IACF;IACA,MAAM,QAAQ,MAAM,MAAM;IAC1B,IAAI,UAAU,KAAA,GAAW;KACvB,YAAY,KAAK,eAAe,KAAK,OAAO,6BAA6B,IAAI,EAAE,CAAC;KAChF;IACF;IACA,MAAM,SAAS,GAAG,MAAM,OAAO,GAAG;IAClC,IAAI,CAAC,OAAO,IAAI;KACd,YAAY,KAAK,GAAG,OAAO,OAAO;KAClC;IACF;IACA,IAAI,OAAO,OAAO,QAAQ,GAAG,GAAG;KAC9B,YAAY,KAAK,eAAe,KAAK,OAAO,kBAAkB,IAAI,EAAE,CAAC;KACrE;IACF;IACA,OAAO,OAAO,OAAO;GACvB;GACA,IAAI,YAAY,SAAS,GAAG,OAAO,MAAM,WAAW;GACpD,OAAO,GAAG,MAAM;EAClB;CACF;AACF;;;ACpCA,SAAgB,MAAuB;CACrC,OAAO;EACL,MAAM;EACN,OAAO;EACP,QAAQ,KAAK,QAAkD;GAC7D,IAAI,eAAe,sBAAsB;IACvC,MAAM,QAAQ,IAAI,MAAM;IACxB,IAAI,UAAU,KAAA,GAAW,OAAO,GAAG,KAAK;GAC1C;GACA,OAAO,MAAM,CAAC,eAAe,KAAK,KAAK,2BAA2B,CAAC,CAAC;EACtE;CACF;AACF;;;ACHA,SAAgB,eAGd,MAAc,QAAmF;CACjG,OAAO;EACL,OAAO;EACP;EACA,YAAY,OAAO,cAAc,CAAC;EAClC,OAAO,OAAO,SAAS,CAAC;EACxB,GAAI,OAAO,WAAW,KAAA,IAAY,EAAE,QAAQ,OAAO,OAAO,IAAI,CAAC;CACjE;AACF;;;ACXA,SAAgB,eAGd,MAAc,QAAmF;CACjG,OAAO;EACL,OAAO;EACP;EACA,YAAY,OAAO,cAAc,CAAC;EAClC,OAAO,OAAO,SAAS,CAAC;EACxB,GAAI,OAAO,WAAW,KAAA,IAAY,EAAE,QAAQ,OAAO,OAAO,IAAI,CAAC;CACjE;AACF;;;ACxBA,SAAgB,SAAY,MAAkB,GAAG,MAAkD;CACjG,IAAI,KAAK,WAAW,GAClB,OAAO;EAAE,GAAG;EAAM,UAAU;EAAM,YAAY;CAAM;CAEtD,OAAO;EAAE,GAAG;EAAM,UAAU;EAAM,YAAY;EAAM,cAAc,KAAK;CAAG;AAC5E;;;ACWA,SAAgB,oBACd,aACA,SACyC;CACzC,IAAI,gBAAgB,KAAA,GAAW,OAAO,KAAA;CACtC,KAAK,MAAM,SAAS,OAAO,OAAO,WAAW,GAAG;EAC9C,IAAI,UAAU,KAAA,GAAW;EACzB,IAAI,8BAA8B,KAAK,GAAG;GACxC,IAAI,MAAM,YAAY,SAAS,OAAO;GACtC;EACF;EACA,MAAM,SAAS,oBAAoB,OAAO,OAAO;EACjD,IAAI,WAAW,KAAA,GAAW,OAAO;CACnC;AAEF;AAEA,SAAgB,iCAAiC,OAOpB;CAC3B,MAAM,SAAS,0BAA0B,MAAM,aAAa,MAAM,KAAK;CACvE,OAAO,uBACL,MAAM,MAAM,OACZ,MAAM,YACN,MAAM,UACN,MAAM,aACN,MACF;AACF;AAEA,MAAM,YAAqB;CACzB,OAAO;EAAE,QAAQ;EAAG,MAAM;EAAG,QAAQ;CAAE;CACvC,KAAK;EAAE,QAAQ;EAAG,MAAM;EAAG,QAAQ;CAAE;AACvC;AAEA,SAAS,0BACP,aACA,OAIA;CACA,MAAM,uBAAuB,cAC3B,8BACA,OAAO,OAAO,YAAY,SAAS,MAAM,CAC3C;CAIA,MAAM,gBAAgB,CAAC,sBAAsB,GAHrB,OAAO,OAAO,YAAY,SAAS,UAAU,CAAC,CAAC,KAAK,cAC1E,cAAc,UAAU,MAAM,OAAO,OAAO,UAAU,MAAM,CAAC,CAED,CAAC;CAC/D,MAAM,qBAAqB,uBAAuB,aAAa,KAAK;CAIpE,OAAO;EAAE,gBAFP,cAAc,MAAM,cAAc,UAAU,SAAS,kBAAkB,KACvE;EACuB;CAAc;AACzC;AAEA,SAAS,cACP,MACA,QACqC;CAQrC,OAAO,iBAAiB;EACtB,MAAM;EACN;EACA,SAAS,wBAVoB,OAAO,KAAK,WAAW;GACpD,MAAM;GACN,MAAM,MAAM;GACZ,QAAQ,CAAC;GACT,YAAY,CAAC;GACb,MAAM;EACR,EAI4C,GAAG,CAAC,GAAG,CAAC,CAAC;EACnD,MAAM;CACR,CAAC;AACH;AAEA,SAAS,uBAAuB,aAA0B,OAA4B;CACpF,KAAK,MAAM,aAAa,OAAO,OAAO,YAAY,SAAS,UAAU,GACnE,IAAI,OAAO,OAAO,UAAU,MAAM,CAAC,CAAC,MAAM,cAAc,cAAc,KAAK,GACzE,OAAO,UAAU;CAGrB,OAAO;AACT;;;;;;;ACvFA,SAAgB,0BACd,MACA,YACA,YACA,aACmB;CACnB,MAAM,UAAU,KAAK,QAAQ,CAAC,EAAE,QAAQ;CACxC,MAAM,YAAY,KAAK,KAAK,CAAC,EAAE,KAAK,KAAK;CAEzC,MAAM,kBAAgD,CAAC;CACvD,KAAK,MAAM,aAAa,KAAK,WAAW,GAAG;EACzC,MAAM,OAAO,UAAU,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,KAAK;EACnD,MAAM,OAAO,MAAM,KAAK,UAAU,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,QAAQ;GAClE,MAAM,QAAQ,IAAI,MAAM;GACxB,OAAO;IACL,MAAM;IACN,OAAO,UAAU,KAAA,IAAY,KAAK,YAAY,MAAM,MAAM,CAAC,CAAC,KAAK;IACjE,MAAM,YAAY,IAAI,QAAQ,UAAU;GAC1C;EACF,CAAC;EACD,gBAAgB,KAAK;GACnB;GACA;GACA,MAAM,YAAY,UAAU,QAAQ,UAAU;EAChD,CAAC;CACH;CAEA,MAAM,aAA0D,CAAC;CACjE,KAAK,MAAM,SAAS,KAAK,QAAQ,GAAG;EAClC,MAAM,MAAM,MAAM,IAAI,CAAC,EAAE,KAAK;EAC9B,IAAI,QAAQ,KAAA,GAAW;EACvB,MAAM,OAAO,YAAY,MAAM,QAAQ,UAAU;EACjD,IAAI,OAAO,OAAO,YAAY,GAAG,GAAG;GAClC,YAAY,KAAK;IACf,MAAM;IACN,SAAS,wBAAwB,IAAI,QAAQ,QAAQ,WAAW,UAAU;IAC1E,OAAO;KACL,OAAO,WAAW,WAAW,MAAM,OAAO,MAAM;KAChD,KAAK,WAAW,WAAW,MAAM,OAAO,SAAS,MAAM,OAAO,MAAM,UAAU;IAChF;GACF,CAAC;GACD;EACF;EACA,WAAW,OAAO,sBAChB,OACA,YAAY,WAAW,MACvB,MACA,YACA,WACF;CACF;CAEA,OAAO;EACL,MAAM,YAAY,iBAAiB;EACnC;EACA,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;CAC3C;AACF;AAEA,SAAS,sBACP,OACA,OACA,MACA,YACA,aAC6B;CAC7B,MAAM,QAAQ,MAAM,MAAM;CAC1B,IAAI,UAAU,KAAA,GACZ,OAAO;EAAE,MAAM;EAAQ;CAAK;CAE9B,OAAO,0BAA0B,OAAO,OAAO,MAAM,YAAY,WAAW;AAC9E;AAEA,SAAS,0BACP,OACA,OACA,MACA,YACA,aAC6B;CAC7B,MAAM,MAAM,YAAY,MAAM,MAAM,CAAC,CAAC,KAAK;CAC3C,IAAI,OAAO,SAAS,QAAQ;EAC1B,MAAM,QAAQ,gBAAgB,KAAK,MAAM,MAAM;EAC/C,IAAI,CAAC,OAAO;GACV,aAAa,KAAK;IAChB,MAAM;IACN,SAAS,gDAAgD;IACzD,OAAO;KACL,OAAO,WAAW,WAAW,MAAM,OAAO,MAAM;KAChD,KAAK,WAAW,WAAW,MAAM,OAAO,SAAS,MAAM,OAAO,MAAM,UAAU;IAChF;GACF,CAAC;GACD,OAAO;IAAE,MAAM;IAAS;IAAK;GAAK;EACpC;EAEA,MAAM,QAAuC,CAAC;EAC9C,KAAK,MAAM,WAAW,MAAM,SAAS,GACnC,MAAM,KACJ,0BACE,SACA,MAAM,IACN,YAAY,QAAQ,QAAQ,UAAU,GACtC,YACA,WACF,CACF;EAEF,OAAO;GAAE,MAAM;GAAQ;GAAO;EAAK;CACrC;CACA,QAAQ,OAAO,MAAf;EACE,KAAK,OACH,OAAO;GAAE,MAAM;GAAO,YAAY;GAAK;EAAK;EAC9C,KAAK,UACH,OAAO;GAAE,MAAM;GAAU,OAAO;GAAK;EAAK;EAC5C,SACE,OAAO;GAAE,MAAM;GAAS;GAAK;EAAK;CACtC;AACF;;;;;;;ACHA,SAAgB,iBAAiB,SAAqD;CACpF,MAAM,EAAE,UAAU,YAAY,aAAa,wBAAwB;CACnE,MAAM,cAAiC,CAAC;CACxC,MAAM,YAAY,IAAI,IAAI,WAAW;CAErC,MAAM,aAA8C,CAAC;CACrD,MAAM,UAAwC,CAAC;CAC/C,MAAM,cAA+C,CAAC;CACtD,MAAM,SAAsC,CAAC;CAC7C,MAAM,SAAsC,CAAC;CAC7C,MAAM,iBAAsD,CAAC;CAC7D,MAAM,gCAAgB,IAAI,IAAY;CAEtC,MAAM,SAAS,OAAoB,SAAwD;EACzF,MAAM,OAAO,MAAM,KAAK;EACxB,IAAI,SAAS,KAAA,GAAW,OAAO,KAAA;EAC/B,IAAI,MAAM,IAAI,IAAI,GAAG;GACnB,MAAM,QAAQ,UAAU,MAAM,UAAU;GACxC,IAAI,OACF,YAAY,KAAK;IACf,MAAM;IACN,SAAS,6BAA6B,KAAK;IAC3C;GACF,CAAC;GAEH;EACF;EACA,MAAM,IAAI,IAAI;EACd,OAAO;CACT;CAEA,KAAK,MAAM,eAAe,SAAS,aAAa,GAC9C,IAAI,uBAAuB,qBAAqB;EAC9C,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GAAW,OAAO,QAAQ,WAAW,MAAM,aAAa,YAAY,WAAW;CAC9F,OAAO,IAAI,uBAAuB,6BAA6B;EAC7D,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GACX,eAAe,QAAQ,mBAAmB,MAAM,aAAa,YAAY,WAAW;CAExF,OAAO,IAAI,uBAAuB,4BAA4B;EAC5D,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GACX,OAAO,QAAQ,WAAW,MAAM,aAAa,YAAY,qBAAqB,WAAW;CAE7F,OAAO,IAAI,uBAAuB,yBAAyB;EACzD,MAAM,OAAO,MAAM,eAAe,YAAY,KAAK,CAAC;EACpD,IAAI,SAAS,KAAA,GACX,WAAW,QAAQ,eACjB,MACA,aACA,aACA,YACA,mBACF;CAEJ,OAAO,IAAI,uBAAuB,eAChC,KAAK,MAAM,WAAW,YAAY,aAAa,GAAG;EAChD,MAAM,OAAO,MAAM,eAAe,QAAQ,KAAK,CAAC;EAChD,IAAI,SAAS,KAAA,GAAW;EACxB,MAAM,WAAW,wBAAwB,SAAS,UAAU;EAC5D,MAAM,OAAO,YAAY,QAAQ,QAAQ,UAAU;EACnD,IAAI,gBAAgB,SAAS,SAAS,GACpC,QAAQ,QAAQ;GAAE,MAAM;GAAU;GAAM,MAAM;GAAS;GAAM,GAAG;EAAS;OAEzE,YAAY,QAAQ;GAAE,MAAM;GAAa;GAAM,MAAM;GAAS;GAAM,GAAG;EAAS;CAEpF;CAOJ,OAAO;EAAE,OAAA,EAFP,UAAU;GAAE;GAAY;GAAS;GAAa;GAAQ;GAAQ;EAAe,EAElE;EAAG;CAAY;AAC9B;AAEA,SAAS,WACP,MACA,MACA,YACA,aACa;CACb,OAAO;EACL,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC,QAAQ,YAAY,MAAM,KAAK,OAAO,GAAG,YAAY,WAAW;EAChE,YAAY,uBAAuB,KAAK,WAAW,GAAG,UAAU;CAClE;AACF;AAEA,SAAS,mBACP,MACA,MACA,YACA,aACqB;CACrB,OAAO;EACL,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC,QAAQ,YAAY,MAAM,KAAK,OAAO,GAAG,YAAY,WAAW;EAChE,YAAY,uBAAuB,KAAK,WAAW,GAAG,UAAU;CAClE;AACF;AAEA,SAAS,WACP,MACA,MACA,YACA,qBACA,aACa;CACb,MAAM,UAAU,KAAK,QAAQ,CAAC,EAAE,QAAQ;CACxC,MAAM,aAAa,oBAAoB,qBAAqB,OAAO;CACnE,OAAO;EACL,MAAM;EACN;EACA;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC,OAAO,0BAA0B,MAAM,YAAY,YAAY,WAAW;CAC5E;AACF;AAEA,SAAS,eACP,MACA,MACA,aACA,YACA,qBACiB;CACjB,MAAM,SAAsC,CAAC;CAC7C,MAAM,iBAAsD,CAAC;CAC7D,MAAM,SAAsC,CAAC;CAC7C,MAAM,wBAAQ,IAAI,IAAY;CAE9B,KAAK,MAAM,UAAU,KAAK,aAAa,GAAG;EACxC,MAAM,aAAa,OAAO,KAAK,CAAC,EAAE,KAAK;EACvC,IAAI,eAAe,KAAA,GAAW;EAC9B,IAAI,MAAM,IAAI,UAAU,GAAG;GACzB,MAAM,QAAQ,UAAU,OAAO,KAAK,GAAG,UAAU;GACjD,IAAI,OACF,YAAY,KAAK;IACf,MAAM;IACN,SAAS,6BAA6B,WAAW;IACjD;GACF,CAAC;GAEH;EACF;EACA,MAAM,IAAI,UAAU;EACpB,IAAI,kBAAkB,qBACpB,OAAO,cAAc,WAAW,YAAY,QAAQ,YAAY,WAAW;OACtE,IAAI,kBAAkB,6BAC3B,eAAe,cAAc,mBAAmB,YAAY,QAAQ,YAAY,WAAW;OACtF,IAAI,kBAAkB,4BAC3B,OAAO,cAAc,WACnB,YACA,QACA,YACA,qBACA,WACF;CAEJ;CAEA,OAAO;EACL,MAAM;EACN;EACA;EACA,MAAM,YAAY,KAAK,QAAQ,UAAU;EACzC;EACA;EACA;CACF;AACF;AAEA,SAAS,YACP,WACA,QACA,YACA,aAC6B;CAC7B,MAAM,SAAsC,CAAC;CAC7C,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,WAAW,MAAM,KAAK;EAC5B,MAAM,OAAO,UAAU,KAAK;EAC5B,IAAI,SAAS,KAAA,GAAW;EACxB,IAAI,OAAO,OAAO,QAAQ,IAAI,GAAG;GAC/B,MAAM,QAAQ,UAAU,UAAU,UAAU;GAC5C,IAAI,OACF,YAAY,KAAK;IACf,MAAM;IACN,SAAS,6BAA6B,KAAK;IAC3C;GACF,CAAC;GAEH;EACF;EACA,OAAO,QAAQ,WAAW,WAAW,MAAM,OAAO,YAAY,WAAW;CAC3E;CACA,OAAO;AACT;AAEA,SAAS,WACP,WACA,MACA,MACA,YACA,aACa;CACb,MAAM,aAAa,uBAAuB,KAAK,WAAW,GAAG,UAAU;CACvE,MAAM,OAAO,YAAY,KAAK,QAAQ,UAAU;CAChD,MAAM,aAAa,KAAK,eAAe;CACvC,MAAM,WAAW,YAAY,KAAK;CAElC,IAAI,UAAU,gBAAgB,GAAG;EAC/B,MAAM,OAAO,SAAS,KAAK;EAC3B,YAAY,KAAK;GACf,MAAM;GACN,SAAS,UAAU,UAAU,GAAG,KAAK,mCAAmC,KAAK,KAAK,GAAG,EAAE;GACvF,OAAO,UAAU,SAAS,QAAQ,UAAU;EAC9C,CAAC;EACD,OAAO;GACL,MAAM;GACN;GACA;GACA;GACA,UAAU,KAAK,KAAK,SAAS,MAAM;GACnC,UAAU;GACV,MAAM;GACN,eAAe;GACf;EACF;CACF;CAEA,MAAM,kBAAkB,YAAY,cAAc,IAC9C,4BAA4B,YAAY,UAAU,IAClD,KAAA;CACJ,MAAM,kBAAkB,UAAU,UAAU,CAAC,EAAE,KAAK;CACpD,MAAM,sBAAsB,UAAU,MAAM,CAAC,EAAE,KAAK;CAEpD,OAAO;EACL,MAAM;EACN;EACA;EACA;EACA,UAAU,UAAU,WAAW,CAAC,EAAE,KAAK,KAAK;EAC5C,GAAI,oBAAoB,KAAA,IAAY,EAAE,gBAAgB,IAAI,CAAC;EAC3D,GAAI,wBAAwB,KAAA,IAAY,EAAE,oBAAoB,IAAI,CAAC;EACnE,UAAU,YAAY,WAAW,KAAK;EACtC,MAAM,YAAY,OAAO,KAAK;EAC9B,GAAI,oBAAoB,KAAA,IAAY,EAAE,gBAAgB,IAAI,CAAC;EAC3D;CACF;AACF;AAEA,SAAS,wBACP,MACA,YAMA;CACA,MAAM,aAAa,KAAK,eAAe;CACvC,MAAM,gBAAgB,YAAY,cAAc,KAAK;CACrD,MAAM,WAAW,YAAY,KAAK,CAAC,EAAE,WAAW,CAAC,EAAE,KAAK;CACxD,MAAM,kBAAkB,4BAA4B,YAAY,UAAU;CAC1E,OAAO;EACL;EACA,GAAI,CAAC,iBAAiB,aAAa,KAAA,IAAY,EAAE,SAAS,IAAI,CAAC;EAC/D,GAAI,oBAAoB,KAAA,IAAY,EAAE,gBAAgB,IAAI,CAAC;EAC3D,YAAY,uBAAuB,KAAK,WAAW,GAAG,UAAU;CAClE;AACF;AAEA,SAAS,gBAAgB,MAA+B,aAAmC;CACzF,MAAM,aAAa,KAAK,eAAe;CACvC,IAAI,eAAe,KAAA,KAAa,WAAW,cAAc,GAAG,OAAO;CACnE,MAAM,OAAO,WAAW,KAAK,CAAC,EAAE,WAAW,CAAC,EAAE,KAAK;CACnD,OAAO,SAAS,KAAA,KAAa,YAAY,IAAI,IAAI;AACnD;AAEA,SAAS,UAAU,MAAiC,YAA2C;CAC7F,IAAI,SAAS,KAAA,GAAW,OAAO,KAAA;CAC/B,KAAK,MAAM,SAAS,KAAK,OAAO,OAAO,GACrC,IAAI,MAAM,SAAS,SACjB,OAAO;EACL,OAAO,WAAW,WAAW,MAAM,MAAM;EACzC,KAAK,WAAW,WAAW,MAAM,SAAS,MAAM,KAAK,MAAM;CAC7D;AAIN;AAEA,SAAS,UAAU,MAAkB,YAA+B;CAClE,MAAM,QAAQ,KAAK;CACnB,MAAM,MAAM,QAAQ,KAAK,MAAM;CAC/B,OAAO;EACL,OAAO,WAAW,WAAW,KAAK;EAClC,KAAK,WAAW,WAAW,GAAG;CAChC;AACF"}

package/package.json

@@ -1,19 +1,19 @@
 {
   "name": "@prisma-next/psl-parser",
-  "version": "0.14.0-dev.75",
+  "version": "0.14.0-dev.77",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Reusable parser for Prisma Schema Language (PSL)",
   "dependencies": {
-    "@prisma-next/config": "0.14.0-dev.75",
-    "@prisma-next/contract": "0.14.0-dev.75",
-    "@prisma-next/framework-components": "0.14.0-dev.75",
-    "@prisma-next/utils": "0.14.0-dev.75"
+    "@prisma-next/config": "0.14.0-dev.77",
+    "@prisma-next/contract": "0.14.0-dev.77",
+    "@prisma-next/framework-components": "0.14.0-dev.77",
+    "@prisma-next/utils": "0.14.0-dev.77"
   },
   "devDependencies": {
-    "@prisma-next/tsconfig": "0.14.0-dev.75",
-    "@prisma-next/tsdown": "0.14.0-dev.75",
+    "@prisma-next/tsconfig": "0.14.0-dev.77",
+    "@prisma-next/tsdown": "0.14.0-dev.77",
     "tsdown": "0.22.3",
     "typescript": "5.9.3",
     "vitest": "4.1.10"

package/src/attribute-spec/combinators/func-call.ts

@@ -0,0 +1,65 @@
+import type { PslDiagnostic, PslSpan } from '@prisma-next/framework-components/psl-ast';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import { nodePslSpan } from '../../resolve';
+import type { ExpressionAst } from '../../syntax/ast/expressions';
+import { FunctionCallAst } from '../../syntax/ast/expressions';
+import { interpretArgs } from '../interpret';
+import type { ArgType, InterpretCtx, Param, PositionalParam } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+// The argument signature of a pinned function call — the same positional/named shape an attribute
+// spec uses. Omitted groups default to empty, so a nullary call needs neither key.
+export interface FuncCallSig {
+  readonly positional?: readonly PositionalParam<unknown>[];
+  readonly named?: Readonly<Record<string, Param<unknown>>>;
+}
+
+export interface TypedFuncCall {
+  readonly fn: string;
+  readonly span: PslSpan;
+  readonly args: Readonly<Record<string, unknown>>;
+}
+
+// A name-pinned function-call argument — `funcCall('now', {})` matches `now()`, parsing the call's
+// arguments through `sig`.
+export function funcCall(name: string, sig: FuncCallSig): ArgType<TypedFuncCall> {
+  return {
+    kind: 'funcCall',
+    label: 'function call',
+    parse: (arg, ctx): Result<TypedFuncCall, readonly PslDiagnostic[]> => {
+      const guard = matchCallee(arg, name, ctx);
+      if (!guard.ok) return guard;
+      const span = nodePslSpan(guard.value.syntax, ctx.sourceFile);
+      const bound = interpretArgs(
+        guard.value.args(),
+        { name, positional: sig.positional ?? [], named: sig.named ?? {} },
+        ctx,
+        span,
+      );
+      if (!bound.ok) return notOk<readonly PslDiagnostic[]>(bound.failure);
+      return ok({ fn: name, span, args: bound.value });
+    },
+  };
+}
+
+function matchCallee(
+  arg: ExpressionAst,
+  name: string,
+  ctx: InterpretCtx,
+): Result<FunctionCallAst, readonly PslDiagnostic[]> {
+  if (!(arg instanceof FunctionCallAst)) {
+    return notOk([leafDiagnostic(ctx, arg, 'Expected a function call')]);
+  }
+  const qname = arg.name();
+  if (qname === undefined || qname.dot() !== undefined || qname.colon() !== undefined) {
+    return notOk([leafDiagnostic(ctx, arg, 'Expected a function call')]);
+  }
+  const calleeName = qname.identifier()?.token()?.text;
+  if (calleeName === undefined) {
+    return notOk([leafDiagnostic(ctx, arg, 'Expected a function call')]);
+  }
+  if (calleeName !== name) {
+    return notOk([leafDiagnostic(ctx, arg, `Expected ${name}()`)]);
+  }
+  return ok(arg);
+}

package/src/attribute-spec/combinators/int.ts

@@ -4,16 +4,32 @@ import { NumberLiteralExprAst } from '../../syntax/ast/expressions';
 import type { ArgType } from '../types';
 import { leafDiagnostic } from './diagnostic';
 
-export function int(): ArgType<number> {
+// An integer literal reduced to its numeric value. Passing `min`/`max` additionally rejects
+// out-of-range integers with a distinct range message, leaving the integer-only check intact.
+export function int(opts?: { min?: number; max?: number }): ArgType<number> {
+  const min = opts?.min;
+  const max = opts?.max;
   return {
     kind: 'int',
     label: 'integer',
     parse: (arg, ctx): Result<number, readonly PslDiagnostic[]> => {
       if (arg instanceof NumberLiteralExprAst) {
         const value = arg.value();
-        if (value !== undefined && Number.isInteger(value)) return ok(value);
+        if (value !== undefined && Number.isInteger(value)) {
+          if ((min === undefined || value >= min) && (max === undefined || value <= max)) {
+            return ok(value);
+          }
+          return notOk([leafDiagnostic(ctx, arg, rangeMessage(min, max))]);
+        }
       }
       return notOk([leafDiagnostic(ctx, arg, 'Expected an integer literal')]);
     },
   };
 }
+
+function rangeMessage(min: number | undefined, max: number | undefined): string {
+  if (min !== undefined && max !== undefined)
+    return `Expected an integer between ${min} and ${max}`;
+  if (min !== undefined) return `Expected an integer greater than or equal to ${min}`;
+  return `Expected an integer less than or equal to ${max}`;
+}

package/src/attribute-spec/combinators/num.ts

@@ -0,0 +1,26 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import { NumberLiteralExprAst } from '../../syntax/ast/expressions';
+import type { ArgType } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+// A general number literal — any number, including floats — reduced to its numeric value.
+// Passing `value` pins the combinator to that single literal (`num(4)` matches only `4`),
+// mirroring how `identifier(name)` pins a bare identifier. Use `int()` when only integer
+// literals are allowed.
+export function num(): ArgType<number>;
+export function num(value: number): ArgType<number>;
+export function num(value?: number): ArgType<number> {
+  return {
+    kind: 'num',
+    label: value === undefined ? 'number' : String(value),
+    parse: (arg, ctx): Result<number, readonly PslDiagnostic[]> => {
+      if (arg instanceof NumberLiteralExprAst) {
+        const parsed = arg.value();
+        if (parsed !== undefined && (value === undefined || parsed === value)) return ok(parsed);
+      }
+      const message = value === undefined ? 'Expected a number literal' : `Expected ${value}`;
+      return notOk([leafDiagnostic(ctx, arg, message)]);
+    },
+  };
+}

package/src/attribute-spec/interpret.ts

@@ -5,22 +5,38 @@ import { nodePslSpan } from '../resolve';
 import type { FieldAttributeAst, ModelAttributeAst } from '../syntax/ast/attributes';
 import type { AttributeArgAst } from '../syntax/ast/expressions';
 import { ATTRIBUTE_DIAGNOSTIC_CODE } from './combinators/diagnostic';
-import type { ArgType, AttributeSpec, InterpretCtx, OptionalArgType, Param } from './types';
+import type {
+  ArgType,
+  AttributeSpec,
+  InterpretCtx,
+  OptionalArgType,
+  Param,
+  PositionalParam,
+} from './types';
 
-export function interpretAttribute<Out>(
-  attrNode: FieldAttributeAst | ModelAttributeAst,
-  spec: AttributeSpec<Out>,
+// The positional/named argument-binding for an attribute or a function call. `name` labels the
+// callee in binding diagnostics (`Attribute "<name>" …`); `span` anchors the arity diagnostics
+// (too-many / missing) that have no per-argument node to point at.
+export interface ArgBindingSpec {
+  readonly name: string;
+  readonly positional: readonly PositionalParam<unknown>[];
+  readonly named: Readonly<Record<string, Param<unknown>>>;
+}
+
+export function interpretArgs(
+  args: Iterable<AttributeArgAst>,
+  spec: ArgBindingSpec,
   ctx: InterpretCtx,
-): Result<Out, readonly PslDiagnostic[]> {
+  span: PslSpan,
+): Result<Record<string, unknown>, readonly PslDiagnostic[]> {
   const diagnostics: PslDiagnostic[] = [];
-  const attributeSpan = nodePslSpan(attrNode.syntax, ctx.sourceFile);
 
   const output: Record<string, unknown> = {};
   const seen = new Set<string>();
   let positionalSlot = 0;
   let reportedExcess = false;
 
-  for (const arg of attrNode.argList()?.args() ?? []) {
+  for (const arg of args) {
     const name = arg.name()?.name();
 
     let key: string;
@@ -33,7 +49,7 @@ export function interpretAttribute<Out>(
             diagnostic(
               `Attribute "${spec.name}" received too many positional arguments`,
               ctx,
-              attributeSpan,
+              span,
             ),
           );
           reportedExcess = true;
@@ -89,11 +105,7 @@ export function interpretAttribute<Out>(
       return;
     }
     diagnostics.push(
-      diagnostic(
-        `Attribute "${spec.name}" is missing required argument "${key}"`,
-        ctx,
-        attributeSpan,
-      ),
+      diagnostic(`Attribute "${spec.name}" is missing required argument "${key}"`, ctx, span),
     );
   };
 
@@ -108,11 +120,22 @@ export function interpretAttribute<Out>(
   if (diagnostics.length > 0) {
     return notOk<readonly PslDiagnostic[]>(diagnostics);
   }
+  return ok(output);
+}
+
+export function interpretAttribute<Out>(
+  attrNode: FieldAttributeAst | ModelAttributeAst,
+  spec: AttributeSpec<Out>,
+  ctx: InterpretCtx,
+): Result<Out, readonly PslDiagnostic[]> {
+  const attributeSpan = nodePslSpan(attrNode.syntax, ctx.sourceFile);
+  const bound = interpretArgs(attrNode.argList()?.args() ?? [], spec, ctx, attributeSpan);
+  if (!bound.ok) return notOk<readonly PslDiagnostic[]>(bound.failure);
 
   const value = blindCast<
     Out,
     'The engine builds the output object structurally from the spec; TypeScript cannot relate the dynamically-keyed record to the spec-inferred output type.'
-  >(output);
+  >(bound.value);
   if (spec.refine !== undefined) {
     const refineDiagnostics = spec.refine(value, ctx);
     if (refineDiagnostics.length > 0) {

package/src/exports/index.ts

@@ -41,15 +41,19 @@ export { leafDiagnostic } from '../attribute-spec/combinators/diagnostic';
 export { entityRef } from '../attribute-spec/combinators/entity-ref';
 export type { FieldRefArgType, FieldRefScope } from '../attribute-spec/combinators/field-ref';
 export { fieldRef } from '../attribute-spec/combinators/field-ref';
+export type { FuncCallSig, TypedFuncCall } from '../attribute-spec/combinators/func-call';
+export { funcCall } from '../attribute-spec/combinators/func-call';
 export { identifier } from '../attribute-spec/combinators/identifier';
 export { int } from '../attribute-spec/combinators/int';
 export type { ListOptions } from '../attribute-spec/combinators/list';
 export { list } from '../attribute-spec/combinators/list';
+export { num } from '../attribute-spec/combinators/num';
 export { oneOf } from '../attribute-spec/combinators/one-of';
 export { record } from '../attribute-spec/combinators/record';
 export { str } from '../attribute-spec/combinators/str';
 export { fieldAttribute } from '../attribute-spec/field-attribute';
-export { interpretAttribute } from '../attribute-spec/interpret';
+export type { ArgBindingSpec } from '../attribute-spec/interpret';
+export { interpretArgs, interpretAttribute } from '../attribute-spec/interpret';
 export { modelAttribute } from '../attribute-spec/model-attribute';
 export { optional } from '../attribute-spec/optional';
 export type {