agentfootprint 10.9.0 → 11.0.0

package/dist/esm/core/agent/negativeClaims/capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.js","sourceRoot":"","sources":["../../../../../src/core/agent/negativeClaims/capture.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,SAAS,EAAmB,MAAM,aAAa,CAAC;AAGzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACpE,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,0CAA0C,CAAC;AAMlD,OAAO,EAAE,cAAc,EAAE,MAAM,8CAA8C,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,gDAAgD,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAEtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AA2BlG,MAAM,SAAS,GAAG,KAAK,CAAC;AACxB,MAAM,SAAS,GAAG,SAAS,CAAC;AAC5B,MAAM,MAAM,GAAG,CAAC,CAAU,EAAgC,EAAE,CAC1D,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3D,MAAM,OAAO,GAAG,CAAC,KAA6B,EAAoC,EAAE,CAClF,KAAK,CAAC,SAAS,CAAC,oBAAoB,CAAqC,CAAC;AAC5E,MAAM,YAAY,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;IACvD,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,0BAA0B,CACxC,IAAY,EACZ,QAAyB,EACzB,KAA4B,EAC5B,cAAc,GAAG,KAAK;IAEtB,2EAA2E;IAC3E,0EAA0E;IAC1E,8EAA8E;IAC9E,MAAM,aAAa,GACjB,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC;YACE,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;YACjE,GAAG,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC;SAC3E,CAAC;IACR,MAAM,SAAS,GAAG,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC1F,4EAA4E;IAC5E,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,aAAa,GACjB,CAAC,SAAS;QACV,cAAc;QACd,KAAK,EAAE,cAAc,KAAK,IAAI;QAC9B,aAAa,EAAE,MAAM,KAAK,SAAS;QACnC,aAAa,EAAE,SAAS,KAAK,SAAS;QACtC,KAAK,CAAC,aAAa,EAAE,MAAM,KAAK,SAAS;QACzC,KAAK,CAAC,aAAa,EAAE,SAAS,KAAK,SAAS;QAC5C,IAAI,GAAG,KAAK,CAAC,IAAI;QACjB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,SAAS,IAAI,aAAa,CAAC;IACxC,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QACtC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;QACtF,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QACnC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QAClC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;QACnD,GAAG,CAAC,SAAS;YACX,KAAK,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;QACjF,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,cAAc,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,IAAyB;IAChD,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,EAAE;QACb,cAAc,EAAE,KAAK;QACrB,OAAO,EAAE,IAAI;QACb,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI;YAC5B,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;gBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,SAAS,EAAE,IAAI,CAAC,KAAK;gBACrB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ;gBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM;gBACvB,OAAO,EAAE,EAAE;gBACX,UAAU,EAAE,EAAE;gBACd,WAAW,EAAE,EAAE;gBACf,QAAQ,EAAE,KAAK;gBACf,IAAI,EAAE,EAAE;aACT;SACF,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAA6B,EAAE,IAA0B;IACxE,IAAI,CAAC;QACH,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,kBAAkB,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YAClF,OAAO;QACT,CAAC;QACD,KAAK,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,kBAAkB,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACpF,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CACd,KAA6B,EAC7B,EAAU,EACV,MAA0D;IAE1D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,OAAO,CAAC,KAAK,EAAE;QACb,GAAG,KAAK;QACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC/E,CAAC,CAAC;AACL,CAAC;AAOD,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAC/B,KAA6B,EAC7B,KASC;IAED,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,kBAAkB,CAAC;IAChD,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,qBAAqB,CACpC,KAAK,CAAC,gBAAgB,IAAI,uBAAuB,CAAC,KAAK,CAAC,EACxD,KAAK,CACN,CAAC;QACF,KAAK,CAAC,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC;QACxC,QAAQ,GAAG;YACT,QAAQ,EAAE,QAAQ,CAAC,EAAE;YACrB,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE;YACvC,YAAY,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAA+B,CAAC;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,0BAA0B,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACvF,IAAI,IAAI,GAAsC,EAAE,CAAC;IACjD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,GAAG,IAAI,CAAC;QAChD,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,EAAE,OAAO,KAAK,UAAU,CAAC;IAChF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,cAAc,GAAG,OAAO,CAAC,QAA+C,CAAC;IAC/E,MAAM,gBAAgB,GAAG,QAA0D,CAAC;IACpF,MAAM,cAAc,GAClB,CAAC,MAAM;QACP,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,QAAQ,CAAC,KAAK,CACZ,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAClB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC;YAC9B,OAAO,cAAc,EAAE,CAAC,GAAG,CAAC,KAAK,QAAQ;YACzC,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE;YAC1B,cAAc,CAAC,GAAG,CAAC,KAAK,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAClD,CAAC;IACJ,+EAA+E;IAC/E,OAAO,KAAK;QACV,oBAAoB;QACpB,kBAAkB;QAClB,aAAa;QACb,SAAS;QACT,MAAM;QACN,QAAQ;QACR,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;KACrB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACzC,IAAI,aAAkD,CAAC;IACvD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,aAAa,GAAG,cAAc,CAAC;YAC7B,MAAM;YACN,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAU,CAAC;YACvF,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,YAAY,EAAE,QAAQ,CAAC,YAAY;SACpC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAwB;QAChC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;QAC1B,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,KAAK,EAAE,KAAK,CAAC,SAAS;QACtB,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,CAAC,MAAM,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;QAC9F,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9B,cAAc;QACd,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;QACxE,MAAM,EAAE,QAAQ,CAAC,YAAY;QAC7B,GAAG,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;KAClC,CAAC;IACF,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,SAAS;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;;QAEjF,OAAO,CAAC,KAAK,EAAE;YACb,GAAG,KAAK;YACR,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC;YAC9C,KAAK,EAAE;gBACL,GAAG,KAAK,CAAC,KAAK;gBACd,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;oBAClB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;oBACtB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;iBAC7E;aACF;SACF,CAAC,CAAC;IACL,OAAO,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,uFAAuF;AACvF,SAAS,QAAQ,CACf,IAAyB,EACzB,KAAc,EACd,MAAc,EACd,IAAU;IAEV,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC5C,IACE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC;QACtD,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC;QAE3C,OAAO,SAAS,CAAC;IACnB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CACpE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,QAAQ;QACf,QAAQ;QACR,KAAK,EAAE,EAAE,QAAQ,EAAE;QACnB,IAAI,EAAE,MAAM;KACb,CAAC,CACH,CAAC;IACF,MAAM,IAAI,GAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAC/F,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACR,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;QAC9C,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QAC9C,GAAG,CAAE,GAAmB,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAG,GAAmB,CAAC,KAAK,EAAE,CAAC;KACvF,CAAC,CACH,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,KAAK;QACrB,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ;QACxD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM;QACN,SAAS,EAAE,OAAO,CAAC,UAAU;QAC7B,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD;gBACE,IAAI,EAAE,KAAK,CAAC,QAAQ;gBACpB,KAAK,EAAE,YAAY;gBACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,IAAI;aACZ;YACD,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE;YACzD,GAAG,IAAI;SACR;QACD,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACvC,QAAQ,EAAE,KAAK;QACf,IAAI;KACL,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/D,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAC7C,CAAC;IACF,IACE,WAAW,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAEvE,OAAO,SAAS,CAAC;IACnB,OAAO,WAAW,CAAC,IAAI,EAAyC,CAAC;AACnE,CAAC;AAED;0FAC0F;AAC1F,SAAS,MAAM,CAAC,KAAc;IAC5B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC9D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAClE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,IAAI,GAAY,MAAM,EAAE,MAAM,IAAI,GAAG,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvF,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,qBAAqB,CACnC,KAA6B,EAC7B,QAA0B,EAC1B,KAAc,EACd,IAAU;IAEV,IAAI,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAChD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;YACpC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO;YACtD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,CAAC;YACd,CAAC;QACH,CAAC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAChD,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC7D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE;YAC9B,IAAI,EAAE;gBACJ,MAAM,EAAE,MAAM,KAAK,SAAS;gBAC5B,OAAO,EAAE,MAAM,KAAK,SAAS;gBAC7B,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;aAC7C;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpF,MAAM,OAAO,GACX,QAAQ,EAAE,MAAM,KAAK,SAAS;YAC9B,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,OAAO;YAAE,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjF,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACzC,IAAI,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACzD,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;gBACjC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS;gBAC/C,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBACvD,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC3C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI;oBACzB,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,OAAiB,CAAC,CAAC,CAAE,QAAkB,EAAE;oBACtF,oEAAoE;oBACpE,kEAAkE;oBAClE,2BAA2B;oBAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;iBACpB,CAAC;aACH,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAA6B,EAC7B,GAAqB;IAErB,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CACpC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAC7D,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAAC,KAA6B,EAAE,QAAgB;IAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,CAAC;AAClF,CAAC;AACD,MAAM,UAAU,sBAAsB,CAAC,KAA6B;IAClE,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;AACxC,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAChC,KAA6B,EAC7B,QAA4B,EAC5B,OAA4B;IAE5B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IAC1D,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC1C,OAAO,CAAC,KAAK,EAAE;QACb,GAAG,IAAI;QACP,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,QAAQ,IAAI,EAAE,cAAc,EAAE,CAAC;QACtF,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC;QACtD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3B,CAAC,CAAC,QAAQ,KAAK,QAAQ;YACrB,CAAC,CAAC;gBACE,GAAG,CAAC;gBACJ,OAAO,EACL,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;oBAC3C,CAAC,CAAC,CAAC,CAAC,OAAO;oBACX,CAAC,CAAC,OAAO,KAAK,IAAI;wBAClB,CAAC,CAAC,OAAO;wBACT,CAAC,CAAC,OAAO;aACd;YACH,CAAC,CAAC,CAAC,CACN;KACF,CAAC,CAAC;AACL,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,sBAAsB,CACpC,KAA6B,EAC7B,IAAY,EACZ,KAAc,EACd,IAAwC;IAExC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CACnB,aAAa,CACX,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,EACpE,QAAQ,CACT,CAAC,MAAM,GAAG,CAAC,CACf,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO;QAC/C,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO;QAC/F,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;YACzC,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9C,OAAO;QACT,CAAC;QACD,IAAI,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACtE,sCAAsC;YACtC,OAAO,CAAC,IAAI,CACV,yCAAyC,IAAI,kEAAkE,CAChH,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,KAAK,EAAE;YACb,GAAG,KAAK;YACR,UAAU,EAAE;gBACV,GAAG,KAAK,CAAC,UAAU;gBACnB,EAAE,IAAI,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,KAAK,CAAC,UAAU,EAAE;aAClE;SACF,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,qBAAqB,CACnC,KAA6B,EAC7B,QAA4B;IAE5B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,mBAAmB,CACjC,KAA6B,EAC7B,QAA4B,EAC5B,IAAY;IAEZ,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACxE,0EAA0E;IAC1E,+EAA+E;IAC/E,6EAA6E;IAC7E,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC3E,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,IAAI,CAAC;YACH,IAAI,IAAI,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;gBAC7B,MAAM,SAAS,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC5C,sEAAsE;gBACtE,uEAAuE;gBACvE,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;gBACnE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACzC,cAAc;oBACZ,MAAM,KAAK,SAAS;wBACpB,UAAU,CAAC,IAAI,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;4BACxB,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;4BACvB,UAAU,CAAC,SAAS,CAAC,KAAK,MAAM,CACnC,CAAC;YACN,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,gEAAgE;QAClE,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE;YACxC,MAAM,IAAI,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YAC5B,OAAQ,IAAkC,CAAC,cAAc,CAAC;YAC1D,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,cAAc,IAAI,EAAE,cAAc,EAAE,IAAa,EAAE,CAAC,EAAE,CAAC;QAC/E,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,EAAE,GAAG,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC;QAChC,SAAS,EAAE;YACT,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YACvD,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;SACpE;KACF,CAAC,EAAE,CAAC;AACP,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAA6B,EAAE,KAAc;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACnC,IAAI,SAAS,GAAG,GAAG,EAAE,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC9C,IAAI,SAAS,KAAK,EAAE,IAAI,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC;QACpE,CAAC;QAAC,MAAM,CAAC;YACP,aAAa;QACf,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACjF,OAAO;QACL,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,IAAI,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE;QACrE,IAAI,EAAE,KAAK,CAAC,UAAU;QACtB,KAAK,EACH,CAAC,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAC/B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAC/B,cAAc,EAAE,KAAK,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;KACtE,CAAC;AACJ,CAAC"}

package/dist/esm/core/agent/negativeClaims/checkpoint.d.ts

@@ -0,0 +1,7 @@
+import { type ClaimVerificationState } from '../findings/verificationState.js';
+import type { NegativeRuntimeState } from './capture.js';
+export interface NegativeCheckpoint {
+    readonly negativeClaimState: NegativeRuntimeState;
+    readonly resultIdentities?: ClaimVerificationState;
+}
+export declare function negativeCheckpointOf(container: unknown): NegativeCheckpoint | undefined;

package/dist/esm/core/agent/negativeClaims/checkpoint.js

@@ -0,0 +1,79 @@
+/** Private operational carrier admission. The host authenticates checkpoint
+ * storage; structural validation never turns caller-supplied JSON into proof. */
+import { copyJson, ownData } from '../../../lib/boundedJson.js';
+import { readResultIdentity } from '../../../integrity/claim-binding/capture.js';
+import { readVerificationState, } from '../findings/verificationState.js';
+export function negativeCheckpointOf(container) {
+    const data = ownData(container);
+    if (!Object.hasOwn(data, 'negativeClaimState'))
+        return undefined;
+    const raw = copyJson(data.negativeClaimState, 2_000_000, false);
+    if (!raw ||
+        raw.version !== 1 ||
+        !Number.isSafeInteger(raw.turn) ||
+        raw.turn < 1 ||
+        typeof raw.complete !== 'boolean' ||
+        !Array.isArray(raw.calls) ||
+        raw.calls.length > 1000 ||
+        !Array.isArray(raw.pending) ||
+        !raw.tools ||
+        typeof raw.tools !== 'object')
+        throw new TypeError('Invalid negative-claims checkpoint.');
+    if (raw.anonymousOwner !== undefined &&
+        (raw.anonymousOwner !== true ||
+            raw.ownerIdentity?.tenant !== undefined ||
+            raw.ownerIdentity?.principal !== undefined ||
+            raw.calls.some((call) => call.trustedContext)))
+        throw new TypeError('Invalid anonymous negative-claims ownership.');
+    const identities = data.resultIdentities === undefined
+        ? undefined
+        : readVerificationState(data.resultIdentities, 0);
+    const seen = new Set();
+    for (const call of raw.calls) {
+        const id = readResultIdentity(call.resultId);
+        if (identities === undefined ||
+            id.namespace !== identities.evidence.namespace ||
+            !identities.evidence.runIds.includes(id.runId) ||
+            id.ordinal >= identities.nextResultOrdinal ||
+            seen.has(call.resultId) ||
+            !Number.isSafeInteger(call.turn) ||
+            call.turn < 1 ||
+            call.turn > raw.turn ||
+            !Number.isSafeInteger(call.batch) ||
+            typeof call.dispatched !== 'boolean' ||
+            typeof call.trustedContext !== 'boolean' ||
+            (call.rowsMayDisplay !== undefined && call.rowsMayDisplay !== true) ||
+            !['ok', 'error', 'not-run'].includes(call.outcome) ||
+            typeof call.toolName !== 'string' ||
+            call.arguments === null ||
+            typeof call.arguments !== 'object')
+            throw new TypeError('Invalid negative-claims attempt lineage.');
+        if (call.row !== undefined &&
+            (call.row.resultId !== call.resultId ||
+                call.row.handle !== `r${id.ordinal}` ||
+                call.row.toolName !== call.toolName ||
+                !Array.isArray(call.row.checked) ||
+                !Array.isArray(call.row.gaps)))
+            throw new TypeError('Invalid negative-claims coverage binding.');
+        seen.add(call.resultId);
+    }
+    if (raw.pending.some((id) => typeof id !== 'string' || !seen.has(id)) ||
+        new Set(raw.pending).size !== raw.pending.length)
+        throw new TypeError('Invalid pending negative-claims attempts.');
+    if (raw.pausedResultId !== undefined && !raw.pending.includes(raw.pausedResultId))
+        throw new TypeError('Invalid paused negative-claims attempt.');
+    if (!Array.isArray(raw.overclaims) ||
+        raw.overclaims.length > 1000 ||
+        raw.overclaims.some((row) => !row ||
+            typeof row.tool !== 'string' ||
+            row.code !== 'refusal-asserts-absence' ||
+            !Number.isSafeInteger(row.turn) ||
+            row.turn < 1 ||
+            row.turn > raw.turn))
+        throw new TypeError('Invalid negative-claims declaration diagnostics.');
+    return {
+        negativeClaimState: raw,
+        ...(identities === undefined ? {} : { resultIdentities: identities }),
+    };
+}
+//# sourceMappingURL=checkpoint.js.map

package/dist/esm/core/agent/negativeClaims/checkpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint.js","sourceRoot":"","sources":["../../../../../src/core/agent/negativeClaims/checkpoint.ts"],"names":[],"mappings":"AAAA;iFACiF;AACjF,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,EACL,qBAAqB,GAEtB,MAAM,kCAAkC,CAAC;AAO1C,MAAM,UAAU,oBAAoB,CAAC,SAAkB;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,oBAAoB,CAAC;QAAE,OAAO,SAAS,CAAC;IACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,kBAAkB,EAAE,SAAS,EAAE,KAAK,CAAyB,CAAC;IACxF,IACE,CAAC,GAAG;QACJ,GAAG,CAAC,OAAO,KAAK,CAAC;QACjB,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAC/B,GAAG,CAAC,IAAI,GAAG,CAAC;QACZ,OAAO,GAAG,CAAC,QAAQ,KAAK,SAAS;QACjC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QACzB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI;QACvB,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QAC3B,CAAC,GAAG,CAAC,KAAK;QACV,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QAE7B,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,IACE,GAAG,CAAC,cAAc,KAAK,SAAS;QAChC,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI;YAC1B,GAAG,CAAC,aAAa,EAAE,MAAM,KAAK,SAAS;YACvC,GAAG,CAAC,aAAa,EAAE,SAAS,KAAK,SAAS;YAC1C,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,MAAM,UAAU,GACd,IAAI,CAAC,gBAAgB,KAAK,SAAS;QACjC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,IACE,UAAU,KAAK,SAAS;YACxB,EAAE,CAAC,SAAS,KAAK,UAAU,CAAC,QAAQ,CAAC,SAAS;YAC9C,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9C,EAAE,CAAC,OAAO,IAAI,UAAU,CAAC,iBAAiB;YAC1C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YACvB,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,IAAI,CAAC,IAAI,GAAG,CAAC;YACb,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI;YACpB,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;YACjC,OAAO,IAAI,CAAC,UAAU,KAAK,SAAS;YACpC,OAAO,IAAI,CAAC,cAAc,KAAK,SAAS;YACxC,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC;YACnE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;YAClD,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YACjC,IAAI,CAAC,SAAS,KAAK,IAAI;YACvB,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ;YAElC,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;QAClE,IACE,IAAI,CAAC,GAAG,KAAK,SAAS;YACtB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;gBAClC,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC,OAAO,EAAE;gBACpC,IAAI,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;gBACnC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAChC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEhC,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACnE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IACD,IACE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,OAAO,CAAC,MAAM;QAEhD,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnE,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC;QAC/E,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACjE,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;QAC9B,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,IAAI;QAC5B,GAAG,CAAC,UAAU,CAAC,IAAI,CACjB,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,GAAG;YACJ,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;YAC5B,GAAG,CAAC,IAAI,KAAK,yBAAyB;YACtC,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAC/B,GAAG,CAAC,IAAI,GAAG,CAAC;YACZ,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CACtB;QAED,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,OAAO;QACL,kBAAkB,EAAE,GAAG;QACvB,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC"}

package/dist/esm/core/agent/negativeClaims/config.d.ts

@@ -0,0 +1,66 @@
+import type { Tool } from '../../../tools/tools.js';
+import { type NegativeClaimPhraseExtensions, type ResolvedNegativeClaimPhrases } from '../../../integrity/negative-claim/phrases.js';
+/** Configure typed library-written statements or observe ordinary answer prose.
+ * `{ prose: true }` needs no schema or tool list and never rewrites or blocks an answer.
+ * Both modes can add bounded literal phrase data; prose findings remain unverified.
+ *
+ * In the typed arm, the named field must be a required, top-level array in the output JSON Schema.
+ * Every cited tool must be registered locally. A search declaration or an admitted
+ * `absent({ among })` result supplies its coverage at runtime.
+ *
+ * Typed enforcement is available, but not recommended until its benchmark gates pass.
+ * Model prose is observed with a bounded grammar; it remains unchecked.
+ * Prose enforcement is unavailable.
+ */
+export type NegativeClaimsOptions = ({
+    readonly field: string;
+    readonly tools: readonly string[];
+    /** Default `withhold`. `state-searched` reports what was read without upgrading its verdict. */
+    readonly unestablished?: 'withhold' | 'state-searched';
+    readonly prose?: never;
+} | {
+    /** Observe ordinary answers without a schema, citations, correction or withholding. */
+    readonly prose: true;
+    readonly field?: never;
+    readonly tools?: never;
+    readonly unestablished?: never;
+}) & {
+    /** Optional bounded literal phrases. They only add observations, never verification or enforcement. */
+    readonly phrases?: NegativeClaimPhraseExtensions;
+};
+/** A model-selected claim checked against recorded evidence. Only the absence
+ * family may be normalized from the read; a negative never becomes completeness.
+ * The delivered subject and statement come from the admitted search. */
+export interface NegativeClaimCitation {
+    /** Selects the proposition to check; complete must be requested explicitly. */
+    readonly kind: 'none' | 'not-found' | 'complete';
+    /** Optional subject phrase. It must include the recorded subject; never delivered as a label. */
+    readonly about?: string | number;
+    readonly restsOn: readonly string[];
+}
+/** @internal Detached configuration carried by the chart, never by the model. */
+export interface ResolvedTypedNegativeClaims {
+    readonly mode: 'typed';
+    readonly field: string;
+    readonly tools: readonly string[];
+    readonly unestablished: 'withhold' | 'state-searched';
+    readonly phrases?: ResolvedNegativeClaimPhrases;
+}
+/** @internal Observation has no citation contract or delivery authority. */
+export interface ResolvedProseNegativeClaims {
+    readonly mode: 'prose';
+    readonly phrases?: ResolvedNegativeClaimPhrases;
+}
+/** @internal The two arms share native capture, not enforcement. */
+export type ResolvedNegativeClaims = ResolvedTypedNegativeClaims | ResolvedProseNegativeClaims;
+export declare const NEGATIVE_HANDLE_PATTERN = "^r[1-9][0-9]{0,3}$";
+/** Validate once, without keeping any mutable caller-owned arrays. */
+export declare function resolveNegativeClaims(options: NegativeClaimsOptions): ResolvedNegativeClaims;
+/** Provider-only and MCP tools cannot become trusted by being named in this list. */
+export declare function assertNegativeClaimsTools(config: ResolvedTypedNegativeClaims, tools: readonly Tool[]): void;
+/** Build the model-facing copy. A parse function is never executed to infer a schema.
+ * Root/field/item references and unions are deliberately not guessed: expose this
+ * one citation field directly while the rest of the app's schema is preserved. */
+export declare function negativeClaimsSchema(config: ResolvedTypedNegativeClaims, schema: Readonly<Record<string, unknown>> | undefined): Readonly<Record<string, unknown>>;
+/** One always-on instruction; handles themselves are served beside admitted results. */
+export declare function negativeClaimsInstruction(config: ResolvedTypedNegativeClaims, schema: Readonly<Record<string, unknown>>): string;

package/dist/esm/core/agent/negativeClaims/config.js

@@ -0,0 +1,185 @@
+/** Negative-claim arms: app configuration and the typed model citation schema.
+ * This module never calls a parser or decides whether a search establishes a claim.
+ * Delivery adds its own statement after parsing; that enriched field is not model input. */
+import { copyJson, ownData } from '../../../lib/boundedJson.js';
+import { MAX_NEGATIVE_CLAIMS } from '../../../integrity/negative-claim/limits.js';
+import { MAX_CITED_READS } from '../../../integrity/negative-claim/citation.js';
+import { resolveNegativeClaimPhrases, } from '../../../integrity/negative-claim/phrases.js';
+export const NEGATIVE_HANDLE_PATTERN = '^r[1-9][0-9]{0,3}$';
+const KINDS = ['none', 'not-found', 'complete'];
+const FIELDS = ['kind', 'about', 'restsOn'];
+const fail = (message) => {
+    throw new Error(`Agent.negativeClaims: ${message}`);
+};
+const record = (value) => value !== null && typeof value === 'object' && !Array.isArray(value);
+/** Validate once, without keeping any mutable caller-owned arrays. */
+export function resolveNegativeClaims(options) {
+    let source;
+    try {
+        source = ownData(options);
+    }
+    catch {
+        return fail('options must be a plain data object.');
+    }
+    if (['strictProse', 'enforceProse'].some((key) => Object.hasOwn(source, key))) {
+        return fail('strictProse and enforceProse options are not available; prose is observed, never enforced.');
+    }
+    if (Object.keys(source).some((key) => !['field', 'tools', 'unestablished', 'prose', 'phrases'].includes(key))) {
+        return fail('options accept only field, tools, unestablished, prose and phrases.');
+    }
+    const phrases = source.phrases === undefined
+        ? undefined
+        : resolveNegativeClaimPhrases(source.phrases);
+    if (Object.hasOwn(source, 'prose')) {
+        if (source.prose !== true ||
+            ['field', 'tools', 'unestablished'].some((key) => Object.hasOwn(source, key)))
+            return fail('prose must be true and cannot be combined with field, tools or unestablished.');
+        return Object.freeze({ mode: 'prose', ...(phrases !== undefined && { phrases }) });
+    }
+    const field = source.field;
+    if (typeof field !== 'string' ||
+        !/^[A-Za-z_][A-Za-z0-9_-]{0,127}$/.test(field) ||
+        field === '_findings') {
+        return fail('field must name one top-level answer property (letters, digits, underscore or hyphen), not _findings.');
+    }
+    const tools = source.tools;
+    if (!Array.isArray(tools) ||
+        tools.length === 0 ||
+        tools.length > 256 ||
+        tools.some((name) => typeof name !== 'string' || name.trim().length === 0 || name.length > 256)) {
+        return fail('tools must be a non-empty list of at most 256 registered tool names.');
+    }
+    if (new Set(tools).size !== tools.length)
+        return fail('tools must not repeat a name.');
+    const unestablished = source.unestablished ?? 'withhold';
+    if (unestablished !== 'withhold' && unestablished !== 'state-searched') {
+        return fail("unestablished must be 'withhold' or 'state-searched'.");
+    }
+    return Object.freeze({
+        mode: 'typed',
+        field,
+        tools: Object.freeze([...tools]),
+        unestablished,
+        ...(phrases !== undefined && { phrases }),
+    });
+}
+/** Provider-only and MCP tools cannot become trusted by being named in this list. */
+export function assertNegativeClaimsTools(config, tools) {
+    for (const name of config.tools) {
+        const tool = tools.find((candidate) => candidate.schema.name === name);
+        if (tool === undefined)
+            return fail(`tool '${name}' is not registered locally; register it with .tool() or a skill.`);
+        if (tool.source !== undefined)
+            return fail(`tool '${name}' is remote; only local tools may supply typed negative evidence.`);
+        // `among` is returned by execute, not declared on Tool. A local tool with
+        // no search therefore stays eligible, but establishes nothing unless an
+        // admitted among result supplies its coverage at the runtime boundary.
+    }
+}
+function schemaObject(value, at) {
+    return record(value) ? value : fail(`${at} must be declared directly in the output JSON Schema.`);
+}
+/** Build the model-facing copy. A parse function is never executed to infer a schema.
+ * Root/field/item references and unions are deliberately not guessed: expose this
+ * one citation field directly while the rest of the app's schema is preserved. */
+export function negativeClaimsSchema(config, schema) {
+    if (schema === undefined)
+        return fail('requires outputSchema(..., { jsonSchema }) or a parser with toJsonSchema(); the library cannot inspect a parse function.');
+    let root;
+    try {
+        root = copyJson(schema, 1024 * 1024, false);
+    }
+    catch {
+        return fail('the output JSON Schema must be bounded plain JSON data.');
+    }
+    if (root.type !== 'object')
+        return fail('the output JSON Schema must declare an object.');
+    const properties = schemaObject(root.properties, 'output properties');
+    if (!Object.hasOwn(properties, config.field))
+        return fail(`field '${config.field}' is not declared by the output JSON Schema.`);
+    if (!Array.isArray(root.required) || !root.required.includes(config.field)) {
+        return fail(`field '${config.field}' must be required; use an empty array when there is no typed claim.`);
+    }
+    const field = schemaObject(properties[config.field], `field '${config.field}'`);
+    if (field.type !== 'array')
+        return fail(`field '${config.field}' must be an array of citations.`);
+    const item = schemaObject(field.items, `items of '${config.field}'`);
+    if (item.type !== 'object')
+        return fail(`items of '${config.field}' must be citation objects.`);
+    const fields = schemaObject(item.properties, `properties of '${config.field}' items`);
+    if (Object.keys(fields).some((key) => !FIELDS.includes(key))) {
+        return fail(`'${config.field}' entries declare only kind, about and restsOn; statement, delivery and version are library-owned output fields.`);
+    }
+    const required = item.required;
+    if (!Array.isArray(required) ||
+        !required.includes('kind') ||
+        !required.includes('restsOn') ||
+        required.some((key) => typeof key !== 'string' || !Object.hasOwn(fields, key))) {
+        return fail(`'${config.field}' entries must require kind and restsOn and declare each required property.`);
+    }
+    const kind = schemaObject(fields.kind, 'kind');
+    if (kind.type !== 'string' ||
+        (kind.enum !== undefined &&
+            (!Array.isArray(kind.enum) ||
+                kind.enum.length === 0 ||
+                kind.enum.some((value) => !KINDS.includes(value))))) {
+        return fail("kind must be a string restricted to 'none', 'not-found' or 'complete'.");
+    }
+    const about = fields.about === undefined ? undefined : schemaObject(fields.about, 'about');
+    const aboutTypes = about === undefined ? [] : Array.isArray(about.type) ? about.type : [about.type];
+    if (about !== undefined &&
+        (aboutTypes.length === 0 ||
+            aboutTypes.some((type) => !['string', 'number', 'integer'].includes(type)))) {
+        return fail('about must declare a string or number, never null.');
+    }
+    const restsOn = schemaObject(fields.restsOn, 'restsOn');
+    const handle = schemaObject(restsOn.items, 'restsOn.items');
+    if (restsOn.type !== 'array' || handle.type !== 'string')
+        return fail('restsOn must be an array of string handles.');
+    if (handle.pattern !== undefined && handle.pattern !== NEGATIVE_HANDLE_PATTERN) {
+        return fail(`restsOn handles must use pattern '${NEGATIVE_HANDLE_PATTERN}'.`);
+    }
+    const cap = (node, maximum, at) => {
+        for (const key of ['minItems', 'maxItems']) {
+            if (node[key] !== undefined &&
+                (typeof node[key] !== 'number' ||
+                    !Number.isSafeInteger(node[key]) ||
+                    node[key] < 0)) {
+                return fail(`${at}.${key} must be a non-negative integer.`);
+            }
+        }
+        if (typeof node.minItems === 'number' && node.minItems > maximum)
+            return fail(`${at}.minItems exceeds the checker limit ${maximum}.`);
+        node.maxItems = typeof node.maxItems === 'number' ? Math.min(node.maxItems, maximum) : maximum;
+        if (typeof node.minItems === 'number' && node.minItems > node.maxItems)
+            return fail(`${at} has incompatible item bounds.`);
+    };
+    cap(field, MAX_NEGATIVE_CLAIMS, config.field);
+    cap(restsOn, MAX_CITED_READS, 'restsOn');
+    restsOn.minItems = Math.max(typeof restsOn.minItems === 'number' ? restsOn.minItems : 0, 1);
+    if (restsOn.maxItems < restsOn.minItems)
+        return fail('restsOn must permit at least one handle.');
+    handle.pattern = NEGATIVE_HANDLE_PATTERN;
+    kind.enum ??= [...KINDS];
+    if (about !== undefined && aboutTypes.includes('string')) {
+        about.minLength = Math.max(typeof about.minLength === 'number' ? about.minLength : 0, 1);
+        about.maxLength = Math.min(typeof about.maxLength === 'number' ? about.maxLength : 256, 256);
+    }
+    item.additionalProperties = false;
+    return copyJson(root, 1024 * 1024, true);
+}
+/** One always-on instruction; handles themselves are served beside admitted results. */
+export function negativeClaimsInstruction(config, schema) {
+    const fieldSchema = schema.properties[config.field];
+    return (`The required ${JSON.stringify(config.field)} field contains typed negative citations. ` +
+        `Use only result handles served by these tools: ${JSON.stringify(config.tools)}. ` +
+        'Each entry requires kind and restsOn handles. Choose none or not-found only for an absence; ' +
+        'choose complete only to claim the returned list covers the whole declared search. ' +
+        'The library verifies that claim and only normalizes none versus not-found over declared absence. ' +
+        'If about is present, it must include every recorded population value for the cited reads. ' +
+        'Do not write statement text: the library supplies the actual searched subject and scope. ' +
+        'State negative claims only through this citation field; do not repeat them in summaries or other prose. ' +
+        'The library writes the delivered statement. Use [] when making no typed negative claim. ' +
+        `Field JSON Schema: ${JSON.stringify(fieldSchema)}`);
+}
+//# sourceMappingURL=config.js.map

package/dist/esm/core/agent/negativeClaims/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../../../src/core/agent/negativeClaims/config.ts"],"names":[],"mappings":"AAAA;;4FAE4F;AAC5F,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,+CAA+C,CAAC;AAEhF,OAAO,EACL,2BAA2B,GAG5B,MAAM,8CAA8C,CAAC;AA+DtD,MAAM,CAAC,MAAM,uBAAuB,GAAG,oBAAoB,CAAC;AAC5D,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;AAChD,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AAC5C,MAAM,IAAI,GAAG,CAAC,OAAe,EAAS,EAAE;IACtC,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,EAAE,CAAC,CAAC;AACtD,CAAC,CAAC;AACF,MAAM,MAAM,GAAG,CAAC,KAAc,EAAoC,EAAE,CAClE,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE,sEAAsE;AACtE,MAAM,UAAU,qBAAqB,CAAC,OAA8B;IAClE,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAI,CACT,4FAA4F,CAC7F,CAAC;IACJ,CAAC;IACD,IACE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CACtB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAChF,EACD,CAAC;QACD,OAAO,IAAI,CAAC,qEAAqE,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,OAAO,GACX,MAAM,CAAC,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,OAAwC,CAAC,CAAC;IACnF,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACnC,IACE,MAAM,CAAC,KAAK,KAAK,IAAI;YACrB,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAE7E,OAAO,IAAI,CAAC,+EAA+E,CAAC,CAAC;QAC/F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,iCAAiC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9C,KAAK,KAAK,WAAW,EACrB,CAAC;QACD,OAAO,IAAI,CACT,uGAAuG,CACxG,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,MAAM,GAAG,GAAG;QAClB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,EAC/F,CAAC;QACD,OAAO,IAAI,CAAC,sEAAsE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACvF,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,IAAI,UAAU,CAAC;IACzD,IAAI,aAAa,KAAK,UAAU,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAO;QACb,KAAK;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAa,CAAC;QAC5C,aAAa;QACb,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;KAC1C,CAAC,CAAC;AACL,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,yBAAyB,CACvC,MAAmC,EACnC,KAAsB;IAEtB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACvE,IAAI,IAAI,KAAK,SAAS;YACpB,OAAO,IAAI,CAAC,SAAS,IAAI,mEAAmE,CAAC,CAAC;QAChG,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAC3B,OAAO,IAAI,CAAC,SAAS,IAAI,mEAAmE,CAAC,CAAC;QAChG,0EAA0E;QAC1E,wEAAwE;QACxE,uEAAuE;IACzE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,EAAU;IAC9C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,uDAAuD,CAAC,CAAC;AACpG,CAAC;AAED;;kFAEkF;AAClF,MAAM,UAAU,oBAAoB,CAClC,MAAmC,EACnC,MAAqD;IAErD,IAAI,MAAM,KAAK,SAAS;QACtB,OAAO,IAAI,CACT,0HAA0H,CAC3H,CAAC;IACJ,IAAI,IAA6B,CAAC;IAClC,IAAI,CAAC;QACH,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,KAAK,CAA4B,CAAC;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC1F,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;IACtE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC;QAC1C,OAAO,IAAI,CAAC,UAAU,MAAM,CAAC,KAAK,8CAA8C,CAAC,CAAC;IACpF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAI,CACT,UAAU,MAAM,CAAC,KAAK,sEAAsE,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,UAAU,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,UAAU,MAAM,CAAC,KAAK,kCAAkC,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,aAAa,MAAM,CAAC,KAAK,6BAA6B,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC;IACtF,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,OAAO,IAAI,CACT,IAAI,MAAM,CAAC,KAAK,kHAAkH,CACnI,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACxB,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC1B,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAC9E,CAAC;QACD,OAAO,IAAI,CACT,IAAI,MAAM,CAAC,KAAK,6EAA6E,CAC9F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/C,IACE,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACtB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACtB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EACvD,CAAC;QACD,OAAO,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3F,MAAM,UAAU,GACd,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnF,IACE,KAAK,KAAK,SAAS;QACnB,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YACtB,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAC7E,CAAC;QACD,OAAO,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QACtD,OAAO,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,uBAAuB,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC,qCAAqC,uBAAuB,IAAI,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,IAA6B,EAAE,OAAe,EAAE,EAAU,EAAQ,EAAE;QAC/E,KAAK,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YAC3C,IACE,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS;gBACvB,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,QAAQ;oBAC5B,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,CAAC,GAAG,CAAY,GAAG,CAAC,CAAC,EAC5B,CAAC;gBACD,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,GAAG,kCAAkC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,GAAG,OAAO;YAC9D,OAAO,IAAI,CAAC,GAAG,EAAE,uCAAuC,OAAO,GAAG,CAAC,CAAC;QACtE,IAAI,CAAC,QAAQ,GAAG,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/F,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,GAAI,IAAI,CAAC,QAAmB;YAChF,OAAO,IAAI,CAAC,GAAG,EAAE,gCAAgC,CAAC,CAAC;IACvD,CAAC,CAAC;IACF,GAAG,CAAC,KAAK,EAAE,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9C,GAAG,CAAC,OAAO,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IACzC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,IAAK,OAAO,CAAC,QAAmB,GAAI,OAAO,CAAC,QAAmB;QAC7D,OAAO,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAC1D,MAAM,CAAC,OAAO,GAAG,uBAAuB,CAAC;IACzC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzF,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,oBAAoB,GAAG,KAAK,CAAC;IAClC,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,CAAsC,CAAC;AAChF,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,yBAAyB,CACvC,MAAmC,EACnC,MAAyC;IAEzC,MAAM,WAAW,GAAI,MAAM,CAAC,UAAsC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjF,OAAO,CACL,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,4CAA4C;QACxF,kDAAkD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI;QAClF,8FAA8F;QAC9F,oFAAoF;QACpF,mGAAmG;QACnG,4FAA4F;QAC5F,2FAA2F;QAC3F,0GAA0G;QAC1G,0FAA0F;QAC1F,sBAAsB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CACpD,CAAC;AACJ,CAAC"}

package/dist/esm/core/agent/negativeClaims/delivery.d.ts

@@ -0,0 +1,24 @@
+import type { TurnCall, TurnRecord, TypedNegativeRow } from '../../../integrity/negative-claim/types.js';
+import type { AnswerValidationReport } from '../../../answer-validation/types.js';
+export interface NegativeDeliveryConfig {
+    readonly field: string;
+    readonly tools: readonly string[];
+    readonly unestablished: 'withhold' | 'state-searched';
+}
+export type RuntimeNegativeCode = TypedNegativeRow['code'] | 'outside-trusted-context' | 'other-read-has-rows';
+export interface RuntimeNegativeRow extends Omit<TypedNegativeRow, 'code' | 'disposition'> {
+    readonly code: RuntimeNegativeCode;
+    readonly disposition: 'checked-fail' | 'not-applicable' | 'unreachable';
+    /** Audit-only notice; it cannot confirm, block or select evidence. */
+    readonly notes?: readonly 'absence-kind-normalized'[];
+}
+export type { DeliveredNegative } from '../../../events/payloads.js';
+export type AnswerNegatives = import('../../../events/payloads.js').AnswerNegativesPayload;
+export declare function renderNegativeCandidate(candidate: unknown, config: NegativeDeliveryConfig, record: TurnRecord, trusted: (call: TurnCall) => boolean, interpretation?: 'kind-only' | 'evidence-owned'): {
+    candidate: unknown;
+    answer: AnswerNegatives;
+    correction: boolean;
+    allowed: boolean;
+};
+/** Merge negative verdicts without manufacturing a successful host comparison. */
+export declare function reportWithNegatives(report: AnswerValidationReport, answer: AnswerNegatives, allowed: boolean): AnswerValidationReport;