stringent 0.0.1 → 0.0.4

package/dist/performance.bench.js

@@ -0,0 +1,379 @@
+/**
+ * Performance Benchmarks for Stringent Parser
+ *
+ * This file contains benchmarks to measure and document the performance
+ * characteristics of the runtime parser.
+ *
+ * Run with: pnpm bench
+ */
+import { bench, describe } from 'vitest';
+import { createParser, defineNode, constVal, lhs, rhs, expr } from './index.js';
+// =============================================================================
+// Test Grammar Setup
+// =============================================================================
+// Basic arithmetic grammar
+const add = defineNode({
+    name: 'add',
+    pattern: [lhs('number').as('left'), constVal('+'), rhs('number').as('right')],
+    precedence: 1,
+    resultType: 'number',
+});
+const mul = defineNode({
+    name: 'mul',
+    pattern: [lhs('number').as('left'), constVal('*'), rhs('number').as('right')],
+    precedence: 2,
+    resultType: 'number',
+});
+const pow = defineNode({
+    name: 'pow',
+    pattern: [lhs('number').as('left'), constVal('**'), rhs('number').as('right')],
+    precedence: 3,
+    resultType: 'number',
+});
+const sub = defineNode({
+    name: 'sub',
+    pattern: [lhs('number').as('left'), constVal('-'), rhs('number').as('right')],
+    precedence: 1,
+    resultType: 'number',
+});
+const div = defineNode({
+    name: 'div',
+    pattern: [lhs('number').as('left'), constVal('/'), rhs('number').as('right')],
+    precedence: 2,
+    resultType: 'number',
+});
+// Comparison operators
+const eq = defineNode({
+    name: 'eq',
+    pattern: [lhs().as('left'), constVal('=='), rhs().as('right')],
+    precedence: 0,
+    resultType: 'boolean',
+});
+// String operations
+const concat = defineNode({
+    name: 'concat',
+    pattern: [lhs('string').as('left'), constVal('++'), rhs('string').as('right')],
+    precedence: 1,
+    resultType: 'string',
+});
+// Ternary
+const ternary = defineNode({
+    name: 'ternary',
+    pattern: [
+        lhs('boolean').as('condition'),
+        constVal('?'),
+        expr().as('then'),
+        constVal(':'),
+        rhs().as('else'),
+    ],
+    precedence: 0,
+    resultType: 'unknown',
+});
+// Create parsers
+const arithmeticParser = createParser([add, sub, mul, div, pow]);
+const fullParser = createParser([add, sub, mul, div, pow, eq, concat, ternary]);
+// =============================================================================
+// Test Data Generation
+// =============================================================================
+/** Generate a simple number literal */
+function simpleNumber() {
+    return String(Math.floor(Math.random() * 1000));
+}
+/** Generate a chained addition expression */
+function chainedAddition(count) {
+    return Array.from({ length: count }, () => simpleNumber()).join(' + ');
+}
+/** Generate a chained multiplication expression */
+function chainedMultiplication(count) {
+    return Array.from({ length: count }, () => simpleNumber()).join(' * ');
+}
+/** Generate a mixed precedence expression */
+function mixedPrecedence(count) {
+    const ops = ['+', '-', '*', '/', '**'];
+    let expr = simpleNumber();
+    for (let i = 0; i < count - 1; i++) {
+        const op = ops[i % ops.length];
+        expr += ` ${op} ${simpleNumber()}`;
+    }
+    return expr;
+}
+/** Generate nested parentheses */
+function nestedParens(depth) {
+    let expr = simpleNumber();
+    for (let i = 0; i < depth; i++) {
+        expr = `(${expr})`;
+    }
+    return expr;
+}
+/** Generate expression with nested parentheses and operations */
+function nestedParensWithOps(depth) {
+    let expr = simpleNumber();
+    for (let i = 0; i < depth; i++) {
+        expr = `(${expr} + ${simpleNumber()})`;
+    }
+    return expr;
+}
+// =============================================================================
+// Benchmarks: Simple Literals
+// =============================================================================
+describe('Simple Literals', () => {
+    bench('number literal', () => {
+        arithmeticParser.parse('42', {});
+    });
+    bench('decimal number', () => {
+        arithmeticParser.parse('3.14159', {});
+    });
+    bench('large number', () => {
+        arithmeticParser.parse('9007199254740991', {});
+    });
+    bench('string literal (double quotes)', () => {
+        fullParser.parse('"hello world"', {});
+    });
+    bench('string literal (single quotes)', () => {
+        fullParser.parse("'hello world'", {});
+    });
+    bench('identifier', () => {
+        arithmeticParser.parse('variableName', { variableName: 'number' });
+    });
+});
+// =============================================================================
+// Benchmarks: Binary Operations
+// =============================================================================
+describe('Binary Operations', () => {
+    bench('simple addition: 1 + 2', () => {
+        arithmeticParser.parse('1 + 2', {});
+    });
+    bench('simple multiplication: 3 * 4', () => {
+        arithmeticParser.parse('3 * 4', {});
+    });
+    bench('simple exponentiation: 2 ** 8', () => {
+        arithmeticParser.parse('2 ** 8', {});
+    });
+    bench('mixed precedence: 1 + 2 * 3', () => {
+        arithmeticParser.parse('1 + 2 * 3', {});
+    });
+    bench('mixed precedence: 2 * 3 + 4 * 5', () => {
+        arithmeticParser.parse('2 * 3 + 4 * 5', {});
+    });
+    bench('three precedence levels: 1 + 2 * 3 ** 4', () => {
+        arithmeticParser.parse('1 + 2 * 3 ** 4', {});
+    });
+});
+// =============================================================================
+// Benchmarks: Chained Operations
+// =============================================================================
+describe('Chained Operations', () => {
+    const chain5 = chainedAddition(5);
+    const chain10 = chainedAddition(10);
+    const chain20 = chainedAddition(20);
+    const chain50 = chainedAddition(50);
+    bench('5-element addition chain', () => {
+        arithmeticParser.parse(chain5, {});
+    });
+    bench('10-element addition chain', () => {
+        arithmeticParser.parse(chain10, {});
+    });
+    bench('20-element addition chain', () => {
+        arithmeticParser.parse(chain20, {});
+    });
+    bench('50-element addition chain', () => {
+        arithmeticParser.parse(chain50, {});
+    });
+    const mulChain10 = chainedMultiplication(10);
+    const mulChain20 = chainedMultiplication(20);
+    bench('10-element multiplication chain', () => {
+        arithmeticParser.parse(mulChain10, {});
+    });
+    bench('20-element multiplication chain', () => {
+        arithmeticParser.parse(mulChain20, {});
+    });
+    const mixed10 = mixedPrecedence(10);
+    const mixed20 = mixedPrecedence(20);
+    bench('10-element mixed precedence', () => {
+        arithmeticParser.parse(mixed10, {});
+    });
+    bench('20-element mixed precedence', () => {
+        arithmeticParser.parse(mixed20, {});
+    });
+});
+// =============================================================================
+// Benchmarks: Nested Parentheses
+// =============================================================================
+describe('Nested Parentheses', () => {
+    const parens5 = nestedParens(5);
+    const parens10 = nestedParens(10);
+    const parens20 = nestedParens(20);
+    bench('5 levels of nesting', () => {
+        arithmeticParser.parse(parens5, {});
+    });
+    bench('10 levels of nesting', () => {
+        arithmeticParser.parse(parens10, {});
+    });
+    bench('20 levels of nesting', () => {
+        arithmeticParser.parse(parens20, {});
+    });
+    const parensOps5 = nestedParensWithOps(5);
+    const parensOps10 = nestedParensWithOps(10);
+    const parensOps20 = nestedParensWithOps(20);
+    bench('5 levels with operations', () => {
+        arithmeticParser.parse(parensOps5, {});
+    });
+    bench('10 levels with operations', () => {
+        arithmeticParser.parse(parensOps10, {});
+    });
+    bench('20 levels with operations', () => {
+        arithmeticParser.parse(parensOps20, {});
+    });
+});
+// =============================================================================
+// Benchmarks: Complex Expressions
+// =============================================================================
+describe('Complex Expressions', () => {
+    bench('precedence override: (1 + 2) * 3', () => {
+        arithmeticParser.parse('(1 + 2) * 3', {});
+    });
+    bench('nested groups: ((1 + 2) * 3) + 4', () => {
+        arithmeticParser.parse('((1 + 2) * 3) + 4', {});
+    });
+    bench('complex: (1 + 2) * (3 + 4)', () => {
+        arithmeticParser.parse('(1 + 2) * (3 + 4)', {});
+    });
+    bench('very complex: ((1 + 2) * 3 + 4) ** 2 / (5 - 6)', () => {
+        arithmeticParser.parse('((1 + 2) * 3 + 4) ** 2 / (5 - 6)', {});
+    });
+});
+// =============================================================================
+// Benchmarks: Parser Creation
+// =============================================================================
+describe('Parser Creation', () => {
+    bench('create simple parser (1 node)', () => {
+        createParser([add]);
+    });
+    bench('create medium parser (5 nodes)', () => {
+        createParser([add, sub, mul, div, pow]);
+    });
+    bench('create full parser (8 nodes)', () => {
+        createParser([add, sub, mul, div, pow, eq, concat, ternary]);
+    });
+});
+// =============================================================================
+// Benchmarks: Grammar Complexity
+// =============================================================================
+describe('Grammar Complexity', () => {
+    // Create parsers with varying numbers of operators at the same precedence
+    const samePrec2 = createParser([
+        defineNode({
+            name: 'op1',
+            pattern: [lhs('number').as('l'), constVal('|1|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+        defineNode({
+            name: 'op2',
+            pattern: [lhs('number').as('l'), constVal('|2|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+    ]);
+    const samePrec5 = createParser([
+        defineNode({
+            name: 'op1',
+            pattern: [lhs('number').as('l'), constVal('|1|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+        defineNode({
+            name: 'op2',
+            pattern: [lhs('number').as('l'), constVal('|2|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+        defineNode({
+            name: 'op3',
+            pattern: [lhs('number').as('l'), constVal('|3|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+        defineNode({
+            name: 'op4',
+            pattern: [lhs('number').as('l'), constVal('|4|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+        defineNode({
+            name: 'op5',
+            pattern: [lhs('number').as('l'), constVal('|5|'), rhs('number').as('r')],
+            precedence: 1,
+            resultType: 'number',
+        }),
+    ]);
+    bench('2 ops at same precedence - first op', () => {
+        samePrec2.parse('1 |1| 2', {});
+    });
+    bench('2 ops at same precedence - second op', () => {
+        samePrec2.parse('1 |2| 2', {});
+    });
+    bench('5 ops at same precedence - first op', () => {
+        samePrec5.parse('1 |1| 2', {});
+    });
+    bench('5 ops at same precedence - fifth op', () => {
+        samePrec5.parse('1 |5| 2', {});
+    });
+    bench('5 ops at same precedence - number literal only', () => {
+        samePrec5.parse('42', {});
+    });
+});
+// =============================================================================
+// Benchmarks: String Parsing
+// =============================================================================
+describe('String Parsing', () => {
+    const stringParser = createParser([concat]);
+    const shortStr = '"hello"';
+    const mediumStr = '"' + 'a'.repeat(100) + '"';
+    const longStr = '"' + 'a'.repeat(1000) + '"';
+    bench('short string (5 chars)', () => {
+        stringParser.parse(shortStr, {});
+    });
+    bench('medium string (100 chars)', () => {
+        stringParser.parse(mediumStr, {});
+    });
+    bench('long string (1000 chars)', () => {
+        stringParser.parse(longStr, {});
+    });
+    const escapedStr = '"hello\\nworld\\t\\u0041"';
+    bench('string with escapes', () => {
+        stringParser.parse(escapedStr, {});
+    });
+    bench('string concatenation', () => {
+        stringParser.parse('"hello" ++ "world"', {});
+    });
+});
+// =============================================================================
+// Benchmarks: Context Resolution
+// =============================================================================
+describe('Context Resolution', () => {
+    const smallContext = { x: 'number' };
+    const mediumContext = {
+        a: 'number',
+        b: 'number',
+        c: 'number',
+        d: 'number',
+        e: 'number',
+        x: 'number',
+    };
+    const largeContext = Object.fromEntries(Array.from({ length: 100 }, (_, i) => [`var${i}`, 'number']));
+    largeContext['x'] = 'number';
+    bench('small context - identifier lookup', () => {
+        arithmeticParser.parse('x', smallContext);
+    });
+    bench('medium context - identifier lookup', () => {
+        arithmeticParser.parse('x', mediumContext);
+    });
+    bench('large context - identifier lookup', () => {
+        arithmeticParser.parse('x', largeContext);
+    });
+    bench('context - expression with identifiers', () => {
+        arithmeticParser.parse('x + x * x', smallContext);
+    });
+});
+//# sourceMappingURL=performance.bench.js.map

package/dist/performance.bench.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"performance.bench.js","sourceRoot":"","sources":["../src/performance.bench.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEhF,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF,2BAA2B;AAC3B,MAAM,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7E,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7E,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9E,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7E,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7E,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC;AAEH,uBAAuB;AACvB,MAAM,EAAE,GAAG,UAAU,CAAC;IACpB,IAAI,EAAE,IAAI;IACV,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9D,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,SAAS;CACtB,CAAC,CAAC;AAEH,oBAAoB;AACpB,MAAM,MAAM,GAAG,UAAU,CAAC;IACxB,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9E,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC;AAEH,UAAU;AACV,MAAM,OAAO,GAAG,UAAU,CAAC;IACzB,IAAI,EAAE,SAAS;IACf,OAAO,EAAE;QACP,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC;QAC9B,QAAQ,CAAC,GAAG,CAAC;QACb,IAAI,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC;QACjB,QAAQ,CAAC,GAAG,CAAC;QACb,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC;KACjB;IACD,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,SAAS;CACtB,CAAC,CAAC;AAEH,iBAAiB;AACjB,MAAM,gBAAgB,GAAG,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACjE,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhF,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF,uCAAuC;AACvC,SAAS,YAAY;IACnB,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,6CAA6C;AAC7C,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,mDAAmD;AACnD,SAAS,qBAAqB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,6CAA6C;AAC7C,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,GAAG,YAAY,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,IAAI,IAAI,EAAE,IAAI,YAAY,EAAE,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kCAAkC;AAClC,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,IAAI,GAAG,YAAY,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iEAAiE;AACjE,SAAS,mBAAmB,CAAC,KAAa;IACxC,IAAI,IAAI,GAAG,YAAY,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,IAAI,GAAG,IAAI,IAAI,MAAM,YAAY,EAAE,GAAG,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAChF,8BAA8B;AAC9B,gFAAgF;AAEhF,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,KAAK,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC3B,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC3B,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE;QACzB,gBAAgB,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC3C,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC3C,UAAU,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,YAAY,EAAE,GAAG,EAAE;QACvB,gBAAgB,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,gCAAgC;AAChC,gFAAgF;AAEhF,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,KAAK,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACnC,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACzC,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC1C,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACxC,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC5C,gBAAgB,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACpD,gBAAgB,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,iCAAiC;AACjC,gFAAgF;AAEhF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IAEpC,KAAK,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACrC,gBAAgB,CAAC,KAAK,CAAC,MAAa,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACtC,gBAAgB,CAAC,KAAK,CAAC,OAAc,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACtC,gBAAgB,CAAC,KAAK,CAAC,OAAc,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACtC,gBAAgB,CAAC,KAAK,CAAC,OAAc,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAE7C,KAAK,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC5C,gBAAgB,CAAC,KAAK,CAAC,UAAiB,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC5C,gBAAgB,CAAC,KAAK,CAAC,UAAiB,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IAEpC,KAAK,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACxC,gBAAgB,CAAC,KAAK,CAAC,OAAc,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACxC,gBAAgB,CAAC,KAAK,CAAC,OAAc,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,iCAAiC;AACjC,gFAAgF;AAEhF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAElC,KAAK,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAChC,gBAAgB,CAAC,KAAK,CAAC,OAAc,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACjC,gBAAgB,CAAC,KAAK,CAAC,QAAe,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACjC,gBAAgB,CAAC,KAAK,CAAC,QAAe,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAE5C,KAAK,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACrC,gBAAgB,CAAC,KAAK,CAAC,UAAiB,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACtC,gBAAgB,CAAC,KAAK,CAAC,WAAkB,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACtC,gBAAgB,CAAC,KAAK,CAAC,WAAkB,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,kCAAkC;AAClC,gFAAgF;AAEhF,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,KAAK,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC7C,gBAAgB,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC7C,gBAAgB,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACvC,gBAAgB,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC3D,gBAAgB,CAAC,KAAK,CAAC,kCAAkC,EAAE,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,8BAA8B;AAC9B,gFAAgF;AAEhF,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,KAAK,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC1C,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC3C,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACzC,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,iCAAiC;AACjC,gFAAgF;AAEhF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,0EAA0E;IAC1E,MAAM,SAAS,GAAG,YAAY,CAAC;QAC7B,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;QACF,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;KACH,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,YAAY,CAAC;QAC7B,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;QACF,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;QACF,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;QACF,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;QACF,UAAU,CAAC;YACT,IAAI,EAAE,KAAK;YACX,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YACxE,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,QAAQ;SACrB,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAChD,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,sCAAsC,EAAE,GAAG,EAAE;QACjD,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAChD,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAChD,SAAS,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC3D,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAE5C,MAAM,QAAQ,GAAG,SAAS,CAAC;IAC3B,MAAM,SAAS,GAAG,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC9C,MAAM,OAAO,GAAG,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;IAE7C,KAAK,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACnC,YAAY,CAAC,KAAK,CAAC,QAAqB,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACtC,YAAY,CAAC,KAAK,CAAC,SAAsB,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACrC,YAAY,CAAC,KAAK,CAAC,OAAoB,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,2BAA2B,CAAC;IAC/C,KAAK,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAChC,YAAY,CAAC,KAAK,CAAC,UAAuB,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACjC,YAAY,CAAC,KAAK,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,iCAAiC;AACjC,gFAAgF;AAEhF,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,YAAY,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAW,CAAC;IAC9C,MAAM,aAAa,GAAG;QACpB,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,QAAQ;KACH,CAAC;IACX,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,CACrC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACnC,CAAC;IAC5B,YAAY,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;IAE7B,KAAK,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC9C,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC/C,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC9C,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAClD,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/primitive/index.d.ts

@@ -0,0 +1,96 @@
+/**
+ * Primitive Factory System
+ *
+ * Creates context-aware parser primitives using Parsebox Token API.
+ * Parse methods are generic - return types computed from input literals.
+ *
+ * IMPORTANT: All parse methods MUST be generic in context:
+ *   parse<TInput extends string, $ extends Context>(input: TInput, $: $)
+ *
+ * DO NOT remove the $ generic parameter - it ensures schema type information
+ * flows through the parser chain. See CLAUDE.md for details.
+ */
+import { Token } from '@sinclair/parsebox';
+import type { Context } from '../context.js';
+import type { ToNumber } from 'hotscript/dist/internals/numbers/impl/utils.js';
+export type { Context } from '../context.js';
+/** Parse result: empty = no match, [value, rest] = matched */
+export type ParseResult<T, R extends string = string> = [] | [T, R];
+export interface ASTNode<TType extends string = string, TOutputSchema = unknown> {
+    node: TType;
+    outputSchema: TOutputSchema;
+}
+export interface IdentNode<TName extends string = string, TOutputSchema = 'unknown'> extends ASTNode<'identifier', TOutputSchema> {
+    name: TName;
+}
+export type NumberNode<TValue extends string = string> = ASTNode<'literal', 'number'> & {
+    raw: TValue;
+    value: ToNumber<TValue>;
+};
+export type StringNode<TValue extends string = string> = ASTNode<'literal', 'string'> & {
+    raw: TValue;
+    value: TValue;
+};
+export type NullNode = ASTNode<'literal', 'null'> & {
+    raw: 'null';
+    value: null;
+};
+export type UndefinedNode = ASTNode<'literal', 'undefined'> & {
+    raw: 'undefined';
+    value: undefined;
+};
+export type BooleanNode<TValue extends string = string> = ASTNode<'literal', 'boolean'> & {
+    raw: TValue;
+    value: TValue extends 'true' ? true : false;
+};
+export type LiteralNode = NumberNode | StringNode | NullNode | UndefinedNode | BooleanNode;
+export type ConstNode<TValue extends string = string> = ASTNode<'const', TValue>;
+/** Computed parse result for Number */
+export type ParseNumber<TInput extends string> = Token.TNumber<TInput> extends [infer V extends string, infer R extends string] ? [NumberNode<V>, R] : [];
+/** Computed parse result for String */
+export type ParseString<TQuotes extends string[], TInput extends string> = Token.TString<TQuotes, TInput> extends [infer V extends string, infer R extends string] ? [StringNode<V>, R] : [];
+/** Computed parse result for Ident - looks up value type from schema */
+export type ParseIdent<TInput extends string, $ extends Context> = Token.TIdent<TInput> extends [infer V extends string, infer R extends string] ? V extends keyof $['data'] ? [IdentNode<V, $['data'][V]>, R] : [IdentNode<V>, R] : [];
+/** Computed parse result for Const */
+export type ParseConst<TValue extends string, TInput extends string> = Token.TConst<TValue, TInput> extends [infer _V extends string, infer R extends string] ? [ConstNode<TValue>, R] : [];
+/**
+ * Base parser interface. All parsers implement this.
+ * Context is generic to preserve type information.
+ */
+export interface IParser {
+    parse<TInput extends string, $ extends Context>(input: TInput, $: $): [] | [unknown, string];
+}
+/** Number primitive - parses numeric literals using Token.Number */
+declare class _Number {
+    readonly __primitive: "number";
+    parse<TInput extends string, $ extends Context>(input: TInput, _$: $): ParseNumber<TInput>;
+}
+/** String primitive - parses quoted string literals using Token.String */
+declare class _String<TQuotes extends string[]> {
+    readonly __primitive: "string";
+    readonly quotes: TQuotes;
+    constructor(quotes: TQuotes);
+    parse<TInput extends string, $ extends Context>(input: TInput, _$: $): ParseString<TQuotes, TInput>;
+}
+/** Identifier primitive - parses identifiers using Token.Ident */
+declare class _Ident {
+    readonly __primitive: "ident";
+    parse<TInput extends string, $ extends Context>(input: TInput, $: $): ParseIdent<TInput, $>;
+}
+/** Const primitive - parses exact string matches using Token.Const */
+declare class _Const<TValue extends string> {
+    readonly __primitive: "const";
+    readonly value: TValue;
+    constructor(value: TValue);
+    parse<TInput extends string, $ extends Context>(input: TInput, _$: $): ParseConst<TValue, TInput>;
+}
+/** @internal */
+export declare const createNumber: () => _Number;
+/** @internal */
+export declare const createString: <TQuotes extends string[]>(quotes: [...TQuotes]) => _String<TQuotes>;
+/** @internal */
+export declare const createIdent: () => _Ident;
+/** @internal */
+export declare const createConst: <TValue extends string>(value: TValue) => _Const<TValue>;
+export type { _Number, _String, _Ident, _Const };
+//# sourceMappingURL=index.d.ts.map

package/dist/primitive/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/primitive/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gDAAgD,CAAC;AAG/E,YAAY,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAM7C,8DAA8D;AAC9D,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAMpE,MAAM,WAAW,OAAO,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,aAAa,GAAG,OAAO;IAC7E,IAAI,EAAE,KAAK,CAAC;IACZ,YAAY,EAAE,aAAa,CAAC;CAC7B;AAWD,MAAM,WAAW,SAAS,CACxB,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,aAAa,GAAG,SAAS,CACzB,SAAQ,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC;IAC5C,IAAI,EAAE,KAAK,CAAC;CACb;AAED,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG;IACtF,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG;IACtF,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG;IAClD,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,IAAI,CAAC;CACb,CAAC;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG;IAC5D,GAAG,EAAE,WAAW,CAAC;IACjB,KAAK,EAAE,SAAS,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG;IACxF,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,aAAa,GAAG,WAAW,CAAC;AAE3F,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAMjF,uCAAuC;AACvC,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,MAAM,IAC3C,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC1E,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,EAAE,CAAC;AAET,uCAAuC;AACvC,MAAM,MAAM,WAAW,CAAC,OAAO,SAAS,MAAM,EAAE,EAAE,MAAM,SAAS,MAAM,IACrE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACnF,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,EAAE,CAAC;AAET,wEAAwE;AACxE,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,IAC7D,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACzE,CAAC,SAAS,MAAM,CAAC,CAAC,MAAM,CAAC,GACvB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACnB,EAAE,CAAC;AAET,sCAAsC;AACtC,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IACjE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAClF,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GACtB,EAAE,CAAC;AAMT;;;GAGG;AACH,MAAM,WAAW,OAAO;IACtB,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;CAC9F;AAMD,oEAAoE;AACpE,cAAM,OAAO;IACX,QAAQ,CAAC,WAAW,EAAG,QAAQ,CAAU;IAEzC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC;CAc3F;AAED,0EAA0E;AAC1E,cAAM,OAAO,CAAC,OAAO,SAAS,MAAM,EAAE;IACpC,QAAQ,CAAC,WAAW,EAAG,QAAQ,CAAU;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;gBAEb,MAAM,EAAE,OAAO;IAI3B,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAC5C,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,CAAC,GACJ,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC;CAahC;AAED,kEAAkE;AAClE,cAAM,MAAM;IACV,QAAQ,CAAC,WAAW,EAAG,OAAO,CAAU;IAExC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;CAW5F;AAED,sEAAsE;AACtE,cAAM,MAAM,CAAC,MAAM,SAAS,MAAM;IAChC,QAAQ,CAAC,WAAW,EAAG,OAAO,CAAU;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;gBAEX,KAAK,EAAE,MAAM;IAIzB,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,EAC5C,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,CAAC,GACJ,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;CAQ9B;AAMD,gBAAgB;AAChB,eAAO,MAAM,YAAY,QAAO,OAAwB,CAAC;AAEzD,gBAAgB;AAChB,eAAO,MAAM,YAAY,GAAI,OAAO,SAAS,MAAM,EAAE,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,KAAG,OAAO,CAAC,OAAO,CACxE,CAAC;AAEtB,gBAAgB;AAChB,eAAO,MAAM,WAAW,QAAO,MAAsB,CAAC;AAEtD,gBAAgB;AAChB,eAAO,MAAM,WAAW,GAAI,MAAM,SAAS,MAAM,EAAE,OAAO,MAAM,KAAG,MAAM,CAAC,MAAM,CAC7D,CAAC;AAGpB,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC"}

package/dist/primitive/index.js

@@ -0,0 +1,102 @@
+/**
+ * Primitive Factory System
+ *
+ * Creates context-aware parser primitives using Parsebox Token API.
+ * Parse methods are generic - return types computed from input literals.
+ *
+ * IMPORTANT: All parse methods MUST be generic in context:
+ *   parse<TInput extends string, $ extends Context>(input: TInput, $: $)
+ *
+ * DO NOT remove the $ generic parameter - it ensures schema type information
+ * flows through the parser chain. See CLAUDE.md for details.
+ */
+import { Token } from '@sinclair/parsebox';
+// =============================================================================
+// Primitive Implementations
+// =============================================================================
+/** Number primitive - parses numeric literals using Token.Number */
+class _Number {
+    __primitive = 'number';
+    parse(input, _$) {
+        // Runtime type is [] | [string, string], but TypeScript computes exact type
+        const result = Token.Number(input);
+        if (result.length !== 2)
+            return [];
+        return [
+            {
+                node: 'literal',
+                raw: result[0],
+                value: +result[0],
+                outputSchema: 'number',
+            },
+            result[1],
+        ];
+    }
+}
+/** String primitive - parses quoted string literals using Token.String */
+class _String {
+    __primitive = 'string';
+    quotes;
+    constructor(quotes) {
+        this.quotes = quotes;
+    }
+    parse(input, _$) {
+        const result = Token.String(this.quotes, input);
+        if (result.length !== 2)
+            return [];
+        return [
+            {
+                node: 'literal',
+                raw: result[0],
+                value: result[0],
+                outputSchema: 'string',
+            },
+            result[1],
+        ];
+    }
+}
+/** Identifier primitive - parses identifiers using Token.Ident */
+class _Ident {
+    __primitive = 'ident';
+    parse(input, $) {
+        const result = Token.Ident(input);
+        if (result.length !== 2)
+            return [];
+        const name = result[0];
+        const data = $.data;
+        const valueType = name in data ? data[name] : 'unknown';
+        return [
+            { node: 'identifier', name, outputSchema: valueType },
+            result[1],
+        ];
+    }
+}
+/** Const primitive - parses exact string matches using Token.Const */
+class _Const {
+    __primitive = 'const';
+    value;
+    constructor(value) {
+        this.value = value;
+    }
+    parse(input, _$) {
+        const result = Token.Const(this.value, input);
+        if (result.length !== 2)
+            return [];
+        return [
+            { node: 'const', outputSchema: JSON.stringify(this.value) },
+            result[1],
+        ];
+    }
+}
+// =============================================================================
+// Internal Factories (used by runtime parser)
+// =============================================================================
+/** @internal */
+export const createNumber = () => new _Number();
+/** @internal */
+export const createString = (quotes) => new _String(quotes);
+/** @internal */
+export const createIdent = () => new _Ident();
+/** @internal */
+export const createConst = (value) => new _Const(value);
+//# sourceMappingURL=index.js.map

package/dist/primitive/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/primitive/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AA6G3C,gFAAgF;AAChF,4BAA4B;AAC5B,gFAAgF;AAEhF,oEAAoE;AACpE,MAAM,OAAO;IACF,WAAW,GAAG,QAAiB,CAAC;IAEzC,KAAK,CAA2C,KAAa,EAAE,EAAK;QAClE,4EAA4E;QAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAA0B,CAAC;QAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAyB,CAAC;QAC1D,OAAO;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;gBACd,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;gBACjB,YAAY,EAAE,QAAQ;aACvB;YACD,MAAM,CAAC,CAAC,CAAC;SACwB,CAAC;IACtC,CAAC;CACF;AAED,0EAA0E;AAC1E,MAAM,OAAO;IACF,WAAW,GAAG,QAAiB,CAAC;IAChC,MAAM,CAAU;IAEzB,YAAY,MAAe;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,KAAK,CACH,KAAa,EACb,EAAK;QAEL,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAA0B,CAAC;QACzE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAkC,CAAC;QACnE,OAAO;YACL;gBACE,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;gBACd,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChB,YAAY,EAAE,QAAQ;aACvB;YACD,MAAM,CAAC,CAAC,CAAC;SACiC,CAAC;IAC/C,CAAC;CACF;AAED,kEAAkE;AAClE,MAAM,MAAM;IACD,WAAW,GAAG,OAAgB,CAAC;IAExC,KAAK,CAA2C,KAAa,EAAE,CAAI;QACjE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAA0B,CAAC;QAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAA2B,CAAC;QAC5D,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,IAA8B,CAAC;QAC9C,MAAM,SAAS,GAAG,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,OAAO;YACL,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE;YACrD,MAAM,CAAC,CAAC,CAAC;SAC0B,CAAC;IACxC,CAAC;CACF;AAED,sEAAsE;AACtE,MAAM,MAAM;IACD,WAAW,GAAG,OAAgB,CAAC;IAC/B,KAAK,CAAS;IAEvB,YAAY,KAAa;QACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,KAAK,CACH,KAAa,EACb,EAAK;QAEL,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAA0B,CAAC;QACvE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAgC,CAAC;QACjE,OAAO;YACL,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;YAC3D,MAAM,CAAC,CAAC,CAAC;SAC+B,CAAC;IAC7C,CAAC;CACF;AAED,gFAAgF;AAChF,8CAA8C;AAC9C,gFAAgF;AAEhF,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAG,GAAY,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;AAEzD,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAG,CAA2B,MAAoB,EAAoB,EAAE,CAC/F,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;AAEtB,gBAAgB;AAChB,MAAM,CAAC,MAAM,WAAW,GAAG,GAAW,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;AAEtD,gBAAgB;AAChB,MAAM,CAAC,MAAM,WAAW,GAAG,CAAwB,KAAa,EAAkB,EAAE,CAClF,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC"}