@smthrs/control 0.0.0-stage → 1.0.0-rc.3

package/dist/cjs/ControlFacts.d.ts

@@ -0,0 +1,454 @@
+/**
+ * Versioned control lifecycle facts and their shared read projection.
+ * @since 1.0.0
+ */
+import { Journal } from "@smthrs/journal";
+import { Effect, Schema } from "effect";
+import type * as ControlRuntime from "./ControlRuntime.ts";
+import * as ControlSchema from "./ControlSchema.ts";
+/** This is the control producer contract, independent of the harness journal format.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const version = 1;
+/** A committed control snapshot. A baseline claims no history before its sequence.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const RunFact: Schema.Struct<{
+    readonly factVersion: Schema.Literal<1>;
+    readonly baseline: Schema.Literals<readonly ["created", "legacy"]>;
+    readonly run: Schema.Struct<{
+        readonly executionObservation: Schema.optional<Schema.Literals<readonly ["observed", "missing"]>>;
+        readonly executionView: Schema.optional<Schema.Struct<{
+            readonly root: Schema.Struct<{
+                readonly executionId: Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">;
+                readonly flowName: Schema.NonEmptyString;
+                readonly status: Schema.Literals<readonly ["pending", "running", "suspended", "completed", "failed", "cancelled"]>;
+                readonly createdAtMs: Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">;
+                readonly startedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly finishedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly parentRunId: Schema.NullOr<Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">>;
+                readonly lineageId: Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">;
+                readonly roundOrdinal: Schema.Int;
+                readonly cancelRequestedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly treeVersion: Schema.optional<Schema.Literal<1>>;
+                readonly parentPolicy: Schema.optional<Schema.Literals<readonly ["cancel", "detach"]>>;
+                readonly waiting: Schema.NullOr<Schema.Struct<{
+                    readonly reason: Schema.NonEmptyString;
+                    readonly wakeAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                    readonly tokenDigest: Schema.NullOr<Schema.NonEmptyString>;
+                    readonly point: Schema.optional<Schema.NullOr<Schema.String>>;
+                    readonly request: Schema.optional<Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
+                }>>;
+            }>;
+            readonly current: Schema.Struct<{
+                readonly executionId: Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">;
+                readonly flowName: Schema.NonEmptyString;
+                readonly status: Schema.Literals<readonly ["pending", "running", "suspended", "completed", "failed", "cancelled"]>;
+                readonly createdAtMs: Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">;
+                readonly startedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly finishedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly parentRunId: Schema.NullOr<Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">>;
+                readonly lineageId: Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">;
+                readonly roundOrdinal: Schema.Int;
+                readonly cancelRequestedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly treeVersion: Schema.optional<Schema.Literal<1>>;
+                readonly parentPolicy: Schema.optional<Schema.Literals<readonly ["cancel", "detach"]>>;
+                readonly waiting: Schema.NullOr<Schema.Struct<{
+                    readonly reason: Schema.NonEmptyString;
+                    readonly wakeAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                    readonly tokenDigest: Schema.NullOr<Schema.NonEmptyString>;
+                    readonly point: Schema.optional<Schema.NullOr<Schema.String>>;
+                    readonly request: Schema.optional<Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
+                }>>;
+            }>;
+            readonly humanWaits: Schema.optional<Schema.$Array<Schema.Struct<{
+                readonly executionId: Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">;
+                readonly flowName: Schema.NonEmptyString;
+                readonly status: Schema.Literals<readonly ["pending", "running", "suspended", "completed", "failed", "cancelled"]>;
+                readonly createdAtMs: Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">;
+                readonly startedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly finishedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly parentRunId: Schema.NullOr<Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">>;
+                readonly lineageId: Schema.brand<Schema.String, "@smthrs/journal/JournalEvent/RunId">;
+                readonly roundOrdinal: Schema.Int;
+                readonly cancelRequestedAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                readonly treeVersion: Schema.optional<Schema.Literal<1>>;
+                readonly parentPolicy: Schema.optional<Schema.Literals<readonly ["cancel", "detach"]>>;
+                readonly waiting: Schema.NullOr<Schema.Struct<{
+                    readonly reason: Schema.NonEmptyString;
+                    readonly wakeAtMs: Schema.NullOr<Schema.brand<Schema.Int, "@smthrs/journal/TimestampMs">>;
+                    readonly tokenDigest: Schema.NullOr<Schema.NonEmptyString>;
+                    readonly point: Schema.optional<Schema.NullOr<Schema.String>>;
+                    readonly request: Schema.optional<Schema.NullOr<Schema.Codec<Schema.Json, Schema.Json, never, never>>>;
+                }>>;
+            }>>>;
+        }>>;
+        readonly runId: Schema.String;
+        readonly flowId: Schema.String;
+        readonly status: Schema.Literals<readonly ["accepted", "running", "parked", "waiting-approval", "cancelled", "completed", "failed"]>;
+        readonly planId: Schema.optional<Schema.String>;
+        readonly planDigest: Schema.optional<Schema.String>;
+        readonly executionDigest: Schema.optional<Schema.String>;
+        readonly engineVersion: Schema.optional<Schema.String>;
+        readonly codeDrift: Schema.optional<Schema.Struct<{
+            readonly recorded: Schema.optional<Schema.String>;
+            readonly current: Schema.optional<Schema.String>;
+            readonly recordedEngine: Schema.optional<Schema.String>;
+            readonly currentEngine: Schema.optional<Schema.String>;
+        }>>;
+        readonly ownerId: Schema.optional<Schema.String>;
+        readonly launchedBy: Schema.optional<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly kind: Schema.String;
+        }>>;
+        readonly parentRunId: Schema.optional<Schema.String>;
+        readonly lineageId: Schema.optional<Schema.String>;
+        readonly roundOrdinal: Schema.optional<Schema.Number>;
+        readonly origin: Schema.optional<Schema.Literals<readonly ["child", "fork", "continuation"]>>;
+        readonly waitingReason: Schema.optional<Schema.String>;
+        readonly steering: Schema.optional<Schema.Struct<{
+            readonly pending: Schema.Number;
+        }>>;
+        readonly pendingResume: Schema.optional<Schema.Number>;
+        readonly parkedBy: Schema.optional<Schema.String>;
+        readonly cancellation: Schema.optional<Schema.Struct<{
+            readonly requestedAt: Schema.Number;
+            readonly source: Schema.Literals<readonly ["control", "engine", "cascade"]>;
+            readonly principal: Schema.optional<Schema.Struct<{
+                readonly id: Schema.String;
+                readonly kind: Schema.String;
+                readonly stampedAt: Schema.Number;
+            }>>;
+            readonly reason: Schema.optional<Schema.String>;
+            readonly cascadedFrom: Schema.optional<Schema.String>;
+        }>>;
+        readonly pendingWaits: Schema.optional<Schema.$Array<Schema.Struct<{
+            readonly runId: Schema.String;
+            readonly flowId: Schema.optional<Schema.String>;
+            readonly reason: Schema.String;
+            readonly token: Schema.String;
+            readonly tokenDigest: Schema.optional<Schema.String>;
+            readonly name: Schema.optional<Schema.String>;
+            readonly attempt: Schema.optional<Schema.Number>;
+            readonly request: Schema.optional<Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+            readonly createdAt: Schema.Number;
+        }>>>;
+        readonly deadlineAt: Schema.optional<Schema.Number>;
+        readonly createdAt: Schema.Number;
+        readonly updatedAt: Schema.Number;
+    }>;
+}>;
+/** Capture the exact result of a fenced write, inside its journal transaction.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const runFact: (run: ControlSchema.RunSummary, baseline?: "created" | "legacy") => typeof RunFact.Type;
+/** The exact facts of the guard that parked a run, frozen when it tripped.
+ *
+ * `Runaway` is a run spending past an approved ceiling (`tokens`, `usd`,
+ * `latency`). `Stuck` is one operation that ran past its time limit
+ * (`model-call`, `tool-call`, `cell`). Every number is in the source's unit,
+ * tokens, dollars, or milliseconds: `used`, `reserved`, `max`, and `next` are
+ * a budget's spend, held forecast, ceiling, and refused call; `max` is a
+ * timeout's limit.
+ * `allowance` is what Continue authorizes: the raised ceiling for a budget,
+ * one more run of `max` for a timeout. `subject` names the operation a
+ * timeout interrupted.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const GuardIncident: Schema.Struct<{
+    readonly classification: Schema.Literals<readonly ["Runaway", "Stuck"]>;
+    readonly source: Schema.Literals<readonly ["tokens", "usd", "latency", "model-call", "tool-call", "cell"]>;
+    readonly message: Schema.String;
+    readonly used: Schema.optional<Schema.Number>;
+    readonly reserved: Schema.optional<Schema.Number>;
+    readonly max: Schema.optional<Schema.Number>;
+    readonly next: Schema.optional<Schema.Number>;
+    readonly allowance: Schema.optional<Schema.Number>;
+    readonly subject: Schema.optional<Schema.String>;
+}>;
+/** The identity-bearing request admitted with its approval token.
+ *
+ * `incident` is present on a request a guard made, so a restarted host reads
+ * the facts the park was made on rather than measuring them again.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const ApprovalRequestFact: Schema.Struct<{
+    readonly factVersion: Schema.Literal<1>;
+    readonly runId: Schema.String;
+    readonly requestId: Schema.String;
+    readonly question: Schema.String;
+    readonly payload: Schema.Struct<{
+        readonly target: Schema.Union<readonly [Schema.TaggedStruct<"Plan", {
+            readonly planId: Schema.String;
+            readonly digest: Schema.String;
+            readonly envelope: Schema.Struct<{
+                readonly capabilities: Schema.$Array<Schema.String>;
+                readonly hostImports: Schema.optional<Schema.$Array<Schema.String>>;
+                readonly flows: Schema.$Array<Schema.String>;
+                readonly budget: Schema.Struct<{
+                    readonly tokens: Schema.optional<Schema.Number>;
+                    readonly milliseconds: Schema.optional<Schema.Number>;
+                    readonly usd: Schema.optional<Schema.Number>;
+                    readonly onExceeded: Schema.optional<Schema.Literals<readonly ["fail", "warn", "skip-remaining", "park"]>>;
+                    readonly deadline: Schema.optional<Schema.Int>;
+                }>;
+                readonly host: Schema.optional<Schema.String>;
+            }>;
+        }>, Schema.TaggedStruct<"Node", {
+            readonly runId: Schema.String;
+            readonly requestId: Schema.String;
+            readonly digest: Schema.String;
+            readonly envelope: Schema.Struct<{
+                readonly capabilities: Schema.$Array<Schema.String>;
+                readonly hostImports: Schema.optional<Schema.$Array<Schema.String>>;
+                readonly flows: Schema.$Array<Schema.String>;
+                readonly budget: Schema.Struct<{
+                    readonly tokens: Schema.optional<Schema.Number>;
+                    readonly milliseconds: Schema.optional<Schema.Number>;
+                    readonly usd: Schema.optional<Schema.Number>;
+                    readonly onExceeded: Schema.optional<Schema.Literals<readonly ["fail", "warn", "skip-remaining", "park"]>>;
+                    readonly deadline: Schema.optional<Schema.Int>;
+                }>;
+                readonly host: Schema.optional<Schema.String>;
+            }>;
+        }>]>;
+        readonly scope: Schema.Literals<readonly ["once", "run", "remembered"]>;
+        readonly idempotencyKey: Schema.String;
+    }>;
+    readonly incident: Schema.optional<Schema.Struct<{
+        readonly classification: Schema.Literals<readonly ["Runaway", "Stuck"]>;
+        readonly source: Schema.Literals<readonly ["tokens", "usd", "latency", "model-call", "tool-call", "cell"]>;
+        readonly message: Schema.String;
+        readonly used: Schema.optional<Schema.Number>;
+        readonly reserved: Schema.optional<Schema.Number>;
+        readonly max: Schema.optional<Schema.Number>;
+        readonly next: Schema.optional<Schema.Number>;
+        readonly allowance: Schema.optional<Schema.Number>;
+        readonly subject: Schema.optional<Schema.String>;
+    }>>;
+}>;
+/** The exact target a committed decision resolves; old target-tag fields remain readable.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const ApprovalDecisionFact: Schema.Struct<{
+    readonly factVersion: Schema.Literal<1>;
+    readonly tokenId: Schema.String;
+    readonly approvalTarget: Schema.Union<readonly [Schema.TaggedStruct<"Plan", {
+        readonly planId: Schema.String;
+        readonly digest: Schema.String;
+        readonly envelope: Schema.Struct<{
+            readonly capabilities: Schema.$Array<Schema.String>;
+            readonly hostImports: Schema.optional<Schema.$Array<Schema.String>>;
+            readonly flows: Schema.$Array<Schema.String>;
+            readonly budget: Schema.Struct<{
+                readonly tokens: Schema.optional<Schema.Number>;
+                readonly milliseconds: Schema.optional<Schema.Number>;
+                readonly usd: Schema.optional<Schema.Number>;
+                readonly onExceeded: Schema.optional<Schema.Literals<readonly ["fail", "warn", "skip-remaining", "park"]>>;
+                readonly deadline: Schema.optional<Schema.Int>;
+            }>;
+            readonly host: Schema.optional<Schema.String>;
+        }>;
+    }>, Schema.TaggedStruct<"Node", {
+        readonly runId: Schema.String;
+        readonly requestId: Schema.String;
+        readonly digest: Schema.String;
+        readonly envelope: Schema.Struct<{
+            readonly capabilities: Schema.$Array<Schema.String>;
+            readonly hostImports: Schema.optional<Schema.$Array<Schema.String>>;
+            readonly flows: Schema.$Array<Schema.String>;
+            readonly budget: Schema.Struct<{
+                readonly tokens: Schema.optional<Schema.Number>;
+                readonly milliseconds: Schema.optional<Schema.Number>;
+                readonly usd: Schema.optional<Schema.Number>;
+                readonly onExceeded: Schema.optional<Schema.Literals<readonly ["fail", "warn", "skip-remaining", "park"]>>;
+                readonly deadline: Schema.optional<Schema.Int>;
+            }>;
+            readonly host: Schema.optional<Schema.String>;
+        }>;
+    }>]>;
+}>;
+/** Capture and validate the target the decision writer has actually resolved.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const approvalDecisionFact: (tokenId: string, approvalTarget: ControlSchema.ApprovalTarget) => typeof ApprovalDecisionFact.Type;
+/** Commit a fenced control write and the exact resulting lifecycle fact together.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const commitRun: <E, R>(journal: Journal.Service, change: Effect.Effect<ControlSchema.RunSummary, E, R>, sourceId: string, eventType: string, detail?: Readonly<Record<string, unknown>>, baseline?: "created" | "legacy") => Effect.Effect<{
+    readonly status: "running" | "completed" | "failed" | "cancelled" | "accepted" | "parked" | "waiting-approval";
+    readonly runId: string;
+    readonly flowId: string;
+    readonly createdAt: number;
+    readonly updatedAt: number;
+    readonly origin?: "continuation" | "child" | "fork" | undefined;
+    readonly planId?: string | undefined;
+    readonly lineageId?: string | undefined;
+    readonly roundOrdinal?: number | undefined;
+    readonly parentRunId?: string | undefined;
+    readonly executionDigest?: string | undefined;
+    readonly executionObservation?: "missing" | "observed" | undefined;
+    readonly executionView?: {
+        readonly current: {
+            readonly status: "pending" | "running" | "suspended" | "completed" | "failed" | "cancelled";
+            readonly executionId: string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">;
+            readonly flowName: string;
+            readonly startedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly lineageId: string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">;
+            readonly waiting: {
+                readonly reason: string;
+                readonly wakeAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+                readonly tokenDigest: string | null;
+                readonly request?: Schema.Json | undefined;
+                readonly point?: string | null | undefined;
+            } | null;
+            readonly roundOrdinal: number;
+            readonly parentRunId: (string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">) | null;
+            readonly finishedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly cancelRequestedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly createdAtMs: number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">;
+            readonly treeVersion?: 1 | undefined;
+            readonly parentPolicy?: "cancel" | "detach" | undefined;
+        };
+        readonly root: {
+            readonly status: "pending" | "running" | "suspended" | "completed" | "failed" | "cancelled";
+            readonly executionId: string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">;
+            readonly flowName: string;
+            readonly startedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly lineageId: string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">;
+            readonly waiting: {
+                readonly reason: string;
+                readonly wakeAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+                readonly tokenDigest: string | null;
+                readonly request?: Schema.Json | undefined;
+                readonly point?: string | null | undefined;
+            } | null;
+            readonly roundOrdinal: number;
+            readonly parentRunId: (string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">) | null;
+            readonly finishedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly cancelRequestedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly createdAtMs: number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">;
+            readonly treeVersion?: 1 | undefined;
+            readonly parentPolicy?: "cancel" | "detach" | undefined;
+        };
+        readonly humanWaits?: readonly {
+            readonly status: "pending" | "running" | "suspended" | "completed" | "failed" | "cancelled";
+            readonly executionId: string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">;
+            readonly flowName: string;
+            readonly startedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly lineageId: string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">;
+            readonly waiting: {
+                readonly reason: string;
+                readonly wakeAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+                readonly tokenDigest: string | null;
+                readonly request?: Schema.Json | undefined;
+                readonly point?: string | null | undefined;
+            } | null;
+            readonly roundOrdinal: number;
+            readonly parentRunId: (string & import("effect/Brand").Brand<"@smthrs/journal/JournalEvent/RunId">) | null;
+            readonly finishedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly cancelRequestedAtMs: (number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">) | null;
+            readonly createdAtMs: number & import("effect/Brand").Brand<"@smthrs/journal/TimestampMs">;
+            readonly treeVersion?: 1 | undefined;
+            readonly parentPolicy?: "cancel" | "detach" | undefined;
+        }[] | undefined;
+    } | undefined;
+    readonly planDigest?: string | undefined;
+    readonly engineVersion?: string | undefined;
+    readonly codeDrift?: {
+        readonly current?: string | undefined;
+        readonly recorded?: string | undefined;
+        readonly recordedEngine?: string | undefined;
+        readonly currentEngine?: string | undefined;
+    } | undefined;
+    readonly ownerId?: string | undefined;
+    readonly launchedBy?: {
+        readonly id: string;
+        readonly kind: string;
+    } | undefined;
+    readonly waitingReason?: string | undefined;
+    readonly steering?: {
+        readonly pending: number;
+    } | undefined;
+    readonly pendingResume?: number | undefined;
+    readonly parkedBy?: string | undefined;
+    readonly cancellation?: {
+        readonly source: "control" | "engine" | "cascade";
+        readonly requestedAt: number;
+        readonly reason?: string | undefined;
+        readonly principal?: {
+            readonly id: string;
+            readonly kind: string;
+            readonly stampedAt: number;
+        } | undefined;
+        readonly cascadedFrom?: string | undefined;
+    } | undefined;
+    readonly pendingWaits?: readonly {
+        readonly reason: string;
+        readonly token: string;
+        readonly runId: string;
+        readonly createdAt: number;
+        readonly name?: string | undefined;
+        readonly attempt?: number | undefined;
+        readonly request?: Schema.Json | undefined;
+        readonly tokenDigest?: string | undefined;
+        readonly flowId?: string | undefined;
+    }[] | undefined;
+    readonly deadlineAt?: number | undefined;
+}, Journal.JournalError | E, R>;
+/** The token and submit-ready request have one durable admission boundary.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const commitApprovalRequest: (journal: Journal.Service, runtime: Pick<ControlRuntime.Service, "registerApproval">, input: Omit<typeof ApprovalRequestFact.Type, "factVersion">, sourceId: string) => Effect.Effect<ControlRuntime.ApprovalToken, Journal.JournalError | import("./ControlError.ts").RunNotFound | import("./ControlError.ts").PlanDigestMismatch | import("./ControlError.ts").EnvelopeMismatch | import("./ControlError.ts").PersistenceError, never>;
+/** Honest coverage of the displayed lifecycle; engine rows are a separate authority.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const LifecycleProvenance: Schema.Struct<{
+    readonly control: Schema.Literals<readonly ["events", "legacy-snapshot", "unverified-snapshot"]>;
+    readonly execution: Schema.Literals<readonly ["control", "engine-observed", "engine-missing"]>;
+    readonly baseline: Schema.optional<Schema.Literals<readonly ["created", "legacy"]>>;
+    readonly fromSequence: Schema.optional<Schema.Number>;
+    readonly throughSequence: Schema.optional<Schema.Number>;
+}>;
+/** Submit-ready approval state derived solely from admitted facts.
+ * @category facts
+ * @since 1.0.0
+ */
+export interface Approval {
+    readonly runId: string;
+    readonly waitRunId?: string | undefined;
+    readonly questionProvenance?: "events" | "legacy-observation" | "unverified-observation" | undefined;
+    readonly requestId: string;
+    readonly title: string;
+    readonly request: ControlSchema.ControlEvent["payload"];
+    readonly payload: ControlSchema.ApprovalPayload;
+    readonly requestedAt: number;
+    readonly status: "pending" | "approved" | "denied";
+}
+/**
+ * One fold for gateway snapshots and subscriptions. Current writers are strict;
+ * legacy unnamed decisions may close only a legacy request in the same run.
+ * Observed human waits may seed the approval projection without claiming a
+ * journaled request. They still require an exact named decision, and share the
+ * same digest binding as admitted requests.
+ * Duplicate requests never reopen decisions, and a new-style unknown identity
+ * never consumes another gate. Snapshot fallback is explicitly unverified.
+ * @category facts
+ * @since 1.0.0
+ */
+export declare const fold: (events: ReadonlyArray<ControlSchema.ControlEvent>, snapshot?: ControlSchema.RunSummary, observedApprovals?: ReadonlyArray<Approval>) => {
+    readonly run: ControlSchema.RunSummary | undefined;
+    readonly provenance: typeof LifecycleProvenance.Type;
+    readonly approvals: ReadonlyArray<Approval>;
+};
+//# sourceMappingURL=ControlFacts.d.ts.map

package/dist/cjs/ControlFacts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ControlFacts.d.ts","sourceRoot":"","sources":["../../src/ControlFacts.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,OAAO,EAAgB,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,cAAc,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD;;;GAGG;AACH,eAAO,MAAM,OAAO,IAAI,CAAA;AAExB;;;GAGG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIlB,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,OAAO,GAClB,KAAK,aAAa,CAAC,UAAU,EAC7B,WAAU,SAAS,GAAG,QAAmB,KACxC,OAAO,OAAO,CAAC,IAKjB,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;EAUxB,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO9B,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI/B,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,MAAM,EACf,gBAAgB,aAAa,CAAC,cAAc,KAC3C,OAAO,oBAAoB,CAAC,IAK3B,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAC5B,SAAS,OAAO,CAAC,OAAO,EACxB,QAAQ,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,EACrD,UAAU,MAAM,EAChB,WAAW,MAAM,EACjB,SAAQ,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,EAC9C,WAAU,SAAS,GAAG,QAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+BAetC,CAAA;AAEL;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,OAAO,CAAC,OAAO,EACxB,SAAS,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,kBAAkB,CAAC,EACzD,OAAO,IAAI,CAAC,OAAO,mBAAmB,CAAC,IAAI,EAAE,aAAa,CAAC,EAC3D,UAAU,MAAM,sQA2Bd,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,mBAAmB;;;;;;EAM9B,CAAA;AAEF;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,GAAG,oBAAoB,GAAG,wBAAwB,GAAG,SAAS,CAAA;IACpG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;IACvD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,eAAe,CAAA;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAA;CACnD;AAmCD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,IAAI,GACf,QAAQ,aAAa,CAAC,aAAa,CAAC,YAAY,CAAC,EACjD,WAAW,aAAa,CAAC,UAAU,EACnC,oBAAmB,aAAa,CAAC,QAAQ,CAAM,KAC9C;IACD,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,UAAU,GAAG,SAAS,CAAA;IAClD,QAAQ,CAAC,UAAU,EAAE,OAAO,mBAAmB,CAAC,IAAI,CAAA;IACpD,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAqI5C,CAAA"}