@prisma/orm-framework 8.0.0-rc.1-dev.46 → 8.0.0-rc.10-dev.1

package/dist/psl-parser.d.mts

@@ -1,12 +1,14 @@
-import { c as CodecLookup } from "./codec-types-D6VRj2RE-BLElXc-O.mjs";
-import { B as PslExtensionBlockParamList, F as PslDiagnosticCode, G as PslPosition, H as PslExtensionBlockParamRef, I as PslExtensionBlock, K as PslSpan, L as PslExtensionBlockAttribute, R as PslExtensionBlockAttributeArg, U as PslExtensionBlockParamScalarValue, V as PslExtensionBlockParamOption, W as PslExtensionBlockParamValue, b as AuthoringPslBlockDescriptorNamespace, y as AuthoringPslBlockDescriptor, z as PslExtensionBlockParamBare } from "./framework-authoring-BhctBwih-DQ_6noDM.mjs";
-import "./authoring-B2H-9qCv.mjs";
-import "./codec-Ce07W3Mz.mjs";
-import { M as namespacePslExtensionBlocks, T as PslTypesBlock, a as PslAttributeArgument, b as PslNamedTypeDeclaration, c as PslAttributeTarget, d as PslDefaultLiteralValue, f as PslDefaultValue, g as PslFieldAttribute, h as PslField, i as PslAttribute, k as flatPslModels, l as PslCompositeType, m as PslDocumentAst, o as PslAttributeNamedArgument, p as PslDiagnostic, s as PslAttributePositionalArgument, u as PslDefaultFunctionValue, v as PslModel, w as PslTypeConstructorCall, x as PslNamespace, y as PslModelAttribute } from "./psl-ast-CWJQF8LA-Vr5JNPdn.mjs";
+import { c as CodecLookup } from "./codec-types-nVMtogur-CYBdUQUH.mjs";
+import { B as PslExtensionBlockParamBare, G as PslExtensionBlockParamValue, H as PslExtensionBlockParamOption, I as PslDiagnosticCode, J as PslSpan, L as PslExtensionBlock, R as PslExtensionBlockAttribute, U as PslExtensionBlockParamRef, V as PslExtensionBlockParamList, W as PslExtensionBlockParamScalarValue, b as AuthoringPslBlockDescriptor, q as PslPosition, x as AuthoringPslBlockDescriptorNamespace, z as PslExtensionBlockAttributeArg } from "./framework-authoring-BYgPL2X6-DMKO0Z_k.mjs";
+import "./authoring-D2ngo2MB.mjs";
+import "./codec-DxAIshoO.mjs";
+import { l as ControlMutationDefaultRegistry } from "./framework-components-CDppKaT_-DcMHokB8.mjs";
+import { M as namespacePslExtensionBlocks, T as PslTypesBlock, a as PslAttributeArgument, b as PslNamedTypeDeclaration, c as PslAttributeTarget, d as PslDefaultLiteralValue, f as PslDefaultValue, g as PslFieldAttribute, h as PslField, i as PslAttribute, k as flatPslModels, l as PslCompositeType, m as PslDocumentAst, o as PslAttributeNamedArgument, p as PslDiagnostic, s as PslAttributePositionalArgument, u as PslDefaultFunctionValue, v as PslModel, w as PslTypeConstructorCall, x as PslNamespace, y as PslModelAttribute } from "./psl-ast-dnXw52MT-1jSUKlC9.mjs";
 import { r as Result } from "./result-Bpupv5vO.mjs";
-import "./psl-ast-BXZoFQBk.mjs";
-import { C as ModelAttributeAst, I as SourceFile, f as ExpressionAst, n as AstNode, p as FieldAttributeAst, r as AttributeArgAst } from "./parse-0ZJjj_2N-DhQpSVmQ.mjs";
-import { _ as nodePslSpan, a as ModelSymbol, b as readResolvedAttributes, c as ResolvedAttribute, d as ResolvedTypeConstructorCall, f as SymbolTable, g as keywordPslSpan, h as buildSymbolTable, i as FieldSymbol, l as ResolvedAttributeArg, m as TopLevelScope, n as BuildSymbolTableOptions, o as NamedTypeSymbol, p as SymbolTableResult, r as CompositeTypeSymbol, s as NamespaceSymbol, t as BlockSymbol, u as ResolvedNamedTypeBinding, v as rangeToPslSpan, x as readResolvedConstructorCall, y as readResolvedAttribute } from "./symbol-table-CZ7EVCTL-CR-ncCpD.mjs";
+import { n as AssembledAuthoringContributions } from "./control-eH2MIHqA.mjs";
+import "./psl-ast-BkfQwHjE.mjs";
+import { C as ModelAttributeAst, I as SourceFile, f as ExpressionAst, n as AstNode, p as FieldAttributeAst, r as AttributeArgAst } from "./parse-B5xYL_oV-aGFgfM8N.mjs";
+import { _ as nodePslSpan, a as ModelSymbol, b as readResolvedAttributes, c as ResolvedAttribute, d as ResolvedTypeConstructorCall, f as SymbolTable, g as keywordPslSpan, h as buildSymbolTable, i as FieldSymbol, l as ResolvedAttributeArg, m as TopLevelScope, n as BuildSymbolTableOptions, o as NamedTypeSymbol, p as SymbolTableResult, r as CompositeTypeSymbol, s as NamespaceSymbol, t as BlockSymbol, u as ResolvedNamedTypeBinding, v as rangeToPslSpan, x as readResolvedConstructorCall, y as readResolvedAttribute } from "./symbol-table-BeOQBu3C-DduAXEh6.mjs";
 import { n as UnionToIntersection, t as Simplify } from "./types-DGxlljKG.mjs";
 //#region ../../../1-framework/2-authoring/psl-parser/dist/index.d.mts
 //#region src/attribute-helpers.d.ts
@@ -15,133 +17,252 @@ declare function parseQuotedStringLiteral(value: string): string | undefined;
 //#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[]>;
-}
-interface InterpretCtx {
-  readonly level: AttributeLevel;
+interface AttributeCtx {
   readonly sourceId: string;
   readonly sourceFile: SourceFile;
+}
+interface ModelAttributeCtx extends AttributeCtx {
   readonly selfModel: ModelSymbol;
+}
+interface FieldAttributeCtx extends ModelAttributeCtx {
+  readonly field: FieldSymbol;
   resolveReferencedModel(): ModelSymbol | undefined;
-  readonly field?: FieldSymbol;
 }
-interface OptionalArgType<T> extends ArgType<T> {
-  readonly optional: true;
-  readonly hasDefault: boolean;
-  readonly defaultValue?: T;
+type ArgTypeKind = 'bool' | 'entityRef' | 'fieldRef' | 'funcCall' | 'identifier' | 'int' | 'json' | 'list' | 'num' | 'oneOf' | 'record' | 'referencedFieldRef' | 'rejecting' | 'str';
+type ArgTypeContext = 'attribute' | 'field' | 'model';
+interface ArgTypeOutput<T, Ctx extends AttributeCtx> {
+  readonly label: string;
+  readonly _out?: T;
+  readonly parse: (arg: ExpressionAst, ctx: Ctx) => Result<T, readonly PslDiagnostic[]>;
+}
+interface BoolArgType<Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<boolean, Ctx> {
+  readonly kind: 'bool';
+}
+interface EntityRefArgType<Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<string, Ctx> {
+  readonly kind: 'entityRef';
+}
+interface FieldRefArgType<Ctx extends ModelAttributeCtx = ModelAttributeCtx> extends ArgTypeOutput<string, Ctx> {
+  readonly kind: 'fieldRef';
+}
+interface ReferencedFieldRefArgType<Ctx extends FieldAttributeCtx = FieldAttributeCtx> extends ArgTypeOutput<string, Ctx> {
+  readonly kind: 'referencedFieldRef';
+}
+interface FuncCallSig {
+  readonly positional?: readonly PositionalParam<unknown, AttributeCtx>[];
+  readonly named?: Readonly<Record<string, Param<unknown, AttributeCtx>>>;
+}
+interface TypedFuncCall {
+  readonly fn: string;
+  readonly span: PslSpan;
+  readonly args: Readonly<Record<string, unknown>>;
+}
+interface FuncCallArgType<Name extends string = string, Ctx extends AttributeCtx = AttributeCtx, Signature extends FuncCallSig = FuncCallSig> extends ArgTypeOutput<TypedFuncCall, Ctx> {
+  readonly kind: 'funcCall';
+  readonly name: Name;
+  readonly signature: Signature;
+}
+interface IdentifierArgType<Name extends string = string, Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<Name, Ctx> {
+  readonly kind: 'identifier';
+  readonly name: Name;
+}
+interface IntArgType<Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<number, Ctx> {
+  readonly kind: 'int';
+  readonly min?: number;
+  readonly max?: number;
+}
+interface JsonArgType<Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<Record<string, unknown>, Ctx> {
+  readonly kind: 'json';
+}
+interface ListArgType<T = unknown, Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<T[], Ctx> {
+  readonly kind: 'list';
+  readonly of: ArgType<T, Ctx>;
+  readonly allowEmpty: boolean;
+  readonly unique: boolean;
+}
+interface UnrestrictedNumArgType<Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<number, Ctx> {
+  readonly kind: 'num';
+  readonly value: undefined;
+}
+interface FixedNumArgType<T extends number = number, Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<T, Ctx> {
+  readonly kind: 'num';
+  readonly value: T;
 }
-type Param<T> = ArgType<T>;
-interface PositionalParam<T = unknown> {
+interface OneOfArgType<Alts extends readonly [AnyArgType, ...AnyArgType[]], Ctx extends AttributeCtx = ContextForRequirement<RequiredContextFor<CtxOf<Alts[number]>>>> extends ArgTypeOutput<OutOf<Alts[number]>, Ctx> {
+  readonly kind: 'oneOf';
+  readonly alternatives: Alts;
+}
+interface RecordArgType<T = unknown, Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<Record<string, T>, Ctx> {
+  readonly kind: 'record';
+  readonly of: ArgType<T, Ctx>;
+}
+interface RejectingArgType<T = never, Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<T, Ctx> {
+  readonly kind: 'rejecting';
+  readonly message: string;
+}
+interface UnrestrictedStrArgType<Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<string, Ctx> {
+  readonly kind: 'str';
+  readonly value: undefined;
+}
+interface FixedStrArgType<T extends string = string, Ctx extends AttributeCtx = AttributeCtx> extends ArgTypeOutput<T, Ctx> {
+  readonly kind: 'str';
+  readonly value: T;
+}
+interface ArgType<T, Ctx extends AttributeCtx> extends ArgTypeOutput<T, Ctx> {
+  readonly kind: ArgTypeKind;
+}
+type AnyArgType = ArgType<unknown, AttributeCtx> | ArgType<unknown, ModelAttributeCtx> | ArgType<unknown, FieldAttributeCtx>;
+type CtxOf<P> = P extends ArgTypeOutput<unknown, infer Ctx> ? Ctx : never;
+type RequiredContextFor<Ctx extends AttributeCtx> = [Extract<Ctx, FieldAttributeCtx>] extends [never] ? [Extract<Ctx, ModelAttributeCtx>] extends [never] ? 'attribute' : 'model' : 'field';
+type ContextForRequirement<Req extends ArgTypeContext> = Req extends 'field' ? FieldAttributeCtx : Req extends 'model' ? ModelAttributeCtx : AttributeCtx;
+type OptionalArgType<T, Ctx extends AttributeCtx, Type extends object = ArgType<T, Ctx>, HasDefault extends boolean = boolean> = Type & {
+  readonly optional: true;
+  readonly hasDefault: HasDefault;
+  readonly defaultValue?: T | undefined;
+};
+type Param<T, Ctx extends AttributeCtx> = ArgType<T, Ctx>;
+interface PositionalParam<T, Ctx extends AttributeCtx> {
   readonly key: string;
-  readonly type: Param<T>;
+  readonly type: Param<T, Ctx>;
 }
-interface AttributeSpec<Out> {
+interface AttributeSpec<Out, Ctx extends AttributeCtx> {
   readonly level: AttributeLevel;
   readonly name: string;
-  readonly positional: readonly PositionalParam[];
-  readonly named: Readonly<Record<string, Param<unknown>>>;
+  readonly positional: readonly PositionalParam<unknown, Ctx>[];
+  readonly named: Readonly<Record<string, Param<unknown, Ctx>>>;
   /**
    * Cross-argument validation after all arguments parse. `attributeNode` is
    * the attribute's own AST node so refines can span-anchor their
    * diagnostics at the attribute rather than the enclosing model.
    */
-  readonly refine?: (parsed: Out, ctx: InterpretCtx, attributeNode: AstNode) => readonly PslDiagnostic[];
+  readonly refine?: (parsed: Out, ctx: Ctx, attributeNode: AstNode) => readonly PslDiagnostic[];
+}
+type OutOf<P> = P extends {
+  readonly _out?: infer T;
+} ? T : never;
+type OptionalMarker = {
+  readonly optional: true;
+};
+type NamedOut<N extends Record<string, Param<unknown, never>>> = Simplify<{ [K in keyof N as N[K] extends OptionalMarker ? never : K]: OutOf<N[K]>; } & { [K in keyof N as N[K] extends OptionalMarker ? K : never]?: OutOf<N[K]>; }>;
+type PosEntryObject<E extends PositionalParam<unknown, never>> = E['type'] extends OptionalMarker ? { [K in E['key']]?: OutOf<E['type']>; } : { [K in E['key']]: OutOf<E['type']>; };
+type PosOut<Pos extends readonly PositionalParam<unknown, never>[]> = Simplify<UnionToIntersection<{ [I in keyof Pos]: PosEntryObject<Pos[I]>; }[number]>>;
+type AttributeOut<Pos extends readonly PositionalParam<unknown, never>[], Named extends Record<string, Param<unknown, never>>> = Simplify<PosOut<Pos> & NamedOut<Named>>;
+type InferAttr<S> = S extends AttributeSpec<infer Out, never> ? Out : never;
+//#endregion
+//#region src/attribute-spec/spec-context.d.ts
+interface AttributeSpecContext {
+  readonly symbols: SymbolTable;
+  readonly model: ModelSymbol;
+  readonly controlMutationDefaults: ControlMutationDefaultRegistry;
+}
+interface FieldAttributeSpecContext extends AttributeSpecContext {
+  readonly field: FieldSymbol;
+}
+type ModelAttributeSpecFactory = (ctx: AttributeSpecContext) => AttributeSpec<never, ModelAttributeCtx>;
+type FieldAttributeSpecFactory = (ctx: FieldAttributeSpecContext) => AttributeSpec<never, FieldAttributeCtx>;
+interface AttributeSpecNamespace {
+  readonly model: Readonly<Record<string, ModelAttributeSpecFactory>>;
+  readonly field: Readonly<Record<string, FieldAttributeSpecFactory>>;
+}
+type BlockAttributeSpecFactory = () => AttributeSpec<never, AttributeCtx>;
+//#endregion
+//#region src/attribute-spec/assemble.d.ts
+interface AssembledAttributeSpecs {
+  readonly model: Readonly<Record<string, ModelAttributeSpecFactory>>;
+  readonly field: Readonly<Record<string, FieldAttributeSpecFactory>>;
 }
-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;
+declare function assembleAttributeSpecs(contributions: AssembledAuthoringContributions): AssembledAttributeSpecs;
+//#endregion
+//#region src/attribute-spec/block-attribute.d.ts
+interface BlockAttributeConfig<Pos extends readonly PositionalParam<unknown, AttributeCtx>[], Named extends Record<string, Param<unknown, AttributeCtx>>> {
+  readonly positional?: Pos;
+  readonly named?: Named;
+  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: AttributeCtx, attributeNode: AstNode) => readonly PslDiagnostic[];
+}
+declare function blockAttribute<const Pos extends readonly PositionalParam<unknown, AttributeCtx>[] = readonly [], const Named extends Record<string, Param<unknown, AttributeCtx>> = Record<never, never>>(name: string, config: BlockAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>, AttributeCtx>;
 //#endregion
 //#region src/attribute-spec/combinators/bool.d.ts
-declare function bool(): ArgType<boolean>;
+declare function bool(): BoolArgType<AttributeCtx>;
 //#endregion
 //#region src/attribute-spec/combinators/diagnostic.d.ts
-declare function leafDiagnostic(ctx: InterpretCtx, node: AstNode, message: string, code?: PslDiagnostic['code']): PslDiagnostic;
+declare function leafDiagnostic(ctx: AttributeCtx, node: AstNode, message: string, code?: PslDiagnostic['code']): PslDiagnostic;
 //#endregion
 //#region src/attribute-spec/combinators/entity-ref.d.ts
-declare function entityRef(): ArgType<string>;
+declare function entityRef(): EntityRefArgType<AttributeCtx>;
 //#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;
+declare function fieldRef(): FieldRefArgType<ModelAttributeCtx>;
+declare function referencedFieldRef(): ReferencedFieldRefArgType<FieldAttributeCtx>;
 //#endregion
 //#region src/attribute-spec/combinators/func-call.d.ts
-interface FuncCallSig {
-  readonly positional?: readonly PositionalParam<unknown>[];
-  readonly named?: Readonly<Record<string, Param<unknown>>>;
-}
-interface TypedFuncCall {
-  readonly fn: string;
-  readonly span: PslSpan;
-  readonly args: Readonly<Record<string, unknown>>;
-}
-declare function funcCall(name: string, sig: FuncCallSig): ArgType<TypedFuncCall>;
+declare function funcCall<const Name extends string, const Signature extends FuncCallSig>(name: Name, sig: Signature): FuncCallArgType<Name, AttributeCtx, Signature>;
 //#endregion
 //#region src/attribute-spec/combinators/identifier.d.ts
-declare function identifier<const N extends string>(name: N): ArgType<N>;
+declare function identifier<const N extends string>(name: N): IdentifierArgType<N, AttributeCtx>;
 //#endregion
 //#region src/attribute-spec/combinators/int.d.ts
 declare function int(opts?: {
   min?: number;
   max?: number;
-}): ArgType<number>;
+}): IntArgType<AttributeCtx>;
+//#endregion
+//#region src/attribute-spec/combinators/json.d.ts
+/**
+ * Reads an opaque JSON object from a quoted JSON string — the ADR's one text-encoded surface
+ * exception (e.g. an index `filter` / `weights` argument). The string is decoded by the parser,
+ * then JSON-parsed; a non-object (array/scalar) or invalid JSON is a diagnostic.
+ */
+declare function json(): JsonArgType<AttributeCtx>;
 //#endregion
 //#region src/attribute-spec/combinators/list.d.ts
 interface ListOptions {
-  readonly nonEmpty?: boolean;
+  readonly allowEmpty?: boolean;
   readonly unique?: boolean;
 }
-declare function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]>;
+declare function list<T, Ctx extends AttributeCtx>(of: ArgType<T, Ctx>, opts?: ListOptions): ListArgType<T, Ctx>;
 //#endregion
 //#region src/attribute-spec/combinators/num.d.ts
-declare function num(): ArgType<number>;
-declare function num(value: number): ArgType<number>;
+/** The pinned form retains its value as the output literal type. */
+declare function num(): UnrestrictedNumArgType<AttributeCtx>;
+declare function num<const T extends number>(value: T): FixedNumArgType<T, AttributeCtx>;
 //#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]>>;
+declare function oneOf<Alts extends readonly [AnyArgType, ...AnyArgType[]]>(...alts: Alts): OneOfArgType<Alts, ContextForRequirement<RequiredContextFor<CtxOf<Alts[number]>>>>;
 //#endregion
 //#region src/attribute-spec/combinators/record.d.ts
-declare function record<T>(of: ArgType<T>): ArgType<Record<string, T>>;
+declare function record<T, Ctx extends AttributeCtx>(of: ArgType<T, Ctx>): RecordArgType<T, Ctx>;
 //#endregion
 //#region src/attribute-spec/combinators/str.d.ts
-declare function str(): ArgType<string>;
+/** The pinned form retains its value as the output literal type. */
+declare function str(): UnrestrictedStrArgType<AttributeCtx>;
+declare function str<const T extends string>(value: T): FixedStrArgType<T, AttributeCtx>;
 //#endregion
 //#region src/attribute-spec/field-attribute.d.ts
-interface FieldAttributeConfig<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> {
+interface FieldAttributeConfig<Pos extends readonly PositionalParam<unknown, FieldAttributeCtx>[], Named extends Record<string, Param<unknown, FieldAttributeCtx>>> {
   readonly positional?: Pos;
   readonly named?: Named;
-  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: InterpretCtx, attributeNode: AstNode) => readonly PslDiagnostic[];
+  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: FieldAttributeCtx, attributeNode: AstNode) => readonly PslDiagnostic[];
 }
-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>>;
+declare function fieldAttribute<const Pos extends readonly PositionalParam<unknown, FieldAttributeCtx>[] = readonly [], const Named extends Record<string, Param<unknown, FieldAttributeCtx>> = Record<never, never>>(name: string, config: FieldAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>, FieldAttributeCtx>;
 //#endregion
 //#region src/attribute-spec/interpret.d.ts
-interface ArgBindingSpec {
+interface ArgBindingSpec<Ctx extends AttributeCtx> {
   readonly name: string;
-  readonly positional: readonly PositionalParam<unknown>[];
-  readonly named: Readonly<Record<string, Param<unknown>>>;
+  readonly positional: readonly PositionalParam<unknown, Ctx>[];
+  readonly named: Readonly<Record<string, Param<unknown, Ctx>>>;
 }
-declare function interpretArgs(args: Iterable<AttributeArgAst>, spec: ArgBindingSpec, ctx: InterpretCtx, span: PslSpan): Result<Record<string, unknown>, readonly PslDiagnostic[]>;
-declare function interpretAttribute<Out>(attrNode: FieldAttributeAst | ModelAttributeAst, spec: AttributeSpec<Out>, ctx: InterpretCtx): Result<Out, readonly PslDiagnostic[]>;
+declare function interpretArgs<Ctx extends AttributeCtx>(args: Iterable<AttributeArgAst>, spec: ArgBindingSpec<Ctx>, ctx: Ctx, span: PslSpan): Result<Record<string, unknown>, readonly PslDiagnostic[]>;
+declare function interpretAttribute<Out, Ctx extends AttributeCtx>(attrNode: FieldAttributeAst | ModelAttributeAst, spec: AttributeSpec<Out, Ctx>, ctx: Ctx): Result<Out, readonly PslDiagnostic[]>;
 //#endregion
 //#region src/attribute-spec/model-attribute.d.ts
-interface ModelAttributeConfig<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> {
+interface ModelAttributeConfig<Pos extends readonly PositionalParam<unknown, ModelAttributeCtx>[], Named extends Record<string, Param<unknown, ModelAttributeCtx>>> {
   readonly positional?: Pos;
   readonly named?: Named;
-  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: InterpretCtx, attributeNode: AstNode) => readonly PslDiagnostic[];
+  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: ModelAttributeCtx, attributeNode: AstNode) => readonly PslDiagnostic[];
 }
-declare function modelAttribute<const Pos extends readonly PositionalParam[] = readonly [], const Named extends Record<string, Param<unknown>> = Record<never, never>>(name: string, config: ModelAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>>;
+declare function modelAttribute<const Pos extends readonly PositionalParam<unknown, ModelAttributeCtx>[] = readonly [], const Named extends Record<string, Param<unknown, ModelAttributeCtx>> = Record<never, never>>(name: string, config: ModelAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>, ModelAttributeCtx>;
 //#endregion
 //#region src/attribute-spec/optional.d.ts
-declare function optional<T>(type: ArgType<T>, ...rest: [defaultValue: T] | []): OptionalArgType<T>;
+declare function optional<Type extends AnyArgType>(type: Type, ...rest: [] | [defaultValue: OutOf<Type> | undefined]): OptionalArgType<OutOf<Type>, CtxOf<Type>, Type>;
 //#endregion
 //#region src/extension-block.d.ts
 declare function findBlockDescriptor(descriptors: AuthoringPslBlockDescriptorNamespace | undefined, keyword: string): AuthoringPslBlockDescriptor | undefined;
@@ -154,5 +275,5 @@ declare function validateExtensionBlockFromSymbol(input: {
   readonly codecLookup: CodecLookup;
 }): readonly PslDiagnostic[];
 //#endregion
-export { type ArgBindingSpec, type ArgType, type AttributeLevel, type AttributeOut, type AttributeSpec, type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldRefArgType, type FieldRefScope, type FieldSymbol, type FuncCallSig, type InferAttr, type InterpretCtx, type ListOptions, type ModelSymbol, type NamedOut, type NamedTypeSymbol, 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 SymbolTable, type SymbolTableResult, type TopLevelScope, type TypedFuncCall, bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, funcCall, getPositionalArgument, identifier, int, interpretArgs, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, num, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, str, validateExtensionBlockFromSymbol };
+export { type ArgBindingSpec, type ArgType, type ArgTypeKind, type AssembledAttributeSpecs, type AttributeCtx, type AttributeLevel, type AttributeOut, type AttributeSpec, type AttributeSpecContext, type AttributeSpecNamespace, type BlockAttributeSpecFactory, type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldAttributeCtx, type FieldAttributeSpecContext, type FieldAttributeSpecFactory, type FieldSymbol, type FuncCallSig, type InferAttr, type ListOptions, type ModelAttributeCtx, type ModelAttributeSpecFactory, type ModelSymbol, type NamedOut, type NamedTypeSymbol, 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 RejectingArgType, type ResolvedAttribute, type ResolvedAttributeArg, type ResolvedNamedTypeBinding, type ResolvedTypeConstructorCall, type SymbolTable, type SymbolTableResult, type TopLevelScope, type TypedFuncCall, assembleAttributeSpecs, blockAttribute, bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, funcCall, getPositionalArgument, identifier, int, interpretArgs, interpretAttribute, json, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, num, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, referencedFieldRef, str, validateExtensionBlockFromSymbol };
 //# sourceMappingURL=psl-parser.d.mts.map

package/dist/psl-parser.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"psl-parser.d.mts","names":[],"sources":["../../../../1-framework/2-authoring/psl-parser/dist/index.d.mts"],"mappings":";;;;;;;;;;;;iBAQiB,sBAAsB,WAAW,cAAgB;iBACjD,yBAAyB;;;KAGrC;UACK,QAAQ;WACP;WACA;WACA,OAAO;EAChB,MAAM,KAAK,eAAe,KAAK,eAAe,OAAO,YAAY;;UAEzD;WACC,OAAO;WACP;WACA,YAAY;WACZ,WAAW;EACpB,0BAA0B;WACjB,QAAQ;;UAET,gBAAgB,WAAW,QAAQ;WAClC;WACA;WACA,eAAe;;KAErB,MAAM,KAAK,QAAQ;UACd,gBAAgB;WACf;WACA,MAAM,MAAM;;UAEb,cAAc;WACb,OAAO;WACP;WACA,qBAAqB;WACrB,OAAO,SAAS,eAAe;;;;;;WAM/B,UAAU,QAAQ,KAAK,KAAK,cAAc,eAAe,qBAAqB;;KAEpF,MAAM,KAAK,UAAU,cAAc,KAAK;KACxC,SAAS,UAAU,eAAe,mBAAmB,YAAY,WAAW,KAAK,EAAE,WAAW,mCAAmC,IAAI,MAAM,EAAE,YAAY,WAAW,KAAK,EAAE,WAAW,2BAA2B,aAAa,MAAM,EAAE;KACtO,eAAe,UAAU,mBAAmB,kBAAkB,8BAA8B,KAAK,YAAY,MAAM,mBAAmB,KAAK,WAAW,MAAM;KAC5J,OAAO,qBAAqB,qBAAqB,SAAS,uBAAuB,WAAW,MAAM,eAAe,IAAI;KACrH,aAAa,qBAAqB,mBAAmB,cAAc,eAAe,mBAAmB,SAAS,OAAO,OAAO,SAAS;KACrI,UAAU,KAAK,UAAU,oBAAoB,OAAO;;;iBAGxC,QAAQ;;;iBAGR,eAAe,KAAK,cAAc,MAAM,SAAS,iBAAiB,OAAO,wBAA0B;;;iBAGnG,aAAa;;;KAGzB;UACK,wBAAwB;WACvB,OAAO;;iBAED,SAAS,OAAO,gBAAgB;;;UAGvC;WACC,sBAAsB;WACtB,QAAQ,SAAS,eAAe;;UAEjC;WACC;WACA,MAAM;WACN,MAAM,SAAS;;iBAET,SAAS,cAAc,KAAK,cAAc,QAAQ;;;iBAGlD,iBAAiB,kBAAkB,MAAM,IAAI,QAAQ;;;iBAGrD,IAAI;EACnB;EACA;IACE;;;UAGM;WACC;WACA;;iBAEM,KAAK,GAAG,IAAI,QAAQ,IAAI,OAAO,cAAc,QAAQ;;;iBAGrD,OAAO;iBACP,IAAI,gBAAgB;;;iBAGpB,MAAM,uBAAuB,qBAAqB,wBAAwB,MAAM,OAAO,QAAQ,MAAM;;;iBAGrG,OAAO,GAAG,IAAI,QAAQ,KAAK,QAAQ,eAAe;;;iBAGlD,OAAO;;;UAGd,qBAAqB,qBAAqB,mBAAmB,cAAc,eAAe;WACzF,aAAa;WACb,QAAQ;WACR,UAAU,QAAQ,aAAa,KAAK,QAAQ,KAAK,cAAc,eAAe,qBAAqB;;iBAE7F,qBAAqB,qBAAqB,uCAAuC,cAAc,eAAe,kBAAkB,sBAAsB,cAAc,QAAQ,qBAAqB,KAAK,SAAS,cAAc,aAAa,KAAK;;;UAGtP;WACC;WACA,qBAAqB;WACrB,OAAO,SAAS,eAAe;;iBAEzB,cAAc,MAAM,SAAS,kBAAkB,MAAM,gBAAgB,KAAK,cAAc,MAAM,UAAY,OAAO,kCAAkC;iBACnJ,mBAAmB,KAAK,UAAU,oBAAoB,mBAAmB,MAAM,cAAc,MAAM,KAAK,eAAe,OAAO,cAAc;;;UAGnJ,qBAAqB,qBAAqB,mBAAmB,cAAc,eAAe;WACzF,aAAa;WACb,QAAQ;WACR,UAAU,QAAQ,aAAa,KAAK,QAAQ,KAAK,cAAc,eAAe,qBAAqB;;iBAE7F,qBAAqB,qBAAqB,uCAAuC,cAAc,eAAe,kBAAkB,sBAAsB,cAAc,QAAQ,qBAAqB,KAAK,SAAS,cAAc,aAAa,KAAK;;;iBAG/O,SAAS,GAAG,MAAM,QAAQ,OAAO,OAAO,cAAc,UAAU,gBAAgB;;;iBAGhF,oBAAoB,aAAa,kDAAkD,kBAAkB;iBACrG,iCAAiC;WACvC,OAAO;WACP,YAAY;WACZ,aAAa;WACb,YAAY;WACZ;WACA,aAAa;aACX"}
+{"version":3,"file":"psl-parser.d.mts","names":[],"sources":["../../../../1-framework/2-authoring/psl-parser/dist/index.d.mts"],"mappings":";;;;;;;;;;;;;;iBASiB,sBAAsB,WAAW,cAAgB;iBACjD,yBAAyB;;;KAGrC;UACK;WACC;WACA,YAAY;;UAEb,0BAA0B;WACzB,WAAW;;UAEZ,0BAA0B;WACzB,OAAO;EAChB,0BAA0B;;KAEvB;KACA;UACK,cAAc,GAAG,YAAY;WAC5B;WACA,OAAO;WACP,QAAQ,KAAK,eAAe,KAAK,QAAQ,OAAO,YAAY;;UAE7D,YAAY,YAAY,eAAe,sBAAsB,uBAAuB;WACnF;;UAED,iBAAiB,YAAY,eAAe,sBAAsB,sBAAsB;WACvF;;UAED,gBAAgB,YAAY,oBAAoB,2BAA2B,sBAAsB;WAChG;;UAED,0BAA0B,YAAY,oBAAoB,2BAA2B,sBAAsB;WAC1G;;UAED;WACC,sBAAsB,yBAAyB;WAC/C,QAAQ,SAAS,eAAe,eAAe;;UAEhD;WACC;WACA,MAAM;WACN,MAAM,SAAS;;UAEhB,gBAAgB,8BAA8B,YAAY,eAAe,cAAc,kBAAkB,cAAc,qBAAqB,cAAc,eAAe;WACxK;WACA,MAAM;WACN,WAAW;;UAEZ,kBAAkB,8BAA8B,YAAY,eAAe,sBAAsB,cAAc,MAAM;WACpH;WACA,MAAM;;UAEP,WAAW,YAAY,eAAe,sBAAsB,sBAAsB;WACjF;WACA;WACA;;UAED,YAAY,YAAY,eAAe,sBAAsB,cAAc,yBAAyB;WACnG;;UAED,YAAY,aAAa,YAAY,eAAe,sBAAsB,cAAc,KAAK;WAC5F;WACA,IAAI,QAAQ,GAAG;WACf;WACA;;UAED,uBAAuB,YAAY,eAAe,sBAAsB,sBAAsB;WAC7F;WACA;;UAED,gBAAgB,2BAA2B,YAAY,eAAe,sBAAsB,cAAc,GAAG;WAC5G;WACA,OAAO;;UAER,aAAa,uBAAuB,eAAe,eAAe,YAAY,eAAe,sBAAsB,mBAAmB,MAAM,yBAAyB,cAAc,MAAM,eAAe;WACvM;WACA,cAAc;;UAEf,cAAc,aAAa,YAAY,eAAe,sBAAsB,cAAc,eAAe,IAAI;WAC5G;WACA,IAAI,QAAQ,GAAG;;UAEhB,iBAAiB,WAAW,YAAY,eAAe,sBAAsB,cAAc,GAAG;WAC7F;WACA;;UAED,uBAAuB,YAAY,eAAe,sBAAsB,sBAAsB;WAC7F;WACA;;UAED,gBAAgB,2BAA2B,YAAY,eAAe,sBAAsB,cAAc,GAAG;WAC5G;WACA,OAAO;;UAER,QAAQ,GAAG,YAAY,sBAAsB,cAAc,GAAG;WAC7D,MAAM;;KAEZ,aAAa,iBAAiB,gBAAgB,iBAAiB,qBAAqB,iBAAiB;KACrG,MAAM,KAAK,UAAU,6BAA6B,OAAO;KACzD,mBAAmB,YAAY,iBAAiB,QAAQ,KAAK,uCAAuC,QAAQ,KAAK;KACjH,sBAAsB,YAAY,kBAAkB,sBAAsB,oBAAoB,sBAAsB,oBAAoB;KACxI,gBAAgB,GAAG,YAAY,cAAc,sBAAsB,QAAQ,GAAG,MAAM,wCAAwC;WACtH;WACA,YAAY;WACZ,eAAe;;KAErB,MAAM,GAAG,YAAY,gBAAgB,QAAQ,GAAG;UAC3C,gBAAgB,GAAG,YAAY;WAC9B;WACA,MAAM,MAAM,GAAG;;UAEhB,cAAc,KAAK,YAAY;WAC9B,OAAO;WACP;WACA,qBAAqB,yBAAyB;WAC9C,OAAO,SAAS,eAAe,eAAe;;;;;;WAM9C,UAAU,QAAQ,KAAK,KAAK,KAAK,eAAe,qBAAqB;;KAE3E,MAAM,KAAK;WACL,aAAa;IACpB;KACC;WACM;;KAEN,SAAS,UAAU,eAAe,0BAA0B,YAAY,WAAW,KAAK,EAAE,WAAW,yBAAyB,IAAI,MAAM,EAAE,YAAY,WAAW,KAAK,EAAE,WAAW,iBAAiB,aAAa,MAAM,EAAE;KACzN,eAAe,UAAU,mCAAmC,kBAAkB,oBAAoB,KAAK,YAAY,MAAM,mBAAmB,KAAK,WAAW,MAAM;KAClK,OAAO,qBAAqB,qCAAqC,SAAS,uBAAuB,WAAW,MAAM,eAAe,IAAI;KACrI,aAAa,qBAAqB,mCAAmC,cAAc,eAAe,0BAA0B,SAAS,OAAO,OAAO,SAAS;KAC5J,UAAU,KAAK,UAAU,oBAAoB,cAAc;;;UAGtD;WACC,SAAS;WACT,OAAO;WACP,yBAAyB;;UAE1B,kCAAkC;WACjC,OAAO;;KAEb,6BAA6B,KAAK,yBAAyB,qBAAqB;KAChF,6BAA6B,KAAK,8BAA8B,qBAAqB;UAChF;WACC,OAAO,SAAS,eAAe;WAC/B,OAAO,SAAS,eAAe;;KAErC,kCAAkC,qBAAqB;;;UAGlD;WACC,OAAO,SAAS,eAAe;WAC/B,OAAO,SAAS,eAAe;;iBAEzB,uBAAuB,eAAe,kCAAkC;;;UAG/E,qBAAqB,qBAAqB,yBAAyB,iBAAiB,cAAc,eAAe,eAAe;WAC/H,aAAa;WACb,QAAQ;WACR,UAAU,QAAQ,aAAa,KAAK,QAAQ,KAAK,cAAc,eAAe,qBAAqB;;iBAE7F,qBAAqB,qBAAqB,yBAAyB,qCAAqC,cAAc,eAAe,eAAe,iBAAiB,sBAAsB,cAAc,QAAQ,qBAAqB,KAAK,SAAS,cAAc,aAAa,KAAK,QAAQ;;;iBAG5R,QAAQ,YAAY;;;iBAGpB,eAAe,KAAK,cAAc,MAAM,SAAS,iBAAiB,OAAO,wBAA0B;;;iBAGnG,aAAa,iBAAiB;;;iBAG9B,YAAY,gBAAgB;iBAC5B,sBAAsB,0BAA0B;;;iBAGhD,eAAe,2BAA2B,kBAAkB,aAAa,MAAM,MAAM,KAAK,YAAY,gBAAgB,MAAM,cAAc;;;iBAG1I,iBAAiB,kBAAkB,MAAM,IAAI,kBAAkB,GAAG;;;iBAGlE,IAAI;EACnB;EACA;IACE,WAAW;;;;;;;;iBAQE,QAAQ,YAAY;;;UAG3B;WACC;WACA;;iBAEM,KAAK,GAAG,YAAY,cAAc,IAAI,QAAQ,GAAG,MAAM,OAAO,cAAc,YAAY,GAAG;;;;iBAI3F,OAAO,uBAAuB;iBAC9B,UAAU,kBAAkB,OAAO,IAAI,gBAAgB,GAAG;;;iBAG1D,MAAM,uBAAuB,eAAe,kBAAkB,MAAM,OAAO,aAAa,MAAM,sBAAsB,mBAAmB,MAAM;;;iBAG7I,OAAO,GAAG,YAAY,cAAc,IAAI,QAAQ,GAAG,OAAO,cAAc,GAAG;;;;iBAI3E,OAAO,uBAAuB;iBAC9B,UAAU,kBAAkB,OAAO,IAAI,gBAAgB,GAAG;;;UAGjE,qBAAqB,qBAAqB,yBAAyB,sBAAsB,cAAc,eAAe,eAAe;WACpI,aAAa;WACb,QAAQ;WACR,UAAU,QAAQ,aAAa,KAAK,QAAQ,KAAK,mBAAmB,eAAe,qBAAqB;;iBAElG,qBAAqB,qBAAqB,yBAAyB,0CAA0C,cAAc,eAAe,eAAe,sBAAsB,sBAAsB,cAAc,QAAQ,qBAAqB,KAAK,SAAS,cAAc,aAAa,KAAK,QAAQ;;;UAG7S,eAAe,YAAY;WAC1B;WACA,qBAAqB,yBAAyB;WAC9C,OAAO,SAAS,eAAe,eAAe;;iBAExC,cAAc,YAAY,cAAc,MAAM,SAAS,kBAAkB,MAAM,eAAe,MAAM,KAAK,KAAK,MAAM,UAAY,OAAO,kCAAkC;iBACzK,mBAAmB,KAAK,YAAY,cAAc,UAAU,oBAAoB,mBAAmB,MAAM,cAAc,KAAK,MAAM,KAAK,MAAM,OAAO,cAAc;;;UAGzK,qBAAqB,qBAAqB,yBAAyB,sBAAsB,cAAc,eAAe,eAAe;WACpI,aAAa;WACb,QAAQ;WACR,UAAU,QAAQ,aAAa,KAAK,QAAQ,KAAK,mBAAmB,eAAe,qBAAqB;;iBAElG,qBAAqB,qBAAqB,yBAAyB,0CAA0C,cAAc,eAAe,eAAe,sBAAsB,sBAAsB,cAAc,QAAQ,qBAAqB,KAAK,SAAS,cAAc,aAAa,KAAK,QAAQ;;;iBAGtS,SAAS,aAAa,YAAY,MAAM,SAAS,YAAY,cAAc,MAAM,qBAAqB,gBAAgB,MAAM,OAAO,MAAM,OAAO;;;iBAGhJ,oBAAoB,aAAa,kDAAkD,kBAAkB;iBACrG,iCAAiC;WACvC,OAAO;WACP,YAAY;WACZ,aAAa;WACb,YAAY;WACZ;WACA,aAAa;aACX"}