@usine/engine 0.2.0 → 0.4.0

package/dist/repository-label-projection/model.js.map

@@ -1 +1 @@
-{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/repository-label-projection/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC7C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAC9E,CAAC;AAEF,yGAAyG;AACzG,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACrD,MAAM,CAAC,SAAS,CAAC,mBAAmB,EAAE,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC,CAC3F,CAAC;AAEF,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,KAAK,CAAkB,+BAA+B,CAAC,CACjG;IACE,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,MAAM,CAAC,gBAAgB,CAAC,oBAAoB,CAAC;IACpD,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;CACpD,CACF;CAAG;AAEJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CACxC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,EAC1E,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAC3C,CAAC;AACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAE/E,6EAA6E;AAC7E,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,KAAK,CACzD,yCAAyC,CAC1C,CAAC;IACA,UAAU,EAAE,cAAc;IAC1B,MAAM,EAAE,gBAAgB;CACzB,CAAC;CAAG"}
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/repository-label-projection/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAC7C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAC9E,CAAC;AAEF,iEAAiE;AACjE,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACrD,MAAM,CAAC,SAAS,CAAC,mBAAmB,EAAE,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC,CAC3F,CAAC;AAEF,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,KAAK,CAAkB,+BAA+B,CAAC,CACjG;IACE,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,MAAM,CAAC,gBAAgB,CAAC,oBAAoB,CAAC;IACpD,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;CACpD,CACF;CAAG;AAEJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CACxC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,EAC1E,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAC3C,CAAC;AACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAE/E,gFAAgF;AAChF,MAAM,OAAO,yBAA0B,SAAQ,MAAM,CAAC,KAAK,CACzD,yCAAyC,CAC1C,CAAC;IACA,UAAU,EAAE,cAAc;IAC1B,MAAM,EAAE,gBAAgB;CACzB,CAAC;CAAG"}

package/dist/repository-label-projection/repository-label-projection.d.ts

@@ -10,7 +10,7 @@ export declare class RepositoryLabelProjectionReader extends RepositoryLabelProj
     static readonly layer: Layer.Layer<RepositoryLabelProjectionReader, never, RunDatabase>;
 }
 declare const RepositoryLabelProjectionWriter_base: Context.ServiceClass<RepositoryLabelProjectionWriter, "@usine/engine/RepositoryLabelProjectionWriter", {
-    /** `true` means the durable projection changed. */
+    /** Replaces the stored catalog and returns whether it changed. */
     readonly replace: (projection: RepositoryLabelProjection) => Effect.Effect<boolean, EnginePersistenceError>;
 }>;
 export declare class RepositoryLabelProjectionWriter extends RepositoryLabelProjectionWriter_base {

package/dist/repository-label-projection/repository-label-projection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"repository-label-projection.d.ts","sourceRoot":"","sources":["../../src/repository-label-projection/repository-label-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAmB,yBAAyB,EAAE,MAAM,YAAY,CAAC;;kBA0FtD,CACZ,UAAU,EAAE,cAAc,KACvB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,yBAAyB,CAAC,EAAE,sBAAsB,CAAC;;AALxF,qBAAa,+BAAgC,SAAQ,oCAOD;IAClD,MAAM,CAAC,QAAQ,CAAC,KAAK,mEAA6D;CACnF;;IAKG,mDAAmD;sBACjC,CAChB,UAAU,EAAE,yBAAyB,KAClC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC;;AANvD,qBAAa,+BAAgC,SAAQ,oCAQD;IAClD,MAAM,CAAC,QAAQ,CAAC,KAAK,mEAA6D;CACnF;AAED,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"repository-label-projection.d.ts","sourceRoot":"","sources":["../../src/repository-label-projection/repository-label-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAmB,yBAAyB,EAAE,MAAM,YAAY,CAAC;;kBA0FtD,CACZ,UAAU,EAAE,cAAc,KACvB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,yBAAyB,CAAC,EAAE,sBAAsB,CAAC;;AALxF,qBAAa,+BAAgC,SAAQ,oCAOD;IAClD,MAAM,CAAC,QAAQ,CAAC,KAAK,mEAA6D;CACnF;;IAKG,kEAAkE;sBAChD,CAChB,UAAU,EAAE,yBAAyB,KAClC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC;;AANvD,qBAAa,+BAAgC,SAAQ,oCAQD;IAClD,MAAM,CAAC,QAAQ,CAAC,KAAK,mEAA6D;CACnF;AAED,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC"}

package/dist/repository-label-projection/repository-label-projection.js

@@ -5,7 +5,7 @@ import { RunDatabase } from "../database/database.js";
 import { repositoryLabelProjections } from "../database/schema.js";
 import { EnginePersistenceError } from "../engine/error.js";
 import { RepositoryLabel, RepositoryLabelProjection } from "./model.js";
-/** Rows written before colors were kept are bare names and read as colorless labels. */
+/** Older rows store bare names, read as labels without a color. */
 const LegacyLabelNames = Schema.Array(Schema.String);
 const isLegacyLabelNames = Schema.is(LegacyLabelNames);
 const RepositoryLabelProjectionRow = Schema.Struct({

package/dist/repository-label-projection/repository-label-projection.js.map

@@ -1 +1 @@
-{"version":3,"file":"repository-label-projection.js","sourceRoot":"","sources":["../../src/repository-label-projection/repository-label-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAExE,wFAAwF;AACxF,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACrD,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;AACvD,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,UAAU,EAAE,cAAc;IAC1B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAClF,CAAC,CAAC;AACH,MAAM,YAAY,GAAG,CACnB,MAA4D,EAC5B,EAAE,CAClC,kBAAkB,CAAC,MAAM,CAAC;IACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CACR,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAC1F;IACH,CAAC,CAAC,MAAM,CAAC;AAEb,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,CAAC;AAC1F,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEhF,MAAM,WAAW,GACf,CAAC,SAAiB,EAAE,EAAE,CACtB,CAAU,MAA8B,EAA+C,EAAE,CACvF,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAEzF,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,qCAAqC,CAAC,CAAC,QAAQ,CAAC,EAAE,UAA0B;YACzF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ;iBACzB,MAAM,CAAC;gBACN,UAAU,EAAE,0BAA0B,CAAC,UAAU;gBACjD,MAAM,EAAE,0BAA0B,CAAC,UAAU;aAC9C,CAAC;iBACD,IAAI,CAAC,0BAA0B,CAAC;iBAChC,KAAK,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;iBAC5D,KAAK,CAAC,CAAC,CAAC;iBACR,OAAO,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACvB,OAAO,GAAG,KAAK,SAAS;gBACtB,CAAC,CAAC,MAAM,CAAC,IAAI,EAA6B;gBAC1C,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,yBAAyB,CAAC;oBAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;oBAC1B,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;iBACjC,CAAC,CACH,CAAC;QACR,CAAC,EAAE,WAAW,CAAC,kCAAkC,CAAC,CAAC;KAC3C,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,yCAAyC,CAAC,CAAC,QAAQ,CAAC,EACrE,UAAqC;YAErC,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;YACzE,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ;iBAC5B,MAAM,CAAC,0BAA0B,CAAC;iBAClC,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC;iBACzD,kBAAkB,CAAC;gBAClB,MAAM,EAAE,0BAA0B,CAAC,UAAU;gBAC7C,GAAG,EAAE,EAAE,UAAU,EAAE;gBACnB,QAAQ,EAAE,EAAE,CAAC,0BAA0B,CAAC,UAAU,EAAE,UAAU,CAAC;aAChE,CAAC;iBACD,SAAS,CAAC,EAAE,UAAU,EAAE,0BAA0B,CAAC,UAAU,EAAE,CAAC;iBAChE,OAAO,EAAE,CAAC;YACb,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,oDAAoD,EAAE;oBAC3E,UAAU,EAAE,UAAU,CAAC,UAAU;oBACjC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;iBACjC,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,0DAA0D,EAAE;gBACjF,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;aACjC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC,EAAE,WAAW,CAAC,mCAAmC,CAAC,CAAC;KAC5C,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,OAAO,+BAAgC,SAAQ,OAAO,CAAC,OAAO,EAOjE,CAAC,+CAA+C,CAAC;IAClD,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,+BAA+B,EAAE,UAAU,CAAC,CAAC;CACnF;AAED,MAAM,OAAO,+BAAgC,SAAQ,OAAO,CAAC,OAAO,EAQjE,CAAC,+CAA+C,CAAC;IAClD,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,+BAA+B,EAAE,UAAU,CAAC,CAAC;CACnF;AAED,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"repository-label-projection.js","sourceRoot":"","sources":["../../src/repository-label-projection/repository-label-projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAExE,mEAAmE;AACnE,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACrD,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;AACvD,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,UAAU,EAAE,cAAc;IAC1B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAClF,CAAC,CAAC;AACH,MAAM,YAAY,GAAG,CACnB,MAA4D,EAC5B,EAAE,CAClC,kBAAkB,CAAC,MAAM,CAAC;IACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CACR,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAC1F;IACH,CAAC,CAAC,MAAM,CAAC;AAEb,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,CAAC;AAC1F,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEhF,MAAM,WAAW,GACf,CAAC,SAAiB,EAAE,EAAE,CACtB,CAAU,MAA8B,EAA+C,EAAE,CACvF,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAEzF,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,qCAAqC,CAAC,CAAC,QAAQ,CAAC,EAAE,UAA0B;YACzF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ;iBACzB,MAAM,CAAC;gBACN,UAAU,EAAE,0BAA0B,CAAC,UAAU;gBACjD,MAAM,EAAE,0BAA0B,CAAC,UAAU;aAC9C,CAAC;iBACD,IAAI,CAAC,0BAA0B,CAAC;iBAChC,KAAK,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;iBAC5D,KAAK,CAAC,CAAC,CAAC;iBACR,OAAO,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACvB,OAAO,GAAG,KAAK,SAAS;gBACtB,CAAC,CAAC,MAAM,CAAC,IAAI,EAA6B;gBAC1C,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,yBAAyB,CAAC;oBAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;oBAC1B,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;iBACjC,CAAC,CACH,CAAC;QACR,CAAC,EAAE,WAAW,CAAC,kCAAkC,CAAC,CAAC;KAC3C,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,yCAAyC,CAAC,CAAC,QAAQ,CAAC,EACrE,UAAqC;YAErC,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;YACzE,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACnD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ;iBAC5B,MAAM,CAAC,0BAA0B,CAAC;iBAClC,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC;iBACzD,kBAAkB,CAAC;gBAClB,MAAM,EAAE,0BAA0B,CAAC,UAAU;gBAC7C,GAAG,EAAE,EAAE,UAAU,EAAE;gBACnB,QAAQ,EAAE,EAAE,CAAC,0BAA0B,CAAC,UAAU,EAAE,UAAU,CAAC;aAChE,CAAC;iBACD,SAAS,CAAC,EAAE,UAAU,EAAE,0BAA0B,CAAC,UAAU,EAAE,CAAC;iBAChE,OAAO,EAAE,CAAC;YACb,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,oDAAoD,EAAE;oBAC3E,UAAU,EAAE,UAAU,CAAC,UAAU;oBACjC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;iBACjC,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,0DAA0D,EAAE;gBACjF,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;aACjC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC,EAAE,WAAW,CAAC,mCAAmC,CAAC,CAAC;KAC5C,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,OAAO,+BAAgC,SAAQ,OAAO,CAAC,OAAO,EAOjE,CAAC,+CAA+C,CAAC;IAClD,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,+BAA+B,EAAE,UAAU,CAAC,CAAC;CACnF;AAED,MAAM,OAAO,+BAAgC,SAAQ,OAAO,CAAC,OAAO,EAQjE,CAAC,+CAA+C,CAAC;IAClD,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,+BAA+B,EAAE,UAAU,CAAC,CAAC;CACnF;AAED,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC"}

package/dist/run-reader/model.d.ts

@@ -2,6 +2,8 @@ import { Agent } from "@usine/core/agent";
 import { Attempt } from "@usine/core/attempt";
 import { Event } from "@usine/core/event";
 import { Run } from "@usine/core/run";
+import { RunAgain } from "@usine/core/run/again";
+import { RunApproval } from "@usine/core/run/approval";
 import { Step } from "@usine/core/step";
 import { Schema } from "effect";
 import { TranscriptEntry } from "../transcript.ts";
@@ -11,20 +13,40 @@ declare const RunSnapshot_base: Schema.Class<RunSnapshot, Schema.Struct<{
     readonly run: typeof Run;
     readonly step: typeof Step;
     readonly attempts: Schema.$Array<typeof Attempt>;
+    /** The failed Attempt that the operator marked as resolved; its outcome is unchanged. */
+    readonly resolvedFailureAttemptId: Schema.Option<Schema.brand<Schema.NonEmptyString, "AttemptId">>;
+    /**
+     * The time the Run last closed, or `None` while open. For older Runs, the last Attempt's end or
+     * start, or the Run's open time.
+     */
+    readonly closedAt: Schema.Option<Schema.DateTimeUtc>;
+    /** The approval the Run consumed, or `None` before approval and for Loops with `approval: none`. */
+    readonly approval: Schema.Option<typeof RunApproval>;
+    /** The run-again origin, or `None` for a Run opened by its trigger. */
+    readonly runAgain: Schema.Option<typeof RunAgain>;
     readonly repository: Schema.brand<Schema.String, "RepositoryName">;
     readonly revision: Schema.brand<Schema.String, "RepositoryRevision">;
     readonly task: Schema.brand<Schema.String, "AttemptTask">;
     readonly agent: typeof Agent;
     readonly parentModel: Schema.Option<Schema.brand<Schema.String, "ModelId">>;
+    /** The repository access of the Run's Attempts, from the Loop at match time. */
+    readonly permissions: Schema.Literals<readonly ["write", "read"]>;
 }>, {}>;
-/** The full durable view of one Run. */
+/** The full durable view of a Run. */
 export declare class RunSnapshot extends RunSnapshot_base {
 }
+declare const RunEvent_base: Schema.Class<RunEvent, Schema.Struct<{
+    readonly runId: Schema.brand<Schema.NonEmptyString, "RunId">;
+    readonly event: typeof Event;
+}>, {}>;
+/** A Run and the Event it was opened for; the payload is the Item as the trigger saw it. */
+export declare class RunEvent extends RunEvent_base {
+}
 declare const RunEvidence_base: Schema.Class<RunEvidence, Schema.Struct<{
     readonly snapshot: typeof RunSnapshot;
     readonly transcript: Schema.$Array<typeof TranscriptEntry>;
 }>, {}>;
-/** A Run snapshot and all its saved transcript entries from the same database transaction. */
+/** A Run snapshot and all its transcript entries, read in one transaction. */
 export declare class RunEvidence extends RunEvidence_base {
 }
 declare const RunSummary_base: Schema.Class<RunSummary, Schema.Struct<{
@@ -32,14 +54,50 @@ declare const RunSummary_base: Schema.Class<RunSummary, Schema.Struct<{
     readonly run: typeof Run;
     readonly step: typeof Step;
     readonly attempts: Schema.$Array<typeof Attempt>;
+    /** The failed Attempt that the operator marked as resolved; its outcome is unchanged. */
+    readonly resolvedFailureAttemptId: Schema.Option<Schema.brand<Schema.NonEmptyString, "AttemptId">>;
+    /**
+     * The time the Run last closed, or `None` while open. For older Runs, the last Attempt's end or
+     * start, or the Run's open time.
+     */
+    readonly closedAt: Schema.Option<Schema.DateTimeUtc>;
+    /** The approval the Run consumed, or `None` before approval and for Loops with `approval: none`. */
+    readonly approval: Schema.Option<typeof RunApproval>;
+    /** The run-again origin, or `None` for a Run opened by its trigger. */
+    readonly runAgain: Schema.Option<typeof RunAgain>;
     readonly repository: Schema.brand<Schema.String, "RepositoryName">;
     readonly task: Schema.brand<Schema.String, "AttemptTask">;
     readonly agent: typeof Agent;
 }>, {}>;
-/** The lighter view used when listing Runs for operators. */
+/** The Run view used in operator Run lists. */
 export declare class RunSummary extends RunSummary_base {
 }
-/** Monotonic version of the operator projection. */
+declare const WorkerAttempts_base: Schema.Class<WorkerAttempts, Schema.Struct<{
+    readonly worker: Schema.brand<Schema.String, "WorkerName">;
+    readonly attempts: Schema.Int;
+    /** The number of `attempts` without a recorded outcome. */
+    readonly running: Schema.Int;
+}>, {}>;
+/** The number of Attempts on a Worker that startup reconciliation still visits, excluding discarded leftovers. */
+export declare class WorkerAttempts extends WorkerAttempts_base {
+}
+declare const LoopSighting_base: Schema.Class<LoopSighting, Schema.Struct<{
+    readonly loop: Schema.brand<Schema.NonEmptyString, "LoopName">;
+    readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+    /**
+     * The last matching Event, or the newest reopening or run-again Event for it; `None` after a
+     * non-matching sighting.
+     */
+    readonly event: Schema.Option<Schema.brand<Schema.NonEmptyString, "EventId">>;
+    /** The Run of `event`, or `None` while it waits or after it was ignored. */
+    readonly run: Schema.Option<Schema.brand<Schema.NonEmptyString, "RunId">>;
+    /** The Run that suppresses the Item after a question or blocker, or `None`. */
+    readonly suppressedBy: Schema.Option<Schema.brand<Schema.NonEmptyString, "RunId">>;
+}>, {}>;
+/** A Loop's last sighting of an Item and its result (ADR 0007, ADR 0017). */
+export declare class LoopSighting extends LoopSighting_base {
+}
+/** The monotonic version of the operator projection. */
 export declare const ProjectionRevision: Schema.brand<Schema.Int, "ProjectionRevision">;
 export type ProjectionRevision = typeof ProjectionRevision.Type;
 export {};

package/dist/run-reader/model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/run-reader/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAe,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;;;;;;;;;;;;;AAEnD,wCAAwC;AACxC,qBAAa,WAAY,SAAQ,gBAW/B;CAAG;;;;;AAEL,8FAA8F;AAC9F,qBAAa,WAAY,SAAQ,gBAG/B;CAAG;;;;;;;;;;AAEL,6DAA6D;AAC7D,qBAAa,UAAW,SAAQ,eAQ9B;CAAG;AAEL,oDAAoD;AACpD,eAAO,MAAM,kBAAkB,gDAE9B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC"}
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/run-reader/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,OAAO,EAA0B,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,KAAK,EAAW,MAAM,mBAAmB,CAAC;AAInD,OAAO,EAAE,GAAG,EAAS,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;;;;;;;IASjD,yFAAyF;;IAEzF;;;OAGG;;IAEH,oGAAoG;;IAEpG,uEAAuE;;;;;;;IAOvE,gFAAgF;;;AAvBlF,sCAAsC;AACtC,qBAAa,WAAY,SAAQ,gBAwB/B;CAAG;;;;;AAEL,4FAA4F;AAC5F,qBAAa,QAAS,SAAQ,aAG5B;CAAG;;;;;AAEL,8EAA8E;AAC9E,qBAAa,WAAY,SAAQ,gBAG/B;CAAG;;;;;;IAQH,yFAAyF;;IAEzF;;;OAGG;;IAEH,oGAAoG;;IAEpG,uEAAuE;;;;;;AAfzE,+CAA+C;AAC/C,qBAAa,UAAW,SAAQ,eAmB9B;CAAG;;;;IAOD,2DAA2D;;;AAL/D,kHAAkH;AAClH,qBAAa,cAAe,SAAQ,mBAWnC;CAAG;;;;IAMF;;;OAGG;;IAEH,4EAA4E;;IAE5E,+EAA+E;;;AAXjF,6EAA6E;AAC7E,qBAAa,YAAa,SAAQ,iBAYhC;CAAG;AAEL,wDAAwD;AACxD,eAAO,MAAM,kBAAkB,gDAE9B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC"}

package/dist/run-reader/model.js

@@ -1,44 +1,103 @@
 import { Agent } from "@usine/core/agent";
 import { ModelId } from "@usine/core/agent/brain";
-import { Attempt, AttemptTask } from "@usine/core/attempt";
-import { Event } from "@usine/core/event";
+import { Attempt, AttemptId, AttemptTask } from "@usine/core/attempt";
+import { Event, EventId } from "@usine/core/event";
 import { ItemKey } from "@usine/core/item";
+import { LoopName, LoopPermissions } from "@usine/core/loop";
 import { RepositoryName, RepositoryRevision } from "@usine/core/repository";
-import { Run } from "@usine/core/run";
+import { Run, RunId } from "@usine/core/run";
+import { RunAgain } from "@usine/core/run/again";
+import { RunApproval } from "@usine/core/run/approval";
 import { Step } from "@usine/core/step";
+import { WorkerName } from "@usine/core/worker";
 import { Schema } from "effect";
 import { TranscriptEntry } from "../transcript.js";
-/** The full durable view of one Run. */
+/** The full durable view of a Run. */
 export class RunSnapshot extends Schema.Class("@usine/engine/RunSnapshot")({
     event: Event,
     itemKey: ItemKey,
     run: Run,
     step: Step,
     attempts: Schema.Array(Attempt),
+    /** The failed Attempt that the operator marked as resolved; its outcome is unchanged. */
+    resolvedFailureAttemptId: Schema.Option(AttemptId),
+    /**
+     * The time the Run last closed, or `None` while open. For older Runs, the last Attempt's end or
+     * start, or the Run's open time.
+     */
+    closedAt: Schema.Option(Schema.DateTimeUtc),
+    /** The approval the Run consumed, or `None` before approval and for Loops with `approval: none`. */
+    approval: Schema.Option(RunApproval),
+    /** The run-again origin, or `None` for a Run opened by its trigger. */
+    runAgain: Schema.Option(RunAgain),
     repository: RepositoryName,
     revision: RepositoryRevision,
     task: AttemptTask,
     agent: Agent,
     parentModel: Schema.Option(ModelId),
+    /** The repository access of the Run's Attempts, from the Loop at match time. */
+    permissions: LoopPermissions,
 }) {
 }
-/** A Run snapshot and all its saved transcript entries from the same database transaction. */
+/** A Run and the Event it was opened for; the payload is the Item as the trigger saw it. */
+export class RunEvent extends Schema.Class("@usine/engine/RunEvent")({
+    runId: RunId,
+    event: Event,
+}) {
+}
+/** A Run snapshot and all its transcript entries, read in one transaction. */
 export class RunEvidence extends Schema.Class("@usine/engine/RunEvidence")({
     snapshot: RunSnapshot,
     transcript: Schema.Array(TranscriptEntry),
 }) {
 }
-/** The lighter view used when listing Runs for operators. */
+/** The Run view used in operator Run lists. */
 export class RunSummary extends Schema.Class("@usine/engine/RunSummary")({
     itemKey: ItemKey,
     run: Run,
     step: Step,
     attempts: Schema.Array(Attempt),
+    /** The failed Attempt that the operator marked as resolved; its outcome is unchanged. */
+    resolvedFailureAttemptId: Schema.Option(AttemptId),
+    /**
+     * The time the Run last closed, or `None` while open. For older Runs, the last Attempt's end or
+     * start, or the Run's open time.
+     */
+    closedAt: Schema.Option(Schema.DateTimeUtc),
+    /** The approval the Run consumed, or `None` before approval and for Loops with `approval: none`. */
+    approval: Schema.Option(RunApproval),
+    /** The run-again origin, or `None` for a Run opened by its trigger. */
+    runAgain: Schema.Option(RunAgain),
     repository: RepositoryName,
     task: AttemptTask,
     agent: Agent,
 }) {
 }
-/** Monotonic version of the operator projection. */
+/** The number of Attempts on a Worker that startup reconciliation still visits, excluding discarded leftovers. */
+export class WorkerAttempts extends Schema.Class("@usine/engine/WorkerAttempts")(Schema.Struct({
+    worker: WorkerName,
+    attempts: Schema.Int.check(Schema.isGreaterThanOrEqualTo(1)),
+    /** The number of `attempts` without a recorded outcome. */
+    running: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+}).check(Schema.makeFilter(({ attempts, running }) => running <= attempts, {
+    message: "Expected no more open attempts than attempts",
+}))) {
+}
+/** A Loop's last sighting of an Item and its result (ADR 0007, ADR 0017). */
+export class LoopSighting extends Schema.Class("@usine/engine/LoopSighting")({
+    loop: LoopName,
+    itemKey: ItemKey,
+    /**
+     * The last matching Event, or the newest reopening or run-again Event for it; `None` after a
+     * non-matching sighting.
+     */
+    event: Schema.Option(EventId),
+    /** The Run of `event`, or `None` while it waits or after it was ignored. */
+    run: Schema.Option(RunId),
+    /** The Run that suppresses the Item after a question or blocker, or `None`. */
+    suppressedBy: Schema.Option(RunId),
+}) {
+}
+/** The monotonic version of the operator projection. */
 export const ProjectionRevision = Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)).pipe(Schema.brand("ProjectionRevision"));
 //# sourceMappingURL=model.js.map

package/dist/run-reader/model.js.map

@@ -1 +1 @@
-{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/run-reader/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,wCAAwC;AACxC,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,2BAA2B,CAAC,CAAC;IACtF,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,OAAO;IAChB,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC/B,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CACpC,CAAC;CAAG;AAEL,8FAA8F;AAC9F,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,2BAA2B,CAAC,CAAC;IACtF,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;CAC1C,CAAC;CAAG;AAEL,6DAA6D;AAC7D,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,0BAA0B,CAAC,CAAC;IACnF,OAAO,EAAE,OAAO;IAChB,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC/B,UAAU,EAAE,cAAc;IAC1B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,oDAAoD;AACpD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACvF,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CACnC,CAAC"}
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/run-reader/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,sCAAsC;AACtC,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,2BAA2B,CAAC,CAAC;IACtF,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,OAAO;IAChB,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC/B,yFAAyF;IACzF,wBAAwB,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;IAClD;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IAC3C,oGAAoG;IACpG,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACpC,uEAAuE;IACvE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACnC,gFAAgF;IAChF,WAAW,EAAE,eAAe;CAC7B,CAAC;CAAG;AAEL,4FAA4F;AAC5F,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,wBAAwB,CAAC,CAAC;IAC7E,KAAK,EAAE,KAAK;IACZ,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,8EAA8E;AAC9E,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,2BAA2B,CAAC,CAAC;IACtF,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;CAC1C,CAAC;CAAG;AAEL,+CAA+C;AAC/C,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,KAAK,CAAa,0BAA0B,CAAC,CAAC;IACnF,OAAO,EAAE,OAAO;IAChB,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC/B,yFAAyF;IACzF,wBAAwB,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;IAClD;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IAC3C,oGAAoG;IACpG,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACpC,uEAAuE;IACvE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,cAAc;IAC1B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,kHAAkH;AAClH,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,KAAK,CAAiB,8BAA8B,CAAC,CAC9F,MAAM,CAAC,MAAM,CAAC;IACZ,MAAM,EAAE,UAAU;IAClB,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC5D,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAC5D,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,IAAI,QAAQ,EAAE;IAChE,OAAO,EAAE,8CAA8C;CACxD,CAAC,CACH,CACF;CAAG;AAEJ,6EAA6E;AAC7E,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,KAAK,CAAe,4BAA4B,CAAC,CAAC;IACzF,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,OAAO;IAChB;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IAC7B,4EAA4E;IAC5E,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;IACzB,+EAA+E;IAC/E,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;CACnC,CAAC;CAAG;AAEL,wDAAwD;AACxD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACvF,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CACnC,CAAC"}

package/dist/run-reader/run-reader.d.ts

@@ -2,28 +2,38 @@ import { Context, Effect, Layer, Option } from "effect";
 import { RunId } from "@usine/core/run";
 import { ItemKey } from "@usine/core/item";
 import { RunDatabase } from "../database/database.ts";
-import { ProjectionRevision, RunEvidence, RunSnapshot, RunSummary } from "./model.ts";
+import { type LoopSighting, ProjectionRevision, type RunEvent, RunEvidence, RunSnapshot, RunSummary, type WorkerAttempts } from "./model.ts";
 import { TranscriptEntry, TranscriptQuery } from "../transcript.ts";
 import type { RunStoreError } from "../engine/error.ts";
 declare const RunReader_base: Context.ServiceClass<RunReader, "@usine/engine/RunReader", {
-    /** Reads a Run's current state, effective task and Agent, Step result, and Attempt history. */
+    /** Returns the Run's state, effective task and Agent, Step result, and Attempt history. */
     readonly inspect: (runId: RunId) => Effect.Effect<RunSnapshot, RunStoreError>;
-    /** Reads one consistent Run snapshot and every saved transcript entry, in append order without a page limit. */
+    /** Returns a Run snapshot and all its transcript entries, in append order, from one transaction. */
     readonly evidence: (runId: RunId) => Effect.Effect<RunEvidence, RunStoreError>;
-    /** Every open Run plus the newest `closedLimit` settled ones, newest first. */
+    /** Returns every open Run plus the newest `closedLimit` closed ones, newest first. */
     readonly list: (options: {
         readonly closedLimit: number;
     }) => Effect.Effect<ReadonlyArray<RunSummary>, RunStoreError>;
-    /** Every saved Run for the supplied Items, newest first, including all their Attempts. */
+    /** Returns the `limit` most recently closed Runs, by close time, newest first. */
+    readonly closed: (options: {
+        readonly limit: number;
+    }) => Effect.Effect<ReadonlyArray<RunSummary>, RunStoreError>;
+    /** Returns every Run for `itemKeys`, newest first, with all their Attempts. */
     readonly forItems: (itemKeys: ReadonlyArray<ItemKey>) => Effect.Effect<ReadonlyArray<RunSummary>, RunStoreError>;
-    /** `None` means the invalidation row is absent: treat every cached projection as stale. */
+    /** Returns the Event each existing Run in `runIds` was opened for, once per Run, in no particular order. */
+    readonly events: (runIds: ReadonlyArray<RunId>) => Effect.Effect<ReadonlyArray<RunEvent>, RunStoreError>;
+    /** Returns the projection revision. If the row is absent, returns `None`, and every cached projection is stale. */
     readonly revision: () => Effect.Effect<Option.Option<ProjectionRevision>, RunStoreError>;
-    /** Reads the requested portion of one Attempt's saved transcript in append order. */
+    /** Returns the requested part of an Attempt's transcript, in append order. */
     readonly transcript: (query: TranscriptQuery) => Effect.Effect<ReadonlyArray<TranscriptEntry>, RunStoreError>;
+    /** Returns the Attempts that startup reconciliation visits, counted per Worker, by Worker name. */
+    readonly attemptsByWorker: () => Effect.Effect<ReadonlyArray<WorkerAttempts>, RunStoreError>;
+    /** Returns each Loop's last sighting of the Items in `itemKeys`, one entry per Loop and Item. */
+    readonly sightings: (itemKeys: ReadonlyArray<ItemKey>) => Effect.Effect<ReadonlyArray<LoopSighting>, RunStoreError>;
 }>;
-/** Reads saved Run state and transcripts without starting or recovering execution. */
+/** The service that reads saved Run state and transcripts without starting or recovering execution. */
 export declare class RunReader extends RunReader_base {
     static readonly layer: Layer.Layer<RunReader, never, RunDatabase>;
 }
-export { RunEvidence, RunSnapshot, RunSummary, ProjectionRevision } from "./model.ts";
+export { LoopSighting, RunEvent, RunEvidence, RunSnapshot, RunSummary, ProjectionRevision, WorkerAttempts, } from "./model.ts";
 //# sourceMappingURL=run-reader.d.ts.map

package/dist/run-reader/run-reader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-reader.d.ts","sourceRoot":"","sources":["../../src/run-reader/run-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAsB,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;;IAuDpD,+FAA+F;sBAC7E,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;IAC7E,gHAAgH;uBAC7F,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;IAC9E,+EAA+E;mBAChE,CAAC,OAAO,EAAE;QACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IAC7D,0FAA0F;uBACvE,CACjB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IAC5D,2FAA2F;uBACxE,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IACxF,qFAAqF;yBAChE,CACnB,KAAK,EAAE,eAAe,KACnB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC;;AArBrE,sFAAsF;AACtF,qBAAa,SAAU,SAAQ,cAsBD;IAC5B,MAAM,CAAC,QAAQ,CAAC,KAAK,6CAA0C;CAChE;AAED,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"run-reader.d.ts","sourceRoot":"","sources":["../../src/run-reader/run-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EACL,KAAK,YAAY,EACjB,kBAAkB,EAClB,KAAK,QAAQ,EACb,WAAW,EACX,WAAW,EACX,UAAU,EACV,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAsB,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;;IA+EpD,2FAA2F;sBACzE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;IAC7E,oGAAoG;uBACjF,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC;IAC9E,sFAAsF;mBACvE,CAAC,OAAO,EAAE;QACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IAC7D,kFAAkF;qBACjE,CAAC,OAAO,EAAE;QACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IAC7D,+EAA+E;uBAC5D,CACjB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IAC5D,4GAA4G;qBAC3F,CACf,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,KACzB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;IAC1D,mHAAmH;uBAChG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IACxF,8EAA8E;yBACzD,CACnB,KAAK,EAAE,eAAe,KACnB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC;IACjE,mGAAmG;+BACxE,MAAM,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC;IAC5F,iGAAiG;wBAC7E,CAClB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,KAC7B,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC;;AAnClE,uGAAuG;AACvG,qBAAa,SAAU,SAAQ,cAoCD;IAC5B,MAAM,CAAC,QAAQ,CAAC,KAAK,6CAA0C;CAChE;AAED,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,cAAc,GACf,MAAM,YAAY,CAAC"}

package/dist/run-reader/run-reader.js

@@ -2,9 +2,10 @@ import { Context, Effect, Layer, Option } from "effect";
 import { RunId } from "@usine/core/run";
 import { ItemKey } from "@usine/core/item";
 import { RunDatabase } from "../database/database.js";
-import { ProjectionRevision, RunEvidence, RunSnapshot, RunSummary } from "./model.js";
+import { ProjectionRevision, RunEvidence, RunSnapshot, RunSummary, } from "./model.js";
 import { TranscriptAllQuery, TranscriptEntry, TranscriptQuery } from "../transcript.js";
 import { persistence } from "../store/codec.js";
+import { leftoverQueries } from "../store/leftovers.js";
 import { queriesFor } from "../store/queries.js";
 const makeRunReader = Effect.gen(function* () {
     const database = yield* RunDatabase;
@@ -22,7 +23,7 @@ const makeRunReader = Effect.gen(function* () {
                 transcript: transcripts.flat().sort((left, right) => left.sequence - right.sequence),
             });
         }))
-            .pipe(persistence("read Run evidence"));
+            .pipe(persistence("read run evidence"));
         yield* Effect.logDebug("Run evidence read", {
             runId,
             attempts: evidence.snapshot.attempts.length,
@@ -31,14 +32,29 @@ const makeRunReader = Effect.gen(function* () {
         return evidence;
     });
     const list = Effect.fn("RunReader.list")((options) => queries.runSummaries(options.closedLimit).pipe(persistence("list runs")));
+    const closed = Effect.fn("RunReader.closed")((options) => queries.closedRunSummaries(options.limit).pipe(persistence("list closed runs")));
     const revision = Effect.fn("RunReader.revision")(() => queries.revision().pipe(persistence("read projection revision")));
-    const forItems = Effect.fn("RunReader.forItems")((itemKeys) => queries.itemRunSummaries(itemKeys).pipe(persistence("read Item Run histories")));
-    const transcript = Effect.fn("RunReader.transcript")((query) => queries.transcript(query).pipe(persistence("read Attempt transcript")));
-    return { inspect, evidence, list, forItems, revision, transcript };
+    const forItems = Effect.fn("RunReader.forItems")((itemKeys) => queries.itemRunSummaries(itemKeys).pipe(persistence("read item run histories")));
+    const events = Effect.fn("RunReader.events")((runIds) => queries.runEvents(runIds).pipe(persistence("read the events of runs")));
+    const transcript = Effect.fn("RunReader.transcript")((query) => queries.transcript(query).pipe(persistence("read attempt transcript")));
+    const attemptsByWorker = Effect.fn("RunReader.attemptsByWorker")(() => leftoverQueries(database).attemptCountsByWorker().pipe(persistence("count attempts by worker")));
+    const sightings = Effect.fn("RunReader.sightings")((itemKeys) => queries.loopItems.sightings(itemKeys).pipe(persistence("read loop sightings")));
+    return {
+        inspect,
+        evidence,
+        list,
+        closed,
+        forItems,
+        events,
+        revision,
+        transcript,
+        attemptsByWorker,
+        sightings,
+    };
 });
-/** Reads saved Run state and transcripts without starting or recovering execution. */
+/** The service that reads saved Run state and transcripts without starting or recovering execution. */
 export class RunReader extends Context.Service()("@usine/engine/RunReader") {
     static layer = Layer.effect(RunReader, makeRunReader);
 }
-export { RunEvidence, RunSnapshot, RunSummary, ProjectionRevision } from "./model.js";
+export { LoopSighting, RunEvent, RunEvidence, RunSnapshot, RunSummary, ProjectionRevision, WorkerAttempts, } from "./model.js";
 //# sourceMappingURL=run-reader.js.map

package/dist/run-reader/run-reader.js.map

@@ -1 +1 @@
-{"version":3,"file":"run-reader.js","sourceRoot":"","sources":["../../src/run-reader/run-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExF,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAY,EAAE,EAAE,CAC9D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CACtD,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;QACtE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ;aAC7B,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CACtE,OAAO,CAAC,UAAU,CAAC,IAAI,kBAAkB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAC9D,CAAC;YACF,OAAO,IAAI,WAAW,CAAC;gBACrB,QAAQ;gBACR,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;aACrF,CAAC,CAAC;QACL,CAAC,CAAC,CACH;aACA,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,EAAE;YAC1C,KAAK;YACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM;YAC3C,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;SAC3C,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAyC,EAAE,EAAE,CACrF,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CACzE,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,GAAG,EAAE,CACpD,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAAC,CACjE,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,QAAgC,EAAE,EAAE,CACpF,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,CAAC,CAChF,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAsB,EAAE,EAAE,CAC9E,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,CAAC,CACvE,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAW,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,sFAAsF;AACtF,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,OAAO,EAsB3C,CAAC,yBAAyB,CAAC;IAC5B,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;CAChE;AAED,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"run-reader.js","sourceRoot":"","sources":["../../src/run-reader/run-reader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAEL,kBAAkB,EAElB,WAAW,EACX,WAAW,EACX,UAAU,GAEX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExF,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;IACpC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAY,EAAE,EAAE,CAC9D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CACtD,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;QACtE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ;aAC7B,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CACtE,OAAO,CAAC,UAAU,CAAC,IAAI,kBAAkB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAC9D,CAAC;YACF,OAAO,IAAI,WAAW,CAAC;gBACrB,QAAQ;gBACR,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;aACrF,CAAC,CAAC;QACL,CAAC,CAAC,CACH;aACA,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,EAAE;YAC1C,KAAK;YACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM;YAC3C,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;SAC3C,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAyC,EAAE,EAAE,CACrF,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CACzE,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAmC,EAAE,EAAE,CACnF,OAAO,CAAC,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAChF,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,GAAG,EAAE,CACpD,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAAC,CACjE,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,QAAgC,EAAE,EAAE,CACpF,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,CAAC,CAChF,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAA4B,EAAE,EAAE,CAC5E,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,CAAC,CACvE,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAsB,EAAE,EAAE,CAC9E,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAAC,CAAC,CACvE,CAAC;IACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,GAAG,EAAE,CACpE,eAAe,CAAC,QAAQ,CAAC,CAAC,qBAAqB,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAAC,CAChG,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,QAAgC,EAAE,EAAE,CACtF,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,CAAC,CAC/E,CAAC;IAEF,OAAO;QACL,OAAO;QACP,QAAQ;QACR,IAAI;QACJ,MAAM;QACN,QAAQ;QACR,MAAM;QACN,QAAQ;QACR,UAAU;QACV,gBAAgB;QAChB,SAAS;KACD,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,uGAAuG;AACvG,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,OAAO,EAoC3C,CAAC,yBAAyB,CAAC;IAC5B,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;CAChE;AAED,OAAO,EACL,YAAY,EACZ,QAAQ,EACR,WAAW,EACX,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,cAAc,GACf,MAAM,YAAY,CAAC"}

package/dist/step-executor.d.ts

@@ -1,9 +1,11 @@
+import type { AttemptRecovery, RecoverySink } from "@usine/core/attempt/salvage";
 import { Agent } from "@usine/core/agent";
 import { Attempt, type AttemptId } from "@usine/core/attempt";
+import { SalvagePushed } from "@usine/core/attempt/salvage";
 import { Event } from "@usine/core/event";
 import { Run } from "@usine/core/run";
 import { Step } from "@usine/core/step";
-import { Schema, Context, Effect } from "effect";
+import { Schema, Context, Effect, type Option, type Result } from "effect";
 import type * as AttemptChannel from "@usine/core/attempt/channel";
 import type { AttemptFailure } from "@usine/core/attempt/failure";
 import type { WorkerName } from "@usine/core/worker";
@@ -19,24 +21,78 @@ declare const StepExecution_base: Schema.Class<StepExecution, Schema.Struct<{
     readonly task: Schema.brand<Schema.String, "AttemptTask">;
     readonly agent: typeof Agent;
     readonly parentModel: Schema.Option<Schema.brand<Schema.String, "ModelId">>;
+    /** The Attempt's access to `repository`, from the Run's Loop (ADR 0011). */
+    readonly permissions: Schema.Literals<readonly ["write", "read"]>;
+    /** The newest pushed salvage of an earlier Attempt of the Run, which the checkout resumes from. */
+    readonly resume: Schema.Option<typeof SalvagePushed>;
+    /** Whether to reattach to the Attempt's live parent task instead of starting it. */
+    readonly reattach: Schema.withConstructorDefault<Schema.Boolean>;
 }>, {}>;
-/** The saved Event, effective task and Agent, and Step being tried in one Attempt. */
+/** The saved Event, effective task and Agent, and Step of one Attempt. */
 export declare class StepExecution extends StepExecution_base {
 }
-/** A reservation of one Worker's capacity for the length of an Attempt. Call `release` when the Attempt ends. */
+/** A reservation of one Worker slot for an Attempt, freed by `release`. */
 export interface WorkerLease {
     readonly worker: WorkerName;
     readonly release: Effect.Effect<void>;
 }
+/**
+ * The channel sink for one execution. The executor runs `checkoutAcquired` after preparing the
+ * checkout and before launching the Attempt; from then on, it salvages and releases the
+ * checkout. Before that, the engine reconciles a kept checkout through `StepExecutor.recover`
+ * (#180).
+ */
+export interface ExecutionSink extends AttemptChannel.Sink {
+    readonly checkoutAcquired: Effect.Effect<void>;
+}
 declare const StepExecutor_base: Context.ServiceClass<StepExecutor, "@usine/engine/StepExecutor", {
-    /** Requests that the identified Attempt stop its current work. */
+    /**
+     * The configured Workers, plus each removed Worker until its last Attempt ends. The engine
+     * calls `recover` only for Attempts on these Workers.
+     */
+    readonly workers: Effect.Effect<ReadonlyArray<WorkerName>>;
+    /**
+     * Returns whether the Attempt's parent task survived an orchestrator restart: it still runs,
+     * or it finished and its result is still on the Worker.
+     */
+    readonly isLive: (attemptId: AttemptId) => Effect.Effect<boolean, AttemptFailure>;
+    /**
+     * Returns the result that an open Attempt's parent task stored before an orchestrator restart,
+     * or `None` if nothing was stored.
+     */
+    readonly outcome: (attemptId: AttemptId) => Effect.Effect<Option.Option<Result.Result<StepResult, AttemptFailure>>, AttemptFailure>;
+    /**
+     * Reconciles the checkout of an Attempt that no Run reattaches, recording its salvage before
+     * releasing it. Stops a live parent task first, and fails, leaving the checkout, if it can't
+     * confirm the stop. For an open Attempt whose parent task failed before a launch recorded it,
+     * also records the comments the Attempt posted on the Run's Item.
+     */
+    readonly recover: <E>(attempt: AttemptRecovery, record: RecoverySink<E>) => Effect.Effect<void, E | AttemptFailure>;
+    /**
+     * Stops the Attempt's work, including a parent task that survived a restart. Fails if the parent
+     * task can't be confirmed stopped.
+     */
     readonly interrupt: (attemptId: AttemptId) => Effect.Effect<void, AttemptFailure>;
-    /** Waits for Worker capacity; the returned lease must be released after execution or cancellation. */
-    readonly reserve: (submission: Submission) => Effect.Effect<WorkerLease, AttemptFailure>;
-    /** Runs the reserved Attempt, recording channel activity through `io`, and waits for its result. */
-    readonly execute: (execution: StepExecution, io: AttemptChannel.Sink) => Effect.Effect<StepResult, AttemptFailure>;
+    /** Sends a non-terminal operator action to a live session of the Attempt. */
+    readonly intervene: (attemptId: AttemptId, intervention: AttemptChannel.Intervention) => Effect.Effect<void, AttemptFailure>;
+    /**
+     * Waits for a Worker slot and returns its lease, which the caller releases. If `worker` is set,
+     * waits for a slot on that Worker only (#177).
+     */
+    readonly reserve: (submission: Submission, worker: Option.Option<WorkerName>) => Effect.Effect<WorkerLease, AttemptFailure>;
+    /**
+     * Takes a slot on `worker` immediately for an Attempt that already runs there, even if no slot
+     * is free, so the Worker can exceed its capacity until enough Attempts end (#177).
+     */
+    readonly occupy: (worker: WorkerName) => Effect.Effect<WorkerLease>;
+    /**
+     * Runs the reserved Attempt, or reattaches to it if `execution.reattach` is set, records channel
+     * activity through `io`, and returns its result. Runs `io.checkoutAcquired` after preparing the
+     * checkout, and never if preparation fails.
+     */
+    readonly execute: (execution: StepExecution, io: ExecutionSink) => Effect.Effect<StepResult, AttemptFailure>;
 }>;
-/** Runs one Attempt on a Worker: reserve capacity, execute the step, interrupt on cancel. */
+/** The service that runs Attempts on Workers. */
 export declare class StepExecutor extends StepExecutor_base {
 }
 export {};

package/dist/step-executor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step-executor.d.ts","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,KAAK,cAAc,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;;;;;;;;;;;;AAEzD,sFAAsF;AACtF,qBAAa,aAAc,SAAQ,kBAUjC;CAAG;AAEL,iHAAiH;AACjH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACvC;;IAMG,kEAAkE;wBAC9C,CAAC,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACjF,sGAAsG;sBACpF,CAAC,UAAU,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;IACxF,oGAAoG;sBAClF,CAChB,SAAS,EAAE,aAAa,EACxB,EAAE,EAAE,cAAc,CAAC,IAAI,KACpB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC;;AAZlD,6FAA6F;AAC7F,qBAAa,YAAa,SAAQ,iBAaD;CAAG"}
+{"version":3,"file":"step-executor.d.ts","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,OAAO,EAAE,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC3E,OAAO,KAAK,KAAK,cAAc,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;;;;;;;;;;;IAavD,4EAA4E;;IAE5E,mGAAmG;;IAEnG,oFAAoF;;;AAftF,0EAA0E;AAC1E,qBAAa,aAAc,SAAQ,kBAgBjC;CAAG;AAEL,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACvC;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAc,SAAQ,cAAc,CAAC,IAAI;IACxD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAChD;;IAMG;;;OAGG;sBACe,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IAC1D;;;OAGG;qBACc,CAAC,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC;IACjF;;;OAGG;sBACe,CAChB,SAAS,EAAE,SAAS,KACjB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC;IAC5F;;;;;OAKG;sBACe,CAAC,CAAC,EAClB,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC;IAC5C;;;OAGG;wBACiB,CAAC,SAAS,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACjF,6EAA6E;wBACzD,CAClB,SAAS,EAAE,SAAS,EACpB,YAAY,EAAE,cAAc,CAAC,YAAY,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC;IACxC;;;OAGG;sBACe,CAChB,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC;IAC/C;;;OAGG;qBACc,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;IACnE;;;;OAIG;sBACe,CAChB,SAAS,EAAE,aAAa,EACxB,EAAE,EAAE,aAAa,KACd,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC;;AA9DlD,iDAAiD;AACjD,qBAAa,YAAa,SAAQ,iBA+DD;CAAG"}

package/dist/step-executor.js

@@ -1,12 +1,14 @@
 import { Agent } from "@usine/core/agent";
 import { ModelId } from "@usine/core/agent/brain";
 import { Attempt, AttemptTask } from "@usine/core/attempt";
+import { SalvagePushed } from "@usine/core/attempt/salvage";
 import { Event } from "@usine/core/event";
+import { LoopPermissions } from "@usine/core/loop";
 import { RepositoryName, RepositoryRevision } from "@usine/core/repository";
 import { Run } from "@usine/core/run";
 import { Step } from "@usine/core/step";
 import { Schema, Context, Effect } from "effect";
-/** The saved Event, effective task and Agent, and Step being tried in one Attempt. */
+/** The saved Event, effective task and Agent, and Step of one Attempt. */
 export class StepExecution extends Schema.Class("@usine/engine/StepExecution")({
     attempt: Attempt,
     event: Event,
@@ -17,9 +19,15 @@ export class StepExecution extends Schema.Class("@usine/engine/StepExecution")({
     task: AttemptTask,
     agent: Agent,
     parentModel: Schema.Option(ModelId),
+    /** The Attempt's access to `repository`, from the Run's Loop (ADR 0011). */
+    permissions: LoopPermissions,
+    /** The newest pushed salvage of an earlier Attempt of the Run, which the checkout resumes from. */
+    resume: Schema.Option(SalvagePushed),
+    /** Whether to reattach to the Attempt's live parent task instead of starting it. */
+    reattach: Schema.Boolean.pipe(Schema.withConstructorDefault(Effect.succeed(false))),
 }) {
 }
-/** Runs one Attempt on a Worker: reserve capacity, execute the step, interrupt on cancel. */
+/** The service that runs Attempts on Workers. */
 export class StepExecutor extends Context.Service()("@usine/engine/StepExecutor") {
 }
 //# sourceMappingURL=step-executor.js.map

package/dist/step-executor.js.map

@@ -1 +1 @@
-{"version":3,"file":"step-executor.js","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAkB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAOjD,sFAAsF;AACtF,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,6BAA6B,CAAC,CAAC;IAC5F,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,KAAK;IACZ,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;CACpC,CAAC;CAAG;AAQL,6FAA6F;AAC7F,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,OAAO,EAa9C,CAAC,4BAA4B,CAAC;CAAG"}
+{"version":3,"file":"step-executor.js","sourceRoot":"","sources":["../src/step-executor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAkB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAA4B,MAAM,QAAQ,CAAC;AAO3E,0EAA0E;AAC1E,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,6BAA6B,CAAC,CAAC;IAC5F,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,KAAK;IACZ,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,UAAU,EAAE,cAAc;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,KAAK;IACZ,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACnC,4EAA4E;IAC5E,WAAW,EAAE,eAAe;IAC5B,mGAAmG;IACnG,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;IACpC,oFAAoF;IACpF,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;CACpF,CAAC;CAAG;AAkBL,iDAAiD;AACjD,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,OAAO,EA+D9C,CAAC,4BAA4B,CAAC;CAAG"}

package/dist/store/attempt-windows.d.ts

@@ -0,0 +1,8 @@
+import { AttemptWindows } from "@usine/core/attempt";
+import { Effect } from "effect";
+import type { RunDatabaseClient } from "../database/database.ts";
+/** Returns the Attempt window queries that run on the caller's transaction. */
+export declare const attemptWindowQueries: (database: RunDatabaseClient) => {
+    readonly attemptWindows: (attemptId: string & import("effect/Brand").Brand<"AttemptId">) => Effect.Effect<AttemptWindows, import("drizzle-orm/effect-core").EffectDrizzleQueryError | import("effect/Schema").SchemaError, never>;
+};
+//# sourceMappingURL=attempt-windows.d.ts.map

package/dist/store/attempt-windows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-windows.d.ts","sourceRoot":"","sources":["../../src/store/attempt-windows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,cAAc,EAA4B,MAAM,qBAAqB,CAAC;AAE/F,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAKjE,+EAA+E;AAC/E,eAAO,MAAM,oBAAoB,aAAc,iBAAiB;;CAuD/D,CAAC"}