agentfootprint 9.61.1 → 9.63.0

package/dist/esm/core/tools.js.map

@@ -1 +1 @@
-{"version":3,"file":"tools.js","sourceRoot":"","sources":["../../../src/core/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAKxC,OAAO,EAAE,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EAAE,cAAc,EAAwB,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,kBAAkB,EAAqB,MAAM,mBAAmB,CAAC;AAwM1E;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,OAAsC;IAEtC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAClC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,uCAAuC,MAAM,CAAC,QAAQ,CAAC,IAAI;YACtF,mFAAmF;YACnF,mFAAmF;YACnF,iFAAiF,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,MAAM,GACV,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACvB,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,sCAAsC;gBACjE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,mDAAmD;gBAC9E,kFAAkF;gBAClF,kEAAkE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,WAAwC;IAExC,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO;IACtC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,2BAA2B,MAAM,CAAC,WAAW,CAAC,cAAc;YACvF,kDAAkD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;YACrF,kFAAkF;YAClF,sFAAsF;YACtF,8DAA8D,CACjE,CAAC;IACJ,CAAC;AACH,CAAC;AAmPD;;;;;;;;;;;;;;;;;;GAkBG;AACH;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,uBAAuB,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC/C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yDAAyD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,GAAG,EAAE;YACd,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,iBAAiB;YACvC,CAAC,CAAC,mFAAmF,CAAC;QAC1F,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,MAAM,IAAI;YAC/C,sFAAsF;YACtF,wEAAwE;YACxE,0DAA0D,CAC7D,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACzB,IAAI,CAAC;QACH,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,sCAAsC;QACtC,OAAO,CAAC,IAAI,CAAC,4BAA6B,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,OAA0C;IAE1C,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,2EAA2E;IAC3E,qCAAqC;IACrC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzD,mEAAmE;IACnE,kDAAkD;IAClD,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACrD,yEAAyE;IACzE,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,mCAAmC;IACnC,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,8DAA8D;gBACvF,kFAAkF;gBAClF,gFAAgF;gBAChF,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,EAAE,eAAe,OAAO,CAAC,IAAI,qBAAqB,CAAC,CAAC;IACjG,CAAC;IACD,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,sEAAsE;IACtE,eAAe,CACb,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAC1D,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;QACnC,IACE,OAAO,IAAI,KAAK,QAAQ;YACxB,IAAI,CAAC,MAAM,KAAK,CAAC;YACjB,OAAO,EAAE,KAAK,QAAQ;YACtB,EAAE,CAAC,MAAM,KAAK,CAAC,EACf,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,2DAA2D;gBACpF,+EAA+E;gBAC/E,iBAAiB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,2EAA2E;IAC3E,wEAAwE;IACxE,mEAAmE;IACnE,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,sDAAsD;gBAC/E,iDAAiD,CACpD,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,uDAAuD;oBAChF,cAAc,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAC1C,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,uDAAuD;oBAChF,oCAAoC,CACvC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;SACvE;QACD,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9C,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,uEAAuE;QACvE,2DAA2D;QAC3D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAwB,EAAE,CAAC;QACnF,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7F,2EAA2E;QAC3E,0EAA0E;QAC1E,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjF,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAC9E,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"tools.js","sourceRoot":"","sources":["../../../src/core/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAKxC,OAAO,EAAE,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EAAE,cAAc,EAAwB,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,kBAAkB,EAAqB,MAAM,mBAAmB,CAAC;AAyP1E;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,OAAsC;IAEtC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAClC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,uCAAuC,MAAM,CAAC,QAAQ,CAAC,IAAI;YACtF,mFAAmF;YACnF,mFAAmF;YACnF,iFAAiF,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,MAAM,GACV,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACvB,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,sCAAsC;gBACjE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,mDAAmD;gBAC9E,kFAAkF;gBAClF,kEAAkE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,WAAwC;IAExC,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO;IACtC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,qBAAqB,QAAQ,2BAA2B,MAAM,CAAC,WAAW,CAAC,cAAc;YACvF,kDAAkD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;YACrF,kFAAkF;YAClF,sFAAsF;YACtF,8DAA8D,CACjE,CAAC;IACJ,CAAC;AACH,CAAC;AAuPD;;;;;;;;;;;;;;;;;;GAkBG;AACH;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,uBAAuB,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC/C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yDAAyD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM,GAAG,EAAE;YACd,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,iBAAiB;YACvC,CAAC,CAAC,mFAAmF,CAAC;QAC1F,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,MAAM,IAAI;YAC/C,sFAAsF;YACtF,wEAAwE;YACxE,0DAA0D,CAC7D,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACzB,IAAI,CAAC;QACH,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,sCAAsC;QACtC,OAAO,CAAC,IAAI,CAAC,4BAA6B,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,OAA0C;IAE1C,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,2EAA2E;IAC3E,qCAAqC;IACrC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACzD,mEAAmE;IACnE,kDAAkD;IAClD,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACrD,yEAAyE;IACzE,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,mCAAmC;IACnC,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,8DAA8D;gBACvF,kFAAkF;gBAClF,gFAAgF;gBAChF,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,EAAE,eAAe,OAAO,CAAC,IAAI,qBAAqB,CAAC,CAAC;IACjG,CAAC;IACD,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,sEAAsE;IACtE,eAAe,CACb,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAC1D,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC;QACnC,IACE,OAAO,IAAI,KAAK,QAAQ;YACxB,IAAI,CAAC,MAAM,KAAK,CAAC;YACjB,OAAO,EAAE,KAAK,QAAQ;YACtB,EAAE,CAAC,MAAM,KAAK,CAAC,EACf,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,2DAA2D;gBACpF,+EAA+E;gBAC/E,iBAAiB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,2EAA2E;IAC3E,wEAAwE;IACxE,mEAAmE;IACnE,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,sDAAsD;gBAC/E,iDAAiD,CACpD,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,uDAAuD;oBAChF,cAAc,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAC1C,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,uDAAuD;oBAChF,oCAAoC,CACvC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;SACvE;QACD,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC9C,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,uEAAuE;QACvE,2DAA2D;QAC3D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAwB,EAAE,CAAC;QACnF,GAAG,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7F,2EAA2E;QAC3E,0EAA0E;QAC1E,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjF,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAC9E,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5D,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACpF,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjF,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;AACJ,CAAC"}

package/dist/esm/events/payloads.d.ts

@@ -1368,6 +1368,20 @@ export interface ToolRepeatedCallPayload {
     readonly argsFingerprint: string;
     /** Digest of the result — never the result. */
     readonly resultFingerprint: string;
+    /**
+     * Which fingerprint decided the match, when it was not the usual pair
+     * (9.62.0). `'arguments'` means this landing matched on the tool's
+     * arguments ALONE — the tool declared `repeatedWhen: 'arguments'`
+     * (`core/tools.ts`), so `resultFingerprint` above is still a true digest
+     * of what came back but played no part in deciding this was a repeat.
+     *
+     * Additive and default-omitted: every event this library emitted before
+     * 9.62.0, and every event for a tool that has not opted in, carries no
+     * `mode` key at all — not `mode: undefined` written out, the key simply
+     * absent — so an existing payload-key-set assertion anywhere does not see
+     * a new field appear under it.
+     */
+    readonly mode?: 'arguments';
 }
 /**
  * A tool looked and found nothing, and said so with `absent(…)`.

package/dist/esm/integrity/disposition/lifecycle.d.ts

@@ -8,8 +8,11 @@
  * Role:    a check is registered exactly when its preconditions exist on
  *          THIS agent (wire: always — every run calls the model;
  *          compose-invariant: a mount kernel is configured; dangling: at
- *          least one tool declared `argumentsFrom`). Registration is what
- *          makes silence auditable — an unregistered check is honest
+ *          least one tool declared `argumentsFrom`, which arms BOTH the
+ *          compose-seam dangling-reference check and the choice-seam
+ *          unsupported-argument check off the same declaration).
+ *          Registration is what makes silence auditable — an unregistered
+ *          check is honest
  *          absence, a registered one that never notes is the wiring rot
  *          `assertAlive` exists to name.
  *
@@ -26,6 +29,14 @@ export type IntegrityPosture = 'observe' | 'dev';
 export interface IntegrityChecksPresent {
     readonly wire: boolean;
     readonly composeInvariant: boolean;
+    /**
+     * At least one tool declared `Tool.argumentsFrom`. ONE FLAG, TWO CHECKS
+     * (9.63.0): the same declaration arms `dangling-reference` at the compose
+     * seam and `unsupported-argument` at the choice seam — one asks whether the
+     * ground is still in reach while the tool is offered, the other whether the
+     * value the model chose came from that ground when it was called. They are
+     * not separated here because nothing can arm one without arming the other.
+     */
     readonly dangling: boolean;
     /** A `.claims()` contract is declared (9.61.0). */
     readonly claim?: boolean;

package/dist/esm/integrity/disposition/lifecycle.js

@@ -8,8 +8,11 @@
  * Role:    a check is registered exactly when its preconditions exist on
  *          THIS agent (wire: always — every run calls the model;
  *          compose-invariant: a mount kernel is configured; dangling: at
- *          least one tool declared `argumentsFrom`). Registration is what
- *          makes silence auditable — an unregistered check is honest
+ *          least one tool declared `argumentsFrom`, which arms BOTH the
+ *          compose-seam dangling-reference check and the choice-seam
+ *          unsupported-argument check off the same declaration).
+ *          Registration is what makes silence auditable — an unregistered
+ *          check is honest
  *          absence, a registered one that never notes is the wiring rot
  *          `assertAlive` exists to name.
  *
@@ -24,6 +27,7 @@ import { dispositionLedger } from './ledger.js';
 import { invariantViolationsOf } from '../invariant-violation/check.js';
 import { wireViolationsOf } from '../invariant-violation/wire.js';
 import { danglingReferencesOf } from '../dangling-reference/check.js';
+import { unsupportedArgumentsOf } from '../unsupported-argument/check.js';
 import { unsupportedClaimsOf } from '../unsupported-claim/check.js';
 /**
  * Start one run's ledger: register the present checks and, in dev posture,
@@ -33,35 +37,96 @@ export function beginIntegrityRun(present, posture) {
     const ledger = dispositionLedger();
     if (present.wire)
         ledger.register('invariant-violation', 'wire');
-    if (present.composeInvariant)
-        ledger.register('invariant-violation', 'compose');
-    if (present.dangling)
-        ledger.register('dangling-reference', 'compose');
-    if (present.claim === true)
-        ledger.register('unsupported-claim', 'claim');
+    // An UNARMED check is a row, not a silence.
+    //
+    // Every optional check is registered whether or not this run armed it, and
+    // one the app never opted into is noted `not-applicable` immediately —
+    // which is the literal truth: the check looked for its subject (a maps
+    // plan, a tool declaring `argumentsFrom`, a claims contract) and this run
+    // has none. Before this, an unarmed check filed NO row at all, and the
+    // always-on `wire` row sat there green beside it; read casually — which is
+    // exactly how the library's own reference agent got read for weeks — a run
+    // that checked nothing was indistinguishable from a run where everything
+    // passed.
+    //
+    // Per check, deliberately, rather than one all-or-nothing block for the
+    // case where the app armed none of them. The common shape in the field is
+    // PARTIAL: a consumer declares `argumentsFrom`, arms the two checks that
+    // field carries, and never learns that the rest never ran. An
+    // all-or-nothing block goes quiet
+    // the moment one check is armed, which is precisely when the remaining
+    // blind spots start to matter.
+    //
+    // This reuses the ledger's existing vocabulary rather than adding a flag or
+    // a second channel, so the rows travel through `report()`, the
+    // `agentfootprint.integrity.disposition` event and `find_context_errors`'s
+    // partial-coverage headline with no change at any consumer. And
+    // `notApplicable` counts as touched in `assertAlive`'s theorem, so an
+    // unarmed check can never itself trip `CheckerDeadError`: not opting in is
+    // not wiring rot, and the two must stay tellable apart.
+    const armed = (kind, seam, isArmed) => {
+        ledger.register(kind, seam);
+        if (!isArmed)
+            ledger.note(kind, seam, 'not-applicable');
+    };
+    armed('invariant-violation', 'compose', present.composeInvariant === true);
+    armed('dangling-reference', 'compose', present.dangling === true);
+    armed('unsupported-argument', 'choice', present.dangling === true);
+    armed('unsupported-claim', 'claim', present.claim === true);
     if (posture !== 'dev')
         return ledger;
-    // The canaries — one known-bad fixture per registered check, through the
+    // The canaries — one known-bad fixture per REGISTERED check, through the
     // REAL pure function. Epoch -1 marks them as no run iteration's business.
+    //
+    // Registered, note, and no longer only armed. The four optional checks now
+    // file a row whether or not this run had a subject for them, and a
+    // `not-applicable` row with no canary beside it is the exact ambiguity this
+    // whole change set exists to remove: a checker that has ROTTED and a checker
+    // that simply had nothing to look at produce an identical row. The canary is
+    // the only thing that tells them apart, and it costs a pure function call on
+    // a fixture.
+    //
+    // The alternative — canary only what the app armed — reads reasonable and is
+    // wrong for the same reason a green report from a check that never ran is
+    // decoration: the moment somebody DOES arm `.claims()`, they inherit whatever
+    // state that checker rotted into while nobody was looking, and nothing in the
+    // record will say how long it had been dead. Dev posture is a library-health
+    // instrument, so it proves the machinery, not this run's subset of it.
     if (present.wire) {
         ledger.noteSynthetic('invariant-violation', 'wire', 'minted');
         const caught = wireViolationsOf({ names: ['canary_tool'], provenance: 'canary: composed frame' }, { names: ['canary_tool', 'canary_ghost'], provenance: 'canary: wire' }, -1);
         if (caught.length > 0)
             ledger.noteSynthetic('invariant-violation', 'wire', 'caught');
     }
-    if (present.composeInvariant) {
+    {
         ledger.noteSynthetic('invariant-violation', 'compose', 'minted');
         const caught = invariantViolationsOf({ mapId: 'canary-map', standing: 'parked', iteration: -1, ownedToolNames: ['canary_tool'] }, { names: ['canary_tool'], provenance: 'canary: serving' });
         if (caught.length > 0)
             ledger.noteSynthetic('invariant-violation', 'compose', 'caught');
     }
-    if (present.dangling) {
+    {
         ledger.noteSynthetic('dangling-reference', 'compose', 'minted');
         const caught = danglingReferencesOf([{ name: 'canary_tool', argumentsFrom: ['canary_ground'] }], new Set(['canary_ground']), new Set(), -1);
         if (caught.length > 0)
             ledger.noteSynthetic('dangling-reference', 'compose', 'caught');
     }
-    if (present.claim === true) {
+    {
+        // The choice-seam canary: an ARMED call carrying a value the corpus does
+        // not contain. The fixture's corpus deliberately says nothing that could
+        // match, so a check that still finds nothing is a check that cannot fire.
+        ledger.noteSynthetic('unsupported-argument', 'choice', 'minted');
+        const caught = unsupportedArgumentsOf([
+            {
+                toolName: 'canary_tool',
+                toolCallId: 'canary',
+                args: { id: 'canary-fabricated-id' },
+                argumentsFrom: ['canary_ground'],
+            },
+        ], { grounded: ['canary: this frame served no identifiers'], assistant: [] }, -1);
+        if (caught.length > 0)
+            ledger.noteSynthetic('unsupported-argument', 'choice', 'caught');
+    }
+    {
         ledger.noteSynthetic('unsupported-claim', 'claim', 'minted');
         const caught = unsupportedClaimsOf([{ answerField: 'canary', entity: 'canary-entity', field: 'canary-field' }], [
             {

package/dist/esm/integrity/disposition/lifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../../src/integrity/disposition/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,iBAAiB,EAA0B,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAapE;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA+B,EAC/B,OAAyB;IAEzB,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IACnC,IAAI,OAAO,CAAC,IAAI;QAAE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,gBAAgB;QAAE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,SAAS,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;QAAE,MAAM,CAAC,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC;IAErC,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,gBAAgB,CAC7B,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,wBAAwB,EAAE,EAChE,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,EACtE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,qBAAqB,CAClC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,EAC3F,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAC1D,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,oBAAoB,CACjC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAC3D,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,EAC1B,IAAI,GAAG,EAAE,EACT,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3B,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAC3E;YACE;gBACE,MAAM,EAAE,eAAe;gBACvB,KAAK,EAAE,cAAc;gBACrB,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,QAAQ;gBAClB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC;aACd;SACF,EACD,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAC/B,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../../src/integrity/disposition/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,iBAAiB,EAA0B,MAAM,aAAa,CAAC;AAGxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAqBpE;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA+B,EAC/B,OAAyB;IAEzB,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IACnC,IAAI,OAAO,CAAC,IAAI;QAAE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACjE,4CAA4C;IAC5C,EAAE;IACF,2EAA2E;IAC3E,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,UAAU;IACV,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,8DAA8D;IAC9D,kCAAkC;IAClC,uEAAuE;IACvE,+BAA+B;IAC/B,EAAE;IACF,4EAA4E;IAC5E,+DAA+D;IAC/D,2EAA2E;IAC3E,gEAAgE;IAChE,sEAAsE;IACtE,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,KAAK,GAAG,CAAC,IAAsB,EAAE,IAAmB,EAAE,OAAgB,EAAQ,EAAE;QACpF,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,KAAK,CAAC,qBAAqB,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;IAC3E,KAAK,CAAC,oBAAoB,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAClE,KAAK,CAAC,sBAAsB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IACnE,KAAK,CAAC,mBAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAE5D,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC;IAErC,yEAAyE;IACzE,0EAA0E;IAC1E,EAAE;IACF,2EAA2E;IAC3E,mEAAmE;IACnE,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,aAAa;IACb,EAAE;IACF,6EAA6E;IAC7E,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,uEAAuE;IACvE,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,gBAAgB,CAC7B,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,wBAAwB,EAAE,EAChE,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,EACtE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,qBAAqB,CAClC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,EAC3F,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAC1D,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,oBAAoB,CACjC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAC3D,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,EAC1B,IAAI,GAAG,EAAE,EACT,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACzF,CAAC;IACD,CAAC;QACC,yEAAyE;QACzE,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,sBAAsB,CACnC;YACE;gBACE,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE,QAAQ;gBACpB,IAAI,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE;gBACpC,aAAa,EAAE,CAAC,eAAe,CAAC;aACjC;SACF,EACD,EAAE,QAAQ,EAAE,CAAC,0CAA0C,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EACzE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAC3E;YACE;gBACE,MAAM,EAAE,eAAe;gBACvB,KAAK,EAAE,cAAc;gBACrB,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,QAAQ;gBAClB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC;aACd;SACF,EACD,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAC/B,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/esm/integrity/unsupported-argument/check.d.ts

@@ -0,0 +1,95 @@
+/**
+ * unsupported-argument — the model ACTED on a value nothing served, at the
+ * CHOICE seam.
+ *
+ * Pattern: pure function over (the calls, the frame they were chosen from);
+ *          the domain check.
+ * Role:    the decidable fragment of "did the model bind this reference to
+ *          something the run actually served?". The measured failure: on the
+ *          second turn of a triage conversation the window had dropped the
+ *          user message carrying the true entity id and kept the assistant's
+ *          own rendered answer. Asked for the status of "that machine", the
+ *          model resolved the reference out of its OWN prior prose, took a
+ *          truncated job-name fragment for a machine name, called the lookup
+ *          tool with it, got an honest "nothing found", and told the person
+ *          their protected machine had no backup record. Every shipped rail
+ *          passed honestly — the coverage envelope, the absence envelope and
+ *          the evidence gate all held, because every value in the answer
+ *          really WAS grounded. The defect was the REFERENT, bound wrong at
+ *          the argument, and the argument was the one seam with no check.
+ *
+ * DECLARED, NEVER INFERRED — the `argumentsFrom` precedent, second use. A
+ * tool is this check's subject only because its author said its arguments
+ * come from another tool's results; a tool that declares nothing is never
+ * examined, which is the whole zero-delta story. One declaration now arms two
+ * seams: `dangling-reference` asks whether the ground is still in reach when
+ * the tool is OFFERED, this asks whether the value the model chose came from
+ * that ground when the tool is CALLED.
+ *
+ * ASSISTANT TEXT IS NOT GROUND, and that is the entire idea. The system
+ * prompt, the user's messages and every tool result are things the RUN put in
+ * front of the model. Its own earlier turns are things it wrote. A value whose
+ * only source is the model's own rendered prose has been re-derived from a
+ * rendering rather than read from evidence, and re-deriving is exactly how a
+ * truncated job name becomes a machine name.
+ *
+ * THE FENCES, stated because they are the check's honesty:
+ * - NON-STRINGS ARE NEVER CHECKED. Numbers, booleans and null are not
+ *   identifier-shaped, and substring-grounding them would accuse every
+ *   literal the model legitimately computed.
+ * - VALUES UNDER FOUR CHARACTERS ARE NEVER CHECKED. Below that, substring
+ *   matching is noise in both directions — 'up' and 'a1' land inside
+ *   unrelated words in any corpus.
+ * - SERVED ANYWHERE PASSES, case-insensitively. The value need only appear
+ *   inside SOME served string; see the README's stated leniency.
+ * - DECLARED VOCABULARY PASSES. A value the tool's own `inputSchema` lists in
+ *   an `enum` was served BY THE SCHEMA — the model read it off the tool
+ *   definition, not out of its own prose.
+ * Two states remain, and they file DIFFERENT messages because they call for
+ * different fixes: grounded only in the model's own prose (re-fetch the real
+ * ground), and grounded nowhere in the window at all (nothing served it).
+ *
+ * Detection only. Nothing here blocks, rewrites or delays a call.
+ */
+import type { ContextError } from '../finding/types.js';
+/** One tool call the model chose to make, with the arming that makes it checkable. */
+export interface ArgumentChoice {
+    readonly toolName: string;
+    /** The provider's id for this call — what the witness points a reader at. */
+    readonly toolCallId: string;
+    readonly args: Readonly<Record<string, unknown>>;
+    /** `Tool.argumentsFrom` — the tools whose results were meant to ground these arguments. */
+    readonly argumentsFrom: readonly string[];
+    /**
+     * Values the tool's own `inputSchema` declares in an `enum`. Best-effort and
+     * FLAT (see {@link declaredEnumValuesOf}): a value declared for one field
+     * excuses that value at any field of the same tool. Deliberately lenient on
+     * an accusation boundary.
+     */
+    readonly declaredEnums?: ReadonlySet<string>;
+}
+/** The frame the model chose from, split by whether it can GROUND anything. */
+export interface ChoiceCorpus {
+    /** System prompt, user messages, tool results — everything the RUN served. */
+    readonly grounded: readonly string[];
+    /** The model's own earlier turns. Never ground: this is what the defect is made of. */
+    readonly assistant: readonly string[];
+}
+/**
+ * Best-effort: every string an `enum` array declares anywhere in a tool's
+ * `inputSchema`. Flat by design — a per-path map would be more precise, and on
+ * an accusation boundary the lenient direction is the safe one. An absent or
+ * non-object schema yields an empty set, which simply means no enum fence.
+ */
+export declare function declaredEnumValuesOf(schema: unknown): ReadonlySet<string>;
+/**
+ * Check every armed call's identifier-like string arguments against the frame
+ * the model chose from.
+ *
+ * @param calls the ARMED tool calls of one response — a caller filters by
+ *   `argumentsFrom` before calling; nothing here re-decides who is a subject.
+ * @param corpus the exact request this response was assembled from, split into
+ *   what the run served and what the model itself wrote.
+ * @param epoch the run iteration, stamped on every witness.
+ */
+export declare function unsupportedArgumentsOf(calls: readonly ArgumentChoice[], corpus: ChoiceCorpus, epoch: number): readonly ContextError[];

package/dist/esm/integrity/unsupported-argument/check.js

@@ -0,0 +1,190 @@
+/**
+ * unsupported-argument — the model ACTED on a value nothing served, at the
+ * CHOICE seam.
+ *
+ * Pattern: pure function over (the calls, the frame they were chosen from);
+ *          the domain check.
+ * Role:    the decidable fragment of "did the model bind this reference to
+ *          something the run actually served?". The measured failure: on the
+ *          second turn of a triage conversation the window had dropped the
+ *          user message carrying the true entity id and kept the assistant's
+ *          own rendered answer. Asked for the status of "that machine", the
+ *          model resolved the reference out of its OWN prior prose, took a
+ *          truncated job-name fragment for a machine name, called the lookup
+ *          tool with it, got an honest "nothing found", and told the person
+ *          their protected machine had no backup record. Every shipped rail
+ *          passed honestly — the coverage envelope, the absence envelope and
+ *          the evidence gate all held, because every value in the answer
+ *          really WAS grounded. The defect was the REFERENT, bound wrong at
+ *          the argument, and the argument was the one seam with no check.
+ *
+ * DECLARED, NEVER INFERRED — the `argumentsFrom` precedent, second use. A
+ * tool is this check's subject only because its author said its arguments
+ * come from another tool's results; a tool that declares nothing is never
+ * examined, which is the whole zero-delta story. One declaration now arms two
+ * seams: `dangling-reference` asks whether the ground is still in reach when
+ * the tool is OFFERED, this asks whether the value the model chose came from
+ * that ground when the tool is CALLED.
+ *
+ * ASSISTANT TEXT IS NOT GROUND, and that is the entire idea. The system
+ * prompt, the user's messages and every tool result are things the RUN put in
+ * front of the model. Its own earlier turns are things it wrote. A value whose
+ * only source is the model's own rendered prose has been re-derived from a
+ * rendering rather than read from evidence, and re-deriving is exactly how a
+ * truncated job name becomes a machine name.
+ *
+ * THE FENCES, stated because they are the check's honesty:
+ * - NON-STRINGS ARE NEVER CHECKED. Numbers, booleans and null are not
+ *   identifier-shaped, and substring-grounding them would accuse every
+ *   literal the model legitimately computed.
+ * - VALUES UNDER FOUR CHARACTERS ARE NEVER CHECKED. Below that, substring
+ *   matching is noise in both directions — 'up' and 'a1' land inside
+ *   unrelated words in any corpus.
+ * - SERVED ANYWHERE PASSES, case-insensitively. The value need only appear
+ *   inside SOME served string; see the README's stated leniency.
+ * - DECLARED VOCABULARY PASSES. A value the tool's own `inputSchema` lists in
+ *   an `enum` was served BY THE SCHEMA — the model read it off the tool
+ *   definition, not out of its own prose.
+ * Two states remain, and they file DIFFERENT messages because they call for
+ * different fixes: grounded only in the model's own prose (re-fetch the real
+ * ground), and grounded nowhere in the window at all (nothing served it).
+ *
+ * Detection only. Nothing here blocks, rewrites or delays a call.
+ */
+/** Below this, substring matching says nothing. */
+const MIN_CHECKED_LENGTH = 4;
+/** Longest a single value is quoted at inside a message. */
+const MAX_QUOTED_CHARS = 80;
+/** Deepest a schema is walked for `enum` declarations. */
+const MAX_SCHEMA_DEPTH = 8;
+function clip(value) {
+    return value.length <= MAX_QUOTED_CHARS ? value : `${value.slice(0, MAX_QUOTED_CHARS - 1)}…`;
+}
+/** Every string leaf of an arguments object, with its dot-path. */
+function* stringLeaves(node, path) {
+    if (typeof node === 'string') {
+        yield { path, value: node };
+        return;
+    }
+    if (Array.isArray(node)) {
+        for (let i = 0; i < node.length; i++) {
+            yield* stringLeaves(node[i], path === '' ? String(i) : `${path}.${String(i)}`);
+        }
+        return;
+    }
+    if (node !== null && typeof node === 'object') {
+        for (const [key, value] of Object.entries(node)) {
+            yield* stringLeaves(value, path === '' ? key : `${path}.${key}`);
+        }
+    }
+}
+/**
+ * Best-effort: every string an `enum` array declares anywhere in a tool's
+ * `inputSchema`. Flat by design — a per-path map would be more precise, and on
+ * an accusation boundary the lenient direction is the safe one. An absent or
+ * non-object schema yields an empty set, which simply means no enum fence.
+ */
+export function declaredEnumValuesOf(schema) {
+    const values = new Set();
+    const walk = (node, depth) => {
+        if (depth > MAX_SCHEMA_DEPTH || node === null || typeof node !== 'object')
+            return;
+        if (Array.isArray(node)) {
+            for (const item of node)
+                walk(item, depth + 1);
+            return;
+        }
+        const obj = node;
+        if (Array.isArray(obj.enum)) {
+            for (const declared of obj.enum)
+                if (typeof declared === 'string')
+                    values.add(declared);
+        }
+        for (const value of Object.values(obj))
+            walk(value, depth + 1);
+    };
+    walk(schema, 0);
+    return values;
+}
+/**
+ * Check every armed call's identifier-like string arguments against the frame
+ * the model chose from.
+ *
+ * @param calls the ARMED tool calls of one response — a caller filters by
+ *   `argumentsFrom` before calling; nothing here re-decides who is a subject.
+ * @param corpus the exact request this response was assembled from, split into
+ *   what the run served and what the model itself wrote.
+ * @param epoch the run iteration, stamped on every witness.
+ */
+export function unsupportedArgumentsOf(calls, corpus, epoch) {
+    const findings = [];
+    if (calls.length === 0)
+        return findings;
+    const served = corpus.grounded.map((text) => text.toLowerCase());
+    const written = corpus.assistant.map((text) => text.toLowerCase());
+    const frame = `frame this call was assembled from: ${String(served.length)} served string(s) ` +
+        `(system prompt, user messages, tool results) and ${String(written.length)} assistant turn(s)`;
+    for (const call of calls) {
+        const subject = { kind: 'tool', id: call.toolName };
+        const declared = new Set([...(call.declaredEnums ?? [])].map((v) => v.toLowerCase()));
+        const grounds = call.argumentsFrom.join(' or ');
+        const refetch = grounds.length > 0
+            ? `call ${grounds} again and use a value it returns`
+            : 're-read the value from the tool that serves it';
+        for (const leaf of stringLeaves(call.args, '')) {
+            const value = leaf.value.trim();
+            if (value.length < MIN_CHECKED_LENGTH)
+                continue;
+            const needle = value.toLowerCase();
+            if (declared.has(needle))
+                continue;
+            if (served.some((text) => text.includes(needle)))
+                continue;
+            const selfReferenced = written.some((text) => text.includes(needle));
+            const witnesses = [
+                {
+                    subject,
+                    predicate: leaf.path,
+                    value: leaf.value,
+                    epoch,
+                    stratum: 'asserted',
+                    provenance: `tool call ${call.toolCallId}: argument '${leaf.path}' as the model chose it`,
+                },
+                {
+                    subject,
+                    predicate: leaf.path,
+                    value: selfReferenced
+                        ? 'served by nothing — present only in the model’s own earlier answer'
+                        : 'served by nothing in the window the model saw',
+                    epoch,
+                    stratum: 'asserted',
+                    provenance: frame,
+                },
+            ];
+            findings.push({
+                kind: 'unsupported-argument',
+                seam: 'choice',
+                subjects: [subject],
+                // The dot-path IS the discriminator: two arguments of one call are two
+                // defects, and without it the second collapses into the first (the
+                // `unsupported-claim` per-field lesson, same substrate rule).
+                predicate: leaf.path,
+                witnesses,
+                epoch,
+                message: selfReferenced
+                    ? `'${call.toolName}' was called with ${leaf.path} = "${clip(value)}", and the only ` +
+                        `place that value appears in the frame the model chose from is the model’s own ` +
+                        `earlier answer. Rendered text is not evidence — a value re-read out of prose can ` +
+                        `be a fragment of something else entirely. To ground it, ${refetch}. Nothing here ` +
+                        `blocked the call.`
+                    : `'${call.toolName}' was called with ${leaf.path} = "${clip(value)}", and that value ` +
+                        `appears nowhere in the frame the model chose from — not in the instructions, not ` +
+                        `in any message from the user, not in any tool result. Nothing served it, so ` +
+                        `nothing in this run can say what it refers to. To ground it, ${refetch}. Nothing ` +
+                        `here blocked the call.`,
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=check.js.map

package/dist/esm/integrity/unsupported-argument/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../../src/integrity/unsupported-argument/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AA8BH,mDAAmD;AACnD,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAE7B,4DAA4D;AAC5D,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,0DAA0D;AAC1D,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,KAAK,CAAC,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC,GAAG,CAAC;AAC/F,CAAC;AAED,mEAAmE;AACnE,QAAQ,CAAC,CAAC,YAAY,CAAC,IAAa,EAAE,IAAY;IAChD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5B,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC,EAAE,CAAC;YAC3E,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAe;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,KAAa,EAAQ,EAAE;QAClD,IAAI,KAAK,GAAG,gBAAgB,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QAClF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAA+B,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,IAAI;gBAAE,IAAI,OAAO,QAAQ,KAAK,QAAQ;oBAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAgC,EAChC,MAAoB,EACpB,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,MAAM,KAAK,GACT,uCAAuC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB;QAChF,oDAAoD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC;IAEjG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,QAAQ,OAAO,mCAAmC;YACpD,CAAC,CAAC,gDAAgD,CAAC;QAEvD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,GAAG,kBAAkB;gBAAE,SAAS;YAChD,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAAE,SAAS;YAC3D,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAErE,MAAM,SAAS,GAAgB;gBAC7B;oBACE,OAAO;oBACP,SAAS,EAAE,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK;oBACL,OAAO,EAAE,UAAU;oBACnB,UAAU,EAAE,aAAa,IAAI,CAAC,UAAU,eAAe,IAAI,CAAC,IAAI,yBAAyB;iBAC1F;gBACD;oBACE,OAAO;oBACP,SAAS,EAAE,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,cAAc;wBACnB,CAAC,CAAC,oEAAoE;wBACtE,CAAC,CAAC,+CAA+C;oBACnD,KAAK;oBACL,OAAO,EAAE,UAAU;oBACnB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,uEAAuE;gBACvE,mEAAmE;gBACnE,8DAA8D;gBAC9D,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,SAAS;gBACT,KAAK;gBACL,OAAO,EAAE,cAAc;oBACrB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAkB;wBACnF,gFAAgF;wBAChF,mFAAmF;wBACnF,2DAA2D,OAAO,iBAAiB;wBACnF,mBAAmB;oBACrB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,oBAAoB;wBACrF,mFAAmF;wBACnF,8EAA8E;wBAC9E,gEAAgE,OAAO,YAAY;wBACnF,wBAAwB;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/esm/lib/trace-toolpack/traceToolpack.js

@@ -452,7 +452,7 @@ function buildRunOverview(artifacts, index) {
  *     compile HERE, rather than becoming a value the tool's enum silently
  *     rejects at run time.
  *   - the honesty gate. `ContextErrorKind` names five defect classes;
- *     `src/integrity/` ships three checks. Offering the other two in the
+ *     `src/integrity/` ships four checks. Offering the fifth in the
  *     schema enum invites a query whose only possible answer is a negative
  *     verdict about a class nothing in the library could have filed — the
  *     tool telling a model "no duplicate-execution errors" when nothing on
@@ -462,7 +462,7 @@ function buildRunOverview(artifacts, index) {
  */
 const CONTEXT_ERROR_KIND_CHECKS = {
     'invariant-violation': 'src/integrity/invariant-violation (write + wire)',
-    'unsupported-argument': false,
+    'unsupported-argument': 'src/integrity/unsupported-argument (choice)',
     'dangling-reference': 'src/integrity/dangling-reference (compose)',
     'duplicate-execution': false,
     'unsupported-claim': 'src/integrity/unsupported-claim (claim)',
@@ -754,12 +754,14 @@ function buildFindContextErrors(artifacts, index, reader, opts) {
         name: 'find_context_errors',
         description: 'What did this run CONTRADICT ITSELF about? Lists the Context Integrity findings the ' +
             'library already caught — an invariant violated, an offered action whose inputs left ' +
-            'scope, a claim the record does not support — each with the step it was filed at and the ' +
+            'scope, an argument nothing served, a claim the record does not support — each with the ' +
+            'step it was filed at and the ' +
             'exact drill that opens the state behind it. Call it EARLY when an answer looks wrong: a ' +
             'contradiction the library already caught beats re-deriving one. Reads only; nothing is ' +
             're-checked or re-judged. When no finding evidence was captured it says so plainly rather ' +
-            `than reporting a clean run. The finding type also names ${UNFILABLE_CONTEXT_ERROR_KINDS.map((kind) => `'${kind}'`).join(' and ')}, and no check in this build files them — this tool cannot report on ` +
-            'those classes at all, so its silence about them is not evidence. ' +
+            `than reporting a clean run. The finding type also names ${UNFILABLE_CONTEXT_ERROR_KINDS.map((kind) => `'${kind}'`).join(' and ')}, and no check in this build files ${UNFILABLE_CONTEXT_ERROR_KINDS.length === 1 ? 'it' : 'them'} — this tool cannot report on ` +
+            `that class${UNFILABLE_CONTEXT_ERROR_KINDS.length === 1 ? '' : 'es'} at all, so its ` +
+            'silence about it is not evidence. ' +
             `Bounded by limit (default ${FINDINGS_DEFAULT}, hard cap ${TOOLPACK_HARD_CAPS.contextErrorsMax}).`,
         inputSchema: {
             type: 'object',