@telora/daemon 0.21.163 → 0.21.169
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/build-info.json +4 -3
- package/dist/completion/review-defect-detector.d.ts +9 -0
- package/dist/completion/review-defect-detector.d.ts.map +1 -1
- package/dist/completion/review-defect-detector.js +11 -0
- package/dist/completion/review-defect-detector.js.map +1 -1
- package/dist/completion/review-exit-deps.d.ts +51 -0
- package/dist/completion/review-exit-deps.d.ts.map +1 -0
- package/dist/completion/review-exit-deps.js +46 -0
- package/dist/completion/review-exit-deps.js.map +1 -0
- package/dist/completion/review-exit-escalations.d.ts +28 -0
- package/dist/completion/review-exit-escalations.d.ts.map +1 -1
- package/dist/completion/review-exit-escalations.js +36 -10
- package/dist/completion/review-exit-escalations.js.map +1 -1
- package/dist/completion/review-exit-phase.d.ts +2 -38
- package/dist/completion/review-exit-phase.d.ts.map +1 -1
- package/dist/completion/review-exit-phase.js +70 -45
- package/dist/completion/review-exit-phase.js.map +1 -1
- package/dist/completion/review-exit-progress.d.ts +5 -1
- package/dist/completion/review-exit-progress.d.ts.map +1 -1
- package/dist/completion/review-exit-progress.js +5 -1
- package/dist/completion/review-exit-progress.js.map +1 -1
- package/dist/completion/state-cascade.d.ts +11 -0
- package/dist/completion/state-cascade.d.ts.map +1 -1
- package/dist/completion/state-cascade.js +18 -0
- package/dist/completion/state-cascade.js.map +1 -1
- package/dist/delivery/delivery-reconciler.d.ts +15 -0
- package/dist/delivery/delivery-reconciler.d.ts.map +1 -1
- package/dist/delivery/delivery-reconciler.js +13 -0
- package/dist/delivery/delivery-reconciler.js.map +1 -1
- package/dist/queries/deliveries.d.ts +12 -0
- package/dist/queries/deliveries.d.ts.map +1 -1
- package/dist/queries/deliveries.js +24 -0
- package/dist/queries/deliveries.js.map +1 -1
- package/dist/queries/delivery-gate-state.d.ts +19 -0
- package/dist/queries/delivery-gate-state.d.ts.map +1 -1
- package/dist/verify/shortfall-repeat.d.ts +92 -0
- package/dist/verify/shortfall-repeat.d.ts.map +1 -0
- package/dist/verify/shortfall-repeat.js +102 -0
- package/dist/verify/shortfall-repeat.js.map +1 -0
- package/dist/verify/verification-deps-default.d.ts +24 -0
- package/dist/verify/verification-deps-default.d.ts.map +1 -0
- package/dist/verify/verification-deps-default.js +201 -0
- package/dist/verify/verification-deps-default.js.map +1 -0
- package/dist/verify/verification-engine.d.ts.map +1 -1
- package/dist/verify/verification-engine.js +15 -185
- package/dist/verify/verification-engine.js.map +1 -1
- package/dist/verify/verification-feedback.d.ts +70 -1
- package/dist/verify/verification-feedback.d.ts.map +1 -1
- package/dist/verify/verification-feedback.js +183 -3
- package/dist/verify/verification-feedback.js.map +1 -1
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"deliveries.js","sourceRoot":"","sources":["../../src/queries/deliveries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAoB,MAAM,aAAa,CAAC;AAC3F,OAAO,EAEL,6BAA6B,EAC7B,6BAA6B,EAC7B,4BAA4B,EAC5B,qCAAqC,GACtC,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;AAM7D,MAAM,wBAAwB,GAAG,eAAe,CAAwB;IACtE,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,MAAM;IACZ,WAAW,EAAE,aAAa;IAC1B,eAAe,EAAE,gBAAgB;IACjC,UAAU,EAAE,WAAW;IACvB,SAAS,EAAE,UAAU;IACrB,IAAI,EAAE,EAAE,KAAK,EAAE,UAAmB,EAAE;IACpC,sBAAsB,EAAE,qBAAqB;IAC7C,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,aAAa;CAC5B,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,eAAuB,EAAE,SAAkB;IAOlF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,6BAA6B,EAC7B,6BAA6B,EAC7B,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IAEF,iEAAiE;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,UAAU,EAAE,CAAC,CAAC,SAAS;QACvB,sBAAsB,EAAE,CAAC,CAAC,mBAAmB;QAC7C,eAAe,EAAE,CAAC,CAAC,aAAa;KACjC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,UAAkB;IACzD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,6BAA6B,EAC7B,6BAA6B,EAC7B,EAAE,UAAU,EAAE,CACf,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAmF,CAAC;QAC3G,OAAO;YACL,GAAG,OAAO;YACV,QAAQ,EAAE,wBAAwB,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;SAC5D,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AA4CD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,MAM9C;IACC,MAAM,OAAO,CAAC,mCAAmC,EAAE;QACjD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,IAAI;QACrC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5E,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,UAAkB,EAClB,eAAuB,EACvB,sBAAsC,EACtC,SAAoC,EACpC,mBAA+C,EAC/C,UAA6B,EAC7B,WAA8B;IAE9B,MAAM,MAAM,GAA4B,EAAE,eAAe,EAAE,CAAC;IAC5D,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,CAAC,sBAAsB,GAAG,sBAAsB,CAAC;IACzD,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC;IAC/B,CAAC;IACD,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,0EAA0E;QAC1E,6EAA6E;QAC7E,2EAA2E;QAC3E,MAAM,CAAC,cAAc,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,CAAC,qBAAqB,GAAG,WAAW,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,MAAM,OAAO,CAAC,+BAA+B,EAAE;QAC7C,UAAU;QACV,MAAM;KACP,CAAC,CAAC;IAEH,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,MAAM,wBAAwB,CAAC;gBAC7B,UAAU;gBACV,cAAc,EAAE,UAAU,CAAC,cAAc;gBACzC,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,IAAI;gBACzC,QAAQ,EAAE,eAAe;aAC1B,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,qDAAqD;gBACrD,GAAG,UAAU,CAAC,UAAU,IAAI,MAAM,OAAO,eAAe,iBAAiB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EACjG,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAkB,EAClB,eAAuB,EACvB,WAA0B,EAC1B,UAA6B;IAE7B,+EAA+E;IAC/E,2EAA2E;IAC3E,6EAA6E;IAC7E,wEAAwE;IACxE,uEAAuE;IACvE,yEAAyE;IACzE,8EAA8E;IAC9E,+EAA+E;IAC/E,qEAAqE;IACrE,MAAM,oBAAoB,CACxB,UAAU,EACV,MAAM,EACN,WAAW,EACX,IAAI,EACJ,SAAS,EACT,UAAU,EACV,EAAE,SAAS,EAAE,eAAe,EAAE,CAC/B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,eAAuB,EAAE,SAAkB;IAOjF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,4BAA4B,EAC5B,4BAA4B,EAC5B,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IAEF,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,UAAU,EAAE,CAAC,CAAC,SAAS;QACvB,QAAQ,EAAE,CAAC,CAAC,OAAO;QACnB,eAAe,EAAE,CAAC,CAAC,cAAc,IAAI,IAAI;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,UAAkB,EAClB,SAAiB;IAEjB,MAAM,OAAO,CAAC,iBAAiB,EAAE;QAC/B,UAAU;QACV,MAAM,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE;KACtC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAatC;IACC,MAAM,OAAO,CAAC,2BAA2B,EAAE;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE;YACN,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,QAAQ,EAAE,QAAQ;SACnB;KACF,CAAC,CAAC;AACL,CAAC;AAmBD,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAI,MAAyB,EAAE,QAAW;IACvE,OAAO,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,OAAe,EACf,cAAsB,EACtB,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAEtB,kBAAkB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,cAAc,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,GAAG,EAAE,UAAU,IAAI,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,yDAAyD,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YAChF,GAAI,GAAa,CAAC,OAAO,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,OAAe,EACf,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAEtB,kBAAkB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;YAChE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACzB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,+DAA+D,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YACtF,GAAI,GAAa,CAAC,OAAO,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,OAAe,EACf,cAAsB,EACtB,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAEtB,kBAAkB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,cAAc,CAAC,CAAC;QACnF,OAAO,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC5F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,2DAA2D,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YAClF,GAAI,GAAa,CAAC,OAAO,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;AACnD,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAAkB,EAClB,QAAkB,EAClB,aAAsB;IAEtB,IAAI,CAAC;QACH,MAAM,MAAM,GAA4B,EAAE,QAAQ,EAAE,CAAC;QACrD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC;QACvC,CAAC;QACD,MAAM,OAAO,CAAC,2BAA2B,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACnE,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,uBAAuB,QAAQ,iBAAiB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,8BAA8B,QAAQ,iBAAiB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC;QACvH,IAAI,KAAK,IAAI,iBAAiB,EAAE,CAAC;YAC/B,GAAG,CAAC,KAAK,CAAC,mCAAmC,KAAK,kBAAkB,GAAG,EAAE,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,eAAuB,EAAE,SAAkB;IAO1F,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,sCAAsC,EACtC,qCAAqC,EACrC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IAEF,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,eAAe,EAAE,CAAC,CAAC,aAAa;QAChC,QAAQ,EAAE,CAAC,CAAC,OAAO;QACnB,eAAe,EAAE,CAAC,CAAC,cAAc,IAAI,IAAI;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAGD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAAe;IAEf,MAAM,MAAM,GAAG,MAAM,OAAO,CAIzB,2BAA2B,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;KAChC,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"deliveries.js","sourceRoot":"","sources":["../../src/queries/deliveries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAoB,MAAM,aAAa,CAAC;AAC3F,OAAO,EAEL,6BAA6B,EAC7B,6BAA6B,EAC7B,4BAA4B,EAC5B,qCAAqC,GACtC,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;AAM7D,MAAM,wBAAwB,GAAG,eAAe,CAAwB;IACtE,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,MAAM;IACZ,WAAW,EAAE,aAAa;IAC1B,eAAe,EAAE,gBAAgB;IACjC,UAAU,EAAE,WAAW;IACvB,SAAS,EAAE,UAAU;IACrB,IAAI,EAAE,EAAE,KAAK,EAAE,UAAmB,EAAE;IACpC,sBAAsB,EAAE,qBAAqB;IAC7C,iBAAiB,EAAE,iBAAiB;IACpC,YAAY,EAAE,aAAa;CAC5B,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,eAAuB,EAAE,SAAkB;IAOlF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,6BAA6B,EAC7B,6BAA6B,EAC7B,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IAEF,iEAAiE;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,UAAU,EAAE,CAAC,CAAC,SAAS;QACvB,sBAAsB,EAAE,CAAC,CAAC,mBAAmB;QAC7C,eAAe,EAAE,CAAC,CAAC,aAAa;KACjC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,UAAkB;IACzD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,6BAA6B,EAC7B,6BAA6B,EAC7B,EAAE,UAAU,EAAE,CACf,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAmF,CAAC;QAC3G,OAAO;YACL,GAAG,OAAO;YACV,QAAQ,EAAE,wBAAwB,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;SAC5D,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AA4CD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,MAM9C;IACC,MAAM,OAAO,CAAC,mCAAmC,EAAE;QACjD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,IAAI;QACrC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5E,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,UAAkB,EAClB,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CACvB,6BAA6B,EAC7B,EAAE,UAAU,EAAE,CACf,CAAC;QACF,MAAM,SAAS,GAAG,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC;QACxD,OAAO,SAAS,IAAI,IAAI,CAAC,CAAC,CAAE,SAA+B,CAAC,CAAC,CAAC,IAAI,CAAC;IACrE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;QACjE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,UAAkB,EAClB,eAAuB,EACvB,sBAAsC,EACtC,SAAoC,EACpC,mBAA+C,EAC/C,UAA6B,EAC7B,WAA8B;IAE9B,MAAM,MAAM,GAA4B,EAAE,eAAe,EAAE,CAAC;IAC5D,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,CAAC,sBAAsB,GAAG,sBAAsB,CAAC;IACzD,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,SAAS,GAAG,SAAS,CAAC;IAC/B,CAAC;IACD,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,CAAC,mBAAmB,GAAG,mBAAmB,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,EAAE,CAAC;QAChB,0EAA0E;QAC1E,6EAA6E;QAC7E,2EAA2E;QAC3E,MAAM,CAAC,cAAc,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,CAAC,qBAAqB,GAAG,WAAW,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,MAAM,OAAO,CAAC,+BAA+B,EAAE;QAC7C,UAAU;QACV,MAAM;KACP,CAAC,CAAC;IAEH,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,MAAM,wBAAwB,CAAC;gBAC7B,UAAU;gBACV,cAAc,EAAE,UAAU,CAAC,cAAc;gBACzC,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,IAAI;gBACzC,QAAQ,EAAE,eAAe;aAC1B,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,qDAAqD;gBACrD,GAAG,UAAU,CAAC,UAAU,IAAI,MAAM,OAAO,eAAe,iBAAiB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EACjG,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAkB,EAClB,eAAuB,EACvB,WAA0B,EAC1B,UAA6B;IAE7B,+EAA+E;IAC/E,2EAA2E;IAC3E,6EAA6E;IAC7E,wEAAwE;IACxE,uEAAuE;IACvE,yEAAyE;IACzE,8EAA8E;IAC9E,+EAA+E;IAC/E,qEAAqE;IACrE,MAAM,oBAAoB,CACxB,UAAU,EACV,MAAM,EACN,WAAW,EACX,IAAI,EACJ,SAAS,EACT,UAAU,EACV,EAAE,SAAS,EAAE,eAAe,EAAE,CAC/B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,eAAuB,EAAE,SAAkB;IAOjF,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,4BAA4B,EAC5B,4BAA4B,EAC5B,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IAEF,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,UAAU,EAAE,CAAC,CAAC,SAAS;QACvB,QAAQ,EAAE,CAAC,CAAC,OAAO;QACnB,eAAe,EAAE,CAAC,CAAC,cAAc,IAAI,IAAI;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,UAAkB,EAClB,SAAiB;IAEjB,MAAM,OAAO,CAAC,iBAAiB,EAAE;QAC/B,UAAU;QACV,MAAM,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE;KACtC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAatC;IACC,MAAM,OAAO,CAAC,2BAA2B,EAAE;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE;YACN,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,QAAQ,EAAE,QAAQ;SACnB;KACF,CAAC,CAAC;AACL,CAAC;AAmBD,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAI,MAAyB,EAAE,QAAW;IACvE,OAAO,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,OAAe,EACf,cAAsB,EACtB,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAEtB,kBAAkB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,cAAc,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,GAAG,EAAE,UAAU,IAAI,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,yDAAyD,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YAChF,GAAI,GAAa,CAAC,OAAO,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,OAAe,EACf,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAEtB,kBAAkB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE;YAChE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACzB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,+DAA+D,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YACtF,GAAI,GAAa,CAAC,OAAO,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,OAAe,EACf,cAAsB,EACtB,OAAoB,EAAE;IAEtB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAEtB,kBAAkB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,cAAc,CAAC,CAAC;QACnF,OAAO,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC5F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,2DAA2D,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YAClF,GAAI,GAAa,CAAC,OAAO,EAAE,CAC5B,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;AACnD,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAAkB,EAClB,QAAkB,EAClB,aAAsB;IAEtB,IAAI,CAAC;QACH,MAAM,MAAM,GAA4B,EAAE,QAAQ,EAAE,CAAC;QACrD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC;QACvC,CAAC;QACD,MAAM,OAAO,CAAC,2BAA2B,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACnE,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,uBAAuB,QAAQ,iBAAiB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,8BAA8B,QAAQ,iBAAiB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC;QACvH,IAAI,KAAK,IAAI,iBAAiB,EAAE,CAAC;YAC/B,GAAG,CAAC,KAAK,CAAC,mCAAmC,KAAK,kBAAkB,GAAG,EAAE,CAAC,CAAC;QAC7E,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,eAAuB,EAAE,SAAkB;IAO1F,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,sCAAsC,EACtC,qCAAqC,EACrC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC;IAEF,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,WAAW,EAAE,CAAC,CAAC,UAAU;QACzB,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,eAAe,EAAE,CAAC,CAAC,aAAa;QAChC,QAAQ,EAAE,CAAC,CAAC,OAAO;QACnB,eAAe,EAAE,CAAC,CAAC,cAAc,IAAI,IAAI;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAGD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAAe;IAEf,MAAM,MAAM,GAAG,MAAM,OAAO,CAIzB,2BAA2B,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;KAChC,CAAC;AACJ,CAAC"}
|
|
@@ -65,6 +65,25 @@ export interface ShortfallReconciliationDetail {
|
|
|
65
65
|
/** The diff evidence grounding the shortfall, when the judge cited one. */
|
|
66
66
|
diffCitation?: string;
|
|
67
67
|
}>;
|
|
68
|
+
/**
|
|
69
|
+
* Cross-iteration repetition state (verify/shortfall-repeat.ts). Carries a
|
|
70
|
+
* stable signature of this shortfall set plus how many CONSECUTIVE iterations
|
|
71
|
+
* it has stood UNCHANGED. Persisted so the next iteration can tell a genuine
|
|
72
|
+
* (changing) shortfall from an unclearable (identical) one -- the former routes
|
|
73
|
+
* as ordinary re-work, the latter is diagnosed as a defective CLAIM. Absent on
|
|
74
|
+
* a shortfall written before this discriminator existed.
|
|
75
|
+
*/
|
|
76
|
+
repeat?: {
|
|
77
|
+
signature: string;
|
|
78
|
+
count: number;
|
|
79
|
+
};
|
|
80
|
+
/**
|
|
81
|
+
* True when the repeat count reached the unclearable threshold: the shortfall
|
|
82
|
+
* reproduced identically enough times that it is a defect in the tree CLAIM,
|
|
83
|
+
* not team re-work. Set on the terminal hold that escalates the tree node and
|
|
84
|
+
* STOPS re-queuing; absent/false while the shortfall is still routing as re-work.
|
|
85
|
+
*/
|
|
86
|
+
unclearableClaim?: boolean;
|
|
68
87
|
}
|
|
69
88
|
/**
|
|
70
89
|
* Detail attached to gate_state when the verify path could NOT vouch for the
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"delivery-gate-state.d.ts","sourceRoot":"","sources":["../../src/queries/delivery-gate-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;OAGG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,oFAAoF;IACpF,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,oDAAoD;IACpD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,6BAA6B;IAC5C,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,2EAA2E;IAC3E,UAAU,EAAE,KAAK,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,2EAA2E;QAC3E,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"delivery-gate-state.d.ts","sourceRoot":"","sources":["../../src/queries/delivery-gate-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;OAGG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,oFAAoF;IACpF,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,oDAAoD;IACpD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,6BAA6B;IAC5C,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,2EAA2E;IAC3E,UAAU,EAAE,KAAK,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,2EAA2E;QAC3E,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC,CAAC;IACH;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE;QACP,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,yBAAyB;IACxC,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC;IACf,8FAA8F;IAC9F,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,YAAY,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QACT,4EAA4E;QAC5E,QAAQ,EAAE,MAAM,CAAC;QACjB,kEAAkE;QAClE,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF;;;;;;;;OAQG;IACH,WAAW,CAAC,EAAE;QACZ,kDAAkD;QAClD,KAAK,EAAE,MAAM,CAAC;QACd,4EAA4E;QAC5E,MAAM,EAAE,MAAM,CAAC;QACf,sFAAsF;QACtF,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF;;;;;;;;OAQG;IACH,iBAAiB,CAAC,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9D;;;;;;;OAOG;IACH,sBAAsB,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3D;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACxD,QAAQ,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACxD,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,yBAAyB,CAAC;IACzC,uBAAuB,CAAC,EAAE,6BAA6B,CAAC;IACxD;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,yBAAyB,CAAC;IAChD;;;;;;;;;;;OAWG;IACH,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE;QACb,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;QAC9B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;QAC3B,UAAU,CAAC,EAAE,OAAO,CAAC;KACtB,CAAC;IACF;;;;;;;;;OASG;IACH,YAAY,CAAC,EAAE,iBAAiB,CAAC;CAClC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,+DAA+D;IAC/D,SAAS,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,UAAU,EAAE,MAAM,CAAC;IACnB,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;;;;OASG;IACH,wBAAwB,CAAC,EAAE,MAAM,EAAE,CAAC;CACrC"}
|
|
@@ -0,0 +1,92 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shortfall REPETITION discriminator for the verify gate.
|
|
3
|
+
*
|
|
4
|
+
* A verify shortfall is, by construction, treated as an EXECUTION gap: the
|
|
5
|
+
* delivery re-queues and the team re-writes code against the declared target,
|
|
6
|
+
* bounded only by the far-off iteration cap (verify_gate_unclearable). But some
|
|
7
|
+
* shortfalls are not execution gaps at all -- the tree assigned the delivery an
|
|
8
|
+
* outcome its diff can NEVER produce (an over-claimed injection, a structurally
|
|
9
|
+
* unflippable UDE). Those manufacture the SAME shortfall every iteration and
|
|
10
|
+
* burn the full re-work cycle to no effect (the 2026-08-25 Tinker Tailor
|
|
11
|
+
* incident: 10 iterations, all correct-but-unclearable).
|
|
12
|
+
*
|
|
13
|
+
* Repetition is the available discriminator: a GENUINE shortfall changes as the
|
|
14
|
+
* team responds to feedback, while an UNCLEARABLE one reproduces identically.
|
|
15
|
+
* This module computes a stable signature of a shortfall set and, comparing it
|
|
16
|
+
* against the signature persisted from the previous iteration (in gate_state),
|
|
17
|
+
* counts how many consecutive iterations the shortfall has stood UNCHANGED. Once
|
|
18
|
+
* that count reaches the threshold, the caller diagnoses a DEFECT IN THE CLAIM
|
|
19
|
+
* (a modelling act for a human) instead of charging the team another re-work.
|
|
20
|
+
*
|
|
21
|
+
* SELF-CONTAINED / mock-safe: this module imports only a TYPE from the gate-state
|
|
22
|
+
* vocabulary (erased at build) and NO daemon-core VALUE, so it never drags the
|
|
23
|
+
* daemon-core mock-loader chain into a test. It is pure and deterministic --
|
|
24
|
+
* tested directly, no DB.
|
|
25
|
+
*
|
|
26
|
+
* @module verify/shortfall-repeat
|
|
27
|
+
*/
|
|
28
|
+
import type { DeliveryGateState } from '../queries/delivery-gate-state.js';
|
|
29
|
+
import type { TargetShortfall } from './verify-restatement.js';
|
|
30
|
+
/** The persisted repeat state carried in gate_state (shortfallReconciliation.repeat). */
|
|
31
|
+
export interface ShortfallRepeat {
|
|
32
|
+
/** Stable signature of the shortfall set (see shortfallSignature). */
|
|
33
|
+
signature: string;
|
|
34
|
+
/** How many CONSECUTIVE iterations this exact signature has stood. >= 1. */
|
|
35
|
+
count: number;
|
|
36
|
+
}
|
|
37
|
+
/**
|
|
38
|
+
* How many consecutive identical shortfall iterations mark a claim as unclearable.
|
|
39
|
+
*
|
|
40
|
+
* JUDGMENT CALL (recorded here rather than defaulted silently): too LOW and a team
|
|
41
|
+
* legitimately re-attempting the same area gets cut off before it can respond; too
|
|
42
|
+
* HIGH and the loop stays expensive. The Tinker Tailor case ran to iteration 10
|
|
43
|
+
* and the Telora case to 6, so the current iteration cap is far too high to catch
|
|
44
|
+
* this early. 3 identical occurrences -- i.e. the shortfall survived TWO re-work
|
|
45
|
+
* responses unchanged -- is strong evidence the diff cannot move it, while still
|
|
46
|
+
* giving a responding team two full cycles to change something. Reversible: it is
|
|
47
|
+
* a single constant, tunable later, and overridable per-call for tests. Kept a
|
|
48
|
+
* daemon-local constant (not a TELORA_* env var) deliberately -- adding an env var
|
|
49
|
+
* would require a daemon-core publish; promote it there only if operators need to
|
|
50
|
+
* tune it live.
|
|
51
|
+
*/
|
|
52
|
+
export declare const UNCLEARABLE_SHORTFALL_REPEAT_THRESHOLD = 3;
|
|
53
|
+
/**
|
|
54
|
+
* Compute a stable, order-independent signature of a shortfall set.
|
|
55
|
+
*
|
|
56
|
+
* Keyed on (nodeId, declaredStatement, reason) per targeted node, sorted by
|
|
57
|
+
* nodeId -- the fields that define "the same shortfall". DELIBERATELY EXCLUDES:
|
|
58
|
+
* - achievedStatement: the authored-from-evidence side can vary in wording
|
|
59
|
+
* across iterations while the underlying gap is identical;
|
|
60
|
+
* - diffCitation: cites the specific changed hunk, which churns every time the
|
|
61
|
+
* team edits ANYTHING, so including it would make an unclearable shortfall
|
|
62
|
+
* look "changed" and defeat the discriminator.
|
|
63
|
+
* So a team that genuinely changed its approach (different node targeted, or a
|
|
64
|
+
* different reason the gap stands) produces a different signature and keeps
|
|
65
|
+
* routing as ordinary re-work; a team stuck against an impossible claim produces
|
|
66
|
+
* the same signature every time.
|
|
67
|
+
*/
|
|
68
|
+
export declare function shortfallSignature(shortfalls: readonly TargetShortfall[]): string;
|
|
69
|
+
/**
|
|
70
|
+
* Read the repeat state persisted on a delivery's gate_state by the previous
|
|
71
|
+
* shortfall iteration. Defensive over the loosely-typed `repeat` slot: returns
|
|
72
|
+
* null when the field is absent or malformed (a first shortfall, or a legacy row
|
|
73
|
+
* written before this field existed).
|
|
74
|
+
*/
|
|
75
|
+
export declare function readPriorRepeat(priorGateState: DeliveryGateState | null | undefined): ShortfallRepeat | null;
|
|
76
|
+
/**
|
|
77
|
+
* Classify this iteration's shortfall set against the previous one.
|
|
78
|
+
*
|
|
79
|
+
* Compares the new signature to the prior persisted signature: an UNCHANGED
|
|
80
|
+
* signature increments the consecutive-repeat count; a CHANGED signature resets
|
|
81
|
+
* it to 1 (a team responding to real feedback is never cut short). The shortfall
|
|
82
|
+
* is UNCLEARABLE once the count reaches `threshold`.
|
|
83
|
+
*
|
|
84
|
+
* Pure -- the caller supplies the prior gate_state (read once) and persists the
|
|
85
|
+
* returned `repeat` back into the new gate_state so the next iteration compares
|
|
86
|
+
* against it.
|
|
87
|
+
*/
|
|
88
|
+
export declare function classifyShortfallRepeat(priorGateState: DeliveryGateState | null | undefined, shortfalls: readonly TargetShortfall[], threshold?: number): {
|
|
89
|
+
repeat: ShortfallRepeat;
|
|
90
|
+
unclearable: boolean;
|
|
91
|
+
};
|
|
92
|
+
//# sourceMappingURL=shortfall-repeat.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"shortfall-repeat.d.ts","sourceRoot":"","sources":["../../src/verify/shortfall-repeat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D,yFAAyF;AACzF,MAAM,WAAW,eAAe;IAC9B,sEAAsE;IACtE,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sCAAsC,IAAI,CAAC;AAMxD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,GAAG,MAAM,CAKjF;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,cAAc,EAAE,iBAAiB,GAAG,IAAI,GAAG,SAAS,GAAG,eAAe,GAAG,IAAI,CAW5G;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CACrC,cAAc,EAAE,iBAAiB,GAAG,IAAI,GAAG,SAAS,EACpD,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,SAAS,GAAE,MAA+C,GACzD;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAE,CAKnD"}
|
|
@@ -0,0 +1,102 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shortfall REPETITION discriminator for the verify gate.
|
|
3
|
+
*
|
|
4
|
+
* A verify shortfall is, by construction, treated as an EXECUTION gap: the
|
|
5
|
+
* delivery re-queues and the team re-writes code against the declared target,
|
|
6
|
+
* bounded only by the far-off iteration cap (verify_gate_unclearable). But some
|
|
7
|
+
* shortfalls are not execution gaps at all -- the tree assigned the delivery an
|
|
8
|
+
* outcome its diff can NEVER produce (an over-claimed injection, a structurally
|
|
9
|
+
* unflippable UDE). Those manufacture the SAME shortfall every iteration and
|
|
10
|
+
* burn the full re-work cycle to no effect (the 2026-08-25 Tinker Tailor
|
|
11
|
+
* incident: 10 iterations, all correct-but-unclearable).
|
|
12
|
+
*
|
|
13
|
+
* Repetition is the available discriminator: a GENUINE shortfall changes as the
|
|
14
|
+
* team responds to feedback, while an UNCLEARABLE one reproduces identically.
|
|
15
|
+
* This module computes a stable signature of a shortfall set and, comparing it
|
|
16
|
+
* against the signature persisted from the previous iteration (in gate_state),
|
|
17
|
+
* counts how many consecutive iterations the shortfall has stood UNCHANGED. Once
|
|
18
|
+
* that count reaches the threshold, the caller diagnoses a DEFECT IN THE CLAIM
|
|
19
|
+
* (a modelling act for a human) instead of charging the team another re-work.
|
|
20
|
+
*
|
|
21
|
+
* SELF-CONTAINED / mock-safe: this module imports only a TYPE from the gate-state
|
|
22
|
+
* vocabulary (erased at build) and NO daemon-core VALUE, so it never drags the
|
|
23
|
+
* daemon-core mock-loader chain into a test. It is pure and deterministic --
|
|
24
|
+
* tested directly, no DB.
|
|
25
|
+
*
|
|
26
|
+
* @module verify/shortfall-repeat
|
|
27
|
+
*/
|
|
28
|
+
/**
|
|
29
|
+
* How many consecutive identical shortfall iterations mark a claim as unclearable.
|
|
30
|
+
*
|
|
31
|
+
* JUDGMENT CALL (recorded here rather than defaulted silently): too LOW and a team
|
|
32
|
+
* legitimately re-attempting the same area gets cut off before it can respond; too
|
|
33
|
+
* HIGH and the loop stays expensive. The Tinker Tailor case ran to iteration 10
|
|
34
|
+
* and the Telora case to 6, so the current iteration cap is far too high to catch
|
|
35
|
+
* this early. 3 identical occurrences -- i.e. the shortfall survived TWO re-work
|
|
36
|
+
* responses unchanged -- is strong evidence the diff cannot move it, while still
|
|
37
|
+
* giving a responding team two full cycles to change something. Reversible: it is
|
|
38
|
+
* a single constant, tunable later, and overridable per-call for tests. Kept a
|
|
39
|
+
* daemon-local constant (not a TELORA_* env var) deliberately -- adding an env var
|
|
40
|
+
* would require a daemon-core publish; promote it there only if operators need to
|
|
41
|
+
* tune it live.
|
|
42
|
+
*/
|
|
43
|
+
export const UNCLEARABLE_SHORTFALL_REPEAT_THRESHOLD = 3;
|
|
44
|
+
function byId(a, b) {
|
|
45
|
+
return a < b ? -1 : a > b ? 1 : 0;
|
|
46
|
+
}
|
|
47
|
+
/**
|
|
48
|
+
* Compute a stable, order-independent signature of a shortfall set.
|
|
49
|
+
*
|
|
50
|
+
* Keyed on (nodeId, declaredStatement, reason) per targeted node, sorted by
|
|
51
|
+
* nodeId -- the fields that define "the same shortfall". DELIBERATELY EXCLUDES:
|
|
52
|
+
* - achievedStatement: the authored-from-evidence side can vary in wording
|
|
53
|
+
* across iterations while the underlying gap is identical;
|
|
54
|
+
* - diffCitation: cites the specific changed hunk, which churns every time the
|
|
55
|
+
* team edits ANYTHING, so including it would make an unclearable shortfall
|
|
56
|
+
* look "changed" and defeat the discriminator.
|
|
57
|
+
* So a team that genuinely changed its approach (different node targeted, or a
|
|
58
|
+
* different reason the gap stands) produces a different signature and keeps
|
|
59
|
+
* routing as ordinary re-work; a team stuck against an impossible claim produces
|
|
60
|
+
* the same signature every time.
|
|
61
|
+
*/
|
|
62
|
+
export function shortfallSignature(shortfalls) {
|
|
63
|
+
const key = [...shortfalls]
|
|
64
|
+
.map((s) => ({ nodeId: s.nodeId, declared: s.declaredStatement, reason: s.reason }))
|
|
65
|
+
.sort((a, b) => byId(a.nodeId, b.nodeId));
|
|
66
|
+
return JSON.stringify(key);
|
|
67
|
+
}
|
|
68
|
+
/**
|
|
69
|
+
* Read the repeat state persisted on a delivery's gate_state by the previous
|
|
70
|
+
* shortfall iteration. Defensive over the loosely-typed `repeat` slot: returns
|
|
71
|
+
* null when the field is absent or malformed (a first shortfall, or a legacy row
|
|
72
|
+
* written before this field existed).
|
|
73
|
+
*/
|
|
74
|
+
export function readPriorRepeat(priorGateState) {
|
|
75
|
+
const repeat = priorGateState?.shortfallReconciliation?.repeat;
|
|
76
|
+
if (repeat &&
|
|
77
|
+
typeof repeat.signature === 'string' &&
|
|
78
|
+
typeof repeat.count === 'number' &&
|
|
79
|
+
Number.isFinite(repeat.count)) {
|
|
80
|
+
return { signature: repeat.signature, count: repeat.count };
|
|
81
|
+
}
|
|
82
|
+
return null;
|
|
83
|
+
}
|
|
84
|
+
/**
|
|
85
|
+
* Classify this iteration's shortfall set against the previous one.
|
|
86
|
+
*
|
|
87
|
+
* Compares the new signature to the prior persisted signature: an UNCHANGED
|
|
88
|
+
* signature increments the consecutive-repeat count; a CHANGED signature resets
|
|
89
|
+
* it to 1 (a team responding to real feedback is never cut short). The shortfall
|
|
90
|
+
* is UNCLEARABLE once the count reaches `threshold`.
|
|
91
|
+
*
|
|
92
|
+
* Pure -- the caller supplies the prior gate_state (read once) and persists the
|
|
93
|
+
* returned `repeat` back into the new gate_state so the next iteration compares
|
|
94
|
+
* against it.
|
|
95
|
+
*/
|
|
96
|
+
export function classifyShortfallRepeat(priorGateState, shortfalls, threshold = UNCLEARABLE_SHORTFALL_REPEAT_THRESHOLD) {
|
|
97
|
+
const signature = shortfallSignature(shortfalls);
|
|
98
|
+
const prior = readPriorRepeat(priorGateState);
|
|
99
|
+
const count = prior && prior.signature === signature ? prior.count + 1 : 1;
|
|
100
|
+
return { repeat: { signature, count }, unclearable: count >= threshold };
|
|
101
|
+
}
|
|
102
|
+
//# sourceMappingURL=shortfall-repeat.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"shortfall-repeat.js","sourceRoot":"","sources":["../../src/verify/shortfall-repeat.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAaH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,CAAC;AAExD,SAAS,IAAI,CAAC,CAAS,EAAE,CAAS;IAChC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAsC;IACvE,MAAM,GAAG,GAAG,CAAC,GAAG,UAAU,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SACnF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,cAAoD;IAClF,MAAM,MAAM,GAAG,cAAc,EAAE,uBAAuB,EAAE,MAAM,CAAC;IAC/D,IACE,MAAM;QACN,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;QACpC,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;QAChC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAC7B,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC9D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CACrC,cAAoD,EACpD,UAAsC,EACtC,YAAoB,sCAAsC;IAE1D,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,OAAO,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,KAAK,IAAI,SAAS,EAAE,CAAC;AAC3E,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Default wiring for the verification engine's injectable dependency surface.
|
|
3
|
+
*
|
|
4
|
+
* `verification-deps.ts` declares the CONTRACT (`VerificationDeps`); this module
|
|
5
|
+
* supplies the production implementations bound to a `DaemonConfig`. The two are
|
|
6
|
+
* deliberately separate files: the contract is what tests construct against, and
|
|
7
|
+
* the wiring is a long list of concrete imports that has no business inflating
|
|
8
|
+
* the engine's dispatch logic.
|
|
9
|
+
*
|
|
10
|
+
* Split out of `verification-engine.ts` for the same reason
|
|
11
|
+
* `verification-baseline.ts` keeps its own default wiring -- the engine owns
|
|
12
|
+
* strategy dispatch and the verify-gate decision tree, not the resolution of
|
|
13
|
+
* every collaborator those decisions call into.
|
|
14
|
+
*
|
|
15
|
+
* Direction of dependency is one-way: the engine imports `defaultDeps` from
|
|
16
|
+
* here; nothing here imports the engine. That is what keeps the verify family
|
|
17
|
+
* acyclic under the repo's `import-x/no-cycle` error gate.
|
|
18
|
+
*
|
|
19
|
+
* @module verification-deps-default
|
|
20
|
+
*/
|
|
21
|
+
import type { DaemonConfig } from '../types/index.js';
|
|
22
|
+
import type { VerificationDeps } from './verification-deps.js';
|
|
23
|
+
export declare const defaultDeps: (config: DaemonConfig) => VerificationDeps;
|
|
24
|
+
//# sourceMappingURL=verification-deps-default.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification-deps-default.d.ts","sourceRoot":"","sources":["../../src/verify/verification-deps-default.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAoBH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAatD,OAAO,KAAK,EAA8B,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAoB3F,eAAO,MAAM,WAAW,GAAI,QAAQ,YAAY,KAAG,gBAgJlD,CAAC"}
|
|
@@ -0,0 +1,201 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Default wiring for the verification engine's injectable dependency surface.
|
|
3
|
+
*
|
|
4
|
+
* `verification-deps.ts` declares the CONTRACT (`VerificationDeps`); this module
|
|
5
|
+
* supplies the production implementations bound to a `DaemonConfig`. The two are
|
|
6
|
+
* deliberately separate files: the contract is what tests construct against, and
|
|
7
|
+
* the wiring is a long list of concrete imports that has no business inflating
|
|
8
|
+
* the engine's dispatch logic.
|
|
9
|
+
*
|
|
10
|
+
* Split out of `verification-engine.ts` for the same reason
|
|
11
|
+
* `verification-baseline.ts` keeps its own default wiring -- the engine owns
|
|
12
|
+
* strategy dispatch and the verify-gate decision tree, not the resolution of
|
|
13
|
+
* every collaborator those decisions call into.
|
|
14
|
+
*
|
|
15
|
+
* Direction of dependency is one-way: the engine imports `defaultDeps` from
|
|
16
|
+
* here; nothing here imports the engine. That is what keeps the verify family
|
|
17
|
+
* acyclic under the repo's `import-x/no-cycle` error gate.
|
|
18
|
+
*
|
|
19
|
+
* @module verification-deps-default
|
|
20
|
+
*/
|
|
21
|
+
import { runDeterministicStrategy } from './verification-deterministic.js';
|
|
22
|
+
import { getPendingVerifications, recordDeliveryVerificationOutcome, verifyInjectionOnPass, emitInwardDriftProposals, } from '../queries/verification.js';
|
|
23
|
+
import { configForProduct } from '../shell/config.js';
|
|
24
|
+
import { authorTargetRestatements as defaultAuthorTargetRestatements } from './verify-restatement.js';
|
|
25
|
+
import { fileEscalation as defaultFileEscalation } from '../completion/escalations.js';
|
|
26
|
+
import { getCommitsAhead, filterCommitsByDelivery, selectDeliveryCommitsAcrossBatches, batchHasDeliveryTrailer, batchHasUnattributedCommit, } from '../resolvers/index.js';
|
|
27
|
+
import { getActiveFocuses } from '../queries/focus-discovery.js';
|
|
28
|
+
import { resolveDefaultVerification as defaultResolveDefaultVerification } from './verification-config.js';
|
|
29
|
+
import { getFocusDeliveries } from '../queries/focuses.js';
|
|
30
|
+
import { deliverVerificationFailureFeedback, routeShortfallOutcome, requeueEvidenceUnavailableAsRework, } from './verification-feedback.js';
|
|
31
|
+
import { buildDefaultAttributeFailures, buildResolveVerificationCwd } from './verification-baseline.js';
|
|
32
|
+
import { resolveAiInspectionInputs as defaultResolveAiInspectionInputs } from './ai-inspection-context.js';
|
|
33
|
+
import { runAiInspection as defaultRunAiInspection } from './ai-inspection-runner.js';
|
|
34
|
+
import { buildDefaultSecurityFindingGateDeps } from '../security/security-finding-gate.js';
|
|
35
|
+
import { callApi } from '../queries/shared.js';
|
|
36
|
+
import { recordedMergeShaForVerify as recordedMergeShaForVerifyImpl } from './verification-evidence.js';
|
|
37
|
+
import { getRecordedCommitShasForMerge, getAllRecordedCommitShasForFocus, getRecordedPreMergeRefForMerge, evidenceValueOr, } from '../queries/deliveries.js';
|
|
38
|
+
async function defaultEmitDriftProposal(payload) {
|
|
39
|
+
await callApi('crt_drift_proposal_create', {
|
|
40
|
+
focusId: payload.focusId,
|
|
41
|
+
productId: payload.productId,
|
|
42
|
+
nodeId: payload.observation.nodeId,
|
|
43
|
+
proposalKind: payload.observation.kind,
|
|
44
|
+
observedState: payload.observation.observed,
|
|
45
|
+
proposedCorrection: payload.observation.suggestedCorrection,
|
|
46
|
+
});
|
|
47
|
+
}
|
|
48
|
+
export const defaultDeps = (config) => {
|
|
49
|
+
const resolveCwd = (productId) => {
|
|
50
|
+
if (!productId)
|
|
51
|
+
return config.repoPath;
|
|
52
|
+
const product = config.products.find(p => p.id === productId);
|
|
53
|
+
if (!product)
|
|
54
|
+
return config.repoPath;
|
|
55
|
+
return configForProduct(config, product).repoPath;
|
|
56
|
+
};
|
|
57
|
+
const resolveVerificationCwd = buildResolveVerificationCwd(resolveCwd);
|
|
58
|
+
return {
|
|
59
|
+
getPendingVerifications,
|
|
60
|
+
recordOutcome: recordDeliveryVerificationOutcome,
|
|
61
|
+
verifyInjection: verifyInjectionOnPass,
|
|
62
|
+
authorTargetRestatements: (injectionNodeId, focusId, evidence, evidenceIncomplete) => defaultAuthorTargetRestatements(injectionNodeId, focusId, evidence, {}, evidenceIncomplete),
|
|
63
|
+
fileEscalation: defaultFileEscalation,
|
|
64
|
+
organizationId: config.organizationId,
|
|
65
|
+
emitDriftProposal: defaultEmitDriftProposal,
|
|
66
|
+
emitInwardDrift: emitInwardDriftProposals,
|
|
67
|
+
runDeterministic: runDeterministicStrategy,
|
|
68
|
+
runAiInspection: defaultRunAiInspection,
|
|
69
|
+
resolveAiInspectionInputs: (v) => defaultResolveAiInspectionInputs(v, {
|
|
70
|
+
callApi,
|
|
71
|
+
resolveCwd,
|
|
72
|
+
integrationBranch: config.integrationBranch,
|
|
73
|
+
}),
|
|
74
|
+
resolveCwd,
|
|
75
|
+
integrationBranch: config.integrationBranch,
|
|
76
|
+
securityFindingGate: buildDefaultSecurityFindingGateDeps(),
|
|
77
|
+
resolveDefaultVerification: (c) => defaultResolveDefaultVerification(c),
|
|
78
|
+
getActiveFocuses,
|
|
79
|
+
getFocusDeliveries,
|
|
80
|
+
deliverFailureFeedback: (v, result) => deliverVerificationFailureFeedback(v, result, config.organizationId).then(() => undefined),
|
|
81
|
+
deliverShortfallFeedback: (v, shortfalls) => routeShortfallOutcome(v, shortfalls, config.organizationId).then(() => undefined),
|
|
82
|
+
requeueEvidenceUnavailableAsRework: (v, fault) => requeueEvidenceUnavailableAsRework(v, fault, config.organizationId).then(() => undefined),
|
|
83
|
+
resolveVerificationCwd,
|
|
84
|
+
resolveCommitsAhead: (v) => getCommitsAhead(resolveVerificationCwd(v), config.integrationBranch),
|
|
85
|
+
resolveRecordedCommitShas: async (v) => {
|
|
86
|
+
// Only look up the recorded commit set when the row records a merged-back
|
|
87
|
+
// git state with a merge sha (same gating as recordedMergeShaForVerify); an
|
|
88
|
+
// unmerged delivery has no focus_merges row and stays on the topology path.
|
|
89
|
+
const sha = recordedMergeShaForVerifyImpl(v);
|
|
90
|
+
if (!sha || !v.focusId)
|
|
91
|
+
return [];
|
|
92
|
+
const cwd = resolveVerificationCwd(v);
|
|
93
|
+
// Attribute the delivery from ITS OWN commits across the focus's WHOLE
|
|
94
|
+
// merge history, not just the batch stamped on its row. The stamped sha
|
|
95
|
+
// names the batch merged in the delivery's session, which is NOT
|
|
96
|
+
// necessarily the batch that carried its own commits: a delivery whose work
|
|
97
|
+
// landed in an EARLIER batch (or split across batches) is filtered to zero
|
|
98
|
+
// by a single-row lookup, and on a fast-forward merge-back that leaves the
|
|
99
|
+
// gate blind on merged, CI-green work (2026-08-15, delivery 4ab18c49).
|
|
100
|
+
// Searching every batch by the per-commit Telora-Delivery trailer recovers
|
|
101
|
+
// the delivery's commits regardless of which batch its row points at.
|
|
102
|
+
// Branch on the three-state history lookup: only a `found` history is worth
|
|
103
|
+
// partitioning. An `empty` (no history) or `undetermined` (API unreachable)
|
|
104
|
+
// result falls through to the single-row / legacy path -- and an undetermined
|
|
105
|
+
// read is reported as an instrument fault SEPARATELY (resolveEvidenceInstrumentFault),
|
|
106
|
+
// never silently collapsed into "no evidence" here.
|
|
107
|
+
const batches = await getAllRecordedCommitShasForFocus(v.focusId);
|
|
108
|
+
if (batches.state === 'found') {
|
|
109
|
+
const own = selectDeliveryCommitsAcrossBatches(cwd, batches.value, v.deliveryId);
|
|
110
|
+
if (own !== null)
|
|
111
|
+
return own;
|
|
112
|
+
}
|
|
113
|
+
// Total-legacy focus (no Telora-Delivery trailer anywhere -> the history is
|
|
114
|
+
// un-partitionable), no history, or an undetermined read: preserve the
|
|
115
|
+
// single-row behavior and judge against the batch stamped on the row.
|
|
116
|
+
const batch = await getRecordedCommitShasForMerge(v.focusId, sha);
|
|
117
|
+
return filterCommitsByDelivery(cwd, evidenceValueOr(batch, []), v.deliveryId);
|
|
118
|
+
},
|
|
119
|
+
resolveRecordedPreMergeRef: async (v) => {
|
|
120
|
+
// Same gating as resolveRecordedCommitShas: a pre-merge boundary exists only
|
|
121
|
+
// for a merged-back row keyed by the recorded merge sha. The boundary is
|
|
122
|
+
// batch-level (shared across the batch) -- the fast-forward-safe FALLBACK
|
|
123
|
+
// source, used when the per-delivery commit set came back empty.
|
|
124
|
+
const sha = recordedMergeShaForVerifyImpl(v);
|
|
125
|
+
if (!sha || !v.focusId)
|
|
126
|
+
return null;
|
|
127
|
+
const cwd = resolveVerificationCwd(v);
|
|
128
|
+
// But the boundary is only safe when the STAMPED batch actually carries
|
|
129
|
+
// THIS delivery's own commits. When the stamped batch holds NONE of them
|
|
130
|
+
// (its work is in another batch), <preMergeRef>...<stampedSha> would span a
|
|
131
|
+
// SIBLING delivery's work -- converting a blind gate into a confident WRONG
|
|
132
|
+
// verdict (tree node #19 / AC #4). Suppress the boundary in that case so the
|
|
133
|
+
// gate stays honestly blind and re-enters bounded re-work. An EMPTY stamped
|
|
134
|
+
// batch is exactly the fast-forward incident the boundary exists to cure
|
|
135
|
+
// (the per-delivery set came back empty) -- keep offering it there; a
|
|
136
|
+
// total-legacy (untrailered) batch also keeps it (no regression).
|
|
137
|
+
const batchShas = evidenceValueOr(await getRecordedCommitShasForMerge(v.focusId, sha), []);
|
|
138
|
+
if (batchShas.length > 0 && batchHasDeliveryTrailer(cwd, batchShas)) {
|
|
139
|
+
const own = filterCommitsByDelivery(cwd, batchShas, v.deliveryId);
|
|
140
|
+
if (own.length === 0)
|
|
141
|
+
return null;
|
|
142
|
+
}
|
|
143
|
+
const ref = await getRecordedPreMergeRefForMerge(v.focusId, sha);
|
|
144
|
+
return ref.state === 'found' ? ref.value : null;
|
|
145
|
+
},
|
|
146
|
+
resolveAttributionFailure: async (v) => {
|
|
147
|
+
// TOTAL ATTRIBUTION FAILURE: a recorded batch that carries NO delivery anchor
|
|
148
|
+
// AND contains genuinely UNATTRIBUTED commits, on a focus with MORE THAN ONE
|
|
149
|
+
// delivery. filterCommitsByDelivery returns the whole batch for such a set
|
|
150
|
+
// (its legacy fallback), and coverage then reports complete because the range
|
|
151
|
+
// covers that whole set exactly -- so without this signal the gate would
|
|
152
|
+
// render a confident verdict against the combined sibling diff. A
|
|
153
|
+
// single-delivery focus is genuinely unpartitionable, so it is NOT a failure
|
|
154
|
+
// and keeps today's behavior.
|
|
155
|
+
const sha = recordedMergeShaForVerifyImpl(v);
|
|
156
|
+
if (!sha || !v.focusId)
|
|
157
|
+
return null;
|
|
158
|
+
const batchLookup = await getRecordedCommitShasForMerge(v.focusId, sha);
|
|
159
|
+
// Only a `found` batch (query ran AND the row carries commits) can be a
|
|
160
|
+
// total-attribution failure. An `empty` batch has nothing to misattribute;
|
|
161
|
+
// an `undetermined` batch is a blind instrument, not a partition failure --
|
|
162
|
+
// reported distinctly via resolveEvidenceInstrumentFault, not here.
|
|
163
|
+
if (batchLookup.state !== 'found')
|
|
164
|
+
return null;
|
|
165
|
+
const batch = batchLookup.value;
|
|
166
|
+
const cwd = resolveVerificationCwd(v);
|
|
167
|
+
if (batchHasDeliveryTrailer(cwd, batch))
|
|
168
|
+
return null; // has a delivery to partition -> not a total failure
|
|
169
|
+
// No delivery anchor. A batch that is nonetheless COMPLETELY attributed --
|
|
170
|
+
// every commit an explicit non-delivery sentinel (daemon housekeeping) -- is
|
|
171
|
+
// fully accounted for, NOT a failure: the gate may render a verdict. Only a
|
|
172
|
+
// genuinely UNATTRIBUTED commit makes this the loud failure. The sentinel
|
|
173
|
+
// must never launder missing attribution into apparent completeness.
|
|
174
|
+
if (!batchHasUnattributedCommit(cwd, batch))
|
|
175
|
+
return null; // all-sentinel -> complete, no failure
|
|
176
|
+
const deliveries = await getFocusDeliveries(v.focusId);
|
|
177
|
+
if (deliveries.length <= 1)
|
|
178
|
+
return null; // genuine legacy single-delivery batch
|
|
179
|
+
return { batch: batch.length, deliveries: deliveries.length };
|
|
180
|
+
},
|
|
181
|
+
resolveEvidenceInstrumentFault: async (v) => {
|
|
182
|
+
// Probe whether the durable record could be READ at all. An `undetermined`
|
|
183
|
+
// lookup (the focus_merge_list API unreachable) is the instrument fault the
|
|
184
|
+
// gate must report DISTINCTLY from an honest empty record: it names the seam
|
|
185
|
+
// so a blind gate is diagnosable, rather than collapsing "could not
|
|
186
|
+
// determine" into "there is nothing here". Gated identically to the
|
|
187
|
+
// commit-set lookup -- an unmerged delivery has no record to read and is not
|
|
188
|
+
// a fault.
|
|
189
|
+
const sha = recordedMergeShaForVerifyImpl(v);
|
|
190
|
+
if (!sha || !v.focusId)
|
|
191
|
+
return null;
|
|
192
|
+
const history = await getAllRecordedCommitShasForFocus(v.focusId);
|
|
193
|
+
if (history.state === 'undetermined') {
|
|
194
|
+
return { seam: 'focus_merges (whole-history commit set)', reason: history.reason };
|
|
195
|
+
}
|
|
196
|
+
return null;
|
|
197
|
+
},
|
|
198
|
+
attributeFailures: buildDefaultAttributeFailures(config),
|
|
199
|
+
};
|
|
200
|
+
};
|
|
201
|
+
//# sourceMappingURL=verification-deps-default.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification-deps-default.js","sourceRoot":"","sources":["../../src/verify/verification-deps-default.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EACL,uBAAuB,EACvB,iCAAiC,EACjC,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,wBAAwB,IAAI,+BAA+B,EAAE,MAAM,yBAAyB,CAAC;AACtG,OAAO,EAAE,cAAc,IAAI,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,kCAAkC,EAClC,uBAAuB,EACvB,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,EAAE,0BAA0B,IAAI,iCAAiC,EAAE,MAAM,0BAA0B,CAAC;AAC3G,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EACL,kCAAkC,EAClC,qBAAqB,EACrB,kCAAkC,GACnC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACxG,OAAO,EAAE,yBAAyB,IAAI,gCAAgC,EAAE,MAAM,4BAA4B,CAAC;AAC3G,OAAO,EAAE,eAAe,IAAI,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACtF,OAAO,EAAE,mCAAmC,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAE/C,OAAO,EAAE,yBAAyB,IAAI,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AACxG,OAAO,EACL,6BAA6B,EAC7B,gCAAgC,EAChC,8BAA8B,EAC9B,eAAe,GAChB,MAAM,0BAA0B,CAAC;AAElC,KAAK,UAAU,wBAAwB,CAAC,OAAmC;IACzE,MAAM,OAAO,CAAC,2BAA2B,EAAE;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;QAClC,YAAY,EAAE,OAAO,CAAC,WAAW,CAAC,IAAI;QACtC,aAAa,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ;QAC3C,kBAAkB,EAAE,OAAO,CAAC,WAAW,CAAC,mBAAmB;KAC5D,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAoB,EAAoB,EAAE;IACpE,MAAM,UAAU,GAAG,CAAC,SAAwB,EAAU,EAAE;QACtD,IAAI,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;QAC9D,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC;QACrC,OAAO,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,sBAAsB,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACvE,OAAO;QACL,uBAAuB;QACvB,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,qBAAqB;QACtC,wBAAwB,EAAE,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EAAE,CACnF,+BAA+B,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,kBAAkB,CAAC;QAC7F,cAAc,EAAE,qBAAqB;QACrC,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,iBAAiB,EAAE,wBAAwB;QAC3C,eAAe,EAAE,wBAAwB;QACzC,gBAAgB,EAAE,wBAAwB;QAC1C,eAAe,EAAE,sBAAsB;QACvC,yBAAyB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAgC,CAAC,CAAC,EAAE;YACpE,OAAO;YACP,UAAU;YACV,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;SAC5C,CAAC;QACF,UAAU;QACV,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,mBAAmB,EAAE,mCAAmC,EAAE;QAC1D,0BAA0B,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAiC,CAAC,CAAC,CAAC;QACvE,gBAAgB;QAChB,kBAAkB;QAClB,sBAAsB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CACpC,kCAAkC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;QAC5F,wBAAwB,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,CAC1C,qBAAqB,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;QACnF,kCAAkC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAC/C,kCAAkC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;QAC3F,sBAAsB;QACtB,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC;QAChG,yBAAyB,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACrC,0EAA0E;YAC1E,4EAA4E;YAC5E,4EAA4E;YAC5E,MAAM,GAAG,GAAG,6BAA6B,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,OAAO,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACtC,uEAAuE;YACvE,wEAAwE;YACxE,iEAAiE;YACjE,4EAA4E;YAC5E,2EAA2E;YAC3E,2EAA2E;YAC3E,uEAAuE;YACvE,2EAA2E;YAC3E,sEAAsE;YACtE,4EAA4E;YAC5E,4EAA4E;YAC5E,8EAA8E;YAC9E,uFAAuF;YACvF,oDAAoD;YACpD,MAAM,OAAO,GAAG,MAAM,gCAAgC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClE,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBAC9B,MAAM,GAAG,GAAG,kCAAkC,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;gBACjF,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,GAAG,CAAC;YAC/B,CAAC;YACD,4EAA4E;YAC5E,uEAAuE;YACvE,sEAAsE;YACtE,MAAM,KAAK,GAAG,MAAM,6BAA6B,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAClE,OAAO,uBAAuB,CAAC,GAAG,EAAE,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAChF,CAAC;QACD,0BAA0B,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACtC,6EAA6E;YAC7E,yEAAyE;YACzE,0EAA0E;YAC1E,iEAAiE;YACjE,MAAM,GAAG,GAAG,6BAA6B,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YACpC,MAAM,GAAG,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACtC,wEAAwE;YACxE,yEAAyE;YACzE,4EAA4E;YAC5E,4EAA4E;YAC5E,6EAA6E;YAC7E,4EAA4E;YAC5E,yEAAyE;YACzE,sEAAsE;YACtE,kEAAkE;YAClE,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,6BAA6B,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3F,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,uBAAuB,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,CAAC;gBACpE,MAAM,GAAG,GAAG,uBAAuB,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;gBAClE,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;YACpC,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,8BAA8B,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACjE,OAAO,GAAG,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,CAAC;QACD,yBAAyB,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACrC,8EAA8E;YAC9E,6EAA6E;YAC7E,2EAA2E;YAC3E,8EAA8E;YAC9E,yEAAyE;YACzE,kEAAkE;YAClE,6EAA6E;YAC7E,8BAA8B;YAC9B,MAAM,GAAG,GAAG,6BAA6B,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YACpC,MAAM,WAAW,GAAG,MAAM,6BAA6B,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACxE,wEAAwE;YACxE,2EAA2E;YAC3E,4EAA4E;YAC5E,oEAAoE;YACpE,IAAI,WAAW,CAAC,KAAK,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC/C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC;YAChC,MAAM,GAAG,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,uBAAuB,CAAC,GAAG,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,qDAAqD;YAC3G,2EAA2E;YAC3E,6EAA6E;YAC7E,4EAA4E;YAC5E,0EAA0E;YAC1E,qEAAqE;YACrE,IAAI,CAAC,0BAA0B,CAAC,GAAG,EAAE,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,uCAAuC;YACjG,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,uCAAuC;YAChF,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;QAChE,CAAC;QACD,8BAA8B,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YAC1C,2EAA2E;YAC3E,4EAA4E;YAC5E,6EAA6E;YAC7E,oEAAoE;YACpE,oEAAoE;YACpE,6EAA6E;YAC7E,WAAW;YACX,MAAM,GAAG,GAAG,6BAA6B,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YACpC,MAAM,OAAO,GAAG,MAAM,gCAAgC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClE,IAAI,OAAO,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;gBACrC,OAAO,EAAE,IAAI,EAAE,yCAAyC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACrF,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,iBAAiB,EAAE,6BAA6B,CAAC,MAAM,CAAC;KACzD,CAAC;AACJ,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verification-engine.d.ts","sourceRoot":"","sources":["../../src/verify/verification-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,
|
|
1
|
+
{"version":3,"file":"verification-engine.d.ts","sourceRoot":"","sources":["../../src/verify/verification-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,wBAAwB,EAAE,KAAK,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AACzG,OAAO,EACL,KAAK,mBAAmB,EAGzB,MAAM,4BAA4B,CAAC;AAQpC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAYtD,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,EAC1B,gCAAgC,EAChC,qBAAqB,EACrB,qBAAqB,EACrB,kCAAkC,EAClC,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,KAAK,gBAAgB,EACtB,MAAM,2BAA2B,CAAC;AAenC,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,cAAc,CAAC,CAKrE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAmB7D;AAMD;;;;GAIG;AACH,YAAY,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC3F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAc/D;;;;;;GAMG;AACH,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,KAAK,kBAAkB,GACxB,MAAM,4BAA4B,CAAC;AAWpC;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,cAAc,CAAC,CA2ZzB;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,YAAY,EACpB,IAAI,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAC/B,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAwFlG"}
|