@samva/markup 0.1.0 → 0.1.2

package/dist/ast.js

@@ -1,5 +1,5 @@
 import { SpanSchema } from "./diagnostics.js";
-import { collectPredicateVariables, parsePredicate } from "./predicate.js";
+import { i as parsePredicate, n as collectPredicateVariables } from "./predicate-CvkzT-a2.js";
 import { Result, Schema } from "effect";
 //#region src/ast.ts
 const BLOCK_TAGS = [

package/dist/{checks-CW0nFj5n.js → checks-D-zFQt5R.js}

@@ -1,5 +1,5 @@
 import { formatDiagnostic } from "./diagnostics.js";
-import { parsePredicate } from "./predicate.js";
+import { i as parsePredicate } from "./predicate-CvkzT-a2.js";
 import { stringAttribute } from "./ast.js";
 import { parseCandidate, splitRoot } from "./candidate.js";
 import { registryRoots, utilityRegistry } from "./registry.js";
@@ -58919,4 +58919,4 @@ function checkSmlCompatibility(input) {
 //#endregion
 export { worstCaseArtifactBytes as a, isBreakingCompatibilityCheck as i, checkSmlCompatibility as n, collectSmlFeatureSlugs as r, DEFAULT_EMAIL_TARGET_CLIENT_PROFILE as t };
 
-//# sourceMappingURL=checks-CW0nFj5n.js.map
+//# sourceMappingURL=checks-D-zFQt5R.js.map

package/dist/checks.js

@@ -1,2 +1,2 @@
-import { a as worstCaseArtifactBytes, i as isBreakingCompatibilityCheck, n as checkSmlCompatibility, r as collectSmlFeatureSlugs, t as DEFAULT_EMAIL_TARGET_CLIENT_PROFILE } from "./checks-CW0nFj5n.js";
+import { a as worstCaseArtifactBytes, i as isBreakingCompatibilityCheck, n as checkSmlCompatibility, r as collectSmlFeatureSlugs, t as DEFAULT_EMAIL_TARGET_CLIENT_PROFILE } from "./checks-D-zFQt5R.js";
 export { DEFAULT_EMAIL_TARGET_CLIENT_PROFILE, checkSmlCompatibility, collectSmlFeatureSlugs, isBreakingCompatibilityCheck, worstCaseArtifactBytes };

package/dist/compile-sms.d.ts

@@ -1,6 +1,6 @@
 import { t as Diagnostic } from "./diagnostics-oveE-laV.js";
 import { m as ElementNode } from "./ast-DAhnAvQN.js";
-import { a as SMS_TAG_SPECS } from "./parser-yzjUOGhc.js";
+import { a as SMS_TAG_SPECS } from "./parser-DkQKIjDa.js";
 import { t as SmsEncoding } from "./sms-segments-y4FpPilJ.js";
 //#region src/compile-sms.d.ts
 /** Documented worst-case rendered width of one `{{variable}}`. */

package/dist/compile-whatsapp.d.ts

@@ -1,6 +1,6 @@
 import { a as SmlCompileError, t as Diagnostic } from "./diagnostics-oveE-laV.js";
 import { m as ElementNode } from "./ast-DAhnAvQN.js";
-import { l as WHATSAPP_TAG_SPECS } from "./parser-yzjUOGhc.js";
+import { l as WHATSAPP_TAG_SPECS } from "./parser-DkQKIjDa.js";
 import { Result } from "effect";
 //#region src/compile-whatsapp.d.ts
 type WhatsAppSpecs = typeof WHATSAPP_TAG_SPECS;

package/dist/components.d.ts

@@ -1,7 +1,7 @@
 import { m as ElementNode } from "./ast-DAhnAvQN.js";
-import { i as EMAIL_TAG_SPECS, l as WHATSAPP_TAG_SPECS, o as TagSpec, t as AttributeSpec } from "./parser-yzjUOGhc.js";
-import { r as PredicateRef, s as VariableRef } from "./variables-3NGLpNTB.js";
-import { s as SmlChildren } from "./jsx-runtime-fSxcvlx4.js";
+import { i as EMAIL_TAG_SPECS, l as WHATSAPP_TAG_SPECS, o as TagSpec, t as AttributeSpec } from "./parser-DkQKIjDa.js";
+import { r as PredicateRef, s as VariableRef } from "./variables-if1VrV34.js";
+import { s as SmlChildren } from "./jsx-runtime-eNIMY87F.js";
 //#region src/components.d.ts
 /**
  * The scalar type an attribute spec accepts. `level` narrows to the Heading

package/dist/conditionals.js

@@ -1,4 +1,4 @@
-import { evaluatePredicate, parsePredicate } from "./predicate.js";
+import { i as parsePredicate, r as evaluatePredicate } from "./predicate-CvkzT-a2.js";
 import { Result } from "effect";
 //#region src/conditionals.ts
 const IF_MARKER = "<!--sml:if:";

package/dist/diagnostics.js

@@ -21,12 +21,12 @@ const DiagnosticSchema = Schema.Struct({
 	span: SpanSchema,
 	repair: Schema.optional(DiagnosticRepairSchema)
 });
-var SmlParseError = class extends Schema.TaggedErrorClass()("SmlParseError", { diagnostics: Schema.Array(DiagnosticSchema) }) {
+var SmlParseError = class extends Schema.TaggedError()("SmlParseError", { diagnostics: Schema.Array(DiagnosticSchema) }) {
 	get message() {
 		return this.diagnostics.map((diagnostic) => diagnostic.message).join("\n");
 	}
 };
-var SmlCompileError = class extends Schema.TaggedErrorClass()("SmlCompileError", { diagnostics: Schema.Array(DiagnosticSchema) }) {
+var SmlCompileError = class extends Schema.TaggedError()("SmlCompileError", { diagnostics: Schema.Array(DiagnosticSchema) }) {
 	get message() {
 		return this.diagnostics.map((diagnostic) => diagnostic.message).join("\n");
 	}

package/dist/jsx-dev-runtime.d.ts

@@ -1,4 +1,4 @@
-import { a as JsxResult, i as JSX, n as Fragment, t as Component } from "./jsx-runtime-fSxcvlx4.js";
+import { a as JsxResult, i as JSX, n as Fragment, t as Component } from "./jsx-runtime-eNIMY87F.js";
 //#region src/jsx-dev-runtime.d.ts
 interface JsxDevProps {
   readonly children?: unknown;

package/dist/{jsx-runtime-fSxcvlx4.d.ts → jsx-runtime-eNIMY87F.d.ts}

@@ -1,5 +1,5 @@
 import { T as SmlNode, m as ElementNode, n as Attribute } from "./ast-DAhnAvQN.js";
-import { s as VariableRef } from "./variables-3NGLpNTB.js";
+import { s as VariableRef } from "./variables-if1VrV34.js";
 //#region src/jsx-runtime.d.ts
 /** A component is a plain function of its props that returns a draft node. */
 type Component<P> = (props: P) => SmlNode;
@@ -54,4 +54,4 @@ declare namespace JSX {
 }
 //#endregion
 export { JsxResult as a, elementDraft as c, normalizeChildren as d, JSX as i, jsx as l, Fragment as n, SmlChild as o, FragmentDraft as r, SmlChildren as s, Component as t, jsxs as u };
-//# sourceMappingURL=jsx-runtime-fSxcvlx4.d.ts.map
+//# sourceMappingURL=jsx-runtime-eNIMY87F.d.ts.map

package/dist/jsx-runtime.d.ts

@@ -1,2 +1,2 @@
-import { a as JsxResult, c as elementDraft, d as normalizeChildren, i as JSX, l as jsx, n as Fragment, o as SmlChild, r as FragmentDraft, s as SmlChildren, t as Component, u as jsxs } from "./jsx-runtime-fSxcvlx4.js";
+import { a as JsxResult, c as elementDraft, d as normalizeChildren, i as JSX, l as jsx, n as Fragment, o as SmlChild, r as FragmentDraft, s as SmlChildren, t as Component, u as jsxs } from "./jsx-runtime-eNIMY87F.js";
 export { Component, Fragment, FragmentDraft, JSX, JsxResult, SmlChild, SmlChildren, elementDraft, jsx, jsxs, normalizeChildren };

package/dist/ops.js

@@ -2,7 +2,7 @@ import { DiagnosticSchema } from "./diagnostics.js";
 import { AttributeValueSchema, SML_TAGS, SmlNodeSchema, documentChannel } from "./ast.js";
 import { CHANNEL_TAG_SPECS, allowedChildren, parseSml } from "./parser.js";
 import { compileSml } from "./compile.js";
-import { i as isBreakingCompatibilityCheck, n as checkSmlCompatibility } from "./checks-CW0nFj5n.js";
+import { i as isBreakingCompatibilityCheck, n as checkSmlCompatibility } from "./checks-D-zFQt5R.js";
 import { printSml } from "./printer.js";
 import { Result, Schema } from "effect";
 //#region src/ops.ts
@@ -74,7 +74,7 @@ const ApplyOpsResultSchema = Schema.Struct({
 	diagnostics: Schema.Array(DiagnosticSchema),
 	results: Schema.Array(SmlOpResultSchema)
 });
-var SmlOpError = class extends Schema.TaggedErrorClass()("SmlOpError", { diagnostics: Schema.Array(DiagnosticSchema) }) {
+var SmlOpError = class extends Schema.TaggedError()("SmlOpError", { diagnostics: Schema.Array(DiagnosticSchema) }) {
 	get message() {
 		return this.diagnostics.map((diagnostic) => diagnostic.message).join("\n");
 	}

package/dist/{parser-yzjUOGhc.d.ts → parser-DkQKIjDa.d.ts}

@@ -1,6 +1,15 @@
 import { o as SmlParseError } from "./diagnostics-oveE-laV.js";
 import { C as SmlDocument, D as SmlTag, d as Channel } from "./ast-DAhnAvQN.js";
 import { Result } from "effect";
+//#region src/limits.d.ts
+/** Hard ceilings shared by SML documents and standalone predicate parsing. */
+declare const SML_PARSER_LIMITS: {
+  readonly maxCharacters: 500000;
+  readonly maxUtf8Bytes: number;
+  readonly maxDepth: 64;
+  readonly maxNodes: 25000;
+};
+//#endregion
 //#region src/parser.d.ts
 type ContentModel = "email" | "block" | "columns" | "list" | "image" | "if" | "inline" | "inline-nolink" | "preview" | "whatsapp" | "buttons" | "verbatim" | "verbatim-if" | "void";
 interface AttributeSpec {
@@ -383,5 +392,5 @@ declare const UNIVERSAL_ATTRIBUTE_TAGS: ReadonlySet<SmlTag>;
 declare const allowedChildren: (model: ContentModel) => ReadonlyArray<SmlTag>;
 declare const parseSml: (source: string) => Result.Result<SmlDocument, SmlParseError>;
 //#endregion
-export { SMS_TAG_SPECS as a, UNIVERSAL_ATTRIBUTE_TAGS as c, parseSml as d, EMAIL_TAG_SPECS as i, WHATSAPP_TAG_SPECS as l, CHANNEL_TAG_SPECS as n, TagSpec as o, ContentModel as r, UNIVERSAL_ATTRIBUTES as s, AttributeSpec as t, allowedChildren as u };
-//# sourceMappingURL=parser-yzjUOGhc.d.ts.map
+export { SMS_TAG_SPECS as a, UNIVERSAL_ATTRIBUTE_TAGS as c, parseSml as d, SML_PARSER_LIMITS as f, EMAIL_TAG_SPECS as i, WHATSAPP_TAG_SPECS as l, CHANNEL_TAG_SPECS as n, TagSpec as o, ContentModel as r, UNIVERSAL_ATTRIBUTES as s, AttributeSpec as t, allowedChildren as u };
+//# sourceMappingURL=parser-DkQKIjDa.d.ts.map

package/dist/parser.d.ts

@@ -1,2 +1,2 @@
-import { a as SMS_TAG_SPECS, c as UNIVERSAL_ATTRIBUTE_TAGS, d as parseSml, i as EMAIL_TAG_SPECS, l as WHATSAPP_TAG_SPECS, n as CHANNEL_TAG_SPECS, o as TagSpec, r as ContentModel, s as UNIVERSAL_ATTRIBUTES, t as AttributeSpec, u as allowedChildren } from "./parser-yzjUOGhc.js";
-export { AttributeSpec, CHANNEL_TAG_SPECS, ContentModel, EMAIL_TAG_SPECS, SMS_TAG_SPECS, TagSpec, UNIVERSAL_ATTRIBUTES, UNIVERSAL_ATTRIBUTE_TAGS, WHATSAPP_TAG_SPECS, allowedChildren, parseSml };
+import { a as SMS_TAG_SPECS, c as UNIVERSAL_ATTRIBUTE_TAGS, d as parseSml, f as SML_PARSER_LIMITS, i as EMAIL_TAG_SPECS, l as WHATSAPP_TAG_SPECS, n as CHANNEL_TAG_SPECS, o as TagSpec, r as ContentModel, s as UNIVERSAL_ATTRIBUTES, t as AttributeSpec, u as allowedChildren } from "./parser-DkQKIjDa.js";
+export { AttributeSpec, CHANNEL_TAG_SPECS, ContentModel, EMAIL_TAG_SPECS, SML_PARSER_LIMITS, SMS_TAG_SPECS, TagSpec, UNIVERSAL_ATTRIBUTES, UNIVERSAL_ATTRIBUTE_TAGS, WHATSAPP_TAG_SPECS, allowedChildren, parseSml };

package/dist/parser.js

@@ -1,9 +1,17 @@
 import { SmlParseError } from "./diagnostics.js";
-import { parsePredicate, printPredicate } from "./predicate.js";
+import { a as printPredicate, i as parsePredicate, o as SML_PARSER_LIMITS } from "./predicate-CvkzT-a2.js";
 import { CHANNEL_BY_ROOT_TAG, ROOT_TAGS, SML_TAGS, isRootTag } from "./ast.js";
 import { TokenKind, createLexer } from "./lexer.js";
 import { Result } from "effect";
 //#region src/parser.ts
+const parserLimitFailure = (code, message, sourceLength) => Result.fail(new SmlParseError({ diagnostics: [{
+	code,
+	message,
+	span: {
+		start: 0,
+		end: sourceLength
+	}
+}] }));
 const SMS_CATEGORIES = [
 	"transactional",
 	"promotional",
@@ -413,8 +421,12 @@ const WRAPPER_TAG_BY_MODEL = {
 	buttons: "Button"
 };
 const parseSml = (source) => {
+	if (source.length > SML_PARSER_LIMITS.maxCharacters) return parserLimitFailure("source-character-limit", `SML source exceeds the ${SML_PARSER_LIMITS.maxCharacters} character limit (${source.length} characters)`, source.length);
+	const sourceBytes = new TextEncoder().encode(source).byteLength;
+	if (sourceBytes > SML_PARSER_LIMITS.maxUtf8Bytes) return parserLimitFailure("source-byte-limit", `SML source exceeds the ${SML_PARSER_LIMITS.maxUtf8Bytes} byte UTF-8 limit (${sourceBytes} bytes)`, source.length);
 	const lexer = createLexer(source);
 	let diagnostic;
+	let nodeCount = 0;
 	let channel = null;
 	let specs = EMAIL_TAG_SPECS;
 	const fail = (code, message, span) => {
@@ -435,6 +447,15 @@ const parseSml = (source) => {
 			end: token.end
 		});
 	};
+	const countNode = (span) => {
+		const observed = nodeCount + 1;
+		if (observed > SML_PARSER_LIMITS.maxNodes) {
+			fail("node-limit", `SML document exceeds the ${SML_PARSER_LIMITS.maxNodes} node limit (${observed} nodes)`, span);
+			return false;
+		}
+		nodeCount = observed;
+		return true;
+	};
 	const parseAttributeValue = (tag, name, spec, nameToken) => {
 		const nameSpan = {
 			start: nameToken.start,
@@ -519,7 +540,11 @@ const parseSml = (source) => {
 		return true;
 	};
 	/** Called with the `<` already consumed; `lessThanToken` is that token. */
-	const parseElement = (lessThanToken) => {
+	const parseElement = (lessThanToken, depth) => {
+		if (depth > SML_PARSER_LIMITS.maxDepth) return fail("depth-limit", `SML nesting exceeds the maximum depth of ${SML_PARSER_LIMITS.maxDepth} (observed ${depth})`, {
+			start: lessThanToken.start,
+			end: lessThanToken.end
+		});
 		const tagToken = lexer.scanTagToken();
 		if (tagToken.kind !== TokenKind.Identifier) {
 			if (tagToken.kind === TokenKind.Unknown) return failToken(tagToken);
@@ -548,6 +573,10 @@ const parseSml = (source) => {
 				end: tagToken.end
 			});
 		}
+		if (!countNode({
+			start: lessThanToken.start,
+			end: tagToken.end
+		})) return null;
 		const element = {
 			kind: "element",
 			id: "",
@@ -662,6 +691,10 @@ const parseSml = (source) => {
 						start: token.start,
 						end: token.end
 					});
+					if (!countNode({
+						start: token.start,
+						end: token.end
+					})) return null;
 					element.children.push({
 						kind: "text",
 						id: "",
@@ -686,6 +719,10 @@ const parseSml = (source) => {
 					start: token.start,
 					end: token.end
 				});
+				if (!countNode({
+					start: token.start,
+					end: token.end
+				})) return null;
 				element.children.push({
 					kind: "interpolation",
 					id: "",
@@ -716,7 +753,7 @@ const parseSml = (source) => {
 				break;
 			}
 			const allowed = allowedChildren(model);
-			const child = parseElement(token);
+			const child = parseElement(token, depth + 1);
 			if (child === null) return null;
 			if (!allowed.includes(child.tag)) {
 				const message = child.tag === "Else" ? `<Else> is only valid as the last child of <If> — wrap this branch in <If>` : isInlineModel(model) ? child.tag === "a" ? `<a> is not allowed inside <${tag}> — links cannot nest inside links or buttons` : `<${child.tag}> is not allowed inside <${tag}> — only text, {{variables}}${allowed.length > 0 ? `, and ${listTags(allowed)}` : ""} may appear here` : `<${child.tag}> is not allowed inside <${tag}> — <${tag}> may contain only ${listTags(allowed)}`;
@@ -767,7 +804,7 @@ const parseSml = (source) => {
 		end: first.end
 	});
 	let root = null;
-	if (diagnostic === void 0) root = parseElement(first);
+	if (diagnostic === void 0) root = parseElement(first, 1);
 	if (root !== null) {
 		const trailing = skipBlankText();
 		if (trailing.kind !== TokenKind.EndOfFile) {
@@ -808,14 +845,16 @@ const normalizeInlineChildren = (element) => {
 /** Stable ids in document order — identical source ⇒ identical ids. */
 const assignNodeIds = (root) => {
 	let next = 0;
-	const visit = (node) => {
+	const pending = [root];
+	while (pending.length > 0) {
+		const node = pending.pop();
 		node.id = `n${next}`;
 		next++;
-		if (node.kind === "element") for (const child of node.children) visit(child);
-	};
-	visit(root);
+		if (node.kind !== "element") continue;
+		for (let index = node.children.length - 1; index >= 0; index--) pending.push(node.children[index]);
+	}
 };
 //#endregion
-export { CHANNEL_TAG_SPECS, EMAIL_TAG_SPECS, SMS_TAG_SPECS, UNIVERSAL_ATTRIBUTES, UNIVERSAL_ATTRIBUTE_TAGS, WHATSAPP_TAG_SPECS, allowedChildren, parseSml };
+export { CHANNEL_TAG_SPECS, EMAIL_TAG_SPECS, SML_PARSER_LIMITS, SMS_TAG_SPECS, UNIVERSAL_ATTRIBUTES, UNIVERSAL_ATTRIBUTE_TAGS, WHATSAPP_TAG_SPECS, allowedChildren, parseSml };
 
 //# sourceMappingURL=parser.js.map