agentfootprint 10.9.0 → 11.0.0

package/dist/esm/resilience/withRetry.js.map

@@ -1 +1 @@
-{"version":3,"file":"withRetry.js","sourceRoot":"","sources":["../../../src/resilience/withRetry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AASH,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAsCzE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,SAAS,CAAC,QAAqB,EAAE,UAA4B,EAAE;IAC7E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC;IAC1D,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,GAAG,CAAC;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,kBAAkB,CAAC;IAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC,MAAM,OAAO,GAAgB;QAC3B,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,QAAQ;QAC9B,oEAAoE;QACpE,wEAAwE;QACxE,4DAA4D;QAC5D,wEAAwE;QACxE,iDAAiD;QACjD,GAAG,CAAC,QAAQ,CAAC,iBAAiB,KAAK,SAAS,IAAI;YAC9C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC9C,CAAC;QACF,sEAAsE;QACtE,0EAA0E;QAC1E,qEAAqE;QACrE,GAAG,CAAC,QAAQ,CAAC,uBAAuB,KAAK,SAAS,IAAI;YACpD,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;SAC1D,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,wBAAwB,KAAK,SAAS,IAAI;YACrD,wBAAwB,EAAE,QAAQ,CAAC,wBAAwB;SAC5D,CAAC;QACF,wEAAwE;QACxE,gEAAgE;QAChE,GAAG,CAAC,QAAQ,CAAC,yBAAyB,KAAK,SAAS,IAAI;YACtD,yBAAyB,EAAE,QAAQ,CAAC,yBAAyB;SAC9D,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,0BAA0B,KAAK,SAAS,IAAI;YACvD,0BAA0B,EAAE,QAAQ,CAAC,0BAA0B;SAChE,CAAC;QACF,wEAAwE;QACxE,mEAAmE;QACnE,sEAAsE;QACtE,wBAAwB;QACxB,GAAG,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC;QACtF,wEAAwE;QACxE,uEAAuE;QACvE,GAAG,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,eAAe,EAAE,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC5F,oEAAoE;QACpE,6DAA6D;QAC7D,GAAG,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;QACnF,KAAK,CAAC,QAAQ,CAAC,GAAe,EAAE,KAAoB;YAClD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5C,uDAAuD;YACvD,oEAAoE;YACpE,wBAAwB;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACpE,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;oBACxE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAC3C,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,UAAU,CAAC,KAAK,EAAE,CAAC;oBACnB,MAAM,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACjD,CAAC;wBAAS,CAAC;oBACT,UAAU,CAAC,KAAK,EAAE,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;IAEF;;;;OAIG;IACH,KAAK,UAAU,cAAc,CAC3B,GAAY,EACZ,OAAe,EACf,GAAe,EACf,KAA+B;QAE/B,yEAAyE;QACzE,yEAAyE;QACzE,qDAAqD;QACrD,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,OAAO,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,MAAM,GAAG,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9F,sEAAsE;QACtE,uEAAuE;QACvE,qEAAqE;QACrE,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,KAAK,GACT,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvF,OAAO,EAAE,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACnC,KAAK,EAAE,YAAY,EAAE,CAAC;YACpB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,OAAO,GAAG,CAAC;YACpB,WAAW;YACX,SAAS,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC3D,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAChC,sEAAsE;YACtE,qBAAqB;YACrB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;SACtD,CAAC,CAAC;QACH,MAAM,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,sEAAsE;QACtE,sEAAsE;QACtE,yEAAyE;QACzE,sBAAsB;QACtB,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnD;;;;WAIG;QACH,MAAM,UAAU,GAAG,KAAK,EACtB,GAAe,EACf,KAA+B,EAK9B,EAAE;YACH,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACpE,IAAI,CAAC;oBACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAChC,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CACxE,CAAC;oBACF,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;oBACpC,kEAAkE;oBAClE,kEAAkE;oBAClE,iEAAiE;oBACjE,kEAAkE;oBAClE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAC3C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;gBACtD,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,UAAU,CAAC,KAAK,EAAE,CAAC;oBACnB,MAAM,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,OAAO,CAAC,MAAM,GAAG,KAAK,SAAS,CAAC,CAAC,cAAc,CAC7C,GAAe,EACf,KAAoB;YAEpB,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACxB,KAAK,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YACD,mEAAmE;YACnE,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,CAAC;gBACH,MAAM,KAAK,CAAC,KAAK,CAAC;gBAClB,SAAS,GAAG,IAAI,CAAC;gBACjB,iEAAiE;gBACjE,+CAA+C;gBAC/C,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;YACpD,CAAC;oBAAS,CAAC;gBACT,KAAK,EAAE,CAAC;gBACR,oEAAoE;gBACpE,IAAI,CAAC,SAAS;oBAAE,MAAM,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,KAA+B,EAC/B,OAAe,EACf,SAAiB;IAEjB,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO;IAC1B,KAAK,EAAE,YAAY,EAAE,CAAC;QACpB,IAAI,EAAE,WAAW;QACjB,OAAO;QACP,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;KACxC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,GAAY;IACvC,MAAM,MAAM,GACT,GAA2B,EAAE,MAAM,IAAK,GAA+B,EAAE,UAAU,CAAC;IACvF,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC;IACnD,IAAI,MAAM,KAAK,GAAG;QAAE,OAAO,UAAU,CAAC;IACtC,IAAI,MAAM,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC;IACrC,IAAI,MAAM,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC;IACrC,OAAO,QAAQ,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,uEAAuE;AAEvE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAY,EAAE,QAAgB;IAC/D,IAAI,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAK,GAAsC,EAAE,SAAS,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/E,MAAM,MAAM,GACT,GAAgD,EAAE,MAAM;QACxD,GAA+B,EAAE,UAAU,CAAC;IAC/C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,GAAG,GAAG,EAAE,CAAC;QAChE,iEAAiE;QACjE,OAAO,MAAM,KAAK,GAAG,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,CAAC,GAAG,GAAuC,CAAC;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"withRetry.js","sourceRoot":"","sources":["../../../src/resilience/withRetry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AASH,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AAsCzE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,SAAS,CAAC,QAAqB,EAAE,UAA4B,EAAE;IAC7E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC;IAC1D,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,GAAG,CAAC;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,kBAAkB,CAAC;IAC9D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC,MAAM,OAAO,GAAgB;QAC3B,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,QAAQ;QAC9B,oEAAoE;QACpE,wEAAwE;QACxE,4DAA4D;QAC5D,wEAAwE;QACxE,iDAAiD;QACjD,GAAG,CAAC,QAAQ,CAAC,iBAAiB,KAAK,SAAS,IAAI;YAC9C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;SAC9C,CAAC;QACF,sEAAsE;QACtE,0EAA0E;QAC1E,qEAAqE;QACrE,GAAG,CAAC,QAAQ,CAAC,uBAAuB,KAAK,SAAS,IAAI;YACpD,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;SAC1D,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,wBAAwB,KAAK,SAAS,IAAI;YACrD,wBAAwB,EAAE,QAAQ,CAAC,wBAAwB;SAC5D,CAAC;QACF,wEAAwE;QACxE,gEAAgE;QAChE,GAAG,CAAC,QAAQ,CAAC,yBAAyB,KAAK,SAAS,IAAI;YACtD,yBAAyB,EAAE,QAAQ,CAAC,yBAAyB;SAC9D,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,0BAA0B,KAAK,SAAS,IAAI;YACvD,0BAA0B,EAAE,QAAQ,CAAC,0BAA0B;SAChE,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,8BAA8B,KAAK,SAAS,IAAI;YAC3D,8BAA8B,EAAE,QAAQ,CAAC,8BAA8B;SACxE,CAAC;QACF,wEAAwE;QACxE,mEAAmE;QACnE,sEAAsE;QACtE,wBAAwB;QACxB,GAAG,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC;QACtF,wEAAwE;QACxE,uEAAuE;QACvE,GAAG,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,eAAe,EAAE,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC5F,oEAAoE;QACpE,6DAA6D;QAC7D,GAAG,CAAC,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,CAAC;QACnF,KAAK,CAAC,QAAQ,CAAC,GAAe,EAAE,KAAoB;YAClD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5C,uDAAuD;YACvD,oEAAoE;YACpE,wBAAwB;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACpE,IAAI,CAAC;oBACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;oBACxE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAC3C,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,UAAU,CAAC,KAAK,EAAE,CAAC;oBACnB,MAAM,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACjD,CAAC;wBAAS,CAAC;oBACT,UAAU,CAAC,KAAK,EAAE,CAAC;gBACrB,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;IAEF;;;;OAIG;IACH,KAAK,UAAU,cAAc,CAC3B,GAAY,EACZ,OAAe,EACf,GAAe,EACf,KAA+B;QAE/B,yEAAyE;QACzE,yEAAyE;QACzE,qDAAqD;QACrD,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,OAAO,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,MAAM,GAAG,CAAC;QACpE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9F,sEAAsE;QACtE,uEAAuE;QACvE,qEAAqE;QACrE,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,KAAK,GACT,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QACvF,OAAO,EAAE,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACnC,KAAK,EAAE,YAAY,EAAE,CAAC;YACpB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,OAAO,GAAG,CAAC;YACpB,WAAW;YACX,SAAS,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YAC3D,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAChC,sEAAsE;YACtE,qBAAqB;YACrB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;SACtD,CAAC,CAAC;QACH,MAAM,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,sEAAsE;QACtE,sEAAsE;QACtE,yEAAyE;QACzE,sBAAsB;QACtB,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnD;;;;WAIG;QACH,MAAM,UAAU,GAAG,KAAK,EACtB,GAAe,EACf,KAA+B,EAK9B,EAAE;YACH,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACpE,IAAI,CAAC;oBACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAChC,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CACxE,CAAC;oBACF,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;oBACpC,kEAAkE;oBAClE,kEAAkE;oBAClE,iEAAiE;oBACjE,kEAAkE;oBAClE,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;oBAC3C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC;gBACtD,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,UAAU,CAAC,KAAK,EAAE,CAAC;oBACnB,MAAM,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,OAAO,CAAC,MAAM,GAAG,KAAK,SAAS,CAAC,CAAC,cAAc,CAC7C,GAAe,EACf,KAAoB;YAEpB,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACxB,KAAK,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YACD,mEAAmE;YACnE,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,CAAC;gBACH,MAAM,KAAK,CAAC,KAAK,CAAC;gBAClB,SAAS,GAAG,IAAI,CAAC;gBACjB,iEAAiE;gBACjE,+CAA+C;gBAC/C,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;YACpD,CAAC;oBAAS,CAAC;gBACT,KAAK,EAAE,CAAC;gBACR,oEAAoE;gBACpE,IAAI,CAAC,SAAS;oBAAE,MAAM,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,KAA+B,EAC/B,OAAe,EACf,SAAiB;IAEjB,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO;IAC1B,KAAK,EAAE,YAAY,EAAE,CAAC;QACpB,IAAI,EAAE,WAAW;QACjB,OAAO;QACP,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;KACxC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,GAAY;IACvC,MAAM,MAAM,GACT,GAA2B,EAAE,MAAM,IAAK,GAA+B,EAAE,UAAU,CAAC;IACvF,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC;IACnD,IAAI,MAAM,KAAK,GAAG;QAAE,OAAO,UAAU,CAAC;IACtC,IAAI,MAAM,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC;IACrC,IAAI,MAAM,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC;IACrC,OAAO,QAAQ,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED,uEAAuE;AAEvE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAY,EAAE,QAAgB;IAC/D,IAAI,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAK,GAAsC,EAAE,SAAS,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/E,MAAM,MAAM,GACT,GAAgD,EAAE,MAAM;QACxD,GAA+B,EAAE,UAAU,CAAC;IAC/C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG,IAAI,MAAM,GAAG,GAAG,EAAE,CAAC;QAChE,iEAAiE;QACjE,OAAO,MAAM,KAAK,GAAG,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,CAAC,GAAG,GAAuC,CAAC;IAClD,OAAO,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;AAC3D,CAAC"}

package/dist/esm/semantics/check.d.ts

@@ -26,7 +26,22 @@
  * Everything else warns: a classed tool with NO samples (the gate cannot
  * check what it cannot see — but silence must not read as a pass), and an
  * inventory whose facts carry no render hint (useful, not provably harmful).
+ *
+ * ## The overclaim rules (`overclaim.ts`) — warnings until a later major
+ *
+ * A declaration is a claim, so it is checked like one: a refusal that says
+ * what does not exist (`refusal-asserts-absence`), an absence that calls the
+ * input wrong (`absence-asserts-wrongness`), and every `among.authoritative`
+ * listed for review (`authoritative-names`). So no consumer's CI breaks on
+ * upgrade they WARN, and only for samples that use the new fields — a
+ * catalog's `refusals`, an absence minted with `among` — so an app using
+ * none of them sees no new finding. `strict: true` (the CLI's `--strict`)
+ * makes the first two errors; `rules: ['overclaim']` makes them errors AND
+ * judges every sample (any absence, any result whose status says it read
+ * nothing). `authoritative-names` is a review item and stays a warning.
  */
+import type { ToolSearch } from './coverage/search/types.js';
+import { type OverclaimCode, type SemanticsRuleSet } from './overclaim.js';
 import { type ToolResultClass } from './types.js';
 import { type ProjectionIssue } from './projection.js';
 /**
@@ -39,15 +54,42 @@ export interface SemanticsCatalogEntry {
     readonly name: string;
     readonly resultClass?: ToolResultClass;
     readonly results: readonly unknown[];
+    /**
+     * The tool's `search` declaration (`defineTool({ search })`), when it has
+     * one — dumped with the catalog. The gate lists its review items
+     * (`source-said`, `said-overlap`) as warnings, and reads a sample
+     * `checked: 'declared'` as declared coverage. Structure was judged at
+     * `defineTool`; the gate does not re-judge it.
+     */
+    readonly search?: ToolSearch;
     /** Optional paired adapter fixtures. Exact preservation, not inference or factual validation. */
     readonly projections?: readonly {
         readonly before: unknown;
         readonly after: unknown;
     }[];
+    /**
+     * Optional samples of what the tool says when it REFUSES a call — the
+     * message it throws, the value it returns, or `{ text, argument?, value? }`
+     * naming what the refused call looked up. A refused call read nothing, so
+     * each is judged by `refusal-asserts-absence`, on its sentences about what
+     * was looked up.
+     */
+    readonly refusals?: readonly unknown[];
+}
+/** How the gate runs — both optional; omitted, the overclaim rules warn. */
+export interface CheckSemanticsOptions {
+    /**
+     * Opt-in rule sets. `'overclaim'` makes `refusal-asserts-absence` and
+     * `absence-asserts-wrongness` errors and judges EVERY sample with them, not
+     * only the samples that use the new fields.
+     */
+    readonly rules?: readonly SemanticsRuleSet[];
+    /** The CLI's `--strict`: the same two rules are errors, over the same samples. */
+    readonly strict?: boolean;
 }
 /** Every code one finding can carry. The four envelope codes are the
  *  recognizer's own (`SemanticIssueCode`); the rest are the class rules. */
-export type SemanticsFindingCode = 'malformed-semantics' | 'series-without-grain' | 'counter-aggregation-unstated' | 'data-without-provenance' | 'triage-without-coverage' | 'inventory-without-coverage' | 'inventory-without-render' | 'unsampled-tool-class' | ProjectionIssue['code'];
+export type SemanticsFindingCode = 'malformed-semantics' | 'series-without-grain' | 'counter-aggregation-unstated' | 'data-without-provenance' | 'triage-without-coverage' | 'inventory-without-coverage' | 'inventory-without-render' | 'unsampled-tool-class' | 'source-said' | 'said-overlap' | 'declared-without-search' | OverclaimCode | ProjectionIssue['code'];
 /** One finding — names the TOOL and the FIELD, so the build log points at
  *  the line to fix, never at the suite. */
 export interface SemanticsFinding {
@@ -73,4 +115,4 @@ export interface SemanticsReport {
  * definition-side mistake — the CLI maps it to exit code 2), never on a
  * malformed RESULT (that is a finding, the thing this gate exists to report).
  */
-export declare function checkSemantics(entries: readonly SemanticsCatalogEntry[]): SemanticsReport;
+export declare function checkSemantics(entries: readonly SemanticsCatalogEntry[], options?: CheckSemanticsOptions): SemanticsReport;

package/dist/esm/semantics/check.js

@@ -26,9 +26,26 @@
  * Everything else warns: a classed tool with NO samples (the gate cannot
  * check what it cannot see — but silence must not read as a pass), and an
  * inventory whose facts carry no render hint (useful, not provably harmful).
+ *
+ * ## The overclaim rules (`overclaim.ts`) — warnings until a later major
+ *
+ * A declaration is a claim, so it is checked like one: a refusal that says
+ * what does not exist (`refusal-asserts-absence`), an absence that calls the
+ * input wrong (`absence-asserts-wrongness`), and every `among.authoritative`
+ * listed for review (`authoritative-names`). So no consumer's CI breaks on
+ * upgrade they WARN, and only for samples that use the new fields — a
+ * catalog's `refusals`, an absence minted with `among` — so an app using
+ * none of them sees no new finding. `strict: true` (the CLI's `--strict`)
+ * makes the first two errors; `rules: ['overclaim']` makes them errors AND
+ * judges every sample (any absence, any result whose status says it read
+ * nothing). `authoritative-names` is a review item and stays a warning.
  */
+import { namesFacetOf } from './coverage/among.js';
 import { readCoverageResult } from './coverage/read.js';
+import { readDeclaredAbsence, readDeclaredLedger } from './coverage/recognize.js';
+import { searchReviewItems } from './coverage/search/review.js';
 import { explainSemantics, readSemantics } from './envelope.js';
+import { absenceIssues, absencesIn, isNotReadResult, refusalIssues, SEMANTICS_RULE_SETS, } from './overclaim.js';
 import { RESULT_CLASSES } from './types.js';
 import { projectionSemanticsIssues, snapshotProjectionSemantics, } from './projection.js';
 const isPlainObject = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
@@ -37,7 +54,11 @@ const isPlainObject = (v) => typeof v === 'object' && v !== null && !Array.isArr
  *  boundary in time, the same answer a `coverage()` carrying only a period
  *  gets), a `coverage()` ledger, or an `absent()` (whose `checked` IS its
  *  coverage). */
-function declaresCoverage(result) {
+function declaresCoverage(result, search) {
+    // `checked: 'declared'` — the tool's search IS its coverage, when it has one.
+    if (readDeclaredAbsence(result) !== undefined || readDeclaredLedger(result) !== undefined) {
+        return search !== undefined;
+    }
     const sem = readSemantics(result);
     if (sem !== undefined)
         return sem.coverage !== undefined || sem.period !== undefined;
@@ -67,10 +88,12 @@ function classCoverageFinding(entry, resultIndex) {
  * definition-side mistake — the CLI maps it to exit code 2), never on a
  * malformed RESULT (that is a finding, the thing this gate exists to report).
  */
-export function checkSemantics(entries) {
+export function checkSemantics(entries, options = {}) {
     if (!Array.isArray(entries)) {
         throw new Error('checkSemantics: takes an array of { name, resultClass?, results } entries.');
     }
+    const optedIn = ruleSetsOf(options.rules).includes('overclaim');
+    const overclaimSeverity = optedIn || options.strict === true ? 'error' : 'warning';
     const findings = [];
     let checkedResults = 0;
     entries.forEach((raw, entryIndex) => {
@@ -92,6 +115,18 @@ export function checkSemantics(entries) {
             throw new Error(`checkSemantics: tool '${entry.name}' has no \`results\` array — the gate judges ` +
                 `sample results; give it at least one (your mock tool's return is the natural sample).`);
         }
+        // A search's review items — warnings for a person, never a refusal.
+        if (entry.search !== undefined) {
+            for (const item of searchReviewItems(entry.search)) {
+                findings.push({
+                    tool: entry.name,
+                    code: item.code,
+                    severity: 'warning',
+                    field: item.field,
+                    message: `tool '${entry.name}': ${item.field} — ${item.message}`,
+                });
+            }
+        }
         if (cls !== undefined && results.length === 0) {
             findings.push({
                 tool: entry.name,
@@ -118,8 +153,46 @@ export function checkSemantics(entries) {
                     });
             });
         }
+        if (entry.refusals !== undefined) {
+            if (!Array.isArray(entry.refusals)) {
+                throw new Error(`checkSemantics: tool '${entry.name}' refusals must be an array of refusal samples ` +
+                    '(the message the tool throws, or the value it returns, when it refuses a call).');
+            }
+            entry.refusals.forEach((refusal, index) => {
+                for (const issue of refusalIssues(refusal, `refusals[${index}]`)) {
+                    findings.push(overclaimFinding(entry.name, issue, overclaimSeverity, `refusal sample ${index + 1}`));
+                }
+            });
+        }
         results.forEach((result, resultIndex) => {
             checkedResults += 1;
+            const sample = `sample result ${resultIndex + 1}`;
+            // ── The overclaim rules — before the envelope rules, which return early ──
+            for (const absence of absencesIn(result)) {
+                const usesAmong = namesFacetOf(absence) !== undefined;
+                for (const issue of absenceIssues(absence)) {
+                    if (issue.code === 'authoritative-names') {
+                        findings.push({
+                            ...overclaimFinding(entry.name, issue, 'warning', sample),
+                            resultIndex,
+                        });
+                    }
+                    else if (usesAmong || optedIn) {
+                        findings.push({
+                            ...overclaimFinding(entry.name, issue, overclaimSeverity, sample),
+                            resultIndex,
+                        });
+                    }
+                }
+            }
+            if (optedIn && isNotReadResult(result)) {
+                for (const issue of refusalIssues(result, 'content')) {
+                    findings.push({
+                        ...overclaimFinding(entry.name, issue, overclaimSeverity, sample),
+                        resultIndex,
+                    });
+                }
+            }
             // A marker-bearing value with faults: every fault becomes a finding
             // under the recognizer's own code, naming the field.
             const issues = explainSemantics(result);
@@ -140,8 +213,23 @@ export function checkSemantics(entries) {
                 return;
             }
             const sem = readSemantics(result);
+            // The literal claims a declaration: without a search, the call is refused at run time.
+            if (entry.search === undefined &&
+                (readDeclaredAbsence(result) !== undefined || readDeclaredLedger(result) !== undefined)) {
+                findings.push({
+                    tool: entry.name,
+                    code: 'declared-without-search',
+                    severity: 'error',
+                    field: 'checked',
+                    resultIndex,
+                    message: `tool '${entry.name}', sample result ${resultIndex + 1}: checked: 'declared' says ` +
+                        'the tool declared its search, and this tool declares no `search` — at run time the ' +
+                        'call is refused. Add search: { source, subject, arguments, … } to its defineTool, ' +
+                        'or write the checked list by hand.',
+                });
+            }
             // ── The class rules ──
-            if ((cls === 'triage' || cls === 'inventory') && !declaresCoverage(result)) {
+            if ((cls === 'triage' || cls === 'inventory') && !declaresCoverage(result, entry.search)) {
                 findings.push(classCoverageFinding(entry, resultIndex));
             }
             if (cls === 'inventory' &&
@@ -169,4 +257,25 @@ export function checkSemantics(entries) {
         checkedResults,
     };
 }
+/** One overclaim issue as a finding — names the tool, and which sample. */
+function overclaimFinding(tool, issue, severity, sample) {
+    return {
+        tool,
+        code: issue.code,
+        severity,
+        field: issue.field,
+        message: `tool '${tool}', ${sample}: ${issue.message}`,
+    };
+}
+/** The opt-in rule sets, refused by name when one is not a set this gate has. */
+function ruleSetsOf(rules) {
+    if (rules === undefined)
+        return [];
+    const known = SEMANTICS_RULE_SETS;
+    if (!Array.isArray(rules) || rules.some((r) => typeof r !== 'string' || !known.includes(r))) {
+        throw new Error(`checkSemantics: rules ${JSON.stringify(rules)} — the opt-in rule sets are: ` +
+            `${SEMANTICS_RULE_SETS.join(', ')}.`);
+    }
+    return rules;
+}
 //# sourceMappingURL=check.js.map

package/dist/esm/semantics/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/semantics/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,cAAc,EAAwB,MAAM,YAAY,CAAC;AAClE,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAE5B,MAAM,iBAAiB,CAAC;AAmDzB,MAAM,aAAa,GAAG,CAAC,CAAU,EAAgC,EAAE,CACjE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D;;;;iBAIiB;AACjB,SAAS,gBAAgB,CAAC,MAAe;IACvC,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC;IACrF,OAAO,kBAAkB,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA4B,EAAE,WAAmB;IAC7E,MAAM,GAAG,GAAG,KAAK,CAAC,WAAqC,CAAC;IACxD,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,4BAA4B;QACjF,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,UAAU;QACjB,WAAW;QACX,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,kBAAkB,GAAG,uBAAuB,WAAW,GAAG,CAAC,GAAG;YACjF,kEAAkE,GAAG,WAAW;YAChF,CAAC,GAAG,KAAK,QAAQ;gBACf,CAAC,CAAC,oFAAoF;oBACpF,0CAA0C;gBAC5C,CAAC,CAAC,qFAAqF;oBACrF,sBAAsB,CAAC;YAC3B,yGAAyG;YACzG,0CAA0C;KAC7C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,OAAyC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE;QAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,2BAA2B,UAAU,qBAAqB,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,KAAK,GAAG,GAAuC,CAAC;QACtD,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,2BAA2B,UAAU,qBAAqB,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,2BAA2B,MAAM,CAAC,GAAG,CAAC,cAAc;gBACrF,kDAAkD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAC/E,gDAAgD,CACnD,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,+CAA+C;gBAChF,uFAAuF,CAC1F,CAAC;QACJ,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,sBAAsB;gBAC5B,QAAQ,EAAE,SAAS;gBACnB,KAAK,EAAE,SAAS;gBAChB,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,kBAAkB,GAAG,2CAA2C;oBACnF,sFAAsF;oBACtF,qEAAqE;aACxE,CAAC,CAAC;QACL,CAAC;QAED,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,+DAA+D,CACnG,CAAC;YACJ,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACxC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;oBACzF,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,gBACjC,KAAK,GAAG,CACV,oCAAoC,CACrC,CAAC;gBACJ,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAC3C,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,EACxC,IAAI,CAAC,KAAK,CACX;oBACC,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,GAAG,KAAK;wBACR,KAAK,EAAE,eAAe,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE;wBAC7C,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;YACtC,cAAc,IAAI,CAAC,CAAC;YAEpB,oEAAoE;YACpE,qDAAqD;YACrD,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,OAAO;wBACjB,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,WAAW;wBACX,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,oBAAoB,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE;qBACpF,CAAC,CAAC;gBACL,CAAC;gBACD,oEAAoE;gBACpE,kEAAkE;gBAClE,uDAAuD;gBACvD,OAAO;YACT,CAAC;YAED,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YAElC,wBAAwB;YACxB,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3E,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;YAC1D,CAAC;YACD,IACE,GAAG,KAAK,WAAW;gBACnB,GAAG,KAAK,SAAS;gBACjB,GAAG,CAAC,KAAK,KAAK,SAAS;gBACvB,GAAG,CAAC,MAAM,KAAK,SAAS,EACxB,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,SAAS;oBACnB,KAAK,EAAE,QAAQ;oBACf,WAAW;oBACX,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,oBAAoB,WAAW,GAAG,CAAC,sBAAsB;wBAC5E,gFAAgF;wBAChF,6EAA6E;wBAC7E,6CAA6C;iBAChD,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACjD,QAAQ;QACR,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,cAAc;KACf,CAAC;AACJ,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/semantics/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EACL,aAAa,EACb,UAAU,EACV,eAAe,EACf,aAAa,EACb,mBAAmB,GAIpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAwB,MAAM,YAAY,CAAC;AAClE,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAE5B,MAAM,iBAAiB,CAAC;AAmFzB,MAAM,aAAa,GAAG,CAAC,CAAU,EAAgC,EAAE,CACjE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D;;;;iBAIiB;AACjB,SAAS,gBAAgB,CAAC,MAAe,EAAE,MAA8B;IACvE,8EAA8E;IAC9E,IAAI,mBAAmB,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;QAC1F,OAAO,MAAM,KAAK,SAAS,CAAC;IAC9B,CAAC;IACD,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC;IACrF,OAAO,kBAAkB,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA4B,EAAE,WAAmB;IAC7E,MAAM,GAAG,GAAG,KAAK,CAAC,WAAqC,CAAC;IACxD,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,4BAA4B;QACjF,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,UAAU;QACjB,WAAW;QACX,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,kBAAkB,GAAG,uBAAuB,WAAW,GAAG,CAAC,GAAG;YACjF,kEAAkE,GAAG,WAAW;YAChF,CAAC,GAAG,KAAK,QAAQ;gBACf,CAAC,CAAC,oFAAoF;oBACpF,0CAA0C;gBAC5C,CAAC,CAAC,qFAAqF;oBACrF,sBAAsB,CAAC;YAC3B,yGAAyG;YACzG,0CAA0C;KAC7C,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAyC,EACzC,UAAiC,EAAE;IAEnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAChE,MAAM,iBAAiB,GAAG,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACnF,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE;QAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,2BAA2B,UAAU,qBAAqB,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,KAAK,GAAG,GAAuC,CAAC;QACtD,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,2BAA2B,UAAU,qBAAqB,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,2BAA2B,MAAM,CAAC,GAAG,CAAC,cAAc;gBACrF,kDAAkD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAC/E,gDAAgD,CACnD,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,+CAA+C;gBAChF,uFAAuF,CAC1F,CAAC;QACJ,CAAC;QAED,oEAAoE;QACpE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,SAAS;oBACnB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE;iBACjE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,sBAAsB;gBAC5B,QAAQ,EAAE,SAAS;gBACnB,KAAK,EAAE,SAAS;gBAChB,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,kBAAkB,GAAG,2CAA2C;oBACnF,sFAAsF;oBACtF,qEAAqE;aACxE,CAAC,CAAC;QACL,CAAC;QAED,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,+DAA+D,CACnG,CAAC;YACJ,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACxC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;oBACzF,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,gBACjC,KAAK,GAAG,CACV,oCAAoC,CACrC,CAAC;gBACJ,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAC3C,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,EACxC,IAAI,CAAC,KAAK,CACX;oBACC,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,GAAG,KAAK;wBACR,KAAK,EAAE,eAAe,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE;wBAC7C,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,yBAAyB,KAAK,CAAC,IAAI,iDAAiD;oBAClF,iFAAiF,CACpF,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBACxC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,OAAO,EAAE,YAAY,KAAK,GAAG,CAAC,EAAE,CAAC;oBACjE,QAAQ,CAAC,IAAI,CACX,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,KAAK,GAAG,CAAC,EAAE,CAAC,CACtF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;YACtC,cAAc,IAAI,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,iBAAiB,WAAW,GAAG,CAAC,EAAE,CAAC;YAElD,4EAA4E;YAC5E,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACtD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBACzC,QAAQ,CAAC,IAAI,CAAC;4BACZ,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC;4BACzD,WAAW;yBACZ,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;wBAChC,QAAQ,CAAC,IAAI,CAAC;4BACZ,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,CAAC;4BACjE,WAAW;yBACZ,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,OAAO,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;oBACrD,QAAQ,CAAC,IAAI,CAAC;wBACZ,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,CAAC;wBACjE,WAAW;qBACZ,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,oEAAoE;YACpE,qDAAqD;YACrD,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,QAAQ,EAAE,OAAO;wBACjB,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,WAAW;wBACX,OAAO,EAAE,SAAS,KAAK,CAAC,IAAI,oBAAoB,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE;qBACpF,CAAC,CAAC;gBACL,CAAC;gBACD,oEAAoE;gBACpE,kEAAkE;gBAClE,uDAAuD;gBACvD,OAAO;YACT,CAAC;YAED,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YAElC,uFAAuF;YACvF,IACE,KAAK,CAAC,MAAM,KAAK,SAAS;gBAC1B,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,EACvF,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,yBAAyB;oBAC/B,QAAQ,EAAE,OAAO;oBACjB,KAAK,EAAE,SAAS;oBAChB,WAAW;oBACX,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,oBAAoB,WAAW,GAAG,CAAC,6BAA6B;wBACnF,qFAAqF;wBACrF,oFAAoF;wBACpF,oCAAoC;iBACvC,CAAC,CAAC;YACL,CAAC;YAED,wBAAwB;YACxB,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzF,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC;YAC1D,CAAC;YACD,IACE,GAAG,KAAK,WAAW;gBACnB,GAAG,KAAK,SAAS;gBACjB,GAAG,CAAC,KAAK,KAAK,SAAS;gBACvB,GAAG,CAAC,MAAM,KAAK,SAAS,EACxB,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,SAAS;oBACnB,KAAK,EAAE,QAAQ;oBACf,WAAW;oBACX,OAAO,EACL,SAAS,KAAK,CAAC,IAAI,oBAAoB,WAAW,GAAG,CAAC,sBAAsB;wBAC5E,gFAAgF;wBAChF,6EAA6E;wBAC7E,6CAA6C;iBAChD,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACjD,QAAQ;QACR,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,cAAc;KACf,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,SAAS,gBAAgB,CACvB,IAAY,EACZ,KAAqB,EACrB,QAA6B,EAC7B,MAAc;IAEd,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ;QACR,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,SAAS,IAAI,MAAM,MAAM,KAAK,KAAK,CAAC,OAAO,EAAE;KACvD,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAsB,mBAAmB,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,+BAA+B;YAC3E,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,KAAoC,CAAC;AAC9C,CAAC"}

package/dist/esm/semantics/cli.js

@@ -21,8 +21,9 @@
  * live systems. A mock catalog is something this ecosystem already has
  * everywhere the check matters.
  */
-import { checkSemantics } from './check.js';
+import { checkSemantics, } from './check.js';
 import { formatSemanticsReport } from './format.js';
+import { SEMANTICS_RULE_SETS } from './overclaim.js';
 import { RESULT_CLASSES } from './types.js';
 const USAGE = `usage: agentfootprint-check-semantics <semantics-catalog.json> [options]
 
@@ -34,8 +35,15 @@ const USAGE = `usage: agentfootprint-check-semantics <semantics-catalog.json> [o
                             resultClass ∈ { ${RESULT_CLASSES.join(', ')} } — the class
                             declared on defineTool({ resultClass }); omit for tools
                             with no class rules (envelope rules still apply).
+                            refusals: [...] (optional) — what the tool throws or
+                            returns when it refuses a call, or { text, argument,
+                            value } naming what it looked up; judged by the
+                            overclaim rules.
 
-  --strict                  warnings also fail the gate
+  --strict                  warnings also fail the gate; the overclaim rules
+                            report as errors
+  --rules=<set,...>         opt-in rule sets: ${SEMANTICS_RULE_SETS.join(', ')} — errors, judged
+                            over every sample
   --json                    print the full report as JSON instead of text
 
 exit codes: 0 ok · 1 findings failed the gate · 2 usage/input error`;
@@ -84,6 +92,9 @@ export function coerceSemanticsCatalog(json) {
             ...(entry.projections !== undefined
                 ? { projections: entry.projections }
                 : {}),
+            ...(entry.refusals !== undefined
+                ? { refusals: entry.refusals }
+                : {}),
         };
     });
 }
@@ -100,11 +111,26 @@ export async function runCheckSemanticsCli(argv, io = {
     let file;
     let strict = false;
     let json = false;
+    let rules = [];
     for (const arg of argv) {
         if (arg === '--strict')
             strict = true;
         else if (arg === '--json')
             json = true;
+        else if (arg.startsWith('--rules=')) {
+            const asked = arg
+                .slice('--rules='.length)
+                .split(',')
+                .filter((r) => r !== '');
+            const known = SEMANTICS_RULE_SETS;
+            const unknown = asked.find((r) => !known.includes(r));
+            if (asked.length === 0 || unknown !== undefined) {
+                io.stderr(`unknown rule set '${unknown ?? ''}' — the opt-in rule sets are: ` +
+                    `${SEMANTICS_RULE_SETS.join(', ')}\n\n${USAGE}`);
+                return 2;
+            }
+            rules = asked;
+        }
         else if (arg === '--help' || arg === '-h') {
             io.stderr(USAGE);
             return 2;
@@ -132,7 +158,11 @@ export async function runCheckSemanticsCli(argv, io = {
         // path is the only consumer that touches the filesystem.
         const { readFile } = await import('node:fs/promises');
         const catalog = coerceSemanticsCatalog(JSON.parse(await readFile(file, 'utf8')));
-        report = checkSemantics(catalog);
+        const options = {
+            ...(strict && { strict: true }),
+            ...(rules.length > 0 && { rules }),
+        };
+        report = checkSemantics(catalog, options);
     }
     catch (error) {
         io.stderr(`agentfootprint-check-semantics: ${file}: ${error.message}`);

package/dist/esm/semantics/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../../src/semantics/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,cAAc,EAAoD,MAAM,YAAY,CAAC;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAO5C,MAAM,KAAK,GAAG;;;;;;;8CAOgC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;;;;;;;oEAOH,CAAC;AAErE;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAa;IAClD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAC9B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,KAAK,IAAI;YACb,OAAO,IAAI,KAAK,QAAQ;YACxB,KAAK,CAAC,OAAO,CAAE,IAA4B,CAAC,KAAK,CAAC;YACpD,CAAC,CAAE,IAA6B,CAAC,KAAK;YACtC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,mFAAmF,CACpF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,oBAAoB,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,KAAK,GAAG,GAA8B,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,wBAAwB,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;YAC1C,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,QAAQ,IAAI,KAAK;gBACnB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,SAAS,KAAK,OAAO,IAAI,4DAA4D;gBACnF,kFAAkF;gBAClF,qBAAqB,CACxB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI;YACJ,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBACjC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAmD,EAAE;gBAC5E,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;YACP,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBACjC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAmD,EAAE;gBAC5E,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,IAAuB,EACvB,KAAqB;IACnB,sCAAsC;IACtC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;IACnC,sCAAsC;IACtC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;CACtC;IAED,IAAI,IAAwB,CAAC;IAC7B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,UAAU;YAAE,MAAM,GAAG,IAAI,CAAC;aACjC,IAAI,GAAG,KAAK,QAAQ;YAAE,IAAI,GAAG,IAAI,CAAC;aAClC,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC1C,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjB,OAAO,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,EAAE,CAAC,MAAM,CAAC,iBAAiB,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC;aACrC,CAAC;YACJ,EAAE,CAAC,MAAM,CAAC,8BAA8B,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC;YAC5D,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,MAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,kEAAkE;QAClE,mEAAmE;QACnE,oEAAoE;QACpE,yDAAyD;QACzD,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,MAAM,CAAC,mCAAmC,IAAI,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAClF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,IAAI;QAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;;QAChD,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACnD,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../../src/semantics/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EACL,cAAc,GAIf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAyB,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAO5C,MAAM,KAAK,GAAG;;;;;;;8CAOgC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;gDAUvB,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;;;;oEAIV,CAAC;AAErE;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAa;IAClD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAC9B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,KAAK,IAAI;YACb,OAAO,IAAI,KAAK,QAAQ;YACxB,KAAK,CAAC,OAAO,CAAE,IAA4B,CAAC,KAAK,CAAC;YACpD,CAAC,CAAE,IAA6B,CAAC,KAAK;YACtC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,mFAAmF,CACpF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,oBAAoB,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,KAAK,GAAG,GAA8B,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,wBAAwB,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;YAC1C,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,QAAQ,IAAI,KAAK;gBACnB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,SAAS,KAAK,OAAO,IAAI,4DAA4D;gBACnF,kFAAkF;gBAClF,qBAAqB,CACxB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI;YACJ,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBACjC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAmD,EAAE;gBAC5E,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;YACP,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;gBACjC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAmD,EAAE;gBAC5E,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;gBAC9B,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAA6C,EAAE;gBACnE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,IAAuB,EACvB,KAAqB;IACnB,sCAAsC;IACtC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;IACnC,sCAAsC;IACtC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;CACtC;IAED,IAAI,IAAwB,CAAC;IAC7B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,KAAK,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,UAAU;YAAE,MAAM,GAAG,IAAI,CAAC;aACjC,IAAI,GAAG,KAAK,QAAQ;YAAE,IAAI,GAAG,IAAI,CAAC;aAClC,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,GAAG;iBACd,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;iBACxB,KAAK,CAAC,GAAG,CAAC;iBACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAsB,mBAAmB,CAAC;YACrD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChD,EAAE,CAAC,MAAM,CACP,qBAAqB,OAAO,IAAI,EAAE,gCAAgC;oBAChE,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,CAClD,CAAC;gBACF,OAAO,CAAC,CAAC;YACX,CAAC;YACD,KAAK,GAAG,KAA2B,CAAC;QACtC,CAAC;aAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC5C,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjB,OAAO,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,EAAE,CAAC,MAAM,CAAC,iBAAiB,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,GAAG,GAAG,CAAC;aACrC,CAAC;YACJ,EAAE,CAAC,MAAM,CAAC,8BAA8B,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC;YAC5D,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,MAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,kEAAkE;QAClE,mEAAmE;QACnE,oEAAoE;QACpE,yDAAyD;QACzD,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,OAAO,GAA0B;YACrC,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YAC/B,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;SACnC,CAAC;QACF,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,MAAM,CAAC,mCAAmC,IAAI,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAClF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,IAAI;QAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;;QAChD,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,CAAC;IACzB,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACnD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/esm/semantics/coverage/absent.d.ts

@@ -60,7 +60,7 @@
  * {@link readToolSuggestion}): `absent()` refuses by it and the recognizer
  * reads by it, so a mint and a read cannot disagree.
  */
-import type { AbsenceDeclaration, Coverage, ToolAbsence, TryInsteadTool } from './types.js';
+import type { AbsenceAmongDeclaration, AbsenceDeclaration, Coverage, DeclaredAbsenceDeclaration, DeclaredToolAbsence, ToolAbsence, TryInsteadTool } from './types.js';
 import { ABSENCE_MARKER, readAbsence } from './recognize.js';
 export { ABSENCE_MARKER, readAbsence };
 /**
@@ -70,6 +70,15 @@ export { ABSENCE_MARKER, readAbsence };
  * that ends the loop.
  */
 export declare const ABSENCE_NOTE = "The search ran and matched nothing. This is an ANSWER, not an error: nothing failed, nothing was substituted for what was asked, and calling this tool again with the same arguments returns this same result. `checked` is the ground this answer covers; anything under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that needs a different question, not a retry.";
+/**
+ * The note a COMPOSED absence is served (`Tool.search`): `checked` there is
+ * what the library composed from the call's arguments and the tool's declared
+ * defaults, so the note cannot say "nothing was substituted for what was
+ * asked" — a declared default, or an argument the call left out, may have
+ * narrowed the search. It keeps what stays true (the call ran, a retry
+ * returns the same) and points at the gaps. Static, never interpolated.
+ */
+export declare const ABSENCE_NOTE_COMPOSED = "The search ran and matched nothing \u2014 the call did not fail, and calling this tool again with the same arguments returns this same result. `checked` is the ground this answer covers, as the arguments of the call and the defaults the tool declares set it: where an argument was not sent, a default the tool applies may have narrowed the search. Anything under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that needs a different question, not a retry.";
 /**
  * The note the MODEL is served in place of {@link ABSENCE_NOTE} when the
  * absence's own period is `partly-held` or `not-held` (honesty step 7b, bench
@@ -103,6 +112,13 @@ export declare const ABSENCE_NOTE_HELD_ONLY: string;
  * ISO 8601 instants with a zone (`held` may be `'unknown'`). "Searched the 02:00
  * export — nothing" becomes data; the results layer judges the period.
  *
+ * A name looked up in a known list is a search over that list: declare the
+ * list as `among` (see {@link AbsenceAmongDeclaration}) and the mint composes
+ * the names facet, the gap "names outside <source>" — which only
+ * `among.authoritative` removes; a `partial` read also gets "not every name in
+ * <source> was read", which nothing removes — and the `provenance`. The names are read only
+ * to check `count`; none is served.
+ *
  * @example a port-lookup tool that found no matching FLOGI
  *   defineTool({
  *     name: 'flogi_for_port',
@@ -126,7 +142,8 @@ export declare const ABSENCE_NOTE_HELD_ONLY: string;
  *     },
  *   });
  */
-export declare function absent(decl: AbsenceDeclaration): ToolAbsence;
+export declare function absent(decl: DeclaredAbsenceDeclaration): DeclaredToolAbsence;
+export declare function absent(decl: AbsenceDeclaration | AbsenceAmongDeclaration): ToolAbsence;
 /** The absence's coverage, in the normalized three-list shape everything
  *  downstream (the event, the answer block) reads. */
 export declare function coverageOfAbsence(absence: ToolAbsence): Coverage;

package/dist/esm/semantics/coverage/absent.js

@@ -62,12 +62,14 @@
  */
 import { mintProvenance } from '../described.js';
 import { warnIfInvalidToolName } from '../../lib/toolName.js';
+import { mintAmong } from './among.js';
 import { normalizeCoverageList } from './items.js';
 import { mintPeriod } from './period.js';
 import { refusal, refuseUnknownKeys } from './refusal.js';
+import { mintPaging, mintResolved } from './search/resultFacts.js';
 // The recognizer lives in the leaf `recognize.ts` (a post-hoc reader asks it
 // without loading this mint); re-exported here so every import keeps working.
-import { ABSENCE_MARKER, readAbsence } from './recognize.js';
+import { ABSENCE_MARKER, DECLARED_CHECKED, readAbsence } from './recognize.js';
 export { ABSENCE_MARKER, readAbsence };
 /**
  * The static sentence every absence carries. Says the three things the field
@@ -78,6 +80,17 @@ export { ABSENCE_MARKER, readAbsence };
 // One literal on purpose: its TYPE is the sentence, so a redacted record keeps
 // it as the library's own words (`redaction/knownStrings.ts`).
 export const ABSENCE_NOTE = 'The search ran and matched nothing. This is an ANSWER, not an error: nothing failed, nothing was substituted for what was asked, and calling this tool again with the same arguments returns this same result. `checked` is the ground this answer covers; anything under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that needs a different question, not a retry.';
+/**
+ * The note a COMPOSED absence is served (`Tool.search`): `checked` there is
+ * what the library composed from the call's arguments and the tool's declared
+ * defaults, so the note cannot say "nothing was substituted for what was
+ * asked" — a declared default, or an argument the call left out, may have
+ * narrowed the search. It keeps what stays true (the call ran, a retry
+ * returns the same) and points at the gaps. Static, never interpolated.
+ */
+// One literal on purpose, as `ABSENCE_NOTE`: its TYPE is the sentence, so a
+// redacted record keeps it as the library's own words.
+export const ABSENCE_NOTE_COMPOSED = 'The search ran and matched nothing — the call did not fail, and calling this tool again with the same arguments returns this same result. `checked` is the ground this answer covers, as the arguments of the call and the defaults the tool declares set it: where an argument was not sent, a default the tool applies may have narrowed the search. Anything under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that needs a different question, not a retry.';
 /**
  * The note the MODEL is served in place of {@link ABSENCE_NOTE} when the
  * absence's own period is `partly-held` or `not-held` (honesty step 7b, bench
@@ -118,6 +131,9 @@ const ABSENCE_DECLARATION_KEYS = Object.keys({
     tryInsteadTool: true,
     provenance: true,
     period: true,
+    resolved: true,
+    paging: true,
+    among: true,
 });
 /**
  * `undefined` and `null` both mean "not given" for the typed tool and its
@@ -218,56 +234,11 @@ function readToolSuggestion(raw) {
     }
     return { value: { tool: name, why: why.trim() } };
 }
-/**
- * Say "I looked, and there is nothing" in a way a model cannot read as a
- * failure — and cannot productively retry.
- *
- * Returns the value a tool's `execute` should return. The framework
- * recognizes it at the dispatch boundary and gives it a delivered status of
- * `'absent'` (routable by `onToolStatus`), a `tools.absent` event, and an
- * evidence-corpus rule of its own.
- *
- * Refuses (throws, where it is called) a declaration it cannot honor — and
- * any key the declaration does not have, naming the spelling meant when the
- * key is a casing slip (`not_checked` → `notChecked`), so a list declared
- * from plain JavaScript or JSON cannot vanish without a word. Every refusal
- * starts `refused: `: inside `execute` it becomes the call's error result,
- * which the model reads.
- *
- * Since honesty step 7b an absence also says WHERE it looked and WHEN —
- * `provenance: { measuredAt, source }`, the shape and rules `describedResult()`
- * uses — and what time its read covered — `period: { queried, held, readAt? }`,
- * ISO 8601 instants with a zone (`held` may be `'unknown'`). "Searched the 02:00
- * export — nothing" becomes data; the results layer judges the period.
- *
- * @example a port-lookup tool that found no matching FLOGI
- *   defineTool({
- *     name: 'flogi_for_port',
- *     description: 'FLOGI entries for one interface',
- *     inputSchema: { type: 'object', properties: { switch: { type: 'string' },
- *       port: { type: 'string' } }, required: ['switch', 'port'] },
- *     execute: ({ switch: sw, port }) => {
- *       const rows = fcns.flogi(sw, port);
- *       if (rows.length > 0) return rows;
- *       return absent({
- *         what: `FLOGI entries on ${port}`,
- *         checked: [
- *           `${sw}: the live fcns database`,
- *           { what: 'window: the last 24h', why: 'FLOGI history retention on this fabric' },
- *         ],
- *         notChecked: [{ what: 'the archived FLOGI history', why: 'older than the 24h window' }],
- *         cannotCover: [{ what: 'ports on the peer fabric',
- *           why: 'this collector is scoped to one fabric' }],
- *         tryInstead: 'Ask for a different interface, or query the peer fabric by name.',
- *       });
- *     },
- *   });
- */
 export function absent(decl) {
     const fn = 'absent';
     if (typeof decl !== 'object' || decl === null) {
         throw refusal(`${fn}() takes a declaration — { what, checked, notChecked?, cannotCover?, tryInstead?, ` +
-            `tryInsteadTool?, provenance?, period? }.`);
+            `tryInsteadTool?, provenance?, period? }, or { what, among, … }.`);
     }
     refuseUnknownKeys(decl, ABSENCE_DECLARATION_KEYS);
     const what = typeof decl.what === 'string' ? decl.what.trim() : '';
@@ -276,15 +247,39 @@ export function absent(decl) {
             `absence that cannot name what it did not find is indistinguishable from a tool that ` +
             `returned nothing by accident.`);
     }
-    const checked = normalizeCoverageList('checked', decl.checked, false);
-    if (checked.length === 0) {
+    // `checked: 'declared'` — the tool's `search` declares the ground, and the
+    // dispatch funnel composes it from the arguments the call ran with. The
+    // envelope carries the literal until then; `readAbsence` does not read it.
+    const declared = decl.checked === DECLARED_CHECKED;
+    // `among` (the c6 fix): the list a missed name was looked up in. `null`
+    // reads as omitted, as for every optional field. Its facet leads `checked`
+    // and its gap leads `notChecked`, so the author can add ground, never
+    // remove the gap.
+    const raw = decl;
+    const among = raw.among == null ? undefined : mintAmong(raw.among);
+    if (among !== undefined && declared) {
+        throw refusal("`among` and `checked: 'declared'` each compose an absence's ground — `among` for a " +
+            "name looked up in a known list, `'declared'` for a tool whose `search` declares it. " +
+            'Give one.');
+    }
+    if (among !== undefined && raw.provenance != null) {
+        throw refusal('`provenance` and `among` both name a source and a time — `among` composes the ' +
+            "absence's `provenance` from its own `source` and `measuredAt`, so give `provenance` " +
+            'only without `among`.');
+    }
+    const authored = declared
+        ? []
+        : normalizeCoverageList('checked', decl.checked, false);
+    const checked = among === undefined ? authored : [among.facet, ...authored];
+    if (!declared && checked.length === 0) {
         throw refusal(`'${what}' — \`checked\` must name at least one source, window or population ` +
             `that WAS searched. An absence with no coverage is a null with extra steps: the reader ` +
             `still cannot tell "I looked and there is nothing" from "I could not look", which is ` +
             `the confusion this function exists to remove. If you genuinely could not look, that ` +
             `is an error — throw, or return a failure the model can retry.`);
     }
-    const notChecked = normalizeCoverageList('notChecked', decl.notChecked, false);
+    const notCheckedAuthored = normalizeCoverageList('notChecked', decl.notChecked, false);
+    const notChecked = among === undefined ? notCheckedAuthored : [...among.gaps, ...notCheckedAuthored];
     const cannotCover = normalizeCoverageList('cannotCover', decl.cannotCover, true);
     const sentence = readSentence(decl.tryInstead);
     if (sentence.problem !== undefined)
@@ -303,17 +298,26 @@ export function absent(decl) {
     // `mintProvenance`), and the period its read covered, by the ONE period rule
     // (`period.ts` · `mintPeriod`). Each refuses at this line, in camelCase.
     // `null` reads as omitted for either — a JSON producer's missing value.
-    const provenance = decl.provenance == null ? undefined : mintProvenance(decl.provenance);
+    const provenance = among !== undefined
+        ? mintProvenance(among.provenance)
+        : raw.provenance == null
+            ? undefined
+            : mintProvenance(raw.provenance);
     const period = mintPeriod(decl.period);
+    // The two facts a search tool's result states (`search/resultFacts.ts`).
+    const resolved = mintResolved(decl.resolved);
+    const paging = mintPaging(decl.paging);
     return {
         af_absent: true,
         outcome: 'nothing_found',
         looked_for: what,
-        checked,
+        checked: declared ? DECLARED_CHECKED : checked,
         ...(notChecked.length > 0 && { not_checked: notChecked }),
         ...(cannotCover.length > 0 && { cannot_cover: cannotCover }),
         ...(provenance !== undefined && { provenance }),
         ...(period !== undefined && { period }),
+        ...(resolved !== undefined && { resolved }),
+        ...(paging !== undefined && { paging }),
         retry_returns_the_same: true,
         ...(tryInstead !== undefined && { try_instead: tryInstead }),
         ...(tryInsteadTool !== undefined && { try_instead_tool: tryInsteadTool }),