crypto-aio 0.1.0 → 0.2.0

package/dist/adapters/ton/proofs.js.map

@@ -1 +1 @@
-{"version":3,"file":"proofs.js","sourceRoot":"","sources":["../../../src/adapters/ton/proofs.ts"],"names":[],"mappings":";;;AAwHA,oCAcC;AAuDD,8BAmBC;AA2eD,sCAwEC;AA0DD,0CA6FC;AAsBD,4CAwBC;AAx8BD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,oCAAkF;AAElF,mDAIiC;AAEjC,+BAgBe;AACf,yCAAgC;AAChC,qCAYkB;AAClB,uCAImB;AACnB,mCAAsE;AACtE,uCAAyD;AAEzD,+FAA+F;AAClF,QAAA,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,sEAAsE;AACzD,QAAA,UAAU,GAAG,EAAE,CAAC;AAC7B,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,yFAAyF;AACzF,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,4FAA4F;AAC5F,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAC9B,oEAAoE;AACpE,MAAM,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,6DAA6D;AAC7D,MAAM,gBAAgB,GAAG,WAAY,CAAC;AACtC,+EAA+E;AAC/E,MAAM,WAAW,GAAG,EAAE,IAAI,GAAG,CAAC;AAE9B,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,EAAE,CACnC,IAAI,qBAAa,CAAC,sBAAsB,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAEzE,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,EAAE,CACtC,IAAI,qBAAa,CAAC,uBAAuB,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAE1E;;;;GAIG;AACH,KAAK,UAAU,gBAAgB,CAAC,GAAe,EAAE,KAAa;IAC5D,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,WAAK,CAAC,CAAC;IAC7D,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC;IACtB,IACE,EAAE,CAAC,SAAS,KAAK,CAAC,CAAC;QACnB,EAAE,CAAC,KAAK,KAAK,uBAAiB;QAC9B,EAAE,CAAC,KAAK,KAAK,KAAK;QAClB,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,EACvC,CAAC;QACD,MAAM,YAAY,CAAC,yDAAyD,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,YAAY,CAAC,GAAe;IAChD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,aAAO,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC;IACjC,IAAI,IAAa,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,OAAO,MAAM,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,IAAA,wBAAgB,EAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS;gBAAE,MAAM,KAAK,CAAC;YAC9D,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,MAAM,IAAI,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAwB;IAC/C,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,SAAS,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,GAAG,GAAG,CAAC;IACb,CAAC;IACD,OAAO,IAAI,KAAK,WAAW,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CAAC,IAAqC;IAC1D,MAAM,QAAQ,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,UAAU,GAAG,+BAAqB,CAAC,GAAG,8BAAoB,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAW,EAAE,CAClD,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC;AAErD;;;;;;;;GAQG;AACI,KAAK,UAAU,SAAS,CAC7B,GAAe,EACf,MAAmB,EACnB,UAAkB;IAElB,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;QAAE,MAAM,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAClF,IAAI,UAAU,GAAG,MAAM,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,WAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,CAAC,2CAA2C,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,WAAK,CAAC,CAAC;QACpD,IAAI,CAAC,IAAA,eAAS,EAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxE,MAAM,YAAY,CAAC,+DAA+D,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,UAAU,GAAG,KAAK,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,SAAS,OAAO,CAAC,MAAiB;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,QAAQ,KAAK,CAAC;QAC1B,KAAK,EAAE,IAAI,KAAK,KAAK;QACrB,KAAK,CAAC,KAAK,IAAI,EAAE;QACjB,KAAK,CAAC,KAAK,IAAI,gBAAgB;QAC/B,CAAC,CAAC,KAAK,CAAC,KAAK;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,OAAO,CACpB,GAAe,EACf,MAAc,EACd,IAAiB;IAEjB,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,WAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC,IAAA,eAAS,EAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACrC,MAAM,YAAY,CAAC,mDAAmD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,OAAO,CACpB,GAAe,EACf,MAAc,EACd,IAAiB,EACjB,KAAmB;IAEnB,MAAM,KAAK,GAAG,CAAC,MAAsB,EAAW,EAAE,CAChD,IAAA,eAAS,EAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM;QAC1C,MAAM,CAAC,eAAe,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC;IACjD,MAAM,GAAG,GAAG,CAAC,IAAa,EAAW,EAAE;QACrC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,IAAI,CAAC,CAAC;YACtC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,cAAc,CACzC,MAAM,EACN,OAAO,EACP,EAAE,EACF,EAAE,GAAG,WAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAC5B,IAAI,CAAC,EAAE,CAAC,KAAK,CACd,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,MAAM,YAAY,CAAC,2DAA2D,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC;AAED,6FAA6F;AAC7F,MAAM,SAAS,GAAG,CAAC,EAAU,EAAsB,EAAE,CACnD,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAE9D;;;;;;;GAOG;AACH,KAAK,UAAU,UAAU,CACvB,GAAe,EACf,IAAY,EACZ,KAAa,EACb,IAAiB,EACjB,KAAmB;IAEnB,MAAM,SAAS,GAAG,IAAA,oBAAW,EAAC,GAAG,EAAE,IAAI,EAAE,WAAK,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACzB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,sBAAc,EAAE,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAClE,IAAI,EACJ,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,EAC/B,WAAK,CACN,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,MAAM,IAAA,sBAAa,EAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,OAAO,GAAG,KAAK;gBAAE,SAAS;YAC9B,IAAI,OAAO,GAAG,KAAK;gBAAE,OAAO,SAAS,CAAC;YACtC,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC;gBACjC,MAAM,YAAY,CAAC,kDAAkD,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,gDAAgD,EAAE;QAC7D,IAAI,EAAE,0BAA0B;KACjC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8FAA8F;AAE9F,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAE/E;;;;GAIG;AACH,MAAM,YAAY,GAAG,GAAG,EAAE,CACxB,YAAY,CAAC,+DAA+D,CAAC,CAAC;AAEhF,SAAS,aAAa,CACpB,GAAmB,EACnB,QAAuB,EACvB,OAAe;IAEf,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAAE,MAAM,YAAY,EAAE,CAAC;IAC/E,IAAI,IAAU,CAAC;IACf,IAAI,EAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,WAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,YAAY,EAAE,CAAC;QAC7C,IAAI,GAAG,KAAK,CAAC,CAAC,CAAS,CAAC;QACxB,EAAE,GAAG,IAAA,sBAAe,EAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,YAAY,EAAE,CAAC;IACvB,CAAC;IACD,IACE,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,IAAI;QAC7C,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE;QACrB,EAAE,CAAC,OAAO,KAAK,OAAO,EACtB,CAAC;QACD,MAAM,YAAY,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,GAAG,kBAAU,GAAG,SAAS,CAAC;AAE1C;;;;;;;;GAQG;AACH,KAAK,UAAU,SAAS,CACtB,GAAe,EACf,MAAc,EACd,IAAmB,EACnB,KAA0D;IAE1D,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,IAAI,IAAI,GAAqB,EAAE,CAAC;IAChC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,EAAE,CAAC,OAAO,KAAK,OAAO;gBAAE,MAAM,YAAY,EAAE,CAAC;YACjD,gEAAgE;YAChE,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,IAAI,GAAG,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,GAAG,GAAG,CAAC;YACf,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,OAAO,KAAK,kBAAU;oBAAE,OAAO,WAAW,CAAC;gBAC/C,OAAO,IAAI,CAAC,CAAC;gBACb,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAK,CAAC,CAAC;gBACzE,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,MAAM,SAAS,CAAC,oDAAoD,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;YACD,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC5C,gFAAgF;YAChF,iBAAiB;YACjB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,uBAAc;gBAAE,IAAA,aAAI,EAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,EAAE,mBAAU,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,MAAM,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACrD,IAAI,EAAE,CAAC,iBAAiB,KAAK,EAAE;YAAE,OAAO,OAAO,CAAC;QAChD,QAAQ,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,iBAAiB,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,IAAI,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChE,MAAM,OAAO,GAAwB,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhF,uDAAuD;AACvD,SAAS,QAAQ,CAAC,EAAe;IAC/B,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC;IACzB,MAAM,OAAO,GAAG,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,MAAM,EAAE,GAAG,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACxD,OAAO;QACL;sDAC8C;QAC9C,GAAG,EAAE,EAAE,KAAK,SAAS;QACrB,8EAA8E;QAC9E,QAAQ,EACN,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,EAAE,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,KAAK,IAAI;QACjF,4CAA4C;QAC5C,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;QACvD,qFAAqF;QACrF,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,SAAS,KAAK,QAAQ;QAClE,6EAA6E;QAC7E,WAAW,EACT,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC;KACpC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,YAAY,CACzB,GAAe,EACf,MAAc,EACd,OAAmC,EACnC,GAA0C;IAE1C,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACzB,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,EAAE,GAAG,EAAE,KAAK,aAAE,CAAC,gBAAgB,IAAI,EAAE,KAAK,aAAE,CAAC,gBAAgB,CAAC;IACpE,IACE,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAC9B,CAAC,CAAC,EAAE,KAAK,aAAE,CAAC,gBAAgB;QAC5B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EACvC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5B,4FAA4F;QAC5F,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,GAAG,EAAE,CAAC;IAC9B,OAAO,SAAS,IAAI,IAAA,sBAAY,EAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC5E,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QACf,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAeD,MAAM,cAAc,GAAG,CAAC,GAAe,EAAE,EAAE;IACzC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,kDAAkD,EAAE;QAC/D,IAAI,EAAE,wBAAwB;KAC/B,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,kDAAkD,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,GAAe,EAAE,EAAE;IACxC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,+CAA+C,EAAE;QAC5D,IAAI,EAAE,yBAAyB;KAChC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,+CAA+C,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,KAAK,UAAU,YAAY,CACzB,GAAe,EACf,MAAc,EACd,OAAe,EACf,KAAc;IAEd,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,OAAO,EAAE,WAAK,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;IACzD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAClE,MAAM,EACN,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAClE,WAAK,CACN,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;YACrC,IACE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO;gBACnB,UAAU,KAAK,SAAS;gBACxB,SAAS,KAAK,SAAS;gBACvB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,QAAQ;gBACvB,SAAS,KAAK,QAAQ;gBACtB,SAAS,KAAK,QAAQ,EACtB,CAAC;gBACD,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,KAAK,UAAU,YAAY,CAAC,GAAe,EAAE,CAAgB;IAC3D,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACxD,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1B,2EAA2E;QAC3E,IAAI,CAAC,CAAC,MAAM;YAAE,MAAM,YAAY,CAAC,yCAAyC,CAAC,CAAC;QAC5E,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IACD,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAA,oBAAW,EAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,WAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAClE,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IACzB,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAwB,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,MAAM,GAAG,GAAG,MAAM,SAAS,CACzB,GAAG,EACH,CAAC,CAAC,MAAM,EACR,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,EAC9C,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;QACjB,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,IAAI,GAAG,IAAI,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,GAAG,WAAW,IAAI,CAAC,CAAC,YAAY,IAAI,aAAa,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,WAAW;gBAAE,KAAK,GAAG,IAAI,CAAC;YACpD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,CAAC,WAAW;YAAE,KAAK,GAAG,IAAI,CAAC;QAChC,IAAI,YAAY,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK;gBAAE,aAAa,GAAG,IAAI,CAAC;iBAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK;gBAAE,KAAK,GAAG,IAAI,CAAC;QACzE,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,IAAI,YAAY,IAAI,CAAC,aAAa;gBAAE,KAAK,GAAG,IAAI,CAAC;YACjD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CACF,CAAC;IACF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxC,IAAI,GAAG,KAAK,WAAW;QAAE,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,CAAC;QAAE,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IACzE,IAAI,GAAG,KAAK,OAAO;QAAE,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CACb,EAAe,EACf,CAA8B,EAC9B,MAAc,EACd,EAAU;IAEV,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;IAC7B,OAAO,CACL,CAAC,CAAC,QAAQ;QACV,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,aAAa;QACpC,IAAA,wBAAc,EAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAC5C,CAAC;AACJ,CAAC;AAiBD;;;GAGG;AACH,KAAK,UAAU,UAAU,CACvB,GAAe,EACf,MAAc,EACd,KAAa;IAEb,MAAM,KAAK,GAAG,CAAC,MAAiB,EAAW,EAAE;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,KAAK,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAa,EAAW,EAAE;QACrC,IAAI,CAAC;YACH,OAAO,KAAK,CAAC,IAAA,iBAAW,EAAC,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,CACV,MAAM,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,WAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACI,KAAK,UAAU,aAAa,CACjC,GAAe,EACf,OAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC;IAC/B,sEAAsE;IACtE,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,IAAI;QAAE,OAAO,MAAM,CAAC;IACxB,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,aAAO,CAAC,CAAC;IACrD,qFAAqF;IACrF,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,IACE,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC9B,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;YACtC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EACzD,CAAC;YACD,MAAM,YAAY,CAAC,qDAAqD,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ;QACzB,MAAM,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAC9D,yFAAyF;IACzF,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,IAAI,QAAQ,CAAC,MAAM,KAAK,EAAE;QAAE,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IAC3E,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACtB,8EAA8E;QAC9E,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,kFAAkF;IAClF,MAAM,IAAI,GAAG,GAAG,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,IAAI,MAAM,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC;IAC9D,IAAI,QAAQ,GAAG,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC;IACvC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,MAAM,GAAG,GAAG,MAAM,SAAS,CACzB,GAAG,EACH,MAAM,EACN,EAAE,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,EACtC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;QACjB,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC;QACd,IAAI,CAAC,MAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7E,MAAM,YAAY,CAAC,qDAAqD,CAAC,CAAC;YAC5E,CAAC;YACD,MAAM,GAAG,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC;QACjC,CAAC;QACD,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,MAAM,IAAI,EAAE,CAAC,GAAG,GAAG,WAAW;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,WAAW;gBAAE,KAAK,GAAG,IAAI,CAAC;YACpD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,CAAC,WAAW;YAAE,KAAK,GAAG,IAAI,CAAC;QAChC,IAAI,CAAC,CAAC,UAAU;YAAE,QAAQ,GAAG,IAAI,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC,CACF,CAAC;IACF,IAAI,IAAI;QAAE,OAAO,MAAM,CAAC;IACxB,IAAI,GAAG,KAAK,WAAW;QAAE,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAClD,uFAAuF;IACvF,IAAI,KAAK,IAAI,CAAC,MAAM;QAAE,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,OAAO;QAAE,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD;;;;GAIG;AACH,KAAK,UAAU,aAAa,CAC1B,GAAe,EACf,EAAiB,EACjB,IAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,WAAK,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,MAAM,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,IAAA,mBAAU,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,EAAE,WAAK,CAAC,CAAC,EAAE,CAAC;QACrD,MAAM,SAAS,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,IAAA,oBAAW,EAAC,GAAG,EAAE,IAAA,sBAAc,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,WAAK,EAAE,IAAI,CAAC,CAAC;IACrF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAC5B,MAAM,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IACvD,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,SAAS;QACnC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC;QAC/B,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ;QAC7B,MAAM,EAAE,EAAE,CAAC,IAAI;QACf,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,SAAS,CACtB,GAAe,EACf,IAAY,EACZ,MAAc,EACd,EAAU;IAEV,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAK,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM;QAAE,MAAM,SAAS,CAAC,oCAAoC,CAAC,CAAC;IACnE,IAAI,CAAC,IAAA,oBAAY,EAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAA,qBAAa,EAAC,MAAM,CAAC,EAAE,CAAC;QAChE,MAAM,YAAY,CAAC,qDAAqD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,QAAsB,EAAE,EAAE,CAC/C,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAEnD,SAAgB,eAAe,CAAC,GAAe;IAC7C,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC;IACvE,OAAO;QACL,KAAK,CAAC,aAAa;YACjB,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;YACvC,OAAO;gBACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC;gBAC/B,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ;gBACxB,SAAS,EAAE,MAAM,CAAC,QAAQ;aAC3B,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI;YACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,iFAAiF;YACjF,mFAAmF;YACnF,kEAAkE;YAClE,MAAM,GAAG,GAAG,MAAM,IAAA,uBAAc,EAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,WAAK,CAAC,CAAC;YAC1D,IAAI,GAAG,IAAI,IAAA,qBAAa,EAAC,GAAG,CAAC;gBAAE,OAAO,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACtE,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS;gBAAE,MAAM,SAAS,CAAC,sCAAsC,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,MAAM,SAAS,CAAC,wCAAwC,CAAC,CAAC;YACrE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC/B,MAAM,SAAS,CAAC,kCAAkC,CAAC,CAAC;YACtD,0EAA0E;YAC1E,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;YACzC,mFAAmF;YACnF,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,CAAC;gBAChE,MAAM,SAAS,CAAC,0CAA0C,CAAC,CAAC;YAC9D,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,IAAI,KAAK,KAAK,SAAS;gBACrB,MAAM,SAAS,CAAC,0CAA0C,CAAC,CAAC;YAC9D,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACvB,kFAAkF;gBAClF,8EAA8E;gBAC9E,8DAA8D;gBAC9D,IAAI,IAA+B,CAAC;gBACpC,IAAI,CAAC;oBACH,IAAI,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAChE,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,IAAA,wBAAgB,EAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS;wBAAE,MAAM,KAAK,CAAC;oBAC9D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,2CAA2C,EAAE;wBACxD,IAAI,EAAE,8BAA8B;qBACrC,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,IAAI,IAAI,IAAA,oBAAY,EAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;oBACxC,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5C,CAAC;YACD,oFAAoF;YACpF,gCAAgC;YAChC,IAAI,CAAC,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;gBACnD,MAAM,SAAS,CAAC,mCAAmC,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE;gBACpC,MAAM;gBACN,EAAE;gBACF,IAAI;gBACJ,IAAI;gBACJ,KAAK;gBACL,MAAM;gBACN,KAAK;aACN,CAAC,CAAC;YACH,IAAI,MAAM,IAAI,KAAK;gBAAE,OAAO,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK;YACtC,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxB,+EAA+E;YAC/E,kFAAkF;YAClF,IAAI,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YACrC,kEAAkE;YAClE,OAAO,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,QAAQ;YACpB,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxB,OAAO,SAAS,CAAC,GAAG,EAAE,MAAM,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAClE,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,MAAM;YACpB,8EAA8E;YAC9E,IAAI,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,eAAe,CAAC,aAAO,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpF,OAAO,CAAC,MAAM,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;QACnE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,QAAQ,CAAC,MAA0B;IAC1C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,IACE,MAAM,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,CAAC,MAAM,GAAG,aAAa;QAC7B,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QACrB,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,EACvB,CAAC;QACD,MAAM,IAAI,uBAAe,CAAC,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAAC,GAAe;IAC9C,OAAO;QACL,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO;YACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC;YACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAChD,OAAO,EACP;gBACE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC;gBAChD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1C,EACD,UAAI,CACL,CAAC;YACF,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,IAAA,iBAAQ,GAAE,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAA,0BAAiB,EAAC,GAAG,EAAE,EAAE,EAAE,UAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO;gBACL,KAAK;gBACL,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnE,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Proofs and address history. Every proof attests a fact at its own height, with a\n * monotone predicate or at a fixed block, and no endpoint proposes a height. The one\n * exception is the unanchored head: one endpoint's masterchain head, trailed by\n * `finalitySkewBlocks` and attested by a quorum read of that block, retried at the\n * transport's own lag tolerance. Every lookup is bound to what it asked for: a header\n * names the block asked, the shard tops cover the basechain, a state and a get-method\n * name the block asked and the state read there.\n *\n * \"Not included\" rests only on authenticated chain data, never on an indexer's records: a\n * lying or lagging indexer can miss a message that ran, and a `rebuild` on its word would\n * pay twice. The proof reads, at an attested block where the message is expired, the\n * account's own chain of transactions, as the liteserver serves their cells, each hashed\n * here and linked by its `prev_trans` fields back from the attested state's last\n * transaction. A wallet can be reset (deleted, or destroyed to uninitialized, then\n * re-deployed from its public `StateInit` with seqno 0), so an activation, a destruction\n * or a chain start inside what the proof must see decides nothing, unless the chain\n * itself shows our transaction. Anything not yet decidable throws a retryable\n * `PROVIDER_UNAVAILABLE`, and an answer the chain could not have produced a retryable\n * `PROVIDER_INCONSISTENT`; both decide nothing.\n */\nimport { Cell, loadTransaction, type Message, type Transaction } from '@ton/core';\nimport type { AddressHistorySource, ProofSource } from '../../core/driver/types';\nimport {\n  ProviderError,\n  ValidationError,\n  isCryptoAioError,\n} from '../../core/errors/error';\nimport type { OrderingData } from '../../core/model/ordering';\nimport {\n  MASTERCHAIN_SHARD,\n  MONITOR,\n  PROOF,\n  READ,\n  boundRunResultOf,\n  runResultOf,\n  sameBlock,\n  type AccountState,\n  type BlockHeader,\n  type BlockId,\n  type BoundRunResult,\n  type RawTransaction,\n  type RunResult,\n  type TransactionId,\n  type V3Transaction,\n} from './api';\nimport { OP } from './messages';\nimport {\n  CHAIN_MEMO,\n  MEMO_TX_LENGTH,\n  confirmLegs,\n  decodeWithJettons,\n  findOwnAttempt,\n  keep,\n  pageMemo,\n  provenRequest,\n  publicKeyAt,\n  traceBlock,\n  type TonContext,\n} from './reader';\nimport {\n  CHAIN_TIME_TOLERANCE,\n  MAX_VALID_FOR_SECONDS,\n  recordedValidFrom,\n} from './network';\nimport { attemptVerdict, consumesSeqno, isOwnAttempt } from './trace';\nimport { externalHashOf, requestIsOwn } from './wallets';\n\n/** How far back the consumer of a seqno is searched: pages of `CONSUMER_PAGE` transactions. */\nexport const CONSUMER_PAGES = 8;\nconst CONSUMER_PAGE = 64;\n\n/** How far the chain is walked: pages of `WALK_PAGE` transactions. */\nexport const WALK_PAGES = 16;\nconst WALK_PAGE = 32;\n/** How far an anchored indexer history is read: pages of `HISTORY_PAGE` transactions. */\nconst HISTORY_PAGES = 8;\nconst HISTORY_PAGE = 64;\n\n/** toncenter v3 refuses a page of more rows (\"limit is not allowed: 1001 > 1000\", live). */\nconst HISTORY_PAGE_MAX = 1000;\n/** A logical time is a u64; a history cursor is one, in decimal. */\nconst MAX_LT = (1n << 64n) - 1n;\nconst MAX_LT_DIGITS = 20;\n/** A wallet seqno is a u32: any other number is no seqno. */\nconst MAX_WALLET_SEQNO = 0xffff_ffffn;\n/** The shard id space of a workchain: 2^64 ids, which its shards partition. */\nconst SHARD_SPACE = 1n << 64n;\n\nconst undecided = (reason: string) =>\n  new ProviderError('PROVIDER_UNAVAILABLE', reason, { retryable: true });\n\nconst inconsistent = (reason: string) =>\n  new ProviderError('PROVIDER_INCONSISTENT', reason, { retryable: true });\n\n/**\n * The masterchain block `seqno`, attested by the proof quorum (ids, hashes, time, global\n * id), and bound to the block asked: an answer about another block or network decides\n * nothing.\n */\nasync function masterchainBlock(ctx: TonContext, seqno: number): Promise<BlockHeader> {\n  const header = await ctx.api.masterchainHeader(seqno, PROOF);\n  const { id } = header;\n  if (\n    id.workchain !== -1 ||\n    id.shard !== MASTERCHAIN_SHARD ||\n    id.seqno !== seqno ||\n    header.globalId !== ctx.config.globalId\n  ) {\n    throw inconsistent('the endpoints answered another block than the one asked');\n  }\n  return header;\n}\n\n/**\n * The one unanchored head: one endpoint's head, trailed by the network's skew and\n * attested by the quorum; when a healthy peer trails further, retried at the transport's\n * lag tolerance, the furthest a proof endpoint may trail. Never a false head, only a\n * later one.\n */\nexport async function attestedHead(ctx: TonContext): Promise<BlockHeader> {\n  const head = await ctx.api.masterchainHead(MONITOR);\n  const skew = ctx.config.finalitySkewBlocks;\n  const lag = ctx.api.lagTolerance;\n  let last: unknown;\n  for (const trail of lag > skew ? [skew, lag] : [skew]) {\n    try {\n      return await masterchainBlock(ctx, Math.max(1, head - trail));\n    } catch (error) {\n      if (!isCryptoAioError(error) || !error.retryable) throw error;\n      last = error;\n    }\n  }\n  throw last;\n}\n\n/**\n * Whether the basechain shards among `tops` partition its whole id space: a shard id is its\n * prefix, then a 1 bit, then zeros, so it covers `id ± lowest set bit` (unsigned). A set that\n * leaves a shard out would hide that shard's time.\n */\nfunction coversBasechain(tops: readonly BlockId[]): boolean {\n  const ranges: (readonly [bigint, bigint])[] = [];\n  for (const top of tops) {\n    if (top.workchain !== 0) continue;\n    const id = BigInt.asUintN(64, BigInt(top.shard));\n    const half = id & -id;\n    if (half === 0n) return false;\n    ranges.push([id - half, id + half]);\n  }\n  ranges.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));\n  let next = 0n;\n  for (const [start, end] of ranges) {\n    if (start !== next) return false;\n    next = end;\n  }\n  return next === SHARD_SPACE;\n}\n\n/**\n * The earliest chain time our message can have run at. The build recorded it\n * (`TonSeqnoOrdering.validFrom`); less the builder's chain-time tolerance, it covers an\n * endpoint whose time ran ahead of the chain within that tolerance, whatever the\n * network's `validForSeconds` is now (a window from today's setting could start after an\n * earlier run, and a reset wallet's history would then prove \"not included\" falsely).\n * Without a well-formed record (an attempt built before it, or bytes this driver did not\n * assemble), the widest lifetime any network allows before `validUntil`, less the\n * tolerance.\n * Known gap: an endpoint and the local clock both more than the tolerance ahead of the\n * chain start the window too late; the host's clock must stay in sync.\n */\nfunction windowStartOf(slot: { readonly validUntil: number }): number {\n  const recorded = recordedValidFrom(slot);\n  return (recorded ?? slot.validUntil - MAX_VALID_FOR_SECONDS) - CHAIN_TIME_TOLERANCE;\n}\n\n/** A lifetime is a positive chain time; the reservation's placeholder 0 is none. */\nconst hasLifetime = (validUntil: number): boolean =>\n  Number.isSafeInteger(validUntil) && validUntil > 0;\n\n/**\n * No block after `header` can include a message valid until `validUntil`: the\n * masterchain block and every shard top it commits are at least that old, every later block\n * of a shard is younger than its top (the collator's `now` rises), and a wallet rejects a\n * message once `valid_until <= now()`. The shard tops are asked for the attested block's\n * seqno; toncenter's answer names no block (live), so only the proof quorum binds the list\n * to it, and it must cover the basechain. Each top's header is read under the quorum\n * and bound to the id the list gives. A lifetime that is no time decides nothing.\n */\nexport async function expiredAt(\n  ctx: TonContext,\n  header: BlockHeader,\n  validUntil: number,\n): Promise<boolean> {\n  if (!hasLifetime(validUntil)) throw undecided('a TON attempt needs its lifetime');\n  if (validUntil > header.genUtime) return false;\n  const tops = await ctx.api.shards(header.id.seqno, PROOF);\n  if (!coversBasechain(tops)) {\n    throw inconsistent('the shard tops do not cover the basechain');\n  }\n  for (const top of tops) {\n    const shard = await ctx.api.blockHeader(top, PROOF);\n    if (!sameBlock(shard.id, top) || shard.globalId !== ctx.config.globalId) {\n      throw inconsistent('the endpoints answered another shard block than the one asked');\n    }\n    if (validUntil > shard.genUtime) return false;\n  }\n  return true;\n}\n\n/** The seqno a `seqno` get-method answers; undefined when it answers none. */\nfunction seqnoIn(result: RunResult): bigint | undefined {\n  const first = result.stack[0];\n  return result.exitCode === 0 &&\n    first?.type === 'num' &&\n    first.value >= 0n &&\n    first.value <= MAX_WALLET_SEQNO\n    ? first.value\n    : undefined;\n}\n\n/**\n * The account state at the attested block `head`, bound to it: the block the\n * answer names is `head`, its workchain, shard, seqno and hashes.\n */\nasync function stateAt(\n  ctx: TonContext,\n  wallet: string,\n  head: BlockHeader,\n): Promise<AccountState> {\n  const state = await ctx.api.account(wallet, PROOF, head.id.seqno);\n  if (!sameBlock(state.block, head.id)) {\n    throw inconsistent('the endpoints answered the state at another block');\n  }\n  return state;\n}\n\n/**\n * The wallet's seqno in the attested `state`: the get-method's answer must name the\n * attested block and the state's last transaction, so it is the state whose status was\n * read, never an endpoint's latest one. The quorum key is the seqno and that binding, as\n * parsed values, so formatting never splits the quorum; it never throws.\n */\nasync function seqnoAt(\n  ctx: TonContext,\n  wallet: string,\n  head: BlockHeader,\n  state: AccountState,\n): Promise<bigint | undefined> {\n  const bound = (result: BoundRunResult): boolean =>\n    sameBlock(result.block, head.id) &&\n    result.lastTransaction.lt === state.lastLt &&\n    result.lastTransaction.hash === state.lastHash;\n  const key = (body: unknown): unknown => {\n    try {\n      const result = boundRunResultOf(body);\n      return { seqno: seqnoIn(result)?.toString() ?? null, bound: bound(result) };\n    } catch {\n      return 'malformed';\n    }\n  };\n  const result = await ctx.api.runGetMethodAt(\n    wallet,\n    'seqno',\n    [],\n    { ...PROOF, quorumKey: key },\n    head.id.seqno,\n  );\n  if (!bound(result)) {\n    throw inconsistent('the seqno was read at another state than the attested one');\n  }\n  return seqnoIn(result);\n}\n\n/** An Attempt id (a 32-byte hash in hex, either case) in lower case; undefined otherwise. */\nconst attemptId = (id: string): string | undefined =>\n  /^[0-9a-fA-F]{64}$/.test(id) ? id.toLowerCase() : undefined;\n\n/**\n * A positive-path hint only: the wallet transaction the indexer lists as the consumer of\n * `seqno`, searched newest-first below the wallet's last transaction at the attested\n * block `head`, on the indexer's pages as served. Only a proven request counts\n * (`provenRequest`), and one whose request had expired by its transaction's time\n * contradicts the chain. The caller takes it only when it is our own; it is never the\n * basis of \"not included\". `undefined` when none is indexed.\n */\nasync function consumerOf(\n  ctx: TonContext,\n  from: string,\n  seqno: bigint,\n  head: BlockHeader,\n  state: AccountState,\n): Promise<V3Transaction | undefined> {\n  const keyAtHead = publicKeyAt(ctx, from, PROOF, head.id, state);\n  const key = () => keyAtHead();\n  let endLt = state.lastLt;\n  for (let page = 0; page < CONSUMER_PAGES; page++) {\n    const { transactions, next } = await ctx.api.accountTransactionsPage(\n      from,\n      { limit: CONSUMER_PAGE, endLt },\n      PROOF,\n    );\n    for (const tx of transactions) {\n      const request = await provenRequest(ctx, tx, from, key);\n      if (!request) continue;\n      const claimed = BigInt(request.seqno);\n      if (claimed > seqno) continue;\n      if (claimed < seqno) return undefined;\n      if (request.validUntil <= tx.now) {\n        throw inconsistent('the seqno consumer ran after its request expired');\n      }\n      return tx;\n    }\n    if (next === undefined) return undefined;\n    endLt = next;\n  }\n  ctx.log.warn('the seqno consumer is beyond the search window', {\n    code: 'SEQNO_CONSUMER_NOT_FOUND',\n  });\n  return undefined;\n}\n\n// ---- the account's own chain --------------------------------------------------------------\n\nconst hex256 = (value: bigint): string => value.toString(16).padStart(64, '0');\n\n/**\n * A transaction the liteserver served, authenticated: its cell (capped by the API before\n * this decodes it) hashes to the id expected, and it is the account's own at the lt\n * expected. Anything else is not the chain's.\n */\nconst notTheChains = () =>\n  inconsistent(\"the liteserver answered a transaction that is not the chain's\");\n\nfunction authenticated(\n  row: RawTransaction,\n  expected: TransactionId,\n  account: bigint,\n): Transaction {\n  if (row.lt !== expected.lt || row.hash !== expected.hash) throw notTheChains();\n  let cell: Cell;\n  let tx: Transaction;\n  try {\n    const cells = Cell.fromBoc(Buffer.from(row.boc, 'base64'));\n    if (cells.length !== 1) throw notTheChains();\n    cell = cells[0] as Cell;\n    tx = loadTransaction(cell.beginParse());\n  } catch {\n    throw notTheChains();\n  }\n  if (\n    cell.hash().toString('hex') !== expected.hash ||\n    tx.lt !== expected.lt ||\n    tx.address !== account\n  ) {\n    throw notTheChains();\n  }\n  return tx;\n}\n\n/** The most transactions one walk visits, fetched or kept: `WALK_PAGES` full pages. */\nconst WALK_LIMIT = WALK_PAGES * WALK_PAGE;\n\n/**\n * The account's chain from `from` back, one authenticated transaction at a time, each naming\n * the next by its `prev_trans_lt`/`prev_trans_hash`; `visit` returns true to stop. Ends at\n * the chain's start (`prev_trans_lt` 0: the account's first transaction, or its first since\n * a deletion, transaction.cpp `init_new`), or after `WALK_LIMIT` transactions or\n * `WALK_PAGES` pages. The replay guard walks before every resend, so a transaction\n * authenticated once is kept by its id (`chainTxs`), and a walk fetches only the part of\n * the chain it has not seen; a kept one is bound to the account as a fetched one is.\n */\nasync function walkChain(\n  ctx: TonContext,\n  wallet: string,\n  from: TransactionId,\n  visit: (tx: Transaction, hash: string) => Promise<boolean>,\n): Promise<'stopped' | 'start' | 'exhausted'> {\n  const account = BigInt(`0x${wallet.slice(wallet.indexOf(':') + 1)}`);\n  let expected = from;\n  let page: RawTransaction[] = [];\n  let fetched = 0;\n  for (let visited = 0; visited < WALK_LIMIT; visited++) {\n    const key = `${expected.lt}:${expected.hash}`;\n    const row = page.shift();\n    let tx = ctx.chainTxs.get(key);\n    if (tx !== undefined) {\n      if (tx.address !== account) throw notTheChains();\n      // The page fetched earlier no longer follows the walk: drop it.\n      if (row !== undefined && (row.lt !== expected.lt || row.hash !== expected.hash)) {\n        page = [];\n      }\n    } else {\n      let next = row;\n      if (next === undefined) {\n        if (fetched === WALK_PAGES) return 'exhausted';\n        fetched += 1;\n        page = await ctx.api.rawTransactions(wallet, expected, WALK_PAGE, PROOF);\n        next = page.shift();\n        if (next === undefined) {\n          throw undecided('the liteserver does not hold the transaction asked');\n        }\n      }\n      tx = authenticated(next, expected, account);\n      // Only a wallet-sized transaction is kept (a lying endpoint's is not): the memo\n      // stays bounded.\n      if (next.boc.length <= MEMO_TX_LENGTH) keep(ctx.chainTxs, key, tx, CHAIN_MEMO);\n    }\n    if (await visit(tx, expected.hash)) return 'stopped';\n    if (tx.prevTransactionLt === 0n) return 'start';\n    expected = { lt: tx.prevTransactionLt, hash: hex256(tx.prevTransactionHash) };\n  }\n  return 'exhausted';\n}\n\nconst CODE: ReadonlySet<string> = new Set(['active', 'frozen']);\nconst NO_CODE: ReadonlySet<string> = new Set(['uninitialized', 'non-existing']);\n\n/** What a transaction did, as the chain records it. */\nfunction phasesOf(tx: Transaction) {\n  const d = tx.description;\n  const compute = 'computePhase' in d ? d.computePhase : undefined;\n  const vm = compute?.type === 'vm' ? compute : undefined;\n  return {\n    /** The wallet's code ran: the chain runs it only when code exists or a StateInit\n     * activates the account (transaction.cpp). */\n    ran: vm !== undefined,\n    /** A request ran to the end, so a seqno moved (the action phase keeps it). */\n    consumed:\n      d.type === 'generic' && vm?.success === true && d.actionPhase?.success === true,\n    /** The account had code before or after. */\n    lived: CODE.has(tx.oldStatus) || CODE.has(tx.endStatus),\n    /** A re-deploy from no code: the seqno starts again (transaction.cpp activation). */\n    activation: NO_CODE.has(tx.oldStatus) && tx.endStatus === 'active',\n    /** The code went (+32 destroy, storage deletion): the seqno goes with it. */\n    destruction:\n      (CODE.has(tx.oldStatus) && NO_CODE.has(tx.endStatus)) ||\n      ('destroyed' in d && d.destroyed),\n  };\n}\n\n/**\n * The seqno a request the wallet ran claims, read from its signed header alone (so a\n * v4r2 plugin request or a W5 extended-action request counts too): an external request, or\n * a W5 `internal_signed` one, signed by the wallet's key for this very wallet\n * (`requestIsOwn`: a v5r1 wallet runs a forged relayed body and ignores it).\n */\nasync function claimedSeqno(\n  ctx: TonContext,\n  wallet: string,\n  message: Message | null | undefined,\n  key: () => Promise<Uint8Array | undefined>,\n): Promise<bigint | undefined> {\n  if (!message) return undefined;\n  const { body } = message;\n  const op = body.bits.length >= 32 ? body.beginParse().preloadUint(32) : undefined;\n  const w5 = op === OP.w5SignedExternal || op === OP.w5SignedInternal;\n  if (\n    message.info.type === 'internal'\n      ? op !== OP.w5SignedInternal\n      : message.info.type !== 'external-in'\n  ) {\n    return undefined;\n  }\n  let seqno: number;\n  try {\n    const s = body.beginParse();\n    // W5: op, wallet id, valid_until, seqno; v4r2: signature, subwallet id, valid_until, seqno.\n    s.skip(w5 ? 32 + 32 + 32 : 512 + 32 + 32);\n    seqno = s.loadUint(32);\n  } catch {\n    return undefined;\n  }\n  const publicKey = await key();\n  return publicKey && requestIsOwn(wallet, body, publicKey, ctx.config.globalId)\n    ? BigInt(seqno)\n    : undefined;\n}\n\ntype Absence = { readonly ours: string } | { readonly absent: true };\n\ninterface ChainQuestion {\n  readonly wallet: string;\n  readonly id: string;\n  readonly slot: { readonly seqno: bigint; readonly validUntil: number };\n  readonly head: BlockHeader;\n  readonly state: AccountState;\n  readonly active: boolean;\n  /** The seqno at `head` (0 for an uninitialized wallet). */\n  readonly seqno: bigint;\n}\n\nconst resetSuspected = (ctx: TonContext) => {\n  ctx.log.warn('the wallet may have been reset since our message', {\n    code: 'WALLET_RESET_SUSPECTED',\n  });\n  return undecided('the wallet may have been reset since our message');\n};\n\nconst walkExhausted = (ctx: TonContext) => {\n  ctx.log.warn('the wallet history is beyond the proof window', {\n    code: 'TX_CHAIN_WALK_EXHAUSTED',\n  });\n  return undecided('the wallet history is beyond the proof window');\n};\n\n/**\n * The wallet's code never ran in the history the indexer holds\n * below lt `below` (an earlier incarnation, before a chain start), or in all of it when\n * `below` is undefined (no chain now: never created, or deleted with its last transaction),\n * read under the proof quorum once the indexer has indexed masterchain block `reached`: no\n * compute phase that ran, and no status with code. Our message runs only in the wallet's\n * code, so an incarnation whose code never ran cannot hold it, whether the wallet is active\n * or uninitialized now (a deposit that bounced before the wallet existed is no reset).\n * A row where the code ran, a row without its statuses, or a history past the window\n * decides nothing.\n */\nasync function codeNeverRan(\n  ctx: TonContext,\n  wallet: string,\n  reached: number,\n  below?: bigint,\n): Promise<void> {\n  if (!(await ctx.api.indexerReached(reached, PROOF))) {\n    throw undecided('the indexer has not reached the attested block yet');\n  }\n  let endLt = below === undefined ? undefined : below - 1n;\n  for (let page = 0; page < HISTORY_PAGES; page++) {\n    const { transactions, next } = await ctx.api.accountTransactionsPage(\n      wallet,\n      { limit: HISTORY_PAGE, ...(endLt !== undefined ? { endLt } : {}) },\n      PROOF,\n    );\n    for (const tx of transactions) {\n      const { origStatus, endStatus } = tx;\n      if (\n        !tx.compute.skipped ||\n        origStatus === undefined ||\n        endStatus === undefined ||\n        origStatus === 'active' ||\n        origStatus === 'frozen' ||\n        endStatus === 'active' ||\n        endStatus === 'frozen'\n      ) {\n        throw resetSuspected(ctx);\n      }\n    }\n    if (next === undefined) return;\n    endLt = next;\n  }\n  throw walkExhausted(ctx);\n}\n\n/**\n * At an attested block where the message is expired, whether our message\n * consumed its seqno, from the account's own chain alone, walked back from the attested\n * state's last transaction:\n * - our message (its TEP-467 hash computed here) run to the end: ours, proven by the caller;\n * - otherwise \"absent\" only when the chain shows no reset: the walk reaches the earliest\n *   time our message could have run (`windowStart`, from the attempt's own record) with,\n *   when our seqno is consumed at `head`, its consumer found (another request, by its\n *   signed header); or it reaches the chain's start inside that window, and the anchored\n *   indexer history shows that the code never ran before it.\n * An activation, a destruction, or a consumer of a lower seqno first is a reset: from then\n * on the wallet must never have run, as far as the chain goes back into the window; a walk\n * past its cap decides nothing. An uninitialized wallet must never have run in the\n * window (our message cannot have run before it), nor, without a chain, at all.\n */\nasync function fromTheChain(ctx: TonContext, q: ChainQuestion): Promise<Absence> {\n  const needConsumer = q.active && q.seqno > q.slot.seqno;\n  if (q.state.lastLt === 0n) {\n    // No chain at `head`: never created, or deleted with its last transaction.\n    if (q.active) throw inconsistent('an active account without a transaction');\n    await codeNeverRan(ctx, q.wallet, q.head.id.seqno);\n    return { absent: true };\n  }\n  const windowStart = windowStartOf(q.slot);\n  const key = publicKeyAt(ctx, q.wallet, PROOF, q.head.id, q.state);\n  let codeless = !q.active;\n  let consumerFound = false;\n  let reset = false;\n  let ours: string | undefined;\n  let first = q.state.lastLt;\n  const end = await walkChain(\n    ctx,\n    q.wallet,\n    { lt: q.state.lastLt, hash: q.state.lastHash },\n    async (tx, hash) => {\n      first = tx.lt;\n      const t = phasesOf(tx);\n      const inbound = tx.inMessage;\n      if (ourRun(tx, t, q.wallet, q.id)) {\n        ours = hash;\n        return true;\n      }\n      if (tx.now < windowStart && (!needConsumer || consumerFound)) return true;\n      if (codeless) {\n        if (t.ran || t.lived || t.destruction) reset = true;\n        return false;\n      }\n      if (t.destruction) reset = true;\n      if (needConsumer && !consumerFound && t.consumed) {\n        const claimed = await claimedSeqno(ctx, q.wallet, inbound, key);\n        if (claimed === q.slot.seqno) consumerFound = true;\n        else if (claimed !== undefined && claimed < q.slot.seqno) reset = true;\n      }\n      if (t.activation) {\n        if (needConsumer && !consumerFound) reset = true;\n        codeless = true;\n      }\n      return false;\n    },\n  );\n  if (ours !== undefined) return { ours };\n  if (end === 'exhausted') throw walkExhausted(ctx);\n  if (reset || (needConsumer && !consumerFound)) throw resetSuspected(ctx);\n  if (end === 'start') await codeNeverRan(ctx, q.wallet, q.head.id.seqno, first);\n  return { absent: true };\n}\n\n/**\n * Whether `tx` is our message run to the end: its inbound external message's TEP-467 hash,\n * computed here from the authenticated body, is `id`, and it consumed its seqno.\n */\nfunction ourRun(\n  tx: Transaction,\n  t: ReturnType<typeof phasesOf>,\n  wallet: string,\n  id: string,\n): boolean {\n  const inbound = tx.inMessage;\n  return (\n    t.consumed &&\n    inbound?.info.type === 'external-in' &&\n    externalHashOf(wallet, inbound.body) === id\n  );\n}\n\n// ---- the replay guard ---------------------------------------------------------------------\n\n/**\n * Stored bytes about to be sent again: the wallet they go to (raw), their TEP-467 hash, and\n * the seqno and lifetime their signed header carries. `validFrom` is the build's recorded\n * chain time when this driver assembled them; otherwise the widest lifetime applies.\n */\nexport interface StoredMessage {\n  readonly wallet: string;\n  readonly id: string;\n  readonly seqno: bigint;\n  readonly validUntil: number;\n  readonly validFrom?: number;\n}\n\n/**\n * The monotone predicate \"my seqno is above `seqno`\" at the endpoints' own states, under the\n * proof quorum; its key is the verdict itself and never throws.\n */\nasync function seqnoAbove(\n  ctx: TonContext,\n  wallet: string,\n  seqno: bigint,\n): Promise<boolean> {\n  const above = (result: RunResult): boolean => {\n    const value = seqnoIn(result);\n    return value !== undefined && value > seqno;\n  };\n  const key = (body: unknown): unknown => {\n    try {\n      return above(runResultOf(body));\n    } catch {\n      return 'malformed';\n    }\n  };\n  return above(\n    await ctx.api.runGetMethod(wallet, 'seqno', [], { ...PROOF, quorumKey: key }),\n  );\n}\n\n/**\n * Whether stored bytes may go out again. A wallet reset (a deletion, then a deposit,\n * or a re-deploy from the public `StateInit` back to our seqno) makes a message that already\n * ran and paid runnable again while it is valid, so every send of stored bytes asks first:\n * - `send`: the wallet's seqno is already above ours under the proof quorum, so the message\n *   cannot run (no walk); or the chain shows it cannot have run: the walk reaches the\n *   earliest time it could have run (`windowStartOf`, from the recorded build time, else\n *   the widest lifetime) with no reset, or a chain start whose earlier history shows the\n *   code never ran (a wallet funded a minute ago is sent to);\n * - `ours`: the chain holds our message run to the end: it must never be sent again.\n * The walk starts from the freshest state an endpoint serves (the attested head trails it\n * by 10 to 150 blocks, and a reset in that trail is exactly the danger), and must lead\n * down to the attested state's last transaction, so a lying fresh endpoint can hide only\n * what the attested walk could not see either. Anything else, including a deletion or a\n * new chain since the attested head, an activation or a destruction in the window, a walk\n * past its cap, an indexer behind the fresh block or a failed read, throws a retryable\n * error: the guard never sends while it cannot decide, and the proof decides.\n * Known gap: once a wallet is reset (which takes software that shares its key), anyone\n * can replay our message from the chain's public record; no client can stop that, and the\n * guard covers only this library's own sends.\n */\nexport async function replayVerdict(\n  ctx: TonContext,\n  message: StoredMessage,\n): Promise<'send' | 'ours'> {\n  const { wallet, id } = message;\n  // A seqno past ours needs no walk. A failed read is only \"not known\".\n  const past = await seqnoAbove(ctx, wallet, message.seqno).catch(() => false);\n  if (past) return 'send';\n  const windowStart = windowStartOf(message);\n  const head = await attestedHead(ctx);\n  const attested = await stateAt(ctx, wallet, head);\n  const fresh = await ctx.api.account(wallet, MONITOR);\n  // An endpoint behind the attested head adds nothing; one past it must agree with it.\n  const top = fresh.blockSeqno > head.id.seqno ? fresh : attested;\n  if (top === fresh) {\n    if (\n      fresh.lastLt === attested.lastLt\n        ? fresh.lastHash !== attested.lastHash\n        : fresh.lastLt < attested.lastLt && fresh.lastLt !== 0n\n    ) {\n      throw inconsistent('the freshest state does not follow the attested one');\n    }\n  }\n  if (top.status === 'frozen')\n    throw undecided('the wallet state does not show its seqno');\n  // The account was deleted since the attested head: our message may have run just before.\n  if (top.lastLt === 0n && attested.lastLt !== 0n) throw resetSuspected(ctx);\n  if (top.lastLt === 0n) {\n    // No chain now, nor at the attested head: never created, or deleted long ago.\n    await codeNeverRan(ctx, wallet, top.blockSeqno);\n    return 'send';\n  }\n  // The fresh part of the chain must lead to the attested state's last transaction.\n  const link = top !== attested && attested.lastLt !== 0n ? attested : undefined;\n  let linked = link === undefined || link.lastLt === top.lastLt;\n  let codeless = top.status !== 'active';\n  let reset = false;\n  let ours = false;\n  let first = top.lastLt;\n  const end = await walkChain(\n    ctx,\n    wallet,\n    { lt: top.lastLt, hash: top.lastHash },\n    async (tx, hash) => {\n      first = tx.lt;\n      if (!linked && link !== undefined) {\n        if (tx.lt < link.lastLt || (tx.lt === link.lastLt && hash !== link.lastHash)) {\n          throw inconsistent('the freshest state does not follow the attested one');\n        }\n        linked = tx.lt === link.lastLt;\n      }\n      const t = phasesOf(tx);\n      if (ourRun(tx, t, wallet, id)) {\n        ours = true;\n        return true;\n      }\n      if (linked && tx.now < windowStart) return true;\n      if (codeless) {\n        if (t.ran || t.lived || t.destruction) reset = true;\n        return false;\n      }\n      if (t.destruction) reset = true;\n      if (t.activation) codeless = true;\n      return false;\n    },\n  );\n  if (ours) return 'ours';\n  if (end === 'exhausted') throw walkExhausted(ctx);\n  // Not linked at the chain's start: a new chain since the attested head, so a deletion.\n  if (reset || !linked) throw resetSuspected(ctx);\n  if (end === 'start') await codeNeverRan(ctx, wallet, top.blockSeqno, first);\n  return 'send';\n}\n\ntype Included = Extract<\n  Awaited<ReturnType<ProofSource['includedFinal']>>,\n  { included: true }\n>;\n\n/**\n * Our indexed transaction that consumed its seqno, proven: a complete trace, whose last\n * block the endpoints attest they hold, and the verdict, its jetton wallets confirmed at\n * that block under the proof quorum.\n */\nasync function proveIncluded(\n  ctx: TonContext,\n  tx: V3Transaction,\n  from: string,\n): Promise<Included> {\n  const trace = await ctx.api.trace(tx.hash, PROOF);\n  if (!trace || !trace.complete) throw undecided('the message trace is not complete yet');\n  const last = traceBlock(tx, trace);\n  if (!(await ctx.api.reachedMasterchain(last, PROOF))) {\n    throw undecided('the endpoints have not reached the trace yet');\n  }\n  const verdict = await confirmLegs(ctx, attemptVerdict(tx, trace), from, PROOF, last);\n  if (verdict.kind === 'pending')\n    throw undecided('the message trace is not complete yet');\n  const header = await masterchainBlock(ctx, tx.mcSeqno);\n  return {\n    included: true,\n    success: verdict.kind === 'success',\n    blockHeight: BigInt(tx.mcSeqno),\n    blockHash: header.id.rootHash,\n    txHash: tx.hash,\n    ...(verdict.kind === 'failed' ? { reason: verdict.reason } : {}),\n  };\n}\n\n/**\n * Our transaction the chain itself holds (`hash`), proven through the indexer's record of\n * that very transaction, which must be our message and have consumed its seqno.\n */\nasync function proveOurs(\n  ctx: TonContext,\n  hash: string,\n  wallet: string,\n  id: string,\n): Promise<Included> {\n  const record = await ctx.api.transaction(hash, PROOF);\n  if (!record) throw undecided('our transaction is not indexed yet');\n  if (!isOwnAttempt(record, wallet, id) || !consumesSeqno(record)) {\n    throw inconsistent(\"the indexer's record is not the chain's transaction\");\n  }\n  return proveIncluded(ctx, record, wallet);\n}\n\nconst seqnoOrdering = (ordering: OrderingData) =>\n  ordering.kind === 'seqno' ? ordering : undefined;\n\nexport function createTonProofs(ctx: TonContext): ProofSource {\n  const { api } = ctx;\n  const walletOf = (from: string) => ctx.codec.normalize(from).canonical;\n  return {\n    async finalizedHead() {\n      const header = await attestedHead(ctx);\n      return {\n        height: BigInt(header.id.seqno),\n        hash: header.id.rootHash,\n        timestamp: header.genUtime,\n      };\n    },\n\n    async includedFinal(ref, ordering, from) {\n      const wallet = walletOf(from);\n      // Only our own wallet transaction, its hash computed here from the bound body. A\n      // run that did not consume its seqno (a failed action phase) moved nothing and may\n      // run again until the message expires: only the seqno decides it.\n      const own = await findOwnAttempt(ctx, ref, wallet, PROOF);\n      if (own && consumesSeqno(own)) return proveIncluded(ctx, own, wallet);\n      const id = attemptId(ref.id);\n      if (id === undefined) throw undecided('a TON attempt needs its message hash');\n      const slot = seqnoOrdering(ordering);\n      if (!slot) throw undecided('a TON attempt needs its seqno ordering');\n      if (!hasLifetime(slot.validUntil))\n        throw undecided('a TON attempt needs its lifetime');\n      // Not proven under our hash: decide only from state at an attested block.\n      const head = await attestedHead(ctx);\n      const state = await stateAt(ctx, wallet, head);\n      const active = state.status === 'active';\n      // A frozen wallet, or an uninitialized one past seqno 0, shows no seqno (never 0).\n      if (!active && (state.status === 'frozen' || slot.seqno !== 0n)) {\n        throw undecided('the wallet state does not show its seqno');\n      }\n      const seqno = active ? await seqnoAt(ctx, wallet, head, state) : 0n;\n      if (seqno === undefined)\n        throw undecided('the wallet state does not show its seqno');\n      if (seqno > slot.seqno) {\n        // The indexer's consumer search: a hint that finds ours, never a \"no\", nor a veto\n        // either; a hint that cannot be used (a record the chain could not produce, a\n        // failed read) is logged, and the authenticated path decides.\n        let hint: V3Transaction | undefined;\n        try {\n          hint = await consumerOf(ctx, wallet, slot.seqno, head, state);\n        } catch (error) {\n          if (!isCryptoAioError(error) || !error.retryable) throw error;\n          ctx.log.warn('the indexer gave no usable seqno consumer', {\n            code: 'SEQNO_CONSUMER_HINT_UNUSABLE',\n          });\n        }\n        if (hint && isOwnAttempt(hint, wallet, id))\n          return proveIncluded(ctx, hint, wallet);\n      }\n      // Never \"not included\" while the message may still run: a reset of the wallet could\n      // bring its seqno back to ours.\n      if (!(await expiredAt(ctx, head, slot.validUntil))) {\n        throw undecided('the message may still be included');\n      }\n      const chain = await fromTheChain(ctx, {\n        wallet,\n        id,\n        slot,\n        head,\n        state,\n        active,\n        seqno,\n      });\n      if ('ours' in chain) return proveOurs(ctx, chain.ours, wallet, id);\n      return { included: false };\n    },\n\n    async slotConsumed(ordering, from, level) {\n      const slot = seqnoOrdering(ordering);\n      if (!slot) return false;\n      // Masterchain state is final once it exists, so TON gives no separate `latest`\n      // evidence: our own landed-but-unindexed message is never observed as `replaced`.\n      if (level === 'latest') return false;\n      // \"My seqno at the final state is above n\", a monotone predicate.\n      return seqnoAbove(ctx, walletOf(from), slot.seqno);\n    },\n\n    async expired(ordering) {\n      const slot = seqnoOrdering(ordering);\n      if (!slot) return false;\n      return expiredAt(ctx, await attestedHead(ctx), slot.validUntil);\n    },\n\n    async blockHash(height) {\n      // Every masterchain block is final once it exists: both levels read the same.\n      if (height < 0n || height > BigInt(await api.masterchainHead(MONITOR))) return null;\n      return (await masterchainBlock(ctx, Number(height))).id.rootHash;\n    },\n  };\n}\n\n/** A history cursor: the next page's `end_lt`, a u64 in decimal, capped before use. */\nfunction cursorLt(cursor: string | undefined): bigint | undefined {\n  if (cursor === undefined) return undefined;\n  if (\n    cursor.length === 0 ||\n    cursor.length > MAX_LT_DIGITS ||\n    !/^\\d+$/.test(cursor) ||\n    BigInt(cursor) > MAX_LT\n  ) {\n    throw new ValidationError('INVALID_INTENT', 'not a TON history cursor');\n  }\n  return BigInt(cursor);\n}\n\n/**\n * An address's transactions from the indexer, newest first, decoded with jettons only for\n * verified jetton wallets. The cursor is the next page's `end_lt`, taken from the page as\n * the indexer served it, so rows not final yet never end the history early; a page\n * is at most what toncenter serves.\n */\nexport function createTonHistory(ctx: TonContext): AddressHistorySource {\n  return {\n    async list(address, options) {\n      const endLt = cursorLt(options.cursor);\n      const account = ctx.codec.normalize(address).canonical;\n      const page = await ctx.api.accountTransactionsPage(\n        account,\n        {\n          limit: Math.min(options.limit, HISTORY_PAGE_MAX),\n          ...(endLt !== undefined ? { endLt } : {}),\n        },\n        READ,\n      );\n      const items = [];\n      const memo = pageMemo();\n      for (const tx of page.transactions) {\n        items.push(await decodeWithJettons(ctx, tx, READ, memo));\n      }\n      return {\n        items,\n        ...(page.next !== undefined ? { next: page.next.toString() } : {}),\n      };\n    },\n  };\n}\n"]}
+{"version":3,"file":"proofs.js","sourceRoot":"","sources":["../../../src/adapters/ton/proofs.ts"],"names":[],"mappings":";;;AA+HA,oCAcC;AAuDD,8BAmBC;AAsbD,sCAwEC;AAmED,0CA6FC;AAsBD,4CAwBC;AA34BD,mDAIiC;AAEjC,+BAgBe;AACf,yCAAgC;AAChC,qCAkBkB;AAClB,uCAImB;AACnB,mCAAsE;AACtE,uCAAyC;AAEzC,+FAA+F;AAClF,QAAA,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB,sEAAsE;AACzD,QAAA,UAAU,GAAG,EAAE,CAAC;AAC7B,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,yFAAyF;AACzF,MAAM,aAAa,GAAG,CAAC,CAAC;AACxB,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,4FAA4F;AAC5F,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAC9B,oEAAoE;AACpE,MAAM,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;AAChC,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,6DAA6D;AAC7D,MAAM,gBAAgB,GAAG,WAAY,CAAC;AACtC,+EAA+E;AAC/E,MAAM,WAAW,GAAG,EAAE,IAAI,GAAG,CAAC;AAE9B,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,EAAE,CACnC,IAAI,qBAAa,CAAC,sBAAsB,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAEzE,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,EAAE,CACtC,IAAI,qBAAa,CAAC,uBAAuB,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAE1E;;;;GAIG;AACH,KAAK,UAAU,gBAAgB,CAAC,GAAe,EAAE,KAAa;IAC5D,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,WAAK,CAAC,CAAC;IAC7D,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC;IACtB,IACE,EAAE,CAAC,SAAS,KAAK,CAAC,CAAC;QACnB,EAAE,CAAC,KAAK,KAAK,uBAAiB;QAC9B,EAAE,CAAC,KAAK,KAAK,KAAK;QAClB,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,EACvC,CAAC;QACD,MAAM,YAAY,CAAC,yDAAyD,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,YAAY,CAAC,GAAe;IAChD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,aAAO,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAC3C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC;IACjC,IAAI,IAAa,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,OAAO,MAAM,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,IAAA,wBAAgB,EAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS;gBAAE,MAAM,KAAK,CAAC;YAC9D,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,MAAM,IAAI,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAwB;IAC/C,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,SAAS,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACjC,IAAI,GAAG,GAAG,CAAC;IACb,CAAC;IACD,OAAO,IAAI,KAAK,WAAW,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CAAC,IAAqC;IAC1D,MAAM,QAAQ,GAAG,IAAA,2BAAiB,EAAC,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,UAAU,GAAG,+BAAqB,CAAC,GAAG,8BAAoB,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAW,EAAE,CAClD,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC;AAErD;;;;;;;;GAQG;AACI,KAAK,UAAU,SAAS,CAC7B,GAAe,EACf,MAAmB,EACnB,UAAkB;IAElB,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC;QAAE,MAAM,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAClF,IAAI,UAAU,GAAG,MAAM,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,WAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,CAAC,2CAA2C,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,WAAK,CAAC,CAAC;QACpD,IAAI,CAAC,IAAA,eAAS,EAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxE,MAAM,YAAY,CAAC,+DAA+D,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,UAAU,GAAG,KAAK,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;IAChD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,SAAS,OAAO,CAAC,MAAiB;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,QAAQ,KAAK,CAAC;QAC1B,KAAK,EAAE,IAAI,KAAK,KAAK;QACrB,KAAK,CAAC,KAAK,IAAI,EAAE;QACjB,KAAK,CAAC,KAAK,IAAI,gBAAgB;QAC/B,CAAC,CAAC,KAAK,CAAC,KAAK;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,OAAO,CACpB,GAAe,EACf,MAAc,EACd,IAAiB;IAEjB,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,WAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC,IAAA,eAAS,EAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACrC,MAAM,YAAY,CAAC,mDAAmD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,OAAO,CACpB,GAAe,EACf,MAAc,EACd,IAAiB,EACjB,KAAmB;IAEnB,MAAM,KAAK,GAAG,CAAC,MAAsB,EAAW,EAAE,CAChD,IAAA,eAAS,EAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,eAAe,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM;QAC1C,MAAM,CAAC,eAAe,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC;IACjD,MAAM,GAAG,GAAG,CAAC,IAAa,EAAW,EAAE;QACrC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,IAAI,CAAC,CAAC;YACtC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,cAAc,CACzC,MAAM,EACN,OAAO,EACP,EAAE,EACF,EAAE,GAAG,WAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAC5B,IAAI,CAAC,EAAE,CAAC,KAAK,CACd,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,MAAM,YAAY,CAAC,2DAA2D,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC;AAED,6FAA6F;AAC7F,MAAM,SAAS,GAAG,CAAC,EAAU,EAAsB,EAAE,CACnD,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAE9D;;;;;;;GAOG;AACH,KAAK,UAAU,UAAU,CACvB,GAAe,EACf,IAAY,EACZ,KAAa,EACb,IAAiB,EACjB,KAAmB;IAEnB,MAAM,SAAS,GAAG,IAAA,oBAAW,EAAC,GAAG,EAAE,IAAI,EAAE,WAAK,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IACzB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,sBAAc,EAAE,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAClE,IAAI,EACJ,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,EAC/B,WAAK,CACN,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,MAAM,IAAA,sBAAa,EAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,OAAO,GAAG,KAAK;gBAAE,SAAS;YAC9B,IAAI,OAAO,GAAG,KAAK;gBAAE,OAAO,SAAS,CAAC;YACtC,IAAI,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC;gBACjC,MAAM,YAAY,CAAC,kDAAkD,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,gDAAgD,EAAE;QAC7D,IAAI,EAAE,0BAA0B;KACjC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8FAA8F;AAE9F,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAE/E,uFAAuF;AACvF,MAAM,UAAU,GAAG,kBAAU,GAAG,SAAS,CAAC;AAE1C;;;;;;;;GAQG;AACH,KAAK,UAAU,SAAS,CACtB,GAAe,EACf,MAAc,EACd,IAAmB,EACnB,KAA0D;IAE1D,MAAM,OAAO,GAAG,IAAA,kBAAS,EAAC,MAAM,CAAC,CAAC;IAClC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,IAAI,IAAI,GAAqB,EAAE,CAAC;IAChC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,EAAE,CAAC,OAAO,KAAK,OAAO;gBAAE,MAAM,IAAA,qBAAY,GAAE,CAAC;YACjD,gEAAgE;YAChE,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,IAAI,GAAG,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,GAAG,GAAG,CAAC;YACf,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,OAAO,KAAK,kBAAU;oBAAE,OAAO,WAAW,CAAC;gBAC/C,OAAO,IAAI,CAAC,CAAC;gBACb,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAK,CAAC,CAAC;gBACzE,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,MAAM,SAAS,CAAC,oDAAoD,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;YACD,EAAE,GAAG,IAAA,sBAAa,EAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC5C,gFAAgF;YAChF,iBAAiB;YACjB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,uBAAc;gBAAE,IAAA,aAAI,EAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,EAAE,mBAAU,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,MAAM,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACrD,IAAI,EAAE,CAAC,iBAAiB,KAAK,EAAE;YAAE,OAAO,OAAO,CAAC;QAChD,QAAQ,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,iBAAiB,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,IAAI,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAChE,MAAM,OAAO,GAAwB,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhF,uDAAuD;AACvD,SAAS,QAAQ,CAAC,EAAe;IAC/B,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC;IACzB,MAAM,OAAO,GAAG,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,MAAM,EAAE,GAAG,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACxD,OAAO;QACL;sDAC8C;QAC9C,GAAG,EAAE,EAAE,KAAK,SAAS;QACrB,8EAA8E;QAC9E,QAAQ,EAAE,IAAA,iBAAQ,EAAC,EAAE,CAAC;QACtB,4CAA4C;QAC5C,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;QACvD,qFAAqF;QACrF,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,SAAS,KAAK,QAAQ;QAClE,6EAA6E;QAC7E,WAAW,EACT,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACrD,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC;KACpC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,YAAY,CACzB,GAAe,EACf,MAAc,EACd,OAAmC,EACnC,GAA0C;IAE1C,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACzB,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,EAAE,GAAG,EAAE,KAAK,aAAE,CAAC,gBAAgB,IAAI,EAAE,KAAK,aAAE,CAAC,gBAAgB,CAAC;IACpE,IACE,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAC9B,CAAC,CAAC,EAAE,KAAK,aAAE,CAAC,gBAAgB;QAC5B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EACvC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5B,4FAA4F;QAC5F,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,GAAG,EAAE,CAAC;IAC9B,OAAO,SAAS,IAAI,IAAA,sBAAY,EAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC5E,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QACf,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAeD,MAAM,cAAc,GAAG,CAAC,GAAe,EAAE,EAAE;IACzC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,kDAAkD,EAAE;QAC/D,IAAI,EAAE,wBAAwB;KAC/B,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,kDAAkD,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,GAAe,EAAE,EAAE;IACxC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,+CAA+C,EAAE;QAC5D,IAAI,EAAE,yBAAyB;KAChC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,+CAA+C,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,KAAK,UAAU,YAAY,CACzB,GAAe,EACf,MAAc,EACd,OAAe,EACf,KAAc;IAEd,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,OAAO,EAAE,WAAK,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;IACzD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,aAAa,EAAE,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAClE,MAAM,EACN,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAClE,WAAK,CACN,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;YACrC,IACE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO;gBACnB,UAAU,KAAK,SAAS;gBACxB,SAAS,KAAK,SAAS;gBACvB,UAAU,KAAK,QAAQ;gBACvB,UAAU,KAAK,QAAQ;gBACvB,SAAS,KAAK,QAAQ;gBACtB,SAAS,KAAK,QAAQ,EACtB,CAAC;gBACD,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,KAAK,UAAU,YAAY,CAAC,GAAe,EAAE,CAAgB;IAC3D,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACxD,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC1B,2EAA2E;QAC3E,IAAI,CAAC,CAAC,MAAM;YAAE,MAAM,YAAY,CAAC,yCAAyC,CAAC,CAAC;QAC5E,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IACD,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAA,oBAAW,EAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,WAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAClE,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IACzB,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAwB,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,MAAM,GAAG,GAAG,MAAM,SAAS,CACzB,GAAG,EACH,CAAC,CAAC,MAAM,EACR,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,EAC9C,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;QACjB,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;QAC7B,IAAI,IAAA,eAAM,EAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAC/B,IAAI,GAAG,IAAI,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,GAAG,WAAW,IAAI,CAAC,CAAC,YAAY,IAAI,aAAa,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1E,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,WAAW;gBAAE,KAAK,GAAG,IAAI,CAAC;YACpD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,CAAC,WAAW;YAAE,KAAK,GAAG,IAAI,CAAC;QAChC,IAAI,YAAY,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK;gBAAE,aAAa,GAAG,IAAI,CAAC;iBAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK;gBAAE,KAAK,GAAG,IAAI,CAAC;QACzE,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,IAAI,YAAY,IAAI,CAAC,aAAa;gBAAE,KAAK,GAAG,IAAI,CAAC;YACjD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CACF,CAAC;IACF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxC,IAAI,GAAG,KAAK,WAAW;QAAE,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,CAAC;QAAE,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IACzE,IAAI,GAAG,KAAK,OAAO;QAAE,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAiBD;;;GAGG;AACH,KAAK,UAAU,UAAU,CACvB,GAAe,EACf,MAAc,EACd,KAAa;IAEb,MAAM,KAAK,GAAG,CAAC,MAAiB,EAAW,EAAE;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,KAAK,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,IAAa,EAAW,EAAE;QACrC,IAAI,CAAC;YACH,OAAO,KAAK,CAAC,IAAA,iBAAW,EAAC,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,CACV,MAAM,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,WAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACI,KAAK,UAAU,aAAa,CACjC,GAAe,EACf,OAAsB;IAEtB,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC;IAC/B,sEAAsE;IACtE,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,IAAI;QAAE,OAAO,MAAM,CAAC;IACxB,MAAM,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,aAAO,CAAC,CAAC;IACrD,qFAAqF;IACrF,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,IACE,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC9B,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;YACtC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EACzD,CAAC;YACD,MAAM,YAAY,CAAC,qDAAqD,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ;QACzB,MAAM,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAC9D,yFAAyF;IACzF,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,IAAI,QAAQ,CAAC,MAAM,KAAK,EAAE;QAAE,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IAC3E,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACtB,8EAA8E;QAC9E,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,kFAAkF;IAClF,MAAM,IAAI,GAAG,GAAG,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,IAAI,MAAM,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC;IAC9D,IAAI,QAAQ,GAAG,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC;IACvC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,MAAM,GAAG,GAAG,MAAM,SAAS,CACzB,GAAG,EACH,MAAM,EACN,EAAE,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,EACtC,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;QACjB,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC;QACd,IAAI,CAAC,MAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7E,MAAM,YAAY,CAAC,qDAAqD,CAAC,CAAC;YAC5E,CAAC;YACD,MAAM,GAAG,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC;QACjC,CAAC;QACD,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,IAAA,eAAM,EAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;YAC3B,IAAI,GAAG,IAAI,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,MAAM,IAAI,EAAE,CAAC,GAAG,GAAG,WAAW;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,WAAW;gBAAE,KAAK,GAAG,IAAI,CAAC;YACpD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,CAAC,WAAW;YAAE,KAAK,GAAG,IAAI,CAAC;QAChC,IAAI,CAAC,CAAC,UAAU;YAAE,QAAQ,GAAG,IAAI,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC,CACF,CAAC;IACF,IAAI,IAAI;QAAE,OAAO,MAAM,CAAC;IACxB,IAAI,GAAG,KAAK,WAAW;QAAE,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;IAClD,uFAAuF;IACvF,IAAI,KAAK,IAAI,CAAC,MAAM;QAAE,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,OAAO;QAAE,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD;;;;;GAKG;AACH,KAAK,UAAU,aAAa,CAC1B,GAAe,EACf,EAAiB,EACjB,IAAY,EACZ,EAAU;IAEV,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,WAAK,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,MAAM,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,IAAA,mBAAU,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,EAAE,WAAK,CAAC,CAAC,EAAE,CAAC;QACrD,MAAM,SAAS,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,IAAA,sBAAa,EACjC,GAAG,EACH,MAAM,IAAA,oBAAW,EAAC,GAAG,EAAE,IAAA,sBAAc,EAAC,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,WAAK,EAAE,IAAI,CAAC,EACpE,IAAI,EACJ,EAAE,EACF,WAAK,CACN,CAAC;IACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAC5B,MAAM,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;IACvD,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,SAAS;QACnC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC;QAC/B,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ;QAC7B,MAAM,EAAE,EAAE,CAAC,IAAI;QACf,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,SAAS,CACtB,GAAe,EACf,IAAY,EACZ,MAAc,EACd,EAAU;IAEV,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAK,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM;QAAE,MAAM,SAAS,CAAC,oCAAoC,CAAC,CAAC;IACnE,IAAI,CAAC,IAAA,oBAAY,EAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,IAAA,qBAAa,EAAC,MAAM,CAAC,EAAE,CAAC;QAChE,MAAM,YAAY,CAAC,qDAAqD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,QAAsB,EAAE,EAAE,CAC/C,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAEnD,SAAgB,eAAe,CAAC,GAAe;IAC7C,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC;IACvE,OAAO;QACL,KAAK,CAAC,aAAa;YACjB,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;YACvC,OAAO;gBACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC;gBAC/B,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ;gBACxB,SAAS,EAAE,MAAM,CAAC,QAAQ;aAC3B,CAAC;QACJ,CAAC;QAED,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI;YACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,iFAAiF;YACjF,mFAAmF;YACnF,kEAAkE;YAClE,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS;gBAAE,MAAM,SAAS,CAAC,sCAAsC,CAAC,CAAC;YAC9E,MAAM,GAAG,GAAG,MAAM,IAAA,uBAAc,EAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,WAAK,CAAC,CAAC;YAC1D,IAAI,GAAG,IAAI,IAAA,qBAAa,EAAC,GAAG,CAAC;gBAAE,OAAO,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,MAAM,SAAS,CAAC,wCAAwC,CAAC,CAAC;YACrE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC/B,MAAM,SAAS,CAAC,kCAAkC,CAAC,CAAC;YACtD,0EAA0E;YAC1E,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;YACzC,mFAAmF;YACnF,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,CAAC;gBAChE,MAAM,SAAS,CAAC,0CAA0C,CAAC,CAAC;YAC9D,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,IAAI,KAAK,KAAK,SAAS;gBACrB,MAAM,SAAS,CAAC,0CAA0C,CAAC,CAAC;YAC9D,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACvB,kFAAkF;gBAClF,8EAA8E;gBAC9E,8DAA8D;gBAC9D,IAAI,IAA+B,CAAC;gBACpC,IAAI,CAAC;oBACH,IAAI,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAChE,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,IAAA,wBAAgB,EAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS;wBAAE,MAAM,KAAK,CAAC;oBAC9D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,2CAA2C,EAAE;wBACxD,IAAI,EAAE,8BAA8B;qBACrC,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,IAAI,IAAI,IAAA,oBAAY,EAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;oBACxC,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YAChD,CAAC;YACD,oFAAoF;YACpF,gCAAgC;YAChC,IAAI,CAAC,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;gBACnD,MAAM,SAAS,CAAC,mCAAmC,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE;gBACpC,MAAM;gBACN,EAAE;gBACF,IAAI;gBACJ,IAAI;gBACJ,KAAK;gBACL,MAAM;gBACN,KAAK;aACN,CAAC,CAAC;YACH,IAAI,MAAM,IAAI,KAAK;gBAAE,OAAO,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC7B,CAAC;QAED,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK;YACtC,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxB,+EAA+E;YAC/E,kFAAkF;YAClF,IAAI,KAAK,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YACrC,kEAAkE;YAClE,OAAO,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,QAAQ;YACpB,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxB,OAAO,SAAS,CAAC,GAAG,EAAE,MAAM,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAClE,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,MAAM;YACpB,8EAA8E;YAC9E,IAAI,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,eAAe,CAAC,aAAO,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpF,OAAO,CAAC,MAAM,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC;QACnE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,QAAQ,CAAC,MAA0B;IAC1C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,IACE,MAAM,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,CAAC,MAAM,GAAG,aAAa;QAC7B,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QACrB,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,EACvB,CAAC;QACD,MAAM,IAAI,uBAAe,CAAC,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAAC,GAAe;IAC9C,OAAO;QACL,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO;YACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC;YACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,CAChD,OAAO,EACP;gBACE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC;gBAChD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1C,EACD,UAAI,CACL,CAAC;YACF,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,IAAA,iBAAQ,GAAE,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAA,0BAAiB,EAAC,GAAG,EAAE,EAAE,EAAE,UAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO;gBACL,KAAK;gBACL,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnE,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Proofs and address history. Every proof attests a fact at its own height, with a\n * monotone predicate or at a fixed block, and no endpoint proposes a height. The one\n * exception is the unanchored head: one endpoint's masterchain head, trailed by\n * `finalitySkewBlocks` and attested by a quorum read of that block, retried at the\n * transport's own lag tolerance. Every lookup is bound to what it asked for: a header\n * names the block asked, the shard tops cover the basechain, a state and a get-method\n * name the block asked and the state read there.\n *\n * \"Not included\" rests only on authenticated chain data, never on an indexer's records: a\n * lying or lagging indexer can miss a message that ran, and a `rebuild` on its word would\n * pay twice. The proof reads, at an attested block where the message is expired, the\n * account's own chain of transactions, as the liteserver serves their cells, each hashed\n * here and linked by its `prev_trans` fields back from the attested state's last\n * transaction. A wallet can be reset (deleted, or destroyed to uninitialized, then\n * re-deployed from its public `StateInit` with seqno 0), so an activation, a destruction\n * or a chain start inside what the proof must see decides nothing, unless the chain\n * itself shows our transaction. A bounce rests on the same liteserver cells\n * (`confirmBounce`), never on the indexer's trace alone, since `failed` invites a second\n * payment too. Anything not yet decidable throws a retryable `PROVIDER_UNAVAILABLE`, and an answer the\n * chain could not have produced a retryable `PROVIDER_INCONSISTENT`; both decide nothing.\n */\nimport type { Message, Transaction } from '@ton/core';\nimport type { AddressHistorySource, ProofSource } from '../../core/driver/types';\nimport {\n  ProviderError,\n  ValidationError,\n  isCryptoAioError,\n} from '../../core/errors/error';\nimport type { OrderingData } from '../../core/model/ordering';\nimport {\n  MASTERCHAIN_SHARD,\n  MONITOR,\n  PROOF,\n  READ,\n  boundRunResultOf,\n  runResultOf,\n  sameBlock,\n  type AccountState,\n  type BlockHeader,\n  type BlockId,\n  type BoundRunResult,\n  type RawTransaction,\n  type RunResult,\n  type TransactionId,\n  type V3Transaction,\n} from './api';\nimport { OP } from './messages';\nimport {\n  CHAIN_MEMO,\n  MEMO_TX_LENGTH,\n  accountId,\n  authenticated,\n  chainRan,\n  confirmBounce,\n  confirmLegs,\n  decodeWithJettons,\n  findOwnAttempt,\n  keep,\n  notTheChains,\n  ourRun,\n  pageMemo,\n  provenRequest,\n  publicKeyAt,\n  traceBlock,\n  type TonContext,\n} from './reader';\nimport {\n  CHAIN_TIME_TOLERANCE,\n  MAX_VALID_FOR_SECONDS,\n  recordedValidFrom,\n} from './network';\nimport { attemptVerdict, consumesSeqno, isOwnAttempt } from './trace';\nimport { requestIsOwn } from './wallets';\n\n/** How far back the consumer of a seqno is searched: pages of `CONSUMER_PAGE` transactions. */\nexport const CONSUMER_PAGES = 8;\nconst CONSUMER_PAGE = 64;\n\n/** How far the chain is walked: pages of `WALK_PAGE` transactions. */\nexport const WALK_PAGES = 16;\nconst WALK_PAGE = 32;\n/** How far an anchored indexer history is read: pages of `HISTORY_PAGE` transactions. */\nconst HISTORY_PAGES = 8;\nconst HISTORY_PAGE = 64;\n\n/** toncenter v3 refuses a page of more rows (\"limit is not allowed: 1001 > 1000\", live). */\nconst HISTORY_PAGE_MAX = 1000;\n/** A logical time is a u64; a history cursor is one, in decimal. */\nconst MAX_LT = (1n << 64n) - 1n;\nconst MAX_LT_DIGITS = 20;\n/** A wallet seqno is a u32: any other number is no seqno. */\nconst MAX_WALLET_SEQNO = 0xffff_ffffn;\n/** The shard id space of a workchain: 2^64 ids, which its shards partition. */\nconst SHARD_SPACE = 1n << 64n;\n\nconst undecided = (reason: string) =>\n  new ProviderError('PROVIDER_UNAVAILABLE', reason, { retryable: true });\n\nconst inconsistent = (reason: string) =>\n  new ProviderError('PROVIDER_INCONSISTENT', reason, { retryable: true });\n\n/**\n * The masterchain block `seqno`, attested by the proof quorum (ids, hashes, time, global\n * id), and bound to the block asked: an answer about another block or network decides\n * nothing.\n */\nasync function masterchainBlock(ctx: TonContext, seqno: number): Promise<BlockHeader> {\n  const header = await ctx.api.masterchainHeader(seqno, PROOF);\n  const { id } = header;\n  if (\n    id.workchain !== -1 ||\n    id.shard !== MASTERCHAIN_SHARD ||\n    id.seqno !== seqno ||\n    header.globalId !== ctx.config.globalId\n  ) {\n    throw inconsistent('the endpoints answered another block than the one asked');\n  }\n  return header;\n}\n\n/**\n * The one unanchored head: one endpoint's head, trailed by the network's skew and\n * attested by the quorum; when a healthy peer trails further, retried at the transport's\n * lag tolerance, the furthest a proof endpoint may trail. Never a false head, only a\n * later one.\n */\nexport async function attestedHead(ctx: TonContext): Promise<BlockHeader> {\n  const head = await ctx.api.masterchainHead(MONITOR);\n  const skew = ctx.config.finalitySkewBlocks;\n  const lag = ctx.api.lagTolerance;\n  let last: unknown;\n  for (const trail of lag > skew ? [skew, lag] : [skew]) {\n    try {\n      return await masterchainBlock(ctx, Math.max(1, head - trail));\n    } catch (error) {\n      if (!isCryptoAioError(error) || !error.retryable) throw error;\n      last = error;\n    }\n  }\n  throw last;\n}\n\n/**\n * Whether the basechain shards among `tops` partition its whole id space: a shard id is its\n * prefix, then a 1 bit, then zeros, so it covers `id ± lowest set bit` (unsigned). A set that\n * leaves a shard out would hide that shard's time.\n */\nfunction coversBasechain(tops: readonly BlockId[]): boolean {\n  const ranges: (readonly [bigint, bigint])[] = [];\n  for (const top of tops) {\n    if (top.workchain !== 0) continue;\n    const id = BigInt.asUintN(64, BigInt(top.shard));\n    const half = id & -id;\n    if (half === 0n) return false;\n    ranges.push([id - half, id + half]);\n  }\n  ranges.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));\n  let next = 0n;\n  for (const [start, end] of ranges) {\n    if (start !== next) return false;\n    next = end;\n  }\n  return next === SHARD_SPACE;\n}\n\n/**\n * The earliest chain time our message can have run at. The build recorded it\n * (`TonSeqnoOrdering.validFrom`); less the builder's chain-time tolerance, it covers an\n * endpoint whose time ran ahead of the chain within that tolerance, whatever the\n * network's `validForSeconds` is now (a window from today's setting could start after an\n * earlier run, and a reset wallet's history would then prove \"not included\" falsely).\n * Without a well-formed record (an attempt built before it, or bytes this driver did not\n * assemble), the widest lifetime any network allows before `validUntil`, less the\n * tolerance.\n * Known gap: an endpoint and the local clock both more than the tolerance ahead of the\n * chain start the window too late; the host's clock must stay in sync.\n */\nfunction windowStartOf(slot: { readonly validUntil: number }): number {\n  const recorded = recordedValidFrom(slot);\n  return (recorded ?? slot.validUntil - MAX_VALID_FOR_SECONDS) - CHAIN_TIME_TOLERANCE;\n}\n\n/** A lifetime is a positive chain time; the reservation's placeholder 0 is none. */\nconst hasLifetime = (validUntil: number): boolean =>\n  Number.isSafeInteger(validUntil) && validUntil > 0;\n\n/**\n * No block after `header` can include a message valid until `validUntil`: the\n * masterchain block and every shard top it commits are at least that old, every later block\n * of a shard is younger than its top (the collator's `now` rises), and a wallet rejects a\n * message once `valid_until <= now()`. The shard tops are asked for the attested block's\n * seqno; toncenter's answer names no block (live), so only the proof quorum binds the list\n * to it, and it must cover the basechain. Each top's header is read under the quorum\n * and bound to the id the list gives. A lifetime that is no time decides nothing.\n */\nexport async function expiredAt(\n  ctx: TonContext,\n  header: BlockHeader,\n  validUntil: number,\n): Promise<boolean> {\n  if (!hasLifetime(validUntil)) throw undecided('a TON attempt needs its lifetime');\n  if (validUntil > header.genUtime) return false;\n  const tops = await ctx.api.shards(header.id.seqno, PROOF);\n  if (!coversBasechain(tops)) {\n    throw inconsistent('the shard tops do not cover the basechain');\n  }\n  for (const top of tops) {\n    const shard = await ctx.api.blockHeader(top, PROOF);\n    if (!sameBlock(shard.id, top) || shard.globalId !== ctx.config.globalId) {\n      throw inconsistent('the endpoints answered another shard block than the one asked');\n    }\n    if (validUntil > shard.genUtime) return false;\n  }\n  return true;\n}\n\n/** The seqno a `seqno` get-method answers; undefined when it answers none. */\nfunction seqnoIn(result: RunResult): bigint | undefined {\n  const first = result.stack[0];\n  return result.exitCode === 0 &&\n    first?.type === 'num' &&\n    first.value >= 0n &&\n    first.value <= MAX_WALLET_SEQNO\n    ? first.value\n    : undefined;\n}\n\n/**\n * The account state at the attested block `head`, bound to it: the block the\n * answer names is `head`, its workchain, shard, seqno and hashes.\n */\nasync function stateAt(\n  ctx: TonContext,\n  wallet: string,\n  head: BlockHeader,\n): Promise<AccountState> {\n  const state = await ctx.api.account(wallet, PROOF, head.id.seqno);\n  if (!sameBlock(state.block, head.id)) {\n    throw inconsistent('the endpoints answered the state at another block');\n  }\n  return state;\n}\n\n/**\n * The wallet's seqno in the attested `state`: the get-method's answer must name the\n * attested block and the state's last transaction, so it is the state whose status was\n * read, never an endpoint's latest one. The quorum key is the seqno and that binding, as\n * parsed values, so formatting never splits the quorum; it never throws.\n */\nasync function seqnoAt(\n  ctx: TonContext,\n  wallet: string,\n  head: BlockHeader,\n  state: AccountState,\n): Promise<bigint | undefined> {\n  const bound = (result: BoundRunResult): boolean =>\n    sameBlock(result.block, head.id) &&\n    result.lastTransaction.lt === state.lastLt &&\n    result.lastTransaction.hash === state.lastHash;\n  const key = (body: unknown): unknown => {\n    try {\n      const result = boundRunResultOf(body);\n      return { seqno: seqnoIn(result)?.toString() ?? null, bound: bound(result) };\n    } catch {\n      return 'malformed';\n    }\n  };\n  const result = await ctx.api.runGetMethodAt(\n    wallet,\n    'seqno',\n    [],\n    { ...PROOF, quorumKey: key },\n    head.id.seqno,\n  );\n  if (!bound(result)) {\n    throw inconsistent('the seqno was read at another state than the attested one');\n  }\n  return seqnoIn(result);\n}\n\n/** An Attempt id (a 32-byte hash in hex, either case) in lower case; undefined otherwise. */\nconst attemptId = (id: string): string | undefined =>\n  /^[0-9a-fA-F]{64}$/.test(id) ? id.toLowerCase() : undefined;\n\n/**\n * A positive-path hint only: the wallet transaction the indexer lists as the consumer of\n * `seqno`, searched newest-first below the wallet's last transaction at the attested\n * block `head`, on the indexer's pages as served. Only a proven request counts\n * (`provenRequest`), and one whose request had expired by its transaction's time\n * contradicts the chain. The caller takes it only when it is our own; it is never the\n * basis of \"not included\". `undefined` when none is indexed.\n */\nasync function consumerOf(\n  ctx: TonContext,\n  from: string,\n  seqno: bigint,\n  head: BlockHeader,\n  state: AccountState,\n): Promise<V3Transaction | undefined> {\n  const keyAtHead = publicKeyAt(ctx, from, PROOF, head.id, state);\n  const key = () => keyAtHead();\n  let endLt = state.lastLt;\n  for (let page = 0; page < CONSUMER_PAGES; page++) {\n    const { transactions, next } = await ctx.api.accountTransactionsPage(\n      from,\n      { limit: CONSUMER_PAGE, endLt },\n      PROOF,\n    );\n    for (const tx of transactions) {\n      const request = await provenRequest(ctx, tx, from, key);\n      if (!request) continue;\n      const claimed = BigInt(request.seqno);\n      if (claimed > seqno) continue;\n      if (claimed < seqno) return undefined;\n      if (request.validUntil <= tx.now) {\n        throw inconsistent('the seqno consumer ran after its request expired');\n      }\n      return tx;\n    }\n    if (next === undefined) return undefined;\n    endLt = next;\n  }\n  ctx.log.warn('the seqno consumer is beyond the search window', {\n    code: 'SEQNO_CONSUMER_NOT_FOUND',\n  });\n  return undefined;\n}\n\n// ---- the account's own chain --------------------------------------------------------------\n\nconst hex256 = (value: bigint): string => value.toString(16).padStart(64, '0');\n\n/** The most transactions one walk visits, fetched or kept: `WALK_PAGES` full pages. */\nconst WALK_LIMIT = WALK_PAGES * WALK_PAGE;\n\n/**\n * The account's chain from `from` back, one authenticated transaction at a time, each naming\n * the next by its `prev_trans_lt`/`prev_trans_hash`; `visit` returns true to stop. Ends at\n * the chain's start (`prev_trans_lt` 0: the account's first transaction, or its first since\n * a deletion, transaction.cpp `init_new`), or after `WALK_LIMIT` transactions or\n * `WALK_PAGES` pages. The replay guard walks before every resend, so a transaction\n * authenticated once is kept by its id (`chainTxs`), and a walk fetches only the part of\n * the chain it has not seen; a kept one is bound to the account as a fetched one is.\n */\nasync function walkChain(\n  ctx: TonContext,\n  wallet: string,\n  from: TransactionId,\n  visit: (tx: Transaction, hash: string) => Promise<boolean>,\n): Promise<'stopped' | 'start' | 'exhausted'> {\n  const account = accountId(wallet);\n  let expected = from;\n  let page: RawTransaction[] = [];\n  let fetched = 0;\n  for (let visited = 0; visited < WALK_LIMIT; visited++) {\n    const key = `${expected.lt}:${expected.hash}`;\n    const row = page.shift();\n    let tx = ctx.chainTxs.get(key);\n    if (tx !== undefined) {\n      if (tx.address !== account) throw notTheChains();\n      // The page fetched earlier no longer follows the walk: drop it.\n      if (row !== undefined && (row.lt !== expected.lt || row.hash !== expected.hash)) {\n        page = [];\n      }\n    } else {\n      let next = row;\n      if (next === undefined) {\n        if (fetched === WALK_PAGES) return 'exhausted';\n        fetched += 1;\n        page = await ctx.api.rawTransactions(wallet, expected, WALK_PAGE, PROOF);\n        next = page.shift();\n        if (next === undefined) {\n          throw undecided('the liteserver does not hold the transaction asked');\n        }\n      }\n      tx = authenticated(next, expected, account);\n      // Only a wallet-sized transaction is kept (a lying endpoint's is not): the memo\n      // stays bounded.\n      if (next.boc.length <= MEMO_TX_LENGTH) keep(ctx.chainTxs, key, tx, CHAIN_MEMO);\n    }\n    if (await visit(tx, expected.hash)) return 'stopped';\n    if (tx.prevTransactionLt === 0n) return 'start';\n    expected = { lt: tx.prevTransactionLt, hash: hex256(tx.prevTransactionHash) };\n  }\n  return 'exhausted';\n}\n\nconst CODE: ReadonlySet<string> = new Set(['active', 'frozen']);\nconst NO_CODE: ReadonlySet<string> = new Set(['uninitialized', 'non-existing']);\n\n/** What a transaction did, as the chain records it. */\nfunction phasesOf(tx: Transaction) {\n  const d = tx.description;\n  const compute = 'computePhase' in d ? d.computePhase : undefined;\n  const vm = compute?.type === 'vm' ? compute : undefined;\n  return {\n    /** The wallet's code ran: the chain runs it only when code exists or a StateInit\n     * activates the account (transaction.cpp). */\n    ran: vm !== undefined,\n    /** A request ran to the end, so a seqno moved (the action phase keeps it). */\n    consumed: chainRan(tx),\n    /** The account had code before or after. */\n    lived: CODE.has(tx.oldStatus) || CODE.has(tx.endStatus),\n    /** A re-deploy from no code: the seqno starts again (transaction.cpp activation). */\n    activation: NO_CODE.has(tx.oldStatus) && tx.endStatus === 'active',\n    /** The code went (+32 destroy, storage deletion): the seqno goes with it. */\n    destruction:\n      (CODE.has(tx.oldStatus) && NO_CODE.has(tx.endStatus)) ||\n      ('destroyed' in d && d.destroyed),\n  };\n}\n\n/**\n * The seqno a request the wallet ran claims, read from its signed header alone (so a\n * v4r2 plugin request or a W5 extended-action request counts too): an external request, or\n * a W5 `internal_signed` one, signed by the wallet's key for this very wallet\n * (`requestIsOwn`: a v5r1 wallet runs a forged relayed body and ignores it).\n */\nasync function claimedSeqno(\n  ctx: TonContext,\n  wallet: string,\n  message: Message | null | undefined,\n  key: () => Promise<Uint8Array | undefined>,\n): Promise<bigint | undefined> {\n  if (!message) return undefined;\n  const { body } = message;\n  const op = body.bits.length >= 32 ? body.beginParse().preloadUint(32) : undefined;\n  const w5 = op === OP.w5SignedExternal || op === OP.w5SignedInternal;\n  if (\n    message.info.type === 'internal'\n      ? op !== OP.w5SignedInternal\n      : message.info.type !== 'external-in'\n  ) {\n    return undefined;\n  }\n  let seqno: number;\n  try {\n    const s = body.beginParse();\n    // W5: op, wallet id, valid_until, seqno; v4r2: signature, subwallet id, valid_until, seqno.\n    s.skip(w5 ? 32 + 32 + 32 : 512 + 32 + 32);\n    seqno = s.loadUint(32);\n  } catch {\n    return undefined;\n  }\n  const publicKey = await key();\n  return publicKey && requestIsOwn(wallet, body, publicKey, ctx.config.globalId)\n    ? BigInt(seqno)\n    : undefined;\n}\n\ntype Absence = { readonly ours: string } | { readonly absent: true };\n\ninterface ChainQuestion {\n  readonly wallet: string;\n  readonly id: string;\n  readonly slot: { readonly seqno: bigint; readonly validUntil: number };\n  readonly head: BlockHeader;\n  readonly state: AccountState;\n  readonly active: boolean;\n  /** The seqno at `head` (0 for an uninitialized wallet). */\n  readonly seqno: bigint;\n}\n\nconst resetSuspected = (ctx: TonContext) => {\n  ctx.log.warn('the wallet may have been reset since our message', {\n    code: 'WALLET_RESET_SUSPECTED',\n  });\n  return undecided('the wallet may have been reset since our message');\n};\n\nconst walkExhausted = (ctx: TonContext) => {\n  ctx.log.warn('the wallet history is beyond the proof window', {\n    code: 'TX_CHAIN_WALK_EXHAUSTED',\n  });\n  return undecided('the wallet history is beyond the proof window');\n};\n\n/**\n * The wallet's code never ran in the history the indexer holds\n * below lt `below` (an earlier incarnation, before a chain start), or in all of it when\n * `below` is undefined (no chain now: never created, or deleted with its last transaction),\n * read under the proof quorum once the indexer has indexed masterchain block `reached`: no\n * compute phase that ran, and no status with code. Our message runs only in the wallet's\n * code, so an incarnation whose code never ran cannot hold it, whether the wallet is active\n * or uninitialized now (a deposit that bounced before the wallet existed is no reset).\n * A row where the code ran, a row without its statuses, or a history past the window\n * decides nothing.\n */\nasync function codeNeverRan(\n  ctx: TonContext,\n  wallet: string,\n  reached: number,\n  below?: bigint,\n): Promise<void> {\n  if (!(await ctx.api.indexerReached(reached, PROOF))) {\n    throw undecided('the indexer has not reached the attested block yet');\n  }\n  let endLt = below === undefined ? undefined : below - 1n;\n  for (let page = 0; page < HISTORY_PAGES; page++) {\n    const { transactions, next } = await ctx.api.accountTransactionsPage(\n      wallet,\n      { limit: HISTORY_PAGE, ...(endLt !== undefined ? { endLt } : {}) },\n      PROOF,\n    );\n    for (const tx of transactions) {\n      const { origStatus, endStatus } = tx;\n      if (\n        !tx.compute.skipped ||\n        origStatus === undefined ||\n        endStatus === undefined ||\n        origStatus === 'active' ||\n        origStatus === 'frozen' ||\n        endStatus === 'active' ||\n        endStatus === 'frozen'\n      ) {\n        throw resetSuspected(ctx);\n      }\n    }\n    if (next === undefined) return;\n    endLt = next;\n  }\n  throw walkExhausted(ctx);\n}\n\n/**\n * At an attested block where the message is expired, whether our message\n * consumed its seqno, from the account's own chain alone, walked back from the attested\n * state's last transaction:\n * - our message (its TEP-467 hash computed here) run to the end: ours, proven by the caller;\n * - otherwise \"absent\" only when the chain shows no reset: the walk reaches the earliest\n *   time our message could have run (`windowStart`, from the attempt's own record) with,\n *   when our seqno is consumed at `head`, its consumer found (another request, by its\n *   signed header); or it reaches the chain's start inside that window, and the anchored\n *   indexer history shows that the code never ran before it.\n * An activation, a destruction, or a consumer of a lower seqno first is a reset: from then\n * on the wallet must never have run, as far as the chain goes back into the window; a walk\n * past its cap decides nothing. An uninitialized wallet must never have run in the\n * window (our message cannot have run before it), nor, without a chain, at all.\n */\nasync function fromTheChain(ctx: TonContext, q: ChainQuestion): Promise<Absence> {\n  const needConsumer = q.active && q.seqno > q.slot.seqno;\n  if (q.state.lastLt === 0n) {\n    // No chain at `head`: never created, or deleted with its last transaction.\n    if (q.active) throw inconsistent('an active account without a transaction');\n    await codeNeverRan(ctx, q.wallet, q.head.id.seqno);\n    return { absent: true };\n  }\n  const windowStart = windowStartOf(q.slot);\n  const key = publicKeyAt(ctx, q.wallet, PROOF, q.head.id, q.state);\n  let codeless = !q.active;\n  let consumerFound = false;\n  let reset = false;\n  let ours: string | undefined;\n  let first = q.state.lastLt;\n  const end = await walkChain(\n    ctx,\n    q.wallet,\n    { lt: q.state.lastLt, hash: q.state.lastHash },\n    async (tx, hash) => {\n      first = tx.lt;\n      const t = phasesOf(tx);\n      const inbound = tx.inMessage;\n      if (ourRun(tx, q.wallet, q.id)) {\n        ours = hash;\n        return true;\n      }\n      if (tx.now < windowStart && (!needConsumer || consumerFound)) return true;\n      if (codeless) {\n        if (t.ran || t.lived || t.destruction) reset = true;\n        return false;\n      }\n      if (t.destruction) reset = true;\n      if (needConsumer && !consumerFound && t.consumed) {\n        const claimed = await claimedSeqno(ctx, q.wallet, inbound, key);\n        if (claimed === q.slot.seqno) consumerFound = true;\n        else if (claimed !== undefined && claimed < q.slot.seqno) reset = true;\n      }\n      if (t.activation) {\n        if (needConsumer && !consumerFound) reset = true;\n        codeless = true;\n      }\n      return false;\n    },\n  );\n  if (ours !== undefined) return { ours };\n  if (end === 'exhausted') throw walkExhausted(ctx);\n  if (reset || (needConsumer && !consumerFound)) throw resetSuspected(ctx);\n  if (end === 'start') await codeNeverRan(ctx, q.wallet, q.head.id.seqno, first);\n  return { absent: true };\n}\n\n// ---- the replay guard ---------------------------------------------------------------------\n\n/**\n * Stored bytes about to be sent again: the wallet they go to (raw), their TEP-467 hash, and\n * the seqno and lifetime their signed header carries. `validFrom` is the build's recorded\n * chain time when this driver assembled them; otherwise the widest lifetime applies.\n */\nexport interface StoredMessage {\n  readonly wallet: string;\n  readonly id: string;\n  readonly seqno: bigint;\n  readonly validUntil: number;\n  readonly validFrom?: number;\n}\n\n/**\n * The monotone predicate \"my seqno is above `seqno`\" at the endpoints' own states, under the\n * proof quorum; its key is the verdict itself and never throws.\n */\nasync function seqnoAbove(\n  ctx: TonContext,\n  wallet: string,\n  seqno: bigint,\n): Promise<boolean> {\n  const above = (result: RunResult): boolean => {\n    const value = seqnoIn(result);\n    return value !== undefined && value > seqno;\n  };\n  const key = (body: unknown): unknown => {\n    try {\n      return above(runResultOf(body));\n    } catch {\n      return 'malformed';\n    }\n  };\n  return above(\n    await ctx.api.runGetMethod(wallet, 'seqno', [], { ...PROOF, quorumKey: key }),\n  );\n}\n\n/**\n * Whether stored bytes may go out again. A wallet reset (a deletion, then a deposit,\n * or a re-deploy from the public `StateInit` back to our seqno) makes a message that already\n * ran and paid runnable again while it is valid, so every send of stored bytes asks first:\n * - `send`: the wallet's seqno is already above ours under the proof quorum, so the message\n *   cannot run (no walk); or the chain shows it cannot have run: the walk reaches the\n *   earliest time it could have run (`windowStartOf`, from the recorded build time, else\n *   the widest lifetime) with no reset, or a chain start whose earlier history shows the\n *   code never ran (a wallet funded a minute ago is sent to);\n * - `ours`: the chain holds our message run to the end: it must never be sent again.\n * The walk starts from the freshest state an endpoint serves (the attested head trails it\n * by 10 to 150 blocks, and a reset in that trail is exactly the danger), and must lead\n * down to the attested state's last transaction, so a lying fresh endpoint can hide only\n * what the attested walk could not see either. Anything else, including a deletion or a\n * new chain since the attested head, an activation or a destruction in the window, a walk\n * past its cap, an indexer behind the fresh block or a failed read, throws a retryable\n * error: the guard never sends while it cannot decide, and the proof decides.\n * Known gap: once a wallet is reset (which takes software that shares its key), anyone\n * can replay our message from the chain's public record; no client can stop that, and the\n * guard covers only this library's own sends.\n */\nexport async function replayVerdict(\n  ctx: TonContext,\n  message: StoredMessage,\n): Promise<'send' | 'ours'> {\n  const { wallet, id } = message;\n  // A seqno past ours needs no walk. A failed read is only \"not known\".\n  const past = await seqnoAbove(ctx, wallet, message.seqno).catch(() => false);\n  if (past) return 'send';\n  const windowStart = windowStartOf(message);\n  const head = await attestedHead(ctx);\n  const attested = await stateAt(ctx, wallet, head);\n  const fresh = await ctx.api.account(wallet, MONITOR);\n  // An endpoint behind the attested head adds nothing; one past it must agree with it.\n  const top = fresh.blockSeqno > head.id.seqno ? fresh : attested;\n  if (top === fresh) {\n    if (\n      fresh.lastLt === attested.lastLt\n        ? fresh.lastHash !== attested.lastHash\n        : fresh.lastLt < attested.lastLt && fresh.lastLt !== 0n\n    ) {\n      throw inconsistent('the freshest state does not follow the attested one');\n    }\n  }\n  if (top.status === 'frozen')\n    throw undecided('the wallet state does not show its seqno');\n  // The account was deleted since the attested head: our message may have run just before.\n  if (top.lastLt === 0n && attested.lastLt !== 0n) throw resetSuspected(ctx);\n  if (top.lastLt === 0n) {\n    // No chain now, nor at the attested head: never created, or deleted long ago.\n    await codeNeverRan(ctx, wallet, top.blockSeqno);\n    return 'send';\n  }\n  // The fresh part of the chain must lead to the attested state's last transaction.\n  const link = top !== attested && attested.lastLt !== 0n ? attested : undefined;\n  let linked = link === undefined || link.lastLt === top.lastLt;\n  let codeless = top.status !== 'active';\n  let reset = false;\n  let ours = false;\n  let first = top.lastLt;\n  const end = await walkChain(\n    ctx,\n    wallet,\n    { lt: top.lastLt, hash: top.lastHash },\n    async (tx, hash) => {\n      first = tx.lt;\n      if (!linked && link !== undefined) {\n        if (tx.lt < link.lastLt || (tx.lt === link.lastLt && hash !== link.lastHash)) {\n          throw inconsistent('the freshest state does not follow the attested one');\n        }\n        linked = tx.lt === link.lastLt;\n      }\n      const t = phasesOf(tx);\n      if (ourRun(tx, wallet, id)) {\n        ours = true;\n        return true;\n      }\n      if (linked && tx.now < windowStart) return true;\n      if (codeless) {\n        if (t.ran || t.lived || t.destruction) reset = true;\n        return false;\n      }\n      if (t.destruction) reset = true;\n      if (t.activation) codeless = true;\n      return false;\n    },\n  );\n  if (ours) return 'ours';\n  if (end === 'exhausted') throw walkExhausted(ctx);\n  // Not linked at the chain's start: a new chain since the attested head, so a deletion.\n  if (reset || !linked) throw resetSuspected(ctx);\n  if (end === 'start') await codeNeverRan(ctx, wallet, top.blockSeqno, first);\n  return 'send';\n}\n\ntype Included = Extract<\n  Awaited<ReturnType<ProofSource['includedFinal']>>,\n  { included: true }\n>;\n\n/**\n * Our indexed transaction that consumed its seqno (the Attempt `id`), proven: a complete\n * trace, whose last block the endpoints attest they hold, and the verdict, its jetton\n * wallets confirmed at that block and a bounce read from the chain itself, both under the\n * proof quorum.\n */\nasync function proveIncluded(\n  ctx: TonContext,\n  tx: V3Transaction,\n  from: string,\n  id: string,\n): Promise<Included> {\n  const trace = await ctx.api.trace(tx.hash, PROOF);\n  if (!trace || !trace.complete) throw undecided('the message trace is not complete yet');\n  const last = traceBlock(tx, trace);\n  if (!(await ctx.api.reachedMasterchain(last, PROOF))) {\n    throw undecided('the endpoints have not reached the trace yet');\n  }\n  const verdict = await confirmBounce(\n    ctx,\n    await confirmLegs(ctx, attemptVerdict(tx, trace), from, PROOF, last),\n    from,\n    id,\n    PROOF,\n  );\n  if (verdict.kind === 'pending')\n    throw undecided('the message trace is not complete yet');\n  const header = await masterchainBlock(ctx, tx.mcSeqno);\n  return {\n    included: true,\n    success: verdict.kind === 'success',\n    blockHeight: BigInt(tx.mcSeqno),\n    blockHash: header.id.rootHash,\n    txHash: tx.hash,\n    ...(verdict.kind === 'failed' ? { reason: verdict.reason } : {}),\n    ...(verdict.kind === 'failed' && verdict.failure ? { failure: verdict.failure } : {}),\n  };\n}\n\n/**\n * Our transaction the chain itself holds (`hash`), proven through the indexer's record of\n * that very transaction, which must be our message and have consumed its seqno.\n */\nasync function proveOurs(\n  ctx: TonContext,\n  hash: string,\n  wallet: string,\n  id: string,\n): Promise<Included> {\n  const record = await ctx.api.transaction(hash, PROOF);\n  if (!record) throw undecided('our transaction is not indexed yet');\n  if (!isOwnAttempt(record, wallet, id) || !consumesSeqno(record)) {\n    throw inconsistent(\"the indexer's record is not the chain's transaction\");\n  }\n  return proveIncluded(ctx, record, wallet, id);\n}\n\nconst seqnoOrdering = (ordering: OrderingData) =>\n  ordering.kind === 'seqno' ? ordering : undefined;\n\nexport function createTonProofs(ctx: TonContext): ProofSource {\n  const { api } = ctx;\n  const walletOf = (from: string) => ctx.codec.normalize(from).canonical;\n  return {\n    async finalizedHead() {\n      const header = await attestedHead(ctx);\n      return {\n        height: BigInt(header.id.seqno),\n        hash: header.id.rootHash,\n        timestamp: header.genUtime,\n      };\n    },\n\n    async includedFinal(ref, ordering, from) {\n      const wallet = walletOf(from);\n      // Only our own wallet transaction, its hash computed here from the bound body. A\n      // run that did not consume its seqno (a failed action phase) moved nothing and may\n      // run again until the message expires: only the seqno decides it.\n      const id = attemptId(ref.id);\n      if (id === undefined) throw undecided('a TON attempt needs its message hash');\n      const own = await findOwnAttempt(ctx, ref, wallet, PROOF);\n      if (own && consumesSeqno(own)) return proveIncluded(ctx, own, wallet, id);\n      const slot = seqnoOrdering(ordering);\n      if (!slot) throw undecided('a TON attempt needs its seqno ordering');\n      if (!hasLifetime(slot.validUntil))\n        throw undecided('a TON attempt needs its lifetime');\n      // Not proven under our hash: decide only from state at an attested block.\n      const head = await attestedHead(ctx);\n      const state = await stateAt(ctx, wallet, head);\n      const active = state.status === 'active';\n      // A frozen wallet, or an uninitialized one past seqno 0, shows no seqno (never 0).\n      if (!active && (state.status === 'frozen' || slot.seqno !== 0n)) {\n        throw undecided('the wallet state does not show its seqno');\n      }\n      const seqno = active ? await seqnoAt(ctx, wallet, head, state) : 0n;\n      if (seqno === undefined)\n        throw undecided('the wallet state does not show its seqno');\n      if (seqno > slot.seqno) {\n        // The indexer's consumer search: a hint that finds ours, never a \"no\", nor a veto\n        // either; a hint that cannot be used (a record the chain could not produce, a\n        // failed read) is logged, and the authenticated path decides.\n        let hint: V3Transaction | undefined;\n        try {\n          hint = await consumerOf(ctx, wallet, slot.seqno, head, state);\n        } catch (error) {\n          if (!isCryptoAioError(error) || !error.retryable) throw error;\n          ctx.log.warn('the indexer gave no usable seqno consumer', {\n            code: 'SEQNO_CONSUMER_HINT_UNUSABLE',\n          });\n        }\n        if (hint && isOwnAttempt(hint, wallet, id))\n          return proveIncluded(ctx, hint, wallet, id);\n      }\n      // Never \"not included\" while the message may still run: a reset of the wallet could\n      // bring its seqno back to ours.\n      if (!(await expiredAt(ctx, head, slot.validUntil))) {\n        throw undecided('the message may still be included');\n      }\n      const chain = await fromTheChain(ctx, {\n        wallet,\n        id,\n        slot,\n        head,\n        state,\n        active,\n        seqno,\n      });\n      if ('ours' in chain) return proveOurs(ctx, chain.ours, wallet, id);\n      return { included: false };\n    },\n\n    async slotConsumed(ordering, from, level) {\n      const slot = seqnoOrdering(ordering);\n      if (!slot) return false;\n      // Masterchain state is final once it exists, so TON gives no separate `latest`\n      // evidence: our own landed-but-unindexed message is never observed as `replaced`.\n      if (level === 'latest') return false;\n      // \"My seqno at the final state is above n\", a monotone predicate.\n      return seqnoAbove(ctx, walletOf(from), slot.seqno);\n    },\n\n    async expired(ordering) {\n      const slot = seqnoOrdering(ordering);\n      if (!slot) return false;\n      return expiredAt(ctx, await attestedHead(ctx), slot.validUntil);\n    },\n\n    async blockHash(height) {\n      // Every masterchain block is final once it exists: both levels read the same.\n      if (height < 0n || height > BigInt(await api.masterchainHead(MONITOR))) return null;\n      return (await masterchainBlock(ctx, Number(height))).id.rootHash;\n    },\n  };\n}\n\n/** A history cursor: the next page's `end_lt`, a u64 in decimal, capped before use. */\nfunction cursorLt(cursor: string | undefined): bigint | undefined {\n  if (cursor === undefined) return undefined;\n  if (\n    cursor.length === 0 ||\n    cursor.length > MAX_LT_DIGITS ||\n    !/^\\d+$/.test(cursor) ||\n    BigInt(cursor) > MAX_LT\n  ) {\n    throw new ValidationError('INVALID_INTENT', 'not a TON history cursor');\n  }\n  return BigInt(cursor);\n}\n\n/**\n * An address's transactions from the indexer, newest first, decoded with jettons only for\n * verified jetton wallets. The cursor is the next page's `end_lt`, taken from the page as\n * the indexer served it, so rows not final yet never end the history early; a page\n * is at most what toncenter serves.\n */\nexport function createTonHistory(ctx: TonContext): AddressHistorySource {\n  return {\n    async list(address, options) {\n      const endLt = cursorLt(options.cursor);\n      const account = ctx.codec.normalize(address).canonical;\n      const page = await ctx.api.accountTransactionsPage(\n        account,\n        {\n          limit: Math.min(options.limit, HISTORY_PAGE_MAX),\n          ...(endLt !== undefined ? { endLt } : {}),\n        },\n        READ,\n      );\n      const items = [];\n      const memo = pageMemo();\n      for (const tx of page.transactions) {\n        items.push(await decodeWithJettons(ctx, tx, READ, memo));\n      }\n      return {\n        items,\n        ...(page.next !== undefined ? { next: page.next.toString() } : {}),\n      };\n    },\n  };\n}\n"]}

package/dist/adapters/ton/reader.d.ts

@@ -6,12 +6,13 @@
  */
 import { type Transaction } from '@ton/core';
 import type { AddressCodec, ChainReader, DriverBlock, SequenceSource } from '../../core/driver/types';
+import { ProviderError } from '../../core/errors/error';
 import type { Logger } from '../../core/events/logger';
 import type { AssetRef } from '../../core/model/asset';
 import type { ChainInfo, NetworkInfo } from '../../core/model/chain';
 import type { AttemptRef } from '../../core/model/transaction';
 import type { Clock } from '../../core/util/clock';
-import { type AccountState, type BlockHeader, type BlockId, type TonApi, type V3Trace, type V3Transaction } from './api';
+import { type AccountState, type BlockHeader, type BlockId, type RawTransaction, type TonApi, type TransactionId, type V3Trace, type V3Transaction } from './api';
 import { type VerifiedJettonWallet } from './decode';
 import { type WalletRequest } from './messages';
 import type { TonNetworkConfig } from './network';
@@ -37,9 +38,10 @@ export interface TonContext {
     /** jetton wallet → its owner and master, verified under the quorum. */
     readonly verified: Map<string, VerifiedJettonWallet>;
     /**
-     * Wallet transactions the chain walk authenticated, by `lt:hash`. A
-     * transaction is immutable and its cell hashes to its id, so a kept one is as good as one
-     * fetched again; each walk fetches only what it has not seen (bounded, `CHAIN_MEMO`).
+     * Transactions authenticated under the proof quorum (the chain walk's wallet
+     * transactions, a bounce's deliveries), by `lt:hash`. A transaction is immutable and its
+     * cell hashes to its id, so a kept one is as good as one fetched again; each walk fetches
+     * only what it has not seen (bounded, `CHAIN_MEMO`).
      */
     readonly chainTxs: Map<string, Transaction>;
     /**
@@ -153,6 +155,45 @@ export declare function findOwnAttempt(ctx: TonContext, ref: AttemptRef, from: s
 export declare function confirmLegs(ctx: TonContext, verdict: Verdict, from: string, tags: TonCallTags, block: number): Promise<Verdict>;
 /** The newest masterchain block of a trace: every leg's wallet has run by then. */
 export declare function traceBlock(root: V3Transaction, trace: V3Trace | null): number;
+/** A raw address's account id, as a transaction cell names it. */
+export declare const accountId: (raw: string) => bigint;
+export declare const notTheChains: () => ProviderError;
+/**
+ * A transaction the liteserver served, authenticated: its cell (capped by the API before
+ * this decodes it) hashes to the id expected, and it is the account's own at the lt
+ * expected. Anything else is not the chain's.
+ */
+export declare function authenticated(row: RawTransaction, expected: TransactionId, account: bigint): Transaction;
+/**
+ * Whether the chain's `tx` ran its inbound message to the end: its compute and action
+ * phases both succeeded, so its state and its outgoing messages stand (a failed phase
+ * drops both, transaction.cpp).
+ */
+export declare function chainRan(tx: Transaction): boolean;
+/**
+ * Whether the chain's `tx` is our message run to the end: its inbound external message's
+ * TEP-467 hash, computed here from the authenticated body, is `id`, and it consumed its
+ * seqno.
+ */
+export declare function ourRun(tx: Transaction, wallet: string, id: string): boolean;
+/**
+ * A bounce verdict (`transfer bounced`, `jetton transfer bounced`), authenticated from the
+ * chain itself: a lone lying indexer could report one for a transfer that landed, and a
+ * `failed` invites a second payment. The indexer only names the transactions
+ * (`BounceEvidence`); the liteserver serves each under `tags` (the proof quorum on the
+ * proof path), hashed here (`chainTransaction`). The verdict stands only when the chain
+ * shows all of it: our wallet transaction is our Attempt run to the end; each delivery
+ * received a message the one before it sent, by the message's cell hash, so no other
+ * delivery (another transfer's bounce at the same recipient) stands in for ours, and the
+ * message past our jetton wallet carries our jettons onward; and the last one sent the
+ * value back, ran nothing, or moved no jettons. A delivery the liteserver does not hold
+ * yet decides nothing (a retryable `PROVIDER_UNAVAILABLE`), nor do endpoints that disagree
+ * on one (the quorum's `PROVIDER_INCONSISTENT`); a chain that shows otherwise is a
+ * retryable `PROVIDER_INCONSISTENT` (logged `BOUNCE_UNPROVEN`), never `success` either: a
+ * real bounce may only lack its evidence yet, and the indexer's word decides neither way.
+ * Any other verdict passes unchanged.
+ */
+export declare function confirmBounce(ctx: TonContext, verdict: Verdict, from: string, id: string, tags: TonCallTags): Promise<Verdict>;
 /**
  * What one history page reads once and uses for every transaction on it:
  * each masterchain block's header, and each jetton wallet's facts, read at the block of the

package/dist/adapters/ton/reader.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.pageMemo = exports.NO_STATE_EXIT = exports.ASSEMBLED_MEMO = exports.MEMO_TX_LENGTH = exports.CHAIN_MEMO = void 0;
+exports.pageMemo = exports.notTheChains = exports.accountId = exports.NO_STATE_EXIT = exports.ASSEMBLED_MEMO = exports.MEMO_TX_LENGTH = exports.CHAIN_MEMO = void 0;
 exports.keep = keep;
 exports.createTonContext = createTonContext;
 exports.jettonWalletAddress = jettonWalletAddress;
@@ -12,6 +12,10 @@ exports.toDriverBlock = toDriverBlock;
 exports.findOwnAttempt = findOwnAttempt;
 exports.confirmLegs = confirmLegs;
 exports.traceBlock = traceBlock;
+exports.authenticated = authenticated;
+exports.chainRan = chainRan;
+exports.ourRun = ourRun;
+exports.confirmBounce = confirmBounce;
 exports.decodeWithJettons = decodeWithJettons;
 exports.createTonReader = createTonReader;
 exports.walletSeqno = walletSeqno;
@@ -501,7 +505,12 @@ async function confirmLegs(ctx, verdict, from, tags, block) {
         if (recipient.kind === 'foreign' ||
             recipient.wallet.owner !== leg.recipient ||
             recipient.wallet.master !== sender.wallet.master) {
-            return Object.freeze({ kind: 'failed', reason: trace_1.REASONS.jettonUnverified });
+            // The jettons left the wallet, to a wallet the master does not name.
+            return Object.freeze({
+                kind: 'failed',
+                reason: trace_1.REASONS.jettonUnverified,
+                failure: 'unevidenced',
+            });
         }
     }
     return verdict;
@@ -510,6 +519,186 @@ async function confirmLegs(ctx, verdict, from, tags, block) {
 function traceBlock(root, trace) {
     return Math.max(root.mcSeqno, ...(trace?.transactions ?? []).map((tx) => tx.mcSeqno));
 }
+// ---- the chain's own transactions ---------------------------------------------------------
+/** A raw address's account id, as a transaction cell names it. */
+const accountId = (raw) => BigInt(`0x${raw.slice(raw.indexOf(':') + 1)}`);
+exports.accountId = accountId;
+const notTheChains = () => new error_1.ProviderError('PROVIDER_INCONSISTENT', "the liteserver answered a transaction that is not the chain's", { retryable: true });
+exports.notTheChains = notTheChains;
+/**
+ * A transaction the liteserver served, authenticated: its cell (capped by the API before
+ * this decodes it) hashes to the id expected, and it is the account's own at the lt
+ * expected. Anything else is not the chain's.
+ */
+function authenticated(row, expected, account) {
+    if (row.lt !== expected.lt || row.hash !== expected.hash)
+        throw (0, exports.notTheChains)();
+    let cell;
+    let tx;
+    try {
+        const cells = core_1.Cell.fromBoc(Buffer.from(row.boc, 'base64'));
+        if (cells.length !== 1)
+            throw (0, exports.notTheChains)();
+        cell = cells[0];
+        tx = (0, core_1.loadTransaction)(cell.beginParse());
+    }
+    catch {
+        throw (0, exports.notTheChains)();
+    }
+    if (cell.hash().toString('hex') !== expected.hash ||
+        tx.lt !== expected.lt ||
+        tx.address !== account) {
+        throw (0, exports.notTheChains)();
+    }
+    return tx;
+}
+/**
+ * Whether the chain's `tx` ran its inbound message to the end: its compute and action
+ * phases both succeeded, so its state and its outgoing messages stand (a failed phase
+ * drops both, transaction.cpp).
+ */
+function chainRan(tx) {
+    const d = tx.description;
+    return (d.type === 'generic' &&
+        d.computePhase.type === 'vm' &&
+        d.computePhase.success &&
+        d.actionPhase?.success === true);
+}
+/**
+ * Whether the chain's `tx` is our message run to the end: its inbound external message's
+ * TEP-467 hash, computed here from the authenticated body, is `id`, and it consumed its
+ * seqno.
+ */
+function ourRun(tx, wallet, id) {
+    const inbound = tx.inMessage;
+    return (chainRan(tx) &&
+        inbound?.info.type === 'external-in' &&
+        (0, wallets_1.externalHashOf)(wallet, inbound.body) === id);
+}
+/**
+ * The transaction `id` names, as the liteserver serves it under `tags` (v2, by its lt and
+ * hash), authenticated. One read under the proof quorum is kept with the chain walk's
+ * (`chainTxs`), and a kept one is as good as one fetched again; one read under any other
+ * tags is used once.
+ */
+async function chainTransaction(ctx, id, tags) {
+    const key = `${id.lt}:${id.hash}`;
+    const account = (0, exports.accountId)(id.account);
+    const kept = ctx.chainTxs.get(key);
+    if (kept !== undefined) {
+        if (kept.address !== account)
+            throw (0, exports.notTheChains)();
+        return kept;
+    }
+    const [row] = await ctx.api.rawTransactions(id.account, id, 1, tags);
+    if (row === undefined)
+        throw notYet('the liteserver does not hold the transaction asked');
+    const tx = authenticated(row, id, account);
+    if (tags.quorum !== undefined && row.boc.length <= exports.MEMO_TX_LENGTH) {
+        keep(ctx.chainTxs, key, tx, exports.CHAIN_MEMO);
+    }
+    return tx;
+}
+/**
+ * An `out_msgs` value (block.tlb `HashmapE 15 ^(Message Any)`): the message's own cell,
+ * read as `loadTransaction` reads it, so every transaction it loaded reads here too.
+ */
+const MESSAGE_CELL = {
+    serialize: core_1.Dictionary.Values.Cell().serialize,
+    parse: (slice) => slice.loadRef(),
+};
+/**
+ * The cells of the messages the chain's `tx` received and sent, as its own cell holds
+ * them: a message's hash is its cell's, the same in the transaction that sent it and the
+ * one that received it.
+ */
+function messageCells(tx) {
+    const slice = tx.raw.refs[0].beginParse();
+    const inbound = slice.loadBit() ? slice.loadRef() : undefined;
+    const outbound = slice.loadDict(core_1.Dictionary.Keys.Uint(15), MESSAGE_CELL).values();
+    return { inbound, outbound };
+}
+const hashOf = (cell) => cell?.hash().toString('hex');
+/** The jettons an `internal_transfer` in `message` carries from `from`; else undefined. */
+function jettonsFrom(message, from) {
+    const { info, body } = (0, core_1.loadMessage)(message.beginParse());
+    const transfer = info.type === 'internal' ? (0, messages_1.decodeJettonInternalTransfer)(body) : null;
+    return transfer?.from === from ? transfer.amount : undefined;
+}
+/** Whether the chain's last delivery `tx` did what the verdict says (`end`). */
+function endedAs(tx, end, from) {
+    if (end === 'bounced') {
+        // The bounce phase sent the value back; `nofunds` and `negfunds` left it there.
+        const d = tx.description;
+        return d.type === 'generic' && d.bouncePhase?.type === 'ok';
+    }
+    if (end === 'unran')
+        return !chainRan(tx);
+    // It ran, and every `internal_transfer` it sent for us moved nothing.
+    const amounts = messageCells(tx).outbound.map((m) => jettonsFrom(m, from));
+    return (chainRan(tx) &&
+        amounts.some((amount) => amount === 0n) &&
+        !amounts.some((amount) => amount !== undefined && amount > 0n));
+}
+/**
+ * A bounce verdict (`transfer bounced`, `jetton transfer bounced`), authenticated from the
+ * chain itself: a lone lying indexer could report one for a transfer that landed, and a
+ * `failed` invites a second payment. The indexer only names the transactions
+ * (`BounceEvidence`); the liteserver serves each under `tags` (the proof quorum on the
+ * proof path), hashed here (`chainTransaction`). The verdict stands only when the chain
+ * shows all of it: our wallet transaction is our Attempt run to the end; each delivery
+ * received a message the one before it sent, by the message's cell hash, so no other
+ * delivery (another transfer's bounce at the same recipient) stands in for ours, and the
+ * message past our jetton wallet carries our jettons onward; and the last one sent the
+ * value back, ran nothing, or moved no jettons. A delivery the liteserver does not hold
+ * yet decides nothing (a retryable `PROVIDER_UNAVAILABLE`), nor do endpoints that disagree
+ * on one (the quorum's `PROVIDER_INCONSISTENT`); a chain that shows otherwise is a
+ * retryable `PROVIDER_INCONSISTENT` (logged `BOUNCE_UNPROVEN`), never `success` either: a
+ * real bounce may only lack its evidence yet, and the indexer's word decides neither way.
+ * Any other verdict passes unchanged.
+ */
+async function confirmBounce(ctx, verdict, from, id, tags) {
+    if (verdict.kind !== 'failed')
+        return verdict;
+    const evidence = verdict.bounce;
+    if (evidence === undefined &&
+        verdict.reason !== trace_1.REASONS.bounced &&
+        verdict.reason !== trace_1.REASONS.jettonBounced) {
+        return verdict;
+    }
+    const unproven = () => {
+        ctx.log.warn('the chain does not show the bounce the indexer reports', {
+            code: 'BOUNCE_UNPROVEN',
+        });
+        return new error_1.ProviderError('PROVIDER_INCONSISTENT', 'the chain does not show the bounce the indexer reports', { retryable: true });
+    };
+    // Only a Gram bounce rests on a bounce phase, the value sent back; a jetton one rests on
+    // a jetton wallet that ran nothing or moved nothing.
+    if (evidence === undefined ||
+        evidence.path.length === 0 ||
+        (evidence.end === 'bounced') !== (verdict.reason === trace_1.REASONS.bounced)) {
+        throw unproven();
+    }
+    const ours = await chainTransaction(ctx, { ...evidence.root, account: from }, tags);
+    if (!ourRun(ours, from, id))
+        throw unproven();
+    let sent = messageCells(ours).outbound;
+    for (const [index, step] of evidence.path.entries()) {
+        const message = sent.find((cell) => hashOf(cell) === step.message);
+        if (!message || (index > 0 && !((jettonsFrom(message, from) ?? 0n) > 0n))) {
+            throw unproven();
+        }
+        const tx = await chainTransaction(ctx, step, tags);
+        const cells = messageCells(tx);
+        const last = index === evidence.path.length - 1;
+        if (hashOf(cells.inbound) !== step.message ||
+            (last ? !endedAs(tx, evidence.end, from) : !chainRan(tx))) {
+            throw unproven();
+        }
+        sent = cells.outbound;
+    }
+    return verdict;
+}
 const pageMemo = () => ({
     headers: new Map(),
     jettonWallets: new Map(),
@@ -602,14 +791,20 @@ function createTonReader(ctx) {
             // Anyone's transaction: its execution status as the chain reports it.
             if (wallet === undefined)
                 return { ...seen, success: (0, decode_1.executed)(tx) };
-            // Our own Attempt: the verdict path.
+            // Our own Attempt, found under its id: the verdict path. A bounce, as a jetton leg,
+            // stands only once the chain shows it.
             const trace = await api.trace(tx.hash, api_1.MONITOR);
-            const verdict = await confirmLegs(ctx, (0, trace_1.attemptVerdict)(tx, trace), wallet, api_1.MONITOR, traceBlock(tx, trace));
+            const verdict = await confirmBounce(ctx, await confirmLegs(ctx, (0, trace_1.attemptVerdict)(tx, trace), wallet, api_1.MONITOR, traceBlock(tx, trace)), wallet, hashId(ref.id), api_1.MONITOR);
             if (verdict.kind === 'pending')
                 return seen;
             return verdict.kind === 'success'
                 ? { ...seen, success: true }
-                : { ...seen, success: false, reason: verdict.reason };
+                : {
+                    ...seen,
+                    success: false,
+                    reason: verdict.reason,
+                    ...(verdict.failure ? { failure: verdict.failure } : {}),
+                };
         },
         getTokenMetadata: async (ref) => jettonMetadata(ctx, jettonMaster(ctx, ref)),
         normalizeTokenRef: (ref) => ({