niceeval 0.12.2-canary.31 → 0.13.0

package/dist/assertions/workspace-diff.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"workspace-diff.js","sourceRoot":"","sources":["workspace-diff.ts"],"names":[],"mappings":";;AAoMA,gFAYC;AAkBD,4DAmCC;AACD,0DAEC;AACD,oEAMC;AACD,4EAGC;AASD,gEAqBC;AAjTD,uCAAwG;AAmExG,SAAS,WAAW,CAAQ,KAAuB;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AACD,SAAS,4BAA4B,CAAC,KAAa;IAC/C,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,2CAA2C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC3G,CAAC;AACD,SAAS,WAAW,CAAC,MAAoB,EAAE,IAAwB;IAC/D,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACxG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACvF,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,QAAiB;YACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;YAC5B,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC5C,CAAC,CAAC;IACP,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,4BAA4B,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AACD,SAAS,aAAa,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;AAChD,CAAC;AACD,MAAM,kBAAkB,GAAG,OAAO,CAAC;AACnC,SAAS,YAAY,CAAC,IAAuB,EAAE,KAAwB;IACnE,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAUD,SAAS,kBAAkB,CAAC,IAAuB,EAAE,KAAwB;IACzE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC;QAC1B,OAAO,SAAS,CAAC;IACrB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,CAAC,GAAW,EAAE,MAAc,EAAU,EAAE,CAAC,GAAG,GAAG,KAAK,GAAG,MAAM,CAAC;IACzE,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;QAChC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YACvD,IAAI,QAAQ,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC;YACrE,CAAC;iBACI,CAAC;gBACF,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAE,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;YACtG,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,OAAO,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,CAAC,CAAC,CAAC;YAC7D,GAAG,IAAI,CAAC,CAAC;YACT,MAAM,IAAI,CAAC,CAAC;QAChB,CAAC;aACI,IAAI,GAAG,GAAG,CAAC;eACT,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAE,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACtF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACjF,GAAG,IAAI,CAAC,CAAC;QACb,CAAC;aACI,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACnF,MAAM,IAAI,CAAC,CAAC;QAChB,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,OAAO,EAAE,CAAC;IACnB,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,WAAW,CAAC,UAAwC,EAAE,IAAyB;IACpF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,GAAS,EAAE;QACrB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,KAAK,GAAG,EAAE,CAAC;IACf,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;aACI,CAAC;YACF,KAAK,EAAE,CAAC;QACZ,CAAC;IACL,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AACD,SAAS,YAAY,CAAC,MAAc,EAAE,KAAa;IAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,IAAI,UAAU,KAAK,SAAS;QACxB,OAAO,SAAS,CAAC;IACrB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC;QACvC,OAAO,EAAE,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC;KAC9C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,QAAQ,CAAC,MAAkC,EAAE,KAAiC;IACnF,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACtD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACtD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AACD,SAAS,eAAe,CAAC,IAAuB,EAAE,KAAwB;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAChG,CAAC;AACD,SAAgB,kCAAkC,CAAC,MAAsC;IACrF,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC;IACzF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,CAAC;WAC/E,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;WACpF,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,QAAQ,KAAK,SAAS;WACtB,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;WACnD,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AACD,SAAS,6BAA6B,CAAC,QAAoC;IACvE,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM;QACzB,OAAO,QAAQ,CAAC;IACpB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,QAAiB;QACxB,MAAM,EAAE,gBAAyB;QACjC,KAAK,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU;KAC5D,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAgC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;QACpC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;KACrC,CAAC,CAAC;AACP,CAAC;AACD,gFAAgF;AAChF,SAAgB,wBAAwB,CAAC,KAGxC;IACG,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;aACzC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;aACpD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE;YACxB,IAAA,8CAAoC,EAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;YACzE,IAAI,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC3C,IAAI,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACpC,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC3E,MAAM,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;gBAC/C,KAAK,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;gBAC7C,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM;gBACN,KAAK;gBACL,KAAK,EAAE,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;aACtF,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,4BAA4B,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC;SAChC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,6BAAsC;QACnD,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;QAClC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC;KAChC,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,uBAAuB,CAAC,QAA4B;IAChE,OAAO,WAAW,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/H,CAAC;AACD,SAAgB,4BAA4B,CAAC,QAA4B,EAAE,QAA2B;IAClG,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACjC,OAAO,KAAK,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACpD,CAAC;AACD,SAAgB,gCAAgC,CAAC,QAA4B,EAAE,IAAY;IACvF,IAAA,8CAAoC,EAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IAClE,OAAO,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;AACtH,CAAC;AACD,SAAS,cAAc,CAAC,OAAe,EAAE,KAAa;IAClD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AACD,SAAS,aAAa,CAAC,OAA8C;IACjE,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,MAAM,CAAC;IAC3C,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AACjE,CAAC;AACD,SAAgB,0BAA0B,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAmC;IACzH,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;gBACpC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC,CAAC;YAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACjE,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ;oBAC3B,MAAM,GAAG,IAAI,CAAC;gBAClB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,IAAI,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC;wBAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC,CAAC;gBAC/D,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,MAAM;QACT,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,gBAAyB,EAAE,CAAC;QACrF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC,CAAC;AACvD,CAAC","sourcesContent":["import { assertCanonicalWorkspaceRelativePath, type DiffArtifact, type WindowChange, } from \"./diff.ts\";\nexport interface AgentWorkspaceDiffPolicy {\n    readonly defaultPolicy: \"niceeval-default-excludes\";\n    readonly include: readonly string[];\n    readonly ignore: readonly string[];\n}\nexport interface AgentSendWindowIdentity {\n    readonly session?: number;\n    readonly turn: number;\n}\n/** Endpoint states distinguish a known absence from omitted textual evidence. */\nexport type AgentWorkspaceDiffEndpoint = {\n    readonly state: \"absent\";\n} | {\n    readonly state: \"text\";\n    readonly text: string;\n} | {\n    readonly state: \"elided\";\n    readonly reason: \"binary\" | \"oversized-text\";\n    readonly bytes?: number;\n};\n/** A no-context directional changed-text corpus. */\nexport interface AgentWorkspaceDiffHunks {\n    readonly added: readonly string[];\n    readonly removed: readonly string[];\n}\nexport interface AgentWorkspaceDiffWindowChange {\n    readonly path: string;\n    readonly status: WindowChange[\"status\"];\n    readonly before: AgentWorkspaceDiffEndpoint;\n    readonly after: AgentWorkspaceDiffEndpoint;\n    readonly hunks: AgentWorkspaceDiffHunks;\n}\nexport interface AgentWorkspaceDiffWindow {\n    readonly identity: AgentSendWindowIdentity;\n    readonly changes: readonly AgentWorkspaceDiffWindowChange[];\n}\n/**\n * The frozen runtime meaning shared by post-run Assertions and the durable\n * Record adapter. It intentionally carries no attachment schema identifier.\n */\nexport interface AgentWorkspaceDiff {\n    readonly attribution: \"agent-send-window-endpoints\";\n    readonly policy: AgentWorkspaceDiffPolicy;\n    readonly windows: readonly AgentWorkspaceDiffWindow[];\n}\n/** The only post-run diff state visible to Assert-first adapters. */\nexport type PostRunWorkspaceDiffState = {\n    readonly state: \"pending\";\n} | {\n    readonly state: \"available\";\n    readonly document: AgentWorkspaceDiff;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"producer-failed\" | \"producer-interrupted\" | \"sandbox-unavailable\";\n};\nexport interface WorkspaceDiffNotInOptions {\n    readonly content?: \"added\" | \"removed\" | \"both\";\n}\nexport type WorkspaceDiffNotInOutcome = {\n    readonly state: \"matched\";\n} | {\n    readonly state: \"mismatched\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"content-elided\";\n};\nfunction frozenArray<Value>(items: readonly Value[]): readonly Value[] {\n    return Object.freeze([...items]);\n}\nfunction parseAgentSendWindowIdentity(label: string): AgentSendWindowIdentity {\n    const primary = /^turn([1-9][0-9]*)$/.exec(label);\n    if (primary !== null)\n        return Object.freeze({ turn: Number(primary[1]) });\n    const session = /^session([1-9][0-9]*)\\/turn([1-9][0-9]*)$/.exec(label);\n    if (session !== null) {\n        return Object.freeze({ session: Number(session[1]), turn: Number(session[2]) });\n    }\n    throw new Error(`Workspace diff received an invalid agent send window label ${JSON.stringify(label)}`);\n}\nfunction endpointFor(change: WindowChange, side: \"before\" | \"after\"): AgentWorkspaceDiffEndpoint {\n    if ((side === \"before\" && change.status === \"added\") || (side === \"after\" && change.status === \"deleted\")) {\n        return Object.freeze({ state: \"absent\" as const });\n    }\n    if (change.elided !== undefined) {\n        const bytes = side === \"before\" ? change.elided.beforeBytes : change.elided.afterBytes;\n        return Object.freeze({\n            state: \"elided\" as const,\n            reason: change.elided.reason,\n            ...(bytes === undefined ? {} : { bytes }),\n        });\n    }\n    const text = side === \"before\" ? change.before : change.after;\n    if (text === undefined) {\n        throw new Error(`Workspace diff ${side} endpoint is missing for ${change.status} change`);\n    }\n    return Object.freeze({ state: \"text\" as const, text });\n}\nfunction linesForHunks(text: string): readonly string[] {\n    return text.match(/[^\\n]*\\n|[^\\n]+/g) ?? [];\n}\nconst MAX_HUNK_LCS_CELLS = 1000000;\nfunction hunkCellsFit(left: readonly string[], right: readonly string[]): boolean {\n    return left.length + 1 <= Math.floor(MAX_HUNK_LCS_CELLS / (right.length + 1));\n}\ntype LineDiffOperation = {\n    readonly kind: \"unchanged\";\n} | {\n    readonly kind: \"added\";\n    readonly line: string;\n} | {\n    readonly kind: \"removed\";\n    readonly line: string;\n};\nfunction lineDiffOperations(left: readonly string[], right: readonly string[]): readonly LineDiffOperation[] | undefined {\n    if (!hunkCellsFit(left, right))\n        return undefined;\n    const width = right.length + 1;\n    const lengths = new Uint32Array((left.length + 1) * width);\n    const at = (row: number, column: number): number => row * width + column;\n    for (let row = 1; row <= left.length; row += 1) {\n        const leftLine = left[row - 1]!;\n        for (let column = 1; column <= right.length; column += 1) {\n            if (leftLine === right[column - 1]) {\n                lengths[at(row, column)] = lengths[at(row - 1, column - 1)]! + 1;\n            }\n            else {\n                lengths[at(row, column)] = Math.max(lengths[at(row - 1, column)]!, lengths[at(row, column - 1)]!);\n            }\n        }\n    }\n    const reversed: LineDiffOperation[] = [];\n    let row = left.length;\n    let column = right.length;\n    while (row > 0 || column > 0) {\n        if (row > 0 && column > 0 && left[row - 1] === right[column - 1]) {\n            reversed.push(Object.freeze({ kind: \"unchanged\" as const }));\n            row -= 1;\n            column -= 1;\n        }\n        else if (row > 0\n            && (column === 0 || lengths[at(row - 1, column)]! >= lengths[at(row, column - 1)]!)) {\n            reversed.push(Object.freeze({ kind: \"removed\" as const, line: left[row - 1]! }));\n            row -= 1;\n        }\n        else {\n            reversed.push(Object.freeze({ kind: \"added\" as const, line: right[column - 1]! }));\n            column -= 1;\n        }\n    }\n    reversed.reverse();\n    return frozenArray(reversed);\n}\nfunction hunkStrings(operations: readonly LineDiffOperation[], kind: \"added\" | \"removed\"): readonly string[] {\n    const hunks: string[] = [];\n    let lines: string[] = [];\n    const flush = (): void => {\n        if (lines.length > 0)\n            hunks.push(lines.join(\"\"));\n        lines = [];\n    };\n    for (const operation of operations) {\n        if (operation.kind === kind) {\n            lines.push(operation.line);\n        }\n        else {\n            flush();\n        }\n    }\n    flush();\n    return frozenArray(hunks);\n}\nfunction changedHunks(before: string, after: string): AgentWorkspaceDiffHunks | undefined {\n    const operations = lineDiffOperations(linesForHunks(before), linesForHunks(after));\n    if (operations === undefined)\n        return undefined;\n    return Object.freeze({\n        added: hunkStrings(operations, \"added\"),\n        removed: hunkStrings(operations, \"removed\"),\n    });\n}\nfunction hunksFor(before: AgentWorkspaceDiffEndpoint, after: AgentWorkspaceDiffEndpoint): AgentWorkspaceDiffHunks | undefined {\n    if (before.state === \"text\" && after.state === \"text\") {\n        return changedHunks(before.text, after.text);\n    }\n    if (before.state === \"absent\" && after.state === \"text\") {\n        return Object.freeze({ added: frozenArray([after.text]), removed: frozenArray([]) });\n    }\n    if (before.state === \"text\" && after.state === \"absent\") {\n        return Object.freeze({ added: frozenArray([]), removed: frozenArray([before.text]) });\n    }\n    return Object.freeze({ added: frozenArray([]), removed: frozenArray([]) });\n}\nfunction sameHunkStrings(left: readonly string[], right: readonly string[]): boolean {\n    return left.length === right.length && left.every((value, index) => value === right[index]);\n}\nexport function agentWorkspaceDiffChangeIsCoherent(change: AgentWorkspaceDiffWindowChange): boolean {\n    const beforePresent = change.before.state === \"text\" || change.before.state === \"elided\";\n    const afterPresent = change.after.state === \"text\" || change.after.state === \"elided\";\n    if ((change.status === \"added\" && (change.before.state !== \"absent\" || !afterPresent))\n        || (change.status === \"deleted\" && (!beforePresent || change.after.state !== \"absent\"))\n        || (change.status === \"modified\" && (!beforePresent || !afterPresent))) {\n        return false;\n    }\n    const expected = hunksFor(change.before, change.after);\n    return expected !== undefined\n        && sameHunkStrings(expected.added, change.hunks.added)\n        && sameHunkStrings(expected.removed, change.hunks.removed);\n}\nfunction elidedEndpointForBoundedHunks(endpoint: AgentWorkspaceDiffEndpoint): AgentWorkspaceDiffEndpoint {\n    if (endpoint.state !== \"text\")\n        return endpoint;\n    return Object.freeze({\n        state: \"elided\" as const,\n        reason: \"oversized-text\" as const,\n        bytes: new TextEncoder().encode(endpoint.text).byteLength,\n    });\n}\nfunction freezePolicy(policy: AgentWorkspaceDiffPolicy): AgentWorkspaceDiffPolicy {\n    return Object.freeze({\n        defaultPolicy: policy.defaultPolicy,\n        include: frozenArray(policy.include),\n        ignore: frozenArray(policy.ignore),\n    });\n}\n/** Freezes one ledger export into the runtime value shared by all consumers. */\nexport function createAgentWorkspaceDiff(input: {\n    readonly windows: DiffArtifact;\n    readonly policy: AgentWorkspaceDiffPolicy;\n}): AgentWorkspaceDiff {\n    const windows = input.windows.map((window) => {\n        const changes = Object.entries(window.changes)\n            .sort(([left], [right]) => left.localeCompare(right))\n            .map(([path, change]) => {\n            assertCanonicalWorkspaceRelativePath(path, \"workspace diff ledger path\");\n            let before = endpointFor(change, \"before\");\n            let after = endpointFor(change, \"after\");\n            let hunks = hunksFor(before, after);\n            if (before.state === \"text\" && after.state === \"text\" && hunks === undefined) {\n                before = elidedEndpointForBoundedHunks(before);\n                after = elidedEndpointForBoundedHunks(after);\n                hunks = hunksFor(before, after);\n            }\n            return Object.freeze({\n                path,\n                status: change.status,\n                before,\n                after,\n                hunks: hunks ?? Object.freeze({ added: frozenArray([]), removed: frozenArray([]) }),\n            });\n        });\n        return Object.freeze({\n            identity: parseAgentSendWindowIdentity(window.window),\n            changes: frozenArray(changes),\n        });\n    });\n    return Object.freeze({\n        attribution: \"agent-send-window-endpoints\" as const,\n        policy: freezePolicy(input.policy),\n        windows: frozenArray(windows),\n    });\n}\nexport function agentWorkspaceDiffPaths(document: AgentWorkspaceDiff): readonly string[] {\n    return frozenArray([...new Set(document.windows.flatMap((window) => window.changes.map((change) => change.path)))].sort());\n}\nexport function agentWorkspaceDiffPathsMatch(document: AgentWorkspaceDiff, expected: readonly string[]): boolean {\n    const actual = agentWorkspaceDiffPaths(document);\n    if (actual.length !== expected.length)\n        return false;\n    const wanted = new Set(expected);\n    return actual.every((path) => wanted.has(path));\n}\nexport function agentWorkspaceDiffChangesForPath(document: AgentWorkspaceDiff, path: string): readonly AgentWorkspaceDiffWindowChange[] {\n    assertCanonicalWorkspaceRelativePath(path, \"workspace diff path\");\n    return frozenArray(document.windows.flatMap((window) => window.changes.filter((change) => change.path === path)));\n}\nfunction matchesPattern(pattern: RegExp, value: string): boolean {\n    pattern.lastIndex = 0;\n    return pattern.test(value);\n}\nfunction selectedSides(options: WorkspaceDiffNotInOptions | undefined): readonly (\"added\" | \"removed\")[] {\n    const content = options?.content ?? \"both\";\n    return content === \"both\" ? [\"added\", \"removed\"] : [content];\n}\nexport function evaluateWorkspaceDiffNotIn(document: AgentWorkspaceDiff, pattern: RegExp, options?: WorkspaceDiffNotInOptions): WorkspaceDiffNotInOutcome {\n    const sides = selectedSides(options);\n    let elided = false;\n    for (const window of document.windows) {\n        for (const change of window.changes) {\n            if (matchesPattern(pattern, change.path))\n                return Object.freeze({ state: \"mismatched\" as const });\n            for (const side of sides) {\n                const endpoint = side === \"added\" ? change.after : change.before;\n                if (endpoint.state === \"elided\")\n                    elided = true;\n                for (const hunk of change.hunks[side]) {\n                    if (matchesPattern(pattern, hunk))\n                        return Object.freeze({ state: \"mismatched\" as const });\n                }\n            }\n        }\n    }\n    return elided\n        ? Object.freeze({ state: \"unavailable\" as const, reason: \"content-elided\" as const })\n        : Object.freeze({ state: \"matched\" as const });\n}\n"]}
+{"version":3,"file":"workspace-diff.js","sourceRoot":"","sources":["workspace-diff.ts"],"names":[],"mappings":";;AAwFA,8CAIC;AAqHD,gFAYC;AAkBD,4DAmCC;AACD,0DAEC;AACD,oEAMC;AACD,4EAGC;AASD,gEAqBC;AA9TD,uCAAwG;AAmExG,SAAS,WAAW,CAAQ,KAAuB;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AACD,iGAAiG;AACjG,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC7C,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,sBAAsB,CAAC,OAA0B;IACtD,OAAO,WAAW,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;AACjE,CAAC;AACD,SAAS,4BAA4B,CAAC,KAAa;IAC/C,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAChB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,2CAA2C,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,8DAA8D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC3G,CAAC;AACD,kGAAkG;AAClG,SAAgB,iBAAiB,CAAC,QAAiC;IAC/D,OAAO,QAAQ,CAAC,OAAO,KAAK,SAAS;QACjC,CAAC,CAAC,OAAO,QAAQ,CAAC,IAAI,EAAE;QACxB,CAAC,CAAC,UAAU,QAAQ,CAAC,OAAO,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;AAC5D,CAAC;AACD,SAAS,WAAW,CAAC,MAAoB,EAAE,IAAwB;IAC/D,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACxG,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACvF,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,QAAiB;YACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;YAC5B,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;SAC5C,CAAC,CAAC;IACP,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAC9D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,4BAA4B,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AACD,SAAS,aAAa,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;AAChD,CAAC;AACD,MAAM,kBAAkB,GAAG,OAAO,CAAC;AACnC,SAAS,YAAY,CAAC,IAAuB,EAAE,KAAwB;IACnE,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAkB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAClF,CAAC;AAUD,SAAS,kBAAkB,CAAC,IAAuB,EAAE,KAAwB;IACzE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC;QAC1B,OAAO,SAAS,CAAC;IACrB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,CAAC,GAAW,EAAE,MAAc,EAAU,EAAE,CAAC,GAAG,GAAG,KAAK,GAAG,MAAM,CAAC;IACzE,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;QAChC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YACvD,IAAI,QAAQ,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC;YACrE,CAAC;iBACI,CAAC;gBACF,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAE,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;YACtG,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,OAAO,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,CAAC,CAAC,CAAC;YAC7D,GAAG,IAAI,CAAC,CAAC;YACT,MAAM,IAAI,CAAC,CAAC;QAChB,CAAC;aACI,IAAI,GAAG,GAAG,CAAC;eACT,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,MAAM,CAAC,CAAE,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACtF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACjF,GAAG,IAAI,CAAC,CAAC;QACb,CAAC;aACI,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YACnF,MAAM,IAAI,CAAC,CAAC;QAChB,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,OAAO,EAAE,CAAC;IACnB,OAAO,WAAW,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,WAAW,CAAC,UAAwC,EAAE,IAAyB;IACpF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,GAAS,EAAE;QACrB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,KAAK,GAAG,EAAE,CAAC;IACf,CAAC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;aACI,CAAC;YACF,KAAK,EAAE,CAAC;QACZ,CAAC;IACL,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AACD,SAAS,YAAY,CAAC,MAAc,EAAE,KAAa;IAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,IAAI,UAAU,KAAK,SAAS;QACxB,OAAO,SAAS,CAAC;IACrB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC;QACvC,OAAO,EAAE,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC;KAC9C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,QAAQ,CAAC,MAAkC,EAAE,KAAiC;IACnF,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACtD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACtD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC/E,CAAC;AACD,SAAS,eAAe,CAAC,IAAuB,EAAE,KAAwB;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAChG,CAAC;AACD,SAAgB,kCAAkC,CAAC,MAAsC;IACrF,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC;IACzF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,CAAC;WAC/E,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;WACpF,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,QAAQ,KAAK,SAAS;WACtB,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;WACnD,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnE,CAAC;AACD,SAAS,6BAA6B,CAAC,QAAoC;IACvE,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM;QACzB,OAAO,QAAQ,CAAC;IACpB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,QAAiB;QACxB,MAAM,EAAE,gBAAyB;QACjC,KAAK,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU;KAC5D,CAAC,CAAC;AACP,CAAC;AACD,SAAS,YAAY,CAAC,MAAgC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/C,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,MAAM,CAAC;KAChD,CAAC,CAAC;AACP,CAAC;AACD,gFAAgF;AAChF,SAAgB,wBAAwB,CAAC,KAGxC;IACG,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;aACzC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACpD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE;YACxB,IAAA,8CAAoC,EAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;YACzE,IAAI,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC3C,IAAI,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACzC,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACpC,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC3E,MAAM,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;gBAC/C,KAAK,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;gBAC7C,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM;gBACN,KAAK;gBACL,KAAK,EAAE,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;aACtF,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,4BAA4B,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC;SAChC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,6BAAsC;QACnD,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC;QAClC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC;KAChC,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,uBAAuB,CAAC,QAA4B;IAChE,OAAO,WAAW,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;AAC3I,CAAC;AACD,SAAgB,4BAA4B,CAAC,QAA4B,EAAE,QAA2B;IAClG,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACjC,OAAO,KAAK,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACpD,CAAC;AACD,SAAgB,gCAAgC,CAAC,QAA4B,EAAE,IAAY;IACvF,IAAA,8CAAoC,EAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IAClE,OAAO,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;AACtH,CAAC;AACD,SAAS,cAAc,CAAC,OAAe,EAAE,KAAa;IAClD,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AACD,SAAS,aAAa,CAAC,OAA8C;IACjE,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,MAAM,CAAC;IAC3C,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AACjE,CAAC;AACD,SAAgB,0BAA0B,CAAC,QAA4B,EAAE,OAAe,EAAE,OAAmC;IACzH,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;gBACpC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC,CAAC;YAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACjE,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ;oBAC3B,MAAM,GAAG,IAAI,CAAC;gBAClB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,IAAI,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC;wBAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC,CAAC;gBAC/D,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,MAAM;QACT,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,gBAAyB,EAAE,CAAC;QACrF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC,CAAC;AACvD,CAAC","sourcesContent":["import { assertCanonicalWorkspaceRelativePath, type DiffArtifact, type WindowChange, } from \"./diff.ts\";\nexport interface AgentWorkspaceDiffPolicy {\n    readonly defaultPolicy: \"niceeval.sandbox-ledger/default-excludes/v1\";\n    readonly include: readonly string[];\n    readonly ignore: readonly string[];\n}\nexport interface AgentSendWindowIdentity {\n    readonly session?: number;\n    readonly turn: number;\n}\n/** Endpoint states distinguish a known absence from omitted textual evidence. */\nexport type AgentWorkspaceDiffEndpoint = {\n    readonly state: \"absent\";\n} | {\n    readonly state: \"text\";\n    readonly text: string;\n} | {\n    readonly state: \"elided\";\n    readonly reason: \"binary\" | \"oversized-text\";\n    readonly bytes?: number;\n};\n/** A no-context directional changed-text corpus. */\nexport interface AgentWorkspaceDiffHunks {\n    readonly added: readonly string[];\n    readonly removed: readonly string[];\n}\nexport interface AgentWorkspaceDiffWindowChange {\n    readonly path: string;\n    readonly status: WindowChange[\"status\"];\n    readonly before: AgentWorkspaceDiffEndpoint;\n    readonly after: AgentWorkspaceDiffEndpoint;\n    readonly hunks: AgentWorkspaceDiffHunks;\n}\nexport interface AgentWorkspaceDiffWindow {\n    readonly identity: AgentSendWindowIdentity;\n    readonly changes: readonly AgentWorkspaceDiffWindowChange[];\n}\n/**\n * The frozen runtime meaning shared by post-run Assertions and the durable\n * Record adapter. It intentionally carries no attachment schema identifier.\n */\nexport interface AgentWorkspaceDiff {\n    readonly attribution: \"agent-send-window-endpoints\";\n    readonly policy: AgentWorkspaceDiffPolicy;\n    readonly windows: readonly AgentWorkspaceDiffWindow[];\n}\n/** The only post-run diff state visible to Assert-first adapters. */\nexport type PostRunWorkspaceDiffState = {\n    readonly state: \"pending\";\n} | {\n    readonly state: \"available\";\n    readonly document: AgentWorkspaceDiff;\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"producer-failed\" | \"producer-interrupted\" | \"sandbox-unavailable\";\n};\nexport interface WorkspaceDiffNotInOptions {\n    readonly content?: \"added\" | \"removed\" | \"both\";\n}\nexport type WorkspaceDiffNotInOutcome = {\n    readonly state: \"matched\";\n} | {\n    readonly state: \"mismatched\";\n} | {\n    readonly state: \"unavailable\";\n    readonly reason: \"content-elided\";\n};\nfunction frozenArray<Value>(items: readonly Value[]): readonly Value[] {\n    return Object.freeze([...items]);\n}\n/** Durable ordering is ASCII code-unit ordering; locale collation is never evidence ordering. */\nfunction compareAscii(left: string, right: string): number {\n    return left === right ? 0 : left < right ? -1 : 1;\n}\nfunction canonicalPolicyEntries(entries: readonly string[]): readonly string[] {\n    return frozenArray([...new Set(entries)].sort(compareAscii));\n}\nfunction parseAgentSendWindowIdentity(label: string): AgentSendWindowIdentity {\n    const primary = /^turn([1-9][0-9]*)$/.exec(label);\n    if (primary !== null)\n        return Object.freeze({ turn: Number(primary[1]) });\n    const session = /^session([1-9][0-9]*)\\/turn([1-9][0-9]*)$/.exec(label);\n    if (session !== null) {\n        return Object.freeze({ session: Number(session[1]), turn: Number(session[2]) });\n    }\n    throw new Error(`Workspace diff received an invalid agent send window label ${JSON.stringify(label)}`);\n}\n/** The durable window id preserves the send identity independently of its attachment sequence. */\nexport function agentSendWindowId(identity: AgentSendWindowIdentity): string {\n    return identity.session === undefined\n        ? `turn${identity.turn}`\n        : `session${identity.session}/turn${identity.turn}`;\n}\nfunction endpointFor(change: WindowChange, side: \"before\" | \"after\"): AgentWorkspaceDiffEndpoint {\n    if ((side === \"before\" && change.status === \"added\") || (side === \"after\" && change.status === \"deleted\")) {\n        return Object.freeze({ state: \"absent\" as const });\n    }\n    if (change.elided !== undefined) {\n        const bytes = side === \"before\" ? change.elided.beforeBytes : change.elided.afterBytes;\n        return Object.freeze({\n            state: \"elided\" as const,\n            reason: change.elided.reason,\n            ...(bytes === undefined ? {} : { bytes }),\n        });\n    }\n    const text = side === \"before\" ? change.before : change.after;\n    if (text === undefined) {\n        throw new Error(`Workspace diff ${side} endpoint is missing for ${change.status} change`);\n    }\n    return Object.freeze({ state: \"text\" as const, text });\n}\nfunction linesForHunks(text: string): readonly string[] {\n    return text.match(/[^\\n]*\\n|[^\\n]+/g) ?? [];\n}\nconst MAX_HUNK_LCS_CELLS = 1000000;\nfunction hunkCellsFit(left: readonly string[], right: readonly string[]): boolean {\n    return left.length + 1 <= Math.floor(MAX_HUNK_LCS_CELLS / (right.length + 1));\n}\ntype LineDiffOperation = {\n    readonly kind: \"unchanged\";\n} | {\n    readonly kind: \"added\";\n    readonly line: string;\n} | {\n    readonly kind: \"removed\";\n    readonly line: string;\n};\nfunction lineDiffOperations(left: readonly string[], right: readonly string[]): readonly LineDiffOperation[] | undefined {\n    if (!hunkCellsFit(left, right))\n        return undefined;\n    const width = right.length + 1;\n    const lengths = new Uint32Array((left.length + 1) * width);\n    const at = (row: number, column: number): number => row * width + column;\n    for (let row = 1; row <= left.length; row += 1) {\n        const leftLine = left[row - 1]!;\n        for (let column = 1; column <= right.length; column += 1) {\n            if (leftLine === right[column - 1]) {\n                lengths[at(row, column)] = lengths[at(row - 1, column - 1)]! + 1;\n            }\n            else {\n                lengths[at(row, column)] = Math.max(lengths[at(row - 1, column)]!, lengths[at(row, column - 1)]!);\n            }\n        }\n    }\n    const reversed: LineDiffOperation[] = [];\n    let row = left.length;\n    let column = right.length;\n    while (row > 0 || column > 0) {\n        if (row > 0 && column > 0 && left[row - 1] === right[column - 1]) {\n            reversed.push(Object.freeze({ kind: \"unchanged\" as const }));\n            row -= 1;\n            column -= 1;\n        }\n        else if (row > 0\n            && (column === 0 || lengths[at(row - 1, column)]! >= lengths[at(row, column - 1)]!)) {\n            reversed.push(Object.freeze({ kind: \"removed\" as const, line: left[row - 1]! }));\n            row -= 1;\n        }\n        else {\n            reversed.push(Object.freeze({ kind: \"added\" as const, line: right[column - 1]! }));\n            column -= 1;\n        }\n    }\n    reversed.reverse();\n    return frozenArray(reversed);\n}\nfunction hunkStrings(operations: readonly LineDiffOperation[], kind: \"added\" | \"removed\"): readonly string[] {\n    const hunks: string[] = [];\n    let lines: string[] = [];\n    const flush = (): void => {\n        if (lines.length > 0)\n            hunks.push(lines.join(\"\"));\n        lines = [];\n    };\n    for (const operation of operations) {\n        if (operation.kind === kind) {\n            lines.push(operation.line);\n        }\n        else {\n            flush();\n        }\n    }\n    flush();\n    return frozenArray(hunks);\n}\nfunction changedHunks(before: string, after: string): AgentWorkspaceDiffHunks | undefined {\n    const operations = lineDiffOperations(linesForHunks(before), linesForHunks(after));\n    if (operations === undefined)\n        return undefined;\n    return Object.freeze({\n        added: hunkStrings(operations, \"added\"),\n        removed: hunkStrings(operations, \"removed\"),\n    });\n}\nfunction hunksFor(before: AgentWorkspaceDiffEndpoint, after: AgentWorkspaceDiffEndpoint): AgentWorkspaceDiffHunks | undefined {\n    if (before.state === \"text\" && after.state === \"text\") {\n        return changedHunks(before.text, after.text);\n    }\n    if (before.state === \"absent\" && after.state === \"text\") {\n        return Object.freeze({ added: frozenArray([after.text]), removed: frozenArray([]) });\n    }\n    if (before.state === \"text\" && after.state === \"absent\") {\n        return Object.freeze({ added: frozenArray([]), removed: frozenArray([before.text]) });\n    }\n    return Object.freeze({ added: frozenArray([]), removed: frozenArray([]) });\n}\nfunction sameHunkStrings(left: readonly string[], right: readonly string[]): boolean {\n    return left.length === right.length && left.every((value, index) => value === right[index]);\n}\nexport function agentWorkspaceDiffChangeIsCoherent(change: AgentWorkspaceDiffWindowChange): boolean {\n    const beforePresent = change.before.state === \"text\" || change.before.state === \"elided\";\n    const afterPresent = change.after.state === \"text\" || change.after.state === \"elided\";\n    if ((change.status === \"added\" && (change.before.state !== \"absent\" || !afterPresent))\n        || (change.status === \"deleted\" && (!beforePresent || change.after.state !== \"absent\"))\n        || (change.status === \"modified\" && (!beforePresent || !afterPresent))) {\n        return false;\n    }\n    const expected = hunksFor(change.before, change.after);\n    return expected !== undefined\n        && sameHunkStrings(expected.added, change.hunks.added)\n        && sameHunkStrings(expected.removed, change.hunks.removed);\n}\nfunction elidedEndpointForBoundedHunks(endpoint: AgentWorkspaceDiffEndpoint): AgentWorkspaceDiffEndpoint {\n    if (endpoint.state !== \"text\")\n        return endpoint;\n    return Object.freeze({\n        state: \"elided\" as const,\n        reason: \"oversized-text\" as const,\n        bytes: new TextEncoder().encode(endpoint.text).byteLength,\n    });\n}\nfunction freezePolicy(policy: AgentWorkspaceDiffPolicy): AgentWorkspaceDiffPolicy {\n    return Object.freeze({\n        defaultPolicy: policy.defaultPolicy,\n        include: canonicalPolicyEntries(policy.include),\n        ignore: canonicalPolicyEntries(policy.ignore),\n    });\n}\n/** Freezes one ledger export into the runtime value shared by all consumers. */\nexport function createAgentWorkspaceDiff(input: {\n    readonly windows: DiffArtifact;\n    readonly policy: AgentWorkspaceDiffPolicy;\n}): AgentWorkspaceDiff {\n    const windows = input.windows.map((window) => {\n        const changes = Object.entries(window.changes)\n            .sort(([left], [right]) => compareAscii(left, right))\n            .map(([path, change]) => {\n            assertCanonicalWorkspaceRelativePath(path, \"workspace diff ledger path\");\n            let before = endpointFor(change, \"before\");\n            let after = endpointFor(change, \"after\");\n            let hunks = hunksFor(before, after);\n            if (before.state === \"text\" && after.state === \"text\" && hunks === undefined) {\n                before = elidedEndpointForBoundedHunks(before);\n                after = elidedEndpointForBoundedHunks(after);\n                hunks = hunksFor(before, after);\n            }\n            return Object.freeze({\n                path,\n                status: change.status,\n                before,\n                after,\n                hunks: hunks ?? Object.freeze({ added: frozenArray([]), removed: frozenArray([]) }),\n            });\n        });\n        return Object.freeze({\n            identity: parseAgentSendWindowIdentity(window.window),\n            changes: frozenArray(changes),\n        });\n    });\n    return Object.freeze({\n        attribution: \"agent-send-window-endpoints\" as const,\n        policy: freezePolicy(input.policy),\n        windows: frozenArray(windows),\n    });\n}\nexport function agentWorkspaceDiffPaths(document: AgentWorkspaceDiff): readonly string[] {\n    return frozenArray([...new Set(document.windows.flatMap((window) => window.changes.map((change) => change.path)))].sort(compareAscii));\n}\nexport function agentWorkspaceDiffPathsMatch(document: AgentWorkspaceDiff, expected: readonly string[]): boolean {\n    const actual = agentWorkspaceDiffPaths(document);\n    if (actual.length !== expected.length)\n        return false;\n    const wanted = new Set(expected);\n    return actual.every((path) => wanted.has(path));\n}\nexport function agentWorkspaceDiffChangesForPath(document: AgentWorkspaceDiff, path: string): readonly AgentWorkspaceDiffWindowChange[] {\n    assertCanonicalWorkspaceRelativePath(path, \"workspace diff path\");\n    return frozenArray(document.windows.flatMap((window) => window.changes.filter((change) => change.path === path)));\n}\nfunction matchesPattern(pattern: RegExp, value: string): boolean {\n    pattern.lastIndex = 0;\n    return pattern.test(value);\n}\nfunction selectedSides(options: WorkspaceDiffNotInOptions | undefined): readonly (\"added\" | \"removed\")[] {\n    const content = options?.content ?? \"both\";\n    return content === \"both\" ? [\"added\", \"removed\"] : [content];\n}\nexport function evaluateWorkspaceDiffNotIn(document: AgentWorkspaceDiff, pattern: RegExp, options?: WorkspaceDiffNotInOptions): WorkspaceDiffNotInOutcome {\n    const sides = selectedSides(options);\n    let elided = false;\n    for (const window of document.windows) {\n        for (const change of window.changes) {\n            if (matchesPattern(pattern, change.path))\n                return Object.freeze({ state: \"mismatched\" as const });\n            for (const side of sides) {\n                const endpoint = side === \"added\" ? change.after : change.before;\n                if (endpoint.state === \"elided\")\n                    elided = true;\n                for (const hunk of change.hunks[side]) {\n                    if (matchesPattern(pattern, hunk))\n                        return Object.freeze({ state: \"mismatched\" as const });\n                }\n            }\n        }\n    }\n    return elided\n        ? Object.freeze({ state: \"unavailable\" as const, reason: \"content-elided\" as const })\n        : Object.freeze({ state: \"matched\" as const });\n}\n"]}

package/dist/assertions/workspace-diff.d.cts

@@ -1,6 +1,6 @@
 import { type DiffArtifact, type WindowChange } from "./diff.cjs";
 export interface AgentWorkspaceDiffPolicy {
-    readonly defaultPolicy: "niceeval-default-excludes";
+    readonly defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1";
     readonly include: readonly string[];
     readonly ignore: readonly string[];
 }
@@ -65,6 +65,8 @@ export type WorkspaceDiffNotInOutcome = {
     readonly state: "unavailable";
     readonly reason: "content-elided";
 };
+/** The durable window id preserves the send identity independently of its attachment sequence. */
+export declare function agentSendWindowId(identity: AgentSendWindowIdentity): string;
 export declare function agentWorkspaceDiffChangeIsCoherent(change: AgentWorkspaceDiffWindowChange): boolean;
 /** Freezes one ledger export into the runtime value shared by all consumers. */
 export declare function createAgentWorkspaceDiff(input: {

package/dist/assertions/workspace-diff.d.mts

@@ -1,6 +1,6 @@
 import { type DiffArtifact, type WindowChange } from "./diff.mjs";
 export interface AgentWorkspaceDiffPolicy {
-    readonly defaultPolicy: "niceeval-default-excludes";
+    readonly defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1";
     readonly include: readonly string[];
     readonly ignore: readonly string[];
 }
@@ -65,6 +65,8 @@ export type WorkspaceDiffNotInOutcome = {
     readonly state: "unavailable";
     readonly reason: "content-elided";
 };
+/** The durable window id preserves the send identity independently of its attachment sequence. */
+export declare function agentSendWindowId(identity: AgentSendWindowIdentity): string;
 export declare function agentWorkspaceDiffChangeIsCoherent(change: AgentWorkspaceDiffWindowChange): boolean;
 /** Freezes one ledger export into the runtime value shared by all consumers. */
 export declare function createAgentWorkspaceDiff(input: {

package/dist/assertions/workspace-diff.d.ts

@@ -1,6 +1,6 @@
 import { type DiffArtifact, type WindowChange } from "./diff.js";
 export interface AgentWorkspaceDiffPolicy {
-    readonly defaultPolicy: "niceeval-default-excludes";
+    readonly defaultPolicy: "niceeval.sandbox-ledger/default-excludes/v1";
     readonly include: readonly string[];
     readonly ignore: readonly string[];
 }
@@ -65,6 +65,8 @@ export type WorkspaceDiffNotInOutcome = {
     readonly state: "unavailable";
     readonly reason: "content-elided";
 };
+/** The durable window id preserves the send identity independently of its attachment sequence. */
+export declare function agentSendWindowId(identity: AgentSendWindowIdentity): string;
 export declare function agentWorkspaceDiffChangeIsCoherent(change: AgentWorkspaceDiffWindowChange): boolean;
 /** Freezes one ledger export into the runtime value shared by all consumers. */
 export declare function createAgentWorkspaceDiff(input: {

package/dist/assertions/workspace-diff.js

@@ -1,16 +1,18 @@
 import { createRequire as __niceevalCreateRequire } from "node:module";
 const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./workspace-diff.cjs");
-const __niceevalExport0 = __niceevalCanonical["agentWorkspaceDiffChangeIsCoherent"];
-export { __niceevalExport0 as agentWorkspaceDiffChangeIsCoherent };
-const __niceevalExport1 = __niceevalCanonical["agentWorkspaceDiffChangesForPath"];
-export { __niceevalExport1 as agentWorkspaceDiffChangesForPath };
-const __niceevalExport2 = __niceevalCanonical["agentWorkspaceDiffPaths"];
-export { __niceevalExport2 as agentWorkspaceDiffPaths };
-const __niceevalExport3 = __niceevalCanonical["agentWorkspaceDiffPathsMatch"];
-export { __niceevalExport3 as agentWorkspaceDiffPathsMatch };
-const __niceevalExport4 = __niceevalCanonical["createAgentWorkspaceDiff"];
-export { __niceevalExport4 as createAgentWorkspaceDiff };
-const __niceevalExport5 = __niceevalCanonical["evaluateWorkspaceDiffNotIn"];
-export { __niceevalExport5 as evaluateWorkspaceDiffNotIn };
+const __niceevalExport0 = __niceevalCanonical["agentSendWindowId"];
+export { __niceevalExport0 as agentSendWindowId };
+const __niceevalExport1 = __niceevalCanonical["agentWorkspaceDiffChangeIsCoherent"];
+export { __niceevalExport1 as agentWorkspaceDiffChangeIsCoherent };
+const __niceevalExport2 = __niceevalCanonical["agentWorkspaceDiffChangesForPath"];
+export { __niceevalExport2 as agentWorkspaceDiffChangesForPath };
+const __niceevalExport3 = __niceevalCanonical["agentWorkspaceDiffPaths"];
+export { __niceevalExport3 as agentWorkspaceDiffPaths };
+const __niceevalExport4 = __niceevalCanonical["agentWorkspaceDiffPathsMatch"];
+export { __niceevalExport4 as agentWorkspaceDiffPathsMatch };
+const __niceevalExport5 = __niceevalCanonical["createAgentWorkspaceDiff"];
+export { __niceevalExport5 as createAgentWorkspaceDiff };
+const __niceevalExport6 = __niceevalCanonical["evaluateWorkspaceDiffNotIn"];
+export { __niceevalExport6 as evaluateWorkspaceDiffNotIn };
 //# sourceMappingURL=workspace-diff.js.map

package/dist/attempt-locator-resolution.cjs

@@ -3,49 +3,44 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.resolveAttemptLocator = resolveAttemptLocator;
 const effect_1 = require("effect");
 const attempt_locator_ts_1 = require("./attempt-locator.cjs");
-const internal_ts_1 = require("./record/reader/internal.cjs");
 function sameReference(left, right) {
     return left.originRunId === right.originRunId && left.attemptId === right.attemptId;
 }
-/** Resolve a derived locator against available immutable Attempts in one frozen Record view. */
-function resolveAttemptLocator(view, locator) {
+/**
+ * Resolves a public locator only through Core issued by one live Record read
+ * session and its frozen selection. A null Member has no Attempt and is never
+ * interpreted as a pending or missing physical directory.
+ */
+function resolveAttemptLocator(input) {
     return effect_1.Effect.gen(function* () {
-        const port = (0, internal_ts_1.resolveFrozenRecordReaderPort)(view);
-        if (port === undefined) {
-            return yield* effect_1.Effect.fail({
-                code: "attempt-locator-view-invalid",
-            });
-        }
-        yield* port.assertOpen(view);
-        const scan = yield* effect_1.Stream.runFoldEffect(port.candidates(view), Object.freeze({ first: undefined, ambiguous: false }), (current, candidate) => {
-            if (current.ambiguous || candidate.state !== "available") {
-                return effect_1.Effect.succeed(current);
-            }
-            return effect_1.Effect.gen(function* () {
-                let first = current.first;
-                let ambiguous = false;
-                for (const slotId of candidate.value.expectedSlots) {
-                    const member = yield* port.member(view, candidate.value, slotId);
-                    if (member.state !== "available")
-                        continue;
-                    if ((0, attempt_locator_ts_1.encodeAttemptLocator)(member.value.attempt.attemptId) !== locator)
-                        continue;
-                    if (first === undefined) {
-                        first = member.value.attempt;
-                    }
-                    else if (!sameReference(first, member.value.attempt)) {
-                        ambiguous = true;
-                        break;
-                    }
+        let first;
+        for (const runRef of input.selection.runRefs) {
+            const read = yield* input.reader.readRun(runRef);
+            if (read.state !== "available")
+                continue;
+            for (const member of read.value.members) {
+                // The two null representations are intentionally separate Record
+                // states, but neither admits an exact Attempt capability.
+                if (member.document.attempt === null || member.attempt === null)
+                    continue;
+                if ((0, attempt_locator_ts_1.encodeAttemptLocator)(member.attempt.attemptId) !== input.locator)
+                    continue;
+                const current = Object.freeze({
+                    run: runRef,
+                    slotId: member.document.slotId,
+                    attempt: member.attempt,
+                });
+                if (first === undefined) {
+                    first = current;
+                }
+                else if (!sameReference(first.attempt, current.attempt)) {
+                    return Object.freeze({ kind: "ambiguous" });
                 }
-                return Object.freeze({ first, ambiguous });
-            });
-        });
-        if (scan.ambiguous)
-            return Object.freeze({ kind: "ambiguous" });
-        if (scan.first === undefined)
-            return Object.freeze({ kind: "not-found" });
-        return Object.freeze({ kind: "found", attempt: scan.first });
+            }
+        }
+        return first === undefined
+            ? Object.freeze({ kind: "not-found" })
+            : Object.freeze({ kind: "found", ...first });
     });
 }
 //# sourceMappingURL=attempt-locator-resolution.cjs.map

package/dist/attempt-locator-resolution.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"attempt-locator-resolution.js","sourceRoot":"","sources":["attempt-locator-resolution.ts"],"names":[],"mappings":";;AAqBA,sDA0CC;AA/DD,mCAAwC;AACxC,6DAAiF;AAGjF,6DAA4E;AAa5E,SAAS,aAAa,CAAC,IAAsB,EAAE,KAAuB;IAClE,OAAO,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC;AACxF,CAAC;AACD,gGAAgG;AAChG,SAAgB,qBAAqB,CAAC,IAA6C,EAAE,OAAuB;IACxG,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,MAAM,IAAI,GAAG,IAAA,2CAA6B,EAAC,IAAI,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAA4B;gBACjD,IAAI,EAAE,8BAA8B;aACvC,CAAC,CAAC;QACP,CAAC;QACD,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,eAAM,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAyC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAGhJ,EAAE;YACxB,IAAI,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBACvD,OAAO,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC;YACD,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBACvB,IAAI,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;gBAC1B,IAAI,SAAS,GAAG,KAAK,CAAC;gBACtB,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;oBACjD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;oBACjE,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW;wBAC5B,SAAS;oBACb,IAAI,IAAA,yCAAoB,EAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,OAAO;wBAChE,SAAS;oBACb,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACtB,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;oBACjC,CAAC;yBACI,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;wBACnD,SAAS,GAAG,IAAI,CAAC;wBACjB,MAAM;oBACV,CAAC;gBACL,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YAC/C,CAAC,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,SAAS;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YACxB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,CAAC,CAAC;QACzD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Effect, Stream } from \"effect\";\nimport { encodeAttemptLocator, type AttemptLocator } from \"./attempt-locator.ts\";\nimport type { RecordAttemptRef } from \"./record/model/core.ts\";\nimport type { RecordReaderReadError } from \"./record/reader/errors.ts\";\nimport { resolveFrozenRecordReaderPort } from \"./record/reader/internal.ts\";\nimport type { FrozenRecordView } from \"./record/reader/types.ts\";\nexport interface AttemptLocatorViewInvalid {\n    readonly code: \"attempt-locator-view-invalid\";\n}\nexport type AttemptLocatorResolution = {\n    readonly kind: \"found\";\n    readonly attempt: RecordAttemptRef;\n} | {\n    readonly kind: \"not-found\";\n} | {\n    readonly kind: \"ambiguous\";\n};\nfunction sameReference(left: RecordAttemptRef, right: RecordAttemptRef): boolean {\n    return left.originRunId === right.originRunId && left.attemptId === right.attemptId;\n}\n/** Resolve a derived locator against available immutable Attempts in one frozen Record view. */\nexport function resolveAttemptLocator(view: FrozenRecordView<RecordReaderReadError>, locator: AttemptLocator): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError | AttemptLocatorViewInvalid> {\n    return Effect.gen(function* () {\n        const port = resolveFrozenRecordReaderPort(view);\n        if (port === undefined) {\n            return yield* Effect.fail<AttemptLocatorViewInvalid>({\n                code: \"attempt-locator-view-invalid\",\n            });\n        }\n        yield* port.assertOpen(view);\n        const scan = yield* Stream.runFoldEffect(port.candidates(view), Object.freeze({ first: undefined as RecordAttemptRef | undefined, ambiguous: false }), (current, candidate): Effect.Effect<{\n            readonly first: RecordAttemptRef | undefined;\n            readonly ambiguous: boolean;\n        }, RecordReaderReadError> => {\n            if (current.ambiguous || candidate.state !== \"available\") {\n                return Effect.succeed(current);\n            }\n            return Effect.gen(function* () {\n                let first = current.first;\n                let ambiguous = false;\n                for (const slotId of candidate.value.expectedSlots) {\n                    const member = yield* port.member(view, candidate.value, slotId);\n                    if (member.state !== \"available\")\n                        continue;\n                    if (encodeAttemptLocator(member.value.attempt.attemptId) !== locator)\n                        continue;\n                    if (first === undefined) {\n                        first = member.value.attempt;\n                    }\n                    else if (!sameReference(first, member.value.attempt)) {\n                        ambiguous = true;\n                        break;\n                    }\n                }\n                return Object.freeze({ first, ambiguous });\n            });\n        });\n        if (scan.ambiguous)\n            return Object.freeze({ kind: \"ambiguous\" as const });\n        if (scan.first === undefined)\n            return Object.freeze({ kind: \"not-found\" as const });\n        return Object.freeze({ kind: \"found\" as const, attempt: scan.first });\n    });\n}\n"]}
+{"version":3,"file":"attempt-locator-resolution.js","sourceRoot":"","sources":["attempt-locator-resolution.ts"],"names":[],"mappings":";;AA4BA,sDAmCC;AA/DD,mCAAgC;AAChC,6DAAiF;AAmBjF,SAAS,aAAa,CAAC,IAAwB,EAAE,KAAyB;IACtE,OAAO,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC;AACxF,CAAC;AACD;;;;GAIG;AACH,SAAgB,qBAAqB,CAAC,KAIrC;IACG,OAAO,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvB,IAAI,KAA+B,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW;gBAC1B,SAAS;YACb,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACtC,iEAAiE;gBACjE,0DAA0D;gBAC1D,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;oBAC3D,SAAS;gBACb,IAAI,IAAA,yCAAoB,EAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,OAAO;oBAChE,SAAS;gBACb,MAAM,OAAO,GAAiB,MAAM,CAAC,MAAM,CAAC;oBACxC,GAAG,EAAE,MAAM;oBACX,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;oBAC9B,OAAO,EAAE,MAAM,CAAC,OAAO;iBAC1B,CAAC,CAAC;gBACH,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACtB,KAAK,GAAG,OAAO,CAAC;gBACpB,CAAC;qBACI,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBACtD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,CAAC,CAAC;gBACzD,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,KAAK,KAAK,SAAS;YACtB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,CAAC;YAC/C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Effect } from \"effect\";\nimport { encodeAttemptLocator, type AttemptLocator } from \"./attempt-locator.ts\";\nimport type { RecordReaderReadError } from \"./record/reader/errors.ts\";\nimport type { RecordReadSession, RecordSelection, SelectedAttemptRef, SelectedRunRef, } from \"./record/host/types.ts\";\nimport type { SlotId } from \"./record/model/identifiers.ts\";\nexport type AttemptLocatorResolution = {\n    readonly kind: \"found\";\n    readonly run: SelectedRunRef;\n    readonly slotId: SlotId;\n    readonly attempt: SelectedAttemptRef;\n} | {\n    readonly kind: \"not-found\";\n} | {\n    readonly kind: \"ambiguous\";\n};\ninterface LocatorMatch {\n    readonly run: SelectedRunRef;\n    readonly slotId: SlotId;\n    readonly attempt: SelectedAttemptRef;\n}\nfunction sameReference(left: SelectedAttemptRef, right: SelectedAttemptRef): boolean {\n    return left.originRunId === right.originRunId && left.attemptId === right.attemptId;\n}\n/**\n * Resolves a public locator only through Core issued by one live Record read\n * session and its frozen selection. A null Member has no Attempt and is never\n * interpreted as a pending or missing physical directory.\n */\nexport function resolveAttemptLocator(input: {\n    readonly reader: RecordReadSession;\n    readonly selection: RecordSelection;\n    readonly locator: AttemptLocator;\n}): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError> {\n    return Effect.gen(function* () {\n        let first: LocatorMatch | undefined;\n        for (const runRef of input.selection.runRefs) {\n            const read = yield* input.reader.readRun(runRef);\n            if (read.state !== \"available\")\n                continue;\n            for (const member of read.value.members) {\n                // The two null representations are intentionally separate Record\n                // states, but neither admits an exact Attempt capability.\n                if (member.document.attempt === null || member.attempt === null)\n                    continue;\n                if (encodeAttemptLocator(member.attempt.attemptId) !== input.locator)\n                    continue;\n                const current: LocatorMatch = Object.freeze({\n                    run: runRef,\n                    slotId: member.document.slotId,\n                    attempt: member.attempt,\n                });\n                if (first === undefined) {\n                    first = current;\n                }\n                else if (!sameReference(first.attempt, current.attempt)) {\n                    return Object.freeze({ kind: \"ambiguous\" as const });\n                }\n            }\n        }\n        return first === undefined\n            ? Object.freeze({ kind: \"not-found\" as const })\n            : Object.freeze({ kind: \"found\" as const, ...first });\n    });\n}\n"]}

package/dist/attempt-locator-resolution.d.cts

@@ -1,18 +1,25 @@
 import { Effect } from "effect";
 import { type AttemptLocator } from "./attempt-locator.cjs";
-import type { RecordAttemptRef } from "./record/model/core.cjs";
 import type { RecordReaderReadError } from "./record/reader/errors.cjs";
-import type { FrozenRecordView } from "./record/reader/types.cjs";
-export interface AttemptLocatorViewInvalid {
-    readonly code: "attempt-locator-view-invalid";
-}
+import type { RecordReadSession, RecordSelection, SelectedAttemptRef, SelectedRunRef } from "./record/host/types.cjs";
+import type { SlotId } from "./record/model/identifiers.cjs";
 export type AttemptLocatorResolution = {
     readonly kind: "found";
-    readonly attempt: RecordAttemptRef;
+    readonly run: SelectedRunRef;
+    readonly slotId: SlotId;
+    readonly attempt: SelectedAttemptRef;
 } | {
     readonly kind: "not-found";
 } | {
     readonly kind: "ambiguous";
 };
-/** Resolve a derived locator against available immutable Attempts in one frozen Record view. */
-export declare function resolveAttemptLocator(view: FrozenRecordView<RecordReaderReadError>, locator: AttemptLocator): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError | AttemptLocatorViewInvalid>;
+/**
+ * Resolves a public locator only through Core issued by one live Record read
+ * session and its frozen selection. A null Member has no Attempt and is never
+ * interpreted as a pending or missing physical directory.
+ */
+export declare function resolveAttemptLocator(input: {
+    readonly reader: RecordReadSession;
+    readonly selection: RecordSelection;
+    readonly locator: AttemptLocator;
+}): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError>;

package/dist/attempt-locator-resolution.d.mts

@@ -1,18 +1,25 @@
 import { Effect } from "effect";
 import { type AttemptLocator } from "./attempt-locator.mjs";
-import type { RecordAttemptRef } from "./record/model/core.mjs";
 import type { RecordReaderReadError } from "./record/reader/errors.mjs";
-import type { FrozenRecordView } from "./record/reader/types.mjs";
-export interface AttemptLocatorViewInvalid {
-    readonly code: "attempt-locator-view-invalid";
-}
+import type { RecordReadSession, RecordSelection, SelectedAttemptRef, SelectedRunRef } from "./record/host/types.mjs";
+import type { SlotId } from "./record/model/identifiers.mjs";
 export type AttemptLocatorResolution = {
     readonly kind: "found";
-    readonly attempt: RecordAttemptRef;
+    readonly run: SelectedRunRef;
+    readonly slotId: SlotId;
+    readonly attempt: SelectedAttemptRef;
 } | {
     readonly kind: "not-found";
 } | {
     readonly kind: "ambiguous";
 };
-/** Resolve a derived locator against available immutable Attempts in one frozen Record view. */
-export declare function resolveAttemptLocator(view: FrozenRecordView<RecordReaderReadError>, locator: AttemptLocator): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError | AttemptLocatorViewInvalid>;
+/**
+ * Resolves a public locator only through Core issued by one live Record read
+ * session and its frozen selection. A null Member has no Attempt and is never
+ * interpreted as a pending or missing physical directory.
+ */
+export declare function resolveAttemptLocator(input: {
+    readonly reader: RecordReadSession;
+    readonly selection: RecordSelection;
+    readonly locator: AttemptLocator;
+}): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError>;

package/dist/attempt-locator-resolution.d.ts

@@ -1,18 +1,25 @@
 import { Effect } from "effect";
 import { type AttemptLocator } from "./attempt-locator.js";
-import type { RecordAttemptRef } from "./record/model/core.js";
 import type { RecordReaderReadError } from "./record/reader/errors.js";
-import type { FrozenRecordView } from "./record/reader/types.js";
-export interface AttemptLocatorViewInvalid {
-    readonly code: "attempt-locator-view-invalid";
-}
+import type { RecordReadSession, RecordSelection, SelectedAttemptRef, SelectedRunRef } from "./record/host/types.js";
+import type { SlotId } from "./record/model/identifiers.js";
 export type AttemptLocatorResolution = {
     readonly kind: "found";
-    readonly attempt: RecordAttemptRef;
+    readonly run: SelectedRunRef;
+    readonly slotId: SlotId;
+    readonly attempt: SelectedAttemptRef;
 } | {
     readonly kind: "not-found";
 } | {
     readonly kind: "ambiguous";
 };
-/** Resolve a derived locator against available immutable Attempts in one frozen Record view. */
-export declare function resolveAttemptLocator(view: FrozenRecordView<RecordReaderReadError>, locator: AttemptLocator): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError | AttemptLocatorViewInvalid>;
+/**
+ * Resolves a public locator only through Core issued by one live Record read
+ * session and its frozen selection. A null Member has no Attempt and is never
+ * interpreted as a pending or missing physical directory.
+ */
+export declare function resolveAttemptLocator(input: {
+    readonly reader: RecordReadSession;
+    readonly selection: RecordSelection;
+    readonly locator: AttemptLocator;
+}): Effect.Effect<AttemptLocatorResolution, RecordReaderReadError>;

package/dist/cli/record.cjs

@@ -1,17 +1,11 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.NodeRecordCliLive = exports.OfficialRecordAttachmentRegistry = void 0;
-exports.renderRecordMigrationPlan = renderRecordMigrationPlan;
+exports.NodeRecordCliLive = void 0;
 exports.runRecordCliCommand = runRecordCliCommand;
 const node_path_1 = require("node:path");
 const effect_1 = require("effect");
-const attachment_ts_1 = require("../assertions/record/attachment.cjs");
-const evaluation_ts_1 = require("../eval/record/evaluation.cjs");
-const score_ts_1 = require("../eval/record/score.cjs");
-const verdict_ts_1 = require("../eval/record/verdict.cjs");
-const attachment_ts_2 = require("../plugins/record/attachment.cjs");
 const index_ts_1 = require("../record/index.cjs");
-const internal_ts_1 = require("../record/attachment/internal.cjs");
+const index_ts_2 = require("../record/host/index.cjs");
 function output(input) {
     return Object.freeze({
         exitCode: input.exitCode,
@@ -19,30 +13,7 @@ function output(input) {
         stderr: input.stderr ?? "",
     });
 }
-function requireOfficialAttachmentRegistry() {
-    const registry = (0, internal_ts_1.defineRecordAttachmentRegistry)({
-        families: [
-            attachment_ts_1.assertionsAttachmentFamilyV1,
-            evaluation_ts_1.evaluationsAttachmentFamilyV1,
-            verdict_ts_1.verdictAttachmentFamilyV1,
-            score_ts_1.scoreAttachmentFamilyV1,
-            attachment_ts_2.RunPluginProvenanceV1Family,
-            attachment_ts_2.AttemptPluginProvenanceV1Family,
-        ],
-    });
-    if (effect_1.Either.isLeft(registry)) {
-        throw new Error(`Official Record Attachment registry invariant failed: ${registry.left.code}`);
-    }
-    return registry.right;
-}
-/**
- * This is intentionally an application composition edge. Generic Record stays
- * unaware of Assertion, Evaluation, Verdict, Score, and Plugin owners.
- */
-exports.OfficialRecordAttachmentRegistry = requireOfficialAttachmentRegistry();
-exports.NodeRecordCliLive = effect_1.Layer.mergeAll(index_ts_1.NodeRecordLive, effect_1.Layer.succeed(index_ts_1.RecordMigrationRegistry, (0, index_ts_1.makeCurrentRecordMigrationRegistry)({
-    attachments: exports.OfficialRecordAttachmentRegistry,
-})));
+exports.NodeRecordCliLive = index_ts_1.NodeRecordLive;
 function resolveRecordRoot(input) {
     const root = (0, index_ts_1.makeRecordRoot)((0, node_path_1.resolve)(input.cwd, input.record ?? ".niceeval/record"));
     return effect_1.Either.isLeft(root)
@@ -61,17 +32,14 @@ function recordErrorCode(error) {
 function recordErrorNextStep(code) {
     switch (code) {
         case "record-migration-required":
-        case "attachment-migration-required":
             return "Run: niceeval migrate";
         case "record-migration-interrupted":
-            return "Restore the Record from Git or a backup; do not rerun migrate.";
+            return "Restore the Record from Git; do not rerun migrate on mixed bytes.";
         case "record-format-unsupported":
             return "Install a NiceEval version that supports this Record format.";
         case "record-maintenance-busy":
         case "record-writer-busy":
             return "Close the Record command holding the lock, then retry.";
-        case "record-migration-plan-stale":
-            return "The Record changed after planning; rerun niceeval migrate.";
         default:
             return undefined;
     }
@@ -85,42 +53,6 @@ function recordErrorOutput(error, stdout = "") {
         stderr: `${code}\n${next === undefined ? "" : `${next}\n`}`,
     });
 }
-function renderAttachmentPlanSection(plan, state) {
-    const entries = plan.attachments.filter((entry) => entry.state === state);
-    if (entries.length === 0)
-        return ["    none"];
-    return entries.map((entry) => `    ${entry.owner} ${entry.name} (${entry.schemaId})${entry.reason === undefined ? "" : `: ${entry.reason}`}`);
-}
-function renderRecordMigrationPlan(plan) {
-    const lines = [
-        `Record migration plan: ${plan.state}`,
-        "Core",
-        `  source: ${plan.core.sourceFormat}`,
-        `  target: ${plan.core.targetFormat}`,
-        `  status: ${plan.core.state}`,
-    ];
-    if (plan.core.steps.length > 0) {
-        lines.push(...plan.core.steps.map((step) => `  ${step.from} -> ${step.to}`));
-    }
-    lines.push("RecordAttachments", "  current:", ...renderAttachmentPlanSection(plan, "current"), "  migrate:", ...renderAttachmentPlanSection(plan, "migrate"), "  migration-unavailable:", ...renderAttachmentPlanSection(plan, "migration-unavailable"), "  unsupported:", ...renderAttachmentPlanSection(plan, "unsupported"), "Backup");
-    switch (plan.backup.state) {
-        case "git-restore-point":
-            lines.push(`  git restore point: ${plan.backup.commit}`);
-            break;
-        case "portable-root-dirty":
-            lines.push("  no restore point: portable Record has uncommitted changes");
-            for (const entry of plan.backup.entries)
-                lines.push(`    ${entry}`);
-            break;
-        case "not-git-worktree":
-            lines.push("  no restore point: Record is not in a Git worktree");
-            break;
-        case "root-outside-worktree":
-            lines.push("  no restore point: Record is outside the Git worktree");
-            break;
-    }
-    return `${lines.join("\n")}\n`;
-}
 function cleanCommand(input) {
     return effect_1.Effect.gen(function* () {
         const incomplete = yield* (0, index_ts_1.inspectIncompleteRuns)({ root: input.root });
@@ -157,34 +89,29 @@ function cleanCommand(input) {
     });
 }
 function migrateCommand(input) {
-    return effect_1.Effect.gen(function* () {
-        const plan = yield* (0, index_ts_1.planRecordMigration)({ root: input.root });
-        const planText = renderRecordMigrationPlan(plan.summary);
-        const authorization = plan.summary.backup.state === "git-restore-point"
-            ? { state: "git-restore-point" }
-            : input.yes
-                ? { state: "accept-data-loss" }
-                : undefined;
-        if (authorization === undefined) {
+    return effect_1.Effect.scoped(effect_1.Effect.gen(function* () {
+        const session = yield* index_ts_2.recordHost.maintenance.open({ root: input.root });
+        const plan = yield* session.planMigrate();
+        const planText = plan.state === "already-current"
+            ? `Record migration plan: already-current\nformat: ${plan.format}\n`
+            : `Record migration plan: unsupported-format\nformat: ${plan.format}\n`;
+        if (plan.state !== "already-current") {
             return output({
                 exitCode: 1,
                 stdout: planText,
-                stderr: "record-migration-confirmation-required\nNo Git restore point is available; rerun with --yes to accept possible data loss.\n",
+                stderr: "record-format-unsupported\nInstall a NiceEval version that supports this Record format.\n",
             });
         }
-        const migrated = yield* effect_1.Effect.either((0, index_ts_1.migrateRecord)({ plan, authorization }));
-        if (effect_1.Either.isLeft(migrated)) {
-            return recordErrorOutput(migrated.left, planText);
-        }
+        const receipt = yield* session.applyMigrate(plan);
         return output({
             exitCode: 0,
-            stdout: `${planText}Record migration ${migrated.right.state}.\n`,
+            stdout: `${planText}Record migration ${receipt.state}.\n`,
         });
-    });
+    }));
 }
 /**
  * Effect-native command handling for the Record maintenance surface. The
- * legacy CLI owns the one Promise adaptation at its actual process boundary.
+ * CLI owns the one Promise adaptation at its actual process boundary.
  */
 function runRecordCliCommand(input) {
     const root = resolveRecordRoot(input);