harness-engineering-agent 0.1.0

package/dist/verification/command-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-policy.js","sourceRoot":"","sources":["../../src/verification/command-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAG7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAGhE,MAAM,sBAAsB,GAAG,QAAQ,CAAA;AAEvC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;IACL,KAAK;IACL,QAAQ;IACR,KAAK;IACL,OAAO;CACR,CAAC,CAAA;AAEF,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,qBAAqB,EAAE,KAAK,CAAC,CAAC,CAAA;AAE9E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,IAAI;IACJ,aAAa;IACb,uBAAuB;IACvB,WAAW;IACX,UAAU;IACV,UAAU;IACV,MAAM;IACN,WAAW;IACX,QAAQ;IACR,KAAK;IACL,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,MAAM;IACN,MAAM;IACN,IAAI;IACJ,OAAO;IACP,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,UAAU;IACV,QAAQ;IACR,UAAU;IACV,WAAW;IACX,WAAW;IACX,cAAc;CACf,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAEhG,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAE3E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAErD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;AAEjD,MAAM,2BAA2B,GAAG;IAClC,OAAO,EAAE,MAAM;IACf,IAAI,EAAE,CAAC,qBAAqB,EAAE,IAAI,EAAE,2BAA2B,CAAC;CACxD,CAAA;AAMV,MAAM,OAAO,8BAA+B,SAAQ,KAAK;IAC9C,IAAI,GAAG,gCAAgC,CAAA;CACjD;AAED,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,KAG5C,EAAwB,EAAE;IACzB,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,sBAAsB,CAAA;IAC7D,MAAM,GAAG,GAAG,oBAAoB,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAA;IACrF,4BAA4B,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,CAAC,CAAA;IACtD,MAAM,IAAI,GACR,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAC3C,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACpD,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IACrD,0BAA0B,CAAC,IAAI,CAAC,CAAA;IAChC,uBAAuB,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAA;IAClE,gCAAgC,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAA;IACrE,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAA;IAC1D,2BAA2B,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;IACtD,MAAM,GAAG,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;IACzD,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO;QACzC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACnB,GAAG;QACH,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;QAClC,KAAK,EAAE,KAAK;QACZ,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;KACtC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,4BAA4B,GAAG,CAAC,aAAqB,EAAE,GAAW,EAAQ,EAAE;IAChF,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;IACxC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAC9B,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,8BAA8B,CACtC,yDAAyD,SAAS,EAAE,CACrE,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAC9B,UAAkB,EAClB,eAAuD,EACjD,EAAE;IACR,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,8BAA8B,CAAC,sCAAsC,CAAC,CAAA;IAClF,CAAC;IAED,QAAQ,eAAe,EAAE,CAAC;QACxB,KAAK,WAAW;YACd,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC3C,MAAM,IAAI,8BAA8B,CACtC,iEAAiE,UAAU,EAAE,CAC9E,CAAA;YACH,CAAC;YACD,OAAM;QACR,KAAK,iBAAiB;YACpB,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjD,MAAM,IAAI,8BAA8B,CACtC,iEAAiE,UAAU,EAAE,CAC9E,CAAA;YACH,CAAC;YACD,OAAM;QACR,KAAK,sBAAsB;YACzB,MAAM,IAAI,8BAA8B,CACtC,oEAAoE,UAAU,EAAE,CACjF,CAAA;IACL,CAAC;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAC1B,MAAiC,EACjC,eAAuD,EACjD,EAAE;IACR,IAAI,eAAe,KAAK,WAAW,EAAE,CAAC;QACpC,OAAM;IACR,CAAC;IAED,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,8BAA8B,CACtC,sDAAsD,eAAe,EAAE,CACxE,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,2BAA2B,GAAG,CAAC,OAA4B,EAAE,UAAkB,EAAQ,EAAE;IAC7F,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;IACjE,IAAI,CAAC,SAAS,IAAI,OAAO,CAAC,oBAAoB,KAAK,IAAI,EAAE,CAAC;QACxD,OAAM;IACR,CAAC;IAED,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,IAAI,8BAA8B,CACtC,yEAAyE,OAAO,CAAC,IAAI,EAAE,CACxF,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,UAAkB,EAAE,UAAkB,EAAW,EAAE;IAC7E,IAAI,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;QACzB,OAAO,oCAAoC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC9D,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CAAC,IAAuB,EAAQ,EAAE;IACnE,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,8BAA8B,CACtC,kEAAkE,KAAK,EAAE,CAC1E,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,0BAA0B,GAAG,CAAC,KAAa,EAAW,EAAE;IAC5D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,CAAA;IACb,CAAC;IAED,IACE,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,IAAI;QACd,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,IAAI,EACd,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,CAAC,GAAG,uBAAuB,CAAC,CAAC,IAAI,CACtC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAC7D,CAAA;AACH,CAAC,CAAA;AAED,MAAM,gCAAgC,GAAG,CACvC,IAAuB,EACvB,eAAuD,EACjD,EAAE;IACR,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IAErD,IAAI,UAAU,KAAK,KAAK,IAAI,2BAA2B,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAChG,MAAM,IAAI,8BAA8B,CACtC,mEAAmE,IAAI,CAAC,CAAC,CAAC,EAAE,CAC7E,CAAA;IACH,CAAC;IAED,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,wBAAwB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAA;QAC/C,OAAM;IACR,CAAC;IAED,IAAI,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAClC,kCAAkC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IACtD,CAAC;AACH,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,CAC/B,IAAuB,EACvB,eAAuD,EACjD,EAAE;IACR,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,IAAI,eAAe,KAAK,WAAW,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvE,OAAM;YACR,CAAC;YAED,IAAI,eAAe,KAAK,WAAW,EAAE,CAAC;gBACpC,MAAM,IAAI,8BAA8B,CACtC,uEAAuE,KAAK,EAAE,CAC/E,CAAA;YACH,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;YACpC,IAAI,4BAA4B,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,MAAM,IAAI,8BAA8B,CACtC,oEAAoE,KAAK,EAAE,CAC5E,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAAC,IAAuB,EAAW,EAAE;IACrE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,2BAA2B,CAAC,OAAO,EAAE,CAAC;QACpD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,CACL,IAAI,CAAC,MAAM,KAAK,CAAC,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM;QAC3D,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CACpF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,kCAAkC,GAAG,CAAC,UAAkB,EAAE,IAAuB,EAAQ,EAAE;IAC/F,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;QACzB,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QAC7C,gCAAgC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QACtD,OAAM;IACR,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACzB,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;YACxC,6BAA6B,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,OAAO,CAAC,CAAA;YAClE,gCAAgC,CAAC,UAAU,EAAE,GAAG,UAAU,OAAO,CAAC,CAAA;YAClE,OAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,6BAA6B,GAAG,CAAC,KAAyB,EAAE,MAAc,EAAQ,EAAE;IACxF,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;IAC/C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAM;IACR,CAAC;IACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrD,MAAM,IAAI,8BAA8B,CACtC,4DAA4D,MAAM,KAAK,MAAM,EAAE,CAChF,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,gCAAgC,GAAG,CAAC,IAAuB,EAAE,MAAc,EAAQ,EAAE;IACzF,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IAC3D,IAAI,gBAAgB,KAAK,KAAK,EAAE,CAAC;QAC/B,OAAM;IACR,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAChD,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAA;IACnE,IAAI,2BAA2B,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,8BAA8B,CACtC,qEAAqE,MAAM,KAAK,UAAU,EAAE,CAC7F,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,4BAA4B,GAAG,CAAC,MAAc,EAAW,EAAE;IAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;IACpC,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAA;IAChF,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CACT,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAC9F;QACD,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/B,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/B,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC;QAClC,0BAA0B,CAAC,MAAM,CAAC,CACnC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,KAAa,EAAqB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAA;AAEpG,MAAM,kBAAkB,GAAG,CAAC,KAAa,EAAqB,EAAE;IAC9D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAA;IACxD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAA;AACjE,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAA;AAEpF,MAAM,mBAAmB,GAAG,CAC1B,GAAsC,EACQ,EAAE;IAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAClG,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAA;AAClE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,KAAc,EAAW,EAAE;IACpE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,KAAK,CAAC,CAAC,OAAO,CAAA;IAC7C,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,CACtF,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}

package/dist/verification/contracts.d.ts

@@ -0,0 +1,82 @@
+import type { VerificationCommand } from "../domain/index.js";
+export declare const VerificationExecutionStatus: {
+    readonly passed: "passed";
+    readonly failed: "failed";
+    readonly timedOut: "timed_out";
+};
+export type VerificationExecutionStatusValue = (typeof VerificationExecutionStatus)[keyof typeof VerificationExecutionStatus];
+export type ProcessRunnerCommand = {
+    readonly command: string;
+    readonly args?: readonly string[];
+    readonly cwd: string;
+    readonly timeoutMs: number;
+    readonly env?: Readonly<Record<string, string>>;
+    readonly shell?: false;
+};
+export type ProcessRunnerStreamResult = {
+    readonly content: string;
+    readonly truncated: boolean;
+};
+export type ProcessRunnerResult = {
+    readonly exitCode: number;
+    readonly stdout: ProcessRunnerStreamResult;
+    readonly stderr: ProcessRunnerStreamResult;
+    readonly timedOut: boolean;
+    readonly signal: NodeJS.Signals | null;
+};
+export interface ProcessRunner {
+    run(command: ProcessRunnerCommand): Promise<ProcessRunnerResult>;
+}
+export type VerificationRunnerClock = {
+    readonly now: () => Date;
+};
+export type VerificationOutputArtifact = {
+    readonly digest: string;
+    readonly reference: string;
+    readonly summary: string;
+    readonly content: string;
+    readonly truncated: boolean;
+};
+type VerificationRunRecordBase = {
+    readonly command: VerificationCommand;
+    readonly cwd: string;
+    readonly startedAt: string;
+    readonly completedAt: string;
+    readonly durationMs: number;
+    readonly exitCode: number;
+    readonly signal: NodeJS.Signals | null;
+    readonly output: {
+        readonly stdout: VerificationOutputArtifact;
+        readonly stderr: VerificationOutputArtifact;
+    };
+};
+export type PassedVerificationRunRecord = VerificationRunRecordBase & {
+    readonly status: typeof VerificationExecutionStatus.passed;
+};
+export type FailedVerificationRunRecord = VerificationRunRecordBase & {
+    readonly status: typeof VerificationExecutionStatus.failed;
+};
+export type TimedOutVerificationRunRecord = VerificationRunRecordBase & {
+    readonly status: typeof VerificationExecutionStatus.timedOut;
+};
+export type VerificationRunRecord = PassedVerificationRunRecord | FailedVerificationRunRecord | TimedOutVerificationRunRecord;
+export type VerificationRunRequest = {
+    readonly verificationCommands: readonly VerificationCommand[];
+    readonly defaultWorkingDirectory: string;
+};
+export type VerificationRunResult = {
+    readonly records: readonly VerificationRunRecord[];
+    readonly stoppedEarly: boolean;
+};
+export type VerificationRunnerOptions = {
+    readonly processRunner: ProcessRunner;
+    readonly clock: VerificationRunnerClock;
+    readonly createOutputRefId: () => string;
+    readonly maxCapturedOutputBytes: number;
+    readonly outputSummaryMaxLength: number;
+};
+export interface VerificationRunner {
+    run(request: VerificationRunRequest): Promise<VerificationRunResult>;
+}
+export {};
+//# sourceMappingURL=contracts.d.ts.map

package/dist/verification/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/verification/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AAE7D,eAAO,MAAM,2BAA2B;;;;CAI9B,CAAA;AAEV,MAAM,MAAM,gCAAgC,GAC1C,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,OAAO,2BAA2B,CAAC,CAAA;AAEhF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAA;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAA;CACvC,CAAA;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,CAAC,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;CACjE;AAED,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,IAAI,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B,CAAA;AAED,KAAK,yBAAyB,GAAG;IAC/B,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAA;IACtC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;QAC3C,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;KAC5C,CAAA;CACF,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG,yBAAyB,GAAG;IACpE,QAAQ,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC,MAAM,CAAA;CAC3D,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG,yBAAyB,GAAG;IACpE,QAAQ,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC,MAAM,CAAA;CAC3D,CAAA;AAED,MAAM,MAAM,6BAA6B,GAAG,yBAAyB,GAAG;IACtE,QAAQ,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC,QAAQ,CAAA;CAC7D,CAAA;AAED,MAAM,MAAM,qBAAqB,GAC7B,2BAA2B,GAC3B,2BAA2B,GAC3B,6BAA6B,CAAA;AAEjC,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,mBAAmB,EAAE,CAAA;IAC7D,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAA;CACzC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAA;IAClD,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAC/B,CAAA;AAED,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAA;IACrC,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAA;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,MAAM,CAAA;IACxC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAA;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAA;CACxC,CAAA;AAED,MAAM,WAAW,kBAAkB;IACjC,GAAG,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAA;CACrE"}

package/dist/verification/contracts.js

@@ -0,0 +1,6 @@
+export const VerificationExecutionStatus = {
+    passed: "passed",
+    failed: "failed",
+    timedOut: "timed_out",
+};
+//# sourceMappingURL=contracts.js.map

package/dist/verification/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/verification/contracts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,QAAQ,EAAE,WAAW;CACb,CAAA"}

package/dist/verification/fake-process-runner.d.ts

@@ -0,0 +1,16 @@
+import type { ProcessRunner, ProcessRunnerCommand, ProcessRunnerResult } from "./contracts.js";
+export declare class FakeProcessRunnerExhaustedError extends Error {
+    readonly command: string;
+    readonly cwd: string;
+    readonly queuedResultCount: number;
+    readonly name = "FakeProcessRunnerExhaustedError";
+    constructor(command: string, cwd: string, queuedResultCount: number);
+}
+export type CreateFakeProcessRunnerOptions = {
+    readonly results: readonly ProcessRunnerResult[];
+};
+export type FakeProcessRunner = ProcessRunner & {
+    readonly calls: readonly ProcessRunnerCommand[];
+};
+export declare const createFakeProcessRunner: (options: CreateFakeProcessRunnerOptions) => FakeProcessRunner;
+//# sourceMappingURL=fake-process-runner.d.ts.map

package/dist/verification/fake-process-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fake-process-runner.d.ts","sourceRoot":"","sources":["../../src/verification/fake-process-runner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AAE9F,qBAAa,+BAAgC,SAAQ,KAAK;IAItD,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM;IACpB,QAAQ,CAAC,iBAAiB,EAAE,MAAM;IALpC,QAAQ,CAAC,IAAI,qCAAoC;gBAGtC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,iBAAiB,EAAE,MAAM;CAIrC;AAED,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,mBAAmB,EAAE,CAAA;CACjD,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG,aAAa,GAAG;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAA;CAChD,CAAA;AAED,eAAO,MAAM,uBAAuB,GAClC,SAAS,8BAA8B,KACtC,iBAoBF,CAAA"}

package/dist/verification/fake-process-runner.js

@@ -0,0 +1,28 @@
+export class FakeProcessRunnerExhaustedError extends Error {
+    command;
+    cwd;
+    queuedResultCount;
+    name = "FakeProcessRunnerExhaustedError";
+    constructor(command, cwd, queuedResultCount) {
+        super(`fake process runner has no queued result for ${command} in ${cwd}`);
+        this.command = command;
+        this.cwd = cwd;
+        this.queuedResultCount = queuedResultCount;
+    }
+}
+export const createFakeProcessRunner = (options) => {
+    const queuedResults = [...options.results];
+    const calls = [];
+    return {
+        calls,
+        async run(command) {
+            calls.push(command);
+            const nextResult = queuedResults.shift();
+            if (nextResult === undefined) {
+                throw new FakeProcessRunnerExhaustedError(command.command, command.cwd, options.results.length);
+            }
+            return nextResult;
+        },
+    };
+};
+//# sourceMappingURL=fake-process-runner.js.map

package/dist/verification/fake-process-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fake-process-runner.js","sourceRoot":"","sources":["../../src/verification/fake-process-runner.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,+BAAgC,SAAQ,KAAK;IAI7C;IACA;IACA;IALF,IAAI,GAAG,iCAAiC,CAAA;IAEjD,YACW,OAAe,EACf,GAAW,EACX,iBAAyB;QAElC,KAAK,CAAC,gDAAgD,OAAO,OAAO,GAAG,EAAE,CAAC,CAAA;QAJjE,YAAO,GAAP,OAAO,CAAQ;QACf,QAAG,GAAH,GAAG,CAAQ;QACX,sBAAiB,GAAjB,iBAAiB,CAAQ;IAGpC,CAAC;CACF;AAUD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,OAAuC,EACpB,EAAE;IACrB,MAAM,aAAa,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC1C,MAAM,KAAK,GAA2B,EAAE,CAAA;IAExC,OAAO;QACL,KAAK;QACL,KAAK,CAAC,GAAG,CAAC,OAAO;YACf,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACnB,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,CAAA;YACxC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,IAAI,+BAA+B,CACvC,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,EACX,OAAO,CAAC,OAAO,CAAC,MAAM,CACvB,CAAA;YACH,CAAC;YAED,OAAO,UAAU,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC,CAAA"}

package/dist/verification/index.d.ts

@@ -0,0 +1,6 @@
+export type { FailedVerificationRunRecord, PassedVerificationRunRecord, ProcessRunner, ProcessRunnerCommand, ProcessRunnerResult, TimedOutVerificationRunRecord, VerificationExecutionStatusValue, VerificationOutputArtifact, VerificationRunner, VerificationRunnerClock, VerificationRunnerOptions, VerificationRunRecord, VerificationRunRequest, VerificationRunResult, } from "./contracts.js";
+export { VerificationExecutionStatus } from "./contracts.js";
+export { type CreateFakeProcessRunnerOptions, createFakeProcessRunner, type FakeProcessRunner, FakeProcessRunnerExhaustedError, } from "./fake-process-runner.js";
+export { type CreateNodeProcessRunnerOptions, createNodeProcessRunner, NodeProcessRunnerSpawnError, } from "./node-process-runner.js";
+export { createVerificationRunner } from "./verification-runner.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/verification/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,2BAA2B,EAC3B,2BAA2B,EAC3B,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,6BAA6B,EAC7B,gCAAgC,EAChC,0BAA0B,EAC1B,kBAAkB,EAClB,uBAAuB,EACvB,yBAAyB,EACzB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EACL,KAAK,8BAA8B,EACnC,uBAAuB,EACvB,KAAK,iBAAiB,EACtB,+BAA+B,GAChC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EACL,KAAK,8BAA8B,EACnC,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAA"}

package/dist/verification/index.js

@@ -0,0 +1,5 @@
+export { VerificationExecutionStatus } from "./contracts.js";
+export { createFakeProcessRunner, FakeProcessRunnerExhaustedError, } from "./fake-process-runner.js";
+export { createNodeProcessRunner, NodeProcessRunnerSpawnError, } from "./node-process-runner.js";
+export { createVerificationRunner } from "./verification-runner.js";
+//# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAA;AAC5D,OAAO,EAEL,uBAAuB,EAEvB,+BAA+B,GAChC,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAEL,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAA"}

package/dist/verification/node-process-runner.d.ts

@@ -0,0 +1,12 @@
+import type { ProcessRunner } from "./contracts.js";
+export declare class NodeProcessRunnerSpawnError extends Error {
+    readonly command: string;
+    readonly cwd: string;
+    readonly name = "NodeProcessRunnerSpawnError";
+    constructor(command: string, cwd: string, options?: ErrorOptions);
+}
+export type CreateNodeProcessRunnerOptions = {
+    readonly maxCapturedOutputBytes: number;
+};
+export declare const createNodeProcessRunner: (options: CreateNodeProcessRunnerOptions) => ProcessRunner;
+//# sourceMappingURL=node-process-runner.d.ts.map

package/dist/verification/node-process-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-process-runner.d.ts","sourceRoot":"","sources":["../../src/verification/node-process-runner.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAkD,MAAM,gBAAgB,CAAA;AAEnG,qBAAa,2BAA4B,SAAQ,KAAK;IAIlD,QAAQ,CAAC,OAAO,EAAE,MAAM;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM;IAJtB,QAAQ,CAAC,IAAI,iCAAgC;gBAGlC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACpB,OAAO,CAAC,EAAE,YAAY;CAIzB;AAED,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAA;CACxC,CAAA;AAmCD,eAAO,MAAM,uBAAuB,GAAI,SAAS,8BAA8B,KAAG,aA0DjF,CAAA"}

package/dist/verification/node-process-runner.js

@@ -0,0 +1,103 @@
+import { spawn } from "node:child_process";
+export class NodeProcessRunnerSpawnError extends Error {
+    command;
+    cwd;
+    name = "NodeProcessRunnerSpawnError";
+    constructor(command, cwd, options) {
+        super(`failed to spawn verification command ${command} in ${cwd}`, options);
+        this.command = command;
+        this.cwd = cwd;
+    }
+}
+const createBoundedCollector = (maxCapturedOutputBytes) => {
+    const chunks = [];
+    let capturedBytes = 0;
+    let truncated = false;
+    return {
+        append(chunk) {
+            const buffer = typeof chunk === "string" ? Buffer.from(chunk) : chunk;
+            const remainingBytes = maxCapturedOutputBytes - capturedBytes;
+            if (remainingBytes <= 0) {
+                truncated = true;
+                return;
+            }
+            const slice = buffer.subarray(0, remainingBytes);
+            truncated = truncated || slice.byteLength < buffer.byteLength;
+            chunks.push(slice);
+            capturedBytes += slice.byteLength;
+        },
+        result() {
+            return {
+                content: Buffer.concat(chunks).toString("utf8"),
+                truncated,
+            };
+        },
+    };
+};
+export const createNodeProcessRunner = (options) => {
+    return {
+        async run(command) {
+            const stdoutCollector = createBoundedCollector(options.maxCapturedOutputBytes);
+            const stderrCollector = createBoundedCollector(options.maxCapturedOutputBytes);
+            const abortController = new AbortController();
+            let timedOut = false;
+            return await new Promise((resolve, reject) => {
+                const child = spawn(command.command, command.args ?? [], {
+                    cwd: command.cwd,
+                    ...(command.env === undefined ? {} : { env: { ...command.env } }),
+                    ...(command.shell === undefined ? {} : { shell: command.shell }),
+                    detached: true,
+                    signal: abortController.signal,
+                    stdio: ["ignore", "pipe", "pipe"],
+                });
+                const timer = setTimeout(() => {
+                    timedOut = true;
+                    abortController.abort();
+                    terminateChildProcess(child.pid);
+                }, command.timeoutMs);
+                const clearTimer = () => {
+                    clearTimeout(timer);
+                };
+                child.stdout.on("data", (chunk) => {
+                    stdoutCollector.append(chunk);
+                });
+                child.stderr.on("data", (chunk) => {
+                    stderrCollector.append(chunk);
+                });
+                child.on("error", (error) => {
+                    if (timedOut && error.name === "AbortError") {
+                        return;
+                    }
+                    clearTimer();
+                    reject(new NodeProcessRunnerSpawnError(command.command, command.cwd, { cause: error }));
+                });
+                child.on("close", (exitCode, signal) => {
+                    clearTimer();
+                    resolve({
+                        exitCode: exitCode ?? -1,
+                        stdout: stdoutCollector.result(),
+                        stderr: stderrCollector.result(),
+                        timedOut,
+                        signal,
+                    });
+                });
+            });
+        },
+    };
+};
+const terminateChildProcess = (pid) => {
+    if (pid === undefined) {
+        return;
+    }
+    try {
+        process.kill(-pid, "SIGTERM");
+    }
+    catch { }
+    setTimeout(() => {
+        try {
+            process.kill(-pid, "SIGKILL");
+        }
+        catch { }
+    }, 100).unref();
+};
+//# sourceMappingURL=node-process-runner.js.map

package/dist/verification/node-process-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-process-runner.js","sourceRoot":"","sources":["../../src/verification/node-process-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAI1C,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAIzC;IACA;IAJF,IAAI,GAAG,6BAA6B,CAAA;IAE7C,YACW,OAAe,EACf,GAAW,EACpB,OAAsB;QAEtB,KAAK,CAAC,wCAAwC,OAAO,OAAO,GAAG,EAAE,EAAE,OAAO,CAAC,CAAA;QAJlE,YAAO,GAAP,OAAO,CAAQ;QACf,QAAG,GAAH,GAAG,CAAQ;IAItB,CAAC;CACF;AAWD,MAAM,sBAAsB,GAAG,CAAC,sBAA8B,EAAoB,EAAE;IAClF,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,SAAS,GAAG,KAAK,CAAA;IAErB,OAAO;QACL,MAAM,CAAC,KAAK;YACV,MAAM,MAAM,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;YACrE,MAAM,cAAc,GAAG,sBAAsB,GAAG,aAAa,CAAA;YAC7D,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;gBACxB,SAAS,GAAG,IAAI,CAAA;gBAChB,OAAM;YACR,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;YAChD,SAAS,GAAG,SAAS,IAAI,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAA;YAC7D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,aAAa,IAAI,KAAK,CAAC,UAAU,CAAA;QACnC,CAAC;QACD,MAAM;YACJ,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAC/C,SAAS;aACV,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,OAAuC,EAAiB,EAAE;IAChG,OAAO;QACL,KAAK,CAAC,GAAG,CAAC,OAAO;YACf,MAAM,eAAe,GAAG,sBAAsB,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAA;YAC9E,MAAM,eAAe,GAAG,sBAAsB,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAA;YAC9E,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAA;YAC7C,IAAI,QAAQ,GAAG,KAAK,CAAA;YAEpB,OAAO,MAAM,IAAI,OAAO,CAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;gBAChE,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,EAAE;oBACvD,GAAG,EAAE,OAAO,CAAC,GAAG;oBAChB,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;oBACjE,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;oBAChE,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,eAAe,CAAC,MAAM;oBAC9B,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;iBAClC,CAAC,CAAA;gBAEF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;oBAC5B,QAAQ,GAAG,IAAI,CAAA;oBACf,eAAe,CAAC,KAAK,EAAE,CAAA;oBACvB,qBAAqB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;gBAClC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAA;gBAErB,MAAM,UAAU,GAAG,GAAS,EAAE;oBAC5B,YAAY,CAAC,KAAK,CAAC,CAAA;gBACrB,CAAC,CAAA;gBAED,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAsB,EAAE,EAAE;oBACjD,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC/B,CAAC,CAAC,CAAA;gBAEF,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAsB,EAAE,EAAE;oBACjD,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC/B,CAAC,CAAC,CAAA;gBAEF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAY,EAAE,EAAE;oBACjC,IAAI,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAC5C,OAAM;oBACR,CAAC;oBAED,UAAU,EAAE,CAAA;oBACZ,MAAM,CAAC,IAAI,2BAA2B,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;gBACzF,CAAC,CAAC,CAAA;gBAEF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;oBACrC,UAAU,EAAE,CAAA;oBACZ,OAAO,CAAC;wBACN,QAAQ,EAAE,QAAQ,IAAI,CAAC,CAAC;wBACxB,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE;wBAChC,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE;wBAChC,QAAQ;wBACR,MAAM;qBACP,CAAC,CAAA;gBACJ,CAAC,CAAC,CAAA;YACJ,CAAC,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAAC,GAAuB,EAAQ,EAAE;IAC9D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAM;IACR,CAAC;IAED,IAAI,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;IAC/B,CAAC;IAAC,MAAM,CAAC,CAAA,CAAC;IAEV,UAAU,CAAC,GAAG,EAAE;QACd,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;QAC/B,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;IACZ,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAA;AACjB,CAAC,CAAA"}

package/dist/verification/verification-runner.d.ts

@@ -0,0 +1,3 @@
+import type { VerificationRunner, VerificationRunnerOptions } from "./contracts.js";
+export declare const createVerificationRunner: (options: VerificationRunnerOptions) => VerificationRunner;
+//# sourceMappingURL=verification-runner.d.ts.map

package/dist/verification/verification-runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-runner.d.ts","sourceRoot":"","sources":["../../src/verification/verification-runner.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAKV,kBAAkB,EAClB,yBAAyB,EAE1B,MAAM,gBAAgB,CAAA;AA6FvB,eAAO,MAAM,wBAAwB,GACnC,SAAS,yBAAyB,KACjC,kBAsCF,CAAA"}

package/dist/verification/verification-runner.js

@@ -0,0 +1,101 @@
+import { createHash } from "node:crypto";
+import { normalizeVerificationCommand } from "./command-policy.js";
+import { VerificationExecutionStatus } from "./contracts.js";
+const EMPTY_OUTPUT_SUMMARY = "(empty output)";
+const createDigest = (value) => {
+    return `sha256:${createHash("sha256").update(value).digest("hex")}`;
+};
+const createOutputSummary = (content, truncated, maxLength) => {
+    const normalized = content.trim();
+    const baseSummary = normalized.length > 0 ? normalized : EMPTY_OUTPUT_SUMMARY;
+    const truncatedSummary = baseSummary.slice(0, maxLength);
+    return truncated ? `${truncatedSummary}...` : truncatedSummary;
+};
+const createOutputArtifact = (input) => {
+    return {
+        digest: createDigest(input.stream.content),
+        reference: input.reference,
+        summary: createOutputSummary(input.stream.content, input.stream.truncated, input.outputSummaryMaxLength),
+        content: input.stream.content,
+        truncated: input.stream.truncated,
+    };
+};
+const createStatus = (result) => {
+    if (result.timedOut) {
+        return VerificationExecutionStatus.timedOut;
+    }
+    if (result.exitCode === 0) {
+        return VerificationExecutionStatus.passed;
+    }
+    return VerificationExecutionStatus.failed;
+};
+const createRecord = (input) => {
+    return {
+        status: createStatus(input.result),
+        command: input.command,
+        cwd: input.cwd,
+        startedAt: input.startedAt.toISOString(),
+        completedAt: input.completedAt.toISOString(),
+        durationMs: input.completedAt.getTime() - input.startedAt.getTime(),
+        exitCode: input.result.exitCode,
+        signal: input.result.signal,
+        output: {
+            stdout: createOutputArtifact({
+                reference: `${input.outputRefId}-stdout`,
+                stream: input.result.stdout,
+                outputSummaryMaxLength: input.outputSummaryMaxLength,
+            }),
+            stderr: createOutputArtifact({
+                reference: `${input.outputRefId}-stderr`,
+                stream: input.result.stderr,
+                outputSummaryMaxLength: input.outputSummaryMaxLength,
+            }),
+        },
+    };
+};
+const shouldStop = (record) => {
+    switch (record.status) {
+        case VerificationExecutionStatus.passed:
+            return false;
+        case VerificationExecutionStatus.failed:
+        case VerificationExecutionStatus.timedOut:
+            return true;
+    }
+};
+export const createVerificationRunner = (options) => {
+    return {
+        async run(request) {
+            const records = [];
+            for (const command of request.verificationCommands) {
+                const normalizedCommand = normalizeVerificationCommand({
+                    workspaceRoot: request.defaultWorkingDirectory,
+                    command,
+                });
+                const startedAt = options.clock.now();
+                const result = await options.processRunner.run(normalizedCommand);
+                const completedAt = options.clock.now();
+                const record = createRecord({
+                    command,
+                    cwd: normalizedCommand.cwd,
+                    startedAt,
+                    completedAt,
+                    result,
+                    outputRefId: options.createOutputRefId(),
+                    outputSummaryMaxLength: options.outputSummaryMaxLength,
+                });
+                records.push(record);
+                if (shouldStop(record)) {
+                    return {
+                        records,
+                        stoppedEarly: true,
+                    };
+                }
+            }
+            return {
+                records,
+                stoppedEarly: false,
+            };
+        },
+    };
+};
+//# sourceMappingURL=verification-runner.js.map

package/dist/verification/verification-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-runner.js","sourceRoot":"","sources":["../../src/verification/verification-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAGxC,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAA;AAUlE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAA;AAE5D,MAAM,oBAAoB,GAAG,gBAAgB,CAAA;AAkB7C,MAAM,YAAY,GAAG,CAAC,KAAa,EAAU,EAAE;IAC7C,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AACrE,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,OAAe,EAAE,SAAkB,EAAE,SAAiB,EAAU,EAAE;IAC7F,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAA;IAC7E,MAAM,gBAAgB,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;IACxD,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,gBAAgB,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAA;AAChE,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAAC,KAA0B,EAA8B,EAAE;IACtF,OAAO;QACL,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;QAC1C,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,mBAAmB,CAC1B,KAAK,CAAC,MAAM,CAAC,OAAO,EACpB,KAAK,CAAC,MAAM,CAAC,SAAS,EACtB,KAAK,CAAC,sBAAsB,CAC7B;QACD,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO;QAC7B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;KAClC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAA2B,EAAoC,EAAE;IACrF,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,OAAO,2BAA2B,CAAC,QAAQ,CAAA;IAC7C,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,2BAA2B,CAAC,MAAM,CAAA;IAC3C,CAAC;IAED,OAAO,2BAA2B,CAAC,MAAM,CAAA;AAC3C,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,KAAkB,EAAyB,EAAE;IACjE,OAAO;QACL,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;QAClC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE;QACxC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE;QAC5C,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;QACnE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ;QAC/B,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;QAC3B,MAAM,EAAE;YACN,MAAM,EAAE,oBAAoB,CAAC;gBAC3B,SAAS,EAAE,GAAG,KAAK,CAAC,WAAW,SAAS;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;gBAC3B,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;aACrD,CAAC;YACF,MAAM,EAAE,oBAAoB,CAAC;gBAC3B,SAAS,EAAE,GAAG,KAAK,CAAC,WAAW,SAAS;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;gBAC3B,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;aACrD,CAAC;SACH;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,MAA6B,EAAW,EAAE;IAC5D,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,2BAA2B,CAAC,MAAM;YACrC,OAAO,KAAK,CAAA;QACd,KAAK,2BAA2B,CAAC,MAAM,CAAC;QACxC,KAAK,2BAA2B,CAAC,QAAQ;YACvC,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAAkC,EACd,EAAE;IACtB,OAAO;QACL,KAAK,CAAC,GAAG,CAAC,OAAO;YACf,MAAM,OAAO,GAA4B,EAAE,CAAA;YAE3C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;gBACnD,MAAM,iBAAiB,GAAG,4BAA4B,CAAC;oBACrD,aAAa,EAAE,OAAO,CAAC,uBAAuB;oBAC9C,OAAO;iBACR,CAAC,CAAA;gBACF,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAA;gBACrC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAA;gBACjE,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAA;gBACvC,MAAM,MAAM,GAAG,YAAY,CAAC;oBAC1B,OAAO;oBACP,GAAG,EAAE,iBAAiB,CAAC,GAAG;oBAC1B,SAAS;oBACT,WAAW;oBACX,MAAM;oBACN,WAAW,EAAE,OAAO,CAAC,iBAAiB,EAAE;oBACxC,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;iBACvD,CAAC,CAAA;gBACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAEpB,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvB,OAAO;wBACL,OAAO;wBACP,YAAY,EAAE,IAAI;qBACnB,CAAA;gBACH,CAAC;YACH,CAAC;YAED,OAAO;gBACL,OAAO;gBACP,YAAY,EAAE,KAAK;aACpB,CAAA;QACH,CAAC;KACF,CAAA;AACH,CAAC,CAAA"}

package/dist/workspace/git-baseline.d.ts

@@ -0,0 +1,63 @@
+import { z } from "zod";
+export declare const GitWorkspaceStateSchema: z.ZodReadonly<z.ZodObject<{
+    mode: z.ZodLiteral<"git">;
+    headRef: z.ZodNullable<z.ZodString>;
+    baselineDiffDigest: z.ZodString;
+    managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+    initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    dirtyAllowed: z.ZodBoolean;
+    harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>;
+export declare const NonGitWorkspaceStateSchema: z.ZodReadonly<z.ZodObject<{
+    mode: z.ZodLiteral<"non-git">;
+    headRef: z.ZodNull;
+    baselineDiffDigest: z.ZodString;
+    managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+    initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    dirtyAllowed: z.ZodBoolean;
+    harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>;
+export declare const WorkspaceGitStateSchema: z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
+    mode: z.ZodLiteral<"git">;
+    headRef: z.ZodNullable<z.ZodString>;
+    baselineDiffDigest: z.ZodString;
+    managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+    initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    dirtyAllowed: z.ZodBoolean;
+    harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    mode: z.ZodLiteral<"non-git">;
+    headRef: z.ZodNull;
+    baselineDiffDigest: z.ZodString;
+    managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+    initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    dirtyAllowed: z.ZodBoolean;
+    harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>]>;
+export declare const RunWorkspaceSchema: z.ZodReadonly<z.ZodObject<{
+    git: z.ZodUnion<readonly [z.ZodReadonly<z.ZodObject<{
+        mode: z.ZodLiteral<"git">;
+        headRef: z.ZodNullable<z.ZodString>;
+        baselineDiffDigest: z.ZodString;
+        managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+        initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        dirtyAllowed: z.ZodBoolean;
+        harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+        mode: z.ZodLiteral<"non-git">;
+        headRef: z.ZodNull;
+        baselineDiffDigest: z.ZodString;
+        managedFileHashes: z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>;
+        initialDirtyPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        dirtyAllowed: z.ZodBoolean;
+        harnessChangedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>]>;
+}, z.core.$strip>>;
+export type GitWorkspaceState = z.infer<typeof GitWorkspaceStateSchema>;
+export type NonGitWorkspaceState = z.infer<typeof NonGitWorkspaceStateSchema>;
+export type WorkspaceGitState = z.infer<typeof WorkspaceGitStateSchema>;
+export type RunWorkspace = z.infer<typeof RunWorkspaceSchema>;
+export declare const createWorkspaceDigest: (value: string) => string;
+export declare const createBufferDigest: (value: Buffer) => string;
+export declare const createDefaultRunWorkspace: () => RunWorkspace;
+//# sourceMappingURL=git-baseline.d.ts.map

package/dist/workspace/git-baseline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-baseline.d.ts","sourceRoot":"","sources":["../../src/workspace/git-baseline.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAQvB,eAAO,MAAM,uBAAuB;;;;;;;;kBAavB,CAAA;AAEb,eAAO,MAAM,0BAA0B;;;;;;;;kBAU1B,CAAA;AAEb,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;oBAGlC,CAAA;AAEF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;kBAIlB,CAAA;AAEb,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AACvE,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AACvE,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB,GAAI,OAAO,MAAM,KAAG,MACgB,CAAA;AAEtE,eAAO,MAAM,kBAAkB,GAAI,OAAO,MAAM,KAAG,MACW,CAAA;AAE9D,eAAO,MAAM,yBAAyB,QAAO,YAU3C,CAAA"}

package/dist/workspace/git-baseline.js

@@ -0,0 +1,53 @@
+import { createHash } from "node:crypto";
+import { z } from "zod";
+import { WorkspaceRelativePathSchema } from "../path/workspace-path.js";
+const Sha256DigestSchema = z.string().regex(/^sha256:[a-f0-9]{64}$/);
+const ManagedFileHashesSchema = z.record(WorkspaceRelativePathSchema, Sha256DigestSchema).readonly();
+export const GitWorkspaceStateSchema = z
+    .object({
+    mode: z.literal("git"),
+    headRef: z
+        .string()
+        .regex(/^[a-f0-9]{40}$/)
+        .nullable(),
+    baselineDiffDigest: Sha256DigestSchema,
+    managedFileHashes: ManagedFileHashesSchema,
+    initialDirtyPaths: z.array(WorkspaceRelativePathSchema).readonly(),
+    dirtyAllowed: z.boolean(),
+    harnessChangedPaths: z.array(WorkspaceRelativePathSchema).readonly(),
+})
+    .readonly();
+export const NonGitWorkspaceStateSchema = z
+    .object({
+    mode: z.literal("non-git"),
+    headRef: z.null(),
+    baselineDiffDigest: Sha256DigestSchema,
+    managedFileHashes: ManagedFileHashesSchema,
+    initialDirtyPaths: z.array(WorkspaceRelativePathSchema).readonly(),
+    dirtyAllowed: z.boolean(),
+    harnessChangedPaths: z.array(WorkspaceRelativePathSchema).readonly(),
+})
+    .readonly();
+export const WorkspaceGitStateSchema = z.union([
+    GitWorkspaceStateSchema,
+    NonGitWorkspaceStateSchema,
+]);
+export const RunWorkspaceSchema = z
+    .object({
+    git: WorkspaceGitStateSchema,
+})
+    .readonly();
+export const createWorkspaceDigest = (value) => `sha256:${createHash("sha256").update(value, "utf8").digest("hex")}`;
+export const createBufferDigest = (value) => `sha256:${createHash("sha256").update(value).digest("hex")}`;
+export const createDefaultRunWorkspace = () => ({
+    git: {
+        mode: "non-git",
+        headRef: null,
+        baselineDiffDigest: createWorkspaceDigest(""),
+        managedFileHashes: {},
+        initialDirtyPaths: [],
+        dirtyAllowed: false,
+        harnessChangedPaths: [],
+    },
+});
+//# sourceMappingURL=git-baseline.js.map

package/dist/workspace/git-baseline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-baseline.js","sourceRoot":"","sources":["../../src/workspace/git-baseline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAA;AAEvE,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAA;AAEpE,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC,2BAA2B,EAAE,kBAAkB,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEpG,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,OAAO,EAAE,CAAC;SACP,MAAM,EAAE;SACR,KAAK,CAAC,gBAAgB,CAAC;SACvB,QAAQ,EAAE;IACb,kBAAkB,EAAE,kBAAkB;IACtC,iBAAiB,EAAE,uBAAuB;IAC1C,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;IAClE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;IACzB,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;CACrE,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE;IACjB,kBAAkB,EAAE,kBAAkB;IACtC,iBAAiB,EAAE,uBAAuB;IAC1C,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;IAClE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;IACzB,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;CACrE,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC7C,uBAAuB;IACvB,0BAA0B;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,GAAG,EAAE,uBAAuB;CAC7B,CAAC;KACD,QAAQ,EAAE,CAAA;AAOb,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,KAAa,EAAU,EAAE,CAC7D,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AAEtE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAa,EAAU,EAAE,CAC1D,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AAE9D,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAiB,EAAE,CAAC,CAAC;IAC5D,GAAG,EAAE;QACH,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,IAAI;QACb,kBAAkB,EAAE,qBAAqB,CAAC,EAAE,CAAC;QAC7C,iBAAiB,EAAE,EAAE;QACrB,iBAAiB,EAAE,EAAE;QACrB,YAAY,EAAE,KAAK;QACnB,mBAAmB,EAAE,EAAE;KACxB;CACF,CAAC,CAAA"}

package/dist/workspace/git-workspace-adapter.d.ts

@@ -0,0 +1,43 @@
+import { type GitWorkspaceState, type WorkspaceGitState } from "./git-baseline.js";
+export type WorkspacePolicy = {
+    readonly allowDirty: boolean;
+};
+type GitRepositoryState = {
+    readonly mode: "git";
+    readonly repoRoot: string;
+    readonly projectRoot: string;
+    readonly headRef: string | null;
+    readonly dirtyPaths: readonly string[];
+    readonly diffDigest: string;
+    readonly managedFileHashes: Readonly<Record<string, string>>;
+};
+type NonGitRepositoryState = {
+    readonly mode: "non-git";
+    readonly managedFileHashes: Readonly<Record<string, string>>;
+};
+type RepositoryState = GitRepositoryState | NonGitRepositoryState;
+export type WorkspaceChangeAssessment = {
+    readonly status: "ok";
+    readonly actualChangedPaths: readonly string[];
+    readonly nextWorkspace: GitWorkspaceState;
+} | {
+    readonly status: "paused";
+    readonly actualChangedPaths: readonly string[];
+    readonly detail: string;
+    readonly driftedPaths: readonly string[];
+};
+export interface WorkspaceAdapter {
+    captureBaseline(policy: WorkspacePolicy): Promise<WorkspaceGitState>;
+    captureCurrentState(): Promise<RepositoryState>;
+    assessTaskChanges(input: {
+        readonly baseline: GitWorkspaceState;
+        readonly before: RepositoryState;
+        readonly afterWorker: RepositoryState;
+        readonly afterVerification: RepositoryState;
+        readonly claimedChangedPaths: readonly string[];
+        readonly allowedPaths: readonly string[];
+    }): Promise<WorkspaceChangeAssessment>;
+}
+export declare const createGitWorkspaceAdapter: (projectRoot: string) => WorkspaceAdapter;
+export {};
+//# sourceMappingURL=git-workspace-adapter.d.ts.map

package/dist/workspace/git-workspace-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-workspace-adapter.d.ts","sourceRoot":"","sources":["../../src/workspace/git-workspace-adapter.ts"],"names":[],"mappings":"AAIA,OAAO,EAGL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACvB,MAAM,mBAAmB,CAAA;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B,CAAA;AAQD,KAAK,kBAAkB,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC7D,CAAA;AAED,KAAK,qBAAqB,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC7D,CAAA;AAED,KAAK,eAAe,GAAG,kBAAkB,GAAG,qBAAqB,CAAA;AAEjE,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;IACrB,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9C,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAA;CAC1C,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACzC,CAAA;AAEL,MAAM,WAAW,gBAAgB;IAC/B,eAAe,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAA;IACpE,mBAAmB,IAAI,OAAO,CAAC,eAAe,CAAC,CAAA;IAC/C,iBAAiB,CAAC,KAAK,EAAE;QACvB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;QACpC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;QAChC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;QACrC,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAA;QAC3C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAA;QAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;KACzC,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAA;CACvC;AAED,eAAO,MAAM,yBAAyB,GAAI,aAAa,MAAM,KAAG,gBA+G9D,CAAA"}