effect-jobs 0.1.0-alpha.0

package/dist/JobStore.d.ts

@@ -0,0 +1,348 @@
+import { Data, Effect, Result } from "effect";
+import type { CatalogIdentity } from "./JobIdentity.js";
+import type { JobFinalization, JobOwnership, JobSnapshot } from "./JobLifecycle.js";
+export interface ClaimedJob {
+    readonly ownership: JobOwnership;
+    readonly snapshot: JobSnapshot;
+    /** Untrusted artifact: validate before dispatch; never fall back to a partial payload. */
+    readonly prepared: unknown;
+}
+export type ClaimResult = Data.TaggedEnum<{
+    Claimed: {
+        readonly claim: ClaimedJob;
+    };
+    Empty: {};
+    Unknown: {};
+}>;
+export declare const ClaimResults: {
+    readonly $is: <Tag extends "Claimed" | "Empty" | "Unknown">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "Claimed";
+        readonly claim: ClaimedJob;
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Empty";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Unknown";
+    }, {
+        readonly _tag: Tag;
+    }>;
+    readonly $match: {
+        <Cases extends { readonly [Tag in "Claimed" | "Empty" | "Unknown"]: (args: Extract<{
+            readonly _tag: "Claimed";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Empty";
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(cases: Cases): (value: {
+            readonly _tag: "Claimed";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Empty";
+        } | {
+            readonly _tag: "Unknown";
+        }) => import("effect/Unify").Unify<ReturnType<Cases["Claimed" | "Empty" | "Unknown"]>>;
+        <Cases extends { readonly [Tag in "Claimed" | "Empty" | "Unknown"]: (args: Extract<{
+            readonly _tag: "Claimed";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Empty";
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(value: {
+            readonly _tag: "Claimed";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Empty";
+        } | {
+            readonly _tag: "Unknown";
+        }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Claimed" | "Empty" | "Unknown"]>>;
+    };
+    readonly Claimed: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Claimed";
+        readonly claim: ClaimedJob;
+    }, "_tag">;
+    readonly Empty: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Empty";
+    }, "_tag">;
+    readonly Unknown: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Unknown";
+    }, "_tag">;
+};
+export type ClaimReconciliation = Data.TaggedEnum<{
+    Owned: {
+        readonly claim: ClaimedJob;
+    };
+    InsufficientLease: {
+        readonly ownership: JobOwnership;
+    };
+    NotOwned: {};
+    Unknown: {};
+}>;
+export declare const ClaimReconciliations: {
+    readonly $is: <Tag extends "InsufficientLease" | "NotOwned" | "Owned" | "Unknown">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "InsufficientLease";
+        readonly ownership: JobOwnership;
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "NotOwned";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Owned";
+        readonly claim: ClaimedJob;
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Unknown";
+    }, {
+        readonly _tag: Tag;
+    }>;
+    readonly $match: {
+        <Cases extends { readonly [Tag in "InsufficientLease" | "NotOwned" | "Owned" | "Unknown"]: (args: Extract<{
+            readonly _tag: "InsufficientLease";
+            readonly ownership: JobOwnership;
+        } | {
+            readonly _tag: "NotOwned";
+        } | {
+            readonly _tag: "Owned";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(cases: Cases): (value: {
+            readonly _tag: "InsufficientLease";
+            readonly ownership: JobOwnership;
+        } | {
+            readonly _tag: "NotOwned";
+        } | {
+            readonly _tag: "Owned";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Unknown";
+        }) => import("effect/Unify").Unify<ReturnType<Cases["InsufficientLease" | "NotOwned" | "Owned" | "Unknown"]>>;
+        <Cases extends { readonly [Tag in "InsufficientLease" | "NotOwned" | "Owned" | "Unknown"]: (args: Extract<{
+            readonly _tag: "InsufficientLease";
+            readonly ownership: JobOwnership;
+        } | {
+            readonly _tag: "NotOwned";
+        } | {
+            readonly _tag: "Owned";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(value: {
+            readonly _tag: "InsufficientLease";
+            readonly ownership: JobOwnership;
+        } | {
+            readonly _tag: "NotOwned";
+        } | {
+            readonly _tag: "Owned";
+            readonly claim: ClaimedJob;
+        } | {
+            readonly _tag: "Unknown";
+        }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["InsufficientLease" | "NotOwned" | "Owned" | "Unknown"]>>;
+    };
+    readonly InsufficientLease: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "InsufficientLease";
+        readonly ownership: JobOwnership;
+    }, "_tag">;
+    readonly NotOwned: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "NotOwned";
+    }, "_tag">;
+    readonly Owned: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Owned";
+        readonly claim: ClaimedJob;
+    }, "_tag">;
+    readonly Unknown: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Unknown";
+    }, "_tag">;
+};
+export type FinalizationResult = Data.TaggedEnum<{
+    Applied: {};
+    Unknown: {};
+}>;
+export declare const FinalizationResults: {
+    readonly $is: <Tag extends "Applied" | "Unknown">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "Applied";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Unknown";
+    }, {
+        readonly _tag: Tag;
+    }>;
+    readonly $match: {
+        <Cases extends { readonly [Tag in "Applied" | "Unknown"]: (args: Extract<{
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(cases: Cases): (value: {
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "Unknown";
+        }) => import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Unknown"]>>;
+        <Cases extends { readonly [Tag in "Applied" | "Unknown"]: (args: Extract<{
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(value: {
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "Unknown";
+        }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Applied" | "Unknown"]>>;
+    };
+    readonly Applied: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Applied";
+    }, "_tag">;
+    readonly Unknown: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Unknown";
+    }, "_tag">;
+};
+export type FinalizationReconciliation = Data.TaggedEnum<{
+    Applied: {};
+    StillOwned: {};
+    OwnershipLost: {};
+    Unknown: {};
+}>;
+export declare const FinalizationReconciliations: {
+    readonly $is: <Tag extends "Applied" | "OwnershipLost" | "StillOwned" | "Unknown">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "Applied";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "OwnershipLost";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "StillOwned";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Unknown";
+    }, {
+        readonly _tag: Tag;
+    }>;
+    readonly $match: {
+        <Cases extends { readonly [Tag in "Applied" | "OwnershipLost" | "StillOwned" | "Unknown"]: (args: Extract<{
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "OwnershipLost";
+        } | {
+            readonly _tag: "StillOwned";
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(cases: Cases): (value: {
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "OwnershipLost";
+        } | {
+            readonly _tag: "StillOwned";
+        } | {
+            readonly _tag: "Unknown";
+        }) => import("effect/Unify").Unify<ReturnType<Cases["Applied" | "OwnershipLost" | "StillOwned" | "Unknown"]>>;
+        <Cases extends { readonly [Tag in "Applied" | "OwnershipLost" | "StillOwned" | "Unknown"]: (args: Extract<{
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "OwnershipLost";
+        } | {
+            readonly _tag: "StillOwned";
+        } | {
+            readonly _tag: "Unknown";
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(value: {
+            readonly _tag: "Applied";
+        } | {
+            readonly _tag: "OwnershipLost";
+        } | {
+            readonly _tag: "StillOwned";
+        } | {
+            readonly _tag: "Unknown";
+        }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["Applied" | "OwnershipLost" | "StillOwned" | "Unknown"]>>;
+    };
+    readonly Applied: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Applied";
+    }, "_tag">;
+    readonly OwnershipLost: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "OwnershipLost";
+    }, "_tag">;
+    readonly StillOwned: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "StillOwned";
+    }, "_tag">;
+    readonly Unknown: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "Unknown";
+    }, "_tag">;
+};
+declare const JobOwnershipLost_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "JobOwnershipLost";
+} & Readonly<A>;
+export declare class JobOwnershipLost extends JobOwnershipLost_base<{}> {
+}
+declare const JobStoreProtocolError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "JobStoreProtocolError";
+} & Readonly<A>;
+export declare class JobStoreProtocolError extends JobStoreProtocolError_base<{
+    readonly reason: "invalid-input" | "invalid-artifact";
+}> {
+}
+export interface ClaimRequest {
+    readonly queue: string;
+    /** Nonempty supported catalogs only. No process-global catalog or unsupported-version dispatch. */
+    readonly supportedCatalog: ReadonlyArray<CatalogIdentity>;
+    /** Fresh unique caller token per claim operation, retained verbatim for reconciliation. */
+    readonly leaseToken: string;
+}
+export interface FinalizationRequest {
+    readonly ownership: JobOwnership;
+    /** Frozen pre-write snapshot makes exact transition reconciliation possible. */
+    readonly before: JobSnapshot;
+    readonly finalization: JobFinalization;
+}
+/** Backend boundary validation, before any mutation is dispatched. */
+export declare const validateClaimRequest: (input: unknown) => Result.Result<ClaimRequest, JobStoreProtocolError>;
+/**
+ * Explicit configured port, not a backend constructor or atomicity proof.
+ * E/R preserve provider failure and connection requirements. Unknown dispatched writes
+ * MUST be returned as Unknown (including response loss); typed failures cannot imply rollback.
+ * Never replay mutations automatically. Lock/CAS the exact state/token/version using one
+ * DB-time snapshot, fixed non-renewable leases and bounded validated arithmetic.
+ * Claim atomically selects at most one due supported row and its immutable payload;
+ * its lease must reserve stored timeout plus configured positive operation-response budget.
+ * Reconciliation reads once by the ORIGINAL caller token, never by an unrelated new claim.
+ * All transitions preserve first policy, identities and artifact bytes; no lease renewal.
+ */
+export interface JobStoreService<E = never, R = never> {
+    readonly claim: (request: ClaimRequest) => Effect.Effect<ClaimResult, E | JobStoreProtocolError, R>;
+    readonly reconcileClaim: (leaseToken: string) => Effect.Effect<ClaimReconciliation, E | JobStoreProtocolError, R>;
+    /** Worker-only pre-execution boundary. Never call once decoding/handler execution has started. */
+    readonly release: (ownership: JobOwnership, phase: "BeforeExecution") => Effect.Effect<FinalizationResult, E | JobOwnershipLost | JobStoreProtocolError, R>;
+    readonly finalize: (request: FinalizationRequest) => Effect.Effect<FinalizationResult, E | JobOwnershipLost | JobStoreProtocolError, R>;
+    /** Applied requires the exact transition/counter/code/timestamp/version, not terminal state alone. */
+    readonly reconcileFinalization: (request: FinalizationRequest) => Effect.Effect<FinalizationReconciliation, E | JobStoreProtocolError, R>;
+    /** Atomic, bounded 1–500 batch; expiry <= DB time; no handler invocation. */
+    readonly recoverExpired: (limit: number) => Effect.Effect<number, E | JobStoreProtocolError, R>;
+}
+/** Separate replaceable app-owned port; the store must not bypass domain references. */
+export interface JobCleanupService<E = never, R = never> {
+    readonly cleanup: (limit: number) => Effect.Effect<number, E | JobStoreProtocolError, R>;
+}
+export {};
+//# sourceMappingURL=JobStore.d.ts.map

package/dist/JobStore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobStore.d.ts","sourceRoot":"","sources":["../src/JobStore.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAGrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAEnF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B;AACD,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;IACxC,OAAO,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;KAAE,CAAA;IACvC,KAAK,EAAE,EAAE,CAAA;IACT,OAAO,EAAE,EAAE,CAAA;CACZ,CAAC,CAAA;AACF,eAAO,MAAM,YAAY;;;wBAJI,UAAU;;;;;;;;;;;;;;;4BAAV,UAAU;;;;;;;;;;;;;;;;;4BAAV,UAAU;;;;;;;;;;;;;;;;;;wBAAV,UAAU;;;;;;;;CAImB,CAAA;AAC1D,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,UAAU,CAAC;IAChD,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;KAAE,CAAA;IACrC,iBAAiB,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAA;KAAE,CAAA;IACvD,QAAQ,EAAE,EAAE,CAAA;IACZ,OAAO,EAAE,EAAE,CAAA;CACZ,CAAC,CAAA;AACF,eAAO,MAAM,oBAAoB;;;4BAJU,YAAY;;;;;;;;;wBAD5B,UAAU;;;;;;;;;;;gCACM,YAAY;;;;;4BAD5B,UAAU;;;;;;;;;;;;;;;;;;gCACM,YAAY;;;;;4BAD5B,UAAU;;;;;;;;;;;;;;;;;;;4BACM,YAAY;;;;;;;wBAD5B,UAAU;;;;;CAKqC,CAAA;AAC1E,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAAU,CAAC;IAAE,OAAO,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,CAAA;CAAE,CAAC,CAAA;AAC9E,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAAwC,CAAA;AACxE,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,UAAU,CAAC;IACvD,OAAO,EAAE,EAAE,CAAA;IACX,UAAU,EAAE,EAAE,CAAA;IACd,aAAa,EAAE,EAAE,CAAA;IACjB,OAAO,EAAE,EAAE,CAAA;CACZ,CAAC,CAAA;AACF,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAAgD,CAAA;;;;AAExF,qBAAa,gBAAiB,SAAQ,sBAAqC,EAAE,CAAC;CAAG;;;;AACjF,qBAAa,qBAAsB,SAAQ,2BAA0C;IACnF,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,kBAAkB,CAAA;CACtD,CAAC;CAAG;AAEL,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,mGAAmG;IACnG,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;IACzD,2FAA2F;IAC3F,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AACD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAA;IAChC,gFAAgF;IAChF,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAA;CACvC;AAaD,sEAAsE;AACtE,eAAO,MAAM,oBAAoB,UACxB,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,qBAAqB,CAIjD,CAAA;AAEH;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IACnD,QAAQ,CAAC,KAAK,EAAE,CACd,OAAO,EAAE,YAAY,KAClB,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,cAAc,EAAE,CACvB,UAAU,EAAE,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;IACrE,kGAAkG;IAClG,QAAQ,CAAC,OAAO,EAAE,CAChB,SAAS,EAAE,YAAY,EACvB,KAAK,EAAE,iBAAiB,KACrB,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,GAAG,gBAAgB,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;IACvF,QAAQ,CAAC,QAAQ,EAAE,CACjB,OAAO,EAAE,mBAAmB,KACzB,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,GAAG,gBAAgB,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;IACvF,sGAAsG;IACtG,QAAQ,CAAC,qBAAqB,EAAE,CAC9B,OAAO,EAAE,mBAAmB,KACzB,MAAM,CAAC,MAAM,CAAC,0BAA0B,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;IAC5E,6EAA6E;IAC7E,QAAQ,CAAC,cAAc,EAAE,CACvB,KAAK,EAAE,MAAM,KACV,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;CACzD;AAED,wFAAwF;AACxF,MAAM,WAAW,iBAAiB,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IACrD,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;CACzF"}

package/dist/JobStore.js

@@ -0,0 +1,19 @@
+import { Data, Effect, Result, Schema } from "effect";
+import { CatalogIdentity as CatalogSchema, QueueName } from "./JobIdentity.js";
+import { LeaseToken } from "./JobLifecycle.js";
+export const ClaimResults = Data.taggedEnum();
+export const ClaimReconciliations = Data.taggedEnum();
+export const FinalizationResults = Data.taggedEnum();
+export const FinalizationReconciliations = Data.taggedEnum();
+export class JobOwnershipLost extends Data.TaggedError("JobOwnershipLost") {
+}
+export class JobStoreProtocolError extends Data.TaggedError("JobStoreProtocolError") {
+}
+const ClaimRequestSchema = Schema.Struct({
+    queue: QueueName,
+    supportedCatalog: Schema.Array(CatalogSchema).pipe(Schema.check(Schema.isMinLength(1))),
+    leaseToken: LeaseToken
+}).pipe(Schema.check(Schema.makeFilter((request) => request.supportedCatalog.every((catalog) => catalog.queue === request.queue))));
+/** Backend boundary validation, before any mutation is dispatched. */
+export const validateClaimRequest = (input) => Result.mapError(Schema.decodeUnknownResult(ClaimRequestSchema, { onExcessProperty: "error" })(input), () => new JobStoreProtocolError({ reason: "invalid-input" }));
+//# sourceMappingURL=JobStore.js.map

package/dist/JobStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobStore.js","sourceRoot":"","sources":["../src/JobStore.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrD,OAAO,EAAE,eAAe,IAAI,aAAa,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAe9C,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,EAAe,CAAA;AAO1D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,UAAU,EAAuB,CAAA;AAE1E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,UAAU,EAAsB,CAAA;AAOxE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,UAAU,EAA8B,CAAA;AAExF,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAK;CAAG;AACjF,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAEjF;CAAG;AAgBL,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,SAAS;IAChB,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,UAAU,EAAE,UAAU;CACvB,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5B,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,CAC7E,CACF,CACF,CAAA;AACD,sEAAsE;AACtE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAc,EACsC,EAAE,CACtD,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,mBAAmB,CAAC,kBAAkB,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,EACpF,GAAG,EAAE,CAAC,IAAI,qBAAqB,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAC7D,CAAA"}

package/dist/JobTelemetry.d.ts

@@ -0,0 +1,7 @@
+import { Effect } from "effect";
+export type Operation = "claim" | "release" | "execute" | "finalize" | "recover-expired" | "polling" | "backoff";
+export type Phase = "dispatch" | "handler" | "finalization" | "reconciliation" | "protocol" | "maintenance";
+export type Outcome = "success" | "failure" | "interrupted" | "unknown" | "timeout";
+/** Bounded vocabulary only. No arbitrary attributes, errors, codes or identities. */
+export declare const observe: (operation: Operation, phase: Phase) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+//# sourceMappingURL=JobTelemetry.d.ts.map

package/dist/JobTelemetry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobTelemetry.d.ts","sourceRoot":"","sources":["../src/JobTelemetry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAgB,MAAM,QAAQ,CAAA;AAE3D,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,SAAS,GACT,SAAS,GACT,UAAU,GACV,iBAAiB,GACjB,SAAS,GACT,SAAS,CAAA;AACb,MAAM,MAAM,KAAK,GACb,UAAU,GACV,SAAS,GACT,cAAc,GACd,gBAAgB,GAChB,UAAU,GACV,aAAa,CAAA;AACjB,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,CAAA;AAmBnF,qFAAqF;AACrF,eAAO,MAAM,OAAO,cACN,SAAS,SAAS,KAAK,MAClC,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAqDxB,CAAA"}

package/dist/JobTelemetry.js

@@ -0,0 +1,61 @@
+import { Cause, Clock, Effect, Exit, Metric } from "effect";
+const successOutcome = (value) => {
+    if (typeof value === "object" && value !== null && "_tag" in value) {
+        if (value._tag === "Unknown" || value._tag === "Unresolved") {
+            return "unknown";
+        }
+        if (value._tag === "Backoff") {
+            return "failure";
+        }
+    }
+    return "success";
+};
+const total = Metric.counter("effect_jobs_operation_total", { incremental: true });
+const duration = Metric.histogram("effect_jobs_operation_duration_millis", {
+    boundaries: [1, 10, 100, 1000, 10_000, 60_000]
+});
+/** Bounded vocabulary only. No arbitrary attributes, errors, codes or identities. */
+export const observe = (operation, phase) => (effect) => Effect.uninterruptibleMask((restore) => Effect.gen(function* () {
+    // Allocate per execution, including concurrent runs of the same Effect.
+    let exit;
+    yield* Effect.gen(function* () {
+        const started = yield* Clock.currentTimeMillis;
+        exit = yield* Effect.exit(restore(effect));
+        const ended = yield* Clock.currentTimeMillis;
+        const reasons = Exit.isFailure(exit) ? exit.cause.reasons : [];
+        const kinds = new Set(reasons.map((reason) => Cause.isFailReason(reason)
+            ? "failure"
+            : Cause.isDieReason(reason)
+                ? "defect"
+                : "interrupted"));
+        const [reason] = reasons;
+        const outcome = Exit.isSuccess(exit)
+            ? successOutcome(exit.value)
+            : reasons.length === 1 &&
+                reason !== undefined &&
+                Cause.isFailReason(reason) &&
+                reason.error instanceof Cause.TimeoutError
+                ? "timeout"
+                : kinds.size === 1 && kinds.has("interrupted")
+                    ? "interrupted"
+                    : "failure";
+        const fields = {
+            "jobs.operation": operation,
+            "jobs.phase": phase,
+            "jobs.outcome": outcome,
+            ...(reasons.length === 0
+                ? {}
+                : {
+                    "jobs.cause_kind": kinds.size > 1 ? "mixed" : [...kinds][0],
+                    "jobs.reason_count_bucket": reasons.length === 1 ? "1" : reasons.length === 2 ? "2" : "3+"
+                })
+        };
+        yield* Effect.annotateCurrentSpan(fields);
+        yield* Metric.update(Metric.withAttributes(total, fields), 1);
+        yield* Metric.update(Metric.withAttributes(duration, fields), Math.max(0, ended - started));
+        yield* Effect.logInfo("effect-jobs operation completed", fields);
+        // Span completion must contain neither the operation value nor its Cause.
+    }).pipe(Effect.withSpan(`effect-jobs.${operation}`));
+    return exit;
+})).pipe(Effect.flatMap((exit) => exit));
+//# sourceMappingURL=JobTelemetry.js.map

package/dist/JobTelemetry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobTelemetry.js","sourceRoot":"","sources":["../src/JobTelemetry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAmB3D,MAAM,cAAc,GAAG,CAAC,KAAc,EAAW,EAAE;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACnE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5D,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,6BAA6B,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAA;AAClF,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,uCAAuC,EAAE;IACzE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;CAC/C,CAAC,CAAA;AAEF,qFAAqF;AACrF,MAAM,CAAC,MAAM,OAAO,GAClB,CAAC,SAAoB,EAAE,KAAY,EAAE,EAAE,CACvC,CAAU,MAA8B,EAA0B,EAAE,CAClE,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,wEAAwE;IACxE,IAAI,IAAsB,CAAA;IAC1B,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;QAC9C,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;QAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAA;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;QAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACrB,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC;YACxB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBACzB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,aAAa,CACpB,CACF,CAAA;QACD,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAA;QACxB,MAAM,OAAO,GAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAC3C,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5B,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,MAAM,KAAK,SAAS;gBACpB,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC;gBAC1B,MAAM,CAAC,KAAK,YAAY,KAAK,CAAC,YAAY;gBAC5C,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;oBAC5C,CAAC,CAAC,aAAa;oBACf,CAAC,CAAC,SAAS,CAAA;QACjB,MAAM,MAAM,GAAG;YACb,gBAAgB,EAAE,SAAS;YAC3B,YAAY,EAAE,KAAK;YACnB,cAAc,EAAE,OAAO;YACvB,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,iBAAiB,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAE;oBAC5D,0BAA0B,EACxB,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;iBACjE,CAAC;SACP,CAAA;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAA;QACzC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;QAC7D,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,EACvC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,CAC7B,CAAA;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,iCAAiC,EAAE,MAAM,CAAC,CAAA;QAChE,0EAA0E;IAC5E,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAS,EAAE,CAAC,CAAC,CAAA;IACpD,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA"}

package/dist/JobTransaction.d.ts

@@ -0,0 +1,24 @@
+import type { Effect } from "effect";
+import type { EnqueueResult, JobIntegrityConflict, PreparedJob, InvalidJobInput, JobPayloadCodecError } from "./JobContract.js";
+import type { JobsTransactionTypeId } from "./internal/JobTransaction.js";
+declare const JobsTransactionClosed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "JobsTransactionClosed";
+} & Readonly<A>;
+export declare class JobsTransactionClosed extends JobsTransactionClosed_base<{
+    readonly reason: "callback-exited";
+}> {
+    get message(): string;
+}
+/** Backend callback capability. No public constructor or commit/replay operations. */
+export interface JobsTransaction<E = never, R = never> {
+    readonly [JobsTransactionTypeId]: {
+        readonly insertOrCompare: (prepared: PreparedJob) => Effect.Effect<EnqueueResult, E | JobIntegrityConflict | JobsTransactionClosed, R>;
+    };
+}
+export type JobEnqueueError = InvalidJobInput | JobPayloadCodecError | JobIntegrityConflict | JobsTransactionClosed;
+/** Implemented by a qualified application manager integration, not a core engine. */
+export interface JobTransactionsService<ManagerError, ManagerRequirements = never> {
+    readonly withTransaction: <A, E, R>(body: (jobsTx: JobsTransaction<ManagerError>) => Effect.Effect<A, E, R>) => Effect.Effect<A, E | ManagerError, R | ManagerRequirements>;
+}
+export {};
+//# sourceMappingURL=JobTransaction.d.ts.map

package/dist/JobTransaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobTransaction.d.ts","sourceRoot":"","sources":["../src/JobTransaction.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EACV,aAAa,EACb,oBAAoB,EACpB,WAAW,EACX,eAAe,EACf,oBAAoB,EACrB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAA;;;;AAEzE,qBAAa,qBAAsB,SAAQ,2BAA0C;IACnF,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;CACnC,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AACD,sFAAsF;AACtF,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IACnD,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE;QAChC,QAAQ,CAAC,eAAe,EAAE,CACxB,QAAQ,EAAE,WAAW,KAClB,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,GAAG,oBAAoB,GAAG,qBAAqB,EAAE,CAAC,CAAC,CAAA;KACvF,CAAA;CACF;AACD,MAAM,MAAM,eAAe,GACvB,eAAe,GACf,oBAAoB,GACpB,oBAAoB,GACpB,qBAAqB,CAAA;AAEzB,qFAAqF;AACrF,MAAM,WAAW,sBAAsB,CAAC,YAAY,EAAE,mBAAmB,GAAG,KAAK;IAC/E,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,IAAI,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC,YAAY,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACpE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAA;CACjE"}

package/dist/JobTransaction.js

@@ -0,0 +1,7 @@
+import { Data } from "effect";
+export class JobsTransactionClosed extends Data.TaggedError("JobsTransactionClosed") {
+    get message() {
+        return "JobsTransaction is closed; enqueue inside the backend joinTransaction callback";
+    }
+}
+//# sourceMappingURL=JobTransaction.js.map

package/dist/JobTransaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobTransaction.js","sourceRoot":"","sources":["../src/JobTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAW7B,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAEjF;IACA,IAAa,OAAO;QAClB,OAAO,gFAAgF,CAAA;IACzF,CAAC;CACF"}

package/dist/JobWorker.d.ts

@@ -0,0 +1,24 @@
+import { Context, Effect, Layer } from "effect";
+import { JobRegistry } from "./JobRegistry.js";
+import { JobWorkerConfigurationError, WorkerCapability } from "./internal/worker/Capability.js";
+import type { CatalogEntry } from "./JobRegistry.js";
+import type { JobStoreService } from "./JobStore.js";
+import type { RuntimeCapability } from "./internal/worker/Capability.js";
+export { JobWorkerConfigurationError, JobWorkerNotReady, JobWorkerUnavailable } from "./internal/worker/Capability.js";
+export interface JobWorkerService {
+    /** Explicit sealed runtime capability, not a process-global WeakMap. */
+    readonly [WorkerCapability]: RuntimeCapability;
+}
+declare const JobWorker_base: Context.ServiceClass<JobWorker, "effect-jobs/JobWorker", JobWorkerService>;
+export declare class JobWorker extends JobWorker_base {
+}
+export interface JobWorkerOptions {
+    readonly catalog: ReadonlyArray<CatalogEntry>;
+    /** Must agree with the configured backend's finite response budget. */
+    readonly operationResponseBudgetMillis: number;
+}
+/** The integrated store is a generic port (no Context tag). Capture its ordinary
+ * Effect requirements once here; providers still own pools and transactions. */
+export declare const make: <E, R>(store: JobStoreService<E, R>, options: JobWorkerOptions) => Effect.Effect<JobWorkerService, JobWorkerConfigurationError, R | JobRegistry>;
+export declare const layer: <E, R>(store: JobStoreService<E, R>, options: JobWorkerOptions) => Layer.Layer<JobWorker, JobWorkerConfigurationError, JobRegistry | Exclude<R, import("effect/Scope").Scope>>;
+//# sourceMappingURL=JobWorker.d.ts.map

package/dist/JobWorker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JobWorker.d.ts","sourceRoot":"","sources":["../src/JobWorker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,OAAO,EAAE,MAAM,EAAE,KAAK,EAAqB,MAAM,QAAQ,CAAA;AAGzE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAG9C,OAAO,EAEL,2BAA2B,EAG3B,gBAAgB,EACjB,MAAM,iCAAiC,CAAA;AAExC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,EAAc,eAAe,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAA;AAExE,OAAO,EACL,2BAA2B,EAC3B,iBAAiB,EACjB,oBAAoB,EACrB,MAAM,iCAAiC,CAAA;AAExC,MAAM,WAAW,gBAAgB;IAC/B,wEAAwE;IACxE,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,iBAAiB,CAAA;CAC/C;;AACD,qBAAa,SAAU,SAAQ,cAE9B;CAAG;AAEJ,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC7C,uEAAuE;IACvE,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAA;CAC/C;AAWD;gFACgF;AAChF,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,SAAS,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,gBAAgB,kFAmL9E,CAAA;AAEJ,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,SAAS,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,gBAAgB,gHACpC,CAAA"}