@securecode-ai/mcp 0.5.4 → 0.5.6

package/dist/attack/verifyLoop.js.map

@@ -1 +1 @@
-{"version":3,"file":"verifyLoop.js","sourceRoot":"","sources":["../../src/attack/verifyLoop.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAoCA,sCAqFC;AAzHD,2CAA6B;AAC7B,8DAA8E;AAC9E,0DAAuG;AAgCvG,MAAM,UAAU,GAAG,CAAC,CAAC;AAEd,KAAK,UAAU,aAAa,CAAC,IAAuB;IACvD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IACpG,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,IAAI,cAAc,GAAG,EAAE,CAAC;IACxB,IAAI,cAAc,GAAG,EAAE,CAAC;IAExB,MAAM,WAAW,GAAG,IAAA,6BAAa,EAAC,aAAa,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,QAAQ;QAC/B,CAAC,CAAC,IAAA,yCAAyB,EAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACnH,CAAC,CAAC,EAAE,CAAC;IAET,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,UAAU,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,KAAK,sBAAsB,CAAC,CAAC;QAEtE,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAyB,kBAAkB,EAAE;YAC9E,IAAI;YACJ,QAAQ;YACR,iBAAiB,EAAE,OAAO,CAAC,IAAI;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,QAAQ;YACR,YAAY;YACZ,cAAc,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;YACtE,cAAc,EAAE,WAAW,CAAC,OAAO;YACnC,eAAe,EAAE,WAAW,CAAC,MAAM;YACnC,WAAW,EAAE,aAAa;YAC1B,kBAAkB;SACrB,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1C,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,OAAO,CAAC,UAAU,IAAI,wDAAwD;gBACtF,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;aACjB,CAAC;QACN,CAAC;QAED,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEpG,UAAU,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,KAAK,mBAAmB,CAAC,CAAC;QAEnE,MAAM,UAAU,GAAoB,MAAM,IAAA,8BAAY,EAClD,OAAO,CAAC,UAAU,EAClB,MAAM,EACN,aAAa,CAChB,CAAC;QAEF,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;QAEnC,UAAU,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,KAAK,uBAAuB,CAAC,CAAC;QAEvE,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAwB,iBAAiB,EAAE;YAChF,iBAAiB,EAAE,OAAO,CAAC,IAAI;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,KAAK;YACL,SAAS,EAAE,UAAU;SACxB,CAAC,CAAC;QAEH,IAAI,WAAW,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;QACxI,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;QAC1I,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,WAAW,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;YAClD,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,IAAI,0BAA0B,KAAK,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;QAC7L,CAAC;QAED,cAAc,CAAC,IAAI,CAAC,SAAS,KAAK,KAAK,UAAU,CAAC,OAAO,MAAM,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,iBAAiB,UAAU,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACtK,CAAC"}
+{"version":3,"file":"verifyLoop.js","sourceRoot":"","sources":["../../src/attack/verifyLoop.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6FA,sCA6ZC;AA1fD,2CAA6B;AAC7B,8DAA8E;AAC9E,0DAAuG;AAGvG,2DAI6B;AAmfpB,oGAtfL,uCAAmB,OAsfK;AAAE,oGArf1B,uCAAmB,OAqf0B;AAlfjD,2DAAoG;AACpG,6CAAqE;AACrE,2CAAoE;AACpE,iDAAiD;AA8EjD,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAE3B,KAAK,UAAU,aAAa,CAAC,IAAuB;IACvD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IACpG,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC;IACnC,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,IAAI,UAAU,CAAC;IAC/D,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,IAAI,cAAc,GAAG,EAAE,CAAC;IACxB,IAAI,cAAc,GAAG,EAAE,CAAC;IAExB,8EAA8E;IAC9E,MAAM,SAAS,GAAG,OAAO;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,EAAE,OAAO,CAAC,MAAM,CAAC,mBAAmB,CAAC;QACtE,CAAC,CAAC,sBAAsB,CAAC;IAE7B,MAAM,WAAW,GAAG,IAAA,6BAAa,EAAC,aAAa,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC5D,MAAM,kBAAkB,GAAG,QAAQ;QAC/B,CAAC,CAAC,IAAA,yCAAyB,EAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACnH,CAAC,CAAC,EAAE,CAAC;IAET,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;QAC7B,OAAO;YACH,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,WAAW,CAAC,UAAU,IAAI,qDAAqD;YACvF,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,iBAAiB;SAChC,CAAC;IACN,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,8DAA8D;IAC9D,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;QAC1C,OAAO;YACH,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,+DAA+D,OAAO,CAAC,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC,WAAW,cAAc,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,WAAW,eAAe,OAAO,CAAC,kBAAkB,MAAM,OAAO,CAAC,MAAM,CAAC,cAAc,MAAM;YAChR,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,EAAE;YACd,qBAAqB,EAAE,WAAW;YAClC,UAAU,EAAE,kBAAkB;SACjC,CAAC;IACN,CAAC;IACD,IAAI,OAAO;QAAE,OAAO,CAAC,iBAAiB,IAAI,CAAC,CAAC;IAE5C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9C,uEAAuE;QACvE,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;YACxC,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,uDAAuD,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,MAAM,CAAC,WAAW,eAAe,OAAO,CAAC,kBAAkB,MAAM,OAAO,CAAC,MAAM,CAAC,cAAc,MAAM;gBACnM,UAAU,EAAE,KAAK,GAAG,CAAC;gBACrB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,qBAAqB,EAAE,WAAW;gBAClC,UAAU,EAAE,kBAAkB;aACjC,CAAC;QACN,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;QAErC,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;YACvB,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,oBAAoB;gBAC5B,UAAU,EAAE,KAAK,GAAG,CAAC;gBACrB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,SAAS;aACxB,CAAC;QACN,CAAC;QAED,UAAU,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,KAAK,sBAAsB,CAAC,CAAC;QAErE,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAyB,kBAAkB,EAAE;YACjF,IAAI;YACJ,QAAQ;YACR,iBAAiB,EAAE,OAAO,CAAC,IAAI;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,QAAQ;YACR,YAAY;YACZ,cAAc,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;YACtE,cAAc,EAAE,WAAW,CAAC,OAAO;YACnC,eAAe,EAAE,WAAW,CAAC,MAAM;YACnC,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;YAC9C,eAAe,EAAE,WAAW,CAAC,eAAe;YAC5C,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,WAAW,EAAE,aAAa;YAC1B,kBAAkB;YAClB,aAAa,EAAE,WAAW,CAAC,aAAa;YACxC,iBAAiB;SACpB,CAAC,CAAC;QACH,IAAI,OAAO;YAAE,OAAO,CAAC,aAAa,CAAE,UAAkB,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QAErE,MAAM,aAAa,GAAG,IAAA,kDAA8B,EAAC,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;YACpB,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,sDAAsD,aAAa,CAAC,KAAK,EAAE;gBACnF,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,UAAU;aACzB,CAAC;QACN,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC;QAEpC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1C,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,OAAO,CAAC,UAAU,IAAI,wDAAwD;gBACtF,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,aAAa;aAC5B,CAAC;QACN,CAAC;QAED,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAEpG,UAAU,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,KAAK,mBAAmB,CAAC,CAAC;QAElE,wEAAwE;QACxE,MAAM,aAAa,GAAG,OAAO;YACzB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,EAAE,CAAC;YAClD,CAAC,CAAC,MAAM,CAAC;QAEb,MAAM,UAAU,GAAoB,MAAM,IAAA,8BAAY,EAClD,OAAO,CAAC,UAAU,EAClB,MAAM,EACN,aAAa,EACb;YACI,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI;YACxC,SAAS,EAAE,aAAa;YACxB,MAAM,EAAE,IAAI,CAAC,MAAM;SACtB,CACJ,CAAC;QAEF,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;QAEnC,qEAAqE;QACrE,IAAI,UAAU,CAAC,OAAO,KAAK,qBAAqB,EAAE,CAAC;YAC/C,8DAA8D;YAC9D,+DAA+D;YAC/D,oEAAoE;YACpE,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;gBACjC,UAAU,EAAE,qBAAqB;aACpC,CAAC;QACN,CAAC;QACD,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACnC,6DAA6D;YAC7D,+DAA+D;YAC/D,4DAA4D;YAC5D,2BAA2B;YAC3B,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,yCAAyC,UAAU,CAAC,MAAM,EAAE;gBACpE,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,SAAS;aACxB,CAAC;QACN,CAAC;QACD,IAAI,UAAU,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YACrC,kEAAkE;YAClE,qEAAqE;YACrE,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,2CAA2C,KAAK,GAAG;gBAC3D,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,WAAW;aAC1B,CAAC;QACN,CAAC;QACD,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACnC,wDAAwD;YACxD,cAAc,CAAC,IAAI,CAAC,SAAS,KAAK,iBAAiB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACtF,IAAI,KAAK,IAAI,SAAS,EAAE,CAAC;gBACrB,OAAO;oBACH,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,wBAAwB,KAAK,YAAY;oBACjD,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,UAAU;iBACzB,CAAC;YACN,CAAC;YACD,SAAS;QACb,CAAC;QAED,UAAU,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,KAAK,uBAAuB,CAAC,CAAC;QAEtE,MAAM,cAAc,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAwB,iBAAiB,EAAE;YACnF,iBAAiB,EAAE,OAAO,CAAC,IAAI;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,KAAK;YACL,SAAS;YACT,iBAAiB;SACpB,CAAC,CAAC;QACH,IAAI,OAAO;YAAE,OAAO,CAAC,aAAa,CAAE,cAAsB,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QAEzE,MAAM,iBAAiB,GAAG,IAAA,iDAA6B,EAAC,cAAc,CAAC,CAAC;QACxE,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC;YACxB,OAAO;gBACH,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,qDAAqD,iBAAiB,CAAC,KAAK,EAAE;gBACtF,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;gBACjC,UAAU,EAAE,UAAU;aACzB,CAAC;QACN,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC;QAE5C,MAAM,WAAW,GAAG,IAAA,6BAAgB,EAAC,cAAc,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,IAAA,6BAAiB,EAAC,WAAW,EAAE;YAC9C,cAAc,EAAE,UAAU,CAAC,OAAO,IAAI,SAAS;YAC/C,UAAU,EAAE,QAAQ,IAAI,EAAE;YAC1B,UAAU,EAAE,OAAO,CAAC,IAAI;YACxB,YAAY,EAAE,CAAC;YACf,YAAY,EAAE,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,UAAU,EAAE,WAAW,CAAC,OAAO;YAC/B,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,iBAAiB,EAAE,CAAC;SACvB,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK;YACnC,CAAC,CAAC,IAAA,8BAAkB,EAAC,WAAW,EAAE;gBAC5B,cAAc,EAAE,UAAU,CAAC,OAAO,IAAI,SAAS;gBAC/C,UAAU,EAAE,QAAQ,IAAI,EAAE;gBAC1B,UAAU,EAAE,OAAO,CAAC,IAAI;gBACxB,YAAY,EAAE,CAAC;gBACf,YAAY,EAAE,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC5E,CAAC;YACJ,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,WAAW,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACnC,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBAC/B,MAAM,WAAW,GAAG,CAAC,CAAC;gBACtB,MAAM,UAAU,GAAqB,EAAE,CAAC;gBACxC,qDAAqD;gBACrD,UAAU,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,CAAC;oBACX,OAAO,EAAE,UAAU,CAAC,OAAgD;oBACpE,WAAW,EAAE,WAAW,CAAC,KAAK;oBAC9B,aAAa,EAAE,WAAW,CAAC,aAAa,KAAK,IAAI;oBACjD,cAAc,EAAE,WAAW,CAAC,MAAM,KAAK,UAAU;oBACjD,cAAc,EAAE,WAAW,CAAC,QAAQ;oBACpC,aAAa,EAAE,WAAW,CAAC,OAAO;iBACrC,CAAC,CAAC;gBAEH,IAAI,aAAa,GAAG,cAAc,CAAC;gBACnC,IAAI,aAAa,GAAG,WAAW,CAAC;gBAEhC,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC;oBAC1C,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO;wBAAE,MAAM;oBAChC,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE;wBAAE,MAAM;oBACjD,UAAU,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,KAAK,uBAAuB,GAAG,IAAI,WAAW,KAAK,CAAC,CAAC;oBAC7F,MAAM,SAAS,GAAG,MAAM,IAAA,8BAAY,EAChC,OAAO,CAAC,UAAU,EAClB,MAAM,EACN,IAAI,CAAC,aAAa,EAClB,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CACpJ,CAAC;oBACF,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC;oBACjC,MAAM,SAAS,GAAG,IAAA,6BAAgB,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC;oBACrD,aAAa,GAAG,SAAS,CAAC;oBAC1B,UAAU,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,GAAG;wBACb,OAAO,EAAE,SAAS,CAAC,OAAgD;wBACnE,WAAW,EAAE,SAAS,CAAC,KAAK;wBAC5B,aAAa,EAAE,SAAS,CAAC,aAAa,KAAK,IAAI;wBAC/C,cAAc,EAAE,SAAS,CAAC,MAAM,KAAK,UAAU;wBAC/C,cAAc,EAAE,SAAS,CAAC,QAAQ;wBAClC,aAAa,EAAE,SAAS,CAAC,OAAO;qBACnC,CAAC,CAAC;gBACP,CAAC;gBAED,mEAAmE;gBACnE,kEAAkE;gBAClE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,OAAO,KAAK,MAAM;oBACpB,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,aAAa;oBACf,CAAC,CAAC,cAAc,CACnB,CAAC,MAAM,CAAC;gBAET,MAAM,aAAa,GAAG,IAAA,6BAAiB,EAAC,aAAa,EAAE;oBACnD,cAAc,EAAE,UAAU,CAAC,OAAO,IAAI,SAAS;oBAC/C,UAAU,EAAE,QAAQ,IAAI,EAAE;oBAC1B,UAAU,EAAE,OAAO,CAAC,IAAI;oBACxB,YAAY,EAAE,UAAU,CAAC,MAAM;oBAC/B,YAAY,EAAE,WAAW;oBACzB,UAAU,EAAE,QAAQ;oBACpB,UAAU,EAAE,aAAa,CAAC,UAAU;iBACvC,CAAC,CAAC;gBAEH,IAAI,CAAC,aAAa,CAAC,iBAAiB,EAAE,CAAC;oBACnC,OAAO,CAAC,IAAI,CAAC,6CAA6C,WAAW,IAAI,UAAU,CAAC,MAAM,cAAc,CAAC,CAAC;oBAC1G,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK;wBACnC,CAAC,CAAC,IAAA,8BAAkB,EAAC,aAAa,EAAE;4BAC9B,cAAc,EAAE,UAAU,CAAC,OAAO,IAAI,SAAS;4BAC/C,UAAU,EAAE,QAAQ,IAAI,EAAE;4BAC1B,UAAU,EAAE,OAAO,CAAC,IAAI;4BACxB,YAAY,EAAE,UAAU,CAAC,MAAM;4BAC/B,YAAY,EAAE,WAAW;yBAC5B,CAAC;wBACJ,CAAC,CAAC,aAAa,CAAC;oBACpB,OAAO;wBACH,OAAO,EAAE,cAAc;wBACvB,MAAM,EAAE,+BAA+B,WAAW,IAAI,UAAU,CAAC,MAAM,iBAAiB,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;wBAC1H,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,cAAc;wBAC1B,UAAU,EAAE,cAAc;wBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;wBACjC,aAAa,EAAE,WAAW;wBAC1B,eAAe,EAAE,aAAa;wBAC9B,eAAe,EAAE,eAAe;wBAChC,UAAU,EAAE,UAAU;qBACzB,CAAC;gBACN,CAAC;gBAED,IAAI,aAAa,EAAE,CAAC;oBAChB,aAAa,CAAC,YAAY,GAAG,WAAW,CAAC;oBACzC,aAAa,CAAC,YAAY,GAAG,WAAW,CAAC;gBAC7C,CAAC;gBAED,MAAM,cAAc,GAAG,MAAM,IAAA,8BAAe,EAAC;oBACzC,cAAc,EAAE,IAAI;oBACpB,UAAU,EAAE,cAAc;oBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,IAAI,MAAM;oBACtD,aAAa,EAAE,IAAI,CAAC,aAAa;oBACjC,QAAQ,EAAE,QAAQ,IAAI,EAAE;oBACxB,iBAAiB,EAAE,OAAO,CAAC,IAAI;oBAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;iBACrB,CAAC,CAAC;gBAEH,IAAI,CAAC,cAAc,CAAC,cAAc,EAAE,CAAC;oBACjC,OAAO,CAAC,IAAI,CAAC,mDAAmD,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;oBACzF,IAAI,aAAa,EAAE,CAAC;wBAChB,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,kBAAkB,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC9E,CAAC;oBACD,OAAO;wBACH,OAAO,EAAE,cAAc;wBACvB,MAAM,EAAE,+DAA+D,cAAc,CAAC,MAAM,EAAE;wBAC9F,UAAU,EAAE,KAAK;wBACjB,UAAU,EAAE,cAAc;wBAC1B,UAAU,EAAE,cAAc;wBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;wBACjC,aAAa;wBACb,eAAe,EAAE,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,EAAE,6BAA6B,CAAC,EAAE;wBAC3G,eAAe,EAAE,eAAe;wBAChC,UAAU,EAAE,UAAU;qBACzB,CAAC;gBACN,CAAC;gBAED,OAAO;oBACH,OAAO,EAAE,QAAQ;oBACjB,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,eAAe,cAAc,CAAC,MAAM,GAAG;oBACpE,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,cAAc;oBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;oBACjC,aAAa;oBACb,eAAe,EAAE,UAAU;oBAC3B,eAAe,EAAE,aAAa;iBACjC,CAAC;YACN,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,0DAA0D,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5G,OAAO;gBACH,OAAO,EAAE,UAAU,CAAC,iBAAiB,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc;gBAClF,MAAM,EAAE,wBAAwB,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,WAAW,CAAC,MAAM,EAAE;gBACxI,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,cAAc;gBAC1B,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE;gBACjC,aAAa;gBACb,eAAe,EAAE,UAAU;gBAC3B,eAAe,EAAE,eAAe;gBAChC,UAAU,EAAE,UAAU,CAAC,iBAAiB,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;aACnF,CAAC;QACN,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACrC,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;QACzN,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,WAAW,IAAI,KAAK,IAAI,SAAS,EAAE,CAAC;YACjD,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,IAAI,0BAA0B,KAAK,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;QACpS,CAAC;QAED,cAAc,CAAC,IAAI,CAAC,SAAS,KAAK,KAAK,UAAU,CAAC,OAAO,MAAM,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,iBAAiB,SAAS,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AAC5L,CAAC"}

package/dist/attack/workItem.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Work item — a structured unit of investigation work that the scheduler
+ * can prioritize. Work items are derived from profile requirements and
+ * architecture-risk tasks.
+ */
+import type { EvidenceRequirement } from './evidenceLedger';
+export type WorkItemKind = 'profile-requirement' | 'architecture-risk' | 'handler-review' | 'implementation-review' | 'candidate-evidence' | 'verification-recovery';
+export type WorkItemPriority = 'critical' | 'high' | 'medium' | 'low';
+export type WorkItemStatus = 'pending' | 'active' | 'resolved' | 'refuted' | 'blocked';
+export type RequirementStatus = 'missing' | 'satisfied' | 'refuted' | 'blocked';
+export interface RequirementEvidence {
+    requirementId: string;
+    evidenceRefs: string[];
+    status: RequirementStatus;
+}
+export interface WorkItem {
+    id: string;
+    kind: WorkItemKind;
+    title: string;
+    priority: WorkItemPriority;
+    targetFiles: string[];
+    requirements: EvidenceRequirement[];
+    evidenceRefs: string[];
+    requirementEvidence: Map<string, RequirementEvidence>;
+    status: WorkItemStatus;
+    attempts: number;
+    blockedReason?: string;
+    maxAttempts: number;
+}
+export declare function createProfileWorkItem(requirement: EvidenceRequirement, targetFiles: string[]): WorkItem;
+export declare function createArchitectureRiskWorkItem(title: string, targetFiles: string[], requirements: EvidenceRequirement[]): WorkItem;
+export declare function createHandlerReviewWorkItem(filePath: string, symbol: string): WorkItem;
+export declare function createImplementationReviewWorkItem(filePath: string, symbol: string): WorkItem;
+export declare class WorkItemQueue {
+    private items;
+    add(item: WorkItem): void;
+    addAll(items: WorkItem[]): void;
+    get(id: string): WorkItem | undefined;
+    update(id: string, update: Partial<WorkItem>): void;
+    addEvidence(id: string, evidenceRef: string): void;
+    addEvidenceForRequirement(id: string, requirementId: string, evidenceRef: string): void;
+    isRequirementSatisfied(id: string, requirementId: string): boolean;
+    isFullyResolved(id: string): boolean;
+    getUnsatisfiedRequirements(id: string): EvidenceRequirement[];
+    incrementAttempt(id: string): void;
+    resolve(id: string): void;
+    forceResolve(id: string): void;
+    refute(id: string): void;
+    getPending(): WorkItem[];
+    getActive(): WorkItem[];
+    getBlocked(): WorkItem[];
+    getUnresolved(): WorkItem[];
+    getExecutable(): WorkItem[];
+    highestPriority(): WorkItem | null;
+    all(): WorkItem[];
+    size(): number;
+}

package/dist/attack/workItem.js

@@ -0,0 +1,225 @@
+"use strict";
+/**
+ * Work item — a structured unit of investigation work that the scheduler
+ * can prioritize. Work items are derived from profile requirements and
+ * architecture-risk tasks.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WorkItemQueue = void 0;
+exports.createProfileWorkItem = createProfileWorkItem;
+exports.createArchitectureRiskWorkItem = createArchitectureRiskWorkItem;
+exports.createHandlerReviewWorkItem = createHandlerReviewWorkItem;
+exports.createImplementationReviewWorkItem = createImplementationReviewWorkItem;
+let idCounter = 0;
+function nextId(prefix) {
+    idCounter++;
+    return `${prefix}-${idCounter}`;
+}
+function createProfileWorkItem(requirement, targetFiles) {
+    return {
+        id: nextId('profile'),
+        kind: 'profile-requirement',
+        title: requirement.description,
+        priority: 'high',
+        targetFiles,
+        requirements: [requirement],
+        evidenceRefs: [],
+        requirementEvidence: new Map([[requirement.id, { requirementId: requirement.id, evidenceRefs: [], status: 'missing' }]]),
+        status: 'pending',
+        attempts: 0,
+        maxAttempts: 3,
+    };
+}
+function createArchitectureRiskWorkItem(title, targetFiles, requirements) {
+    const requirementEvidence = new Map();
+    for (const req of requirements) {
+        requirementEvidence.set(req.id, { requirementId: req.id, evidenceRefs: [], status: 'missing' });
+    }
+    return {
+        id: nextId('arch-risk'),
+        kind: 'architecture-risk',
+        title,
+        priority: 'high',
+        targetFiles,
+        requirements,
+        evidenceRefs: [],
+        requirementEvidence,
+        status: 'pending',
+        attempts: 0,
+        maxAttempts: 3,
+    };
+}
+function createHandlerReviewWorkItem(filePath, symbol) {
+    const reqId = nextId('handler-req');
+    const requirement = {
+        id: reqId,
+        description: `Review handler ${symbol}`,
+        acceptedKinds: ['source-range', 'policy-result'],
+        minimumCount: 1,
+    };
+    return {
+        id: nextId('handler'),
+        kind: 'handler-review',
+        title: `Review handler: ${symbol}`,
+        priority: 'medium',
+        targetFiles: [filePath],
+        requirements: [requirement],
+        evidenceRefs: [],
+        requirementEvidence: new Map([[reqId, { requirementId: reqId, evidenceRefs: [], status: 'missing' }]]),
+        status: 'pending',
+        attempts: 0,
+        maxAttempts: 2,
+    };
+}
+function createImplementationReviewWorkItem(filePath, symbol) {
+    const reqId = nextId('impl-req');
+    const requirement = {
+        id: reqId,
+        description: `Resolve implementation of ${symbol}`,
+        acceptedKinds: ['implementation-resolution'],
+        minimumCount: 1,
+    };
+    return {
+        id: nextId('impl'),
+        kind: 'implementation-review',
+        title: `Resolve implementation for: ${symbol}`,
+        priority: 'critical',
+        targetFiles: [filePath],
+        requirements: [requirement],
+        evidenceRefs: [],
+        requirementEvidence: new Map([[reqId, { requirementId: reqId, evidenceRefs: [], status: 'missing' }]]),
+        status: 'pending',
+        attempts: 0,
+        maxAttempts: 2,
+    };
+}
+class WorkItemQueue {
+    items = new Map();
+    add(item) {
+        if (!this.items.has(item.id)) {
+            this.items.set(item.id, item);
+        }
+    }
+    addAll(items) {
+        for (const item of items)
+            this.add(item);
+    }
+    get(id) {
+        return this.items.get(id);
+    }
+    update(id, update) {
+        const item = this.items.get(id);
+        if (item) {
+            Object.assign(item, update);
+        }
+    }
+    addEvidence(id, evidenceRef) {
+        const item = this.items.get(id);
+        if (item && !item.evidenceRefs.includes(evidenceRef)) {
+            item.evidenceRefs.push(evidenceRef);
+        }
+    }
+    addEvidenceForRequirement(id, requirementId, evidenceRef) {
+        const item = this.items.get(id);
+        if (!item)
+            return;
+        if (!item.evidenceRefs.includes(evidenceRef)) {
+            item.evidenceRefs.push(evidenceRef);
+        }
+        const reqEv = item.requirementEvidence.get(requirementId);
+        if (reqEv && !reqEv.evidenceRefs.includes(evidenceRef)) {
+            reqEv.evidenceRefs.push(evidenceRef);
+            if (reqEv.status === 'missing') {
+                const req = item.requirements.find(r => r.id === requirementId);
+                if (req && reqEv.evidenceRefs.length >= req.minimumCount) {
+                    reqEv.status = 'satisfied';
+                }
+            }
+        }
+    }
+    isRequirementSatisfied(id, requirementId) {
+        const item = this.items.get(id);
+        if (!item)
+            return false;
+        const reqEv = item.requirementEvidence.get(requirementId);
+        return reqEv?.status === 'satisfied' || reqEv?.status === 'refuted';
+    }
+    isFullyResolved(id) {
+        const item = this.items.get(id);
+        if (!item)
+            return false;
+        for (const req of item.requirements) {
+            const reqEv = item.requirementEvidence.get(req.id);
+            if (!reqEv || (reqEv.status !== 'satisfied' && reqEv.status !== 'refuted')) {
+                return false;
+            }
+        }
+        return true;
+    }
+    getUnsatisfiedRequirements(id) {
+        const item = this.items.get(id);
+        if (!item)
+            return [];
+        const unsatisfied = [];
+        for (const req of item.requirements) {
+            const reqEv = item.requirementEvidence.get(req.id);
+            if (!reqEv || (reqEv.status !== 'satisfied' && reqEv.status !== 'refuted')) {
+                unsatisfied.push(req);
+            }
+        }
+        return unsatisfied;
+    }
+    incrementAttempt(id) {
+        const item = this.items.get(id);
+        if (item) {
+            item.attempts++;
+            if (item.attempts >= item.maxAttempts) {
+                item.status = 'blocked';
+                item.blockedReason = `Max attempts (${item.maxAttempts}) reached`;
+            }
+        }
+    }
+    resolve(id) {
+        const item = this.items.get(id);
+        if (item && this.isFullyResolved(id)) {
+            item.status = 'resolved';
+        }
+    }
+    forceResolve(id) {
+        this.update(id, { status: 'resolved' });
+    }
+    refute(id) {
+        this.update(id, { status: 'refuted' });
+    }
+    getPending() {
+        return [...this.items.values()].filter(i => i.status === 'pending');
+    }
+    getActive() {
+        return [...this.items.values()].filter(i => i.status === 'active');
+    }
+    getBlocked() {
+        return [...this.items.values()].filter(i => i.status === 'blocked');
+    }
+    getUnresolved() {
+        return [...this.items.values()].filter(i => i.status === 'pending' || i.status === 'active' || i.status === 'blocked');
+    }
+    getExecutable() {
+        return [...this.items.values()].filter(i => i.status === 'pending' || i.status === 'active');
+    }
+    highestPriority() {
+        const executable = this.getExecutable();
+        if (executable.length === 0)
+            return null;
+        const priorityOrder = { critical: 0, high: 1, medium: 2, low: 3 };
+        executable.sort((a, b) => priorityOrder[a.priority] - priorityOrder[b.priority]);
+        return executable[0];
+    }
+    all() {
+        return [...this.items.values()];
+    }
+    size() {
+        return this.items.size;
+    }
+}
+exports.WorkItemQueue = WorkItemQueue;
+//# sourceMappingURL=workItem.js.map

package/dist/attack/workItem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workItem.js","sourceRoot":"","sources":["../../src/attack/workItem.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AA6CH,sDAiBC;AAED,wEAsBC;AAED,kEAwBC;AAED,gFAwBC;AAnGD,IAAI,SAAS,GAAG,CAAC,CAAC;AAClB,SAAS,MAAM,CAAC,MAAc;IAC1B,SAAS,EAAE,CAAC;IACZ,OAAO,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,qBAAqB,CACjC,WAAgC,EAChC,WAAqB;IAErB,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC;QACrB,IAAI,EAAE,qBAAqB;QAC3B,KAAK,EAAE,WAAW,CAAC,WAAW;QAC9B,QAAQ,EAAE,MAAM;QAChB,WAAW;QACX,YAAY,EAAE,CAAC,WAAW,CAAC;QAC3B,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACxH,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;KACjB,CAAC;AACN,CAAC;AAED,SAAgB,8BAA8B,CAC1C,KAAa,EACb,WAAqB,EACrB,YAAmC;IAEnC,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA+B,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC;QACvB,IAAI,EAAE,mBAAmB;QACzB,KAAK;QACL,QAAQ,EAAE,MAAM;QAChB,WAAW;QACX,YAAY;QACZ,YAAY,EAAE,EAAE;QAChB,mBAAmB;QACnB,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;KACjB,CAAC;AACN,CAAC;AAED,SAAgB,2BAA2B,CACvC,QAAgB,EAChB,MAAc;IAEd,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACpC,MAAM,WAAW,GAAwB;QACrC,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,kBAAkB,MAAM,EAAE;QACvC,aAAa,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC;QAChD,YAAY,EAAE,CAAC;KAClB,CAAC;IACF,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC;QACrB,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,mBAAmB,MAAM,EAAE;QAClC,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,CAAC,QAAQ,CAAC;QACvB,YAAY,EAAE,CAAC,WAAW,CAAC;QAC3B,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACtG,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;KACjB,CAAC;AACN,CAAC;AAED,SAAgB,kCAAkC,CAC9C,QAAgB,EAChB,MAAc;IAEd,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,WAAW,GAAwB;QACrC,EAAE,EAAE,KAAK;QACT,WAAW,EAAE,6BAA6B,MAAM,EAAE;QAClD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,YAAY,EAAE,CAAC;KAClB,CAAC;IACF,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC;QAClB,IAAI,EAAE,uBAAuB;QAC7B,KAAK,EAAE,+BAA+B,MAAM,EAAE;QAC9C,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,CAAC,QAAQ,CAAC;QACvB,YAAY,EAAE,CAAC,WAAW,CAAC;QAC3B,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACtG,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,CAAC;KACjB,CAAC;AACN,CAAC;AAED,MAAa,aAAa;IACd,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE5C,GAAG,CAAC,IAAc;QACd,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,KAAiB;QACpB,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,GAAG,CAAC,EAAU;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,CAAC,EAAU,EAAE,MAAyB;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,EAAE,CAAC;YACP,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;IACL,CAAC;IAED,WAAW,CAAC,EAAU,EAAE,WAAmB;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;IACL,CAAC;IAED,yBAAyB,CAAC,EAAU,EAAE,aAAqB,EAAE,WAAmB;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAC1D,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC;gBAChE,IAAI,GAAG,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACvD,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC;gBAC/B,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,EAAU,EAAE,aAAqB;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAC1D,OAAO,KAAK,EAAE,MAAM,KAAK,WAAW,IAAI,KAAK,EAAE,MAAM,KAAK,SAAS,CAAC;IACxE,CAAC;IAED,eAAe,CAAC,EAAU;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnD,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;gBACzE,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,0BAA0B,CAAC,EAAU;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QACrB,MAAM,WAAW,GAA0B,EAAE,CAAC;QAC9C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnD,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;gBACzE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACL,CAAC;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;IAED,gBAAgB,CAAC,EAAU;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,EAAE,CAAC;YACP,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACpC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,IAAI,CAAC,aAAa,GAAG,iBAAiB,IAAI,CAAC,WAAW,WAAW,CAAC;YACtE,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,CAAC,EAAU;QACd,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC;QAC7B,CAAC;IACL,CAAC;IAED,YAAY,CAAC,EAAU;QACnB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,CAAC,EAAU;QACb,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,UAAU;QACN,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACxE,CAAC;IAED,SAAS;QACL,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACvE,CAAC;IAED,UAAU;QACN,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IACxE,CAAC;IAED,aAAa;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC3H,CAAC;IAED,aAAa;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACjG,CAAC;IAED,eAAe;QACX,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,aAAa,GAAqC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACpG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjF,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,GAAG;QACC,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACpC,CAAC;IAED,IAAI;QACA,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC3B,CAAC;CACJ;AA9ID,sCA8IC"}

package/dist/audit/findingReviewQueue.d.ts

@@ -0,0 +1,109 @@
+/**
+ * Finding review queue — non-blocking human review for INCONCLUSIVE findings.
+ *
+ * When the verify subagent cannot prove or disprove a finding (sandbox
+ * unavailable, budget exhausted, test couldn't run), the finding is added
+ * to this local review queue. The scan completes without blocking — the
+ * user can later adjudicate each item as confirmed, rejected, or deferred.
+ *
+ * Privacy contract (same as scanAuditLog.ts + agentMemory.ts):
+ *   - Source code NEVER leaves the machine.
+ *   - Evidence strings, `why` explanations, fix code, full test scripts,
+ *     and full API responses are NOT recorded. Only hashes, counts,
+ *     verdicts, file paths, and line numbers are stored.
+ *   - The review queue is per-workspace, stored at
+ *     `<workspaceRoot>/.securecode/finding-review-queue.json`.
+ *
+ * Retention:
+ *   - 500 review items per workspace.
+ *   - Resolved items pruned after 90 days.
+ *   - Unresolved items kept until explicitly resolved.
+ *
+ * Dedup: identical findings (fileHash + filePath + line + findingType +
+ * evidenceHash) are not re-enqueued — the existing item is returned.
+ */
+export type ReviewDecision = 'confirmed' | 'rejected' | 'deferred';
+export type ReviewReason = 'inconclusive-verification' | 'sandbox-unavailable' | 'verification-budget-exhausted' | 'runtime-blocked' | 'test-generation-failed' | 'manual-request';
+export interface FindingReviewItem {
+    id: string;
+    createdAt: string;
+    updatedAt: string;
+    workspaceRelativePath: string;
+    fileHash: string;
+    line: number;
+    lineEnd?: number;
+    findingType: string;
+    severity: string;
+    confidence: number;
+    proven: 'INCONCLUSIVE' | 'SKIPPED' | 'UNPROVEN';
+    reviewReason: ReviewReason;
+    /** Short verification reason, truncated to a safe length. */
+    verificationReason?: string;
+    /** SHA-256 of the evidence string — for dedup + privacy. */
+    evidenceHash: string;
+    decision?: ReviewDecision;
+    decisionReason?: string;
+    decidedAt?: string;
+}
+export interface FindingReviewQueueFile {
+    version: number;
+    items: FindingReviewItem[];
+}
+/**
+ * Load the review queue for a workspace. Returns an empty queue
+ * (version + empty array) if the file doesn't exist or is corrupt.
+ */
+export declare function loadReviewQueue(workspaceRoot: string): FindingReviewQueueFile;
+export interface EnqueueFindingReviewInput {
+    workspaceRelativePath: string;
+    fileContent: string;
+    line: number;
+    lineEnd?: number;
+    findingType: string;
+    severity: string;
+    confidence: number;
+    proven: 'INCONCLUSIVE' | 'SKIPPED' | 'UNPROVEN';
+    reviewReason: ReviewReason;
+    verificationReason?: string;
+    evidence: string;
+}
+/**
+ * Enqueue a finding for human review. Dedupes by
+ * (fileHash + filePath + line + findingType + evidenceHash).
+ * Returns the item (existing if duplicate, new otherwise).
+ *
+ * Re-enqueuing a previously-resolved item with the same dedup key
+ * reopens it (clears the decision) — the finding reappeared and needs
+ * re-review.
+ */
+export declare function enqueueFindingReview(workspaceRoot: string, input: EnqueueFindingReviewInput): FindingReviewItem;
+export interface ListFindingReviewsOptions {
+    decision?: ReviewDecision | 'pending';
+    filePath?: string;
+}
+/**
+ * List review items, optionally filtered by decision status and/or file path.
+ */
+export declare function listFindingReviews(workspaceRoot: string, options?: ListFindingReviewsOptions): FindingReviewItem[];
+/**
+ * Mark a review item as confirmed, rejected, or deferred.
+ * Returns the updated item, or null if the ID was not found.
+ */
+export declare function decideFindingReview(workspaceRoot: string, id: string, decision: ReviewDecision, reason?: string): FindingReviewItem | null;
+/**
+ * Remove a single review item by ID. Returns true if removed.
+ */
+export declare function removeFindingReview(workspaceRoot: string, id: string): boolean;
+export interface ClearFindingReviewsOptions {
+    id?: string;
+    resolvedOnly?: boolean;
+}
+/**
+ * Clear review items. If `id` is given, removes just that item.
+ * If `resolvedOnly` is true, removes only items with a decision set.
+ * Otherwise removes ALL items.
+ * Returns the count of items removed.
+ */
+export declare function clearFindingReviews(workspaceRoot: string, options?: ClearFindingReviewsOptions): number;
+export declare function formatReviewItem(item: FindingReviewItem): string;
+export declare function formatReviewList(items: FindingReviewItem[]): string;