@prisma-next/psl-parser 0.14.0-dev.43 → 0.14.0-dev.45

package/dist/index.d.mts

@@ -1,6 +1,8 @@
 import { $ as Range, H as SyntaxNode, T as ExpressionAst, b as FieldAttributeAst, c as DocumentAst, et as SourceFile, h as NamespaceDeclarationAst, l as FieldDeclarationAst, m as NamedTypeDeclarationAst, o as CompositeTypeDeclarationAst, p as ModelDeclarationAst, t as ParseDiagnostic, u as GenericBlockDeclarationAst, v as TypeAnnotationAst, x as ModelAttributeAst } from "./parse-BKN_-hW8.mjs";
 import { PslAttribute, PslAttribute as PslAttribute$1, PslAttributeArgument, PslAttributeNamedArgument, PslAttributePositionalArgument, PslAttributeTarget, PslCompositeType, PslDefaultFunctionValue, PslDefaultLiteralValue, PslDefaultValue, PslDiagnostic, PslDiagnostic as PslDiagnostic$1, PslDiagnosticCode, PslDocumentAst, PslExtensionBlock, PslExtensionBlock as PslExtensionBlock$1, 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";
 import { CodecLookup } from "@prisma-next/framework-components/codec";
 
 //#region src/attribute-helpers.d.ts
@@ -128,6 +130,83 @@ interface SymbolTableResult {
  */
 declare function buildSymbolTable(options: BuildSymbolTableOptions): SymbolTableResult;
 //#endregion
+//#region src/attribute-spec/types.d.ts
+type AttributeLevel = 'field' | 'model' | 'block';
+interface ArgType<T> {
+  readonly kind: string;
+  readonly label: string;
+  readonly _out?: T;
+  parse(arg: ExpressionAst, ctx: InterpretCtx): Result<T, readonly PslDiagnostic$1[]>;
+}
+interface InterpretCtx {
+  readonly level: AttributeLevel;
+  readonly sourceId: string;
+  readonly sourceFile: SourceFile;
+  readonly selfModel: ModelSymbol;
+  resolveReferencedModel(): ModelSymbol | undefined;
+  readonly field?: FieldSymbol;
+}
+interface OptionalArgType<T> extends ArgType<T> {
+  readonly optional: true;
+  readonly hasDefault: boolean;
+  readonly defaultValue?: T;
+}
+type Param<T> = ArgType<T>;
+interface PositionalParam<T = unknown> {
+  readonly key: string;
+  readonly type: Param<T>;
+}
+interface AttributeSpec<Out> {
+  readonly level: AttributeLevel;
+  readonly name: string;
+  readonly positional: readonly PositionalParam[];
+  readonly named: Readonly<Record<string, Param<unknown>>>;
+  readonly refine?: (parsed: Out, ctx: InterpretCtx) => readonly PslDiagnostic$1[];
+}
+type OutOf<P> = P extends ArgType<infer T> ? T : never;
+type NamedOut<N extends Record<string, Param<unknown>>> = Simplify<{ [K in keyof N as N[K] extends OptionalArgType<unknown> ? never : K]: OutOf<N[K]> } & { [K in keyof N as N[K] extends OptionalArgType<unknown> ? K : never]?: OutOf<N[K]> }>;
+type PosEntryObject<E extends PositionalParam> = E['type'] extends OptionalArgType<unknown> ? { [K in E['key']]?: OutOf<E['type']> } : { [K in E['key']]: OutOf<E['type']> };
+type PosOut<Pos extends readonly PositionalParam[]> = Simplify<UnionToIntersection<{ [I in keyof Pos]: PosEntryObject<Pos[I]> }[number]>>;
+type AttributeOut<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> = Simplify<PosOut<Pos> & NamedOut<Named>>;
+type InferAttr<S> = S extends AttributeSpec<infer Out> ? Out : never;
+//#endregion
+//#region src/attribute-spec/combinators/field-ref.d.ts
+type FieldRefScope = 'self' | 'referenced';
+interface FieldRefArgType extends ArgType<string> {
+  readonly scope: FieldRefScope;
+}
+declare function fieldRef(scope: FieldRefScope): FieldRefArgType;
+//#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/list.d.ts
+interface ListOptions {
+  readonly nonEmpty?: boolean;
+  readonly unique?: boolean;
+}
+declare function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]>;
+//#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
+//#region src/attribute-spec/combinators/str.d.ts
+declare function str(): ArgType<string>;
+//#endregion
+//#region src/attribute-spec/field-attribute.d.ts
+interface FieldAttributeConfig<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> {
+  readonly positional?: Pos;
+  readonly named?: Named;
+  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: InterpretCtx) => readonly PslDiagnostic$1[];
+}
+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
+declare function interpretAttribute<Out>(attrNode: FieldAttributeAst | ModelAttributeAst, spec: AttributeSpec<Out>, ctx: InterpretCtx): Result<Out, readonly PslDiagnostic$1[]>;
+//#endregion
+//#region src/attribute-spec/optional.d.ts
+declare function optional<T>(type: ArgType<T>, ...rest: [defaultValue: T] | []): OptionalArgType<T>;
+//#endregion
 //#region src/extension-block.d.ts
 declare function findBlockDescriptor(descriptors: AuthoringPslBlockDescriptorNamespace | undefined, keyword: string): AuthoringPslBlockDescriptor | undefined;
 declare function validateExtensionBlockFromSymbol(input: {
@@ -139,5 +218,5 @@ declare function validateExtensionBlockFromSymbol(input: {
   readonly codecLookup: CodecLookup;
 }): readonly PslDiagnostic$1[];
 //#endregion
-export { type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldSymbol, type ModelSymbol, type NamespaceSymbol, 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, buildSymbolTable, findBlockDescriptor, flatPslModels, getPositionalArgument, keywordPslSpan, namespacePslExtensionBlocks, nodePslSpan, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, validateExtensionBlockFromSymbol };
+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, buildSymbolTable, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, getPositionalArgument, identifier, interpretAttribute, keywordPslSpan, list, namespacePslExtensionBlocks, nodePslSpan, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, 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/resolve.ts","../src/symbol-table.ts","../src/extension-block.ts"],"mappings":";;;;;;iBAEgB,qBAAA,CAAsB,SAAA,EAAW,cAAY,EAAE,KAAA;AAAA,iBAK/C,wBAAA,CAAyB,KAAa;;;UCMrC,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,KAAA;EAAA,SACA,UAAA,GAAa,aAAA;EAAA,SACb,IAAA,EAAM,SAAO;AAAA;AAAA,UAGP,iBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,WAAe,oBAAA;EAAA,SACf,IAAA,EAAM,SAAO;AAAA;AAAA,UAGP,2BAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,WAAe,oBAAA;EAAA,SACf,IAAA,EAAM,SAAO;AAAA;AAAA,iBAGR,qBAAA,CACd,SAAA,EAAW,iBAAA,GAAoB,iBAAA,EAC/B,UAAA,EAAY,UAAA,GACX,iBAAA;AAAA,iBAQa,sBAAA,CACd,UAAA,EAAY,QAAA,CAAS,iBAAA,GAAoB,iBAAA,GACzC,UAAA,EAAY,UAAA,YACF,iBAAA;AAAA,iBAII,2BAAA,CACd,UAAA,EAAY,iBAAA,cACZ,UAAA,EAAY,UAAA,GACX,2BAAA;AAAA,iBAuCa,WAAA,CAAY,IAAA,EAAM,UAAA,EAAY,UAAA,EAAY,UAAA,GAAa,SAAA;;iBAUvD,cAAA,CAAe,IAAA,EAAM,UAAA,EAAY,OAAA,UAAiB,UAAA,EAAY,UAAA,GAAa,SAAA;AAAA,iBAS3E,cAAA,CAAe,KAAA,EAAO,KAAA,EAAO,UAAA,EAAY,UAAA,GAAa,SAAA;;;UChFrD,WAAA;EAAA,SACN,QAAA,EAAU,aAAa;AAAA;AAAA,UAGjB,aAAA;EAAA,SACN,UAAA,EAAY,MAAA,SAAe,eAAA;EAAA,SAC3B,OAAA,EAAS,MAAA,SAAe,YAAA;EAAA,SACxB,WAAA,EAAa,MAAA,SAAe,eAAA;EAAA,SAC5B,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,cAAA,EAAgB,MAAA,SAAe,mBAAA;AAAA;AAAA,UAGzB,eAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,cAAA,EAAgB,MAAA,SAAe,mBAAA;EAAA,SAC/B,MAAA,EAAQ,MAAA,SAAe,WAAA;AAAA;AAAA,UAGjB,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,mBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,UAAA,WAAqB,iBAAA;AAAA;AAAA,UAGf,mBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,2BAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,UAAA,WAAqB,iBAAA;AAAA;AAAA,UAGf,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,IAAA,EAAM,0BAAA;EAAA,SACN,IAAA,EAAM,SAAA;;WAEN,KAAA,EAAO,mBAAA;AAAA;AAAA,UAGD,wBAAA;EAAA,SACN,QAAA;EAAA,SACA,eAAA,GAAkB,2BAAA;EAAA,SAClB,aAAA;EAAA,SACA,UAAA,WAAqB,iBAAiB;AAAA;AAAA,UAGhC,YAAA,SAAqB,wBAAA;EAAA,SAC3B,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;AAAA;AAAA,UAGA,eAAA,SAAwB,wBAAA;EAAA,SAC9B,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;AAAA;AAAA,UAGA,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,mBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,QAAA;EAAA,SACA,eAAA;EAAA,SACA,mBAAA;EAAA,SACA,QAAA;EAAA,SACA,IAAA;EAAA,SACA,eAAA,GAAkB,2BAAA;EAAA,SAClB,UAAA,WAAqB,iBAAA;EDpEpB;EAAA,SCsED,aAAA;AAAA;AAAA,UAGM,uBAAA;EAAA,SACN,QAAA,EAAU,WAAA;EAAA,SACV,UAAA,EAAY,UAAA;EAAA,SACZ,WAAA;EAAA,SACA,mBAAA,EAAqB,oCAAA;AAAA;AAAA,UAGf,iBAAA;EAAA,SACN,KAAA,EAAO,WAAA;EAAA,SACP,WAAA,WAAsB,eAAe;AAAA;;;;;iBAOhC,gBAAA,CAAiB,OAAA,EAAS,uBAAA,GAA0B,iBAAiB;;;iBCtHrE,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/resolve.ts","../src/symbol-table.ts","../src/attribute-spec/types.ts","../src/attribute-spec/combinators/field-ref.ts","../src/attribute-spec/combinators/identifier.ts","../src/attribute-spec/combinators/list.ts","../src/attribute-spec/combinators/one-of.ts","../src/attribute-spec/combinators/str.ts","../src/attribute-spec/field-attribute.ts","../src/attribute-spec/interpret.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;;;UCMrC,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,KAAA;EAAA,SACA,UAAA,GAAa,aAAA;EAAA,SACb,IAAA,EAAM,SAAO;AAAA;AAAA,UAGP,iBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,WAAe,oBAAA;EAAA,SACf,IAAA,EAAM,SAAO;AAAA;AAAA,UAGP,2BAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,WAAe,oBAAA;EAAA,SACf,IAAA,EAAM,SAAO;AAAA;AAAA,iBAGR,qBAAA,CACd,SAAA,EAAW,iBAAA,GAAoB,iBAAA,EAC/B,UAAA,EAAY,UAAA,GACX,iBAAA;AAAA,iBAQa,sBAAA,CACd,UAAA,EAAY,QAAA,CAAS,iBAAA,GAAoB,iBAAA,GACzC,UAAA,EAAY,UAAA,YACF,iBAAA;AAAA,iBAII,2BAAA,CACd,UAAA,EAAY,iBAAA,cACZ,UAAA,EAAY,UAAA,GACX,2BAAA;AAAA,iBAuCa,WAAA,CAAY,IAAA,EAAM,UAAA,EAAY,UAAA,EAAY,UAAA,GAAa,SAAA;;iBAUvD,cAAA,CAAe,IAAA,EAAM,UAAA,EAAY,OAAA,UAAiB,UAAA,EAAY,UAAA,GAAa,SAAA;AAAA,iBAS3E,cAAA,CAAe,KAAA,EAAO,KAAA,EAAO,UAAA,EAAY,UAAA,GAAa,SAAA;;;UChFrD,WAAA;EAAA,SACN,QAAA,EAAU,aAAa;AAAA;AAAA,UAGjB,aAAA;EAAA,SACN,UAAA,EAAY,MAAA,SAAe,eAAA;EAAA,SAC3B,OAAA,EAAS,MAAA,SAAe,YAAA;EAAA,SACxB,WAAA,EAAa,MAAA,SAAe,eAAA;EAAA,SAC5B,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,cAAA,EAAgB,MAAA,SAAe,mBAAA;AAAA;AAAA,UAGzB,eAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,cAAA,EAAgB,MAAA,SAAe,mBAAA;EAAA,SAC/B,MAAA,EAAQ,MAAA,SAAe,WAAA;AAAA;AAAA,UAGjB,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,mBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,UAAA,WAAqB,iBAAA;AAAA;AAAA,UAGf,mBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,2BAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,UAAA,WAAqB,iBAAA;AAAA;AAAA,UAGf,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,IAAA,EAAM,0BAAA;EAAA,SACN,IAAA,EAAM,SAAA;EDnDA;EAAA,SCqDN,KAAA,EAAO,mBAAA;AAAA;AAAA,UAGD,wBAAA;EAAA,SACN,QAAA;EAAA,SACA,eAAA,GAAkB,2BAAA;EAAA,SAClB,aAAA;EAAA,SACA,UAAA,WAAqB,iBAAiB;AAAA;AAAA,UAGhC,YAAA,SAAqB,wBAAA;EAAA,SAC3B,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;AAAA;AAAA,UAGA,eAAA,SAAwB,wBAAA;EAAA,SAC9B,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;AAAA;AAAA,UAGA,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,mBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,QAAA;EAAA,SACA,eAAA;EAAA,SACA,mBAAA;EAAA,SACA,QAAA;EAAA,SACA,IAAA;EAAA,SACA,eAAA,GAAkB,2BAAA;EAAA,SAClB,UAAA,WAAqB,iBAAA;EDtElB;EAAA,SCwEH,aAAA;AAAA;AAAA,UAGM,uBAAA;EAAA,SACN,QAAA,EAAU,WAAA;EAAA,SACV,UAAA,EAAY,UAAA;EAAA,SACZ,WAAA;EAAA,SACA,mBAAA,EAAqB,oCAAA;AAAA;AAAA,UAGf,iBAAA;EAAA,SACN,KAAA,EAAO,WAAA;EAAA,SACP,WAAA,WAAsB,eAAe;AAAA;ADlFnB;AAI7B;;;AAJ6B,iBCyFb,gBAAA,CAAiB,OAAA,EAAS,uBAAA,GAA0B,iBAAiB;;;KCjIzE,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;;;KCjEpD,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;;;UCApD,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,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;;;iBCXR,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,5 +1,7 @@
-import { c as NamespaceDeclarationAst, i as GenericBlockDeclarationAst, k as printSyntax, l as TypesBlockAst, m as ArrayLiteralAst, o as ModelDeclarationAst, t as CompositeTypeDeclarationAst } from "./declarations-CPDuQm7x.mjs";
+import { c as NamespaceDeclarationAst, i as GenericBlockDeclarationAst, k as printSyntax, l as TypesBlockAst, m as ArrayLiteralAst, o as ModelDeclarationAst, t as CompositeTypeDeclarationAst, w as IdentifierAst, x as StringLiteralExprAst } from "./declarations-CPDuQm7x.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";
 import { isAuthoringPslBlockDescriptor } from "@prisma-next/framework-components/authoring";
 //#region src/attribute-helpers.ts
 function getPositionalArgument(attribute, index = 0) {
@@ -11,63 +13,6 @@ function parseQuotedStringLiteral(value) {
 	return match[2] ?? "";
 }
 //#endregion
-//#region src/extension-block.ts
-function findBlockDescriptor(descriptors, keyword) {
-	if (descriptors === void 0) return void 0;
-	for (const value of Object.values(descriptors)) {
-		if (value === void 0) continue;
-		if (isAuthoringPslBlockDescriptor(value)) {
-			if (value.keyword === keyword) return value;
-			continue;
-		}
-		const nested = findBlockDescriptor(value, keyword);
-		if (nested !== void 0) return nested;
-	}
-}
-function validateExtensionBlockFromSymbol(input) {
-	const refCtx = buildRefResolutionContext(input.symbolTable, input.block);
-	return validateExtensionBlock(input.block.block, input.descriptor, input.sourceId, input.codecLookup, refCtx);
-}
-const ZERO_SPAN = {
-	start: {
-		offset: 0,
-		line: 1,
-		column: 1
-	},
-	end: {
-		offset: 0,
-		line: 1,
-		column: 1
-	}
-};
-function buildRefResolutionContext(symbolTable, block) {
-	const unspecifiedNamespace = makeNamespace(UNSPECIFIED_PSL_NAMESPACE_ID, Object.values(symbolTable.topLevel.models));
-	const allNamespaces = [unspecifiedNamespace, ...Object.values(symbolTable.topLevel.namespaces).map((namespace) => makeNamespace(namespace.name, Object.values(namespace.models)))];
-	const ownerNamespaceName = findOwnerNamespaceName(symbolTable, block);
-	return {
-		ownerNamespace: allNamespaces.find((namespace) => namespace.name === ownerNamespaceName) ?? unspecifiedNamespace,
-		allNamespaces
-	};
-}
-function makeNamespace(name, models) {
-	return makePslNamespace({
-		kind: "namespace",
-		name,
-		entries: makePslNamespaceEntries(models.map((model) => ({
-			kind: "model",
-			name: model.name,
-			fields: [],
-			attributes: [],
-			span: ZERO_SPAN
-		})), [], []),
-		span: ZERO_SPAN
-	});
-}
-function findOwnerNamespaceName(symbolTable, block) {
-	for (const namespace of Object.values(symbolTable.topLevel.namespaces)) if (Object.values(namespace.blocks).some((candidate) => candidate === block)) return namespace.name;
-	return UNSPECIFIED_PSL_NAMESPACE_ID;
-}
-//#endregion
 //#region src/resolve.ts
 function readResolvedAttribute(attribute, sourceFile) {
 	return {
@@ -143,6 +88,280 @@ function offsetToPslPosition(offset, sourceFile) {
 	};
 }
 //#endregion
+//#region src/attribute-spec/combinators/diagnostic.ts
+const ATTRIBUTE_DIAGNOSTIC_CODE = "PSL_INVALID_ATTRIBUTE_SYNTAX";
+function leafDiagnostic(ctx, node, message) {
+	return {
+		code: ATTRIBUTE_DIAGNOSTIC_CODE,
+		message,
+		sourceId: ctx.sourceId,
+		span: nodePslSpan(node.syntax, ctx.sourceFile)
+	};
+}
+//#endregion
+//#region src/attribute-spec/combinators/field-ref.ts
+function fieldRef(scope) {
+	return {
+		kind: "fieldRef",
+		label: "field name",
+		scope,
+		parse: (arg, ctx) => {
+			if (!(arg instanceof IdentifierAst)) return notOk([leafDiagnostic(ctx, arg, "Expected a field name")]);
+			const name = arg.name();
+			if (name === void 0) return notOk([leafDiagnostic(ctx, arg, "Expected a field name")]);
+			const model = scope === "self" ? ctx.selfModel : ctx.resolveReferencedModel();
+			if (model !== void 0 && !Object.hasOwn(model.fields, name)) return notOk([leafDiagnostic(ctx, arg, `Field "${name}" does not exist on model "${model.name}"`)]);
+			return ok(name);
+		}
+	};
+}
+//#endregion
+//#region src/attribute-spec/combinators/identifier.ts
+function identifier(name) {
+	return {
+		kind: "identifier",
+		label: name,
+		parse: (arg, ctx) => {
+			if (arg instanceof IdentifierAst && arg.name() === name) return ok(name);
+			return notOk([leafDiagnostic(ctx, arg, `Expected ${name}`)]);
+		}
+	};
+}
+//#endregion
+//#region src/attribute-spec/combinators/list.ts
+function list(of, opts) {
+	return {
+		kind: "list",
+		label: `${of.label}[]`,
+		parse: (arg, ctx) => {
+			if (!(arg instanceof ArrayLiteralAst)) return notOk([leafDiagnostic(ctx, arg, `Expected a list of ${of.label}`)]);
+			const diagnostics = [];
+			const parsed = [];
+			let count = 0;
+			for (const element of arg.elements()) {
+				count += 1;
+				const result = of.parse(element, ctx);
+				if (result.ok) parsed.push({
+					node: element,
+					value: result.value
+				});
+				else diagnostics.push(...result.failure);
+			}
+			if (opts?.nonEmpty === true && count === 0) diagnostics.push(leafDiagnostic(ctx, arg, "Expected a non-empty list"));
+			if (opts?.unique === true) {
+				const seen = /* @__PURE__ */ new Set();
+				for (const { node, value } of parsed) if (seen.has(value)) diagnostics.push(leafDiagnostic(ctx, node, "Duplicate list entry"));
+				else seen.add(value);
+			}
+			if (diagnostics.length > 0) return notOk(diagnostics);
+			return ok(parsed.map((entry) => entry.value));
+		}
+	};
+}
+//#endregion
+//#region src/attribute-spec/combinators/one-of.ts
+function oneOf(...alts) {
+	const label = alts.map((alt) => alt.label).join(" | ");
+	return {
+		kind: "oneOf",
+		label,
+		parse: (arg, ctx) => {
+			for (const alt of alts) {
+				const result = alt.parse(arg, ctx);
+				if (result.ok) return ok(blindCast(result.value));
+			}
+			return notOk([leafDiagnostic(ctx, arg, `Expected one of: ${label}`)]);
+		}
+	};
+}
+//#endregion
+//#region src/attribute-spec/combinators/str.ts
+function str() {
+	return {
+		kind: "str",
+		label: "string",
+		parse: (arg, ctx) => {
+			if (arg instanceof StringLiteralExprAst) {
+				const value = arg.value();
+				if (value !== void 0) return ok(value);
+			}
+			return notOk([leafDiagnostic(ctx, arg, "Expected a string literal")]);
+		}
+	};
+}
+//#endregion
+//#region src/attribute-spec/field-attribute.ts
+function fieldAttribute(name, config) {
+	return {
+		level: "field",
+		name,
+		positional: config.positional ?? [],
+		named: config.named ?? {},
+		...config.refine !== void 0 ? { refine: config.refine } : {}
+	};
+}
+//#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/optional.ts
+function optional(type, ...rest) {
+	if (rest.length === 0) return {
+		...type,
+		optional: true,
+		hasDefault: false
+	};
+	return {
+		...type,
+		optional: true,
+		hasDefault: true,
+		defaultValue: rest[0]
+	};
+}
+//#endregion
+//#region src/extension-block.ts
+function findBlockDescriptor(descriptors, keyword) {
+	if (descriptors === void 0) return void 0;
+	for (const value of Object.values(descriptors)) {
+		if (value === void 0) continue;
+		if (isAuthoringPslBlockDescriptor(value)) {
+			if (value.keyword === keyword) return value;
+			continue;
+		}
+		const nested = findBlockDescriptor(value, keyword);
+		if (nested !== void 0) return nested;
+	}
+}
+function validateExtensionBlockFromSymbol(input) {
+	const refCtx = buildRefResolutionContext(input.symbolTable, input.block);
+	return validateExtensionBlock(input.block.block, input.descriptor, input.sourceId, input.codecLookup, refCtx);
+}
+const ZERO_SPAN = {
+	start: {
+		offset: 0,
+		line: 1,
+		column: 1
+	},
+	end: {
+		offset: 0,
+		line: 1,
+		column: 1
+	}
+};
+function buildRefResolutionContext(symbolTable, block) {
+	const unspecifiedNamespace = makeNamespace(UNSPECIFIED_PSL_NAMESPACE_ID, Object.values(symbolTable.topLevel.models));
+	const allNamespaces = [unspecifiedNamespace, ...Object.values(symbolTable.topLevel.namespaces).map((namespace) => makeNamespace(namespace.name, Object.values(namespace.models)))];
+	const ownerNamespaceName = findOwnerNamespaceName(symbolTable, block);
+	return {
+		ownerNamespace: allNamespaces.find((namespace) => namespace.name === ownerNamespaceName) ?? unspecifiedNamespace,
+		allNamespaces
+	};
+}
+function makeNamespace(name, models) {
+	return makePslNamespace({
+		kind: "namespace",
+		name,
+		entries: makePslNamespaceEntries(models.map((model) => ({
+			kind: "model",
+			name: model.name,
+			fields: [],
+			attributes: [],
+			span: ZERO_SPAN
+		})), [], []),
+		span: ZERO_SPAN
+	});
+}
+function findOwnerNamespaceName(symbolTable, block) {
+	for (const namespace of Object.values(symbolTable.topLevel.namespaces)) if (Object.values(namespace.blocks).some((candidate) => candidate === block)) return namespace.name;
+	return UNSPECIFIED_PSL_NAMESPACE_ID;
+}
+//#endregion
 //#region src/block-reconstruction.ts
 /**
 * Descriptor-free and unknown parameters become `value` stubs so validation can
@@ -481,6 +700,6 @@ function nodeRange(node, sourceFile) {
 	};
 }
 //#endregion
-export { buildSymbolTable, findBlockDescriptor, flatPslModels, getPositionalArgument, keywordPslSpan, namespacePslExtensionBlocks, nodePslSpan, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, validateExtensionBlockFromSymbol };
+export { buildSymbolTable, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, getPositionalArgument, identifier, interpretAttribute, keywordPslSpan, list, namespacePslExtensionBlocks, nodePslSpan, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, 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/extension-block.ts","../src/resolve.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 {\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 { 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 { 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    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;;;ACMA,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;;;ACzEA,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;;;;;;;ACvGA,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,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;;;;;;;ACFA,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/field-ref.ts","../src/attribute-spec/combinators/identifier.ts","../src/attribute-spec/combinators/list.ts","../src/attribute-spec/combinators/one-of.ts","../src/attribute-spec/combinators/str.ts","../src/attribute-spec/field-attribute.ts","../src/attribute-spec/interpret.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 { 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 { 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 { 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 { 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    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;;;ACFA,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;;;ACJA,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,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;;;ACvJA,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,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;;;;;;;ACFA,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,17 +1,17 @@
 {
   "name": "@prisma-next/psl-parser",
-  "version": "0.14.0-dev.43",
+  "version": "0.14.0-dev.45",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Reusable parser for Prisma Schema Language (PSL)",
   "dependencies": {
-    "@prisma-next/framework-components": "0.14.0-dev.43",
-    "@prisma-next/utils": "0.14.0-dev.43"
+    "@prisma-next/framework-components": "0.14.0-dev.45",
+    "@prisma-next/utils": "0.14.0-dev.45"
   },
   "devDependencies": {
-    "@prisma-next/tsconfig": "0.14.0-dev.43",
-    "@prisma-next/tsdown": "0.14.0-dev.43",
+    "@prisma-next/tsconfig": "0.14.0-dev.45",
+    "@prisma-next/tsdown": "0.14.0-dev.45",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"

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

@@ -0,0 +1,15 @@
+import type { PslDiagnostic, PslDiagnosticCode } from '@prisma-next/framework-components/psl-ast';
+import { nodePslSpan } from '../../resolve';
+import type { AstNode } from '../../syntax/ast-helpers';
+import type { InterpretCtx } from '../types';
+
+export const ATTRIBUTE_DIAGNOSTIC_CODE: PslDiagnosticCode = 'PSL_INVALID_ATTRIBUTE_SYNTAX';
+
+export function leafDiagnostic(ctx: InterpretCtx, node: AstNode, message: string): PslDiagnostic {
+  return {
+    code: ATTRIBUTE_DIAGNOSTIC_CODE,
+    message,
+    sourceId: ctx.sourceId,
+    span: nodePslSpan(node.syntax, ctx.sourceFile),
+  };
+}

package/src/attribute-spec/combinators/field-ref.ts

@@ -0,0 +1,36 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import { IdentifierAst } from '../../syntax/ast/identifier';
+import type { ArgType } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+export type FieldRefScope = 'self' | 'referenced';
+
+export interface FieldRefArgType extends ArgType<string> {
+  readonly scope: FieldRefScope;
+}
+
+export function fieldRef(scope: FieldRefScope): FieldRefArgType {
+  return {
+    kind: 'fieldRef',
+    label: 'field name',
+    scope,
+    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {
+      if (!(arg instanceof IdentifierAst)) {
+        return notOk([leafDiagnostic(ctx, arg, 'Expected a field name')]);
+      }
+      const name = arg.name();
+      if (name === undefined) {
+        return notOk([leafDiagnostic(ctx, arg, 'Expected a field name')]);
+      }
+      const model = scope === 'self' ? ctx.selfModel : ctx.resolveReferencedModel();
+      // 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.
+      if (model !== undefined && !Object.hasOwn(model.fields, name)) {
+        return notOk([
+          leafDiagnostic(ctx, arg, `Field "${name}" does not exist on model "${model.name}"`),
+        ]);
+      }
+      return ok(name);
+    },
+  };
+}

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

@@ -0,0 +1,16 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import { IdentifierAst } from '../../syntax/ast/identifier';
+import type { ArgType } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+export function identifier<const N extends string>(name: N): ArgType<N> {
+  return {
+    kind: 'identifier',
+    label: name,
+    parse: (arg, ctx): Result<N, readonly PslDiagnostic[]> => {
+      if (arg instanceof IdentifierAst && arg.name() === name) return ok(name);
+      return notOk([leafDiagnostic(ctx, arg, `Expected ${name}`)]);
+    },
+  };
+}

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

@@ -0,0 +1,43 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import { ArrayLiteralAst, type ExpressionAst } from '../../syntax/ast/expressions';
+import type { ArgType } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+export interface ListOptions {
+  readonly nonEmpty?: boolean;
+  readonly unique?: boolean;
+}
+
+export function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]> {
+  return {
+    kind: 'list',
+    label: `${of.label}[]`,
+    parse: (arg, ctx): Result<T[], readonly PslDiagnostic[]> => {
+      if (!(arg instanceof ArrayLiteralAst)) {
+        return notOk([leafDiagnostic(ctx, arg, `Expected a list of ${of.label}`)]);
+      }
+      const diagnostics: PslDiagnostic[] = [];
+      const parsed: { node: ExpressionAst; value: T }[] = [];
+      let count = 0;
+      for (const element of arg.elements()) {
+        count += 1;
+        const result = of.parse(element, ctx);
+        if (result.ok) parsed.push({ node: element, value: result.value });
+        else diagnostics.push(...result.failure);
+      }
+      if (opts?.nonEmpty === true && count === 0) {
+        diagnostics.push(leafDiagnostic(ctx, arg, 'Expected a non-empty list'));
+      }
+      if (opts?.unique === true) {
+        const seen = new Set<T>();
+        for (const { node, value } of parsed) {
+          if (seen.has(value)) diagnostics.push(leafDiagnostic(ctx, node, 'Duplicate list entry'));
+          else seen.add(value);
+        }
+      }
+      if (diagnostics.length > 0) return notOk(diagnostics);
+      return ok(parsed.map((entry) => entry.value));
+    },
+  };
+}

package/src/attribute-spec/combinators/one-of.ts

@@ -0,0 +1,29 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import { blindCast } from '@prisma-next/utils/casts';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import type { ArgType, OutOf } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+export function oneOf<Alts extends readonly [ArgType<unknown>, ...ArgType<unknown>[]]>(
+  ...alts: Alts
+): ArgType<OutOf<Alts[number]>> {
+  const label = alts.map((alt) => alt.label).join(' | ');
+  return {
+    kind: 'oneOf',
+    label,
+    parse: (arg, ctx): Result<OutOf<Alts[number]>, readonly PslDiagnostic[]> => {
+      for (const alt of alts) {
+        const result = alt.parse(arg, ctx);
+        if (result.ok) {
+          return ok(
+            blindCast<
+              OutOf<Alts[number]>,
+              '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.'
+            >(result.value),
+          );
+        }
+      }
+      return notOk([leafDiagnostic(ctx, arg, `Expected one of: ${label}`)]);
+    },
+  };
+}

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

@@ -0,0 +1,19 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+import { StringLiteralExprAst } from '../../syntax/ast/expressions';
+import type { ArgType } from '../types';
+import { leafDiagnostic } from './diagnostic';
+
+export function str(): ArgType<string> {
+  return {
+    kind: 'str',
+    label: 'string',
+    parse: (arg, ctx): Result<string, readonly PslDiagnostic[]> => {
+      if (arg instanceof StringLiteralExprAst) {
+        const value = arg.value();
+        if (value !== undefined) return ok(value);
+      }
+      return notOk([leafDiagnostic(ctx, arg, 'Expected a string literal')]);
+    },
+  };
+}

package/src/attribute-spec/field-attribute.ts

@@ -0,0 +1,27 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import type { AttributeOut, AttributeSpec, InterpretCtx, Param, PositionalParam } from './types';
+
+interface FieldAttributeConfig<
+  Pos extends readonly PositionalParam[],
+  Named extends Record<string, Param<unknown>>,
+> {
+  readonly positional?: Pos;
+  readonly named?: Named;
+  readonly refine?: (
+    parsed: AttributeOut<Pos, Named>,
+    ctx: InterpretCtx,
+  ) => readonly PslDiagnostic[];
+}
+
+export 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>> {
+  return {
+    level: 'field',
+    name,
+    positional: config.positional ?? [],
+    named: config.named ?? {},
+    ...(config.refine !== undefined ? { refine: config.refine } : {}),
+  };
+}

package/src/attribute-spec/interpret.ts

@@ -0,0 +1,154 @@
+import type { PslDiagnostic, PslSpan } from '@prisma-next/framework-components/psl-ast';
+import { blindCast } from '@prisma-next/utils/casts';
+import { notOk, ok, type Result } from '@prisma-next/utils/result';
+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';
+
+export function interpretAttribute<Out>(
+  attrNode: FieldAttributeAst | ModelAttributeAst,
+  spec: AttributeSpec<Out>,
+  ctx: InterpretCtx,
+): Result<Out, 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() ?? []) {
+    const name = arg.name()?.name();
+
+    let key: string;
+    let param: Param<unknown>;
+    if (name === undefined) {
+      const posParam = spec.positional[positionalSlot];
+      if (posParam === undefined) {
+        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] : undefined;
+      if (namedParam === undefined) {
+        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 = new Set<string>();
+  const finalizeAbsentKey = (
+    key: string,
+    positionalParam: Param<unknown> | undefined,
+    namedParam: Param<unknown> | undefined,
+  ): void => {
+    if (finalized.has(key) || seen.has(key)) return;
+    finalized.add(key);
+    const effective = namedParam ?? positionalParam;
+    if (effective === undefined) 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] : undefined;
+    finalizeAbsentKey(param.key, param.type, namedParam);
+  }
+  for (const key of Object.keys(spec.named)) {
+    finalizeAbsentKey(key, undefined, spec.named[key]);
+  }
+
+  if (diagnostics.length > 0) {
+    return notOk<readonly PslDiagnostic[]>(diagnostics);
+  }
+
+  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);
+  if (spec.refine !== undefined) {
+    const refineDiagnostics = spec.refine(value, ctx);
+    if (refineDiagnostics.length > 0) {
+      return notOk<readonly PslDiagnostic[]>(refineDiagnostics);
+    }
+  }
+  return ok(value);
+}
+
+function parseArgValue(
+  arg: AttributeArgAst,
+  argType: ArgType<unknown>,
+  ctx: InterpretCtx,
+  diagnostics: PslDiagnostic[],
+): Result<unknown, readonly PslDiagnostic[]> {
+  const value = arg.value();
+  if (value === undefined) {
+    const missing = diagnostic(
+      'Attribute argument is missing a value',
+      ctx,
+      nodePslSpan(arg.syntax, ctx.sourceFile),
+    );
+    diagnostics.push(missing);
+    return notOk<readonly PslDiagnostic[]>([missing]);
+  }
+  const result = argType.parse(value, ctx);
+  if (!result.ok) {
+    for (const failure of result.failure) diagnostics.push(failure);
+  }
+  return result;
+}
+
+function isOptionalArgType(param: Param<unknown>): param is OptionalArgType<unknown> {
+  return 'optional' in param && param.optional === true;
+}
+
+function diagnostic(message: string, ctx: InterpretCtx, span: PslSpan): PslDiagnostic {
+  return { code: ATTRIBUTE_DIAGNOSTIC_CODE, message, sourceId: ctx.sourceId, span };
+}

package/src/attribute-spec/optional.ts

@@ -0,0 +1,8 @@
+import type { ArgType, OptionalArgType } from './types';
+
+export function optional<T>(type: ArgType<T>, ...rest: [defaultValue: T] | []): OptionalArgType<T> {
+  if (rest.length === 0) {
+    return { ...type, optional: true, hasDefault: false };
+  }
+  return { ...type, optional: true, hasDefault: true, defaultValue: rest[0] };
+}

package/src/attribute-spec/types.ts

@@ -0,0 +1,72 @@
+import type { PslDiagnostic } from '@prisma-next/framework-components/psl-ast';
+import type { Result } from '@prisma-next/utils/result';
+import type { Simplify, UnionToIntersection } from '@prisma-next/utils/types';
+import type { SourceFile } from '../source-file';
+import type { FieldSymbol, ModelSymbol } from '../symbol-table';
+import type { ExpressionAst } from '../syntax/ast/expressions';
+
+export type AttributeLevel = 'field' | 'model' | 'block';
+
+export interface ArgType<T> {
+  readonly kind: string;
+  readonly label: string;
+  // phantom carrier for `T`; never read at runtime.
+  readonly _out?: T;
+  parse(arg: ExpressionAst, ctx: InterpretCtx): Result<T, readonly PslDiagnostic[]>;
+}
+
+export interface InterpretCtx {
+  readonly level: AttributeLevel;
+  readonly sourceId: string;
+  readonly sourceFile: SourceFile;
+  readonly selfModel: ModelSymbol;
+  resolveReferencedModel(): ModelSymbol | undefined;
+  readonly field?: FieldSymbol;
+}
+
+export interface OptionalArgType<T> extends ArgType<T> {
+  // the engine detects optionality by checking for this marker (`'optional' in param`).
+  readonly optional: true;
+  readonly hasDefault: boolean;
+  readonly defaultValue?: T;
+}
+
+export type Param<T> = ArgType<T>;
+
+export interface PositionalParam<T = unknown> {
+  readonly key: string;
+  readonly type: Param<T>;
+}
+
+export interface AttributeSpec<Out> {
+  readonly level: AttributeLevel;
+  readonly name: string;
+  readonly positional: readonly PositionalParam[];
+  readonly named: Readonly<Record<string, Param<unknown>>>;
+  readonly refine?: (parsed: Out, ctx: InterpretCtx) => readonly PslDiagnostic[];
+}
+
+export type OutOf<P> = P extends ArgType<infer T> ? T : never;
+
+export type NamedOut<N extends Record<string, Param<unknown>>> = Simplify<
+  { [K in keyof N as N[K] extends OptionalArgType<unknown> ? never : K]: OutOf<N[K]> } & {
+    [K in keyof N as N[K] extends OptionalArgType<unknown> ? K : never]?: OutOf<N[K]>;
+  }
+>;
+
+type PosEntryObject<E extends PositionalParam> =
+  E['type'] extends OptionalArgType<unknown>
+    ? { [K in E['key']]?: OutOf<E['type']> }
+    : { [K in E['key']]: OutOf<E['type']> };
+
+export type PosOut<Pos extends readonly PositionalParam[]> = Simplify<
+  UnionToIntersection<{ [I in keyof Pos]: PosEntryObject<Pos[I]> }[number]>
+>;
+
+export type AttributeOut<
+  Pos extends readonly PositionalParam[],
+  Named extends Record<string, Param<unknown>>,
+> = Simplify<PosOut<Pos> & NamedOut<Named>>;
+
+// `S` is unconstrained on purpose: `refine` makes `Out` contravariant, so a bound like `S extends AttributeSpec<unknown>` would reject every spec that uses `refine`.
+export type InferAttr<S> = S extends AttributeSpec<infer Out> ? Out : never;

package/src/exports/index.ts

@@ -36,6 +36,30 @@ export {
   namespacePslExtensionBlocks,
 } from '@prisma-next/framework-components/psl-ast';
 export { getPositionalArgument, parseQuotedStringLiteral } from '../attribute-helpers';
+export type { FieldRefArgType, FieldRefScope } from '../attribute-spec/combinators/field-ref';
+export { fieldRef } from '../attribute-spec/combinators/field-ref';
+export { identifier } from '../attribute-spec/combinators/identifier';
+export type { ListOptions } from '../attribute-spec/combinators/list';
+export { list } from '../attribute-spec/combinators/list';
+export { oneOf } from '../attribute-spec/combinators/one-of';
+export { str } from '../attribute-spec/combinators/str';
+export { fieldAttribute } from '../attribute-spec/field-attribute';
+export { interpretAttribute } from '../attribute-spec/interpret';
+export { optional } from '../attribute-spec/optional';
+export type {
+  ArgType,
+  AttributeLevel,
+  AttributeOut,
+  AttributeSpec,
+  InferAttr,
+  InterpretCtx,
+  NamedOut,
+  OptionalArgType,
+  OutOf,
+  Param,
+  PositionalParam,
+  PosOut,
+} from '../attribute-spec/types';
 export { findBlockDescriptor, validateExtensionBlockFromSymbol } from '../extension-block';
 export {
   keywordPslSpan,