@pattern-algebra/core 0.0.0

package/dist/automaton/pattern-algebra.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-algebra.js","sourceRoot":"","sources":["../../src/automaton/pattern-algebra.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAE3C,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAkB,EAAE,CAAkB;IACrE,4DAA4D;IAC5D,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAA;IAC9C,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACtE,MAAM,WAAW,GAAG,+BAA+B,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAA;IAEjF,OAAO;QACL,MAAM;QACN,GAAG;QACH,WAAW;QACX,SAAS;QACT,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW;QAC3C,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;QACnD,WAAW,EAAE,8BAA8B,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;KAC1E,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAAC,CAAkB,EAAE,CAAkB;IACjE,4DAA4D;IAC5D,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAA;IAC9C,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAC/D,MAAM,WAAW,GAAG,wBAAwB,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAA;IAE1E,OAAO;QACL,MAAM;QACN,GAAG;QACH,WAAW;QACX,SAAS;QACT,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW;QAC3C,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;QACnD,WAAW,EAAE,uBAAuB,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;KACjG,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAkB;IAClD,oEAAoE;IACpE,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAChF,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAA;IAC/B,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAE7D,gDAAgD;IAChD,mDAAmD;IACnD,MAAM,WAAW,GAAsB,EAAE,CAAA;IAEzC,OAAO;QACL,MAAM;QACN,GAAG;QACH,WAAW;QACX,SAAS;QACT,iEAAiE;QACjE,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,CAAC;QACd,WAAW,EAAE,SAAS;KACvB,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAkB,EAAE,CAAkB;IACtE,iBAAiB;IACjB,4DAA4D;IAC5D,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IACpC,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,GAAG,CAAA;IAC/C,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAEpE,+DAA+D;IAC/D,uDAAuD;IACvD,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAA;IAEjC,OAAO;QACL,MAAM;QACN,GAAG;QACH,WAAW;QACX,SAAS;QACT,uDAAuD;QACvD,qCAAqC;QACrC,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAA;AACH,CAAC;AAQD;;GAEG;AACH,SAAS,kBAAkB,CACzB,MAAc,EACd,UAA8B,EAC9B,QAAgC;IAEhC,mEAAmE;IACnE,oEAAoE;IACpE,+CAA+C;IAC/C,MAAM,IAAI,GAAgB;QACxB,IAAI,EAAE,aAAa;QACnB,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACtC,CAAA;IAED,OAAO;QACL,MAAM;QACN,IAAI;QACJ,wDAAwD;QACxD,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9C,UAAU,EAAE,KAAK;KAClB,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,+BAA+B,CAAC,CAAoB,EAAE,CAAoB;IACjF,OAAO;QACL,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,cAAc,CAAC;QAC/E,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,cAAc,CAAC;QAC/E,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,cAAc,CAAC;QACnE,gBAAgB,EAAE,aAAa,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE,cAAc,CAAC;KACxF,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,wBAAwB,CAAC,CAAoB,EAAE,CAAoB;IAC1E,OAAO;QACL,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,OAAO,CAAC;QACxE,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,OAAO,CAAC;QACxE,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC;QAC5D,gBAAgB,EAAE,aAAa,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE,OAAO,CAAC;KACjF,CAAA;AACH,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,CAAqB,EAAE,CAAqB,EAAE,IAA8B;IAC/F,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAEnE,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,oEAAoE;QACpE,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAA;QAC7B,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAA;QAC7B,wEAAwE;QACxE,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;SAAM,CAAC;QACN,qCAAqC;QACrC,IAAI,MAAM,GAAG,EAAE,CAAA;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;iBAAM,CAAC;gBACN,MAAK;YACP,CAAC;QACH,CAAC;QACD,OAAO,MAAM,IAAI,SAAS,CAAA;IAC5B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,CAAqB,EAAE,CAAqB,EAAE,IAA8B;IAC/F,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAEnE,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,oEAAoE;QACpE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAA;QAC3B,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAA;QAC3B,8CAA8C;QAC9C,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACrC,CAAC;SAAM,CAAC;QACN,qCAAqC;QACrC,IAAI,MAAM,GAAG,EAAE,CAAA;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAChD,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAA;YACvC,CAAC;iBAAM,CAAC;gBACN,MAAK;YACP,CAAC;QACH,CAAC;QACD,OAAO,MAAM,IAAI,SAAS,CAAA;IAC5B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CACrB,CAAqB,EACrB,CAAqB,EACrB,IAA8B;IAE9B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAEnE,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,gDAAgD;QAChD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,CAAC;SAAM,CAAC;QACN,yCAAyC;QACzC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CACpB,CAAgC,EAChC,CAAgC,EAChC,IAA8B;IAE9B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAEnE,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,wDAAwD;QACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;QACtC,OAAO,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACtD,CAAC;SAAM,CAAC;QACN,4DAA4D;QAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAA;QACvB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/C,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/C,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,8BAA8B,CAAC,CAAqB,EAAE,CAAqB;IAClF,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAA;IAC7B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAA;IAC7B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACvB,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,CAAqB,EACrB,CAAqB,EACrB,UAAmB,EACnB,UAAmB;IAEnB,IAAI,UAAU,IAAI,UAAU;QAAE,OAAO,SAAS,CAAA;IAC9C,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACxD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACvB,CAAC"}

package/dist/automaton/pattern-algebra.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pattern-algebra.test.d.ts.map

package/dist/automaton/pattern-algebra.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-algebra.test.d.ts","sourceRoot":"","sources":["../../src/automaton/pattern-algebra.test.ts"],"names":[],"mappings":""}

package/dist/automaton/pattern-algebra.test.js

@@ -0,0 +1,223 @@
+import { describe, it, expect } from 'vitest';
+import { patternIntersect, patternUnion, patternComplement, patternDifference } from './pattern-algebra';
+import { compilePattern } from '../compile';
+import { parsePattern } from '../parse';
+import { matchPath } from '../match';
+/**
+ * Helper to compile a pattern from source string.
+ */
+function compile(source) {
+    return compilePattern(parsePattern(source));
+}
+describe('patternIntersect', () => {
+    it('should match paths matching both patterns', () => {
+        const srcFiles = compile('src/**');
+        const tsFiles = compile('**/*.ts');
+        const result = patternIntersect(srcFiles, tsFiles);
+        // Should match TypeScript files in src
+        expect(matchPath('/src/index.ts', result)).toBe(true);
+        expect(matchPath('/src/utils/helper.ts', result)).toBe(true);
+        // Should NOT match TypeScript files outside src
+        expect(matchPath('/lib/index.ts', result)).toBe(false);
+        // Should NOT match non-TypeScript files in src
+        expect(matchPath('/src/index.js', result)).toBe(false);
+    });
+    it('should create synthetic source string', () => {
+        const a = compile('src/**');
+        const b = compile('**/*.ts');
+        const result = patternIntersect(a, b);
+        expect(result.source).toBe('(src/**) ∩ (**/*.ts)');
+    });
+    it('should compute depth constraints correctly', () => {
+        const shallow = compile('src/*'); // exactly 2 segments
+        const deep = compile('**/*.ts'); // at least 1 segment
+        const result = patternIntersect(shallow, deep);
+        // Intersection should use max of minSegments
+        expect(result.minSegments).toBe(2);
+    });
+    it('should handle intersection of literals', () => {
+        const exact = compile('src/index.ts');
+        const pattern = compile('src/*.ts');
+        const result = patternIntersect(exact, pattern);
+        expect(matchPath('/src/index.ts', result)).toBe(true);
+        expect(matchPath('/src/other.ts', result)).toBe(false);
+    });
+    it('should return empty for disjoint patterns', () => {
+        const js = compile('**/*.js');
+        const ts = compile('**/*.ts');
+        const result = patternIntersect(js, ts);
+        // These patterns have no overlap
+        expect(matchPath('/foo.js', result)).toBe(false);
+        expect(matchPath('/foo.ts', result)).toBe(false);
+    });
+});
+describe('patternUnion', () => {
+    it('should match paths matching either pattern', () => {
+        const jsFiles = compile('**/*.js');
+        const tsFiles = compile('**/*.ts');
+        const result = patternUnion(jsFiles, tsFiles);
+        expect(matchPath('/src/index.js', result)).toBe(true);
+        expect(matchPath('/src/index.ts', result)).toBe(true);
+        expect(matchPath('/lib/utils.js', result)).toBe(true);
+        // Should NOT match other extensions
+        expect(matchPath('/src/index.css', result)).toBe(false);
+    });
+    it('should create synthetic source string', () => {
+        const a = compile('*.js');
+        const b = compile('*.ts');
+        const result = patternUnion(a, b);
+        expect(result.source).toBe('(*.js) ∪ (*.ts)');
+    });
+    it('should be unbounded if either pattern is unbounded', () => {
+        const bounded = compile('src/*.ts');
+        const unbounded = compile('**/*.ts');
+        const result = patternUnion(bounded, unbounded);
+        expect(result.isUnbounded).toBe(true);
+    });
+    it('should compute depth constraints correctly', () => {
+        const shallow = compile('*.ts'); // 1 segment
+        const deep = compile('src/**/*.ts'); // at least 2 segments
+        const result = patternUnion(shallow, deep);
+        // Union should use min of minSegments
+        expect(result.minSegments).toBe(1);
+    });
+});
+describe('patternComplement', () => {
+    it('should match paths NOT matching original pattern (simple case)', () => {
+        // Use a simpler pattern without globstar for complement test
+        const srcIndex = compile('src/index.ts');
+        const notSrcIndex = patternComplement(srcIndex);
+        // Should NOT match the exact file
+        expect(matchPath('/src/index.ts', notSrcIndex)).toBe(false);
+        // Should match other files
+        expect(matchPath('/src/index.js', notSrcIndex)).toBe(true);
+        expect(matchPath('/src/other.ts', notSrcIndex)).toBe(true);
+    });
+    it('should create synthetic source string', () => {
+        const a = compile('**/*.ts');
+        const result = patternComplement(a);
+        expect(result.source).toBe('¬(**/*.ts)');
+    });
+    it('should always be unbounded', () => {
+        const bounded = compile('src/*.ts');
+        const result = patternComplement(bounded);
+        expect(result.isUnbounded).toBe(true);
+        expect(result.maxSegments).toBeUndefined();
+    });
+    it('should have empty quick-reject filter', () => {
+        const pattern = compile('src/**/*.ts');
+        const result = patternComplement(pattern);
+        expect(result.quickReject).toEqual({});
+    });
+});
+describe('patternDifference', () => {
+    it('should match paths in A but not in B (simple case)', () => {
+        // Use simpler patterns that don't rely on complex globstar complement
+        const srcFiles = compile('src/*');
+        const indexFiles = compile('src/index.ts');
+        const result = patternDifference(srcFiles, indexFiles);
+        // Should match src files that aren't index.ts
+        expect(matchPath('/src/other.ts', result)).toBe(true);
+        expect(matchPath('/src/utils.js', result)).toBe(true);
+        // Should NOT match index.ts specifically
+        expect(matchPath('/src/index.ts', result)).toBe(false);
+        // Should NOT match files outside src
+        expect(matchPath('/lib/index.ts', result)).toBe(false);
+    });
+    it('should create synthetic source string', () => {
+        const a = compile('src/**');
+        const b = compile('**/*.test.ts');
+        const result = patternDifference(a, b);
+        expect(result.source).toBe('(src/**) \\ (**/*.test.ts)');
+    });
+    it('should preserve unbounded status from first pattern', () => {
+        const unbounded = compile('**/*.ts');
+        const bounded = compile('test/*.ts');
+        const result = patternDifference(unbounded, bounded);
+        expect(result.isUnbounded).toBe(true);
+    });
+    it('should preserve quick-reject from first pattern', () => {
+        const a = compile('src/**/*.ts');
+        const b = compile('**/*.test.ts');
+        const result = patternDifference(a, b);
+        // Should inherit A's prefix requirement
+        expect(result.quickReject.requiredPrefix).toBe('/src');
+    });
+});
+describe('quick-reject filter merging', () => {
+    describe('intersection (AND semantics)', () => {
+        it('should take longer prefix when one is substring of other', () => {
+            const a = compile('src/**');
+            const b = compile('src/utils/**');
+            const result = patternIntersect(a, b);
+            expect(result.quickReject.requiredPrefix).toBe('/src/utils');
+        });
+        it('should combine required literals', () => {
+            const a = compile('src/**/index.ts');
+            const b = compile('**/utils/**/index.ts');
+            const result = patternIntersect(a, b);
+            const literals = result.quickReject.requiredLiterals ?? [];
+            expect(literals).toContain('src');
+            expect(literals).toContain('index.ts');
+            expect(literals).toContain('utils');
+        });
+    });
+    describe('union (OR semantics)', () => {
+        it('should take common prefix only', () => {
+            const a = compile('src/utils/**');
+            const b = compile('src/lib/**');
+            const result = patternUnion(a, b);
+            expect(result.quickReject.requiredPrefix).toBe('/src/');
+        });
+        it('should take intersection of required literals', () => {
+            const a = compile('src/**/index.ts');
+            const b = compile('lib/**/index.ts');
+            const result = patternUnion(a, b);
+            const literals = result.quickReject.requiredLiterals ?? [];
+            expect(literals).toContain('index.ts');
+            // 'src' and 'lib' should NOT be required since they differ
+            expect(literals).not.toContain('src');
+            expect(literals).not.toContain('lib');
+        });
+    });
+});
+describe('composition of operations', () => {
+    it('should support chained operations (simple case)', () => {
+        // Use simpler patterns to test composition
+        const srcJs = compile('src/*.js');
+        const srcTs = compile('src/*.ts');
+        const libJs = compile('lib/*.js');
+        // Union of srcJs and srcTs
+        const srcAll = patternUnion(srcJs, srcTs);
+        expect(matchPath('/src/index.js', srcAll)).toBe(true);
+        expect(matchPath('/src/index.ts', srcAll)).toBe(true);
+        expect(matchPath('/lib/index.js', srcAll)).toBe(false);
+        // Intersection of srcAll and libJs should be empty (different directories)
+        const srcAndLib = patternIntersect(srcJs, libJs);
+        expect(matchPath('/src/index.js', srcAndLib)).toBe(false);
+        expect(matchPath('/lib/index.js', srcAndLib)).toBe(false);
+    });
+    it('should satisfy A ∩ B = A - (A - B) identity', () => {
+        const a = compile('src/**');
+        const b = compile('**/*.ts');
+        const intersection = patternIntersect(a, b);
+        const viaIdentity = patternDifference(a, patternDifference(a, b));
+        // Both should produce equivalent behavior
+        const testPaths = ['/src/index.ts', '/src/foo.js', '/lib/bar.ts'];
+        for (const path of testPaths) {
+            expect(matchPath(path, intersection)).toBe(matchPath(path, viaIdentity));
+        }
+    });
+    it('should support nested unions', () => {
+        // Test union of unions
+        const js = compile('*.js');
+        const ts = compile('*.ts');
+        const css = compile('*.css');
+        const scriptsAndStyles = patternUnion(patternUnion(js, ts), css);
+        expect(matchPath('/index.js', scriptsAndStyles)).toBe(true);
+        expect(matchPath('/index.ts', scriptsAndStyles)).toBe(true);
+        expect(matchPath('/style.css', scriptsAndStyles)).toBe(true);
+        expect(matchPath('/readme.md', scriptsAndStyles)).toBe(false);
+    });
+});
+//# sourceMappingURL=pattern-algebra.test.js.map

package/dist/automaton/pattern-algebra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-algebra.test.js","sourceRoot":"","sources":["../../src/automaton/pattern-algebra.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC7C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACxG,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAEpC;;GAEG;AACH,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,cAAc,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAA;AAC7C,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAClC,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAClC,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QAElD,uCAAuC;QACvC,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE5D,gDAAgD;QAChD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAEtD,+CAA+C;QAC/C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAErC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAA;IACpD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA,CAAC,qBAAqB;QACtD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA,CAAC,qBAAqB;QACrD,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QAE9C,6CAA6C;QAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;QACrC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QAE/C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAC7B,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAC7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QAEvC,iCAAiC;QACjC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAClD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAClC,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAClC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QAE7C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAErD,oCAAoC;QACpC,MAAM,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACzD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QACzB,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QACzB,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAEjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;QAE/C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA,CAAC,YAAY;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA,CAAC,sBAAsB;QAC1D,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QAE1C,sCAAsC;QACtC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAA;QAE/C,kCAAkC;QAClC,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAE3D,2BAA2B;QAC3B,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1D,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC5D,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAC5B,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAA;QAEnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAEzC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,aAAa,EAAE,CAAA;IAC5C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;QACtC,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;QAEzC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,sEAAsE;QACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;QACjC,MAAM,UAAU,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;QAC1C,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAEtD,8CAA8C;QAC9C,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAErD,yCAAyC;QACzC,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAEtD,qCAAqC;QACrC,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;QACjC,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAEtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAA;IAC1D,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QACpC,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;QACpC,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QAEpD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;QACjC,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAEtC,wCAAwC;QACxC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;YAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;YACjC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAErC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAC9D,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;YACpC,MAAM,CAAC,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAA;YACzC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAErC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAA;YAC1D,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;YACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;YACtC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;QACrC,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;YACjC,MAAM,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA;YAC/B,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAEjC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACzD,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;YACpC,MAAM,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;YACpC,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAEjC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAA;YAC1D,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;YACtC,2DAA2D;YAC3D,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;YACrC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACvC,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,2CAA2C;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;QACjC,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;QAEjC,2BAA2B;QAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACzC,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAEtD,2EAA2E;QAC3E,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAChD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzD,MAAM,CAAC,SAAS,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC3D,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QAE5B,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAEjE,0CAA0C;QAC1C,MAAM,SAAS,GAAG,CAAC,eAAe,EAAE,aAAa,EAAE,aAAa,CAAC,CAAA;QACjE,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAA;QAC1E,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,uBAAuB;QACvB,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;QAE5B,MAAM,gBAAgB,GAAG,YAAY,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;QAChE,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3D,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC5D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/D,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/compile/automaton-builder.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Automaton builder - converts pattern AST to segment automaton.
+ * @packageDocumentation
+ */
+import type { PathPattern, SegmentAutomaton } from '../types';
+/**
+ * Build a segment automaton from a pattern AST.
+ *
+ * The automaton operates on path segments (not characters).
+ * This representation enables:
+ * - O(n) matching where n is number of path segments
+ * - Standard automaton operations for containment checking
+ *
+ * @param pattern - Parsed pattern AST
+ * @returns Segment automaton (NFA)
+ *
+ * @public
+ */
+export declare function buildAutomaton(pattern: PathPattern): SegmentAutomaton;
+/**
+ * Get the minimum number of segments a pattern can match.
+ *
+ * @param pattern - Pattern AST
+ * @returns Minimum segment count
+ *
+ * @public
+ */
+export declare function getMinSegments(pattern: PathPattern): number;
+/**
+ * Get the maximum number of segments a pattern can match.
+ *
+ * @param pattern - Pattern AST
+ * @returns Maximum segment count, or undefined if unbounded (contains **)
+ *
+ * @public
+ */
+export declare function getMaxSegments(pattern: PathPattern): number | undefined;
+/**
+ * Check if a pattern contains a globstar (**).
+ *
+ * @param pattern - Pattern AST
+ * @returns true if pattern is unbounded
+ *
+ * @public
+ */
+export declare function isUnbounded(pattern: PathPattern): boolean;
+//# sourceMappingURL=automaton-builder.d.ts.map

package/dist/compile/automaton-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"automaton-builder.d.ts","sourceRoot":"","sources":["../../src/compile/automaton-builder.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EACV,WAAW,EAKX,gBAAgB,EAGjB,MAAM,UAAU,CAAA;AAWjB;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,GAAG,gBAAgB,CAmBrE;AAwID;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAE3D;AAkBD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAEvE;AAsBD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAEzD"}

package/dist/compile/automaton-builder.js

@@ -0,0 +1,211 @@
+/**
+ * Automaton builder - converts pattern AST to segment automaton.
+ * @packageDocumentation
+ */
+import { segmentToRegex } from '../match/segment-matcher';
+/**
+ * Build a segment automaton from a pattern AST.
+ *
+ * The automaton operates on path segments (not characters).
+ * This representation enables:
+ * - O(n) matching where n is number of path segments
+ * - Standard automaton operations for containment checking
+ *
+ * @param pattern - Parsed pattern AST
+ * @returns Segment automaton (NFA)
+ *
+ * @public
+ */
+export function buildAutomaton(pattern) {
+    const builder = {
+        states: [],
+        nextStateId: 0,
+    };
+    // Create initial and final states
+    const initialId = createState(builder, false);
+    const finalId = createState(builder, true);
+    // Build automaton for the pattern node
+    buildNodeAutomaton(builder, pattern.root, initialId, finalId);
+    return {
+        states: builder.states,
+        initialState: initialId,
+        acceptingStates: [finalId],
+        isDeterministic: false, // NFAs are not deterministic by default
+    };
+}
+/**
+ * Create a new state in the automaton.
+ */
+function createState(builder, accepting) {
+    const id = builder.nextStateId++;
+    builder.states.push({
+        id,
+        transitions: [],
+        accepting,
+    });
+    return id;
+}
+/**
+ * Add a transition to a state.
+ */
+function addTransition(builder, fromState, transition) {
+    const state = builder.states[fromState];
+    builder.states[fromState] = {
+        ...state,
+        transitions: [...state.transitions, transition],
+    };
+}
+/**
+ * Build automaton for a pattern node.
+ */
+function buildNodeAutomaton(builder, node, startState, endState) {
+    if (node.type === 'sequence') {
+        buildSequenceAutomaton(builder, node, startState, endState);
+    }
+    else {
+        buildAlternationAutomaton(builder, node, startState, endState);
+    }
+}
+/**
+ * Build automaton for a segment sequence.
+ */
+function buildSequenceAutomaton(builder, sequence, startState, endState) {
+    const segments = sequence.segments;
+    if (segments.length === 0) {
+        // Empty sequence - epsilon transition
+        addTransition(builder, startState, { type: 'epsilon', target: endState });
+        return;
+    }
+    // Create intermediate states between segments
+    let currentState = startState;
+    for (let i = 0; i < segments.length; i++) {
+        const segment = segments[i];
+        const isLast = i === segments.length - 1;
+        const nextState = isLast ? endState : createState(builder, false);
+        buildSegmentAutomaton(builder, segment, currentState, nextState);
+        currentState = nextState;
+    }
+}
+/**
+ * Build automaton for an alternation (brace expansion).
+ */
+function buildAlternationAutomaton(builder, alternation, startState, endState) {
+    // Each branch connects start to end via epsilon transitions
+    for (const branch of alternation.branches) {
+        const branchStart = createState(builder, false);
+        const branchEnd = createState(builder, false);
+        // Epsilon from start to branch start
+        addTransition(builder, startState, { type: 'epsilon', target: branchStart });
+        // Build branch automaton
+        buildNodeAutomaton(builder, branch, branchStart, branchEnd);
+        // Epsilon from branch end to end
+        addTransition(builder, branchEnd, { type: 'epsilon', target: endState });
+    }
+}
+/**
+ * Build automaton for a single segment.
+ */
+function buildSegmentAutomaton(builder, segment, startState, endState) {
+    switch (segment.type) {
+        case 'literal':
+            addTransition(builder, startState, {
+                type: 'literal',
+                segment: segment.value,
+                target: endState,
+            });
+            break;
+        case 'globstar':
+            // Globstar: can match zero or more segments
+            // Model as: epsilon to end (zero segments) OR consume one and loop
+            addTransition(builder, startState, {
+                type: 'globstar',
+                selfLoop: startState,
+                exit: endState,
+            });
+            break;
+        case 'wildcard':
+        case 'charclass':
+        case 'composite': {
+            const regex = segmentToRegex(segment);
+            if (regex) {
+                addTransition(builder, startState, {
+                    type: 'wildcard',
+                    pattern: regex,
+                    patternSource: segment.type === 'wildcard' ? segment.pattern : '',
+                    target: endState,
+                });
+            }
+            break;
+        }
+    }
+}
+/**
+ * Get the minimum number of segments a pattern can match.
+ *
+ * @param pattern - Pattern AST
+ * @returns Minimum segment count
+ *
+ * @public
+ */
+export function getMinSegments(pattern) {
+    return getNodeMinSegments(pattern.root);
+}
+function getNodeMinSegments(node) {
+    if (node.type === 'sequence') {
+        let count = 0;
+        for (const segment of node.segments) {
+            if (segment.type !== 'globstar') {
+                count++;
+            }
+            // Globstar contributes 0 to minimum
+        }
+        return count;
+    }
+    else {
+        // Alternation: minimum of all branches
+        return Math.min(...node.branches.map(getNodeMinSegments));
+    }
+}
+/**
+ * Get the maximum number of segments a pattern can match.
+ *
+ * @param pattern - Pattern AST
+ * @returns Maximum segment count, or undefined if unbounded (contains **)
+ *
+ * @public
+ */
+export function getMaxSegments(pattern) {
+    return getNodeMaxSegments(pattern.root);
+}
+function getNodeMaxSegments(node) {
+    if (node.type === 'sequence') {
+        let count = 0;
+        for (const segment of node.segments) {
+            if (segment.type === 'globstar') {
+                return undefined; // Unbounded
+            }
+            count++;
+        }
+        return count;
+    }
+    else {
+        // Alternation: max of all branches (undefined if any is undefined)
+        const maxes = node.branches.map(getNodeMaxSegments);
+        if (maxes.some((m) => m === undefined)) {
+            return undefined;
+        }
+        return Math.max(...maxes);
+    }
+}
+/**
+ * Check if a pattern contains a globstar (**).
+ *
+ * @param pattern - Pattern AST
+ * @returns true if pattern is unbounded
+ *
+ * @public
+ */
+export function isUnbounded(pattern) {
+    return getMaxSegments(pattern) === undefined;
+}
+//# sourceMappingURL=automaton-builder.js.map

package/dist/compile/automaton-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"automaton-builder.js","sourceRoot":"","sources":["../../src/compile/automaton-builder.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAYH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAUzD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,OAAoB;IACjD,MAAM,OAAO,GAAqB;QAChC,MAAM,EAAE,EAAE;QACV,WAAW,EAAE,CAAC;KACf,CAAA;IAED,kCAAkC;IAClC,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IAE1C,uCAAuC;IACvC,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAE7D,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,SAAS;QACvB,eAAe,EAAE,CAAC,OAAO,CAAC;QAC1B,eAAe,EAAE,KAAK,EAAE,wCAAwC;KACjE,CAAA;AACH,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAyB,EAAE,SAAkB;IAChE,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAChC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QAClB,EAAE;QACF,WAAW,EAAE,EAAE;QACf,SAAS;KACV,CAAC,CAAA;IACF,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,OAAyB,EAAE,SAAiB,EAAE,UAA+B;IAClG,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACvC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG;QAC1B,GAAG,KAAK;QACR,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC;KAChD,CAAA;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,OAAyB,EAAE,IAAiB,EAAE,UAAkB,EAAE,QAAgB;IAC5G,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;IAC7D,CAAC;SAAM,CAAC;QACN,yBAAyB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;IAChE,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,OAAyB,EACzB,QAAyB,EACzB,UAAkB,EAClB,QAAgB;IAEhB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAA;IAElC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,sCAAsC;QACtC,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;QACzE,OAAM;IACR,CAAC;IAED,8CAA8C;IAC9C,IAAI,YAAY,GAAG,UAAU,CAAA;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QAC3B,MAAM,MAAM,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACxC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAEjE,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,CAAA;QAChE,YAAY,GAAG,SAAS,CAAA;IAC1B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,OAAyB,EACzB,WAAwB,EACxB,UAAkB,EAClB,QAAgB;IAEhB,4DAA4D;IAC5D,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAE7C,qCAAqC;QACrC,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;QAE5E,yBAAyB;QACzB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,CAAC,CAAA;QAE3D,iCAAiC;QACjC,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;IAC1E,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,OAAyB,EACzB,OAAgB,EAChB,UAAkB,EAClB,QAAgB;IAEhB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,SAAS;YACZ,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE;gBACjC,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO,CAAC,KAAK;gBACtB,MAAM,EAAE,QAAQ;aACjB,CAAC,CAAA;YACF,MAAK;QAEP,KAAK,UAAU;YACb,4CAA4C;YAC5C,mEAAmE;YACnE,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE;gBACjC,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAA;YACF,MAAK;QAEP,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YACrC,IAAI,KAAK,EAAE,CAAC;gBACV,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE;oBACjC,IAAI,EAAE,UAAU;oBAChB,OAAO,EAAE,KAAK;oBACd,aAAa,EAAE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;oBACjE,MAAM,EAAE,QAAQ;iBACjB,CAAC,CAAA;YACJ,CAAC;YACD,MAAK;QACP,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,OAAoB;IACjD,OAAO,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAChC,KAAK,EAAE,CAAA;YACT,CAAC;YACD,oCAAoC;QACtC,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;SAAM,CAAC;QACN,uCAAuC;QACvC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAA;IAC3D,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,OAAoB;IACjD,OAAO,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAiB;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAChC,OAAO,SAAS,CAAA,CAAC,YAAY;YAC/B,CAAC;YACD,KAAK,EAAE,CAAA;QACT,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;SAAM,CAAC;QACN,mEAAmE;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;QACnD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YACvC,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAI,KAAkB,CAAC,CAAA;IACzC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,OAAoB;IAC9C,OAAO,cAAc,CAAC,OAAO,CAAC,KAAK,SAAS,CAAA;AAC9C,CAAC"}

package/dist/compile/compiler.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Pattern compiler - compiles AST to efficient matching form.
+ * @packageDocumentation
+ */
+import type { PathPattern, CompiledPattern } from '../types';
+/**
+ * Compile a pattern to an efficient matching form.
+ *
+ * The compiled pattern includes:
+ * - Original source and AST for debugging/analysis
+ * - Quick-reject filters for fast path elimination
+ * - Segment automaton for full matching
+ * - Depth constraints for optimization
+ *
+ * @param pattern - Parsed pattern AST
+ * @returns Compiled pattern ready for matching
+ *
+ * @public
+ */
+export declare function compilePattern(pattern: PathPattern): CompiledPattern;
+/**
+ * Compile a pattern from source string.
+ *
+ * Convenience function that parses and compiles in one step.
+ *
+ * @param source - Pattern source string
+ * @returns Compiled pattern
+ *
+ * @public
+ */
+export { parsePattern } from '../parse';
+//# sourceMappingURL=compiler.d.ts.map

package/dist/compile/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/compile/compiler.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAI5D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,GAAG,eAAe,CAepE;AAED;;;;;;;;;GASG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA"}

package/dist/compile/compiler.js

@@ -0,0 +1,47 @@
+/**
+ * Pattern compiler - compiles AST to efficient matching form.
+ * @packageDocumentation
+ */
+import { buildAutomaton, getMinSegments, getMaxSegments, isUnbounded } from './automaton-builder';
+import { buildQuickRejectFilter } from './quick-reject';
+/**
+ * Compile a pattern to an efficient matching form.
+ *
+ * The compiled pattern includes:
+ * - Original source and AST for debugging/analysis
+ * - Quick-reject filters for fast path elimination
+ * - Segment automaton for full matching
+ * - Depth constraints for optimization
+ *
+ * @param pattern - Parsed pattern AST
+ * @returns Compiled pattern ready for matching
+ *
+ * @public
+ */
+export function compilePattern(pattern) {
+    const automaton = buildAutomaton(pattern);
+    const quickReject = buildQuickRejectFilter(pattern);
+    const minSegments = getMinSegments(pattern);
+    const maxSegments = getMaxSegments(pattern);
+    return {
+        source: pattern.source,
+        ast: pattern,
+        quickReject,
+        automaton,
+        isUnbounded: isUnbounded(pattern),
+        minSegments,
+        maxSegments,
+    };
+}
+/**
+ * Compile a pattern from source string.
+ *
+ * Convenience function that parses and compiles in one step.
+ *
+ * @param source - Pattern source string
+ * @returns Compiled pattern
+ *
+ * @public
+ */
+export { parsePattern } from '../parse';
+//# sourceMappingURL=compiler.js.map

package/dist/compile/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../src/compile/compiler.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjG,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,OAAoB;IACjD,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IACzC,MAAM,WAAW,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAA;IACnD,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IAC3C,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;IAE3C,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,GAAG,EAAE,OAAO;QACZ,WAAW;QACX,SAAS;QACT,WAAW,EAAE,WAAW,CAAC,OAAO,CAAC;QACjC,WAAW;QACX,WAAW;KACZ,CAAA;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA"}

package/dist/compile/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Pattern compilation utilities.
+ * @packageDocumentation
+ */
+export { compilePattern } from './compiler';
+export { buildAutomaton, getMinSegments, getMaxSegments, isUnbounded } from './automaton-builder';
+export { buildQuickRejectFilter, applyQuickReject } from './quick-reject';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compile/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAA;AACjG,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA"}

package/dist/compile/index.js

@@ -0,0 +1,8 @@
+/**
+ * Pattern compilation utilities.
+ * @packageDocumentation
+ */
+export { compilePattern } from './compiler';
+export { buildAutomaton, getMinSegments, getMaxSegments, isUnbounded } from './automaton-builder';
+export { buildQuickRejectFilter, applyQuickReject } from './quick-reject';
+//# sourceMappingURL=index.js.map