@prisma-next/psl-parser 0.13.0 → 0.14.0-dev.10

package/dist/parser-Cw_zV0M5.mjs

@@ -1,1176 +0,0 @@
-import { isAuthoringPslBlockDescriptor } from "@prisma-next/framework-components/authoring";
-import { emptyCodecLookup } from "@prisma-next/framework-components/codec";
-import { UNSPECIFIED_PSL_NAMESPACE_ID, makePslNamespace, makePslNamespaceEntries, namespacePslExtensionBlocks, validateExtensionBlock } from "@prisma-next/framework-components/psl-ast";
-import { ifDefined } from "@prisma-next/utils/defined";
-//#region src/parser.ts
-const SCALAR_TYPES = new Set([
-	"String",
-	"Boolean",
-	"Int",
-	"BigInt",
-	"Float",
-	"Decimal",
-	"DateTime",
-	"Json",
-	"Bytes"
-]);
-function parsePslDocument(input) {
-	const normalizedSchema = input.schema.replaceAll("\r\n", "\n");
-	const lines = normalizedSchema.split("\n");
-	const lineOffsets = computeLineOffsets(normalizedSchema);
-	const diagnostics = [];
-	const context = {
-		schema: normalizedSchema,
-		sourceId: input.sourceId,
-		lines,
-		lineOffsets,
-		diagnostics
-	};
-	const namespaceOrder = [];
-	const namespacesByName = /* @__PURE__ */ new Map();
-	const getOrCreateNamespace = (name, spanIfNew) => {
-		let acc = namespacesByName.get(name);
-		if (!acc) {
-			acc = {
-				name,
-				models: [],
-				enums: [],
-				compositeTypes: [],
-				extensionBlocks: [],
-				span: spanIfNew
-			};
-			namespacesByName.set(name, acc);
-			namespaceOrder.push(name);
-		}
-		return acc;
-	};
-	let typesBlock;
-	const pslBlockNamespace = input.pslBlockDescriptors ?? {};
-	const parseBody = (startLine, endLineExclusive, currentNamespaceName, isInsideNamespace) => {
-		let lineIndex = startLine;
-		while (lineIndex < endLineExclusive) {
-			const line = stripInlineComment(context.lines[lineIndex] ?? "").trim();
-			if (line.length === 0) {
-				lineIndex += 1;
-				continue;
-			}
-			const modelMatch = line.match(/^model\s+([A-Za-z_]\w*)\s*\{$/);
-			if (modelMatch) {
-				const bounds = findBlockBounds(context, lineIndex);
-				const name = modelMatch[1] ?? "";
-				if (name.length > 0) getOrCreateNamespace(currentNamespaceName, createTrimmedLineSpan(context, lineIndex)).models.push(parseModelBlock(context, name, bounds));
-				lineIndex = bounds.endLine + 1;
-				continue;
-			}
-			const enumMatch = line.match(/^enum\s+([A-Za-z_]\w*)\s*\{$/);
-			if (enumMatch) {
-				const bounds = findBlockBounds(context, lineIndex);
-				const name = enumMatch[1] ?? "";
-				if (name.length > 0) getOrCreateNamespace(currentNamespaceName, createTrimmedLineSpan(context, lineIndex)).enums.push(parseEnumBlock(context, name, bounds));
-				lineIndex = bounds.endLine + 1;
-				continue;
-			}
-			const compositeTypeMatch = line.match(/^type\s+([A-Za-z_]\w*)\s*\{$/);
-			if (compositeTypeMatch) {
-				const bounds = findBlockBounds(context, lineIndex);
-				const name = compositeTypeMatch[1] ?? "";
-				if (name.length > 0) getOrCreateNamespace(currentNamespaceName, createTrimmedLineSpan(context, lineIndex)).compositeTypes.push(parseCompositeTypeBlock(context, name, bounds));
-				lineIndex = bounds.endLine + 1;
-				continue;
-			}
-			const namespaceMatch = line.match(/^namespace\s+([A-Za-z_]\w*)\s*\{$/);
-			if (namespaceMatch) {
-				const bounds = findBlockBounds(context, lineIndex);
-				const name = namespaceMatch[1] ?? "";
-				if (isInsideNamespace) pushDiagnostic(context, {
-					code: "PSL_INVALID_NAMESPACE_BLOCK",
-					message: `Recursive "namespace ${name}" block is not allowed; namespace blocks may not nest`,
-					span: createTrimmedLineSpan(context, lineIndex)
-				});
-				else if (name === UNSPECIFIED_PSL_NAMESPACE_ID) pushDiagnostic(context, {
-					code: "PSL_INVALID_NAMESPACE_BLOCK",
-					message: `Namespace name "${UNSPECIFIED_PSL_NAMESPACE_ID}" is reserved for the parser-synthesised bucket for top-level declarations`,
-					span: createTrimmedLineSpan(context, lineIndex)
-				});
-				else if (name.length > 0) {
-					getOrCreateNamespace(name, createTrimmedLineSpan(context, lineIndex));
-					parseBody(bounds.startLine + 1, bounds.endLine, name, true);
-				}
-				lineIndex = bounds.endLine + 1;
-				continue;
-			}
-			if (/^types\s*\{$/.test(line)) {
-				const bounds = findBlockBounds(context, lineIndex);
-				if (isInsideNamespace) pushDiagnostic(context, {
-					code: "PSL_INVALID_NAMESPACE_BLOCK",
-					message: "`types` blocks must be declared at the document top level, not inside a namespace block",
-					span: createTrimmedLineSpan(context, lineIndex)
-				});
-				else if (typesBlock !== void 0) pushDiagnostic(context, {
-					code: "PSL_INVALID_TYPES_MEMBER",
-					message: "Only one top-level `types` block is allowed per document",
-					span: createTrimmedLineSpan(context, lineIndex)
-				});
-				else typesBlock = parseTypesBlock(context, bounds);
-				lineIndex = bounds.endLine + 1;
-				continue;
-			}
-			const extensionBlockMatch = line.match(/^([A-Za-z_]\w*)\s+([A-Za-z_]\w*)\s*\{$/);
-			if (extensionBlockMatch) {
-				const keyword = extensionBlockMatch[1] ?? "";
-				const blockName = extensionBlockMatch[2] ?? "";
-				const descriptor = lookupExtensionBlockDescriptor(pslBlockNamespace, keyword);
-				if (descriptor) {
-					const bounds = findBlockBounds(context, lineIndex);
-					if (blockName.length > 0) {
-						const acc = getOrCreateNamespace(currentNamespaceName, createTrimmedLineSpan(context, lineIndex));
-						const node = parseExtensionBlock(context, descriptor, blockName, lineIndex, bounds);
-						acc.extensionBlocks.push(node);
-					}
-					lineIndex = bounds.endLine + 1;
-					continue;
-				}
-			}
-			if (line.includes("{")) {
-				pushDiagnostic(context, {
-					code: "PSL_UNSUPPORTED_TOP_LEVEL_BLOCK",
-					message: `Unsupported top-level block "${line.split(/\s+/)[0] ?? "block"}"`,
-					span: createTrimmedLineSpan(context, lineIndex)
-				});
-				lineIndex = findBlockBounds(context, lineIndex).endLine + 1;
-				continue;
-			}
-			pushDiagnostic(context, {
-				code: "PSL_UNSUPPORTED_TOP_LEVEL_BLOCK",
-				message: `Unsupported top-level declaration "${line}"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			lineIndex += 1;
-		}
-	};
-	parseBody(0, lines.length, UNSPECIFIED_PSL_NAMESPACE_ID, false);
-	const allModels = [];
-	const allEnums = [];
-	const allCompositeTypes = [];
-	for (const name of namespaceOrder) {
-		const acc = namespacesByName.get(name);
-		if (!acc) continue;
-		allModels.push(...acc.models);
-		allEnums.push(...acc.enums);
-		allCompositeTypes.push(...acc.compositeTypes);
-	}
-	const namedTypeNames = new Set((typesBlock?.declarations ?? []).map((declaration) => declaration.name));
-	const modelNames = new Set(allModels.map((model) => model.name));
-	const enumNames = new Set(allEnums.map((enumBlock) => enumBlock.name));
-	const compositeTypeNames = new Set(allCompositeTypes.map((ct) => ct.name));
-	for (const declaration of typesBlock?.declarations ?? []) {
-		if (SCALAR_TYPES.has(declaration.name)) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_TYPES_MEMBER",
-				message: `Named type "${declaration.name}" conflicts with scalar type "${declaration.name}"`,
-				span: declaration.span
-			});
-			continue;
-		}
-		if (modelNames.has(declaration.name)) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_TYPES_MEMBER",
-				message: `Named type "${declaration.name}" conflicts with model name "${declaration.name}"`,
-				span: declaration.span
-			});
-			continue;
-		}
-		if (enumNames.has(declaration.name)) pushDiagnostic(context, {
-			code: "PSL_INVALID_TYPES_MEMBER",
-			message: `Named type "${declaration.name}" conflicts with enum name "${declaration.name}"`,
-			span: declaration.span
-		});
-	}
-	const documentSpan = {
-		start: createPosition(context, 0, 0),
-		end: createPosition(context, Math.max(lines.length - 1, 0), (lines[Math.max(lines.length - 1, 0)] ?? "").length)
-	};
-	const namespaces = [];
-	for (const name of namespaceOrder) {
-		const acc = namespacesByName.get(name);
-		if (!acc) continue;
-		if (name === UNSPECIFIED_PSL_NAMESPACE_ID && acc.models.length === 0 && acc.enums.length === 0 && acc.compositeTypes.length === 0 && acc.extensionBlocks.length === 0) continue;
-		const normalizedModels = acc.models.map((model) => ({
-			...model,
-			fields: model.fields.map((field) => {
-				if (!namedTypeNames.has(field.typeName)) return field;
-				if (field.attributes.some((attribute) => attribute.name === "relation") || modelNames.has(field.typeName) || enumNames.has(field.typeName) || compositeTypeNames.has(field.typeName) || SCALAR_TYPES.has(field.typeName)) return field;
-				return {
-					...field,
-					typeRef: field.typeName
-				};
-			})
-		}));
-		namespaces.push(makePslNamespace({
-			kind: "namespace",
-			name,
-			entries: makePslNamespaceEntries(normalizedModels, acc.enums, acc.compositeTypes, acc.extensionBlocks),
-			span: acc.span ?? documentSpan
-		}));
-	}
-	if (Object.keys(pslBlockNamespace).length > 0) {
-		const codecLookup = input.codecLookup ?? emptyCodecLookup;
-		const descriptorByDiscriminator = /* @__PURE__ */ new Map();
-		for (const value of Object.values(pslBlockNamespace)) if (isAuthoringPslBlockDescriptor(value)) descriptorByDiscriminator.set(value.discriminator, value);
-		for (const ns of namespaces) for (const block of namespacePslExtensionBlocks(ns)) {
-			const descriptor = descriptorByDiscriminator.get(block.kind);
-			if (descriptor === void 0) continue;
-			const blockDiagnostics = validateExtensionBlock(block, descriptor, input.sourceId, codecLookup, {
-				ownerNamespace: ns,
-				allNamespaces: namespaces
-			});
-			diagnostics.push(...blockDiagnostics);
-		}
-	}
-	return {
-		ast: {
-			kind: "document",
-			sourceId: input.sourceId,
-			namespaces,
-			...ifDefined("types", typesBlock),
-			span: documentSpan
-		},
-		diagnostics,
-		ok: diagnostics.length === 0
-	};
-}
-function parseModelBlock(context, name, bounds) {
-	const fields = [];
-	const attributes = [];
-	for (let lineIndex = bounds.startLine + 1; lineIndex < bounds.endLine; lineIndex += 1) {
-		const line = stripInlineComment(context.lines[lineIndex] ?? "").trim();
-		if (line.length === 0) continue;
-		if (line.startsWith("@@")) {
-			const attribute = parseModelAttribute(context, line, lineIndex);
-			if (attribute) attributes.push(attribute);
-			continue;
-		}
-		const field = parseField(context, line, lineIndex);
-		if (field) fields.push(field);
-	}
-	return {
-		kind: "model",
-		name,
-		fields,
-		attributes,
-		span: createLineRangeSpan(context, bounds.startLine, bounds.endLine)
-	};
-}
-function parseCompositeTypeBlock(context, name, bounds) {
-	const fields = [];
-	const attributes = [];
-	for (let lineIndex = bounds.startLine + 1; lineIndex < bounds.endLine; lineIndex += 1) {
-		const line = stripInlineComment(context.lines[lineIndex] ?? "").trim();
-		if (line.length === 0) continue;
-		if (line.startsWith("@@")) {
-			const attribute = parseModelAttribute(context, line, lineIndex);
-			if (attribute) attributes.push(attribute);
-			continue;
-		}
-		const field = parseField(context, line, lineIndex);
-		if (field) fields.push(field);
-	}
-	return {
-		kind: "compositeType",
-		name,
-		fields,
-		attributes,
-		span: createLineRangeSpan(context, bounds.startLine, bounds.endLine)
-	};
-}
-function parseEnumBlock(context, name, bounds) {
-	const values = [];
-	const attributes = [];
-	for (let lineIndex = bounds.startLine + 1; lineIndex < bounds.endLine; lineIndex += 1) {
-		const line = stripInlineComment(context.lines[lineIndex] ?? "").trim();
-		if (line.length === 0) continue;
-		if (line.startsWith("@@")) {
-			const attribute = parseEnumAttribute(context, line, lineIndex);
-			if (attribute) attributes.push(attribute);
-			continue;
-		}
-		const valueMatch = line.match(/^([A-Za-z_]\w*)(?:\s+@map\(\s*"((?:[^"\\]|\\.)*)"\s*\))?$/);
-		if (!valueMatch) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_ENUM_MEMBER",
-				message: `Invalid enum value declaration "${line}"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			continue;
-		}
-		const mapName = valueMatch[2] !== void 0 ? unescapePslString(valueMatch[2]) : void 0;
-		values.push({
-			kind: "enumValue",
-			name: valueMatch[1] ?? "",
-			...mapName !== void 0 ? { mapName } : {},
-			span: createTrimmedLineSpan(context, lineIndex)
-		});
-	}
-	return {
-		kind: "enum",
-		name,
-		values,
-		attributes,
-		span: createLineRangeSpan(context, bounds.startLine, bounds.endLine)
-	};
-}
-/**
-* Decode PSL escape sequences (`\\`, `\"`, `\'`, `\n`, `\r`) inside a
-* quoted-literal body. The argument is the body of the literal with the
-* surrounding quotes already stripped by the caller. Mirrors the inverse
-* helper in `@prisma-next/psl-printer`'s `escapePslString` so a string
-* round-trips parser → printer → parser unchanged.
-*/
-function unescapePslString(value) {
-	let result = "";
-	for (let i = 0; i < value.length; i++) {
-		if (value.charCodeAt(i) !== 92 || i + 1 >= value.length) {
-			result += value[i];
-			continue;
-		}
-		const next = value[i + 1];
-		if (next === "\\" || next === "\"" || next === "'") result += next;
-		else if (next === "n") result += "\n";
-		else if (next === "r") result += "\r";
-		else {
-			result += "\\";
-			result += next;
-		}
-		i++;
-	}
-	return result;
-}
-function parseTypesBlock(context, bounds) {
-	const declarations = [];
-	for (let lineIndex = bounds.startLine + 1; lineIndex < bounds.endLine; lineIndex += 1) {
-		const raw = context.lines[lineIndex] ?? "";
-		const line = stripInlineComment(raw).trim();
-		if (line.length === 0) continue;
-		const declarationMatch = line.match(/^([A-Za-z_]\w*)\s*=\s*(.+)$/);
-		if (!declarationMatch) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_TYPES_MEMBER",
-				message: `Invalid types declaration "${line}"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			continue;
-		}
-		const declarationName = declarationMatch[1] ?? "";
-		const trimmedStartColumn = firstNonWhitespaceColumn(raw);
-		const declarationValue = (declarationMatch[2] ?? "").trim();
-		const valueOffset = line.indexOf(declarationValue);
-		const declarationValueColumn = trimmedStartColumn + Math.max(valueOffset, 0);
-		const typeAndAttributeSplit = splitTypeAndAttributes(declarationValue);
-		const typeSource = typeAndAttributeSplit.typeSource.trim();
-		const attributeSource = typeAndAttributeSplit.attributeSource.trimStart();
-		const leadingAttributeWhitespace = typeAndAttributeSplit.attributeSource.length - attributeSource.length;
-		const typeConstructor = parseTypeConstructorCall(context, {
-			declarationValue: typeSource,
-			lineIndex,
-			startColumn: declarationValueColumn,
-			invalidCode: "PSL_INVALID_TYPES_MEMBER",
-			invalidMessage: (value) => `Invalid types declaration "${value}"`
-		});
-		if (typeConstructor === "malformed") continue;
-		const attributeParse = extractAttributeTokensWithSpans(context, lineIndex, attributeSource, declarationValueColumn + typeAndAttributeSplit.attributeOffset + leadingAttributeWhitespace);
-		if (!attributeParse.ok) continue;
-		const attributes = attributeParse.tokens.map((token) => parseAttributeToken(context, {
-			token: token.text,
-			target: "namedType",
-			lineIndex,
-			span: token.span
-		})).filter((attribute) => Boolean(attribute));
-		if (typeConstructor) {
-			declarations.push({
-				kind: "namedType",
-				name: declarationName,
-				typeConstructor,
-				attributes,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			continue;
-		}
-		const baseTypeMatch = typeSource.match(/^([A-Za-z_]\w*)$/);
-		if (!baseTypeMatch) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_TYPES_MEMBER",
-				message: `Invalid types declaration "${line}"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			continue;
-		}
-		const baseType = baseTypeMatch[1] ?? "";
-		declarations.push({
-			kind: "namedType",
-			name: declarationName,
-			baseType,
-			attributes,
-			span: createTrimmedLineSpan(context, lineIndex)
-		});
-	}
-	return {
-		kind: "types",
-		declarations,
-		span: createLineRangeSpan(context, bounds.startLine, bounds.endLine)
-	};
-}
-function parseTypeConstructorCall(context, input) {
-	const value = input.declarationValue.trim();
-	const constructorMatch = value.match(/^([A-Za-z_][A-Za-z0-9_-]*(?:\.[A-Za-z_][A-Za-z0-9_-]*)*)\s*\(/);
-	if (!constructorMatch) return;
-	const openParen = value.indexOf("(");
-	const closeParen = value.lastIndexOf(")");
-	if (closeParen !== value.length - 1) {
-		pushDiagnostic(context, {
-			code: input.invalidCode,
-			message: input.invalidMessage(value),
-			span: createInlineSpan(context, input.lineIndex, input.startColumn, input.startColumn + value.length)
-		});
-		return "malformed";
-	}
-	const constructorPath = constructorMatch[1] ?? "";
-	const args = parseArgumentList(context, {
-		argsRaw: value.slice(openParen + 1, closeParen),
-		argsOffset: input.startColumn + openParen + 1,
-		lineIndex: input.lineIndex,
-		token: value,
-		span: createInlineSpan(context, input.lineIndex, input.startColumn, input.startColumn + value.length),
-		invalidCode: input.invalidCode,
-		invalidEmptyArgumentMessage: `Invalid empty argument in type constructor "${value}"`,
-		invalidNamedArgumentMessage: (part) => `Invalid named argument syntax "${part}" in type constructor "${value}"`
-	});
-	if (!args) return "malformed";
-	return {
-		kind: "typeConstructor",
-		path: constructorPath.split("."),
-		args,
-		span: createInlineSpan(context, input.lineIndex, input.startColumn, input.startColumn + value.length)
-	};
-}
-function parseModelAttribute(context, line, lineIndex) {
-	const tokenParse = extractAttributeTokensWithSpans(context, lineIndex, line, firstNonWhitespaceColumn(context.lines[lineIndex] ?? ""));
-	if (!tokenParse.ok || tokenParse.tokens.length !== 1) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `Invalid model attribute syntax "${line}"`,
-			span: createTrimmedLineSpan(context, lineIndex)
-		});
-		return;
-	}
-	const token = tokenParse.tokens[0];
-	if (!token) return;
-	return parseAttributeToken(context, {
-		token: token.text,
-		target: "model",
-		lineIndex,
-		span: token.span
-	});
-}
-function parseEnumAttribute(context, line, lineIndex) {
-	const tokenParse = extractAttributeTokensWithSpans(context, lineIndex, line, firstNonWhitespaceColumn(context.lines[lineIndex] ?? ""));
-	if (!tokenParse.ok || tokenParse.tokens.length !== 1) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ENUM_MEMBER",
-			message: `Invalid enum value declaration "${line}"`,
-			span: createTrimmedLineSpan(context, lineIndex)
-		});
-		return;
-	}
-	const token = tokenParse.tokens[0];
-	if (!token) return;
-	const parsed = parseAttributeToken(context, {
-		token: token.text,
-		target: "enum",
-		lineIndex,
-		span: token.span
-	});
-	if (!parsed) return;
-	if (parsed.name !== "map") {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ENUM_MEMBER",
-			message: `Invalid enum value declaration "${line}"`,
-			span: createTrimmedLineSpan(context, lineIndex)
-		});
-		return;
-	}
-	return parsed;
-}
-function parseField(context, line, lineIndex) {
-	const fieldMatch = line.match(/^([A-Za-z_]\w*)(\s+)(.+)$/);
-	if (!fieldMatch) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_MODEL_MEMBER",
-			message: `Invalid model member declaration "${line}"`,
-			span: createTrimmedLineSpan(context, lineIndex)
-		});
-		return;
-	}
-	const fieldName = fieldMatch[1] ?? "";
-	const separator = fieldMatch[2] ?? "";
-	const typeAndAttributeSplit = splitTypeAndAttributes(fieldMatch[3] ?? "");
-	const rawTypeSource = typeAndAttributeSplit.typeSource.trim();
-	const attributePart = typeAndAttributeSplit.attributeSource;
-	const optional = rawTypeSource.endsWith("?");
-	const typeSourceWithoutOptional = optional ? rawTypeSource.slice(0, -1).trimEnd() : rawTypeSource;
-	const list = typeSourceWithoutOptional.endsWith("[]");
-	const baseTypeSource = list ? typeSourceWithoutOptional.slice(0, -2).trimEnd() : typeSourceWithoutOptional;
-	const trimmedStartColumn = firstNonWhitespaceColumn(context.lines[lineIndex] ?? "");
-	const typeStartColumn = trimmedStartColumn + fieldName.length + separator.length;
-	const typeConstructor = parseTypeConstructorCall(context, {
-		declarationValue: baseTypeSource,
-		lineIndex,
-		startColumn: typeStartColumn,
-		invalidCode: "PSL_INVALID_MODEL_MEMBER",
-		invalidMessage: (value) => `Invalid field type constructor "${value}"`
-	});
-	if (typeConstructor === "malformed") return;
-	let typeName;
-	let typeNamespaceId;
-	let typeContractSpaceId;
-	if (typeConstructor) typeName = typeConstructor.path.join(".");
-	else {
-		const colonCount = (baseTypeSource.match(/:/g) ?? []).length;
-		if (colonCount > 1) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_MODEL_MEMBER",
-				message: `Invalid model member declaration "${line}"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			return;
-		}
-		let typeRefSource;
-		if (colonCount === 1) {
-			const colonIndex = baseTypeSource.indexOf(":");
-			const spaceCandidate = baseTypeSource.slice(0, colonIndex);
-			typeRefSource = baseTypeSource.slice(colonIndex + 1);
-			if (!/^[A-Za-z_]\w*$/.test(spaceCandidate)) {
-				pushDiagnostic(context, {
-					code: "PSL_INVALID_MODEL_MEMBER",
-					message: `Invalid model member declaration "${line}"`,
-					span: createTrimmedLineSpan(context, lineIndex)
-				});
-				return;
-			}
-			typeContractSpaceId = spaceCandidate;
-		} else typeRefSource = baseTypeSource;
-		if ((typeRefSource.match(/\./g) ?? []).length > 1) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_QUALIFIED_TYPE",
-				message: `Nested dot-qualified type "${baseTypeSource}" is not supported; use exactly one qualifier segment (e.g. "ns.TypeName")`,
-				span: createInlineSpan(context, lineIndex, typeStartColumn, typeStartColumn + baseTypeSource.length)
-			});
-			return;
-		}
-		const singleMatch = typeRefSource.match(/^([A-Za-z_]\w*)(?:\.([A-Za-z_]\w*))?$/);
-		if (!singleMatch) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_MODEL_MEMBER",
-				message: `Invalid model member declaration "${line}"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			return;
-		}
-		if (singleMatch[2] !== void 0) {
-			typeNamespaceId = singleMatch[1];
-			typeName = singleMatch[2];
-		} else typeName = singleMatch[1] ?? "";
-	}
-	const attributes = [];
-	const attributeSource = attributePart.trimStart();
-	const leadingAttributeWhitespace = attributePart.length - attributeSource.length;
-	const tokenParse = extractAttributeTokensWithSpans(context, lineIndex, attributeSource, trimmedStartColumn + fieldName.length + separator.length + typeAndAttributeSplit.attributeOffset + leadingAttributeWhitespace);
-	if (!tokenParse.ok) return {
-		kind: "field",
-		name: fieldName,
-		typeName,
-		...ifDefined("typeNamespaceId", typeNamespaceId),
-		...ifDefined("typeContractSpaceId", typeContractSpaceId),
-		...ifDefined("typeConstructor", typeConstructor),
-		optional,
-		list,
-		attributes,
-		span: createTrimmedLineSpan(context, lineIndex)
-	};
-	for (const token of tokenParse.tokens) {
-		const parsed = parseAttributeToken(context, {
-			token: token.text,
-			target: "field",
-			lineIndex,
-			span: token.span
-		});
-		if (parsed) attributes.push(parsed);
-	}
-	return {
-		kind: "field",
-		name: fieldName,
-		typeName,
-		...ifDefined("typeNamespaceId", typeNamespaceId),
-		...ifDefined("typeContractSpaceId", typeContractSpaceId),
-		...ifDefined("typeConstructor", typeConstructor),
-		optional,
-		list,
-		attributes,
-		span: createTrimmedLineSpan(context, lineIndex)
-	};
-}
-function isQuoteEscaped(value, quoteIndex) {
-	let backslashCount = 0;
-	for (let index = quoteIndex - 1; index >= 0 && value[index] === "\\"; index -= 1) backslashCount += 1;
-	return backslashCount % 2 === 1;
-}
-function splitTypeAndAttributes(value) {
-	let depthParen = 0;
-	let depthBracket = 0;
-	let depthBrace = 0;
-	let quote = null;
-	for (let index = 0; index < value.length; index += 1) {
-		const character = value[index] ?? "";
-		if (quote) {
-			if (character === quote && !isQuoteEscaped(value, index)) quote = null;
-			continue;
-		}
-		if (character === "\"" || character === "'") {
-			quote = character;
-			continue;
-		}
-		if (character === "(") {
-			depthParen += 1;
-			continue;
-		}
-		if (character === ")") {
-			depthParen = Math.max(0, depthParen - 1);
-			continue;
-		}
-		if (character === "[") {
-			depthBracket += 1;
-			continue;
-		}
-		if (character === "]") {
-			depthBracket = Math.max(0, depthBracket - 1);
-			continue;
-		}
-		if (character === "{") {
-			depthBrace += 1;
-			continue;
-		}
-		if (character === "}") {
-			depthBrace = Math.max(0, depthBrace - 1);
-			continue;
-		}
-		if (character === "@" && depthParen === 0 && depthBracket === 0 && depthBrace === 0) return {
-			typeSource: value.slice(0, index).trimEnd(),
-			attributeSource: value.slice(index),
-			attributeOffset: index
-		};
-	}
-	return {
-		typeSource: value.trimEnd(),
-		attributeSource: "",
-		attributeOffset: value.length
-	};
-}
-function parseAttributeToken(context, input) {
-	const expectsBlockPrefix = input.target === "model" || input.target === "enum";
-	const targetLabel = input.target === "enum" ? "Enum" : "Model";
-	if (expectsBlockPrefix && !input.token.startsWith("@@")) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `${targetLabel} attribute "${input.token}" must use @@ prefix`,
-			span: input.span
-		});
-		return;
-	}
-	if (!expectsBlockPrefix && !input.token.startsWith("@")) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `Attribute "${input.token}" must use @ prefix`,
-			span: input.span
-		});
-		return;
-	}
-	if (!expectsBlockPrefix && input.token.startsWith("@@")) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `Attribute "${input.token}" is not valid in ${input.target} context`,
-			span: input.span
-		});
-		return;
-	}
-	const rawBody = expectsBlockPrefix ? input.token.slice(2) : input.token.slice(1);
-	const openParen = rawBody.indexOf("(");
-	const closeParen = rawBody.lastIndexOf(")");
-	const hasArgs = openParen >= 0 || closeParen >= 0;
-	if (openParen >= 0 && closeParen === -1 || openParen === -1 && closeParen >= 0) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `Invalid attribute syntax "${input.token}"`,
-			span: input.span
-		});
-		return;
-	}
-	const name = (openParen >= 0 ? rawBody.slice(0, openParen) : rawBody).trim();
-	if (!/^[A-Za-z_][A-Za-z0-9_-]*(\.[A-Za-z_][A-Za-z0-9_-]*)*$/.test(name)) {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `Invalid attribute name "${name || input.token}"`,
-			span: input.span
-		});
-		return;
-	}
-	let args = [];
-	if (hasArgs && openParen >= 0 && closeParen >= openParen) {
-		if (closeParen !== rawBody.length - 1) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-				message: `Invalid trailing syntax in attribute "${input.token}"`,
-				span: input.span
-			});
-			return;
-		}
-		const parsedArgs = parseArgumentList(context, {
-			argsRaw: rawBody.slice(openParen + 1, closeParen),
-			argsOffset: input.span.start.column - 1 + (expectsBlockPrefix ? 2 : 1) + openParen + 1,
-			lineIndex: input.lineIndex,
-			token: input.token,
-			span: input.span,
-			invalidCode: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			invalidEmptyArgumentMessage: `Invalid empty argument in attribute "${input.token}"`,
-			invalidNamedArgumentMessage: (part) => `Invalid named argument syntax "${part}"`
-		});
-		if (!parsedArgs) return;
-		args = parsedArgs;
-	}
-	return {
-		kind: "attribute",
-		target: input.target,
-		name,
-		args,
-		span: input.span
-	};
-}
-function parseArgumentList(context, input) {
-	if (input.argsRaw.trim().length === 0) return [];
-	const parts = splitTopLevelSegments(input.argsRaw, ",");
-	const args = [];
-	for (const part of parts) {
-		const original = part.value;
-		const trimmedPart = original.trim();
-		if (trimmedPart.length === 0) {
-			pushDiagnostic(context, {
-				code: input.invalidCode,
-				message: input.invalidEmptyArgumentMessage,
-				span: input.span
-			});
-			return;
-		}
-		const leadingWhitespace = original.length - original.trimStart().length;
-		const partStart = input.argsOffset + part.start + leadingWhitespace;
-		const partEnd = partStart + trimmedPart.length;
-		const partSpan = createInlineSpan(context, input.lineIndex, partStart, partEnd);
-		const namedSplit = splitTopLevelSegments(trimmedPart, ":");
-		if (namedSplit.length > 1) {
-			const first = namedSplit[0];
-			if (!first) {
-				pushDiagnostic(context, {
-					code: input.invalidCode,
-					message: input.invalidNamedArgumentMessage(trimmedPart),
-					span: partSpan
-				});
-				return;
-			}
-			const name = first.value.trim();
-			const rawValue = trimmedPart.slice(first.end + 1).trim();
-			if (!name || rawValue.length === 0) {
-				pushDiagnostic(context, {
-					code: input.invalidCode,
-					message: input.invalidNamedArgumentMessage(trimmedPart),
-					span: partSpan
-				});
-				return;
-			}
-			args.push({
-				kind: "named",
-				name,
-				value: normalizeAttributeArgumentValue(rawValue),
-				span: partSpan
-			});
-			continue;
-		}
-		args.push({
-			kind: "positional",
-			value: normalizeAttributeArgumentValue(trimmedPart),
-			span: partSpan
-		});
-	}
-	return args;
-}
-function normalizeAttributeArgumentValue(value) {
-	return value.trim();
-}
-function findBlockBounds(context, startLine) {
-	let depth = 0;
-	for (let lineIndex = startLine; lineIndex < context.lines.length; lineIndex += 1) {
-		const line = stripInlineComment(context.lines[lineIndex] ?? "");
-		let quote = null;
-		for (let index = 0; index < line.length; index += 1) {
-			const character = line[index] ?? "";
-			if (quote) {
-				if (character === quote && !isQuoteEscaped(line, index)) quote = null;
-				continue;
-			}
-			if (character === "\"" || character === "'") {
-				quote = character;
-				continue;
-			}
-			if (character === "{") depth += 1;
-			if (character === "}") {
-				depth -= 1;
-				if (depth === 0) return {
-					startLine,
-					endLine: lineIndex,
-					closed: true
-				};
-			}
-		}
-	}
-	pushDiagnostic(context, {
-		code: "PSL_UNTERMINATED_BLOCK",
-		message: "Unterminated block declaration",
-		span: createTrimmedLineSpan(context, startLine)
-	});
-	return {
-		startLine,
-		endLine: context.lines.length - 1,
-		closed: false
-	};
-}
-function splitTopLevelSegments(value, separator) {
-	const parts = [];
-	let depthParen = 0;
-	let depthBracket = 0;
-	let depthBrace = 0;
-	let quote = null;
-	let start = 0;
-	for (let index = 0; index < value.length; index += 1) {
-		const character = value[index] ?? "";
-		if (quote) {
-			if (character === quote && !isQuoteEscaped(value, index)) quote = null;
-			continue;
-		}
-		if (character === "\"" || character === "'") {
-			quote = character;
-			continue;
-		}
-		if (character === "(") {
-			depthParen += 1;
-			continue;
-		}
-		if (character === ")") {
-			depthParen = Math.max(0, depthParen - 1);
-			continue;
-		}
-		if (character === "[") {
-			depthBracket += 1;
-			continue;
-		}
-		if (character === "]") {
-			depthBracket = Math.max(0, depthBracket - 1);
-			continue;
-		}
-		if (character === "{") {
-			depthBrace += 1;
-			continue;
-		}
-		if (character === "}") {
-			depthBrace = Math.max(0, depthBrace - 1);
-			continue;
-		}
-		if (character === separator && depthParen === 0 && depthBracket === 0 && depthBrace === 0) {
-			parts.push({
-				value: value.slice(start, index),
-				start,
-				end: index
-			});
-			start = index + 1;
-		}
-	}
-	parts.push({
-		value: value.slice(start),
-		start,
-		end: value.length
-	});
-	return parts;
-}
-function extractAttributeTokensWithSpans(context, lineIndex, value, startColumn) {
-	const tokens = [];
-	let index = 0;
-	while (index < value.length) {
-		while (index < value.length && /\s/.test(value[index] ?? "")) index += 1;
-		if (index >= value.length) break;
-		if (value[index] !== "@") {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-				message: `Invalid attribute syntax "${value.trim()}"`,
-				span: createInlineSpan(context, lineIndex, startColumn + index, startColumn + value.length)
-			});
-			return {
-				ok: false,
-				tokens
-			};
-		}
-		const start = index;
-		index += 1;
-		if (value[index] === "@") index += 1;
-		const nameStart = index;
-		while (index < value.length && /[A-Za-z0-9_.-]/.test(value[index] ?? "")) index += 1;
-		if (index === nameStart) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-				message: `Invalid attribute syntax "${value.slice(start).trim()}"`,
-				span: createInlineSpan(context, lineIndex, startColumn + start, startColumn + value.length)
-			});
-			return {
-				ok: false,
-				tokens
-			};
-		}
-		if (value[index] === "(") {
-			let depth = 0;
-			let quote = null;
-			while (index < value.length) {
-				const char = value[index] ?? "";
-				if (quote) {
-					if (char === quote && !isQuoteEscaped(value, index)) quote = null;
-					index += 1;
-					continue;
-				}
-				if (char === "\"" || char === "'") {
-					quote = char;
-					index += 1;
-					continue;
-				}
-				if (char === "(") depth += 1;
-				else if (char === ")") {
-					depth -= 1;
-					if (depth === 0) {
-						index += 1;
-						break;
-					}
-				}
-				index += 1;
-			}
-			if (depth !== 0) {
-				pushDiagnostic(context, {
-					code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-					message: `Unterminated attribute argument list in "${value.slice(start).trim()}"`,
-					span: createInlineSpan(context, lineIndex, startColumn + start, startColumn + value.length)
-				});
-				return {
-					ok: false,
-					tokens
-				};
-			}
-		}
-		const tokenText = value.slice(start, index).trim();
-		tokens.push({
-			text: tokenText,
-			span: createInlineSpan(context, lineIndex, startColumn + start, startColumn + index)
-		});
-		while (index < value.length && /\s/.test(value[index] ?? "")) index += 1;
-		if (index < value.length && value[index] !== "@") break;
-	}
-	if (index < value.length && value[index] !== "@") {
-		pushDiagnostic(context, {
-			code: "PSL_INVALID_ATTRIBUTE_SYNTAX",
-			message: `Invalid attribute syntax "${value.trim()}"`,
-			span: createInlineSpan(context, lineIndex, startColumn + index, startColumn + value.length)
-		});
-		return {
-			ok: false,
-			tokens
-		};
-	}
-	return {
-		ok: true,
-		tokens
-	};
-}
-function stripInlineComment(line) {
-	let quote = null;
-	for (let index = 0; index < line.length - 1; index += 1) {
-		const current = line[index] ?? "";
-		const next = line[index + 1] ?? "";
-		if (quote) {
-			if (current === quote && !isQuoteEscaped(line, index)) quote = null;
-			continue;
-		}
-		if (current === "\"" || current === "'") {
-			quote = current;
-			continue;
-		}
-		if (current === "/" && next === "/") return line.slice(0, index);
-	}
-	return line;
-}
-function computeLineOffsets(schema) {
-	const offsets = [0];
-	for (let index = 0; index < schema.length; index += 1) if (schema[index] === "\n") offsets.push(index + 1);
-	return offsets;
-}
-function firstNonWhitespaceColumn(line) {
-	const first = line.search(/\S/);
-	return first === -1 ? 0 : first;
-}
-function createInlineSpan(context, lineIndex, startColumn, endColumn) {
-	return {
-		start: createPosition(context, lineIndex, startColumn),
-		end: createPosition(context, lineIndex, endColumn)
-	};
-}
-function createTrimmedLineSpan(context, lineIndex) {
-	const line = context.lines[lineIndex] ?? "";
-	return {
-		start: createPosition(context, lineIndex, firstNonWhitespaceColumn(line)),
-		end: createPosition(context, lineIndex, line.length)
-	};
-}
-function createLineRangeSpan(context, startLine, endLine) {
-	const startLineText = context.lines[startLine] ?? "";
-	const endLineText = context.lines[endLine] ?? "";
-	return {
-		start: createPosition(context, startLine, firstNonWhitespaceColumn(startLineText)),
-		end: createPosition(context, endLine, endLineText.length)
-	};
-}
-function createPosition(context, lineIndex, columnIndex) {
-	const clampedLineIndex = Math.max(0, Math.min(lineIndex, context.lineOffsets.length - 1));
-	const lineText = context.lines[clampedLineIndex] ?? "";
-	const clampedColumnIndex = Math.max(0, Math.min(columnIndex, lineText.length));
-	return {
-		offset: (context.lineOffsets[clampedLineIndex] ?? 0) + clampedColumnIndex,
-		line: clampedLineIndex + 1,
-		column: clampedColumnIndex + 1
-	};
-}
-function pushDiagnostic(context, diagnostic) {
-	context.diagnostics.push({
-		...diagnostic,
-		sourceId: context.sourceId
-	});
-}
-function lookupExtensionBlockDescriptor(namespace, keyword) {
-	if (!Object.hasOwn(namespace, keyword)) return;
-	const value = namespace[keyword];
-	return isAuthoringPslBlockDescriptor(value) ? value : void 0;
-}
-/**
-* Reads an extension block body generically, driven by the descriptor's
-* `parameters` map. Each `key = <rhs>` line in the body is matched against
-* a declared parameter and the RHS is captured per the parameter's kind:
-*
-* - `ref`    → the bareword identifier token (`PslExtensionBlockParamRef`)
-* - `value`  → the raw RHS text verbatim (`PslExtensionBlockParamScalarValue`)
-* - `option` → the chosen bareword token (`PslExtensionBlockParamOption`)
-* - `list`   → bracketed `[a, b, …]` list, each element captured per `of`
-*   (`PslExtensionBlockParamList`)
-*
-* No validation runs here (unknown key, missing required, codec acceptance,
-* option-in-set, ref resolution). A body line that is not `key = value`
-* shaped emits a `PSL_INVALID_EXTENSION_BLOCK_MEMBER` parse diagnostic.
-*/
-function parseExtensionBlock(context, descriptor, blockName, keywordLineIndex, bounds) {
-	const parameters = {};
-	for (let lineIndex = bounds.startLine + 1; lineIndex < bounds.endLine; lineIndex += 1) {
-		const line = stripInlineComment(context.lines[lineIndex] ?? "").trim();
-		if (line.length === 0) continue;
-		const assignMatch = line.match(/^([A-Za-z_]\w*)\s*=\s*(.+)$/);
-		if (!assignMatch) {
-			pushDiagnostic(context, {
-				code: "PSL_INVALID_EXTENSION_BLOCK_MEMBER",
-				message: `Invalid extension block body line "${line}"; expected "key = value"`,
-				span: createTrimmedLineSpan(context, lineIndex)
-			});
-			continue;
-		}
-		const key = assignMatch[1] ?? "";
-		const rhsRaw = (assignMatch[2] ?? "").trim();
-		const paramDescriptor = descriptor.parameters[key];
-		if (paramDescriptor === void 0) {
-			parameters[key] = {
-				kind: "value",
-				raw: rhsRaw,
-				span: createTrimmedLineSpan(context, lineIndex)
-			};
-			continue;
-		}
-		const captured = captureParamRhs(context, lineIndex, rhsRaw, paramDescriptor);
-		if (captured !== void 0) parameters[key] = captured;
-	}
-	return {
-		kind: descriptor.discriminator,
-		name: blockName,
-		parameters,
-		span: createLineRangeSpan(context, keywordLineIndex, bounds.endLine)
-	};
-}
-/**
-* Captures a single parameter RHS string according to the declared parameter
-* kind. Returns `undefined` and pushes a diagnostic only if the syntax is
-* genuinely malformed (e.g. a `list` with no opening bracket). Value
-* acceptance (codec, option-in-set, ref resolution) is handled by the validator.
-*/
-function captureParamRhs(context, lineIndex, rhs, param) {
-	const span = createTrimmedLineSpan(context, lineIndex);
-	switch (param.kind) {
-		case "ref": return {
-			kind: "ref",
-			identifier: rhs,
-			span
-		};
-		case "value": return {
-			kind: "value",
-			raw: rhs,
-			span
-		};
-		case "option": return {
-			kind: "option",
-			token: rhs,
-			span
-		};
-		case "list": {
-			if (!rhs.startsWith("[") || !rhs.endsWith("]")) {
-				pushDiagnostic(context, {
-					code: "PSL_INVALID_EXTENSION_BLOCK_MEMBER",
-					message: `Expected a bracketed list "[…]" for list parameter, got "${rhs}"`,
-					span
-				});
-				return;
-			}
-			const inner = rhs.slice(1, -1).trim();
-			const items = [];
-			if (inner.length > 0) {
-				const segments = splitTopLevelSegments(inner, ",");
-				for (const segment of segments) {
-					const itemRhs = segment.value.trim();
-					if (itemRhs.length === 0) continue;
-					const item = captureParamRhs(context, lineIndex, itemRhs, param.of);
-					if (item !== void 0) items.push(item);
-				}
-			}
-			return {
-				kind: "list",
-				items,
-				span
-			};
-		}
-	}
-}
-//#endregion
-export { parsePslDocument as t };
-
-//# sourceMappingURL=parser-Cw_zV0M5.mjs.map