audit-tools 0.52.3 → 0.52.5

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

@@ -1 +1 @@
-{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AA4BA,OAAO,EAOL,KAAK,eAAe,EACpB,KAAK,WAAW,EAGhB,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EAWf,MAAM,oBAAoB,CAAC;AAK5B,OAAO,EACL,wBAAwB,EACxB,KAAK,cAAc,EACpB,MAAM,wCAAwC,CAAC;AAmBhD,OAAO,EACL,oBAAoB,EAKpB,KAAK,gBAAgB,EAEtB,MAAM,kBAAkB,CAAC;AAqC1B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAwC5D,OAAO,EAKL,KAAK,+BAA+B,EACpC,KAAK,WAAW,EACjB,MAAM,wCAAwC,CAAC;AAGhD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAGzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,EAAE,WAAW,EAAoB,MAAM,cAAc,CAAC;AA6D7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AASrD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF;;;;;OAKG;IACH,QAAQ,EAAE;QACR,WAAW,EAAE,MAAM,CAAC;QACpB,EAAE,EAAE,MAAM,CAAC;QACX,cAAc,EAAE,OAAO,CAAC;QACxB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,EAAE,CAAC;IACJ,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AAiFD,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,KAAK,EAAE,OAAO,GAAG,SAAS,EAC1B,QAAQ,GAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAU,GAC7D,OAAO,CAAC,cAAc,CAAC,CAwDzB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,GAC/E,MAAM,CAiBR;AAED,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC9E;AAED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CA0DlC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACxD;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,uFAAuF;IACvF,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC;;;;;;;;;;;;;OAaG;IACH,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CAgEf;AAiDD,gFAAgF;AAChF,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,oBAAoB;IACnC,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;CACrB;AAMD,4EAA4E;AAC5E,wBAAgB,yBAAyB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAEtE;AAED;;;;;GAKG;AACH,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CA4B5C;AAED;;;;;;;GAOG;AACH,wBAAsB,wBAAwB,CAC5C,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,SAAS,wBAAwB,EAAE,GAC9C,OAAO,CAAC;IACT,QAAQ,EAAE,KAAK,CAAC,oBAAoB,GAAG;QAAE,QAAQ,EAAE,wBAAwB,CAAA;KAAE,CAAC,CAAC;IAC/E,QAAQ,EAAE,wBAAwB,EAAE,CAAC;CACtC,CAAC,CAeD;AAED;;;;;;;GAOG;AACH,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAgBrC;AAID;;;;GAIG;AAKH,KAAK,oBAAoB,GAAG,OAAO,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAM/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAAG,SAAS,GAC1D,oBAAoB,CAYtB;AAiMD,KAAK,YAAY,GACb;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAapE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAiDtF;AAID,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAkEhC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC,6BAA6B,CAAC,CAKxC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAkClG;AA6FD;;;GAGG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAa1C;AAgBD,4EAA4E;AAC5E,QAAA,MAAM,sBAAsB;;CAElB,CAAC;AAEX,KAAK,mBAAmB,GAAG,MAAM,OAAO,sBAAsB,CAAC;AAE/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AA0aD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,uDAAuD;IACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACxD,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAmbD,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,QAAQ,EAAE,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EACxC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GACzC,gBAAgB,CAwBlB;AA4/BD;;;;;;;;;GASG;AACH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE;IACvD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,MAAM,CA+CT;AAwcD;;;;;;;;GAQG;AACH,eAAO,MAAM,4BAA4B,EAAE,SAAS,MAAM,EAEzD,CAAC;AAEF;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAsCjC;AAyBD;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,wBAAwB,EAAE,CAAC;AACpC,YAAY,EAAE,cAAc,EAAE,CAAC;AAI/B;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAGnE;AAqED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,EAAE,MAAM,GACd,4BAA4B,CAqC9B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,8BAA8B,CAClD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAmB1C;AA6BD;;;;;;GAMG;AACH,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAInB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,yBAAyB;IACxC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,MAAM,GACd,yBAAyB,CAoB3B;AAED;;;;;;;GAOG;AACH,wBAAsB,4BAA4B,CAChD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAsHD;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBnB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAuBvF;AAED;;;;;;;GAOG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,GAChD,OAAO,CAAC,IAAI,CAAC,CAgWf"}
+{"version":3,"file":"contractPipeline.d.ts","sourceRoot":"","sources":["../../../src/remediate/steps/contractPipeline.ts"],"names":[],"mappings":"AACA,OAAO,EAAsC,KAAK,8BAA8B,EAAE,MAAM,+CAA+C,CAAC;AA+BxI,OAAO,EAQL,KAAK,eAAe,EACpB,KAAK,WAAW,EAGhB,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,SAAS,EAWf,MAAM,oBAAoB,CAAC;AAK5B,OAAO,EACL,wBAAwB,EACxB,KAAK,cAAc,EACpB,MAAM,wCAAwC,CAAC;AAmBhD,OAAO,EACL,oBAAoB,EAKpB,KAAK,gBAAgB,EAEtB,MAAM,kBAAkB,CAAC;AAqC1B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAyC5D,OAAO,EAKL,KAAK,+BAA+B,EACpC,KAAK,WAAW,EACjB,MAAM,wCAAwC,CAAC;AAGhD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAGzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,EAAE,WAAW,EAAoB,MAAM,cAAc,CAAC;AA6D7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,IAAI,CAAC;AAEhD,8EAA8E;AAC9E,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C;;;GAGG;AACH,eAAO,MAAM,mCAAmC,IAAI,CAAC;AASrD,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,oEAAoE,CAAC;IACrF;;;;;OAKG;IACH,QAAQ,EAAE;QACR,WAAW,EAAE,MAAM,CAAC;QACpB,EAAE,EAAE,MAAM,CAAC;QACX,cAAc,EAAE,OAAO,CAAC;QACxB,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,EAAE,CAAC;IACJ,qDAAqD;IACrD,qBAAqB,EAAE,OAAO,CAAC;CAChC;AAMD,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAWhC;AAED,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAAC,IAAI,CAAC,CAGf;AAiFD,qCAAqC;AACrC,MAAM,WAAW,cAAc;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,4BAA4B,EAClC,KAAK,EAAE,OAAO,GAAG,SAAS,EAC1B,QAAQ,GAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAU,GAC7D,OAAO,CAAC,cAAc,CAAC,CAwDzB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,GAAG,SAAS,GAC/E,MAAM,CAiBR;AAED,MAAM,WAAW,uBAAuB;IACtC,0EAA0E;IAC1E,QAAQ,EAAE,4BAA4B,EAAE,CAAC;IACzC,+EAA+E;IAC/E,OAAO,EAAE;QAAE,IAAI,EAAE,4BAA4B,CAAC;QAAC,MAAM,EAAE,eAAe,EAAE,CAAC;QAAC,WAAW,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IACpG,mFAAmF;IACnF,KAAK,CAAC,EAAE,4BAA4B,EAAE,CAAC;CACxC;AAED;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EACpB,gBAAgB,CAAC,EAAE,gBAAgB,GAClC,OAAO,CAAC,uBAAuB,CAAC,CA8ElC;AAID,MAAM,WAAW,2BAA2B;IAC1C,mEAAmE;IACnE,4BAA4B,EAAE,OAAO,CAAC;IACtC,6EAA6E;IAC7E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GAAG,SAAS,GACpC,2BAA2B,CAa7B;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAU5E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACxD;AAID,MAAM,WAAW,SAAS;IACxB,cAAc,EAAE,uDAAuD,CAAC;IACxE,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,aAAa,EAAE,MAAM,CAAC;IACtB,uDAAuD;IACvD,gBAAgB,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,uEAAuE;IACvE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,uFAAuF;IACvF,gBAAgB,EAAE,aAAa,EAAE,CAAC;IAClC;;;;;;;;;;;;;OAaG;IACH,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,wBAAsB,0BAA0B,CAC9C,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,EACzB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CAgEf;AAiDD,gFAAgF;AAChF,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,oBAAoB;IACnC,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;CACrB;AAMD,4EAA4E;AAC5E,wBAAgB,yBAAyB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAEtE;AAED;;;;;GAKG;AACH,wBAAsB,yBAAyB,CAC7C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CA4B5C;AAED;;;;;;;GAOG;AACH,wBAAsB,wBAAwB,CAC5C,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,SAAS,wBAAwB,EAAE,GAC9C,OAAO,CAAC;IACT,QAAQ,EAAE,KAAK,CAAC,oBAAoB,GAAG;QAAE,QAAQ,EAAE,wBAAwB,CAAA;KAAE,CAAC,CAAC;IAC/E,QAAQ,EAAE,wBAAwB,EAAE,CAAC;CACtC,CAAC,CAeD;AAED;;;;;;;GAOG;AACH,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,GAAG,SAAS,GAC1B,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAgBrC;AAID;;;;GAIG;AAKH,KAAK,oBAAoB,GAAG,OAAO,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAM/B,eAAe,EAAE,WAAW,CAAC,iBAAiB,CAAC,GAAG,SAAS,GAC1D,oBAAoB,CAYtB;AAYD,KAAK,SAAS,GACV;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,iBAAiB,CAAC;IAChD,yEAAyE;IACzE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB,GACD;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE;QAAE,MAAM,EAAE,oBAAoB,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,uBAAuB,EAAE,MAAM,EAAE,CAAC;CACnC,CAAC;AASN;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CA0IhF;AAID,KAAK,YAAY,GACb;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,oBAAoB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,8BAA8B,CAAA;CAAE,CAAC;AAa5G;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA4DtF;AAID,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAkEhC;AAID,MAAM,WAAW,6BAA6B;IAC5C,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,wCAAwC,CAC5D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC,6BAA6B,CAAC,CAKxC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,EACjD,MAAM,CAAC,EAAE,+BAA+B,GACvC,OAAO,CAAC;IAAE,KAAK,EAAE,uBAAuB,GAAG,qBAAqB,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAkClG;AA6FD;;;GAGG;AACH,wBAAsB,qCAAqC,CACzD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAa1C;AAgBD,4EAA4E;AAC5E,QAAA,MAAM,sBAAsB;;CAElB,CAAC;AAEX,KAAK,mBAAmB,GAAG,MAAM,OAAO,sBAAsB,CAAC;AAE/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AAuWD;;;;;;;;;;;GAWG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC;IACT,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;IAC7D,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAAC;CAChD,CAAC,CAsBD;AA4BD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAAC;IAClF,uDAAuD;IACvD,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,SAAS,CAAC;IACxD,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AA2bD,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,QAAQ,EAAE,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EACxC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GACzC,gBAAgB,CAwBlB;AA8gCD;;;;;;;;;GASG;AACH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE;IACvD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,MAAM,CA+CT;AAwcD;;;;;;;;GAQG;AACH,eAAO,MAAM,4BAA4B,EAAE,SAAS,MAAM,EAEzD,CAAC;AAEF;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,2BAA2B,GACnC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAwCjC;AAyBD;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,wBAAwB,EAAE,CAAC;AACpC,YAAY,EAAE,cAAc,EAAE,CAAC;AAI/B;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAGnE;AAqED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,OAAO,EAAE,MAAM,GACd,4BAA4B,CAqC9B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,8BAA8B,CAClD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,CAmB1C;AA6BD;;;;;;GAMG;AACH,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAInB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,WAAW,yBAAyB;IACxC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,MAAM,GACd,yBAAyB,CAoB3B;AAED;;;;;;;GAOG;AACH,wBAAsB,4BAA4B,CAChD,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAsHD;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBnB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,iBAAiB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAuBvF;AAED;;;;;;;GAOG;AACH,wBAAsB,uCAAuC,CAC3D,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAA2C,GAChD,OAAO,CAAC,IAAI,CAAC,CAqWf"}

package/dist/remediate/steps/contractPipeline.js

@@ -1,3 +1,7 @@
+import { bindContractReviewPrompt, validateContractReviewInput } from "../contractPipeline/contractReviewBinding.js";
+import { CONCEPTUAL_CRITIQUE_REPAIR_TARGETS } from "../../shared/types/contractPipeline/design.js";
+import { ImplementationContextSchema } from "../../shared/types/contractPipeline/implementation.js";
+import { CounterexampleSchema } from "../../shared/types/contractPipeline/obligations.js";
 // sites-pinned: tests/remediate/contract-pipeline.test.ts, tests/remediate/dc3.test.ts, tests/remediate/contract-pipeline-adversarial.test.ts, tests/remediate/step-prompt-sketch-drift.test.ts
 //   contract-pipeline: the promotion computes no finding field FindingSchema would drop.
 //   dc3: the fan-out wording (needs, not mechanism) and the TRANSPORT report for a
@@ -26,7 +30,7 @@
 import { existsSync } from "node:fs";
 import { mkdir, readFile, rename, rm } from "node:fs/promises";
 import { isAbsolute, join, resolve } from "node:path";
-import { writeJsonFile, readOptionalJsonFile, formatValidationIssues, hashContent, isRecord, withFsRetry, auditReadOf, projectApprovedFindings, captureStepBoundaryFriction, climbOutOfAuditTools, partitionCommandsByDeclaredShape, splitSequentialCommandChain, normalizeRepoPath, repoRelativePath, toPosixPath, neutralProjectFacts, } from "audit-tools/shared";
+import { writeJsonFile, readOptionalJsonFile, formatValidationIssues, hashContent, stableStringify, isRecord, withFsRetry, auditReadOf, projectApprovedFindings, captureStepBoundaryFriction, climbOutOfAuditTools, partitionCommandsByDeclaredShape, splitSequentialCommandChain, normalizeRepoPath, repoRelativePath, toPosixPath, neutralProjectFacts, } from "audit-tools/shared";
 import { createStepEmissionScaffold, } from "../../shared/steps/stepEmissionScaffold.js";
 import { OBLIGATION_KIND_PRIORITY, } from "../contractPipeline/obligationKinds.js";
 import { CP_ARTIFACT_NAMES, contractArtifactExists, contractArtifactFilePath, contractInputFilePath, contractPipelineDir, detectStaleArtifacts, dropReviewSnapshot, envelopePayload, envelopeSemanticHash, isEnvelope, pathASeedFilePath, payloadSemanticHash, readContractArtifact, stampToolCreatedAt, writeContractArtifact, writeDerivedContractArtifact, } from "../contractPipeline/artifactStore.js";
@@ -40,7 +44,7 @@ import { captureReviewSnapshot, computeReReviewDelta, isReviewArtifact, readRevi
 import { captureTestPlanCarry, readTestPlanCarry, } from "../contractPipeline/testPlanCarry.js";
 import { CYCLIC_SEAM_BREAK_STRATEGIES, CYCLIC_SEAM_RESOLUTION_STATUSES_OFFERED, isCyclicSeamBreakStrategy, sketchValues, } from "../contractPipeline/sketchSource.js";
 import { readRepairState, writeRepairState, counterexamplesByIdOf, counterexampleKeyOf, counterexampleWaiversPath, foldCounterexampleWaivers, waivedAcceptedIds, waivedJudgeAcceptedIds, } from "../contractPipeline/repairState.js";
-import { renderContractPipelinePrompt, renderContractRepairPrompt, CONTRACT_PIPELINE_PHASE_ORDER, PHASE_TO_ARTIFACT, } from "./contractPipelinePrompts.js";
+import { renderContractPipelinePrompt, renderContractRepairPrompt, CONTRACT_PIPELINE_PHASE_ORDER, PHASE_TO_ARTIFACT, reviewRequirementForRole, } from "./contractPipelinePrompts.js";
 // The seven cross-artifact validators this module used to call one by one are
 // gone from this list on purpose: every one of them is now reached through
 // `evaluateContractPipelineCrossGateOutcomes`, so a call site cannot read a
@@ -297,16 +301,32 @@ export function rejectionRewriteInstruction(archived) {
  * dependencies are enveloped before their dependents and dependency hashes are
  * always available.
  */
-export async function ingestContractArtifacts(artifactsDir) {
+export async function ingestContractArtifacts(artifactsDir, adversarialDepth) {
     const ingested = [];
     const invalid = [];
+    const stale = [];
+    const depth = adversarialDepth ?? (await resolveAdversarialDepth(artifactsDir)).adversarialDepth;
     for (const name of CP_ARTIFACT_NAMES) {
         const raw = await readOptionalJsonFile(contractInputFilePath(artifactsDir, name));
         if (raw === undefined || raw === null)
             continue;
         // The host writes a plain payload; defensively unwrap if an envelope slipped
         // into the input path so ingest and the validate-artifact self-check agree.
-        const bare = isEnvelope(raw) ? raw.payload : raw;
+        const role = ARTIFACT_TO_PHASE[name] ?? "";
+        const requirement = reviewRequirementForRole(role, depth);
+        const reviewed = await validateContractReviewInput({
+            artifactsDir, artifact: name, role, requirement,
+            raw: requirement === "ordinary" && isEnvelope(raw) ? raw.payload : raw,
+        });
+        if (!reviewed.ok) {
+            if (reviewed.code === "dependency_stale") {
+                stale.push(name);
+                continue;
+            }
+            invalid.push({ name, issues: [{ severity: "error", path: `${name}.review`, message: reviewed.issue }], ...(reviewed.code === "review_unavailable" ? { unavailable: true } : {}) });
+            continue;
+        }
+        const bare = reviewed.payload;
         // The host has no clock: stamp the tool-owned `created_at` before validation
         // so the host never has to invent a timestamp (B4). No-op when already present.
         const payload = stampToolCreatedAt(bare, new Date().toISOString());
@@ -315,16 +335,26 @@ export async function ingestContractArtifacts(artifactsDir) {
         // semantic projection strips the tool-stamped `created_at`, so a no-op
         // re-ingest is stable (it does NOT re-fire snapshots or rewrite the
         // envelope); only a genuine host edit re-derives.
+        const requiredIssues = reviewed.provenance
+            ? CONTRACT_PIPELINE_VALIDATORS[name](payload, name).filter(issue => issue.severity === "error")
+            : undefined;
+        if (requiredIssues && requiredIssues.length > 0) {
+            invalid.push({ name, issues: requiredIssues });
+            continue;
+        }
         const existing = await readContractArtifact(artifactsDir, name);
-        if (existing && envelopeSemanticHash(existing) === payloadSemanticHash(name, payload)) {
+        const sameReview = !reviewed.provenance || (existing?.review_provenance?.prompt_sha256 === reviewed.provenance.prompt_sha256 &&
+            existing.review_provenance.requirement === reviewed.provenance.requirement &&
+            stableStringify(existing.review_provenance.review) === stableStringify(reviewed.provenance.review));
+        if (existing && sameReview && envelopeSemanticHash(existing) === payloadSemanticHash(name, payload)) {
             continue;
         }
-        const issues = CONTRACT_PIPELINE_VALIDATORS[name](payload, name).filter((issue) => issue.severity === "error");
+        const issues = requiredIssues ?? CONTRACT_PIPELINE_VALIDATORS[name](payload, name).filter((issue) => issue.severity === "error");
         if (issues.length > 0) {
             invalid.push({ name, issues });
             continue;
         }
-        await writeContractArtifact(artifactsDir, name, payload);
+        await writeContractArtifact(artifactsDir, name, payload, reviewed.provenance);
         ingested.push(name);
         // Repair-revert fix: an ingested aggregated `module_contracts` payload (a
         // degenerate single-agent draft, or a direct edit) is written back through to
@@ -346,7 +376,7 @@ export async function ingestContractArtifacts(artifactsDir) {
             await captureTestPlanCarry(artifactsDir, payload, new Date().toISOString());
         }
     }
-    return { ingested, invalid };
+    return { ingested, invalid, ...(stale.length > 0 ? { stale } : {}) };
 }
 /**
  * Determine whether the contract pipeline should be entered for this run.
@@ -623,7 +653,7 @@ function acceptedCeIdsOf(judge) {
  * is gone: a deep-but-converging run is no longer cut mid-convergence, and a
  * genuinely non-converging run is surfaced rather than buried.
  */
-async function evaluateJudgeGate(artifactsDir) {
+export async function evaluateJudgeGate(artifactsDir) {
     const judgeEnvelope = await readContractArtifact(artifactsDir, "judge_report");
     if (!judgeEnvelope)
         return { kind: "proceed" };
@@ -683,7 +713,7 @@ async function evaluateJudgeGate(artifactsDir) {
     const alreadyHandled = repairState.repairs.some((repair) => repair.judge_hash === judgeHash);
     // Map judge.repair_directive.target if present; if absent, infer from classifications.
     //
-    // The validator admits only the three contract artifacts plus the legacy
+    // The validator admits only the declared owning artifacts plus the legacy
     // `design_spec` alias (a report from an older release); `counterexample` is
     // refused at ingestion with its reason, never swapped here. The legacy alias
     // falls through to the inferred target, as it always has.
@@ -696,7 +726,7 @@ async function evaluateJudgeGate(artifactsDir) {
             instruction: rawDirective.instruction,
         }
         : inferRepairDirective(judge);
-    const addressed = new Set(repairState.repairs.flatMap((r) => r.addressed_ce_fingerprints ??
+    const addressed = new Set(repairState.repairs.filter((repair) => (repair.target === "design_spec" ? "finalized_module_contracts" : repair.target) === directive.target).flatMap((r) => r.addressed_ce_fingerprints ??
         (r.accepted_ce_ids ?? []).map((id) => `id:${id}`)));
     const newAccepted = unwaivedAccepted.filter((id) => !addressed.has(keyOf(id)));
     const newAcceptedFingerprints = newAccepted.map(keyOf);
@@ -762,7 +792,7 @@ function blockingCritiqueIds(critique) {
  * is advisory display; the blocking-item set is the contract.
  *
  * Convergence-terminated, mirroring {@link evaluateJudgeGate}: the first blocking
- * critique ⇒ repair the design (`finalized_module_contracts`); repairing it
+ * critique ⇒ repair its declared owner (legacy: `finalized_module_contracts`); repairing it
  * re-stales and re-emits the critique (it depends on the finalized contracts), so
  * a clean re-critique ⇒ proceed (the fixpoint). A fresh critique whose blocking
  * ids were ALL already addressed by a prior repair, with none new ⇒ escalate
@@ -777,6 +807,14 @@ export async function evaluateCritiqueGate(artifactsDir) {
     const blockingIds = blockingCritiqueIds(critique);
     if (blockingIds.length === 0)
         return { kind: "proceed" };
+    const requestedTarget = isRecord(critique) ? critique.repair_target : undefined;
+    if (requestedTarget !== undefined &&
+        !CONCEPTUAL_CRITIQUE_REPAIR_TARGETS.includes(requestedTarget)) {
+        return { kind: "escalate", reason: "unsupported_target", blocking: blockingIds,
+            note: `Unsupported critique repair_target ${JSON.stringify(requestedTarget)}; correct the critique to name finalized_module_contracts or module_decomposition.` };
+    }
+    const target = requestedTarget === "module_decomposition"
+        ? "module_decomposition" : "finalized_module_contracts";
     const repairState = await readRepairState(artifactsDir);
     const critiqueRepairs = repairState.critique_repairs ?? [];
     const critiqueHash = env.content_hash;
@@ -789,9 +827,11 @@ export async function evaluateCritiqueGate(artifactsDir) {
     // Idempotent re-entry: this exact critique already drove a repair (its design
     // repair has not yet produced a fresh critique). Re-emit the same repair.
     if (alreadyHandled) {
-        return { kind: "repair", critiqueHash, blockingIds };
+        return { kind: "repair", critiqueHash, blockingIds, target };
     }
-    const addressed = new Set(critiqueRepairs.flatMap((r) => r.blocking_ids ?? []));
+    const addressed = new Set(critiqueRepairs
+        .filter((repair) => (repair.target ?? "finalized_module_contracts") === target)
+        .flatMap((repair) => repair.blocking_ids ?? []));
     const newBlocking = blockingIds.filter((id) => !addressed.has(id));
     // Runaway backstop (loud) — pathological non-convergence.
     if (critiqueRepairs.length >= MAX_CONTRACT_REPAIR_ITERATIONS) {
@@ -804,7 +844,7 @@ export async function evaluateCritiqueGate(artifactsDir) {
     }
     // Progress: a new blocking concern (or the first round) ⇒ repair the design.
     if (critiqueRepairs.length === 0 || newBlocking.length > 0) {
-        return { kind: "repair", critiqueHash, blockingIds };
+        return { kind: "repair", critiqueHash, blockingIds, target };
     }
     // Stall: every blocking concern was already addressed by a prior repair, none
     // new ⇒ the design loop is not converging ⇒ escalate to the user.
@@ -1002,7 +1042,7 @@ async function evaluatePreCriticCitationGrounding(artifactsDir, repoRoot) {
     // only at a barrel is as unfixable downstream as one that does not ground at
     // all, and the decomposition prompt states the rule as binding.
     // Its tree-readability issue repeats the citation gate's own, so it is dropped.
-    const shimIssues = (await validateDecompositionFileScope(decomposition, repoRoot)).filter((issue) => issue.path !== "decomposition_file_scope.repo_tree");
+    const shimIssues = (await validateDecompositionFileScope(decomposition, repoRoot)).issues.filter((issue) => issue.path !== "decomposition_file_scope.repo_tree");
     const errors = [...result.issues, ...shimIssues].filter((issue) => issue.severity === "error");
     if (errors.length === 0)
         return null;
@@ -1349,7 +1389,7 @@ async function propagateAggregateToShards(artifactsDir, name, payload) {
  * signal is rewritten only on a real raise. Absent signal ⇒ undefined ⇒ the
  * renderer applies its fail-safe full depth (floor is `light`, never off).
  */
-async function resolveAdversarialDepth(artifactsDir) {
+export async function resolveAdversarialDepth(artifactsDir) {
     let riskSignal = await readIntakeRiskSignal(artifactsDir);
     if (riskSignal) {
         const modules = await readDecomposedModules(artifactsDir);
@@ -1428,13 +1468,19 @@ async function writeContractPhaseStep(ctx, phase, extraSection) {
     const rendered = renderContractPipelinePrompt({
         role: phase,
         artifactPaths: ctx.artifactPaths,
+        artifactReadPaths: ctx.artifactReadPaths,
         sourcePaths: ctx.sourcePaths,
         repoRoot: ctx.root,
         pathASeedPath: ctx.pathASeedPath,
         adversarialDepth: ctx.adversarialDepth,
     });
-    return writeContractPromptStep(ctx, {
+    const prompt = await bindContractReviewPrompt({
+        artifactsDir: ctx.artifactsDir, artifact: PHASE_TO_ARTIFACT[phase], role: phase,
+        emissionId: ctx.runId, requirement: reviewRequirementForRole(phase, ctx.adversarialDepth),
         prompt: extraSection ? `${rendered.prompt}\n${extraSection}` : rendered.prompt,
+    });
+    return writeContractPromptStep(ctx, {
+        prompt,
         outputPath: rendered.outputPath,
         stopCondition: `Stop after writing the contract-pipeline output for phase "${phase}" and running next-step.`,
     });
@@ -1477,11 +1523,12 @@ async function collapsedSectionExtra(phase, artifactsDir) {
     return await buildReReviewSection(phase, artifactsDir);
 }
 async function writeCollapsedRoundTripStep(ctx, phases) {
-    const sections = await Promise.all(phases.map(async (phase) => ({
+    const sections = await Promise.all(phases.map(async (phase, index) => ({
         phase,
         rendered: renderContractPipelinePrompt({
             role: phase,
             artifactPaths: ctx.artifactPaths,
+            artifactReadPaths: Object.fromEntries(Object.entries(ctx.artifactReadPaths).filter(([name]) => !phases.slice(0, index).some(earlier => PHASE_TO_ARTIFACT[earlier] === name))),
             sourcePaths: ctx.sourcePaths,
             repoRoot: ctx.root,
             pathASeedPath: ctx.pathASeedPath,
@@ -1500,9 +1547,12 @@ If you cannot complete a section (an artifact would be malformed), write the one
 
 Artifacts to produce (in order):
 ${outputPaths.map((p, i) => `${i + 1}. \`${p}\` (${phases[i]})`).join("\n")}`;
-    const body = sections
-        .map((s) => `\n---\n\n${s.extra ? `${s.rendered.prompt}\n${s.extra}` : s.rendered.prompt}`)
-        .join("\n");
+    const boundSections = await Promise.all(sections.map(async (section) => bindContractReviewPrompt({
+        artifactsDir: ctx.artifactsDir, artifact: PHASE_TO_ARTIFACT[section.phase], role: section.phase,
+        emissionId: ctx.runId, requirement: reviewRequirementForRole(section.phase, ctx.adversarialDepth),
+        prompt: section.extra ? `${section.rendered.prompt}\n${section.extra}` : section.rendered.prompt,
+    })));
+    const body = boundSections.map(prompt => `\n---\n\n${prompt}`).join("\n");
     return writeContractPromptStep(ctx, {
         prompt: `${header}\n${body}`,
         outputPath: outputPaths[outputPaths.length - 1],
@@ -1864,10 +1914,25 @@ Only as an explicit LAST resort — an accepted, recorded decision to design aga
  * errors — LLM output is untrusted until validated.
  */
 const invalidIngestionGate = async (ctx) => {
-    const ingestion = await ingestContractArtifacts(ctx.artifactsDir);
+    const ingestion = await ingestContractArtifacts(ctx.artifactsDir, ctx.adversarialDepth);
+    for (const name of ingestion.stale ?? []) {
+        const archived = await archiveContractArtifact(ctx.artifactsDir, name, "stale", ctx.options.renameFn);
+        if (!archived.originalFree) {
+            return { via: "blocked", prompt: `# Stale review context could not be archived\n\nThe inputs to ${name} changed. Its old review cannot be accepted. Unlock or remove the stale submission at \`${contractInputFilePath(ctx.artifactsDir, name)}\` and its canonical artifact, then run next-step.`, stopCondition: "Stop until the stale review artifacts can be archived; never accept the old review." };
+        }
+    }
+    // Continue the existing staleness/consistency walk. Re-emitting this downstream
+    // reviewer now would skip upstream repairs and ask it to review invalid inputs.
     if (ingestion.invalid.length === 0)
         return null;
     const first = ingestion.invalid[0];
+    if (first.unavailable) {
+        return { via: "blocked", prompt: `# Required review context unavailable
+
+${formatValidationIssues(first.issues)}
+
+Keep the submitted declaration for diagnosis. When an independent context is available, replace the response at \`${contractInputFilePath(ctx.artifactsDir, first.name)}\` using the current bound prompt, then run \`${loaderCommand("next-step")}\`. Do not substitute self-review or remove the required review.`, stopCondition: "Stop until a review context satisfying the required policy is available." };
+    }
     const archived = await archiveContractArtifact(ctx.artifactsDir, first.name, "invalid", ctx.options.renameFn);
     return {
         via: "phase",
@@ -2084,6 +2149,7 @@ const conceptualCritiqueGate = async (ctx) => {
         if (!critiqueRepairs.some((repair) => repair.critique_hash === gate.critiqueHash)) {
             critiqueRepairs.push({
                 critique_hash: gate.critiqueHash,
+                target: gate.target,
                 at: new Date().toISOString(),
                 blocking_ids: gate.blockingIds,
             });
@@ -2092,18 +2158,19 @@ const conceptualCritiqueGate = async (ctx) => {
         }
         const rendered = renderContractRepairPrompt({
             trigger: "critique",
-            target: "finalized_module_contracts",
+            target: gate.target,
             instruction: "Revise the design to resolve every BLOCKING concern in the conceptual design critique " +
                 `(${gate.blockingIds.join(", ")}). Read conceptual_design_critique.json for each concern's ` +
-                "description, then rewrite the finalized module contracts so the blocking concerns no longer apply.",
+                `description, then apply targeted edits to ${gate.target} so the blocking concerns no longer apply.`,
             artifactPaths: ctx.artifactPaths,
+            artifactReadPaths: ctx.artifactReadPaths,
             repoRoot: ctx.root,
         });
         return {
             via: "step",
             prompt: rendered.prompt,
             outputPath: rendered.outputPath,
-            stopCondition: "Stop after rewriting finalized_module_contracts to resolve the blocking critique concerns and running next-step.",
+            stopCondition: `Stop after repairing ${gate.target} to resolve the blocking critique concerns and running next-step.`,
         };
     }
     if (gate.kind === "escalate") {
@@ -2249,6 +2316,7 @@ const judgeRepairGate = async (ctx) => {
             target: repairTarget,
             instruction: gate.directive.instruction,
             artifactPaths: ctx.artifactPaths,
+            artifactReadPaths: ctx.artifactReadPaths,
             repoRoot: ctx.root,
         });
         return {
@@ -3092,14 +3160,15 @@ export async function buildNextContractPipelineStep(options) {
     // evidence. The (possibly raised) riskSignal is also consumed by the
     // granularity-collapse gate, so it is carried on the context alongside it.
     const { riskSignal, adversarialDepth } = await resolveAdversarialDepth(artifactsDir);
-    // Resolve artifact paths for the prompt renderers. The host's world is the
-    // plain INPUT files (D3): every host-facing path — both where a role WRITES
-    // its output and where it READS its upstreams — is `<name>.input.json`. The
-    // tool's canonical envelopes (`<name>.json`) are derived at ingest and never
-    // named to the host.
+    // Writes and reads are distinct: hosts submit to *.input.json; accepted
+    // upstreams are canonical envelopes whose payload field holds domain data.
+    // Collapsed ordinary authoring sections may read staged raw outputs earlier
+    // in that same round trip, before they have been ingested.
     const artifactPaths = {};
+    const artifactReadPaths = {};
     for (const name of CP_ARTIFACT_NAMES) {
         artifactPaths[name] = contractInputFilePath(artifactsDir, name);
+        artifactReadPaths[name] = contractArtifactFilePath(artifactsDir, name);
     }
     const seedPath = pathASeedFilePath(artifactsDir);
     const ctx = {
@@ -3110,6 +3179,7 @@ export async function buildNextContractPipelineStep(options) {
         sourcePaths,
         paths: intakePaths(artifactsDir),
         artifactPaths,
+        artifactReadPaths,
         // Present only for structured_audit runs.
         pathASeedPath: existsSync(seedPath) ? seedPath : undefined,
         riskSignal,
@@ -3669,24 +3739,12 @@ export async function promoteImplementationDagToExtractedPlan(artifactsDir, root
             evidence: obligationEvidence.length > 0
                 ? obligationEvidence
                 : [node.description ?? node.title ?? `Contract-pipeline task ${id}`],
-            // NO `concrete_change`. It was `node.description` a second time — `summary`
-            // above already carries exactly that — and no consumer ever read it:
-            // `FindingSchema` never declared it, so the dispatch boundary's
-            // `FindingSchema.parse` stripped it, and no reader recovered it from the
-            // plan in between. A field the pipeline computes onto a finding that
-            // reaches no consumer is not computed.
+            // The implementation description already lives in summary.
             contract_goal_id: dag?.goal_id,
             contract_obligation_ids: contractObligations,
             verification_obligation_ids: verificationObligations,
             targeted_commands: node.targeted_commands ?? [],
-            // NO `addresses_counterexamples`, `preconditions`, or `expected_changes`.
-            // Each is a DAG-node fact whose only readers are the node-side gates
-            // (`validateImplementationDAGIntegrity` and `validateCounterexampleThreading`
-            // in `src/remediate/validation/contractPipelineGates.ts`) — they read it
-            // off the NODE, never off a finding. Copied onto the finding they were
-            // declared on no schema, read by no consumer, and dropped by the dispatch
-            // boundary's `FindingSchema.parse`. The counterexample ids still reach the
-            // finding where they ARE consumed: folded into `evidence` above.
+            // Distinct node instructions travel on the block, not the finding.
         };
     });
     if (approvedSource && canonicalItemsByNodeId.size > 0) {
@@ -3712,8 +3770,7 @@ export async function promoteImplementationDagToExtractedPlan(artifactsDir, root
                 contract_obligation_ids: contractObligations,
                 verification_obligation_ids: verificationObligations,
                 targeted_commands: [...(node.targeted_commands ?? [])],
-                // The node-only fields are deliberately NOT copied here — see the
-                // sibling block above for why.
+                // The source finding stays intact; its node instructions travel on the block.
             };
         });
     }
@@ -3742,6 +3799,10 @@ export async function promoteImplementationDagToExtractedPlan(artifactsDir, root
             };
         }
     }
+    const counterexamplePayload = envelopePayload(await readContractArtifact(artifactsDir, "counterexample"));
+    const counterexampleEntries = isRecord(counterexamplePayload) && Array.isArray(counterexamplePayload.counterexamples)
+        ? counterexamplePayload.counterexamples.map(entry => CounterexampleSchema.parse(entry)) : [];
+    const counterexamplesById = new Map(counterexampleEntries.map(entry => [entry.id, entry]));
     const blocks = nodes.map((node, index) => {
         const nodeId = ensureNodeId(node.id, index);
         const deps = (node.depends_on ?? []).map((depId) => toBlockId(depId));
@@ -3781,9 +3842,22 @@ export async function promoteImplementationDagToExtractedPlan(artifactsDir, root
             ], slugToOrdinal, lastOrdinal)
             : undefined;
         const blockModuleContracts = moduleContractsForNode(node);
+        const counterexamples = [...new Set(node.addresses_counterexamples ?? [])].map(id => {
+            const entry = counterexamplesById.get(id);
+            if (!entry)
+                throw new Error(`Implementation node ${nodeId} names missing counterexample ${id}; repair the upstream counterexample binding.`);
+            return entry;
+        });
+        const implementationContext = ImplementationContextSchema.parse({
+            ...(approvedSource && node.description ? { description: node.description } : {}),
+            ...(node.preconditions !== undefined ? { preconditions: node.preconditions } : {}),
+            ...(node.expected_changes !== undefined ? { expected_changes: node.expected_changes } : {}),
+            ...(counterexamples.length > 0 ? { counterexamples } : {}),
+        });
         return {
             block_id: toBlockId(nodeId),
             items: canonicalItemsByNodeId.get(nodeId) ?? [nodeId],
+            ...(Object.keys(implementationContext).length > 0 ? { implementation_context: implementationContext } : {}),
             // INV-remediate-pipeline-02: a block with prerequisites is never
             // wave-dispatched as independent — parallel_safe derives from depends_on.
             parallel_safe: deps.length === 0,