@telora/daemon 0.23.14 → 0.23.16

package/dist/verify/effect-reconciliation/verify-reconciliation.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AA4EjI,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,yBAAyB,CACtC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,IAAI,gBAAgB,CAAC;QACzB,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KACnG,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,WAAyB,EACzB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,0BAA0B,EAAE,EAAE,yBAAyB,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1G,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACvE,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEjI,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAmFrD,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iIAAiI;AACjI,KAAK,UAAU,mBAAmB,CAChC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,QAA2B,EAC3B,SAAwB,EACxB,UAA4C,EAC5C,KAAa;IAEb,OAAO,IAAI,gBAAgB,CAAC;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG;KAC9G,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAW,EAAE,UAA4C;IACtG,OAAO;QACL,wCAAwC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B;cAClF,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,gIAAgI;cAC5H,+HAA+H;cAC/H,uGAAuG;cACvG,uDAAuD;KAC5D,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAC/B,KAAwB,EACxB,SAAwB,EACxB,OAAqB,EACrB,gBAAuC;IAEvC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,CAAC,MAAM,kCAAkC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACvH,4FAA4F,CAC/F,CAAC;IACF,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnH,IAAI,CAAC,SAAS;QAAE,MAAM,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,mDAAmD,CAAC,CAAC;IACjI,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;IAC/H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,SAA6B,EAC7B,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,0BAA0B,EAAE,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,QAA2B,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,QAAQ,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACnF,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IACD,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/verify/effect-reconciliation/verify-restatement.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 25 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/effect-reconciliation/verify-restatement.ts
+// Pinned by: 26 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/effect-reconciliation/verify-restatement.ts
 // PINNED-BY-END
 /**
  * Verify-time desired-effect reconciliation.

package/dist/verify/engine/verification-deps.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 31 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-deps.ts
+// Pinned by: 32 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-deps.ts
 // PINNED-BY-END
 export {};
 //# sourceMappingURL=verification-deps.js.map

package/dist/verify/engine/verification-engine.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 28 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-engine.ts
+// Pinned by: 29 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-engine.ts
 // PINNED-BY-END
 /**
  * Pluggable verification engine -- Differential Focus Spec.

package/dist/verify/gate-config/verification-config.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 25 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/gate-config/verification-config.ts
+// Pinned by: 26 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/gate-config/verification-config.ts
 // PINNED-BY-END
 import { loadEnvConfig, productLabel } from '@telora/daemon-core';
 import { resolveVerificationCarriage } from '../../config/config.js';

package/dist/verify/inspection-strategies/verification-strategies.js

@@ -136,7 +136,7 @@ async function inspectPinned(deps, inputs, workspace, preRuled, readInput) {
     const unresolved = inspection.verdict === 'inconclusive' ? []
         : [...await workspace.resolveCitations(citations), ...citationShapeGaps(citations)];
     if (unresolved.length > 0)
-        return awaitingModel(unresolvedCitationsHold(inspection, workspace.sha, unresolved), inputs.deliveryDiff);
+        return awaitingModel(await withJudgedInput(unresolvedCitationsHold(inspection, workspace.sha, unresolved), readInput), inputs.deliveryDiff);
     const outcome = inspection.verdict === 'passed' ? 'passed'
         : inspection.verdict === 'failed' ? 'failed'
             : 'pending';

package/dist/verify/inspection-strategies/verification-strategies.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,0FAA0F;AAC1F,qFAAqF;AACrF,gBAAgB;AAoChB,OAAO,EAAE,6BAA6B,EAAyB,MAAM,2BAA2B,CAAC;AAIjG,OAAO,EAAE,iBAAiB,EAAuB,MAAM,6CAA6C,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,qBAAqB,EAAwB,MAAM,oCAAoC,CAAC;AAChJ,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAErF,OAAO,EACL,eAAe,EAAE,6BAA6B,EAAE,4BAA4B,EAAE,eAAe,GAC9F,MAAM,4CAA4C,CAAC;AAEpD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,6DAA6D;AAC7D,SAAS,cAAc,CAAC,UAA4B;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,gBAAgB,EAAE,SAAS,IAAI,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,QAAQ,CAAC;IACvD,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,IAAI,IAAI,SAAS;QACpD,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,UAAU,CAAC,SAAS;QAC7B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,UAA4B,EAAE,GAAW,EAAE,UAA4C;IACtH,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,OAAO,UAAU,CAAC,OAAO,mEAAmE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;cACrH,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAA4B,EAAE,YAAgC;IACnF,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,gBAAgB,EAAE,IAAI;QACtB,oBAAoB,EAAE,IAAI;QAC1B,SAAS,EAAE,gCAAgC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,EAAE;QACxE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,mGAAmG;IACnG,MAAM,QAAQ,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,KAAK,IAAqB,EAAE,CAAC,QAAQ,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,QAAQ;QAAE,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY;QACnC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,gGAAgG,EAAE,CAAC;IAC7I,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAC1E,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxE,IAAI,mBAAmB,CAAC,MAAM,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACtF,OAAO;gBACL,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBAC1G,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ;aACtD,CAAC;QACJ,CAAC;QACD,2GAA2G;QAC3G,MAAM,MAAM,GAAuB;YACjC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAsB,EAAE,SAAS,CAAC,KAAK,CAAC;YACnF,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClH,CAAC;QACF,6GAA6G;QAC7G,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACtG,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC/G,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,OAAO,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,sBAAsB,CAAC,CAAsB,EAAE,IAAsB;IAClF,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,QAAyB,EAAE,GAAW;IAC9D,OAAO,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACnG,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC;AACrF,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,aAAa,CAC1B,IAAsB,EACtB,MAA0B,EAC1B,SAAyB,EACzB,QAAyB,EACzB,SAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;QAC5C,GAAG,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC;KAChH,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,gBAAgB;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACzI,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE;QAC3D,CAAC,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACrI,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACjI,CAAC"}
+{"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,0FAA0F;AAC1F,qFAAqF;AACrF,gBAAgB;AAoChB,OAAO,EAAE,6BAA6B,EAAyB,MAAM,2BAA2B,CAAC;AAIjG,OAAO,EAAE,iBAAiB,EAAuB,MAAM,6CAA6C,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,qBAAqB,EAAwB,MAAM,oCAAoC,CAAC;AAChJ,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAErF,OAAO,EACL,eAAe,EAAE,6BAA6B,EAAE,4BAA4B,EAAE,eAAe,GAC9F,MAAM,4CAA4C,CAAC;AAEpD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,6DAA6D;AAC7D,SAAS,cAAc,CAAC,UAA4B;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,gBAAgB,EAAE,SAAS,IAAI,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,QAAQ,CAAC;IACvD,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,IAAI,IAAI,SAAS;QACpD,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,UAAU,CAAC,SAAS;QAC7B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,UAA4B,EAAE,GAAW,EAAE,UAA4C;IACtH,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,OAAO,UAAU,CAAC,OAAO,mEAAmE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;cACrH,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAA4B,EAAE,YAAgC;IACnF,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,gBAAgB,EAAE,IAAI;QACtB,oBAAoB,EAAE,IAAI;QAC1B,SAAS,EAAE,gCAAgC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,EAAE;QACxE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,mGAAmG;IACnG,MAAM,QAAQ,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,KAAK,IAAqB,EAAE,CAAC,QAAQ,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,QAAQ;QAAE,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY;QACnC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,gGAAgG,EAAE,CAAC;IAC7I,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAC1E,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxE,IAAI,mBAAmB,CAAC,MAAM,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACtF,OAAO;gBACL,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBAC1G,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ;aACtD,CAAC;QACJ,CAAC;QACD,2GAA2G;QAC3G,MAAM,MAAM,GAAuB;YACjC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAsB,EAAE,SAAS,CAAC,KAAK,CAAC;YACnF,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClH,CAAC;QACF,6GAA6G;QAC7G,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACtG,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC/G,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,OAAO,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,sBAAsB,CAAC,CAAsB,EAAE,IAAsB;IAClF,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,QAAyB,EAAE,GAAW;IAC9D,OAAO,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACnG,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC;AACrF,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,aAAa,CAC1B,IAAsB,EACtB,MAA0B,EAC1B,SAAyB,EACzB,QAAyB,EACzB,SAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;QAC5C,GAAG,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC;KAChH,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,gBAAgB;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACzI,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE;QAC3D,CAAC,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACvK,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACjI,CAAC"}

package/dist/verify/outcome-routing/incurable-model-hold.d.ts

@@ -30,9 +30,15 @@ export type JudgedInputReader = () => Promise<ModelUnavailableJudgedAgainst | nu
  */
 export declare const UNREAD_JUDGED_INPUT: ModelUnavailableJudgedAgainst;
 /**
- * The hold, carrying the input it was judged against when retrying cannot cure
- * it (UNREAD_JUDGED_INPUT when that input could not be read). The input is read
- * only for such a kind. Never throws.
+ * Whether a hold of this kind records the input it was judged against: every
+ * kind but a rate limit, which the provider window bounds and which says
+ * nothing about the input. Pure.
+ */
+export declare function recordsJudgedInput(kind: ModelUnavailableDetail['kind']): boolean;
+/**
+ * The hold, carrying the input it was judged against when its kind records one
+ * (recordsJudgedInput; UNREAD_JUDGED_INPUT when that input could not be read).
+ * A rate limit reads no input. Never throws.
  */
 export declare function withJudgedInput(hold: ModelUnavailableDetail, readInput: JudgedInputReader): Promise<ModelUnavailableDetail>;
 /**

package/dist/verify/outcome-routing/incurable-model-hold.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"incurable-model-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAiCA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,uDAAuD,CAAC;AACnI,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEtF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAMjF,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;CAC5H;AAED,0HAA0H;AAC1H,MAAM,MAAM,oBAAoB,GAAG,MAAM,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAEhE,mGAAmG;AACnG,wBAAsB,eAAe,CACnC,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,kBAAkB,EAAE,MAAM,GAAG,IAAI,EACjC,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,CAAC,GACxD,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAW/C;AAED,4FAA4F;AAC5F,wBAAsB,6BAA6B,CACjD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,GAAG,sBAAsB,CAAC,GACjF,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAS/C;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,sBAAsB,GAAG,IAAI,GAAG,SAAS,EAChD,OAAO,EAAE,6BAA6B,GAAG,IAAI,GAC5C,sBAAsB,GAAG,IAAI,CAS/B;AAaD,uFAAuF;AACvF,MAAM,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAAC;AAEpF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,6BAA+G,CAAC;AAElJ;;;;GAIG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE,sBAAsB,EAAE,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAGjI;AAED;;;;GAIG;AACH,wBAAsB,4BAA4B,CAChD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,GACtD,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAsBxC"}
+{"version":3,"file":"incurable-model-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAsCA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,uDAAuD,CAAC;AACnI,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEtF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAMjF,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;CAC5H;AAED,0HAA0H;AAC1H,MAAM,MAAM,oBAAoB,GAAG,MAAM,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAEhE,mGAAmG;AACnG,wBAAsB,eAAe,CACnC,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,kBAAkB,EAAE,MAAM,GAAG,IAAI,EACjC,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,CAAC,GACxD,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAW/C;AAED,4FAA4F;AAC5F,wBAAsB,6BAA6B,CACjD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,GAAG,sBAAsB,CAAC,GACjF,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAS/C;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,sBAAsB,GAAG,IAAI,GAAG,SAAS,EAChD,OAAO,EAAE,6BAA6B,GAAG,IAAI,GAC5C,sBAAsB,GAAG,IAAI,CAS/B;AAaD,uFAAuF;AACvF,MAAM,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAAC;AAEpF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,6BAA+G,CAAC;AAElJ;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,GAAG,OAAO,CAEhF;AAED;;;;GAIG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE,sBAAsB,EAAE,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAGjI;AAED;;;;GAIG;AACH,wBAAsB,4BAA4B,CAChD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,GACtD,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAsBxC"}

package/dist/verify/outcome-routing/incurable-model-hold.js

@@ -1,5 +1,6 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/outcome-routing/incurable-model-hold.test.ts
+// Pinned by: packages/daemon/src/verify/outcome-routing/incurable-model-hold.test.ts,
+//   packages/daemon/src/verify/outcome-routing/repeating-model-hold.test.ts
 // PINNED-BY-END
 /**
  * A model failure retrying cannot cure waits for NEW INPUT, not for the model.
@@ -26,6 +27,10 @@
  * that recorded no input, a curable kind, or an unreadable gate_state (no hold
  * is known to stand) judge as before.
  *
+ * A curable hold records its input too (every kind but a rate limit,
+ * recordsJudgedInput): it is never re-held on it, but it is what a re-forming
+ * hold is counted against (verify/outcome-routing/repeating-model-hold.ts).
+ *
  * @module verify/outcome-routing/incurable-model-hold
  */
 import { retryCannotCure } from '../../backends/claude/one-shot-model.js';
@@ -96,12 +101,20 @@ function judgedInputChanged(recorded, current) {
  */
 export const UNREAD_JUDGED_INPUT = { commitSet: '(unread)', rulingsFingerprint: '(unread)', question: '(unread)' };
 /**
- * The hold, carrying the input it was judged against when retrying cannot cure
- * it (UNREAD_JUDGED_INPUT when that input could not be read). The input is read
- * only for such a kind. Never throws.
+ * Whether a hold of this kind records the input it was judged against: every
+ * kind but a rate limit, which the provider window bounds and which says
+ * nothing about the input. Pure.
+ */
+export function recordsJudgedInput(kind) {
+    return kind !== 'rate_limit';
+}
+/**
+ * The hold, carrying the input it was judged against when its kind records one
+ * (recordsJudgedInput; UNREAD_JUDGED_INPUT when that input could not be read).
+ * A rate limit reads no input. Never throws.
  */
 export async function withJudgedInput(hold, readInput) {
-    if (!retryCannotCure(hold.kind))
+    if (!recordsJudgedInput(hold.kind))
         return hold;
     return { ...hold, judgedAgainst: (await readInput()) ?? UNREAD_JUDGED_INPUT };
 }

package/dist/verify/outcome-routing/incurable-model-hold.js.map

@@ -1 +1 @@
-{"version":3,"file":"incurable-model-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qFAAqF;AACrF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAI1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAYrD,mGAAmG;AACnG,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,CAAsB,EACtB,SAAwB,EACxB,kBAAiC,EACjC,YAAkC,EAClC,IAAyD;IAEzD,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,YAAY,EAAE,CAAC;QACtC,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;IAC3G,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,2DAA2D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrI,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,CAAsB,EACtB,SAAwB,EACxB,YAAkC,EAClC,IAAkF;IAElF,IAAI,WAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,sDAAsD,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChI,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgD,EAChD,OAA6C;IAE7C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,sBAAsB,EAAE;QAChD,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,aAAa,EAAE,QAAQ,KAAK,SAAS;QACrC,iBAAiB,EAAE,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC;KACvG,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,QAAuC,EAAE,OAAsC;IACzG,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,IAAI,QAAQ,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACxH,OAAO,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;AAChD,CAAC;AAKD;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkC,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAElJ;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAA4B,EAAE,SAA4B;IAC9F,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,MAAM,SAAS,EAAE,CAAC,IAAI,mBAAmB,EAAE,CAAC;AAChF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAsB,EACtB,SAA4B,EAC5B,IAAuD;IAEvD,IAAI,MAAiC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,0DAA0D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACpI,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,SAAS,EAAE,gBAAgB,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,SAAS,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,kCAAkC,OAAO,CAAC,SAAS,cAAc,OAAO,CAAC,kBAAkB,eAAe,OAAO,CAAC,QAAQ,IAAI,cAAc,GAAG;YACjJ,CAAC,CAAC,iEAAiE,CAAC;QACtE,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,UAAU,QAAQ,CAAC,IAAI,mBAAmB,KAAK,GAAG;cAC5G,gHAAgH,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"incurable-model-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sFAAsF;AACtF,4EAA4E;AAC5E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAI1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAYrD,mGAAmG;AACnG,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,CAAsB,EACtB,SAAwB,EACxB,kBAAiC,EACjC,YAAkC,EAClC,IAAyD;IAEzD,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,YAAY,EAAE,CAAC;QACtC,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;IAC3G,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,2DAA2D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrI,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,CAAsB,EACtB,SAAwB,EACxB,YAAkC,EAClC,IAAkF;IAElF,IAAI,WAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,sDAAsD,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChI,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgD,EAChD,OAA6C;IAE7C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,sBAAsB,EAAE;QAChD,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,aAAa,EAAE,QAAQ,KAAK,SAAS;QACrC,iBAAiB,EAAE,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC;KACvG,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,QAAuC,EAAE,OAAsC;IACzG,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,IAAI,QAAQ,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACxH,OAAO,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;AAChD,CAAC;AAKD;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkC,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAElJ;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoC;IACrE,OAAO,IAAI,KAAK,YAAY,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAA4B,EAAE,SAA4B;IAC9F,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,MAAM,SAAS,EAAE,CAAC,IAAI,mBAAmB,EAAE,CAAC;AAChF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAsB,EACtB,SAA4B,EAC5B,IAAuD;IAEvD,IAAI,MAAiC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,0DAA0D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACpI,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,SAAS,EAAE,gBAAgB,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,SAAS,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,kCAAkC,OAAO,CAAC,SAAS,cAAc,OAAO,CAAC,kBAAkB,eAAe,OAAO,CAAC,QAAQ,IAAI,cAAc,GAAG;YACjJ,CAAC,CAAC,iEAAiE,CAAC;QACtE,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,UAAU,QAAQ,CAAC,IAAI,mBAAmB,KAAK,GAAG;cAC5G,gHAAgH,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/verify/outcome-routing/repeating-model-hold.d.ts

@@ -0,0 +1,30 @@
+import type { ModelUnavailableDetail } from '../../queries/delivery-gate-state/verify-own-holds.js';
+import type { PendingVerification } from '../../queries/verification/verification.js';
+import type { VerificationDeps } from '../engine/verification-deps.js';
+/** Consecutive holds on one judged input at which the hold is surfaced. */
+export declare const REPEATING_HOLD_BOUND = 3;
+/** The escalation kind a repeating hold is filed under (a machine discriminator, never the DB escalation_kind). */
+export declare const REPEATING_HOLD_ESCALATION_KIND = "verify_judge_repeating";
+/** Whether a hold of this kind counts its re-forms: curable, and not a rate limit. Pure. */
+export declare function countsReforms(kind: ModelUnavailableDetail['kind']): boolean;
+/**
+ * The hold about to be written, carrying its re-form count against the hold it
+ * replaces (module header). A kind that does not count, or an unrecorded input,
+ * carries none; an unread input restarts at 1. Pure.
+ */
+export declare function withReformCount(prior: ModelUnavailableDetail | null | undefined, detail: ModelUnavailableDetail): ModelUnavailableDetail;
+/** Whether a written hold has reached the bound. Pure. */
+export declare function repeatingHoldReached(detail: ModelUnavailableDetail): boolean;
+/** The escalation text: the delivery, the kind, the count, the last reason, and what the judge is re-judged on. Pure. */
+export declare function repeatingHoldReason(deliveryName: string, detail: ModelUnavailableDetail): string;
+/** The surfacing seam, bound at the composition root (as the incurable hold's). */
+export type RepeatingHoldDeps = Pick<VerificationDeps, 'fileEscalation' | 'organizationId'> & {
+    hasOpenEscalationForDelivery: (deliveryId: string, kind: string) => Promise<boolean>;
+};
+/**
+ * File the repeating hold once while one is open for the delivery, when the
+ * written hold has reached the bound. Best-effort; never throws. An unreadable
+ * open-row read files nothing this tick (the next re-form asks again).
+ */
+export declare function surfaceRepeatingHold(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName'> & Partial<Pick<PendingVerification, 'focusId' | 'productId'>>, detail: ModelUnavailableDetail, deps: RepeatingHoldDeps): Promise<void>;
+//# sourceMappingURL=repeating-model-hold.d.ts.map

package/dist/verify/outcome-routing/repeating-model-hold.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repeating-model-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/repeating-model-hold.ts"],"names":[],"mappings":"AAmDA,OAAO,KAAK,EAAE,sBAAsB,EAAiC,MAAM,uDAAuD,CAAC;AACnI,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAOvE,2EAA2E;AAC3E,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAEtC,mHAAmH;AACnH,eAAO,MAAM,8BAA8B,2BAA2B,CAAC;AAEvE,4FAA4F;AAC5F,wBAAgB,aAAa,CAAC,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,GAAG,OAAO,CAE3E;AAUD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,sBAAsB,GAAG,IAAI,GAAG,SAAS,EAAE,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,CAOxI;AAED,0DAA0D;AAC1D,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAE5E;AAED,yHAAyH;AACzH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,GAAG,MAAM,CAQhG;AAED,mFAAmF;AACnF,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,gBAAgB,CAAC,GAAG;IAC5F,4BAA4B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACtF,CAAC;AAEF;;;;GAIG;AACH,wBAAsB,oBAAoB,CACxC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,SAAS,GAAG,WAAW,CAAC,CAAC,EACzH,MAAM,EAAE,sBAAsB,EAC9B,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,IAAI,CAAC,CA+Bf"}

package/dist/verify/outcome-routing/repeating-model-hold.js

@@ -0,0 +1,135 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/integration/awaited-model-review-window-regression.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/verification-strategies.test.ts,
+//   packages/daemon/src/verify/outcome-routing/repeating-hold-escalation.test.ts,
+//   packages/daemon/src/verify/outcome-routing/repeating-model-hold.test.ts
+// PINNED-BY-END
+/**
+ * A curable awaited-model hold that keeps RE-FORMING on an unchanged input is
+ * named, not re-judged silently forever.
+ *
+ * A curable hold (verify/outcome-routing/verification-model-unavailable-hold.ts)
+ * is re-judged on the next tick, whatever the review window
+ * (verify/run-selection/pre-review-gate-dispatch.ts), and the judge gets one
+ * correction turn for citations that do not resolve
+ * (verify/effect-reconciliation/verify-reconciliation.ts). When the same judged
+ * input -- commit set, rulings, question (incurable-model-hold.ts
+ * ModelUnavailableJudgedAgainst) -- keeps producing a hold anyway, the cure is
+ * not arriving: each tick bills a judge for the same refusal, and the focus
+ * reads as merely "awaiting the model".
+ *
+ * So the hold COUNTS: `reformCount` on gate_state.modelUnavailable is the number
+ * of consecutive holds written on the same judged input. A different input
+ * restarts it at 1, and any rendered verdict drops the hold (and with it the
+ * count). Counted are the curable kinds except a rate limit: a rate limit is
+ * bounded by the provider window and clears itself, and an incurable kind is
+ * never re-judged on an unchanged input at all. A hold whose input could not be
+ * read restarts the count at 1 -- an unread input observes no repetition, so it
+ * is never proof of one. Every production path that writes a counted hold
+ * records its input: the reconciliation step and the ai_inspection strategy
+ * (both its model failure and its unresolved citations) through withJudgedInput.
+ *
+ * At REPEATING_HOLD_BOUND the hold is surfaced as its own escalation, kind
+ * `verify_judge_repeating`: its own cause key, never correlated onto another
+ * open row of the incident nor absorbing one
+ * (supervision/incident-correlation.ts INCIDENT_STANDALONE_KINDS) -- the
+ * first-hold observation (`verify_model_unavailable`) does correlate, and folded
+ * into a row already open on the focus it names nothing. It names the delivery,
+ * the hold kind, the last reason, the count and the judged input. It is filed
+ * once while one is open for the delivery; the escalation rows are the only
+ * memory of that, as for the incurable hold.
+ *
+ * Re-judging does NOT pause at the bound. A pause would turn a curable hold into
+ * a wait for new input, which strands the delivery exactly as the review window
+ * once did, and a curable cause (a timeout, a judge's miscount) can clear on a
+ * later answer. The bound buys a name, not a stop.
+ *
+ * @module verify/outcome-routing/repeating-model-hold
+ */
+import { ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
+import { recordsJudgedInput, UNREAD_JUDGED_INPUT } from './incurable-model-hold.js';
+import { retryCannotCure } from '../../backends/claude/one-shot-model.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'verification' });
+/** Consecutive holds on one judged input at which the hold is surfaced. */
+export const REPEATING_HOLD_BOUND = 3;
+/** The escalation kind a repeating hold is filed under (a machine discriminator, never the DB escalation_kind). */
+export const REPEATING_HOLD_ESCALATION_KIND = 'verify_judge_repeating';
+/** Whether a hold of this kind counts its re-forms: curable, and not a rate limit. Pure. */
+export function countsReforms(kind) {
+    return recordsJudgedInput(kind) && !retryCannotCure(kind);
+}
+function sameInput(a, b) {
+    return a.commitSet === b.commitSet && a.rulingsFingerprint === b.rulingsFingerprint && a.question === b.question;
+}
+function isUnread(input) {
+    return input.commitSet === UNREAD_JUDGED_INPUT.commitSet;
+}
+/**
+ * The hold about to be written, carrying its re-form count against the hold it
+ * replaces (module header). A kind that does not count, or an unrecorded input,
+ * carries none; an unread input restarts at 1. Pure.
+ */
+export function withReformCount(prior, detail) {
+    const { reformCount: _dropped, ...rest } = detail;
+    const input = detail.judgedAgainst;
+    if (!countsReforms(detail.kind) || !input)
+        return rest;
+    if (isUnread(input))
+        return { ...rest, reformCount: 1 };
+    const repeats = prior?.judgedAgainst !== undefined && countsReforms(prior.kind) && sameInput(prior.judgedAgainst, input);
+    return { ...rest, reformCount: repeats ? (prior.reformCount ?? 1) + 1 : 1 };
+}
+/** Whether a written hold has reached the bound. Pure. */
+export function repeatingHoldReached(detail) {
+    return (detail.reformCount ?? 0) >= REPEATING_HOLD_BOUND;
+}
+/** The escalation text: the delivery, the kind, the count, the last reason, and what the judge is re-judged on. Pure. */
+export function repeatingHoldReason(deliveryName, detail) {
+    return `Verify cannot judge delivery "${deliveryName}": its ${detail.label} hold (${detail.kind}) has re-formed `
+        + `${detail.reformCount ?? 0} times in a row on an unchanged judged input (the same commit set, rulings and question). `
+        + 'It is still re-judged on every verification tick -- each one a billed judge session -- and is not curing itself. '
+        + `Last reason: ${detail.message}. `
+        + 'A new commit on the delivery, a shortfall ruling on its targets, an approving review whose verdicts reach verify '
+        + 'as rulings, or an edit of a declared statement the judge is handed changes the input and restarts the count; '
+        + 'a rendered verdict drops the hold.';
+}
+/**
+ * File the repeating hold once while one is open for the delivery, when the
+ * written hold has reached the bound. Best-effort; never throws. An unreadable
+ * open-row read files nothing this tick (the next re-form asks again).
+ */
+export async function surfaceRepeatingHold(v, detail, deps) {
+    if (!repeatingHoldReached(detail) || !deps.organizationId)
+        return;
+    try {
+        if (await deps.hasOpenEscalationForDelivery(v.deliveryId, REPEATING_HOLD_ESCALATION_KIND))
+            return;
+        await deps.fileEscalation({
+            organizationId: deps.organizationId,
+            ...(v.focusId ? { focusId: v.focusId } : {}),
+            ...(v.productId ? { productId: v.productId } : {}),
+            reason: repeatingHoldReason(v.deliveryName, detail),
+            reasonType: ESCALATION_REASONS.ERROR_ENCOUNTERED,
+            disposition: ESCALATION_DISPOSITIONS.AGENT_RESOLVABLE,
+            humanAct: null,
+            kind: REPEATING_HOLD_ESCALATION_KIND,
+            details: {
+                cause_key: `${REPEATING_HOLD_ESCALATION_KIND}::delivery=${v.deliveryId}`,
+                delivery_id: v.deliveryId,
+                model_unavailable_kind: detail.kind,
+                label: detail.label,
+                reform_count: detail.reformCount ?? 0,
+                bound: REPEATING_HOLD_BOUND,
+                ...(detail.judgedAgainst ? { judged_against: detail.judgedAgainst } : {}),
+                error: detail.message,
+            },
+        });
+        log.info(`[verification] delivery "${v.deliveryName}" (${v.deliveryId}): its ${detail.kind} hold re-formed `
+            + `${detail.reformCount ?? 0} times on an unchanged input -- surfaced as ${REPEATING_HOLD_ESCALATION_KIND}; still re-judged each tick`);
+    }
+    catch (err) {
+        log.warn(`[verification] could not surface the repeating hold for delivery ${v.deliveryId}:`, err.message);
+    }
+}
+//# sourceMappingURL=repeating-model-hold.js.map

package/dist/verify/outcome-routing/repeating-model-hold.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repeating-model-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/repeating-model-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,6FAA6F;AAC7F,sFAAsF;AACtF,kFAAkF;AAClF,4EAA4E;AAC5E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAIlF,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAEtC,mHAAmH;AACnH,MAAM,CAAC,MAAM,8BAA8B,GAAG,wBAAwB,CAAC;AAEvE,4FAA4F;AAC5F,MAAM,UAAU,aAAa,CAAC,IAAoC;IAChE,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,SAAS,CAAC,CAAgC,EAAE,CAAgC;IACnF,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,kBAAkB,KAAK,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;AACnH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAoC;IACpD,OAAO,KAAK,CAAC,SAAS,KAAK,mBAAmB,CAAC,SAAS,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAgD,EAAE,MAA8B;IAC9G,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IAClD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC;IACnC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IACxD,MAAM,OAAO,GAAG,KAAK,EAAE,aAAa,KAAK,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IACzH,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,oBAAoB,CAAC,MAA8B;IACjE,OAAO,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,oBAAoB,CAAC;AAC3D,CAAC;AAED,yHAAyH;AACzH,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,MAA8B;IACtF,OAAO,iCAAiC,YAAY,UAAU,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAI,kBAAkB;UAC7G,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,4FAA4F;UACtH,mHAAmH;UACnH,gBAAgB,MAAM,CAAC,OAAO,IAAI;UAClC,mHAAmH;UACnH,+GAA+G;UAC/G,oCAAoC,CAAC;AAC3C,CAAC;AAOD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,CAAyH,EACzH,MAA8B,EAC9B,IAAuB;IAEvB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO;IAClE,IAAI,CAAC;QACH,IAAI,MAAM,IAAI,CAAC,4BAA4B,CAAC,CAAC,CAAC,UAAU,EAAE,8BAA8B,CAAC;YAAE,OAAO;QAClG,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC;YACnD,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,uBAAuB,CAAC,gBAAgB;YACrD,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE;gBACP,SAAS,EAAE,GAAG,8BAA8B,cAAc,CAAC,CAAC,UAAU,EAAE;gBACxE,WAAW,EAAE,CAAC,CAAC,UAAU;gBACzB,sBAAsB,EAAE,MAAM,CAAC,IAAI;gBACnC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,YAAY,EAAE,MAAM,CAAC,WAAW,IAAI,CAAC;gBACrC,KAAK,EAAE,oBAAoB;gBAC3B,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzE,KAAK,EAAE,MAAM,CAAC,OAAO;aACtB;SACF,CAAC,CAAC;QACH,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,UAAU,MAAM,CAAC,IAAI,kBAAkB;cACjG,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,+CAA+C,8BAA8B,6BAA6B,CACvI,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACxH,CAAC;AACH,CAAC"}

package/dist/verify/outcome-routing/verification-history-reset.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-history-reset.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-history-reset.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAuC,KAAK,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AASrH,OAAO,KAAK,EAAE,iCAAiC,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAKzH,mHAAmH;AACnH,MAAM,MAAM,4BAA4B,GAAG,iBAAiB,CAAC;AAS7D;;;;;;;;;;;;GAYG;AACH,wBAAsB,8BAA8B,CAClD,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,4BAA4B,EAClC,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,OAAO,CAAC,OAAO,CAAC,CAsBlB;AAED,6HAA6H;AAC7H,MAAM,WAAW,6BAA8B,SAAQ,4BAA4B;IACjF,aAAa,EAAE,OAAO,iCAAiC,CAAC;CACzD;AAED;;;;;GAKG;AACH,wBAAsB,yCAAyC,CAC7D,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,6BAA6B,GAClC,OAAO,CAAC,IAAI,CAAC,CAGf"}
+{"version":3,"file":"verification-history-reset.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-history-reset.ts"],"names":[],"mappings":"AAkBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAuC,KAAK,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AASrH,OAAO,KAAK,EAAE,iCAAiC,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAKzH,mHAAmH;AACnH,MAAM,MAAM,4BAA4B,GAAG,iBAAiB,CAAC;AAS7D;;;;;;;;;;;;GAYG;AACH,wBAAsB,8BAA8B,CAClD,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,4BAA4B,EAClC,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,OAAO,CAAC,OAAO,CAAC,CAsBlB;AAED,6HAA6H;AAC7H,MAAM,WAAW,6BAA8B,SAAQ,4BAA4B;IACjF,aAAa,EAAE,OAAO,iCAAiC,CAAC;CACzD;AAED;;;;;GAKG;AACH,wBAAsB,yCAAyC,CAC7D,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,6BAA6B,GAClC,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/verify/outcome-routing/verification-history-reset.js

@@ -1,5 +1,6 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
 // Pinned by: packages/daemon/src/composition/subsystem-contexts.test.ts,
+//   packages/daemon/src/integration/awaited-model-review-window-regression.test.ts,
 //   packages/daemon/src/integration/delivery-gate-write-interleaving.test.ts,
 //   packages/daemon/src/integration/explicit-gate-outcome-restart.test.ts,
 //   packages/daemon/src/integration/explicit-verdict-departure-during-removal.test.ts,

package/dist/verify/outcome-routing/verification-history-reset.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-history-reset.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-history-reset.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,8EAA8E;AAC9E,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,0EAA0E;AAC1E,2EAA2E;AAC3E,4FAA4F;AAC5F,sEAAsE;AACtE,6EAA6E;AAC7E,8EAA8E;AAC9E,4FAA4F;AAC5F,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,mCAAmC,EAA0B,MAAM,wCAAwC,CAAC;AACrH,OAAO,EAEL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,GAElB,MAAM,0DAA0D,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,uDAAuD,CAAC;AAE9G,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAKrD,0GAA0G;AAC1G,SAAS,gBAAgB,CAAC,OAAiC,EAAE,IAAyB;IACpF,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAC1B,MAAM,IAAI,GAAsB,OAAO,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtG,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,UAAkB,EAClB,IAAkC,EAClC,YAA2B,IAAI;IAE/B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;YAC5E,MAAM,OAAO,GAAG,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,SAAS,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,MAAM,mBAAmB,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,CAAC;YAChF,4FAA4F;YAC5F,2EAA2E;YAC3E,8EAA8E;YAC9E,4EAA4E;YAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,aAAa;mBAClG,CAAC,mBAAmB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACtC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,gBAAgB,CAAC,wBAAwB,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9F,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACjB,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrG,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAOD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,UAAkB,EAClB,OAA4B,EAC5B,SAAwB,EACxB,IAAmC;IAEnC,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ;QAAE,MAAM,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9F,CAAC"}
+{"version":3,"file":"verification-history-reset.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-history-reset.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,oFAAoF;AACpF,8EAA8E;AAC9E,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,0EAA0E;AAC1E,2EAA2E;AAC3E,4FAA4F;AAC5F,sEAAsE;AACtE,6EAA6E;AAC7E,8EAA8E;AAC9E,4FAA4F;AAC5F,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,mCAAmC,EAA0B,MAAM,wCAAwC,CAAC;AACrH,OAAO,EAEL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,GAElB,MAAM,0DAA0D,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,uDAAuD,CAAC;AAE9G,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAKrD,0GAA0G;AAC1G,SAAS,gBAAgB,CAAC,OAAiC,EAAE,IAAyB;IACpF,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAC1B,MAAM,IAAI,GAAsB,OAAO,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtG,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,UAAkB,EAClB,IAAkC,EAClC,YAA2B,IAAI;IAE/B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;YAC5E,MAAM,OAAO,GAAG,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,SAAS,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,MAAM,mBAAmB,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,CAAC;YAChF,4FAA4F;YAC5F,2EAA2E;YAC3E,8EAA8E;YAC9E,4EAA4E;YAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,aAAa;mBAClG,CAAC,mBAAmB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACtC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,gBAAgB,CAAC,wBAAwB,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9F,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACjB,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrG,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAOD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,UAAkB,EAClB,OAA4B,EAC5B,SAAwB,EACxB,IAAmC;IAEnC,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ;QAAE,MAAM,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9F,CAAC"}

package/dist/verify/outcome-routing/verification-model-unavailable-hold.d.ts

@@ -28,6 +28,10 @@
  * process stands in for them, so a restarted daemon files nothing twice and a
  * row resolved while the hold still stands is filed again by the same process.
  *
+ * A curable hold that keeps re-forming on an unchanged judged input is counted
+ * on the hold and, at a bound, surfaced as its own escalation too
+ * (verify/outcome-routing/repeating-model-hold.ts); re-judging continues.
+ *
  * History: docs/daemon/history-verify.md (verify/outcome-routing/verification-model-unavailable-hold.ts).
  *
  * @module verify/outcome-routing/verification-model-unavailable-hold
@@ -74,7 +78,8 @@ export declare function modelUnavailableDetailOf(err: ModelUnavailable, heldAt?:
  * `prior` with the model-unavailable hold set. Everything else the row carries
  * stays: a standing shortfall park is still authoritative, an operator hold is
  * still an operator hold, the judged commit is still the judged commit. A hold
- * already present is replaced (its detail is refreshed). Pure.
+ * already present is replaced (its detail is refreshed), and a re-form on the
+ * same judged input is counted against it (repeating-model-hold.ts). Pure.
  */
 export declare function buildModelUnavailableGateState(prior: DeliveryGateState | null, detail: ModelUnavailableDetail): DeliveryGateState;
 /**
@@ -102,9 +107,10 @@ export declare function __resetModelUnavailableSurfacingForTests(): void;
 export declare function incurableHoldReason(deliveryName: string, detail: ModelUnavailableDetail): string;
 /**
  * Record the hold on the delivery, at its own status, and surface a
- * non-rate-limit unavailability once. Best-effort: a write failure is logged
- * and the next tick's re-judgement records it again. Returns whether the hold
- * was written.
+ * non-rate-limit unavailability once; a written hold that has re-formed to the
+ * bound on an unchanged input is surfaced as repeating. Best-effort: a write
+ * failure is logged and the next tick's re-judgement records it again. Returns
+ * whether the hold was written.
  */
 export declare function holdForModelUnavailable(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName'> & Partial<Pick<PendingVerification, 'focusId' | 'productId'>>, detail: ModelUnavailableDetail, deps: ModelUnavailableHoldDeps): Promise<boolean>;
 //# sourceMappingURL=verification-model-unavailable-hold.d.ts.map

package/dist/verify/outcome-routing/verification-model-unavailable-hold.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-model-unavailable-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,EAAuC,KAAK,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AACrH,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,0DAA0D,CAAC;AAClG,OAAO,EAAoD,KAAK,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACtJ,OAAO,EAAuC,KAAK,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AACrH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAQvE;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,OAAO,EACZ,eAAe,EAAE,MAAM,GACtB;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAA;CAAE,CAgBhH;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,GAAG,IAAI,CAMrH;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,sBAAsB,KAAK,OAAO,CAAC,IAAI,CAAC,EAC/E,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,wDAAwD;AACxD,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,GAAE,MAAiC,GAAG,sBAAsB,CAUjI;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,iBAAiB,GAAG,IAAI,EAC/B,MAAM,EAAE,sBAAsB,GAC7B,iBAAiB,CAYnB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAOpF;AAED,wHAAwH;AACxH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,GAAG,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,gBAAgB,CAAC,GAAG;IACvH,iIAAiI;IACjI,4BAA4B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACtF,CAAC;AAEF,oHAAoH;AACpH,eAAO,MAAM,8BAA8B,2BAA2B,CAAC;AAKvE,6CAA6C;AAC7C,wBAAgB,wCAAwC,IAAI,IAAI,CAE/D;AAuED,wHAAwH;AACxH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,GAAG,MAAM,CAShG;AAyCD;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,SAAS,GAAG,WAAW,CAAC,CAAC,EACzH,MAAM,EAAE,sBAAsB,EAC9B,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,OAAO,CAAC,CAwBlB"}
+{"version":3,"file":"verification-model-unavailable-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAWA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAuC,KAAK,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AACrH,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,0DAA0D,CAAC;AAClG,OAAO,EAAoD,KAAK,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACtJ,OAAO,EAAuC,KAAK,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AACrH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AASvE;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,OAAO,EACZ,eAAe,EAAE,MAAM,GACtB;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAA;CAAE,CAgBhH;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,GAAG,IAAI,CAMrH;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,sBAAsB,KAAK,OAAO,CAAC,IAAI,CAAC,EAC/E,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,wDAAwD;AACxD,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,GAAE,MAAiC,GAAG,sBAAsB,CAUjI;AAED;;;;;;GAMG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,iBAAiB,GAAG,IAAI,EAC/B,MAAM,EAAE,sBAAsB,GAC7B,iBAAiB,CAanB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAOpF;AAED,wHAAwH;AACxH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,GAAG,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,gBAAgB,CAAC,GAAG;IACvH,iIAAiI;IACjI,4BAA4B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACtF,CAAC;AAEF,oHAAoH;AACpH,eAAO,MAAM,8BAA8B,2BAA2B,CAAC;AAKvE,6CAA6C;AAC7C,wBAAgB,wCAAwC,IAAI,IAAI,CAE/D;AAuED,wHAAwH;AACxH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,GAAG,MAAM,CAShG;AAyCD;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,SAAS,GAAG,WAAW,CAAC,CAAC,EACzH,MAAM,EAAE,sBAAsB,EAC9B,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,OAAO,CAAC,CA8BlB"}

package/dist/verify/outcome-routing/verification-model-unavailable-hold.js

@@ -1,7 +1,11 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
 // Pinned by: packages/daemon/src/composition/subsystem-contexts.test.ts,
+//   packages/daemon/src/integration/awaited-model-review-window-regression.test.ts,
+//   packages/daemon/src/verify/inspection-strategies/verification-strategies.test.ts,
 //   packages/daemon/src/verify/outcome-routing/incurable-hold-escalation.test.ts,
 //   packages/daemon/src/verify/outcome-routing/incurable-model-hold.test.ts,
+//   packages/daemon/src/verify/outcome-routing/repeating-hold-escalation.test.ts,
+//   packages/daemon/src/verify/outcome-routing/repeating-model-hold.test.ts,
 //   packages/daemon/src/verify/outcome-routing/verification-model-unavailable-hold.test.ts
 // PINNED-BY-END
 /**
@@ -34,6 +38,10 @@
  * process stands in for them, so a restarted daemon files nothing twice and a
  * row resolved while the hold still stands is filed again by the same process.
  *
+ * A curable hold that keeps re-forming on an unchanged judged input is counted
+ * on the hold and, at a bound, surfaced as its own escalation too
+ * (verify/outcome-routing/repeating-model-hold.ts); re-judging continues.
+ *
  * History: docs/daemon/history-verify.md (verify/outcome-routing/verification-model-unavailable-hold.ts).
  *
  * @module verify/outcome-routing/verification-model-unavailable-hold
@@ -42,6 +50,7 @@ import { rewriteDeliveryGateStateAtOwnStatus } from '../../queries/deliveries/de
 import { hasModelUnavailableHold, MODEL_UNAVAILABLE_GUARD } from '../../queries/delivery-gate-state/verify-own-holds.js';
 import { isModelUnavailable, retryCannotCure } from '../../backends/claude/one-shot-model.js';
 import { ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
+import { surfaceRepeatingHold, withReformCount } from './repeating-model-hold.js';
 import { createLogger } from '../../log/daemon-log.js';
 import { evaluateStop } from '../../supervision/stop-registry.js';
 const log = createLogger({ module: 'verification' });
@@ -112,10 +121,12 @@ export function modelUnavailableDetailOf(err, heldAt = new Date().toISOString())
  * `prior` with the model-unavailable hold set. Everything else the row carries
  * stays: a standing shortfall park is still authoritative, an operator hold is
  * still an operator hold, the judged commit is still the judged commit. A hold
- * already present is replaced (its detail is refreshed). Pure.
+ * already present is replaced (its detail is refreshed), and a re-form on the
+ * same judged input is counted against it (repeating-model-hold.ts). Pure.
  */
 export function buildModelUnavailableGateState(prior, detail) {
     const base = prior ?? { blocking: [], warnings: [], evaluatedAt: detail.heldAt };
+    const counted = withReformCount(base.modelUnavailable, detail);
     return {
         ...base,
         blocking: [
@@ -124,7 +135,7 @@ export function buildModelUnavailableGateState(prior, detail) {
         ],
         warnings: base.warnings ?? [],
         evaluatedAt: detail.heldAt,
-        modelUnavailable: detail,
+        modelUnavailable: counted,
     };
 }
 /**
@@ -263,15 +274,22 @@ async function surfaceIncurableHold(v, detail, deps) {
 }
 /**
  * Record the hold on the delivery, at its own status, and surface a
- * non-rate-limit unavailability once. Best-effort: a write failure is logged
- * and the next tick's re-judgement records it again. Returns whether the hold
- * was written.
+ * non-rate-limit unavailability once; a written hold that has re-formed to the
+ * bound on an unchanged input is surfaced as repeating. Best-effort: a write
+ * failure is logged and the next tick's re-judgement records it again. Returns
+ * whether the hold was written.
  */
 export async function holdForModelUnavailable(v, detail, deps) {
     await surfaceModelUnavailable(v, detail, deps);
     try {
-        const written = await rewriteDeliveryGateStateAtOwnStatus(v.deliveryId, (row) => buildModelUnavailableGateState(row.gateState, detail), { io: deps });
+        let held = detail;
+        const written = await rewriteDeliveryGateStateAtOwnStatus(v.deliveryId, (row) => {
+            const next = buildModelUnavailableGateState(row.gateState, detail);
+            held = next.modelUnavailable ?? detail;
+            return next;
+        }, { io: deps });
         if (written === 'written') {
+            await surfaceRepeatingHold(v, held, deps);
             log.info(`[verification] delivery "${v.deliveryName}" (${v.deliveryId}) awaits the model: ` +
                 `${detail.label} could not run (${detail.kind}` +
                 `${detail.resetAt ? `, resets ${detail.resetAt}` : ''}) -- no verdict, no re-work, ` +

package/dist/verify/outcome-routing/verification-model-unavailable-hold.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-model-unavailable-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,kFAAkF;AAClF,6EAA6E;AAC7E,2FAA2F;AAC3F,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,EAAE,mCAAmC,EAA0B,MAAM,wCAAwC,CAAC;AAErH,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAA+B,MAAM,uDAAuD,CAAC;AACtJ,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAyB,MAAM,yCAAyC,CAAC;AAMrH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAY,EACZ,eAAuB;IAEvB,sFAAsF;IACtF,IAAI,YAAY,CAAC,+BAA+B,EAAE,EAAE,sBAAsB,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACvG,MAAM,WAAW,GAAG,GAAuB,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,mDAAmD,eAAe,yBAAyB,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;QAC3H,OAAO,EAAE,IAAI,EAAE,wBAAwB,CAAC,WAAW,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,wDAAwD,eAAe,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC7G,OAAO;QACL,UAAU,EAAE,CAAC;gBACX,MAAM,EAAE,eAAe;gBACvB,iBAAiB,EAAE,oCAAoC;gBACvD,iBAAiB,EAAE,yBAAyB;gBAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;aAC3D,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAsB,EAAE,IAA4B,EAAE,eAAuB;IAC7G,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;IAC3B,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAC/B,MAAM,CAAC,SAAS;QACd,wCAAwC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK;YACvG,aAAa,eAAe,8EAA8E,CAAC;AAC/G,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAA+E,EAC/E,CAAsB,EACtB,MAA8B;IAE9B,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACxB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACjH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,wBAAwB,CAAC,GAAqB,EAAE,SAAiB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IACvG,OAAO;QACL,MAAM;QACN,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9E,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrG,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA+B,EAC/B,MAA8B;IAE9B,MAAM,IAAI,GAAsB,KAAK,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACpG,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE;YACR,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,uBAAuB,CAAC;YAC/E,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,EAAE,KAAK,EAAE;SACtD;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,gBAAgB,EAAE,MAAM;KACzB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAwC;IACzE,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,EAAE,4BAA4B,EAAE,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACvI,GAAG,CAAC,IAAI,CACN,8BAA8B,CAAC,CAAC,IAAI,iEAAiE;QACrG,2EAA2E,CAC5E,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAQD,oHAAoH;AACpH,MAAM,CAAC,MAAM,8BAA8B,GAAG,wBAAwB,CAAC;AAEvE,+GAA+G;AAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,UAAU,wCAAwC;IACtD,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,IAAoC;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,oHAAoH,EAAE,CAAC;QACvK,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,wJAAwJ,EAAE,CAAC;QAC3M;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,uBAAuB,CACpC,CAAyH,EACzH,MAA8B,EAC9B,IAA8B;IAE9B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO;IACjE,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,oBAAoB,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EACJ,iCAAiC,CAAC,CAAC,YAAY,qCAAqC,MAAM,CAAC,KAAK,IAAI;gBACpG,kBAAkB,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,OAAO,6DAA6D;gBAC9G,8FAA8F;YAChG,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC,CAAC,uBAAuB,CAAC,gBAAgB;YACpG,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,EAAE,sBAAsB,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE;SACxH,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAChI,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,MAA8B;IACpD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,sBAAsB,CAAC,CAAC,CAAC,oCAAoC,CAAC;QACnI,OAAO,OAAO,MAAM,CAAC,KAAK,uBAAuB,MAAM,oBAAoB,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS;QAC9E,CAAC,CAAC,KAAK,MAAM,CAAC,UAAU,+BAA+B,MAAM,CAAC,WAAW,mBAAmB;QAC5F,CAAC,CAAC,6BAA6B,CAAC;IAClC,OAAO,OAAO,MAAM,CAAC,KAAK,sCAAsC,IAAI,GAAG,CAAC;AAC1E,CAAC;AAED,wHAAwH;AACxH,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,MAA8B;IACtF,OAAO,iCAAiC,YAAY,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI;UAChF,mGAAmG;UACnG,gHAAgH;UAChH,8GAA8G;UAC9G,+GAA+G;UAC/G,iHAAiH;UACjH,6GAA6G;UAC7G,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,oBAAoB,CACjC,CAAyH,EACzH,MAA8B,EAC9B,IAA8B;IAE9B,IAAI,CAAC;QACH,IAAI,MAAM,IAAI,CAAC,4BAA4B,CAAC,CAAC,CAAC,UAAU,EAAE,8BAA8B,CAAC;YAAE,OAAO;QAClG,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC;YACnD,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,uBAAuB,CAAC,gBAAgB;YACrD,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE;gBACP,SAAS,EAAE,GAAG,8BAA8B,cAAc,CAAC,CAAC,UAAU,EAAE;gBACxE,WAAW,EAAE,CAAC,CAAC,UAAU;gBACzB,sBAAsB,EAAE,MAAM,CAAC,IAAI;gBACnC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9E,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzE,KAAK,EAAE,MAAM,CAAC,OAAO;aACtB;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACxH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,CAAyH,EACzH,MAA8B,EAC9B,IAA8B;IAE9B,MAAM,uBAAuB,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CACvD,CAAC,CAAC,UAAU,EACZ,CAAC,GAAG,EAAE,EAAE,CAAC,8BAA8B,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,CACb,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,sBAAsB;gBAClF,GAAG,MAAM,CAAC,KAAK,mBAAmB,MAAM,CAAC,IAAI,EAAE;gBAC/C,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,+BAA+B;gBACpF,2BAA2B,CAC5B,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,2EAA2E,CAAC,CAAC,UAAU,GAAG,EACzF,GAAa,CAAC,OAAO,CACvB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
+{"version":3,"file":"verification-model-unavailable-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,oFAAoF;AACpF,sFAAsF;AACtF,kFAAkF;AAClF,6EAA6E;AAC7E,kFAAkF;AAClF,6EAA6E;AAC7E,2FAA2F;AAC3F,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,mCAAmC,EAA0B,MAAM,wCAAwC,CAAC;AAErH,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAA+B,MAAM,uDAAuD,CAAC;AACtJ,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAyB,MAAM,yCAAyC,CAAC;AAMrH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAY,EACZ,eAAuB;IAEvB,sFAAsF;IACtF,IAAI,YAAY,CAAC,+BAA+B,EAAE,EAAE,sBAAsB,EAAE,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACvG,MAAM,WAAW,GAAG,GAAuB,CAAC;QAC5C,GAAG,CAAC,IAAI,CAAC,mDAAmD,eAAe,yBAAyB,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;QAC3H,OAAO,EAAE,IAAI,EAAE,wBAAwB,CAAC,WAAW,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,wDAAwD,eAAe,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC7G,OAAO;QACL,UAAU,EAAE,CAAC;gBACX,MAAM,EAAE,eAAe;gBACvB,iBAAiB,EAAE,oCAAoC;gBACvD,iBAAiB,EAAE,yBAAyB;gBAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;aAC3D,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAsB,EAAE,IAA4B,EAAE,eAAuB;IAC7G,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;IAC3B,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAC/B,MAAM,CAAC,SAAS;QACd,wCAAwC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK;YACvG,aAAa,eAAe,8EAA8E,CAAC;AAC/G,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAA+E,EAC/E,CAAsB,EACtB,MAA8B;IAE9B,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACxB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACjH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,wBAAwB,CAAC,GAAqB,EAAE,SAAiB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IACvG,OAAO;QACL,MAAM;QACN,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9E,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrG,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA+B,EAC/B,MAA8B;IAE9B,MAAM,IAAI,GAAsB,KAAK,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACpG,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAC/D,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE;YACR,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,uBAAuB,CAAC;YAC/E,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,EAAE,KAAK,EAAE;SACtD;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,gBAAgB,EAAE,OAAO;KAC1B,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAwC;IACzE,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,EAAE,4BAA4B,EAAE,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACvI,GAAG,CAAC,IAAI,CACN,8BAA8B,CAAC,CAAC,IAAI,iEAAiE;QACrG,2EAA2E,CAC5E,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAQD,oHAAoH;AACpH,MAAM,CAAC,MAAM,8BAA8B,GAAG,wBAAwB,CAAC;AAEvE,+GAA+G;AAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,UAAU,wCAAwC;IACtD,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,IAAoC;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,oHAAoH,EAAE,CAAC;QACvK,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,wJAAwJ,EAAE,CAAC;QAC3M;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,uBAAuB,CACpC,CAAyH,EACzH,MAA8B,EAC9B,IAA8B;IAE9B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO;IACjE,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,oBAAoB,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EACJ,iCAAiC,CAAC,CAAC,YAAY,qCAAqC,MAAM,CAAC,KAAK,IAAI;gBACpG,kBAAkB,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,OAAO,6DAA6D;gBAC9G,8FAA8F;YAChG,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC,CAAC,uBAAuB,CAAC,gBAAgB;YACpG,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,EAAE,sBAAsB,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE;SACxH,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAChI,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,SAAS,cAAc,CAAC,MAA8B;IACpD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,sBAAsB,CAAC,CAAC,CAAC,oCAAoC,CAAC;QACnI,OAAO,OAAO,MAAM,CAAC,KAAK,uBAAuB,MAAM,oBAAoB,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS;QAC9E,CAAC,CAAC,KAAK,MAAM,CAAC,UAAU,+BAA+B,MAAM,CAAC,WAAW,mBAAmB;QAC5F,CAAC,CAAC,6BAA6B,CAAC;IAClC,OAAO,OAAO,MAAM,CAAC,KAAK,sCAAsC,IAAI,GAAG,CAAC;AAC1E,CAAC;AAED,wHAAwH;AACxH,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,MAA8B;IACtF,OAAO,iCAAiC,YAAY,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI;UAChF,mGAAmG;UACnG,gHAAgH;UAChH,8GAA8G;UAC9G,+GAA+G;UAC/G,iHAAiH;UACjH,6GAA6G;UAC7G,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,oBAAoB,CACjC,CAAyH,EACzH,MAA8B,EAC9B,IAA8B;IAE9B,IAAI,CAAC;QACH,IAAI,MAAM,IAAI,CAAC,4BAA4B,CAAC,CAAC,CAAC,UAAU,EAAE,8BAA8B,CAAC;YAAE,OAAO;QAClG,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC;YACnD,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,uBAAuB,CAAC,gBAAgB;YACrD,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE;gBACP,SAAS,EAAE,GAAG,8BAA8B,cAAc,CAAC,CAAC,UAAU,EAAE;gBACxE,WAAW,EAAE,CAAC,CAAC,UAAU;gBACzB,sBAAsB,EAAE,MAAM,CAAC,IAAI;gBACnC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9E,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzE,KAAK,EAAE,MAAM,CAAC,OAAO;aACtB;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACxH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,CAAyH,EACzH,MAA8B,EAC9B,IAA8B;IAE9B,MAAM,uBAAuB,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,IAAI,IAAI,GAA2B,MAAM,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,mCAAmC,CACvD,CAAC,CAAC,UAAU,EACZ,CAAC,GAAG,EAAE,EAAE;YACN,MAAM,IAAI,GAAG,8BAA8B,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACnE,IAAI,GAAG,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC,EACD,EAAE,EAAE,EAAE,IAAI,EAAE,CACb,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,oBAAoB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,sBAAsB;gBAClF,GAAG,MAAM,CAAC,KAAK,mBAAmB,MAAM,CAAC,IAAI,EAAE;gBAC/C,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,+BAA+B;gBACpF,2BAA2B,CAC5B,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,2EAA2E,CAAC,CAAC,UAAU,GAAG,EACzF,GAAa,CAAC,OAAO,CACvB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}