@usine/engine 0.1.0 → 0.3.0

package/README.md

@@ -6,7 +6,7 @@ The default adapter stores usine's Event ledger and Run projections beside Effec
 
 `CursorStore` keeps typed keys with JSON values in that database. Trigger adapters use it for efficiency-only cursors such as GitHub watermarks and ETags; deleting a cursor causes a safe replay because the Event ledger remains the source of deduplication.
 
-`LoopControl` keeps runtime pause state in the same database. Pausing or unpausing a Loop never edits its authored Markdown file. `RunReader.list()` returns lightweight durable Run summaries newest first for observe-and-intervene surfaces, without loading Event payloads or issuing one snapshot read per Run. `RunReader.revision()` lets callers reuse an unchanged projection without rescanning history.
+`LoopControl` keeps runtime pause state in the same database. Pausing or unpausing a Loop never edits its authored Markdown file. `RunReader.list()` returns lightweight durable Run summaries newest first for observe-and-intervene surfaces, without loading Event payloads or issuing one snapshot read per Run. `RunReader.forItems(itemKeys)` reads every saved Run and its Attempts for the selected Items, independently of the recent-history window. `RunReader.revision()` lets callers reuse an unchanged projection without rescanning history.
 
 `ItemProjectionReader` and `ItemProjectionWriter` store the latest issue and pull-request snapshots already fetched by trigger polling. Board consumers can read that projection after a restart without making a second GitHub query; `ItemProjectionReader.list` returns the newest Items first, bounded by the caller's `limit`. Item writes update the shared projection revision only when the content hash changes.
 
@@ -15,30 +15,37 @@ The default adapter stores usine's Event ledger and Run projections beside Effec
 ## Runtime rules
 
 - Approval-gated Runs wait for an approval Event before their first Attempt.
-- Infrastructure failures retry automatically, with a cap of three Attempts. Agent and runaway failures wait for an operator retry.
-- A newer Event supersedes a pending or waiting Run. A running Attempt finishes first, then the engine opens only the newest queued Event for that Item.
-- Revoke stops pending and waiting Runs. Operator cancellation can also stop a running Attempt.
+- Infrastructure failures retry automatically, with a cap of three Attempts. Agent, defect, and guard failures wait for an operator retry.
+- A newer Event supersedes a pending, waiting, or queued Run. A running Attempt finishes first, then the engine opens only the newest queued Event for that Item.
+- Revoke stops pending, waiting, and queued Runs. Operator cancellation can also stop a running Attempt.
 - The startup sweep rejoins open workflow executions. If the process stopped during an Attempt, the engine records that Attempt as an infrastructure failure and resumes as N+1.
-- A crash inside the `StepExecutor` adapter is recorded as an infrastructure failure like any other. If the engine itself hits an invariant defect, the workflow suspends for inspection; `RunEngine.reconcile` (or a restart) repairs the projection.
-- Attempt channel envelopes are stored in an append-only transcript. Normalized parent and child session events retain their session identity. `RunEngine.transcript` accepts distinct `TranscriptAllQuery`, `TranscriptTailQuery`, and `TranscriptPageQuery` variants, so full diagnostics, bounded live tails, and bounded backward pages cannot be confused. Tail and page queries require a positive row limit. A protocol-v3 `Started` frame writes the effective brain and SDK-selected parent model onto the Attempt.
+- A defect escaping `StepExecutor` is saved as `DefectFailure`, preserving its original cause and requiring an operator retry. If the engine itself hits an invariant defect, the workflow suspends for inspection; `RunEngine.reconcile` (or a restart) repairs the projection.
+- Attempt channel envelopes are stored in an append-only transcript. Durable protocol-v3 envelopes remain readable after the live channel upgrades to v4. Normalized parent and child session events retain their session identity. `RunEngine.transcript` accepts distinct `TranscriptAllQuery`, `TranscriptTailQuery`, and `TranscriptPageQuery` variants, so full diagnostics, bounded live tails, and bounded backward pages cannot be confused. Tail and page queries require a positive row limit. A protocol-v4 `Started` frame writes the SDK-selected parent model onto the Attempt.
 - The submitted agent, rendered task, payload snapshot, effective parent model, and per-Attempt child brain survive restarts in the run ledger.
 
+The engine's [lifecycle decisions](src/engine/lifecycle.ts) determine Attempt completion, interrupted-Attempt recovery, cancellation, operator retry, and whether a new Event can replace a Run. `RunStore` reads the current records and applies each decision in one transaction, including the Step result and pending workflow commands. Normal completion and restart recovery share the three-Attempt retry cap; reconciliation from a final workflow result closes a typed failure without retrying it. Late executor results cannot settle a replacement Attempt. Effect Workflow continues to own durable execution and signal delivery, as described in [ADR 0003](../../docs/adr/0003-durable-execution-on-effect-workflow.md).
+
 ## Composition
 
-The root entry (`@usine/engine`) is platform-free; the Node local adapter lives behind `@usine/engine/local-sqlite`. Its `layer` supplies local SQLite, Effect `SingleRunner`, workflow registration, and startup reconciliation. Provide a `StepExecutor` implementation at the composition root:
+Every subpath is platform-free except the Node local adapter at `@usine/engine/local-sqlite`. Its `layer` supplies local SQLite, Effect `SingleRunner`, workflow registration, and startup reconciliation. Provide a `StepExecutor` implementation at the composition root:
 
 ```ts
 import { Effect, Layer } from "effect"
-import { StepResult, Worker } from "@usine/core"
-import { CursorStore, InstanceDirectory, LoopControl, RunEngine, StepExecutor } from "@usine/engine"
+import { WorkerName } from "@usine/core/worker"
+import { InstanceDirectory } from "@usine/core/instance"
+import { StepResult } from "@usine/core/step/result"
+import { StepExecutor } from "@usine/engine/step-executor"
 import { layer } from "@usine/engine/local-sqlite"
+import { RunEngine } from "@usine/engine/engine"
+import { CursorStore } from "@usine/engine/cursor"
+import { LoopControl } from "@usine/engine/loop-control"
 
 const StepExecutorLive = Layer.succeed(StepExecutor)({
   reserve: () => Effect.succeed({
-    worker: Worker.Name.make("local"),
+    worker: WorkerName.make("local"),
     release: Effect.void,
   }),
-  execute: ({ event }) => Effect.succeed(new StepResult.StepResult({
+  execute: ({ event }) => Effect.succeed(new StepResult({
     message: `Handled ${event.id}`,
     facts: [],
   })),
@@ -58,7 +65,17 @@ const program = Effect.gen(function* () {
 })
 ```
 
-`layerWithDatabase` (from the root entry) accepts another SQLite-compatible database layer. That layer must provide both `RunDatabase` and the matching Effect `SqlClient`, preserving atomic transactions and keeping the run projections beside Effect's cluster tables; the deployment also supplies its platform `Crypto` layer, which the cluster uses to hash over-length deduplication keys. Cloudflare D1 is not supported by Drizzle RC.4 for this use yet because its Effect driver cannot execute the store's transactions.
+`@usine/engine/engine` provides `RunEngine`, `Submission`, submission results, and typed engine errors. `@usine/engine/run-reader` provides `RunReader` and its snapshot, summary, and evidence types; `/transcript` provides transcript entries, sequence values, and query variants. Import projection contracts from `/item-projection` and `/repository-label-projection`, and loop pause state with `LoopControl` from `/loop-control`.
+
+`RunReader.evidence(runId)` reads the Run snapshot and every transcript entry for its Attempts in one database transaction. The returned `RunEvidence` stays consistent when an Attempt completes or appends output during the read. Transcript entries use append order with no page limit.
+
+For local maintenance commands, `runReaderLayer(instanceDirectory)` from `@usine/engine/local-sqlite` provides only `RunReader` using a read-only SQLite connection. It requires an existing runtime database and does not initialize tables, migrate the schema, or change the journal mode. A missing, unreadable, or incompatible database fails through `EnginePersistenceError`.
+
+`backup(instanceDirectory, destination)` from `@usine/engine/local-sqlite` copies every runtime table and committed WAL data while other connections remain active. It opens the source read-only, without migrations. The destination must be a new file in an existing directory that supports hard links; the adapter saves a complete owner-only copy without overwriting existing files.
+
+`RuntimeStoreBackupError` includes the failed operation (`open`, `stage`, `copy`, or `publish`), both paths, and the underlying error message or code. Structured logs report failures and the number of pages copied on success. If interrupted, the adapter waits for Node's backup to finish before closing its connection and deleting temporary files.
+
+`layerWithDatabase` from `@usine/engine/engine` accepts another SQLite-compatible database layer. That layer must provide both `RunDatabase` from `@usine/engine/database` and the matching Effect `SqlClient`, preserving atomic transactions and keeping the run projections beside Effect's cluster tables; the deployment also supplies its platform `Crypto` layer, which the cluster uses to hash over-length deduplication keys. Cloudflare D1 is not supported by Drizzle RC.4 for this use yet because its Effect driver cannot execute the store's transactions.
 
 The Drizzle schema is the source of truth for usine tables. After changing it, generate and review a migration with:
 
@@ -67,3 +84,13 @@ pnpm --filter @usine/engine db:generate --name <migration_name>
 ```
 
 Everything is 0.x, so APIs may change. Supply `effect` at the version pinned by the usine workspace.
+
+`CycleBudgets` at `@usine/engine/cycle-budget` persists Item-level exhaustion Asks and explicit, idempotent reset Events. `Submission.cycleLimit` defaults to three; schedule adapters supply `None`. Run admission reserves the allowance transactionally and returns `CycleBlocked` when the Item needs a reset. Attempt retries do not charge again, and canceled Runs without Attempts return their reservation. Existing history and queued Item Events acquire the default budget on upgrade.
+
+Reset records a fresh polling request. Trigger adapters capture `CycleBudgets.generation(itemKey)` before fetching input and include it in both `Submission.cycleGeneration` and the Event identity. Older observations are superseded at admission, including in-flight polls and queued Events; fresh polling creates a new Event with current execution settings. Labels, restarts, and Loop configuration changes never clear an Ask. See [ADR 0022](../../docs/adr/0022-item-cycle-budgets-and-comment-reviews.md).
+
+`RunEngine.drain()` permanently closes Attempt admission for that runtime and waits for admitted Attempts to persist their outcomes. Worker reservations, approval gates, and subsequent retries resume after restarting the runtime. Interrupting the drain wait keeps admission closed. The host supplies a shutdown deadline and closes its runtime scope after the wait; see [ADR 0023](../../docs/adr/0023-graceful-attempt-drain.md).
+
+Hosts that handle shutdown during startup can provide `RunEngineShutdown` from `/engine`: a fresh `Deferred<void>` allocated before building the runtime. Completing it immediately closes Attempt admission, including recovered work. After startup completes, `RunEngine.drain()` waits for the admitted outcomes. The server installs this protection before building its runtime.
+
+Stored protocol-v5 envelopes remain readable after upgrading the live channel to v6. Session transcript queries retain each session's launch record alongside its latest lifecycle state, so saved harness session ids and worker paths remain available after completion and outside the loaded history page.

package/dist/cursor/{store.d.ts → cursor.d.ts}

@@ -1,18 +1,20 @@
-import { Context, Effect, Layer, Option, Schema } from "effect";
+import { Schema, Context, Effect, Layer, Option } from "effect";
 import { RunDatabase } from "../database/database.ts";
-import { EnginePersistenceError } from "../model.ts";
-import { type CursorKey } from "./model.ts";
+import { EnginePersistenceError } from "../engine/error.ts";
+/** Identity of one cursor. Cursors only save work, so losing one is safe. */
+export declare const CursorKey: Schema.brand<Schema.NonEmptyString, "CursorKey">;
+export type CursorKey = typeof CursorKey.Type;
 declare const CursorStore_base: Context.ServiceClass<CursorStore, "@usine/engine/CursorStore", {
     readonly read: <T, E extends Schema.Json>(key: CursorKey, schema: Schema.Codec<T, E, never, never>) => Effect.Effect<Option.Option<T>, EnginePersistenceError>;
     readonly write: <T, E extends Schema.Json>(key: CursorKey, schema: Schema.Codec<T, E, never, never>, value: T) => Effect.Effect<void, EnginePersistenceError>;
 }>;
 /**
- * Durable storage for efficiency-only cursors. The module that owns a key also
- * owns its schema and passes it per call; a stored value that no longer decodes
- * is treated as absent — losing a cursor is always safe — and logged.
+ * Durable storage for cursors that only save work. The module that owns a key
+ * passes its schema per call; a stored value that no longer decodes reads as
+ * absent and is logged.
  */
 export declare class CursorStore extends CursorStore_base {
     static readonly layer: Layer.Layer<CursorStore, never, RunDatabase>;
 }
 export {};
-//# sourceMappingURL=store.d.ts.map
+//# sourceMappingURL=cursor.d.ts.map

package/dist/cursor/cursor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cursor.d.ts","sourceRoot":"","sources":["../../src/cursor/cursor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,6EAA6E;AAC7E,eAAO,MAAM,SAAS,kDAAwD,CAAC;AAE/E,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;;mBAkB3B,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,EACtC,GAAG,EAAE,SAAS,EACd,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KACrC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,sBAAsB,CAAC;oBAC5C,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,EACvC,GAAG,EAAE,SAAS,EACd,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EACxC,KAAK,EAAE,CAAC,KACL,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC;;AAhBpD;;;;GAIG;AACH,qBAAa,WAAY,SAAQ,gBAaD;IAC9B,MAAM,CAAC,QAAQ,CAAC,KAAK,+CAqDnB;CACH"}

package/dist/cursor/{store.js → cursor.js}

@@ -1,16 +1,17 @@
-import { Context, Effect, Layer, Option, Schema } from "effect";
+import { Schema, Context, Effect, Layer, Option } from "effect";
 import { eq } from "drizzle-orm";
 import { RunDatabase } from "../database/database.js";
 import { cursors } from "../database/schema.js";
-import { EnginePersistenceError } from "../model.js";
-import {} from "./model.js";
+import { EnginePersistenceError } from "../engine/error.js";
+/** Identity of one cursor. Cursors only save work, so losing one is safe. */
+export const CursorKey = Schema.NonEmptyString.pipe(Schema.brand("CursorKey"));
 const CursorRow = Schema.Struct({ value: Schema.Json });
 const decodeCursorRows = Schema.decodeUnknownEffect(Schema.Array(CursorRow));
 const persistence = (operation) => (effect) => Effect.mapError(effect, (cause) => new EnginePersistenceError({ operation, cause }));
 /**
- * Durable storage for efficiency-only cursors. The module that owns a key also
- * owns its schema and passes it per call; a stored value that no longer decodes
- * is treated as absent — losing a cursor is always safe — and logged.
+ * Durable storage for cursors that only save work. The module that owns a key
+ * passes its schema per call; a stored value that no longer decodes reads as
+ * absent and is logged.
  */
 export class CursorStore extends Context.Service()("@usine/engine/CursorStore") {
     static layer = Layer.effect(CursorStore, Effect.gen(function* () {
@@ -51,4 +52,4 @@ export class CursorStore extends Context.Service()("@usine/engine/CursorStore")
         };
     }));
 }
-//# sourceMappingURL=store.js.map
+//# sourceMappingURL=cursor.js.map

package/dist/cursor/cursor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cursor.js","sourceRoot":"","sources":["../../src/cursor/cursor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChE,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;AAI/E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AACxD,MAAM,gBAAgB,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;AAE7E,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;;;;GAIG;AACH,MAAM,OAAO,WAAY,SAAQ,OAAO,CAAC,OAAO,EAa7C,CAAC,2BAA2B,CAAC;IAC9B,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAClC,WAAW,EACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;QAEpC,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,EAC3C,GAAc,EACd,MAAwC;gBAExC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ;yBAC7B,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;yBACpC,IAAI,CAAC,OAAO,CAAC;yBACb,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;yBACjC,KAAK,CAAC,CAAC,CAAC;yBACR,OAAO,EAAE,CAAC;oBACb,OAAO,KAAK,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAC3C,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,OAAO,MAAM,CAAC,IAAI,EAAK,CAAC;gBACnD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;oBACnE,gBAAgB,EAAE,OAAO;iBAC1B,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EACvB,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,UAAU,CAAC,wDAAwD,EAAE;oBAC1E,GAAG;oBACH,MAAM,EAAE,KAAK,CAAC,OAAO;iBACtB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAK,CAAC,CAAC,CACrC,CACF,CAAC;YACJ,CAAC,CAAC;YACF,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAC7C,GAAc,EACd,MAAwC,EACxC,KAAQ;gBAER,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5D,WAAW,CAAC,uBAAuB,CAAC,CACrC,CAAC;gBACF,KAAK,CAAC,CAAC,QAAQ;qBACZ,MAAM,CAAC,OAAO,CAAC;qBACf,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;qBAC9C,kBAAkB,CAAC;oBAClB,MAAM,EAAE,OAAO,CAAC,SAAS;oBACzB,GAAG,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE;iBAC5B,CAAC;qBACD,OAAO,EAAE;qBACT,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC9D,CAAC,CAAC;SACH,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;CACH"}

package/dist/cycle-budget/cycle-budget.d.ts

@@ -0,0 +1,25 @@
+import { CycleBudgetAsk, CycleBudgetAskId, CycleGeneration } from "@usine/core/cycle-budget";
+import { ItemKey } from "@usine/core/item";
+import { Event } from "@usine/core/event";
+import { Context, Effect, Layer } from "effect";
+import { RunDatabase } from "../database/database.ts";
+import { EnginePersistenceError } from "../engine/error.ts";
+import { CycleBudgetReset, CycleBudgetResetRejectedError } from "./model.ts";
+declare const CycleBudgets_base: Context.ServiceClass<CycleBudgets, "@usine/engine/CycleBudgets", {
+    /** Capture this generation before fetching an Item's trigger input and include it in its Event identity. */
+    readonly generation: (itemKey: ItemKey) => Effect.Effect<CycleGeneration, EnginePersistenceError>;
+    /** All unanswered cycle-budget Asks, including Items whose labels no longer match. */
+    readonly asks: () => Effect.Effect<ReadonlyArray<CycleBudgetAsk>, EnginePersistenceError>;
+    /** Records an answer for this exact Ask and requests fresh trigger evaluation. Repeats are idempotent. */
+    readonly reset: (askId: CycleBudgetAskId, answer: Event) => Effect.Effect<void, EnginePersistenceError | CycleBudgetResetRejectedError>;
+    /** Resets still awaiting a durable polling-cursor restart. */
+    readonly pendingResets: () => Effect.Effect<ReadonlyArray<CycleBudgetReset>, EnginePersistenceError>;
+    /** Acknowledges only this generation after fresh polling progress was durably recorded. */
+    readonly acknowledgeReset: (reset: CycleBudgetReset) => Effect.Effect<void, EnginePersistenceError>;
+}>;
+/** Durable Item-level Asks and explicit resets, independent of trigger and notification transports. */
+export declare class CycleBudgets extends CycleBudgets_base {
+    static readonly layer: Layer.Layer<CycleBudgets, never, RunDatabase>;
+}
+export { CycleBudgetReset, CycleBudgetResetRejectedError } from "./model.ts";
+//# sourceMappingURL=cycle-budget.d.ts.map

package/dist/cycle-budget/cycle-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-budget.d.ts","sourceRoot":"","sources":["../../src/cycle-budget/cycle-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAU,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAQtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,EAAE,gBAAgB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC;;IAgBzE,4GAA4G;yBACvF,CACnB,OAAO,EAAE,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,sBAAsB,CAAC;IAC3D,sFAAsF;mBACvE,MAAM,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,sBAAsB,CAAC;IACzF,0GAA0G;oBAC1F,CACd,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,KAAK,KACV,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,6BAA6B,CAAC;IAChF,8DAA8D;4BACtC,MAAM,MAAM,CAAC,MAAM,CACzC,aAAa,CAAC,gBAAgB,CAAC,EAC/B,sBAAsB,CACvB;IACD,2FAA2F;+BAChE,CACzB,KAAK,EAAE,gBAAgB,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC;;AAvBpD,uGAAuG;AACvG,qBAAa,YAAa,SAAQ,iBAwBD;IAC/B,MAAM,CAAC,QAAQ,CAAC,KAAK,gDA+InB;CACH;AAED,OAAO,EAAE,gBAAgB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC"}

package/dist/cycle-budget/cycle-budget.js

@@ -0,0 +1,117 @@
+import { CycleBudgetAsk, CycleBudgetAskId, CycleGeneration } from "@usine/core/cycle-budget";
+import { ItemKey } from "@usine/core/item";
+import { Event } from "@usine/core/event";
+import * as RunState from "@usine/core/run/state";
+import { and, eq, inArray, sql } from "drizzle-orm";
+import { Context, Effect, Layer, Option } from "effect";
+import { RunDatabase } from "../database/database.js";
+import { cycleReservations, cycleResets, events, itemCycleBudgets, runs, } from "../database/schema.js";
+import { EnginePersistenceError } from "../engine/error.js";
+import { encodeDateTime, encodePayload } from "../store/codec.js";
+import { CycleBudgetReset, CycleBudgetResetRejectedError } from "./model.js";
+import { cycleQueries } from "./queries.js";
+const persistence = (effect) => effect.pipe(Effect.mapError((cause) => cause instanceof CycleBudgetResetRejectedError
+    ? cause
+    : new EnginePersistenceError({ operation: "update cycle budget", cause })));
+/** Durable Item-level Asks and explicit resets, independent of trigger and notification transports. */
+export class CycleBudgets extends Context.Service()("@usine/engine/CycleBudgets") {
+    static layer = Layer.effect(CycleBudgets, Effect.gen(function* () {
+        const database = yield* RunDatabase;
+        const queries = cycleQueries(database);
+        const generation = Effect.fn("CycleBudgets.generation")(function* (itemKey) {
+            yield* Effect.annotateCurrentSpan({ itemKey });
+            const budget = yield* queries
+                .get(itemKey)
+                .pipe(Effect.mapError((cause) => new EnginePersistenceError({ operation: "read cycle generation", cause })));
+            return Option.match(budget, {
+                onNone: () => CycleGeneration.make(0),
+                onSome: (row) => row.generation,
+            });
+        });
+        const asks = Effect.fn("CycleBudgets.asks")(() => queries
+            .asks()
+            .pipe(Effect.mapError((cause) => new EnginePersistenceError({ operation: "read cycle Asks", cause }))));
+        const reset = Effect.fn("CycleBudgets.reset")(function* (askId, answer) {
+            yield* Effect.annotateCurrentSpan({ askId, eventId: answer.id });
+            yield* database
+                .transaction((transaction) => Effect.gen(function* () {
+                const previous = yield* transaction
+                    .select()
+                    .from(cycleResets)
+                    .where(eq(cycleResets.askId, askId))
+                    .execute();
+                if (previous[0]?.eventId === answer.id) {
+                    yield* Effect.logInfo("Cycle budget reset answer already recorded", {
+                        askId,
+                        eventId: answer.id,
+                    });
+                    return;
+                }
+                const ask = (yield* cycleQueries(transaction).asks()).find(({ id }) => id === askId);
+                if (ask === undefined)
+                    return yield* new CycleBudgetResetRejectedError({ askId });
+                const budget = yield* cycleQueries(transaction).get(ask.itemKey);
+                if (Option.isNone(budget))
+                    return yield* Effect.die(new Error("Open cycle Ask has no budget"));
+                const generation = budget.value.generation + 1;
+                yield* transaction
+                    .insert(events)
+                    .values({
+                    eventId: answer.id,
+                    dedupKey: answer.dedupKey,
+                    payloadJson: encodePayload(answer.payload),
+                    receivedAt: encodeDateTime(answer.receivedAt),
+                })
+                    .execute();
+                yield* transaction
+                    .insert(cycleResets)
+                    .values({ askId, eventId: answer.id, itemKey: ask.itemKey })
+                    .execute();
+                yield* transaction
+                    .update(itemCycleBudgets)
+                    .set({ generation, askJson: null, resetPending: true })
+                    .where(eq(itemCycleBudgets.itemKey, ask.itemKey))
+                    .execute();
+                // Pending work retains its reservation in the new allowance. Started
+                // Runs finish against their original allowance and retries never charge again.
+                yield* transaction
+                    .update(cycleReservations)
+                    .set({ generation })
+                    .where(and(eq(cycleReservations.itemKey, ask.itemKey), inArray(cycleReservations.runId, transaction
+                    .select({ runId: runs.runId })
+                    .from(runs)
+                    .where(inArray(sql `json_extract(${runs.stateJson}, '$._tag')`, [
+                    ...RunState.UNSTARTED_STATE_TAGS,
+                ])))))
+                    .execute();
+                yield* Effect.logInfo("Operator reset Item cycle budget", {
+                    askId,
+                    eventId: answer.id,
+                    itemKey: ask.itemKey,
+                    repository: ask.repository,
+                    generation,
+                    completedCycles: ask.completedCycles,
+                    counts: ask.counts,
+                });
+            }))
+                .pipe(persistence);
+        });
+        const pendingResets = Effect.fn("CycleBudgets.pendingResets")(() => queries.pendingResets().pipe(Effect.map((rows) => rows.map((row) => new CycleBudgetReset(row))), Effect.mapError((cause) => new EnginePersistenceError({ operation: "read pending cycle resets", cause }))));
+        const acknowledgeReset = Effect.fn("CycleBudgets.acknowledgeReset")(function* (reset) {
+            yield* Effect.annotateCurrentSpan({ itemKey: reset.itemKey, generation: reset.generation });
+            yield* database
+                .update(itemCycleBudgets)
+                .set({ resetPending: false })
+                .where(and(eq(itemCycleBudgets.itemKey, reset.itemKey), eq(itemCycleBudgets.generation, reset.generation)))
+                .execute()
+                .pipe(Effect.mapError((cause) => new EnginePersistenceError({ operation: "acknowledge cycle reset", cause })));
+            yield* Effect.logInfo("Cycle reset trigger refresh recorded", {
+                itemKey: reset.itemKey,
+                generation: reset.generation,
+            });
+        });
+        return { generation, asks, reset, pendingResets, acknowledgeReset };
+    }));
+}
+export { CycleBudgetReset, CycleBudgetResetRejectedError } from "./model.js";
+//# sourceMappingURL=cycle-budget.js.map

package/dist/cycle-budget/cycle-budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-budget.js","sourceRoot":"","sources":["../../src/cycle-budget/cycle-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,MAAM,EACN,gBAAgB,EAChB,IAAI,GACL,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,MAAM,WAAW,GAAG,CAAU,MAA8B,EAAE,EAAE,CAC9D,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,YAAY,6BAA6B;IAC5C,CAAC,CAAC,KAAK;IACP,CAAC,CAAC,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,CAC5E,CACF,CAAC;AAEJ,uGAAuG;AACvG,MAAM,OAAO,YAAa,SAAQ,OAAO,CAAC,OAAO,EAwB9C,CAAC,4BAA4B,CAAC;IAC/B,MAAM,CAAU,KAAK,GAAG,KAAK,CAAC,MAAM,CAClC,YAAY,EACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC;QACpC,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAgB;YACjF,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO;iBAC1B,GAAG,CAAC,OAAO,CAAC;iBACZ,IAAI,CACH,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,CACrF,CACF,CAAC;YACJ,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;gBAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;gBACrC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU;aAChC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,CAC/C,OAAO;aACJ,IAAI,EAAE;aACN,IAAI,CACH,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAC/E,CACF,CACJ,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EACrD,KAAuB,EACvB,MAAa;YAEb,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YACjE,KAAK,CAAC,CAAC,QAAQ;iBACZ,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW;qBAChC,MAAM,EAAE;qBACR,IAAI,CAAC,WAAW,CAAC;qBACjB,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;qBACnC,OAAO,EAAE,CAAC;gBACb,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;oBACvC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,4CAA4C,EAAE;wBAClE,KAAK;wBACL,OAAO,EAAE,MAAM,CAAC,EAAE;qBACnB,CAAC,CAAC;oBACH,OAAO;gBACT,CAAC;gBACD,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;gBACrF,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC,CAAC,IAAI,6BAA6B,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;gBAClF,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACjE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,CAAC;gBACtE,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;gBAC/C,KAAK,CAAC,CAAC,WAAW;qBACf,MAAM,CAAC,MAAM,CAAC;qBACd,MAAM,CAAC;oBACN,OAAO,EAAE,MAAM,CAAC,EAAE;oBAClB,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBACzB,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;oBAC1C,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC;iBAC9C,CAAC;qBACD,OAAO,EAAE,CAAC;gBACb,KAAK,CAAC,CAAC,WAAW;qBACf,MAAM,CAAC,WAAW,CAAC;qBACnB,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;qBAC3D,OAAO,EAAE,CAAC;gBACb,KAAK,CAAC,CAAC,WAAW;qBACf,MAAM,CAAC,gBAAgB,CAAC;qBACxB,GAAG,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;qBACtD,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;qBAChD,OAAO,EAAE,CAAC;gBACb,qEAAqE;gBACrE,+EAA+E;gBAC/E,KAAK,CAAC,CAAC,WAAW;qBACf,MAAM,CAAC,iBAAiB,CAAC;qBACzB,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC;qBACnB,KAAK,CACJ,GAAG,CACD,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,EAC1C,OAAO,CACL,iBAAiB,CAAC,KAAK,EACvB,WAAW;qBACR,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;qBAC7B,IAAI,CAAC,IAAI,CAAC;qBACV,KAAK,CACJ,OAAO,CAAC,GAAG,CAAA,gBAAgB,IAAI,CAAC,SAAS,aAAa,EAAE;oBACtD,GAAG,QAAQ,CAAC,oBAAoB;iBACjC,CAAC,CACH,CACJ,CACF,CACF;qBACA,OAAO,EAAE,CAAC;gBACb,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,kCAAkC,EAAE;oBACxD,KAAK;oBACL,OAAO,EAAE,MAAM,CAAC,EAAE;oBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,UAAU,EAAE,GAAG,CAAC,UAAU;oBAC1B,UAAU;oBACV,eAAe,EAAE,GAAG,CAAC,eAAe;oBACpC,MAAM,EAAE,GAAG,CAAC,MAAM;iBACnB,CAAC,CAAC;YACL,CAAC,CAAC,CACH;iBACA,IAAI,CAAC,WAAW,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,GAAG,EAAE,CACjE,OAAO,CAAC,aAAa,EAAE,CAAC,IAAI,CAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAClE,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,2BAA2B,EAAE,KAAK,EAAE,CAAC,CAChF,CACF,CACF,CAAC;QACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,CAAC,QAAQ,CAAC,EAC3E,KAAuB;YAEvB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;YAC5F,KAAK,CAAC,CAAC,QAAQ;iBACZ,MAAM,CAAC,gBAAgB,CAAC;iBACxB,GAAG,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;iBAC5B,KAAK,CACJ,GAAG,CACD,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAC3C,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAClD,CACF;iBACA,OAAO,EAAE;iBACT,IAAI,CACH,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,sBAAsB,CAAC,EAAE,SAAS,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,CAC9E,CACF,CAAC;YACJ,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,sCAAsC,EAAE;gBAC5D,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;IACtE,CAAC,CAAC,CACH,CAAC;CACH;AAED,OAAO,EAAE,gBAAgB,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC"}

package/dist/cycle-budget/model.d.ts

@@ -0,0 +1,26 @@
+import { CycleBudgetAsk } from "@usine/core/cycle-budget";
+import { Schema } from "effect";
+declare const CycleBudgetReset_base: Schema.Class<CycleBudgetReset, Schema.Struct<{
+    readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
+    readonly generation: Schema.brand<Schema.Int, "CycleGeneration">;
+}>, {}>;
+/** A reset whose Item still needs fresh trigger evaluation; acknowledgement is generation-bound. */
+export declare class CycleBudgetReset extends CycleBudgetReset_base {
+}
+declare const CycleBudgetResetRejectedError_base: Schema.Class<CycleBudgetResetRejectedError, Schema.TaggedStruct<"CycleBudgetResetRejectedError", {
+    readonly askId: Schema.brand<Schema.brand<Schema.NonEmptyString, "EventId">, "CycleBudgetAskId">;
+}>, import("effect/Cause").YieldableError>;
+/** The requested Ask is absent, already answered differently, or no longer current. */
+export declare class CycleBudgetResetRejectedError extends CycleBudgetResetRejectedError_base {
+}
+export declare const BudgetRow: Schema.Struct<{
+    readonly itemKey: Schema.brand<Schema.NonEmptyString, "ItemKey">;
+    readonly repository: Schema.brand<Schema.String, "RepositoryName">;
+    readonly generation: Schema.brand<Schema.Int, "CycleGeneration">;
+    readonly ask: Schema.OptionFromNullOr<typeof CycleBudgetAsk>;
+    readonly resetPending: Schema.Boolean;
+}>;
+export type BudgetRow = typeof BudgetRow.Type;
+export {};
+//# sourceMappingURL=model.d.ts.map

package/dist/cycle-budget/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/cycle-budget/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAqC,MAAM,0BAA0B,CAAC;AAG7F,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;;AAEhC,oGAAoG;AACpG,qBAAa,gBAAiB,SAAQ,qBAIpC;CAAG;;;;AAEL,uFAAuF;AACvF,qBAAa,6BAA8B,SAAQ,kCAEY;CAAG;AAElE,eAAO,MAAM,SAAS;;;;;;EAIpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC"}

package/dist/cycle-budget/model.js

@@ -0,0 +1,20 @@
+import { CycleBudgetAsk, CycleBudgetAskId, CycleGeneration } from "@usine/core/cycle-budget";
+import { ItemKey } from "@usine/core/item";
+import { RepositoryName } from "@usine/core/repository";
+import { Schema } from "effect";
+/** A reset whose Item still needs fresh trigger evaluation; acknowledgement is generation-bound. */
+export class CycleBudgetReset extends Schema.Class("CycleBudgetReset")({
+    itemKey: ItemKey,
+    repository: RepositoryName,
+    generation: CycleGeneration,
+}) {
+}
+/** The requested Ask is absent, already answered differently, or no longer current. */
+export class CycleBudgetResetRejectedError extends Schema.TaggedError("CycleBudgetResetRejectedError")("CycleBudgetResetRejectedError", { askId: CycleBudgetAskId }) {
+}
+export const BudgetRow = Schema.Struct({
+    ...CycleBudgetReset.fields,
+    ask: Schema.OptionFromNullOr(CycleBudgetAsk),
+    resetPending: Schema.Boolean,
+});
+//# sourceMappingURL=model.js.map

package/dist/cycle-budget/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/cycle-budget/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,oGAAoG;AACpG,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC,KAAK,CAAmB,kBAAkB,CAAC,CAAC;IACvF,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,cAAc;IAC1B,UAAU,EAAE,eAAe;CAC5B,CAAC;CAAG;AAEL,uFAAuF;AACvF,MAAM,OAAO,6BAA8B,SAAQ,MAAM,CAAC,WAAW,CACnE,+BAA+B,CAChC,CAAC,+BAA+B,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;CAAG;AAElE,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,GAAG,gBAAgB,CAAC,MAAM;IAC1B,GAAG,EAAE,MAAM,CAAC,gBAAgB,CAAC,cAAc,CAAC;IAC5C,YAAY,EAAE,MAAM,CAAC,OAAO;CAC7B,CAAC,CAAC"}

package/dist/cycle-budget/queries.d.ts

@@ -0,0 +1,27 @@
+import { CycleBudgetAsk } from "@usine/core/cycle-budget";
+import { Effect, Option, Schema } from "effect";
+import type { RunDatabaseClient } from "../database/database.ts";
+import type { Submission } from "../engine/submission.ts";
+/** Transaction-local admission and reservation operations shared with the Run store. */
+export declare const cycleQueries: (database: RunDatabaseClient) => {
+    admit: (submission: Submission) => Effect.Effect<Option.Option<CycleBudgetAsk>, import("drizzle-orm/effect-core").EffectDrizzleQueryError | Schema.SchemaError, never>;
+    reserve: (submission: Submission, runId: string & import("effect/Brand").Brand<"RunId">) => Effect.Effect<undefined, import("drizzle-orm/effect-core").EffectDrizzleQueryError | Schema.SchemaError, never>;
+    get: (itemKey: string & import("effect/Brand").Brand<"ItemKey">) => Effect.Effect<Option.Option<{
+        readonly itemKey: string & import("effect/Brand").Brand<"ItemKey">;
+        readonly repository: string & import("effect/Brand").Brand<"RepositoryName">;
+        readonly generation: number & import("effect/Brand").Brand<"CycleGeneration">;
+        readonly ask: Option.Option<CycleBudgetAsk>;
+        readonly resetPending: boolean;
+    }>, import("drizzle-orm/effect-core").EffectDrizzleQueryError | Schema.SchemaError, never>;
+    asks: () => Effect.Effect<CycleBudgetAsk[], import("drizzle-orm/effect-core").EffectDrizzleQueryError | Schema.SchemaError, never>;
+    pendingResets: () => Effect.Effect<readonly {
+        readonly itemKey: string & import("effect/Brand").Brand<"ItemKey">;
+        readonly repository: string & import("effect/Brand").Brand<"RepositoryName">;
+        readonly generation: number & import("effect/Brand").Brand<"CycleGeneration">;
+        readonly ask: Option.Option<CycleBudgetAsk>;
+        readonly resetPending: boolean;
+    }[], import("drizzle-orm/effect-core").EffectDrizzleQueryError | Schema.SchemaError, never>;
+    isCurrentEvent: (submission: Submission) => Effect.Effect<boolean, import("drizzle-orm/effect-core").EffectDrizzleQueryError | Schema.SchemaError, never>;
+    currentEvent: import("drizzle-orm").SQL<unknown>;
+};
+//# sourceMappingURL=queries.d.ts.map

package/dist/cycle-budget/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../../src/cycle-budget/queries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAoC,MAAM,0BAA0B,CAAC;AAM5F,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAQjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAc1D,wFAAwF;AACxF,eAAO,MAAM,YAAY,aAAc,iBAAiB;;;;;;;;;;;;;;;;;;;;CAgLvD,CAAC"}

package/dist/cycle-budget/queries.js

@@ -0,0 +1,175 @@
+import { CycleBudgetAsk, CycleBudgetAskId, LoopCycleCount } from "@usine/core/cycle-budget";
+import { ItemKey } from "@usine/core/item";
+import { EventId } from "@usine/core/event";
+import * as RunState from "@usine/core/run/state";
+import { RunId } from "@usine/core/run";
+import { and, asc, eq, exists, isNotNull, ne, notInArray, or, sql } from "drizzle-orm";
+import { Effect, Option, Schema } from "effect";
+import { attempts, cycleReservations, itemCycleBudgets, runs, triggerEvents, } from "../database/schema.js";
+import { BudgetRow } from "./model.js";
+const budgetSelection = {
+    itemKey: itemCycleBudgets.itemKey,
+    repository: itemCycleBudgets.repository,
+    generation: itemCycleBudgets.generation,
+    ask: itemCycleBudgets.askJson,
+    resetPending: itemCycleBudgets.resetPending,
+};
+const decodeBudget = Schema.decodeUnknownEffect(Schema.Array(BudgetRow), {
+    onExcessProperty: "error",
+});
+/** Transaction-local admission and reservation operations shared with the Run store. */
+export const cycleQueries = (database) => {
+    // Apply the same immutable observation generation at admission and before
+    // queue ordering, so stale Events cannot hide eligible work after a reset.
+    const currentEvent = eq(triggerEvents.cycleGeneration, sql `coalesce((
+    select ${itemCycleBudgets.generation} from ${itemCycleBudgets}
+    where ${itemCycleBudgets.itemKey} = ${triggerEvents.itemKey}
+  ), 0)`);
+    const get = Effect.fn("CycleBudget.get")(function* (itemKey) {
+        yield* Effect.annotateCurrentSpan({ itemKey });
+        const rows = yield* database
+            .select(budgetSelection)
+            .from(itemCycleBudgets)
+            .where(eq(itemCycleBudgets.itemKey, itemKey))
+            .execute()
+            .pipe(Effect.flatMap(decodeBudget));
+        return Option.fromNullishOr(rows[0]);
+    });
+    const counts = Effect.fn("CycleBudget.counts")(function* (budget) {
+        yield* Effect.annotateCurrentSpan({ itemKey: budget.itemKey, generation: budget.generation });
+        const started = exists(database
+            .select({ id: attempts.attemptId })
+            .from(attempts)
+            .where(eq(attempts.runId, runs.runId)));
+        const state = sql `json_extract(${runs.stateJson}, '$._tag')`;
+        const rows = yield* database
+            .select({
+            loop: cycleReservations.loop,
+            admitted: sql `count(*)`,
+            completed: sql `sum(case when ${notInArray(state, [...RunState.OPEN_STATE_TAGS])} and ${started} then 1 else 0 end)`,
+        })
+            .from(cycleReservations)
+            .innerJoin(runs, eq(runs.runId, cycleReservations.runId))
+            .where(and(eq(cycleReservations.itemKey, budget.itemKey), eq(cycleReservations.generation, budget.generation), or(ne(state, "Canceled"), started)))
+            .groupBy(cycleReservations.loop)
+            .orderBy(asc(cycleReservations.loop))
+            .execute();
+        return yield* Schema.decodeUnknownEffect(Schema.Array(LoopCycleCount))(rows, {
+            onExcessProperty: "error",
+        });
+    });
+    const admit = Effect.fn("CycleBudget.admit")(function* (submission) {
+        yield* Effect.annotateCurrentSpan({ itemKey: submission.itemKey, loop: submission.loop });
+        const current = yield* get(submission.itemKey);
+        if (Option.isSome(current) && Option.isSome(current.value.ask)) {
+            yield* Effect.logInfo("Item cycle budget remains exhausted", {
+                itemKey: submission.itemKey,
+                askId: current.value.ask.value.id,
+                loop: submission.loop,
+            });
+            return current.value.ask;
+        }
+        if (Option.isNone(submission.cycleLimit))
+            return Option.none();
+        yield* database
+            .insert(itemCycleBudgets)
+            .values({ itemKey: submission.itemKey, repository: submission.repository })
+            .onConflictDoNothing()
+            .execute();
+        const budget = yield* get(submission.itemKey);
+        if (Option.isNone(budget))
+            return yield* Effect.die(new Error("Cycle budget missing after insertion"));
+        const participants = yield* counts(budget.value);
+        const completed = participants.find(({ loop }) => loop === submission.loop);
+        if (completed === undefined || completed.admitted < submission.cycleLimit.value)
+            return Option.none();
+        const ask = new CycleBudgetAsk({
+            id: CycleBudgetAskId.make(EventId.make(JSON.stringify([submission.event.id, budget.value.generation]))),
+            itemKey: submission.itemKey,
+            repository: submission.repository,
+            loop: submission.loop,
+            limit: submission.cycleLimit.value,
+            counts: [completed, ...participants.filter(({ loop }) => loop !== submission.loop)],
+        });
+        yield* database
+            .update(itemCycleBudgets)
+            .set({ askJson: Schema.encodeSync(CycleBudgetAsk)(ask) })
+            .where(eq(itemCycleBudgets.itemKey, submission.itemKey))
+            .execute();
+        yield* Effect.logWarning("Item cycle budget exhausted; operator reset required", {
+            itemKey: submission.itemKey,
+            repository: submission.repository,
+            askId: ask.id,
+            loop: ask.loop,
+            limit: ask.limit,
+            completedCycles: ask.completedCycles,
+            counts: ask.counts,
+        });
+        return Option.some(ask);
+    });
+    const reserve = Effect.fn("CycleBudget.reserve")(function* (submission, runId) {
+        if (Option.isNone(submission.cycleLimit))
+            return;
+        yield* Effect.annotateCurrentSpan({
+            runId,
+            itemKey: submission.itemKey,
+            loop: submission.loop,
+        });
+        const budget = yield* get(submission.itemKey);
+        if (Option.isNone(budget))
+            return yield* Effect.die(new Error("Run admitted without its cycle budget"));
+        yield* database
+            .insert(cycleReservations)
+            .values({
+            runId,
+            itemKey: submission.itemKey,
+            loop: submission.loop,
+            generation: budget.value.generation,
+        })
+            .onConflictDoNothing()
+            .execute();
+        yield* Effect.logInfo("Item cycle reserved", {
+            runId,
+            itemKey: submission.itemKey,
+            loop: submission.loop,
+            generation: budget.value.generation,
+            counts: yield* counts(budget.value),
+        });
+    });
+    const asks = Effect.fn("CycleBudget.asks")(function* () {
+        const rows = yield* database
+            .select(budgetSelection)
+            .from(itemCycleBudgets)
+            .where(isNotNull(itemCycleBudgets.askJson))
+            .execute()
+            .pipe(Effect.flatMap(decodeBudget));
+        return rows.flatMap(({ ask }) => Option.toArray(ask));
+    });
+    const pendingResets = Effect.fn("CycleBudget.pendingResets")(function* () {
+        return yield* database
+            .select(budgetSelection)
+            .from(itemCycleBudgets)
+            .where(eq(itemCycleBudgets.resetPending, true))
+            .execute()
+            .pipe(Effect.flatMap(decodeBudget));
+    });
+    const isCurrentEvent = Effect.fn("CycleBudget.isCurrentEvent")(function* (submission) {
+        yield* Effect.annotateCurrentSpan({
+            eventId: submission.event.id,
+            itemKey: submission.itemKey,
+        });
+        const budget = yield* get(submission.itemKey);
+        const generation = Option.match(budget, { onNone: () => 0, onSome: (row) => row.generation });
+        const current = submission.cycleGeneration === generation;
+        if (!current)
+            yield* Effect.logInfo("Event observation was superseded by a cycle reset", {
+                eventId: submission.event.id,
+                itemKey: submission.itemKey,
+                observedGeneration: submission.cycleGeneration,
+                generation,
+            });
+        return current;
+    });
+    return { admit, reserve, get, asks, pendingResets, isCurrentEvent, currentEvent };
+};
+//# sourceMappingURL=queries.js.map

package/dist/cycle-budget/queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.js","sourceRoot":"","sources":["../../src/cycle-budget/queries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC5F,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,aAAa,CAAC;AACvF,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhD,OAAO,EACL,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,EAChB,IAAI,EACJ,aAAa,GACd,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,eAAe,GAAG;IACtB,OAAO,EAAE,gBAAgB,CAAC,OAAO;IACjC,UAAU,EAAE,gBAAgB,CAAC,UAAU;IACvC,UAAU,EAAE,gBAAgB,CAAC,UAAU;IACvC,GAAG,EAAE,gBAAgB,CAAC,OAAO;IAC7B,YAAY,EAAE,gBAAgB,CAAC,YAAY;CAC5C,CAAC;AACF,MAAM,YAAY,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE;IACvE,gBAAgB,EAAE,OAAO;CAC1B,CAAC,CAAC;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAA2B,EAAE,EAAE;IAC1D,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,YAAY,GAAG,EAAE,CACrB,aAAa,CAAC,eAAe,EAC7B,GAAG,CAAA;aACM,gBAAgB,CAAC,UAAU,SAAS,gBAAgB;YACrD,gBAAgB,CAAC,OAAO,MAAM,aAAa,CAAC,OAAO;QACvD,CACL,CAAC;IACF,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAgB;QAClE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ;aACzB,MAAM,CAAC,eAAe,CAAC;aACvB,IAAI,CAAC,gBAAgB,CAAC;aACtB,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;aAC5C,OAAO,EAAE;aACT,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QACtC,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAiB;QACzE,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9F,MAAM,OAAO,GAAG,MAAM,CACpB,QAAQ;aACL,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC;aAClC,IAAI,CAAC,QAAQ,CAAC;aACd,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CACzC,CAAC;QACF,MAAM,KAAK,GAAG,GAAG,CAAA,gBAAgB,IAAI,CAAC,SAAS,aAAa,CAAC;QAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ;aACzB,MAAM,CAAC;YACN,IAAI,EAAE,iBAAiB,CAAC,IAAI;YAC5B,QAAQ,EAAE,GAAG,CAAQ,UAAU;YAC/B,SAAS,EAAE,GAAG,CAAQ,iBAAiB,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,QAAQ,OAAO,qBAAqB;SAC5H,CAAC;aACD,IAAI,CAAC,iBAAiB,CAAC;aACvB,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC;aACxD,KAAK,CACJ,GAAG,CACD,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAC7C,EAAE,CAAC,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,EACnD,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CACnC,CACF;aACA,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC;aAC/B,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;aACpC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE;YAC3E,gBAAgB,EAAE,OAAO;SAC1B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAE,UAAsB;QAC5E,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/D,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,qCAAqC,EAAE;gBAC3D,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;gBACjC,IAAI,EAAE,UAAU,CAAC,IAAI;aACtB,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;QAC3B,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAkB,CAAC;QAC/E,KAAK,CAAC,CAAC,QAAQ;aACZ,MAAM,CAAC,gBAAgB,CAAC;aACxB,MAAM,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;aAC1E,mBAAmB,EAAE;aACrB,OAAO,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,CAAC;QAC9E,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5E,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK;YAC7E,OAAO,MAAM,CAAC,IAAI,EAAkB,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,cAAc,CAAC;YAC7B,EAAE,EAAE,gBAAgB,CAAC,IAAI,CACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAC7E;YACD,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK;YAClC,MAAM,EAAE,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC;SACpF,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,QAAQ;aACZ,MAAM,CAAC,gBAAgB,CAAC;aACxB,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;aACxD,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;aACvD,OAAO,EAAE,CAAC;QACb,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,sDAAsD,EAAE;YAC/E,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,KAAK,EAAE,GAAG,CAAC,EAAE;YACb,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,MAAM,EAAE,GAAG,CAAC,MAAM;SACnB,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,EACxD,UAAsB,EACtB,KAAY;QAEZ,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO;QACjD,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAChC,KAAK;YACL,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;SACtB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC,CAAC;QAC/E,KAAK,CAAC,CAAC,QAAQ;aACZ,MAAM,CAAC,iBAAiB,CAAC;aACzB,MAAM,CAAC;YACN,KAAK;YACL,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU;SACpC,CAAC;aACD,mBAAmB,EAAE;aACrB,OAAO,EAAE,CAAC;QACb,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE;YAC3C,KAAK;YACL,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU;YACnC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;SACpC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ;aACzB,MAAM,CAAC,eAAe,CAAC;aACvB,IAAI,CAAC,gBAAgB,CAAC;aACtB,KAAK,CAAC,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;aAC1C,OAAO,EAAE;aACT,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC;QACpE,OAAO,KAAK,CAAC,CAAC,QAAQ;aACnB,MAAM,CAAC,eAAe,CAAC;aACvB,IAAI,CAAC,gBAAgB,CAAC;aACtB,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;aAC9C,OAAO,EAAE;aACT,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC,QAAQ,CAAC,EACtE,UAAsB;QAEtB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAChC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE;YAC5B,OAAO,EAAE,UAAU,CAAC,OAAO;SAC5B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9F,MAAM,OAAO,GAAG,UAAU,CAAC,eAAe,KAAK,UAAU,CAAC;QAC1D,IAAI,CAAC,OAAO;YACV,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,mDAAmD,EAAE;gBACzE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE;gBAC5B,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,kBAAkB,EAAE,UAAU,CAAC,eAAe;gBAC9C,UAAU;aACX,CAAC,CAAC;QACL,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC;AACpF,CAAC,CAAC"}