parser-lr 0.8.1 → 0.8.3

package/bin/parser-lr.js

@@ -3781,7 +3781,7 @@ const {
   Help,
 } = commander;
 
-var version$1 = "0.8.1";
+var version$1 = "0.8.3";
 var packageDefinition = {
 	version: version$1};
 
@@ -7063,6 +7063,46 @@ function referenceSlotIndex(production, reference) {
     return null;
 }
 
+/**
+ * Returns whether a CST node was reduced by an empty right-hand side.
+ *
+ * @param node - CST node to test.
+ * @param table - Parse table supplying production metadata.
+ */
+function isEpsilonNode(node, table) {
+    if (node.isTerminal || node.children.length > 0 || node.productionId === null) {
+        return false;
+    }
+    const production = table.production(node.productionId);
+    return production !== null && production.rhs.length === 0;
+}
+/**
+ * Returns whether a CST node is an authored labeled empty alternative.
+ *
+ * @remarks
+ * Labeled epsilons such as `#absent` are first-class grammar alternatives.
+ * They keep identity through default transforms.
+ *
+ * @param node - CST node to test.
+ * @param table - Parse table supplying production metadata.
+ */
+function isAuthoredEpsilonNode(node, table) {
+    return isEpsilonNode(node, table) && node.variant !== null;
+}
+/**
+ * Returns whether a CST node is synthetic unlabeled epsilon scaffolding.
+ *
+ * @remarks
+ * Unlabeled empty productions come from `{…}` / `[…]` desugaring. They are
+ * not authored alternatives and should disappear from AST construction.
+ *
+ * @param node - CST node to test.
+ * @param table - Parse table supplying production metadata.
+ */
+function isSyntheticEpsilonNode(node, table) {
+    return isEpsilonNode(node, table) && node.variant === null;
+}
+
 /**
  * Applies CST-to-AST transform rules to a concrete syntax tree.
  */
@@ -7188,7 +7228,8 @@ class CstTransformer {
                 if (childNode === null) {
                     return null;
                 }
-                if (this.isEpsilonNode(childNode)) {
+                // Drop synthetic unlabeled epsilons; keep authored `#label` empty alts.
+                if (isSyntheticEpsilonNode(childNode, this.table)) {
                     continue;
                 }
                 const child = this.transformNode(childNode);
@@ -7220,7 +7261,7 @@ class CstTransformer {
         }
         let acc = this.buildAstNode(expression.typeName, expression.variant, [left, operator, right], node.location);
         let tail = this.findRepeatTail(node, slots);
-        while (tail !== null && !this.isEpsilonNode(tail)) {
+        while (tail !== null && !isSyntheticEpsilonNode(tail, this.table)) {
             const tailSlots = this.resolveReferences(tail, expression.references);
             if (tailSlots === null) {
                 return null;
@@ -7244,7 +7285,7 @@ class CstTransformer {
     applyFoldRight(node, expression) {
         const parts = [];
         let current = node;
-        while (current !== null && !this.isEpsilonNode(current)) {
+        while (current !== null && !isSyntheticEpsilonNode(current, this.table)) {
             const leftRef = expression.references[0];
             const operatorRef = expression.references[1];
             const rightRef = expression.references[2];
@@ -7286,14 +7327,14 @@ class CstTransformer {
     applyFlatten(node, expression) {
         const items = [];
         let current = node;
-        while (current !== null && !this.isEpsilonNode(current)) {
+        while (current !== null && !isSyntheticEpsilonNode(current, this.table)) {
             const head = this.transformFlattenHead(current, expression.head);
             if (head === null) {
                 return null;
             }
             items.push(head);
             const tail = this.resolveReferenceNode(current, expression.tail);
-            if (tail === null || this.isEpsilonNode(tail)) {
+            if (tail === null || isSyntheticEpsilonNode(tail, this.table)) {
                 break;
             }
             current = tail;
@@ -7333,10 +7374,19 @@ class CstTransformer {
     /**
      * Transforms a CST node without explicit transform rules.
      *
+     * @remarks
+     * Authored labeled epsilon alternatives (`#absent`) keep their identity.
+     * Synthetic unlabeled epsilons from `{…}` / `[…]` desugaring are dropped.
+     *
      * @param node - CST node to pass through or unwrap.
      */
     defaultTransform(node) {
-        if (this.isEpsilonNode(node)) {
+        // Authored `#label` empty alternatives are first-class nodes.
+        if (isAuthoredEpsilonNode(node, this.table)) {
+            return AstNode.rule(node.symbol, [], node.location, node.variant);
+        }
+        // Synthetic unlabeled epsilons are scaffolding, not AST content.
+        if (isSyntheticEpsilonNode(node, this.table)) {
             return null;
         }
         const children = this.transformChildren(node.children);
@@ -7458,21 +7508,6 @@ class CstTransformer {
         }
         return null;
     }
-    /**
-     * Returns whether a CST node represents an epsilon production.
-     *
-     * @param node - CST node to test.
-     */
-    isEpsilonNode(node) {
-        if (node.isTerminal) {
-            return false;
-        }
-        if (node.children.length > 0) {
-            return false;
-        }
-        const production = this.productionFor(node);
-        return production !== null && production.rhs.length === 0;
-    }
     /**
      * Returns parse table production metadata for a CST node.
      *
@@ -8382,10 +8417,12 @@ function parseLabeledAlternative(node) {
     const label = labelNode === null || findChild(node, 'hash') === null
         ? null
         : identifierText(labelNode);
-    const sequence = requireChild(node, 'sequence');
+    const sequence = findChild(node, 'sequence');
     return {
         label,
-        expression: parseSequence(sequence),
+        expression: sequence === null
+            ? { kind: 'sequence', elements: [] }
+            : parseSequence(sequence),
     };
 }
 /**
@@ -9381,7 +9418,8 @@ var productions = [
 		id: 61,
 		name: "labeled_alternative",
 		rhs: [
-			"sequence"
+			"hash",
+			"identifier"
 		],
 		variant: null,
 		origin: "labeled_alternative"
@@ -9399,6 +9437,15 @@ var productions = [
 	},
 	{
 		id: 63,
+		name: "labeled_alternative",
+		rhs: [
+			"sequence"
+		],
+		variant: null,
+		origin: "labeled_alternative"
+	},
+	{
+		id: 64,
 		name: "sequence$repeat_10",
 		rhs: [
 			"factor",
@@ -9408,7 +9455,7 @@ var productions = [
 		origin: "sequence$repeat_10"
 	},
 	{
-		id: 64,
+		id: 65,
 		name: "sequence$repeat_10",
 		rhs: [
 		],
@@ -9416,7 +9463,7 @@ var productions = [
 		origin: "sequence$repeat_10"
 	},
 	{
-		id: 65,
+		id: 66,
 		name: "sequence",
 		rhs: [
 			"factor",
@@ -9426,7 +9473,7 @@ var productions = [
 		origin: "sequence"
 	},
 	{
-		id: 66,
+		id: 67,
 		name: "factor",
 		rhs: [
 			"bracketed"
@@ -9435,7 +9482,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 67,
+		id: 68,
 		name: "factor",
 		rhs: [
 			"repeat"
@@ -9444,7 +9491,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 68,
+		id: 69,
 		name: "factor",
 		rhs: [
 			"group"
@@ -9453,7 +9500,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 69,
+		id: 70,
 		name: "factor",
 		rhs: [
 			"primary"
@@ -9462,7 +9509,7 @@ var productions = [
 		origin: "factor"
 	},
 	{
-		id: 70,
+		id: 71,
 		name: "bracketed",
 		rhs: [
 			"lbracket",
@@ -9473,7 +9520,7 @@ var productions = [
 		origin: "bracketed"
 	},
 	{
-		id: 71,
+		id: 72,
 		name: "bracketed",
 		rhs: [
 			"lbracket",
@@ -9486,7 +9533,7 @@ var productions = [
 		origin: "bracketed"
 	},
 	{
-		id: 72,
+		id: 73,
 		name: "repeat",
 		rhs: [
 			"lbrace",
@@ -9497,7 +9544,7 @@ var productions = [
 		origin: "repeat"
 	},
 	{
-		id: 73,
+		id: 74,
 		name: "group",
 		rhs: [
 			"lpar",
@@ -9508,7 +9555,7 @@ var productions = [
 		origin: "group"
 	},
 	{
-		id: 74,
+		id: 75,
 		name: "primary",
 		rhs: [
 			"string_literal"
@@ -9517,7 +9564,7 @@ var productions = [
 		origin: "primary"
 	},
 	{
-		id: 75,
+		id: 76,
 		name: "primary",
 		rhs: [
 			"identifier"
@@ -9526,7 +9573,7 @@ var productions = [
 		origin: "primary"
 	},
 	{
-		id: 76,
+		id: 77,
 		name: "$accept",
 		rhs: [
 			"grammar_file"
@@ -10985,67 +11032,67 @@ var actions = [
 		state: 110,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 110,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 66
+		productionId: 67
 	},
 	{
 		state: 111,
@@ -11081,13 +11128,13 @@ var actions = [
 		state: 113,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
@@ -11117,25 +11164,25 @@ var actions = [
 		state: 113,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 113,
@@ -11147,67 +11194,67 @@ var actions = [
 		state: 114,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 114,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 68
+		productionId: 69
 	},
 	{
 		state: 115,
@@ -11219,67 +11266,67 @@ var actions = [
 		state: 116,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 116,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 75
+		productionId: 76
 	},
 	{
 		state: 117,
@@ -11429,235 +11476,235 @@ var actions = [
 		state: 121,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 121,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 69
+		productionId: 70
 	},
 	{
 		state: 122,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 122,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 67
+		productionId: 68
 	},
 	{
 		state: 123,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 123,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 61
+		productionId: 63
 	},
 	{
 		state: 124,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 124,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 74
+		productionId: 75
 	},
 	{
 		state: 125,
@@ -11669,67 +11716,67 @@ var actions = [
 		state: 126,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 126,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 73
+		productionId: 74
 	},
 	{
 		state: 127,
@@ -11741,13 +11788,13 @@ var actions = [
 		state: 128,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
@@ -11759,55 +11806,55 @@ var actions = [
 		state: 128,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 128,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 70
+		productionId: 71
 	},
 	{
 		state: 129,
@@ -11819,67 +11866,67 @@ var actions = [
 		state: 130,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 130,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 71
+		productionId: 72
 	},
 	{
 		state: 131,
@@ -11891,67 +11938,79 @@ var actions = [
 		state: 132,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "identifier",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "lbrace",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "lbracket",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "lpar",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
 	},
 	{
 		state: 132,
 		symbol: "string_literal",
 		kind: "reduce",
-		productionId: 72
+		productionId: 73
+	},
+	{
+		state: 133,
+		symbol: "$eof",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "bar",
+		kind: "reduce",
+		productionId: 61
 	},
 	{
 		state: 133,
@@ -11977,6 +12036,30 @@ var actions = [
 		kind: "shift",
 		target: 120
 	},
+	{
+		state: 133,
+		symbol: "rbrace",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "rbracket",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "rpar",
+		kind: "reduce",
+		productionId: 61
+	},
+	{
+		state: 133,
+		symbol: "semicolon",
+		kind: "reduce",
+		productionId: 61
+	},
 	{
 		state: 133,
 		symbol: "string_literal",
@@ -12023,13 +12106,13 @@ var actions = [
 		state: 135,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
@@ -12059,25 +12142,25 @@ var actions = [
 		state: 135,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 64
+		productionId: 65
 	},
 	{
 		state: 135,
@@ -12089,73 +12172,73 @@ var actions = [
 		state: 136,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 136,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 65
+		productionId: 66
 	},
 	{
 		state: 137,
 		symbol: "$eof",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "bar",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "rbrace",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "rbracket",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "rpar",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 137,
 		symbol: "semicolon",
 		kind: "reduce",
-		productionId: 63
+		productionId: 64
 	},
 	{
 		state: 138,
@@ -13262,6 +13345,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4736,
+			length: 50
 		}
 	},
 	{
@@ -13280,6 +13367,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4792,
+			length: 56
 		}
 	},
 	{
@@ -13298,6 +13389,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4854,
+			length: 55
 		}
 	},
 	{
@@ -13316,6 +13411,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4915,
+			length: 59
 		}
 	},
 	{
@@ -13334,6 +13433,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 4980,
+			length: 47
 		}
 	},
 	{
@@ -13352,6 +13455,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5033,
+			length: 59
 		}
 	},
 	{
@@ -13370,6 +13477,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5098,
+			length: 66
 		}
 	},
 	{
@@ -13388,6 +13499,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5170,
+			length: 56
 		}
 	},
 	{
@@ -13406,6 +13521,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5232,
+			length: 52
 		}
 	},
 	{
@@ -13424,6 +13543,10 @@ var ast = [
 					}
 				}
 			]
+		},
+		location: {
+			offset: 5290,
+			length: 44
 		}
 	}
 ];
@@ -13439,9 +13562,17 @@ var transform = [
 					variant: "sections",
 					head: "section",
 					tail: "grammar_file$repeat_0"
+				},
+				location: {
+					offset: 5383,
+					length: 69
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5350,
+			length: 104
+		}
 	},
 	{
 		production: "token_section",
@@ -13454,9 +13585,17 @@ var transform = [
 					variant: "definitions",
 					head: "token_def",
 					tail: "token_section$repeat_1"
+				},
+				location: {
+					offset: 5485,
+					length: 76
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5460,
+			length: 103
+		}
 	},
 	{
 		production: "skip_section",
@@ -13469,9 +13608,17 @@ var transform = [
 					variant: "definitions",
 					head: "token_def",
 					tail: "skip_section$repeat_2"
+				},
+				location: {
+					offset: 5593,
+					length: 74
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5569,
+			length: 100
+		}
 	},
 	{
 		production: "grammar_section",
@@ -13484,9 +13631,17 @@ var transform = [
 					variant: "productions",
 					head: "production",
 					tail: "grammar_section$repeat_4"
+				},
+				location: {
+					offset: 5702,
+					length: 81
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5675,
+			length: 110
+		}
 	},
 	{
 		production: "ast_section",
@@ -13499,9 +13654,17 @@ var transform = [
 					variant: "types",
 					head: "ast_type",
 					tail: "ast_section$repeat_5"
+				},
+				location: {
+					offset: 5814,
+					length: 65
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5791,
+			length: 90
+		}
 	},
 	{
 		production: "transform_section",
@@ -13514,9 +13677,17 @@ var transform = [
 					variant: "rules",
 					head: "transform_rule",
 					tail: "transform_section$repeat_6"
+				},
+				location: {
+					offset: 5916,
+					length: 83
 				}
 			}
-		]
+		],
+		location: {
+			offset: 5887,
+			length: 114
+		}
 	},
 	{
 		production: "transform_rule",
@@ -13529,9 +13700,17 @@ var transform = [
 					variant: "alternatives",
 					head: "labeled_transform",
 					tail: "transform_rule$repeat_7"
+				},
+				location: {
+					offset: 6033,
+					length: 87
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6007,
+			length: 115
+		}
 	},
 	{
 		production: "reference_list",
@@ -13544,9 +13723,17 @@ var transform = [
 					variant: "references",
 					head: "reference",
 					tail: "reference_list$repeat_8"
+				},
+				location: {
+					offset: 6154,
+					length: 77
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6128,
+			length: 105
+		}
 	},
 	{
 		production: "choice",
@@ -13559,9 +13746,17 @@ var transform = [
 					variant: "alternatives",
 					head: "alternative",
 					tail: "choice$repeat_9"
+				},
+				location: {
+					offset: 6257,
+					length: 65
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6239,
+			length: 85
+		}
 	},
 	{
 		production: "sequence",
@@ -13574,9 +13769,17 @@ var transform = [
 					variant: "factors",
 					head: "factor",
 					tail: "sequence$repeat_10"
+				},
+				location: {
+					offset: 6350,
+					length: 60
 				}
 			}
-		]
+		],
+		location: {
+			offset: 6330,
+			length: 82
+		}
 	}
 ];
 var grammarTableJson = {
@@ -13658,7 +13861,7 @@ function validateGrammarTable(grammar) {
         for (const rule of grammar.transformSchema.rules) {
             validateTransformProductionExists(rule, bnfProductionNames, issues);
             for (const alternative of rule.alternatives) {
-                validateTransformExpression(grammar, alternative, issues);
+                validateTransformExpression(grammar, rule, alternative, issues);
                 collectPassCollapseWarnings(grammar, rule, alternative, bnf.productions, issues);
             }
         }
@@ -13762,12 +13965,13 @@ function syntheticRepeatPrefix(name) {
  * @param alternative - Transform alternative owning the expression.
  * @param issues - Issue list to append to.
  */
-function validateTransformExpression(grammar, alternative, issues) {
+function validateTransformExpression(grammar, rule, alternative, issues) {
     const expression = alternative.expression;
     const location = alternative.location ?? null;
     switch (expression.kind) {
         case 'build':
             validateAstTarget(grammar, expression.typeName, expression.variant, location, issues);
+            validateBuildArity(grammar, rule, alternative, expression, location, issues);
             break;
         case 'foldLeft':
         case 'foldRight':
@@ -13776,6 +13980,130 @@ function validateTransformExpression(grammar, alternative, issues) {
             break;
     }
 }
+/**
+ * Records an error when a build argument list conflicts with a zero-factor shape.
+ *
+ * @remarks
+ * Build argument counts are not required to match grammar or AST slot counts in
+ * general: keywords may be dropped, punctuation may be kept, and child
+ * productions may build a shared parent AST variant. The only coherent checks
+ * are zero-factor cases and empty builds targeting a non-empty AST variant.
+ *
+ * @param grammar - Parsed grammar model.
+ * @param rule - Transform rule owning the build expression.
+ * @param alternative - Transform alternative owning the build expression.
+ * @param expression - Build transform expression.
+ * @param location - Source span of the transform alternative.
+ * @param issues - Issue list to append to.
+ */
+function validateBuildArity(grammar, rule, alternative, expression, location, issues) {
+    const argumentCount = expression.arguments.length;
+    const production = grammar.production(rule.production);
+    // Reject build arguments on a labeled zero-factor grammar alternative.
+    if (production !== null) {
+        const alternativeExpression = findGrammarAlternativeExpression(production.expression, alternative.label);
+        if (alternativeExpression !== null
+            && isZeroFactorExpression(alternativeExpression)
+            && argumentCount > 0) {
+            issues.push({
+                severity: 'error',
+                message: `transform ${expression.typeName}.${expression.variant} has `
+                    + `${String(argumentCount)} argument(s) but ast variant declares 0`,
+                location,
+            });
+            return;
+        }
+    }
+    if (grammar.astSchema === null) {
+        return;
+    }
+    const astType = grammar.astSchema.type(expression.typeName);
+    if (astType === null) {
+        return;
+    }
+    const variantExpression = findAstVariantExpression(astType.expression, expression.variant);
+    if (variantExpression === null) {
+        return;
+    }
+    // Reject build arguments on a zero-factor AST variant.
+    if (isZeroFactorExpression(variantExpression)) {
+        if (argumentCount > 0) {
+            issues.push({
+                severity: 'error',
+                message: `transform ${expression.typeName}.${expression.variant} has `
+                    + `${String(argumentCount)} argument(s) but ast variant declares 0`,
+                location,
+            });
+        }
+        return;
+    }
+    // Reject empty builds that target a non-empty AST variant.
+    if (argumentCount === 0) {
+        issues.push({
+            severity: 'error',
+            message: `transform ${expression.typeName}.${expression.variant} has `
+                + `0 argument(s) but ast variant requires 1`,
+            location,
+        });
+    }
+}
+/**
+ * Returns whether an expression is a labeled zero-factor alternative.
+ *
+ * @param expression - Grammar or AST alternative expression.
+ */
+function isZeroFactorExpression(expression) {
+    return expression.kind === 'sequence' && expression.elements.length === 0;
+}
+/**
+ * Returns the expression for one labeled grammar alternative.
+ *
+ * @param expression - Production right-hand side expression.
+ * @param label - Transform alternative label.
+ */
+function findGrammarAlternativeExpression(expression, label) {
+    if (expression.kind === 'choice') {
+        for (const alternative of expression.alternatives) {
+            if (alternative.label === label) {
+                return alternative.expression;
+            }
+        }
+        if (label === 'main' && expression.alternatives.length === 1) {
+            return expression.alternatives[0]?.expression ?? null;
+        }
+        return null;
+    }
+    if (label === 'main') {
+        return expression;
+    }
+    return null;
+}
+/**
+ * Returns the expression for one labeled AST alternative.
+ *
+ * @param expression - AST type right-hand side.
+ * @param variant - Variant label to find.
+ */
+function findAstVariantExpression(expression, variant) {
+    if (expression.kind === 'choice') {
+        for (const alternative of expression.alternatives) {
+            if (alternative.label === variant) {
+                return alternative.expression;
+            }
+        }
+        return null;
+    }
+    if (expression.kind === 'sequence' || expression.kind === 'group') {
+        const inner = expression.kind === 'sequence'
+            ? expression.elements[0]
+            : expression.element;
+        if (inner === undefined) {
+            return null;
+        }
+        return findAstVariantExpression(inner, variant);
+    }
+    return null;
+}
 /**
  * Records an error when a transform references an undefined AST type or variant.
  *