driftdetect-core 0.5.0 → 0.6.0

package/dist/call-graph/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/call-graph/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAM9E;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;AAEnG;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,aAAa,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe;IACf,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,+BAA+B;IAC/B,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,+CAA+C;IAC/C,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,8CAA8C;IAC9C,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,qCAAqC;IACrC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,4BAA4B;IAC5B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,sCAAsC;IACtC,UAAU,EAAE,OAAO,CAAC;IACpB,oCAAoC;IACpC,aAAa,EAAE,OAAO,CAAC;IACvB,4BAA4B;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,0DAA0D;IAC1D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB;IACjB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,2BAA2B;IAC3B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,uFAAuF;IACvF,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,iEAAiE;IACjE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,0BAA0B;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,qBAAqB;IACrB,OAAO,EAAE,KAAK,CAAC;IACf,2BAA2B;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrC,4DAA4D;IAC5D,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,wCAAwC;IACxC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,iBAAiB;IACjB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;CAC/C;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,0BAA0B;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,sDAAsD;IACtD,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,qDAAqD;IACrD,YAAY,EAAE,OAAO,CAAC;IACtB,qDAAqD;IACrD,iBAAiB,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB;IACrB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB;IACxB,SAAS,EAAE,OAAO,CAAC;IACnB,4CAA4C;IAC5C,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB;AAMD;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,kCAAkC;IAClC,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,0BAA0B;IAC1B,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,wBAAwB;IACxB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,4CAA4C;IAC5C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,qBAAqB;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,gCAAgC;IAChC,eAAe,EAAE,mBAAmB,EAAE,CAAC;IACvC,0CAA0C;IAC1C,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,uCAAuC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,6BAA6B;IAC7B,MAAM,EAAE,eAAe,CAAC;IACxB,qCAAqC;IACrC,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;CACrB;AAMD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,KAAK,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;CACjB;AAMD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,qDAAqD;IACrD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,qBAAqB;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,6BAA6B;IAC7B,MAAM,EAAE;QACN,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC5B,CAAC;IACF,8CAA8C;IAC9C,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,4CAA4C;IAC5C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,6CAA6C;IAC7C,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,2BAA2B;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,0BAA0B;IAC1B,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,uBAAuB;IACvB,WAAW,EAAE,eAAe,CAAC;CAC9B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/call-graph/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAM9E;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,GAAG,IAAI,CAAC;AAE1G;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,aAAa,EAAE,MAAM,CAAC;IACtB,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe;IACf,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,+BAA+B;IAC/B,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,+CAA+C;IAC/C,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,8CAA8C;IAC9C,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,qCAAqC;IACrC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,4BAA4B;IAC5B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,sCAAsC;IACtC,UAAU,EAAE,OAAO,CAAC;IACpB,oCAAoC;IACpC,aAAa,EAAE,OAAO,CAAC;IACvB,4BAA4B;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,0DAA0D;IAC1D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB;IACjB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,2BAA2B;IAC3B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,uFAAuF;IACvF,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,iEAAiE;IACjE,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,gBAAgB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,0BAA0B;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,qBAAqB;IACrB,OAAO,EAAE,KAAK,CAAC;IACf,2BAA2B;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrC,4DAA4D;IAC5D,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,wCAAwC;IACxC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,iBAAiB;IACjB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;CAC/C;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yCAAyC;IACzC,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,0BAA0B;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,sDAAsD;IACtD,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,qDAAqD;IACrD,YAAY,EAAE,OAAO,CAAC;IACtB,qDAAqD;IACrD,iBAAiB,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,qBAAqB;IACrB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB;IACxB,SAAS,EAAE,OAAO,CAAC;IACnB,4CAA4C;IAC5C,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB;AAMD;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,kCAAkC;IAClC,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,0BAA0B;IAC1B,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,wBAAwB;IACxB,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,4CAA4C;IAC5C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,qBAAqB;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,gCAAgC;IAChC,eAAe,EAAE,mBAAmB,EAAE,CAAC;IACvC,0CAA0C;IAC1C,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,oDAAoD;IACpD,eAAe,EAAE,oBAAoB,EAAE,CAAC;IACxC,uCAAuC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,6BAA6B;IAC7B,MAAM,EAAE,eAAe,CAAC;IACxB,qCAAqC;IACrC,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;CACrB;AAMD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,KAAK,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,cAAc,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;CACjB;AAMD;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,qDAAqD;IACrD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,qBAAqB;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,6BAA6B;IAC7B,MAAM,EAAE;QACN,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC5B,CAAC;IACF,8CAA8C;IAC9C,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,4CAA4C;IAC5C,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,6CAA6C;IAC7C,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,2BAA2B;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,0BAA0B;IAC1B,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,uBAAuB;IACvB,WAAW,EAAE,eAAe,CAAC;CAC9B"}

package/dist/constraints/extraction/constraint-synthesizer.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Constraint Synthesizer
+ *
+ * Converts detected invariants into full Constraint objects,
+ * handles deduplication, merging, and ID generation.
+ */
+import type { ExtractionResult, ExtractionOptions } from '../types.js';
+import type { ConstraintStore } from '../store/constraint-store.js';
+import type { InvariantDetector } from './invariant-detector.js';
+export interface ConstraintSynthesizerConfig {
+    store: ConstraintStore;
+    detector: InvariantDetector;
+}
+export interface SynthesisOptions extends ExtractionOptions {
+    /** Auto-approve constraints above this confidence */
+    autoApproveThreshold?: number;
+    /** Merge similar constraints */
+    mergeSimilar?: boolean;
+    /** Similarity threshold for merging (0-1) */
+    similarityThreshold?: number;
+}
+export declare class ConstraintSynthesizer {
+    private readonly store;
+    private readonly detector;
+    constructor(config: ConstraintSynthesizerConfig);
+    /**
+     * Extract and synthesize constraints from the codebase
+     */
+    synthesize(options?: SynthesisOptions): Promise<ExtractionResult>;
+    /**
+     * Convert a detected invariant to a full Constraint
+     */
+    private toConstraint;
+    /**
+     * Generate a deterministic ID for a constraint
+     */
+    private generateConstraintId;
+    /**
+     * Generate tags for a constraint
+     */
+    private generateTags;
+    /**
+     * Merge similar constraints
+     */
+    private mergeSimilarConstraints;
+    /**
+     * Check if two constraints are similar
+     */
+    private areSimilar;
+    /**
+     * Calculate string similarity (Jaccard index on words)
+     */
+    private stringSimilarity;
+    /**
+     * Merge multiple similar constraints into one
+     */
+    private mergeConstraints;
+    /**
+     * Diff new constraints against existing ones
+     */
+    private diffConstraints;
+    /**
+     * Check if a constraint has meaningfully changed
+     */
+    private hasChanged;
+    /**
+     * Build extraction statistics
+     */
+    private buildStats;
+}
+export declare function createConstraintSynthesizer(config: ConstraintSynthesizerConfig): ConstraintSynthesizer;
+//# sourceMappingURL=constraint-synthesizer.d.ts.map

package/dist/constraints/extraction/constraint-synthesizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-synthesizer.d.ts","sourceRoot":"","sources":["../../../src/constraints/extraction/constraint-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAIV,gBAAgB,EAEhB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AAGrB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,KAAK,EAAqB,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAMpF,MAAM,WAAW,2BAA2B;IAC1C,KAAK,EAAE,eAAe,CAAC;IACvB,QAAQ,EAAE,iBAAiB,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,qDAAqD;IACrD,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,gCAAgC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,6CAA6C;IAC7C,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAMD,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkB;IACxC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAoB;gBAEjC,MAAM,EAAE,2BAA2B;IAK/C;;OAEG;IACG,UAAU,CAAC,OAAO,GAAE,gBAAqB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IA2C3E;;OAEG;IACH,OAAO,CAAC,YAAY;IAoCpB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAY5B;;OAEG;IACH,OAAO,CAAC,YAAY;IAqCpB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAyC/B;;OAEG;IACH,OAAO,CAAC,UAAU;IAoBlB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAUxB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IA2DxB;;OAEG;IACH,OAAO,CAAC,eAAe;IAsDvB;;OAEG;IACH,OAAO,CAAC,UAAU;IAgBlB;;OAEG;IACH,OAAO,CAAC,UAAU;CAyBnB;AAMD,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,2BAA2B,GAClC,qBAAqB,CAEvB"}

package/dist/constraints/extraction/constraint-synthesizer.js

@@ -0,0 +1,336 @@
+/**
+ * Constraint Synthesizer
+ *
+ * Converts detected invariants into full Constraint objects,
+ * handles deduplication, merging, and ID generation.
+ */
+import { createHash } from 'node:crypto';
+import { CONSTRAINT_SCHEMA_VERSION as SCHEMA_VERSION } from '../types.js';
+// =============================================================================
+// Constraint Synthesizer
+// =============================================================================
+export class ConstraintSynthesizer {
+    store;
+    detector;
+    constructor(config) {
+        this.store = config.store;
+        this.detector = config.detector;
+    }
+    /**
+     * Extract and synthesize constraints from the codebase
+     */
+    async synthesize(options = {}) {
+        const startTime = Date.now();
+        // Detect invariants
+        const invariants = await this.detector.detectAll(options);
+        // Convert to constraints
+        const constraints = invariants.map(inv => this.toConstraint(inv, options));
+        // Merge similar constraints if enabled
+        const merged = options.mergeSimilar !== false
+            ? this.mergeSimilarConstraints(constraints, options.similarityThreshold ?? 0.8)
+            : constraints;
+        // Compare with existing constraints
+        const existing = this.store.getAll();
+        const { discovered, updated, invalidated } = this.diffConstraints(merged, existing);
+        // Save new and updated constraints
+        if (discovered.length > 0) {
+            await this.store.addMany(discovered);
+        }
+        for (const constraint of updated) {
+            await this.store.update(constraint.id, constraint);
+        }
+        // Mark invalidated constraints
+        for (const id of invalidated) {
+            await this.store.ignore(id, 'No longer detected in codebase');
+        }
+        // Build stats
+        const stats = this.buildStats(discovered, updated, invalidated, startTime);
+        return {
+            discovered,
+            updated,
+            invalidated,
+            stats,
+        };
+    }
+    /**
+     * Convert a detected invariant to a full Constraint
+     */
+    toConstraint(invariant, options) {
+        const now = new Date().toISOString();
+        // Generate deterministic ID based on constraint content
+        const id = this.generateConstraintId(invariant);
+        // Determine status based on confidence
+        let status = 'discovered';
+        if (options.autoApproveThreshold !== undefined &&
+            invariant.constraint.confidence.score >= options.autoApproveThreshold) {
+            status = 'approved';
+        }
+        const metadata = {
+            createdAt: now,
+            updatedAt: now,
+            schemaVersion: SCHEMA_VERSION,
+            tags: this.generateTags(invariant),
+        };
+        if (status === 'approved') {
+            metadata.approvedBy = 'auto';
+            metadata.approvedAt = now;
+        }
+        return {
+            ...invariant.constraint,
+            id,
+            status,
+            metadata,
+        };
+    }
+    /**
+     * Generate a deterministic ID for a constraint
+     */
+    generateConstraintId(invariant) {
+        const content = JSON.stringify({
+            name: invariant.constraint.name,
+            category: invariant.constraint.category,
+            type: invariant.constraint.invariant.type,
+            condition: invariant.constraint.invariant.condition,
+        });
+        const hash = createHash('sha256').update(content).digest('hex').slice(0, 12);
+        return `constraint-${invariant.constraint.category}-${hash}`;
+    }
+    /**
+     * Generate tags for a constraint
+     */
+    generateTags(invariant) {
+        const tags = [];
+        // Add source tags
+        if (invariant.evidence.sources.includes('callGraph')) {
+            tags.push('call-graph-derived');
+        }
+        if (invariant.evidence.sources.some(s => s.startsWith('pattern:'))) {
+            tags.push('pattern-derived');
+        }
+        if (invariant.evidence.sources.includes('boundaries')) {
+            tags.push('boundary-derived');
+        }
+        if (invariant.evidence.sources.includes('testTopology')) {
+            tags.push('test-derived');
+        }
+        if (invariant.evidence.sources.includes('errorHandling')) {
+            tags.push('error-handling-derived');
+        }
+        // Add confidence tags
+        if (invariant.constraint.confidence.score >= 0.95) {
+            tags.push('high-confidence');
+        }
+        else if (invariant.constraint.confidence.score >= 0.85) {
+            tags.push('medium-confidence');
+        }
+        // Add violation tags
+        if (invariant.violations.length === 0) {
+            tags.push('no-violations');
+        }
+        else if (invariant.violations.length > 10) {
+            tags.push('many-violations');
+        }
+        return tags;
+    }
+    /**
+     * Merge similar constraints
+     */
+    mergeSimilarConstraints(constraints, threshold) {
+        const merged = [];
+        const used = new Set();
+        for (let i = 0; i < constraints.length; i++) {
+            if (used.has(i))
+                continue;
+            const current = constraints[i];
+            if (!current)
+                continue;
+            const similar = [current];
+            // Find similar constraints
+            for (let j = i + 1; j < constraints.length; j++) {
+                if (used.has(j))
+                    continue;
+                const other = constraints[j];
+                if (!other)
+                    continue;
+                if (this.areSimilar(current, other, threshold)) {
+                    similar.push(other);
+                    used.add(j);
+                }
+            }
+            // Merge if multiple similar found
+            if (similar.length > 1) {
+                merged.push(this.mergeConstraints(similar));
+            }
+            else {
+                merged.push(current);
+            }
+            used.add(i);
+        }
+        return merged;
+    }
+    /**
+     * Check if two constraints are similar
+     */
+    areSimilar(a, b, threshold) {
+        // Must be same category
+        if (a.category !== b.category)
+            return false;
+        // Must be same type
+        if (a.invariant.type !== b.invariant.type)
+            return false;
+        // Check name similarity
+        const nameSimilarity = this.stringSimilarity(a.name, b.name);
+        if (nameSimilarity < threshold)
+            return false;
+        // Check condition similarity
+        const conditionSimilarity = this.stringSimilarity(a.invariant.condition, b.invariant.condition);
+        return conditionSimilarity >= threshold;
+    }
+    /**
+     * Calculate string similarity (Jaccard index on words)
+     */
+    stringSimilarity(a, b) {
+        const wordsA = new Set(a.toLowerCase().split(/\s+/));
+        const wordsB = new Set(b.toLowerCase().split(/\s+/));
+        const intersection = new Set([...wordsA].filter(w => wordsB.has(w)));
+        const union = new Set([...wordsA, ...wordsB]);
+        return intersection.size / union.size;
+    }
+    /**
+     * Merge multiple similar constraints into one
+     */
+    mergeConstraints(constraints) {
+        // Use the one with highest confidence as base
+        const sorted = [...constraints].sort((a, b) => b.confidence.score - a.confidence.score);
+        const base = sorted[0];
+        if (!base) {
+            throw new Error('Cannot merge empty constraint array');
+        }
+        // Merge evidence
+        const totalEvidence = constraints.reduce((sum, c) => sum + c.confidence.evidence, 0);
+        const totalViolations = constraints.reduce((sum, c) => sum + c.confidence.violations, 0);
+        // Merge sources
+        const allPatterns = new Set();
+        const allCallGraphPaths = new Set();
+        const allBoundaries = new Set();
+        for (const c of constraints) {
+            c.derivedFrom.patterns.forEach(p => allPatterns.add(p));
+            c.derivedFrom.callGraphPaths.forEach(p => allCallGraphPaths.add(p));
+            c.derivedFrom.boundaries.forEach(b => allBoundaries.add(b));
+        }
+        // Merge tags
+        const allTags = new Set();
+        for (const c of constraints) {
+            c.metadata.tags?.forEach(t => allTags.add(t));
+        }
+        return {
+            ...base,
+            derivedFrom: {
+                patterns: Array.from(allPatterns),
+                callGraphPaths: Array.from(allCallGraphPaths),
+                boundaries: Array.from(allBoundaries),
+            },
+            confidence: {
+                ...base.confidence,
+                evidence: totalEvidence,
+                violations: totalViolations,
+                score: totalEvidence / (totalEvidence + totalViolations),
+            },
+            metadata: {
+                ...base.metadata,
+                tags: Array.from(allTags),
+                notes: `Merged from ${constraints.length} similar constraints`,
+            },
+        };
+    }
+    /**
+     * Diff new constraints against existing ones
+     */
+    diffConstraints(newConstraints, existing) {
+        const discovered = [];
+        const updated = [];
+        const invalidated = [];
+        const existingById = new Map(existing.map(c => [c.id, c]));
+        const newById = new Map(newConstraints.map(c => [c.id, c]));
+        // Find new and updated
+        for (const constraint of newConstraints) {
+            const existingConstraint = existingById.get(constraint.id);
+            if (!existingConstraint) {
+                discovered.push(constraint);
+            }
+            else if (this.hasChanged(constraint, existingConstraint)) {
+                // Preserve status and approval info
+                const updatedMetadata = {
+                    ...constraint.metadata,
+                    createdAt: existingConstraint.metadata.createdAt,
+                };
+                if (existingConstraint.metadata.approvedBy) {
+                    updatedMetadata.approvedBy = existingConstraint.metadata.approvedBy;
+                }
+                if (existingConstraint.metadata.approvedAt) {
+                    updatedMetadata.approvedAt = existingConstraint.metadata.approvedAt;
+                }
+                updated.push({
+                    ...constraint,
+                    status: existingConstraint.status,
+                    metadata: updatedMetadata,
+                });
+            }
+        }
+        // Find invalidated (existing but not in new, and not custom)
+        for (const existing of existingById.values()) {
+            if (!newById.has(existing.id) &&
+                existing.status !== 'custom' &&
+                existing.status !== 'ignored') {
+                invalidated.push(existing.id);
+            }
+        }
+        return { discovered, updated, invalidated };
+    }
+    /**
+     * Check if a constraint has meaningfully changed
+     */
+    hasChanged(newC, oldC) {
+        // Check confidence change
+        const confidenceDelta = Math.abs(newC.confidence.score - oldC.confidence.score);
+        if (confidenceDelta > 0.05)
+            return true;
+        // Check evidence change
+        const evidenceDelta = Math.abs(newC.confidence.evidence - oldC.confidence.evidence);
+        if (evidenceDelta > 5)
+            return true;
+        // Check violation change
+        const violationDelta = Math.abs(newC.confidence.violations - oldC.confidence.violations);
+        if (violationDelta > 3)
+            return true;
+        return false;
+    }
+    /**
+     * Build extraction statistics
+     */
+    buildStats(discovered, updated, invalidated, startTime) {
+        const byCategory = {};
+        const byLanguage = {};
+        for (const c of [...discovered, ...updated]) {
+            byCategory[c.category] = (byCategory[c.category] ?? 0) + 1;
+            byLanguage[c.language] = (byLanguage[c.language] ?? 0) + 1;
+        }
+        return {
+            patternsAnalyzed: 0, // Would need to track this in detector
+            candidatesFound: discovered.length + updated.length,
+            constraintsCreated: discovered.length,
+            constraintsUpdated: updated.length,
+            constraintsInvalidated: invalidated.length,
+            executionTimeMs: Date.now() - startTime,
+            byCategory: byCategory,
+            byLanguage: byLanguage,
+        };
+    }
+}
+// =============================================================================
+// Factory
+// =============================================================================
+export function createConstraintSynthesizer(config) {
+    return new ConstraintSynthesizer(config);
+}
+//# sourceMappingURL=constraint-synthesizer.js.map

package/dist/constraints/extraction/constraint-synthesizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-synthesizer.js","sourceRoot":"","sources":["../../../src/constraints/extraction/constraint-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,OAAO,EAAE,yBAAyB,IAAI,cAAc,EAAE,MAAM,aAAa,CAAC;AAsB1E,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF,MAAM,OAAO,qBAAqB;IACf,KAAK,CAAkB;IACvB,QAAQ,CAAoB;IAE7C,YAAY,MAAmC;QAC7C,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1B,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,UAA4B,EAAE;QAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,oBAAoB;QACpB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAE1D,yBAAyB;QACzB,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QAE3E,uCAAuC;QACvC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,KAAK,KAAK;YAC3C,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC,mBAAmB,IAAI,GAAG,CAAC;YAC/E,CAAC,CAAC,WAAW,CAAC;QAEhB,oCAAoC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAEpF,mCAAmC;QACnC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrD,CAAC;QAED,+BAA+B;QAC/B,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC;QAChE,CAAC;QAED,cAAc;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QAE3E,OAAO;YACL,UAAU;YACV,OAAO;YACP,WAAW;YACX,KAAK;SACN,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,YAAY,CAClB,SAA4B,EAC5B,OAAyB;QAEzB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAErC,wDAAwD;QACxD,MAAM,EAAE,GAAG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QAEhD,uCAAuC;QACvC,IAAI,MAAM,GAAqB,YAAY,CAAC;QAC5C,IAAI,OAAO,CAAC,oBAAoB,KAAK,SAAS;YAC1C,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;YAC1E,MAAM,GAAG,UAAU,CAAC;QACtB,CAAC;QAED,MAAM,QAAQ,GAAuB;YACnC,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,GAAG;YACd,aAAa,EAAE,cAAc;YAC7B,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;SACnC,CAAC;QAEF,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YAC1B,QAAQ,CAAC,UAAU,GAAG,MAAM,CAAC;YAC7B,QAAQ,CAAC,UAAU,GAAG,GAAG,CAAC;QAC5B,CAAC;QAED,OAAO;YACL,GAAG,SAAS,CAAC,UAAU;YACvB,EAAE;YACF,MAAM;YACN,QAAQ;SACT,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,SAA4B;QACvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;YAC7B,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI;YAC/B,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,QAAQ;YACvC,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI;YACzC,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS;SACpD,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,OAAO,cAAc,SAAS,CAAC,UAAU,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;IAC/D,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,SAA4B;QAC/C,MAAM,IAAI,GAAa,EAAE,CAAC;QAE1B,kBAAkB;QAClB,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACtC,CAAC;QAED,sBAAsB;QACtB,IAAI,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC/B,CAAC;aAAM,IAAI,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,EAAE,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACjC,CAAC;QAED,qBAAqB;QACrB,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC/B,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,uBAAuB,CAC7B,WAAyB,EACzB,SAAiB;QAEjB,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YAE1B,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,MAAM,OAAO,GAAiB,CAAC,OAAO,CAAC,CAAC;YAExC,2BAA2B;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAE1B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,KAAK;oBAAE,SAAS;gBAErB,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;oBAC/C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACpB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACd,CAAC;YACH,CAAC;YAED,kCAAkC;YAClC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,CAAa,EAAE,CAAa,EAAE,SAAiB;QAChE,wBAAwB;QACxB,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAE5C,oBAAoB;QACpB,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAExD,wBAAwB;QACxB,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,cAAc,GAAG,SAAS;YAAE,OAAO,KAAK,CAAC;QAE7C,6BAA6B;QAC7B,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAC/C,CAAC,CAAC,SAAS,CAAC,SAAS,EACrB,CAAC,CAAC,SAAS,CAAC,SAAS,CACtB,CAAC;QAEF,OAAO,mBAAmB,IAAI,SAAS,CAAC;IAC1C,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,CAAS,EAAE,CAAS;QAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAErD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;QAE9C,OAAO,YAAY,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxC,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,WAAyB;QAChD,8CAA8C;QAC9C,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAClD,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAEvB,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QAED,iBAAiB;QACjB,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CACtC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,EACvC,CAAC,CACF,CAAC;QACF,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CACxC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,UAAU,EACzC,CAAC,CACF,CAAC;QAEF,gBAAgB;QAChB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QAExC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED,aAAa;QACb,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,OAAO;YACL,GAAG,IAAI;YACP,WAAW,EAAE;gBACX,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;gBACjC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC;gBAC7C,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC;aACtC;YACD,UAAU,EAAE;gBACV,GAAG,IAAI,CAAC,UAAU;gBAClB,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE,eAAe;gBAC3B,KAAK,EAAE,aAAa,GAAG,CAAC,aAAa,GAAG,eAAe,CAAC;aACzD;YACD,QAAQ,EAAE;gBACR,GAAG,IAAI,CAAC,QAAQ;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;gBACzB,KAAK,EAAE,eAAe,WAAW,CAAC,MAAM,sBAAsB;aAC/D;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,cAA4B,EAC5B,QAAsB;QAMtB,MAAM,UAAU,GAAiB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5D,uBAAuB;QACvB,KAAK,MAAM,UAAU,IAAI,cAAc,EAAE,CAAC;YACxC,MAAM,kBAAkB,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAE3D,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACxB,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9B,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,kBAAkB,CAAC,EAAE,CAAC;gBAC3D,oCAAoC;gBACpC,MAAM,eAAe,GAAuB;oBAC1C,GAAG,UAAU,CAAC,QAAQ;oBACtB,SAAS,EAAE,kBAAkB,CAAC,QAAQ,CAAC,SAAS;iBACjD,CAAC;gBACF,IAAI,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;oBAC3C,eAAe,CAAC,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACtE,CAAC;gBACD,IAAI,kBAAkB,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;oBAC3C,eAAe,CAAC,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,UAAU,CAAC;gBACtE,CAAC;gBAED,OAAO,CAAC,IAAI,CAAC;oBACX,GAAG,UAAU;oBACb,MAAM,EAAE,kBAAkB,CAAC,MAAM;oBACjC,QAAQ,EAAE,eAAe;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,6DAA6D;QAC7D,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,QAAQ,CAAC,MAAM,KAAK,QAAQ;gBAC5B,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAClC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAC9C,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,IAAgB,EAAE,IAAgB;QACnD,0BAA0B;QAC1B,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChF,IAAI,eAAe,GAAG,IAAI;YAAE,OAAO,IAAI,CAAC;QAExC,wBAAwB;QACxB,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpF,IAAI,aAAa,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAEnC,yBAAyB;QACzB,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACzF,IAAI,cAAc,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAEpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,UAAU,CAChB,UAAwB,EACxB,OAAqB,EACrB,WAAqB,EACrB,SAAiB;QAEjB,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,MAAM,UAAU,GAA2B,EAAE,CAAC;QAE9C,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;YAC5C,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3D,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO;YACL,gBAAgB,EAAE,CAAC,EAAE,uCAAuC;YAC5D,eAAe,EAAE,UAAU,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;YACnD,kBAAkB,EAAE,UAAU,CAAC,MAAM;YACrC,kBAAkB,EAAE,OAAO,CAAC,MAAM;YAClC,sBAAsB,EAAE,WAAW,CAAC,MAAM;YAC1C,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YACvC,UAAU,EAAE,UAAiB;YAC7B,UAAU,EAAE,UAAiB;SAC9B,CAAC;IACJ,CAAC;CACF;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF,MAAM,UAAU,2BAA2B,CACzC,MAAmC;IAEnC,OAAO,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;AAC3C,CAAC"}

package/dist/constraints/extraction/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Constraint Extraction Module
+ *
+ * Detects and synthesizes architectural constraints from Drift's analysis data.
+ */
+export { InvariantDetector, createInvariantDetector, } from './invariant-detector.js';
+export type { InvariantDetectorConfig, DetectedInvariant, InvariantEvidence, } from './invariant-detector.js';
+export { ConstraintSynthesizer, createConstraintSynthesizer, } from './constraint-synthesizer.js';
+export type { ConstraintSynthesizerConfig, SynthesisOptions, } from './constraint-synthesizer.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/constraints/extraction/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/constraints/extraction/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,uBAAuB,EACvB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACL,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,2BAA2B,EAC3B,gBAAgB,GACjB,MAAM,6BAA6B,CAAC"}

package/dist/constraints/extraction/index.js

@@ -0,0 +1,10 @@
+/**
+ * Constraint Extraction Module
+ *
+ * Detects and synthesizes architectural constraints from Drift's analysis data.
+ */
+// Invariant Detector
+export { InvariantDetector, createInvariantDetector, } from './invariant-detector.js';
+// Constraint Synthesizer
+export { ConstraintSynthesizer, createConstraintSynthesizer, } from './constraint-synthesizer.js';
+//# sourceMappingURL=index.js.map

package/dist/constraints/extraction/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/constraints/extraction/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,qBAAqB;AACrB,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,yBAAyB,CAAC;AAOjC,yBAAyB;AACzB,OAAO,EACL,qBAAqB,EACrB,2BAA2B,GAC5B,MAAM,6BAA6B,CAAC"}

package/dist/constraints/extraction/invariant-detector.d.ts

@@ -0,0 +1,109 @@
+/**
+ * Invariant Detector
+ *
+ * Analyzes Drift's existing data (patterns, call graphs, boundaries, test topology,
+ * error handling) to discover architectural invariants that can become constraints.
+ *
+ * This is the semantic analysis layer that mines invariants from:
+ * - Pattern data (high-confidence approved patterns)
+ * - Call graph (auth-before-data-access, validation patterns)
+ * - Boundaries (data access layer invariants)
+ * - Test topology (coverage requirements)
+ * - Error handling (error boundary patterns)
+ */
+import type { Constraint, ConstraintViolationDetail, ExtractionOptions } from '../types.js';
+import type { PatternStore } from '../../store/pattern-store.js';
+import type { CallGraphStore } from '../../call-graph/store/call-graph-store.js';
+import type { BoundaryStore } from '../../boundaries/boundary-store.js';
+import type { TestTopologyAnalyzer } from '../../test-topology/test-topology-analyzer.js';
+import type { ErrorHandlingAnalyzer } from '../../error-handling/error-handling-analyzer.js';
+export interface InvariantDetectorConfig {
+    rootDir: string;
+    patternStore?: PatternStore;
+    callGraphStore?: CallGraphStore;
+    boundaryStore?: BoundaryStore;
+    testTopologyAnalyzer?: TestTopologyAnalyzer;
+    errorHandlingAnalyzer?: ErrorHandlingAnalyzer;
+}
+export interface DetectedInvariant {
+    /** Proposed constraint */
+    constraint: Omit<Constraint, 'id' | 'metadata'>;
+    /** Evidence supporting this invariant */
+    evidence: InvariantEvidence;
+    /** Violations found during detection */
+    violations: ConstraintViolationDetail[];
+}
+export interface InvariantEvidence {
+    /** Number of conforming instances */
+    conforming: number;
+    /** Number of violating instances */
+    violating: number;
+    /** Sample locations that conform */
+    conformingLocations: string[];
+    /** Sample locations that violate */
+    violatingLocations: string[];
+    /** Source data used */
+    sources: string[];
+}
+export declare class InvariantDetector {
+    private readonly config;
+    constructor(config: InvariantDetectorConfig);
+    /**
+     * Detect invariants from all available Drift data
+     */
+    detectAll(options?: ExtractionOptions): Promise<DetectedInvariant[]>;
+    /**
+     * Detect invariants from pattern data
+     */
+    private detectFromPatterns;
+    /**
+     * Convert a high-confidence pattern to an invariant
+     */
+    private patternToInvariant;
+    /**
+     * Detect invariants from call graph analysis
+     */
+    private detectFromCallGraph;
+    /**
+     * Detect auth-before-data-access patterns
+     */
+    private detectAuthBeforeDataAccess;
+    /**
+     * Check if a function has auth in its call chain
+     */
+    private hasAuthInCallChain;
+    /**
+     * Detect validation patterns in call graph
+     */
+    private detectValidationPatterns;
+    /**
+     * Check if a function has a pattern in its call chain
+     */
+    private hasPatternInCallChain;
+    /**
+     * Detect invariants from boundary data
+     */
+    private detectFromBoundaries;
+    /**
+     * Detect invariants for sensitive data access
+     */
+    private detectSensitiveDataInvariants;
+    /**
+     * Extract the access layer from an accessor context
+     */
+    private extractAccessLayer;
+    /**
+     * Detect invariants from test topology
+     */
+    private detectFromTestTopology;
+    /**
+     * Detect invariants from error handling analysis
+     */
+    private detectFromErrorHandling;
+    private detectLanguageFromPattern;
+    private buildPredicateFromPattern;
+    private inferConstraintType;
+    private buildScopeFromPattern;
+}
+export declare function createInvariantDetector(config: InvariantDetectorConfig): InvariantDetector;
+//# sourceMappingURL=invariant-detector.d.ts.map

package/dist/constraints/extraction/invariant-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-detector.d.ts","sourceRoot":"","sources":["../../../src/constraints/extraction/invariant-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,UAAU,EAKV,yBAAyB,EAEzB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4CAA4C,CAAC;AAEjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+CAA+C,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AAM7F,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;CAC/C;AAED,MAAM,WAAW,iBAAiB;IAChC,0BAA0B;IAC1B,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,UAAU,CAAC,CAAC;IAChD,yCAAyC;IACzC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,wCAAwC;IACxC,UAAU,EAAE,yBAAyB,EAAE,CAAC;CACzC;AAGD,MAAM,WAAW,iBAAiB;IAChC,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,oCAAoC;IACpC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,uBAAuB;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAMD,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA0B;gBAErC,MAAM,EAAE,uBAAuB;IAI3C;;OAEG;IACG,SAAS,CAAC,OAAO,GAAE,iBAAsB,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC;IA8C9E;;OAEG;YACW,kBAAkB;IAwBhC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IA8E1B;;OAEG;YACW,mBAAmB;IAqBjC;;OAEG;IACH,OAAO,CAAC,0BAA0B;IA0FlC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAwC1B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IA0FhC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAuC7B;;OAEG;YACW,oBAAoB;IA0HlC;;OAEG;IACH,OAAO,CAAC,6BAA6B;IAoErC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAU1B;;OAEG;YACW,sBAAsB;IAyHpC;;OAEG;YACW,uBAAuB;IA2MrC,OAAO,CAAC,yBAAyB;IAiBjC,OAAO,CAAC,yBAAyB;IAwBjC,OAAO,CAAC,mBAAmB;IAmB3B,OAAO,CAAC,qBAAqB;CAe9B;AAMD,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,uBAAuB,GAC9B,iBAAiB,CAEnB"}