audit-tools 0.52.5 → 0.54.0

package/dist/remediate/contractPipeline/derive.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/derive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EACL,qBAAqB,EACrB,QAAQ,EACR,YAAY,GAGb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,cAAc,EAAE,4BAA4B,EAAE,MAAM,eAAe,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,GAE/B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,qCAAqC,EAAE,MAAM,mCAAmC,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AAanF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,sBAAsB,CACpC,wBAAiC,EACjC,UAAyB,EAAE;IAE3B,MAAM,SAAS,GAAG,sBAAsB,CAAC,wBAAwB,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAAsB,EAAE,CAAC;IAE1C,8EAA8E;IAC9E,+EAA+E;IAC/E,wEAAwE;IACxE,+EAA+E;IAC/E,wDAAwD;IACxD,MAAM,eAAe,GAAG,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAE5E,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAE7C,uEAAuE;QACvE,yEAAyE;QACzE,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC7D,WAAW,EACT,qBAAqB,GAAG,CAAC,IAAI,+BAA+B;gBAC5D,YAAY,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI;gBACtE,wBAAwB,GAAG,CAAC,mBAAmB,IAAI,KAAK,IAAI;YAC9D,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,GAAG,CAAC,IAAI;SACjB,CAAC,CAAC;QAEH,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE;YACtC,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjE,WAAW,EAAE,SAAS;gBACtB,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,qBAAqB,EAAE,wBAAwB,CAAC,SAAS,EAAE,eAAe,CAAC;aAC5E,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE;YAC3C,WAAW,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAClE,WAAW,EAAE,wBAAwB,WAAW,EAAE;gBAClD,IAAI,EAAE,YAAY;gBAClB,UAAU,EAAE,EAAE;gBACd,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,qBAAqB,EAAE,wBAAwB,CAAC,WAAW,EAAE,eAAe,CAAC;aAC9E,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,qBAAqB,CAAC;QAC3B,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,WAAW;QACX,UAAU,EAAE,OAAO,CAAC,UAAU;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,mEAAmE;AACnE,mFAAmF;AACnF,gFAAgF;AAChF,+EAA+E;AAC/E,oFAAoF;AACpF,2EAA2E;AAC3E,+EAA+E;AAC/E,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,wEAAwE;AACxE,wEAAwE;AACxE,oEAAoE;AACpE,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,4EAA4E;AAC5E,+DAA+D;AAC/D,qEAAqE;AAErE,kFAAkF;AAClF,SAAS,wBAAwB,CAC/B,UAAkB,EAClB,wBAAiC;IAEjC,MAAM,UAAU,GACd,QAAQ,CAAC,wBAAwB,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,wBAAwB,CAAC,UAAU,CAAC;QACtF,CAAC,CAAC,wBAAwB,CAAC,UAAU;QACrC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,SAAS;QAClC,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU;YAAE,SAAS;QACnF,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,MAAM,GACV,UAAU,IAAI,OAAO,UAAU,CAAC,gBAAgB,KAAK,QAAQ;YAC3D,CAAC,CAAC,UAAU,CAAC,gBAAgB;YAC7B,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH;;;;;GAKG;AACH,MAAM,8BAA8B,GAKhC;IACF,gBAAgB,EAAE,CAAC,UAAU,EAAE,wBAAwB,EAAE,EAAE,CACzD,wBAAwB,CAAC,UAAU,EAAE,wBAAwB,CAAC;CACjE,CAAC;AAEF,MAAM,UAAU,8BAA8B,CAC5C,sBAA+B,EAC/B,wBAAiC,EACjC,UAAyB,EAAE;IAO3B,0EAA0E;IAC1E,4EAA4E;IAC5E,+DAA+D;IAC/D,6DAA6D;IAC7D,6EAA6E;IAC7E,0EAA0E;IAC1E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,sBAAsB,CAAC;QAC7C,CAAC,CAAC,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAAC;QAC9C,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GACV,QAAQ,CAAC,sBAAsB,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,sBAAsB,CAAC,gBAAgB,CAAC;QACxF,CAAC,CAAC,sBAAsB,CAAC,gBAAgB;QACzC,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;QAC/D,yEAAyE;QACzE,0EAA0E;QAC1E,uEAAuE;QACvE,6CAA6C;QAC7C,MAAM,SAAS,GAA4B,MAAM,CAAC,WAAW,CAC3D,6BAA6B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAClE,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,8BAA8B,EAAE,CAAC;YACnD,SAAS,CAAC,KAAK,CAAC,GAAG,8BAA8B,CAAC,KAAK,CAAC,CACtD,GAAG,CAAC,IAAI,EACR,wBAAwB,CACzB,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO;QACL,gBAAgB,EAAE,qCAAqC;QACvD,OAAO,EAAE,MAAM;QACf,gBAAgB;QAChB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,8EAA8E;AAC9E,yEAAyE;AACzE,+EAA+E;AAC/E,sEAAsE;AACtE,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,yBAAyB,EAAE,CAAC;AAErC,MAAM,UAAU,oBAAoB,CAAC,KAAa;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gEAAgE;AAChE,SAAS,YAAY,CAAC,UAA2B;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,CAAC,IAAI;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC;IAChC,OAAO,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AA8BD,SAAS,aAAa,CAAC,CAAW,EAAE,CAAW;IAC7C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAoC,EACpC,oBAAmD,EAAE;IAErD,MAAM,WAAW,GAAG,MAAM,EAAE,WAAW,IAAI,EAAE,CAAC;IAC9C,OAAO;QACL,UAAU,EAAE,WAAW;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,aAAa,GAAG,sBAAsB,CAC1C,CAAC,CAAC,EAAE,EACJ,CAAC,CAAC,WAAW,EACb,kCAAkC,CAAC,CAAC,CAAC,CACtC,CAAC;YACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,MAAM,OAAO,GACX,KAAK;gBACL,KAAK,CAAC,IAAI,KAAK,IAAI;gBACnB,aAAa,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,CAAC;gBACjD,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;gBACvB,CAAC,CAAC,EAAE,CAAC;YACT,OAAO;gBACL,aAAa,EAAE,CAAC,CAAC,EAAE;gBACnB,IAAI;gBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM;gBACnD,aAAa;gBACb,UAAU,EAAE,OAAO;aACpB,CAAC;QACJ,CAAC,CAAC;KACL,CAAC;AACJ,CAAC;AA6BD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAiB;IACrD,MAAM,KAAK,GACT,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,OAAO,KAAK;SACT,MAAM,CAAC,CAAC,IAAI,EAAmC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SACjE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC;SAC9C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,EAAE,EAAE,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC9C,WAAW,EAAE,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;KAC1E,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC1C,CAAC;AAOD,gFAAgF;AAChF,MAAM,UAAU,yBAAyB,CAAC,WAAoB;IAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,eAAe,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3D,CAAC,CAAC,MAAM,CAAC,eAAe;QACxB,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,IACE,QAAQ,CAAC,GAAG,CAAC;YACb,GAAG,CAAC,cAAc,KAAK,UAAU;YACjC,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,EACzC,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAoC,EACpC,aAAuB,EACvB,kBAA4B;IAE5B,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3D,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7B,CAAC;IACF,4EAA4E;IAC5E,wDAAwD;IACxD,MAAM,MAAM,GAA2D,EAAE,CAAC;IAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC;QACnE,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,GAAoC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjE,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO;YACL,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE;YACtB,KAAK,EAAE,EAAE;YACT,WAAW,EAAE,EAAE;YACf,qBAAqB,EAAE,CAAC,GAAG,GAAG,CAAC;YAC/B,yBAAyB,EAAE,EAAE;YAC7B,wBAAwB,EAAE,EAAE;YAC5B,UAAU,EAAE,EAAE;YACd,2BAA2B,EAAE,CAAC,GAAG,GAAG,CAAC;YACrC,iBAAiB,EAAE,EAAE;YACrB,MAAM,EAAE,SAAS;SAClB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAE9D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,WAAW;gBACf,KAAK,EAAE,EAAE;gBACT,WAAW,EAAE,EAAE;gBACf,qBAAqB,EAAE,EAAE;gBACzB,yBAAyB,EAAE,CAAC,GAAG,aAAa,CAAC;gBAC7C,wBAAwB,EAAE,EAAE;gBAC5B,UAAU,EAAE,EAAE;gBACd,2BAA2B,EAAE,EAAE;gBAC/B,iBAAiB,EAAE,EAAE;gBACrB,MAAM,EAAE,SAAS;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,CAAC,CAAC,CAAC,yBAAyB,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,0BAA0B,CACjC,KAAsC,EACtC,MAA8D,EAC9D,kBAA2B;IAE3B,IAAI,kBAAkB,KAAK,SAAS,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO;IAC5E,6DAA6D;IAC7D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,cAAc,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAEtC,MAAM,YAAY,GAAG,4BAA4B,CAAC,kBAAkB,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,MAAM;gBAAE,SAAS;YACjD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,SAAS,OAAO,CAAC,KAAe;IAC9B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACtD,CAAC;AAGD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;;;GAMG;AACH,MAAM,gCAAgC,GAKlC;IACF,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;IACnE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;IACvC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC;IAC7C,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;IACjD,mBAAmB,EAAE,CAAC,GAAG,EAAE,EAAE,CAC3B,OAAO,GAAG,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE;IAC5E,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC;CACpD,CAAC;AAEF,0EAA0E;AAC1E,SAAS,sBAAsB,CAAC,OAAgB;IAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAChD,0EAA0E;IAC1E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACvD,CAAC,CAAC,MAAM,CAAC,gBAAgB;QACzB,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,gBAAgB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAA2B,EAAE;QACrE,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,WAAW,CACvB,6BAA6B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;YAC3C,KAAK;YACL,gCAAgC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC;SAC7C,CAAC,CACmC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AAC/C,CAAC"}

package/dist/remediate/contractPipeline/finalizedContractFields.d.ts

@@ -1,50 +0,0 @@
-/**
- * Fields finalization COPIES VERBATIM from the drafted module contract, in
- * canonical order. This is the load-bearing interface: `deriveObligationLedger`
- * derives the obligation set and test-plan premises from it, and
- * `buildBaselineSymbolCorpus` (`changeClassification.ts`) builds the
- * change-vs-addition corpus from the declared surface — `inputs`, `outputs`,
- * `side_effects`, `validation_boundary` — so a side_effects-only edit is
- * exactly as load-bearing as an interface edit.
- */
-export declare const COPIED_MODULE_CONTRACT_FIELDS: readonly ["name", "inputs", "outputs", "invariants", "side_effects", "validation_boundary", "failure_modes"];
-/**
- * Fields finalization DERIVES from the seam reconciliation report rather than
- * copying. Excluded from the staleness projection: a re-agreed seam is not a
- * change to the interface any downstream consumes.
- */
-export declare const DERIVED_MODULE_CONTRACT_FIELDS: readonly ["seam_adjustments"];
-/**
- * Every field a finalized module contract carries — copied first, derived
- * second. The finalizer builds exactly this key set, and the reader reads
- * exactly this key set; they are two draws over one list rather than two
- * lists that happen to agree.
- */
-export declare const FINALIZED_MODULE_CONTRACT_FIELDS: readonly string[];
-/**
- * The fields the staleness projection narrows a module entry to — the COPIED
- * set alone (see this module's header for why `seam_adjustments` is excluded).
- * Exported under the name `semanticProjection.ts` already used, so the
- * projection reads the shared vocabulary instead of owning a third copy.
- */
-export declare const DERIVABLE_MODULE_CONTRACT_FIELDS: readonly string[];
-/**
- * The runtime shape of a finalized module entry as the deterministic derivers
- * read it — `name` is required and always a string; the array fields are read
- * through a defensive `string[]` coercion; `validation_boundary` is a string.
- * `seam_adjustments` is deliberately absent: no deriver reads it.
- *
- * The field NAMES here are the compiler-checked twin of
- * {@link COPIED_MODULE_CONTRACT_FIELDS}; the `satisfies` clause below is what
- * keeps the two from drifting, which is the whole point of this module.
- */
-export interface DerivableModuleContract {
-    name: string;
-    inputs: string[];
-    outputs: string[];
-    invariants: string[];
-    failure_modes: string[];
-    side_effects: string[];
-    validation_boundary: string;
-}
-//# sourceMappingURL=finalizedContractFields.d.ts.map

package/dist/remediate/contractPipeline/finalizedContractFields.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"finalizedContractFields.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/finalizedContractFields.ts"],"names":[],"mappings":"AA8BA;;;;;;;;GAQG;AACH,eAAO,MAAM,6BAA6B,8GAQhC,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,+BAAgC,CAAC;AAE5E;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC,EAAE,SAAS,MAAM,EAGtC,CAAC;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC,EAAE,SAAS,MAAM,EAE7D,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,EAAE,MAAM,CAAC;CAC7B"}

package/dist/remediate/contractPipeline/finalizedContractFields.js

@@ -1,77 +0,0 @@
-/**
- * The ONE field vocabulary of a module contract, at both layers.
- *
- * A module contract's shape was spelled out by hand in THREE places: the
- * finalizer's object literal (`derive.ts`, `deriveFinalizedModuleContracts`),
- * the defensive reader's field-by-field narrowing (`derive.ts`,
- * `readFinalizedContracts`), and the staleness projection's narrowing
- * (`semanticProjection.ts`, `DERIVABLE_MODULE_CONTRACT_FIELDS`). They had
- * already drifted — the finalizer wrote eight fields, the reader read seven,
- * and nothing made the difference (`seam_adjustments`, which finalization
- * DERIVES and no deterministic consumer reads) legible as intentional rather
- * than as a dropped field. A field added to the finalizer and forgotten in the
- * reader is a silent narrowing of everything downstream of the ledger.
- *
- * The vocabulary is therefore stated once, here, beside the finalizer that
- * writes it — with the two DISTINCTIONS the three copies were groping at made
- * explicit, because they are real:
- *
- *   - {@link COPIED_MODULE_CONTRACT_FIELDS} are copied verbatim from the drafted
- *     contract. They are the load-bearing interface, and they are what a
- *     deterministic consumer may read.
- *   - {@link DERIVED_MODULE_CONTRACT_FIELDS} are computed by finalization from
- *     the seam reconciliation report. No deterministic consumer reads them, so
- *     they are excluded from the staleness projection — a re-agreed seam
- *     changes `seam_adjustments` without changing any obligation.
- *
- * Anything that must know a module contract's field set reads it from here.
- */
-import { compareCodeUnits } from "../../shared/compareCodeUnits.js";
-/**
- * Fields finalization COPIES VERBATIM from the drafted module contract, in
- * canonical order. This is the load-bearing interface: `deriveObligationLedger`
- * derives the obligation set and test-plan premises from it, and
- * `buildBaselineSymbolCorpus` (`changeClassification.ts`) builds the
- * change-vs-addition corpus from the declared surface — `inputs`, `outputs`,
- * `side_effects`, `validation_boundary` — so a side_effects-only edit is
- * exactly as load-bearing as an interface edit.
- */
-export const COPIED_MODULE_CONTRACT_FIELDS = [
-    "name",
-    "inputs",
-    "outputs",
-    "invariants",
-    "side_effects",
-    "validation_boundary",
-    "failure_modes",
-];
-/**
- * Fields finalization DERIVES from the seam reconciliation report rather than
- * copying. Excluded from the staleness projection: a re-agreed seam is not a
- * change to the interface any downstream consumes.
- */
-export const DERIVED_MODULE_CONTRACT_FIELDS = ["seam_adjustments"];
-/**
- * Every field a finalized module contract carries — copied first, derived
- * second. The finalizer builds exactly this key set, and the reader reads
- * exactly this key set; they are two draws over one list rather than two
- * lists that happen to agree.
- */
-export const FINALIZED_MODULE_CONTRACT_FIELDS = [
-    ...COPIED_MODULE_CONTRACT_FIELDS,
-    ...DERIVED_MODULE_CONTRACT_FIELDS,
-].sort(compareCodeUnits);
-/**
- * The fields the staleness projection narrows a module entry to — the COPIED
- * set alone (see this module's header for why `seam_adjustments` is excluded).
- * Exported under the name `semanticProjection.ts` already used, so the
- * projection reads the shared vocabulary instead of owning a third copy.
- */
-export const DERIVABLE_MODULE_CONTRACT_FIELDS = [
-    ...COPIED_MODULE_CONTRACT_FIELDS,
-];
-const _everyListedFieldIsTyped = true;
-const _everyTypedFieldIsListed = true;
-void _everyListedFieldIsTyped;
-void _everyTypedFieldIsListed;
-//# sourceMappingURL=finalizedContractFields.js.map

package/dist/remediate/contractPipeline/finalizedContractFields.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"finalizedContractFields.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/finalizedContractFields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,MAAM;IACN,QAAQ;IACR,SAAS;IACT,YAAY;IACZ,cAAc;IACd,qBAAqB;IACrB,eAAe;CACP,CAAC;AAEX;;;;GAIG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,kBAAkB,CAAU,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAsB;IACjE,GAAG,6BAA6B;IAChC,GAAG,8BAA8B;CAClC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AAEzB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAsB;IACjE,GAAG,6BAA6B;CACjC,CAAC;AAoCF,MAAM,wBAAwB,GAAmD,IAAI,CAAC;AACtF,MAAM,wBAAwB,GAAmD,IAAI,CAAC;AACtF,KAAK,wBAAwB,CAAC;AAC9B,KAAK,wBAAwB,CAAC"}

package/dist/remediate/contractPipeline/idRegistry.d.ts

@@ -1,144 +0,0 @@
-/**
- * Single tool-owned authority for the contract-pipeline's id relationships
- * (S4 of the contract-authoring determinism design).
- *
- * Its block-id relationship caused the recurring "Unknown
- * finding_id" merge trap: the one-way bare-node-id to `CP-BLOCK-` block-id mint.
- * Before this module the prefix was constructed by inline string templates at
- * several sites (the DAG->plan promotion built it for both node block ids AND
- * dependency edges; the dispatch alias map built it again). With the node id and
- * prefix minted in exactly ONE place each, dispatch and merge consume the same
- * persisted identity without a reverse-mapping API.
- *
- * The block-id API is intentionally one-way: callers consume the persisted id
- * minted by `toBlockId` rather than reverse-mapping it.
- * It is a pure module — no IO, no model identity — so it is testable in
- * isolation and feeds the hash/staleness DAG cleanly.
- */
-/** The one prefix that marks a dispatch block id derived from a DAG node id. */
-export declare const CP_BLOCK_PREFIX = "CP-BLOCK-";
-/**
- * Mint the canonical bare node id for a DAG node, applying the deterministic
- * `CP-NNN` fallback when the planner-authored `node.id` is missing (the DAG is
- * parsed from an LLM envelope via an unchecked cast, so `id` can be absent at
- * runtime). This is the ONE place the fallback rule lives, so a node's finding
- * id, block id, `items`, and traceability key can never diverge.
- *
- * This closes a merge-trap: when `node.id` was missing, the finding id used this
- * fallback (`CP-001`) but the block id was built from the raw `node.id`
- * (`CP-BLOCK-undefined`), so the worker result landed in `unresolved`. Routing
- * every node-id site through `ensureNodeId` keeps the finding and block mints
- * aligned.
- */
-export declare function ensureNodeId(rawId: string | undefined, index: number): string;
-/**
- * Mint the block id for a bare DAG node id. This is the ONLY place the
- * `CP-BLOCK-` prefix is applied — every producer of a block id goes through here.
- */
-export declare function toBlockId(nodeId: string): string;
-/** The one prefix every derived obligation id carries. */
-export declare const OBLIGATION_PREFIX = "OBL-";
-/**
- * Lowercase-hyphenate a module name into the id fragment obligation ids encode.
- *
- * The ENCODER (`derive.ts`, minting `OBL-<slug>-…`) and the DECODERS (phase
- * resolution, write-scope inheritance) must agree exactly, or an obligation
- * resolves to no module and its node silently loses its phase and file scope.
- * They previously agreed by way of two identical implementations and a comment
- * saying they must stay in lockstep — a drift test made of memory. One
- * implementation, here with the rest of the id authority, cannot drift.
- */
-export declare function moduleSlug(name: string): string;
-/**
- * Mint a derived obligation id from a module name and a suffix — the ONLY place
- * the `OBL-<slug>-<suffix>` shape is applied, so the decoders above are matching
- * a format with a single author. Callers still pass the result through
- * `mintUniqueId` for collision disambiguation.
- */
-export declare function obligationId(moduleName: string, suffix: string): string;
-/**
- * The ONE exact join from a derived obligation id back to its module slug, or
- * `null` when the id carries no obligation prefix or its body is not
- * `<knownSlug>-<grammaticalSuffix>`.
- *
- * `knownSlugs` MUST be the module slugs in scope; the match is exact, so the
- * caller need not pre-sort them (the previous longest-first sort existed only
- * to arbitrate the prefix ambiguity this rule removes).
- */
-export declare function moduleSlugForObligationId(id: string, knownSlugs: ReadonlySet<string>): string | null;
-/**
- * The one shape a contract-pipeline `goal_id` may take.
- *
- * Why a grammar at all. `goal_id` is the identity JOINING fifteen artifacts —
- * `deriveFinalizedModuleContracts` carries it onto the finalized contracts,
- * `deriveObligationLedger` onto the ledger, `contract_goal_id` onto every
- * promoted finding, and `validateGoalIdConsistency` reds the run when two
- * artifacts disagree. It is the ONE id in this pipeline minted by the LLM
- * rather than by the tool (`goal_normalization` is its sole origin), and its
- * entire specification the model ever saw was the prompt placeholder
- * `<stable-identifier>`. So the format was whatever the model happened to emit:
- * observed values in this repo include `G1`, `GOAL-001`, `goal-abc`, `g`,
- * `goal-test`, and `goal-self-audit-2026-08-21-first-draw`.
- *
- * That matters because an unvalidated identity is not an identity. `goal_id`
- * becomes a path/plan-row join and a consistency key, and the entry's own
- * recorded incident is two artifacts authored in one run under `goal-test` and
- * `g` (audit finding MNT-4829db27-3) — a mismatch only the equality gate
- * catches, and only when both are present.
- *
- * The rule: a lowercase alphanumeric slug, hyphen-separated, starting with a
- * letter, between 1 and 64 characters. Deliberately PERMISSIVE about content —
- * a goal id is an opaque handle, and the model is free to name the goal
- * meaningfully — but STRICT about shape, so an empty string, a placeholder left
- * unsubstituted (`<stable-identifier>`), or a free-text sentence is refused on
- * the way in.
- *
- * A single-token id (`g`, `g1`, `auth`) is deliberately ADMITTED despite being
- * a poor name: the grammar's job is to refuse a non-identity, not to grade one,
- * and the alternative — requiring a hyphen — would retroactively invalidate ids
- * already persisted by real runs. The property the entry asks for is "minted by
- * the registry OR validated on the way in", and validation that rejects
- * everything already in the wild is a migration, not a validation.
- *
- * Kept here, beside the obligation/node/block mints, for the reason this
- * module's header gives: a grammar only one side knows is a drift test made of
- * memory. `derive.ts` validates on the way in; `validation/contractPipeline.ts`
- * and the consistency gate read the same predicate.
- */
-export declare const GOAL_ID_PATTERN: RegExp;
-/** The longest goal id the grammar admits. */
-export declare const GOAL_ID_MAX_LENGTH = 64;
-/**
- * Whether `value` is a well-formed goal id. The ONE home for the question; a
- * caller that re-spells the regex has forked the grammar.
- */
-export declare function isGoalId(value: unknown): value is string;
-/**
- * Coerce a host-supplied `goal_id` to a well-formed one, or return the empty
- * string when it cannot be repaired.
- *
- * Lowercases and slugifies rather than rejecting outright, because the LLM is
- * the producer and a near-miss (`Goal-001`, `goal_001`, `Goal 1`) is the
- * expected input shape — refusing it would strand the pipeline on a
- * formatting detail. What it will NOT do is invent an id from nothing: an
- * absent or placeholder value yields `""`, and every reader's existing
- * empty-string handling stays the signal that no goal id was established.
- * Deterministic: the same input always yields the same id.
- *
- * Case-folding is load-bearing, not cosmetic. `validateGoalIdConsistency`
- * compares ids for EXACT string equality and reds the run on any difference, so
- * under the previous verbatim read two shards that each wrote `Goal-1` and
- * `goal-1` for the same goal would fail the gate — and the failure would name a
- * mismatch where no disagreement exists. Folding on the way in makes the gate's
- * strict comparison mean what it says.
- *
- * The placeholder guard is not decoration. Slugifying alone would turn the
- * prompt's own placeholder `<stable-identifier>` into the well-formed-looking
- * `stable-identifier` — MANUFACTURING an identity out of a failure to
- * substitute one, which is strictly worse than the verbatim read it replaces
- * (that at least kept the angle brackets, so a human could see it). A value
- * that is not already slug-shaped once whitespace is trimmed is a value the
- * model did not mean as an id, so it yields `""` rather than a plausible slug.
- */
-export declare function coerceGoalId(value: unknown): string;
-//# sourceMappingURL=idRegistry.d.ts.map

package/dist/remediate/contractPipeline/idRegistry.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"idRegistry.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/idRegistry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,gFAAgF;AAChF,eAAO,MAAM,eAAe,cAAc,CAAC;AAE3C;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,KAAK,EAAE,MAAM,GACZ,MAAM,CAER;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,SAAS,CAAC;AAExC;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAEvE;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B,MAAM,GAAG,IAAI,CAUf;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,eAAO,MAAM,eAAe,QAAqC,CAAC;AAElE,8CAA8C;AAC9C,eAAO,MAAM,kBAAkB,KAAK,CAAC;AAErC;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAOxD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAgBnD"}

package/dist/remediate/contractPipeline/idRegistry.js

@@ -1,214 +0,0 @@
-/**
- * Single tool-owned authority for the contract-pipeline's id relationships
- * (S4 of the contract-authoring determinism design).
- *
- * Its block-id relationship caused the recurring "Unknown
- * finding_id" merge trap: the one-way bare-node-id to `CP-BLOCK-` block-id mint.
- * Before this module the prefix was constructed by inline string templates at
- * several sites (the DAG->plan promotion built it for both node block ids AND
- * dependency edges; the dispatch alias map built it again). With the node id and
- * prefix minted in exactly ONE place each, dispatch and merge consume the same
- * persisted identity without a reverse-mapping API.
- *
- * The block-id API is intentionally one-way: callers consume the persisted id
- * minted by `toBlockId` rather than reverse-mapping it.
- * It is a pure module — no IO, no model identity — so it is testable in
- * isolation and feeds the hash/staleness DAG cleanly.
- */
-/** The one prefix that marks a dispatch block id derived from a DAG node id. */
-export const CP_BLOCK_PREFIX = "CP-BLOCK-";
-/**
- * Mint the canonical bare node id for a DAG node, applying the deterministic
- * `CP-NNN` fallback when the planner-authored `node.id` is missing (the DAG is
- * parsed from an LLM envelope via an unchecked cast, so `id` can be absent at
- * runtime). This is the ONE place the fallback rule lives, so a node's finding
- * id, block id, `items`, and traceability key can never diverge.
- *
- * This closes a merge-trap: when `node.id` was missing, the finding id used this
- * fallback (`CP-001`) but the block id was built from the raw `node.id`
- * (`CP-BLOCK-undefined`), so the worker result landed in `unresolved`. Routing
- * every node-id site through `ensureNodeId` keeps the finding and block mints
- * aligned.
- */
-export function ensureNodeId(rawId, index) {
-    return rawId ?? `CP-${String(index + 1).padStart(3, "0")}`;
-}
-/**
- * Mint the block id for a bare DAG node id. This is the ONLY place the
- * `CP-BLOCK-` prefix is applied — every producer of a block id goes through here.
- */
-export function toBlockId(nodeId) {
-    return `${CP_BLOCK_PREFIX}${nodeId}`;
-}
-/** The one prefix every derived obligation id carries. */
-export const OBLIGATION_PREFIX = "OBL-";
-/**
- * Lowercase-hyphenate a module name into the id fragment obligation ids encode.
- *
- * The ENCODER (`derive.ts`, minting `OBL-<slug>-…`) and the DECODERS (phase
- * resolution, write-scope inheritance) must agree exactly, or an obligation
- * resolves to no module and its node silently loses its phase and file scope.
- * They previously agreed by way of two identical implementations and a comment
- * saying they must stay in lockstep — a drift test made of memory. One
- * implementation, here with the rest of the id authority, cannot drift.
- */
-export function moduleSlug(name) {
-    return name.toLowerCase().replace(/[^a-z0-9]+/gu, "-").replace(/^-+|-+$/gu, "");
-}
-/**
- * Mint a derived obligation id from a module name and a suffix — the ONLY place
- * the `OBL-<slug>-<suffix>` shape is applied, so the decoders above are matching
- * a format with a single author. Callers still pass the result through
- * `mintUniqueId` for collision disambiguation.
- */
-export function obligationId(moduleName, suffix) {
-    return `${OBLIGATION_PREFIX}${moduleSlug(moduleName) || "module"}-${suffix}`;
-}
-/**
- * The suffix GRAMMAR of a derived obligation id — the `…-<suffix>` half, and the
- * half that makes the id → module join exact rather than longest-prefix.
- *
- * Why it has to exist. The decoders (`phaseOrdinalForObligations`, the
- * promotion's module-contract attachment) recover a module from its obligation
- * ids by matching a slug against the id BODY. Two distinct module names can
- * collide there in one direction: `auth` and `auth-service` are different
- * modules, and `OBL-auth-service-contract` starts with `auth-`. Longest-slug-
- * first picks `auth-service` and happens to be right, but only because the
- * SLUG SET is what decides — a plan whose `auth-service` obligations were
- * emitted before the module registry knew that name would silently resolve them
- * to `auth`, and the node would take `auth`'s phase and file scope.
- *
- * The suffix is the tiebreak that removes the guess: once the grammar is
- * stripped, the remaining body must equal a known slug EXACTLY. A module name
- * is free-form prose, so it can contain `contract` or `inv-2`; what it cannot
- * do is make the exact-equality test pass for a DIFFERENT module, because the
- * candidate body is only ever the id minus its one grammatical suffix.
- *
- * Kept here, beside the mint, for the same reason `moduleSlug` is: a grammar
- * only the encoder knows is a drift test made of memory. `derive.ts` is the
- * encoder and imports `obligationId` from this module; the suffixed forms it
- * mints are `contract`, `inv-<n>`, and `fail-<n>`, and `mintUniqueId`
- * (`audit-tools/shared`) appends `-<n>` to disambiguate a collision.
- */
-const OBLIGATION_SUFFIX_PATTERN = /^(?:contract|inv-\d+|fail-\d+)(?:-\d+)?$/u;
-/**
- * The ONE exact join from a derived obligation id back to its module slug, or
- * `null` when the id carries no obligation prefix or its body is not
- * `<knownSlug>-<grammaticalSuffix>`.
- *
- * `knownSlugs` MUST be the module slugs in scope; the match is exact, so the
- * caller need not pre-sort them (the previous longest-first sort existed only
- * to arbitrate the prefix ambiguity this rule removes).
- */
-export function moduleSlugForObligationId(id, knownSlugs) {
-    if (!id.startsWith(OBLIGATION_PREFIX))
-        return null;
-    const body = id.slice(OBLIGATION_PREFIX.length);
-    for (let index = body.lastIndexOf("-"); index > 0; index = body.lastIndexOf("-", index - 1)) {
-        const slug = body.slice(0, index);
-        if (knownSlugs.has(slug) && OBLIGATION_SUFFIX_PATTERN.test(body.slice(index + 1))) {
-            return slug;
-        }
-    }
-    return null;
-}
-// ── The goal-id grammar ─────────────────────────────────────────────────────
-/**
- * The one shape a contract-pipeline `goal_id` may take.
- *
- * Why a grammar at all. `goal_id` is the identity JOINING fifteen artifacts —
- * `deriveFinalizedModuleContracts` carries it onto the finalized contracts,
- * `deriveObligationLedger` onto the ledger, `contract_goal_id` onto every
- * promoted finding, and `validateGoalIdConsistency` reds the run when two
- * artifacts disagree. It is the ONE id in this pipeline minted by the LLM
- * rather than by the tool (`goal_normalization` is its sole origin), and its
- * entire specification the model ever saw was the prompt placeholder
- * `<stable-identifier>`. So the format was whatever the model happened to emit:
- * observed values in this repo include `G1`, `GOAL-001`, `goal-abc`, `g`,
- * `goal-test`, and `goal-self-audit-2026-08-21-first-draw`.
- *
- * That matters because an unvalidated identity is not an identity. `goal_id`
- * becomes a path/plan-row join and a consistency key, and the entry's own
- * recorded incident is two artifacts authored in one run under `goal-test` and
- * `g` (audit finding MNT-4829db27-3) — a mismatch only the equality gate
- * catches, and only when both are present.
- *
- * The rule: a lowercase alphanumeric slug, hyphen-separated, starting with a
- * letter, between 1 and 64 characters. Deliberately PERMISSIVE about content —
- * a goal id is an opaque handle, and the model is free to name the goal
- * meaningfully — but STRICT about shape, so an empty string, a placeholder left
- * unsubstituted (`<stable-identifier>`), or a free-text sentence is refused on
- * the way in.
- *
- * A single-token id (`g`, `g1`, `auth`) is deliberately ADMITTED despite being
- * a poor name: the grammar's job is to refuse a non-identity, not to grade one,
- * and the alternative — requiring a hyphen — would retroactively invalidate ids
- * already persisted by real runs. The property the entry asks for is "minted by
- * the registry OR validated on the way in", and validation that rejects
- * everything already in the wild is a migration, not a validation.
- *
- * Kept here, beside the obligation/node/block mints, for the reason this
- * module's header gives: a grammar only one side knows is a drift test made of
- * memory. `derive.ts` validates on the way in; `validation/contractPipeline.ts`
- * and the consistency gate read the same predicate.
- */
-export const GOAL_ID_PATTERN = /^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$/u;
-/** The longest goal id the grammar admits. */
-export const GOAL_ID_MAX_LENGTH = 64;
-/**
- * Whether `value` is a well-formed goal id. The ONE home for the question; a
- * caller that re-spells the regex has forked the grammar.
- */
-export function isGoalId(value) {
-    return (typeof value === "string" &&
-        value.length > 0 &&
-        value.length <= GOAL_ID_MAX_LENGTH &&
-        GOAL_ID_PATTERN.test(value));
-}
-/**
- * Coerce a host-supplied `goal_id` to a well-formed one, or return the empty
- * string when it cannot be repaired.
- *
- * Lowercases and slugifies rather than rejecting outright, because the LLM is
- * the producer and a near-miss (`Goal-001`, `goal_001`, `Goal 1`) is the
- * expected input shape — refusing it would strand the pipeline on a
- * formatting detail. What it will NOT do is invent an id from nothing: an
- * absent or placeholder value yields `""`, and every reader's existing
- * empty-string handling stays the signal that no goal id was established.
- * Deterministic: the same input always yields the same id.
- *
- * Case-folding is load-bearing, not cosmetic. `validateGoalIdConsistency`
- * compares ids for EXACT string equality and reds the run on any difference, so
- * under the previous verbatim read two shards that each wrote `Goal-1` and
- * `goal-1` for the same goal would fail the gate — and the failure would name a
- * mismatch where no disagreement exists. Folding on the way in makes the gate's
- * strict comparison mean what it says.
- *
- * The placeholder guard is not decoration. Slugifying alone would turn the
- * prompt's own placeholder `<stable-identifier>` into the well-formed-looking
- * `stable-identifier` — MANUFACTURING an identity out of a failure to
- * substitute one, which is strictly worse than the verbatim read it replaces
- * (that at least kept the angle brackets, so a human could see it). A value
- * that is not already slug-shaped once whitespace is trimmed is a value the
- * model did not mean as an id, so it yields `""` rather than a plausible slug.
- */
-export function coerceGoalId(value) {
-    if (typeof value !== "string")
-        return "";
-    const trimmed = value.trim();
-    // Refuse anything carrying structure a goal id cannot have: angle brackets
-    // (a template placeholder), whitespace runs between words (prose), or any
-    // punctuation outside the hyphen/underscore separators we fold.
-    if (/[<>{}[\]"'`/\\.,;:!?()@#$%^&*+=|~]/u.test(trimmed))
-        return "";
-    if (/\s/u.test(trimmed) && !/^[A-Za-z0-9]+(?:[\s_-]+[A-Za-z0-9]+)+$/u.test(trimmed)) {
-        return "";
-    }
-    const slug = trimmed
-        .toLowerCase()
-        .replace(/[\s_]+/gu, "-")
-        .replace(/-+/gu, "-")
-        .replace(/^-+|-+$/gu, "");
-    return isGoalId(slug) ? slug : "";
-}
-//# sourceMappingURL=idRegistry.js.map

package/dist/remediate/contractPipeline/idRegistry.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"idRegistry.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/idRegistry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,gFAAgF;AAChF,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC;AAE3C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAyB,EACzB,KAAa;IAEb,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,OAAO,GAAG,eAAe,GAAG,MAAM,EAAE,CAAC;AACvC,CAAC;AAED,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAExC;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,UAAkB,EAAE,MAAc;IAC7D,OAAO,GAAG,iBAAiB,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,yBAAyB,GAAG,2CAA2C,CAAC;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CACvC,EAAU,EACV,UAA+B;IAE/B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClC,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,kCAAkC,CAAC;AAElE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAErC;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,MAAM,IAAI,kBAAkB;QAClC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,2EAA2E;IAC3E,0EAA0E;IAC1E,gEAAgE;IAChE,IAAI,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACnE,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACpF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO;SACjB,WAAW,EAAE;SACb,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC5B,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC"}

package/dist/remediate/contractPipeline/obligationKinds.d.ts

@@ -1,27 +0,0 @@
-/**
- * One vocabulary for contract-pipeline obligation kinds. Definition order
- * preserves the observable TESTABLE_OBLIGATION_KINDS iteration order; the
- * explicit priority rank preserves the load-bearing lens/severity order.
- */
-declare const OBLIGATION_KIND_DEFINITIONS: readonly [{
-    readonly kind: "invariant";
-    readonly testable: true;
-    readonly priority: 3;
-}, {
-    readonly kind: "behavioral";
-    readonly testable: true;
-    readonly priority: 2;
-}, {
-    readonly kind: "structural";
-    readonly testable: false;
-    readonly priority: 1;
-}, {
-    readonly kind: "test";
-    readonly testable: false;
-    readonly priority: 0;
-}];
-export type ObligationKind = (typeof OBLIGATION_KIND_DEFINITIONS)[number]["kind"];
-export declare const OBLIGATION_KIND_PRIORITY: readonly ObligationKind[];
-export declare const TESTABLE_OBLIGATION_KINDS: Set<string>;
-export {};
-//# sourceMappingURL=obligationKinds.d.ts.map

package/dist/remediate/contractPipeline/obligationKinds.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"obligationKinds.d.ts","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/obligationKinds.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,QAAA,MAAM,2BAA2B;;;;;;;;;;;;;;;;EAKvB,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;AAElF,eAAO,MAAM,wBAAwB,EAAE,SAAS,cAAc,EAIpC,CAAC;AAE3B,eAAO,MAAM,yBAAyB,aAErC,CAAC"}

package/dist/remediate/contractPipeline/obligationKinds.js

@@ -1,18 +0,0 @@
-/**
- * One vocabulary for contract-pipeline obligation kinds. Definition order
- * preserves the observable TESTABLE_OBLIGATION_KINDS iteration order; the
- * explicit priority rank preserves the load-bearing lens/severity order.
- */
-const OBLIGATION_KIND_DEFINITIONS = [
-    { kind: "invariant", testable: true, priority: 3 },
-    { kind: "behavioral", testable: true, priority: 2 },
-    { kind: "structural", testable: false, priority: 1 },
-    { kind: "test", testable: false, priority: 0 },
-];
-export const OBLIGATION_KIND_PRIORITY = [
-    ...OBLIGATION_KIND_DEFINITIONS,
-]
-    .sort((left, right) => left.priority - right.priority)
-    .map(({ kind }) => kind);
-export const TESTABLE_OBLIGATION_KINDS = new Set(OBLIGATION_KIND_DEFINITIONS.filter(({ testable }) => testable).map(({ kind }) => kind));
-//# sourceMappingURL=obligationKinds.js.map

package/dist/remediate/contractPipeline/obligationKinds.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"obligationKinds.js","sourceRoot":"","sources":["../../../src/remediate/contractPipeline/obligationKinds.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,2BAA2B,GAAG;IAClC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAClD,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnD,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpD,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;CACtC,CAAC;AAIX,MAAM,CAAC,MAAM,wBAAwB,GAA8B;IACjE,GAAG,2BAA2B;CAC/B;KACE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;KACrD,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAE3B,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAC9C,2BAA2B,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CACvF,CAAC"}