@stevenvo780/st-lang 3.2.2 → 4.0.0

package/dist/tests/time-travel/store.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.test.js","sourceRoot":"","sources":["../../../src/tests/time-travel/store.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAAqE;AACrE,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AACpB,mDAAwD;AACxD,yDAA6D;AAG7D,SAAS,SAAS,CAAC,OAAO,GAAG,WAAW;IACtC,OAAO;QACL,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC9D,aAAa,EAAE,OAAO;QACtB,iBAAiB,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAC9F,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACzE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QACnE,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAChD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACzE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACjE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAEjE,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB,CACzE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAC7C,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB,CACzE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAC7C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvF,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,aAAG,CAAC,SAAS,CAAC,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,UAAU,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACxE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7D,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACzE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1D,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;aAC7C;YACD,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC1C,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;aAC3C;YACD,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1D,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;SAClF,CAAC;QACF,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;SAC9E,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACtF,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/typecheck-core.test.d.ts

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

package/dist/tests/typecheck-core.test.d.ts.map

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

package/dist/tests/typecheck-core.test.js

@@ -0,0 +1,339 @@
+"use strict";
+// ============================================================
+// ST TypeChecker — Tests unitarios
+// ============================================================
+//
+// Cubre las 8 reglas TC001-TC008 + sugerencias Levenshtein.
+// Cada test: parsea código ST, corre typeCheck, verifica errores.
+// ============================================================
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const api_1 = require("../api");
+const typecheck_1 = require("../runtime/typecheck");
+const levenshtein_1 = require("../runtime/typecheck/levenshtein");
+// Helpers
+function tc(source, profile = '') {
+    const result = (0, api_1.parse)(source, 'test.st');
+    if (!result.ok || !result.program)
+        return [];
+    return (0, typecheck_1.typeCheck)(result.program, profile, 'test.st');
+}
+// eslint-disable-next-line @typescript-eslint/no-unused-vars -- utilidad para debug, puede usarse en pruebas futuras
+function codes(errors) {
+    return errors.map((e) => e.code);
+}
+function hasCode(errors, code) {
+    return errors.some((e) => e.code === code);
+}
+// ── Levenshtein ───────────────────────────────────────────────
+(0, vitest_1.describe)('levenshtein', () => {
+    (0, vitest_1.it)('distancia 0 para strings iguales', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('abc', 'abc')).toBe(0);
+    });
+    (0, vitest_1.it)('distancia 1 para una inserción', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('abc', 'abcd')).toBe(1);
+    });
+    (0, vitest_1.it)('distancia 1 para una sustitución', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('abc', 'axc')).toBe(1);
+    });
+    (0, vitest_1.it)('distancia 1 para una eliminación', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('abcd', 'acd')).toBe(1);
+    });
+    (0, vitest_1.it)('distancia correcta para strings completamente distintos', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('abc', 'xyz')).toBe(3);
+    });
+    (0, vitest_1.it)('maneja strings vacíos', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('', 'abc')).toBe(3);
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('abc', '')).toBe(3);
+        (0, vitest_1.expect)((0, levenshtein_1.levenshtein)('', '')).toBe(0);
+    });
+});
+(0, vitest_1.describe)('findClosest', () => {
+    const candidates = ['axiomA', 'axiomB', 'myTheorem', 'alpha'];
+    (0, vitest_1.it)('encuentra el más cercano con distancia ≤ 2', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.findClosest)('axiomC', candidates)).toBe('axiomA');
+    });
+    (0, vitest_1.it)('devuelve undefined si no hay candidato cercano', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.findClosest)('zzzzz', candidates)).toBeUndefined();
+    });
+    (0, vitest_1.it)('retorna el candidato exacto (distancia 0)', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.findClosest)('alpha', candidates)).toBe('alpha');
+    });
+    (0, vitest_1.it)('typo de 1 letra sugiere correctamente', () => {
+        (0, vitest_1.expect)((0, levenshtein_1.findClosest)('alpa', candidates)).toBe('alpha');
+    });
+});
+// ── Programa válido → 0 errores ────────────────────────────────
+(0, vitest_1.describe)('programa válido', () => {
+    (0, vitest_1.it)('propositional simple sin errores', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      axiom a2 : P
+      derive Q from a1, a2
+    `);
+        (0, vitest_1.expect)(errors).toHaveLength(0);
+    });
+    (0, vitest_1.it)('programa con fn y return sin errores', () => {
+        const errors = tc(`
+      logic classical.propositional
+      fn doble(x) {
+        return x
+      }
+    `);
+        (0, vitest_1.expect)(errors.filter((e) => e.severity === 'error')).toHaveLength(0);
+    });
+    (0, vitest_1.it)('define_decl sin errores', () => {
+        const errors = tc(`
+      logic classical.propositional
+      define IsHuman(x) := x
+    `);
+        (0, vitest_1.expect)(errors.filter((e) => e.severity === 'error')).toHaveLength(0);
+    });
+});
+// ── TC001 — Predicate/name not declared ──────────────────────
+(0, vitest_1.describe)('TC001 — nombre no declarado', () => {
+    (0, vitest_1.it)('premisa no declarada en derive emite TC001', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      derive Q from a1, a99
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC001')).toBe(true);
+    });
+    (0, vitest_1.it)('premisa no declarada en prove emite TC001', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      prove Q from a1, wrongName
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC001')).toBe(true);
+    });
+    (0, vitest_1.it)('fn_call a función no declarada emite TC001', () => {
+        const errors = tc(`logic classical.propositional\nfn miFn(x) {\n  return x\n}\nnoExiste(P)`);
+        (0, vitest_1.expect)(hasCode(errors, 'TC001')).toBe(true);
+    });
+});
+// ── TC001 — Sugerencia automática Levenshtein ─────────────────
+(0, vitest_1.describe)('TC001 — sugerencias Levenshtein', () => {
+    (0, vitest_1.it)('sugiere axioma cercano en premisa de derive', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      axiom a2 : P
+      derive Q from a1, a22
+    `);
+        const tc001 = errors.find((e) => e.code === 'TC001');
+        (0, vitest_1.expect)(tc001).toBeDefined();
+        (0, vitest_1.expect)(tc001?.suggestion).toMatch(/a2/);
+    });
+    (0, vitest_1.it)('no sugiere si el typo es muy diferente', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      derive Q from a1, zzzzz
+    `);
+        const tc001 = errors.find((e) => e.code === 'TC001');
+        (0, vitest_1.expect)(tc001).toBeDefined();
+        (0, vitest_1.expect)(tc001?.suggestion).toBeUndefined();
+    });
+});
+// ── TC002 — Arity mismatch ────────────────────────────────────
+(0, vitest_1.describe)('TC002 — arity mismatch en fn_call', () => {
+    (0, vitest_1.it)('fn declarada con 1 param llamada con 2 args emite TC002', () => {
+        const errors = tc(`logic classical.propositional\nfn miFn(x) {\n  return x\n}\nmiFn(P, Q)`);
+        (0, vitest_1.expect)(hasCode(errors, 'TC002')).toBe(true);
+    });
+    (0, vitest_1.it)('fn llamada con aridad correcta no emite TC002', () => {
+        const errors = tc(`logic classical.propositional\nfn miFn(x) {\n  return x\n}\nmiFn(P)`);
+        (0, vitest_1.expect)(hasCode(errors, 'TC002')).toBe(false);
+    });
+});
+// ── TC004 — Modal en perfil no-modal ─────────────────────────
+(0, vitest_1.describe)('TC004 — modalidad en perfil no-modal', () => {
+    (0, vitest_1.it)('[] en classical.propositional emite TC004', () => {
+        const errors = tc(`logic classical.propositional\ncheck valid ([] P)`);
+        (0, vitest_1.expect)(hasCode(errors, 'TC004')).toBe(true);
+    });
+    (0, vitest_1.it)('<> en classical.propositional emite TC004', () => {
+        const errors = tc(`logic classical.propositional\ncheck valid (<> P)`);
+        (0, vitest_1.expect)(hasCode(errors, 'TC004')).toBe(true);
+    });
+    (0, vitest_1.it)('[] en modal.k no emite TC004', () => {
+        const errors = tc(`logic modal.k\ncheck valid ([] P -> [] [] P)`, 'modal.k');
+        (0, vitest_1.expect)(hasCode(errors, 'TC004')).toBe(false);
+    });
+    (0, vitest_1.it)('[] en epistemic.s5 no emite TC004', () => {
+        const errors = tc(`logic epistemic.s5\ncheck valid ([] P)`, 'epistemic.s5');
+        (0, vitest_1.expect)(hasCode(errors, 'TC004')).toBe(false);
+    });
+});
+// ── TC005 — Incompatible types (aritmética en no-aritmético) ──
+(0, vitest_1.describe)('TC005 — operación aritmética en perfil no-aritmético', () => {
+    (0, vitest_1.it)('suma en classical.propositional emite TC005 (warning)', () => {
+        const errors = tc(`logic classical.propositional\naxiom myA = 1 + 2`);
+        const tc005 = errors.find((e) => e.code === 'TC005');
+        (0, vitest_1.expect)(tc005).toBeDefined();
+        (0, vitest_1.expect)(tc005?.severity).toBe('warning');
+    });
+});
+// ── TC006 — Declaración duplicada ────────────────────────────
+(0, vitest_1.describe)('TC006 — duplicate declaration', () => {
+    (0, vitest_1.it)('axioma redeclarado emite TC006', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom myAx : P -> Q
+      axiom myAx : Q -> R
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC006')).toBe(true);
+    });
+    (0, vitest_1.it)('teorema redeclarado emite TC006', () => {
+        const errors = tc(`
+      logic classical.propositional
+      theorem myTh : P -> P
+      theorem myTh : Q -> Q
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC006')).toBe(true);
+    });
+    (0, vitest_1.it)('axioma declarado una sola vez no emite TC006', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom uniq : P -> Q
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC006')).toBe(false);
+    });
+});
+// ── TC007 — Circular import ───────────────────────────────────
+(0, vitest_1.describe)('TC007 — importación circular', () => {
+    (0, vitest_1.it)('import del propio archivo emite TC007', () => {
+        const result = (0, api_1.parse)(`
+      import "test.st"
+      logic classical.propositional
+    `, 'test.st');
+        if (!result.ok || !result.program)
+            return;
+        const errors = (0, typecheck_1.typeCheck)(result.program, '', 'test.st');
+        (0, vitest_1.expect)(hasCode(errors, 'TC007')).toBe(true);
+    });
+    (0, vitest_1.it)('import duplicado emite TC007', () => {
+        const errors = tc(`
+      import "other.st"
+      import "other.st"
+      logic classical.propositional
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC007')).toBe(true);
+    });
+    (0, vitest_1.it)('import único no emite TC007', () => {
+        const errors = tc(`
+      import "other.st"
+      logic classical.propositional
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC007')).toBe(false);
+    });
+});
+// ── TC008 — return fuera de fn ────────────────────────────────
+(0, vitest_1.describe)('TC008 — return fuera de fn', () => {
+    (0, vitest_1.it)('return en top-level emite TC008', () => {
+        const errors = tc(`
+      logic classical.propositional
+      return P
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC008')).toBe(true);
+    });
+    (0, vitest_1.it)('return dentro de fn no emite TC008', () => {
+        const errors = tc(`
+      logic classical.propositional
+      fn test(x) {
+        return x
+      }
+    `);
+        (0, vitest_1.expect)(hasCode(errors, 'TC008')).toBe(false);
+    });
+});
+// ── Profile-aware: modal en modal.k válido ────────────────────
+(0, vitest_1.describe)('profile-aware', () => {
+    (0, vitest_1.it)('deontic.standard acepta [] (necesidad deóntica)', () => {
+        const errors = tc(`logic deontic.standard\ncheck valid ([] P)`, 'deontic.standard');
+        (0, vitest_1.expect)(hasCode(errors, 'TC004')).toBe(false);
+    });
+    (0, vitest_1.it)('intuitionistic.propositional rechaza []', () => {
+        const errors = tc(`logic intuitionistic.propositional\ncheck valid ([] P)`);
+        (0, vitest_1.expect)(hasCode(errors, 'TC004')).toBe(true);
+    });
+});
+// ── Integración: typeCheck desde api.ts ──────────────────────
+(0, vitest_1.describe)('integración con api.ts typeCheck', () => {
+    (0, vitest_1.it)('exporta typeCheck correctamente desde api', async () => {
+        const { typeCheck: tc2, parse: p2 } = await Promise.resolve().then(() => __importStar(require('../api')));
+        const r = p2(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      derive Q from a1, missingPremise
+    `);
+        (0, vitest_1.expect)(r.program).not.toBeNull();
+        const errs = tc2(r.program, '');
+        (0, vitest_1.expect)(errs.some((e) => e.code === 'TC001')).toBe(true);
+    });
+    (0, vitest_1.it)('programa limpio da [] desde api', async () => {
+        const { typeCheck: tc2, parse: p2 } = await Promise.resolve().then(() => __importStar(require('../api')));
+        const r = p2(`
+      logic classical.propositional
+      axiom a1 : P -> Q
+      axiom a2 : P
+    `);
+        (0, vitest_1.expect)(r.program).not.toBeNull();
+        const errs = tc2(r.program, '');
+        (0, vitest_1.expect)(errs.filter((e) => e.severity === 'error')).toHaveLength(0);
+    });
+});
+// ── Formato de error ─────────────────────────────────────────
+(0, vitest_1.describe)('formato de TypeError', () => {
+    (0, vitest_1.it)('cada error tiene code, severity, message y location', () => {
+        const errors = tc(`
+      logic classical.propositional
+      axiom dup : P
+      axiom dup : Q
+    `);
+        const dup = errors.find((e) => e.code === 'TC006');
+        (0, vitest_1.expect)(dup).toBeDefined();
+        (0, vitest_1.expect)(dup?.code).toMatch(/^TC\d{3}$/);
+        (0, vitest_1.expect)(['error', 'warning']).toContain(dup?.severity);
+        (0, vitest_1.expect)(typeof dup?.message).toBe('string');
+        (0, vitest_1.expect)(dup?.location).toBeDefined();
+        (0, vitest_1.expect)(typeof dup?.location.line).toBe('number');
+    });
+});
+//# sourceMappingURL=typecheck-core.test.js.map

package/dist/tests/typecheck-core.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-core.test.js","sourceRoot":"","sources":["../../src/tests/typecheck-core.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mCAAmC;AACnC,+DAA+D;AAC/D,EAAE;AACF,4DAA4D;AAC5D,kEAAkE;AAClE,+DAA+D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,mCAA8C;AAC9C,gCAA+B;AAC/B,oDAAiD;AACjD,kEAA4E;AAG5E,UAAU;AACV,SAAS,EAAE,CAAC,MAAc,EAAE,OAAO,GAAG,EAAE;IACtC,MAAM,MAAM,GAAG,IAAA,WAAK,EAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC7C,OAAO,IAAA,qBAAS,EAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AACvD,CAAC;AAED,qHAAqH;AACrH,SAAS,KAAK,CAAC,MAAmB;IAChC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,OAAO,CAAC,MAAmB,EAAE,IAAY;IAChD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC7C,CAAC;AAED,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAE9D,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,kEAAkE;AAElE,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,EAAE,CAAC;;;;;KAKjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,EAAE,CAAC;;;;;KAKjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,EAAE,CAAC;;;KAGjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,EAAE,CAAC,yEAAyE,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,EAAE,CAAC;;;;;KAKjB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,EAAE,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,EAAE,CAAC,wEAAwE,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,EAAE,CAAC,qEAAqE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,EAAE,CAAC,mDAAmD,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,EAAE,CAAC,mDAAmD,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,EAAE,CAAC,8CAA8C,EAAE,SAAS,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,EAAE,CAAC,wCAAwC,EAAE,cAAc,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,EAAE,CAAC,kDAAkD,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,EAAE,CAAC;;;KAGjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAA,WAAK,EAClB;;;KAGD,EACC,SAAS,CACV,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO;QAC1C,MAAM,MAAM,GAAG,IAAA,qBAAS,EAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,EAAE,CAAC;;;KAGjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,EAAE,CAAC;;;KAGjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,EAAE,CAAC;;;;;KAKjB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,EAAE,CAAC,4CAA4C,EAAE,kBAAkB,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,EAAE,CAAC,wDAAwD,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,wDAAa,QAAQ,GAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC;;;;KAIZ,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,OAAQ,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,wDAAa,QAAQ,GAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC;;;;KAIZ,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,OAAQ,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,EAAE,CAAC;;;;KAIjB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,OAAO,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/text-layer/v2/claim-graph.d.ts

@@ -0,0 +1,45 @@
+/**
+ * ClaimGraph — DAG de claims con detección de ciclos, orden topológico,
+ * validación e invalidación propagada.
+ */
+import type { Claim, ClaimEvaluator, ClaimValidation } from './types';
+export declare class CycleError extends Error {
+    readonly cycles: string[][];
+    constructor(cycles: string[][]);
+}
+export declare class ClaimGraph {
+    private readonly claims;
+    add(claim: Claim): void;
+    remove(claimId: string): boolean;
+    get(claimId: string): Claim | undefined;
+    all(): Claim[];
+    /**
+     * Tarjan SCC. Devuelve sólo las componentes con ciclo (size > 1, o size 1
+     * con auto-loop). Un grafo acíclico devuelve [].
+     */
+    detectCycles(): string[][];
+    /**
+     * Orden topológico (Kahn) — claims sin dependencias primero, luego sus
+     * consumidores. Tira CycleError si hay ciclo.
+     *
+     * Las dependencias faltantes (referidas pero no en el grafo) se ignoran
+     * para el conteo de in-degree — son responsabilidad del evaluator.
+     */
+    topologicalOrder(): string[];
+    /**
+     * Valida todas las claims en orden topológico. Si una claim depende de
+     * otra ya marcada inválida, se marca inválida con invalidatedBy = lista
+     * de root claims inválidas en su árbol de dependencias.
+     *
+     * El evaluator sólo se invoca para claims cuyas dependencias son todas
+     * válidas (short-circuit por propagación).
+     */
+    validateAll(evaluator: ClaimEvaluator): Promise<ClaimValidation[]>;
+    /**
+     * Todas las claims que dependen transitivamente de rootClaimId (sus
+     * descendientes en el DAG de dependencias). El propio root NO se
+     * incluye. Orden determinístico (BFS, alfabético dentro de cada nivel).
+     */
+    invalidationPath(rootClaimId: string): string[];
+}
+//# sourceMappingURL=claim-graph.d.ts.map

package/dist/text-layer/v2/claim-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-graph.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/claim-graph.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAEtE,qBAAa,UAAW,SAAQ,KAAK;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;gBAChB,MAAM,EAAE,MAAM,EAAE,EAAE;CAO/B;AAED,qBAAa,UAAU;IACrB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4B;IAEnD,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAcvB,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAIhC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMvC,GAAG,IAAI,KAAK,EAAE;IAOd;;;OAGG;IACH,YAAY,IAAI,MAAM,EAAE,EAAE;IA6D1B;;;;;;OAMG;IACH,gBAAgB,IAAI,MAAM,EAAE;IAmD5B;;;;;;;OAOG;IACG,WAAW,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;IA2DxE;;;;OAIG;IACH,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE;CAiChD"}