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

package/dist/esm/ExecutionFact.js

@@ -0,0 +1,374 @@
+/**
+ * Native execution observations, independent of operational ownership leases.
+ * @since 1.0.0
+ */
+import * as Schema from "effect/Schema";
+import * as Event from "./JournalEvent.js";
+/** Native semantic lifecycle fields recorded by the owning writer.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Observation = Schema.Struct({
+    executionId: Event.RunId,
+    flowName: Schema.NonEmptyString,
+    status: Schema.Literals(["pending", "running", "suspended", "completed", "failed", "cancelled"]),
+    createdAtMs: Event.TimestampMs,
+    startedAtMs: Schema.NullOr(Event.TimestampMs),
+    finishedAtMs: Schema.NullOr(Event.TimestampMs),
+    parentRunId: Schema.NullOr(Event.RunId),
+    lineageId: Event.RunId,
+    roundOrdinal: Event.NonNegativeQuantity,
+    cancelRequestedAtMs: Schema.NullOr(Event.TimestampMs),
+    // Additive v1 extension: absent means the producer did not cover tree waits.
+    treeVersion: Schema.optional(Schema.Literal(1)),
+    parentPolicy: Schema.optional(Schema.Literals(["cancel", "detach"])),
+    waiting: Schema.NullOr(Schema.Struct({
+        reason: Schema.NonEmptyString,
+        wakeAtMs: Schema.NullOr(Event.TimestampMs),
+        tokenDigest: Schema.NullOr(Schema.NonEmptyString),
+        point: Schema.optional(Schema.NullOr(Schema.String)),
+        request: Schema.optional(Schema.NullOr(Schema.Json))
+    }))
+});
+/** A new observation baseline never invents the preceding history.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Fact = Schema.Struct({
+    version: Schema.Literal(1),
+    baseline: Schema.Literals(["created", "legacy"]),
+    observation: Observation
+});
+/** A corrupt/legacy row can still settle, but cannot establish a replay baseline.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const UnavailableFact = Schema.Struct({
+    version: Schema.Literal(1),
+    unavailable: Schema.Literal("invalid-observation")
+});
+/** Root identity stays fixed while lifecycle follows its latest trampoline round.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const View = Schema.Struct({
+    root: Observation,
+    current: Observation,
+    /** Redacted display observations; opaque wake tokens are never journal authority. */
+    humanWaits: Schema.optional(Schema.Array(Observation))
+});
+/** Honest replay coverage of the selected native root and current round.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Provenance = Schema.Struct({
+    source: Schema.Literals(["events", "legacy-observation", "unverified-observation"]),
+    rootExecutionId: Schema.String,
+    humanWaits: Schema.optional(Schema.Literals(["events", "legacy-observation", "unverified-observation"])),
+    /** Tree coverage starts independently in every native run-local stream. */
+    humanWaitSources: Schema.optional(Schema.Array(Schema.Struct({
+        executionId: Schema.String,
+        generation: Schema.Number,
+        baseline: Schema.Literals(["created", "legacy"]),
+        fromSequence: Schema.Number,
+        throughSequence: Schema.Number
+    }))),
+    currentExecutionId: Schema.optional(Schema.String),
+    generation: Schema.optional(Schema.Number),
+    baseline: Schema.optional(Schema.Literals(["created", "legacy"])),
+    fromSequence: Schema.optional(Schema.Number),
+    throughSequence: Schema.optional(Schema.Number)
+});
+const record = (value) => value !== null && typeof value === "object" && !Array.isArray(value) ? value : {};
+// The journal canonicalizes object key order. Display metadata compares JSON
+// values, so a writer's insertion order cannot turn an equal question into a gap.
+const equalJson = (left, right) => {
+    if (left === right)
+        return true;
+    if (left === null || right === null || typeof left !== "object" || typeof right !== "object")
+        return false;
+    if (Array.isArray(left) || Array.isArray(right)) {
+        return Array.isArray(left) && Array.isArray(right) &&
+            left.length === right.length && left.every((value, index) => equalJson(value, right[index]));
+    }
+    const keys = Object.keys(left).sort();
+    const other = Object.keys(right).sort();
+    return keys.length === other.length && keys.every((key, index) => key === other[index] &&
+        equalJson(left[key], right[key]));
+};
+/** Compare semantic state only; heartbeat and owner incarnation are operational.
+ * @category projections
+ * @since 1.0.0
+ */
+export const equal = (left, right) => left.executionId === right.executionId && left.flowName === right.flowName && left.status === right.status &&
+    left.createdAtMs === right.createdAtMs && left.startedAtMs === right.startedAtMs &&
+    left.finishedAtMs === right.finishedAtMs &&
+    left.parentRunId === right.parentRunId && left.lineageId === right.lineageId &&
+    left.roundOrdinal === right.roundOrdinal &&
+    left.cancelRequestedAtMs === right.cancelRequestedAtMs &&
+    left.treeVersion === right.treeVersion && left.parentPolicy === right.parentPolicy &&
+    (left.waiting === null ? right.waiting === null : right.waiting !== null &&
+        left.waiting.reason === right.waiting.reason && left.waiting.wakeAtMs === right.waiting.wakeAtMs &&
+        left.waiting.tokenDigest === right.waiting.tokenDigest && left.waiting.point === right.waiting.point &&
+        equalJson(left.waiting.request, right.waiting.request));
+/**
+ * Fold native facts after a separately authenticated root binding. Sequence gaps
+ * alone are not loss: SQL journal rollbacks leave unused sequence reservations.
+ * A real omission/generation boundary invalidates coverage until a new complete
+ * baseline is recorded. Unknown producer versions never become successful replay.
+ * @category projections
+ * @since 1.0.0
+ */
+export const fold = (inputs, rootExecutionId, observed) => {
+    const states = new Map();
+    for (const input of inputs) {
+        let state = states.get(input.executionId);
+        if (input.generation !== null && state !== undefined && input.generation < state.generation)
+            continue;
+        if (input.gap) {
+            if (state === undefined) {
+                states.set(input.executionId, {
+                    generation: input.generation ?? -1,
+                    sequence: -1,
+                    uncovered: true
+                });
+            }
+            else {
+                if (input.generation !== null && input.generation > state.generation) {
+                    state = { generation: input.generation, sequence: -1, uncovered: true };
+                    states.set(input.executionId, state);
+                }
+                state.uncovered = true;
+            }
+            continue;
+        }
+        if (input.generation === null)
+            continue;
+        if (state === undefined || input.generation > state.generation) {
+            state = { generation: input.generation, sequence: -1, uncovered: state !== undefined || input.generation > 0 };
+            states.set(input.executionId, state);
+        }
+        if (input.sequence <= state.sequence)
+            continue;
+        state.sequence = input.sequence;
+        const payload = record(input.payload);
+        const candidate = payload.executionFact;
+        if (candidate === undefined) {
+            // Diagnostic decisions and wake requests are not lifecycle mutations.
+            if (state.observation !== undefined && input.eventType === "flows.engine.run-decision" &&
+                ![
+                    "wake-scheduled",
+                    "claim-lost",
+                    "activation-lost",
+                    "steal-refused-owner-alive",
+                    "child-policy-applied",
+                    "lease-reconfirmed"
+                ]
+                    .includes(String(payload.decision))) {
+                state.uncovered = true;
+            }
+            if (state.observation !== undefined && input.eventType === "flows.engine.interrupted")
+                state.uncovered = true;
+            continue;
+        }
+        if ((input.eventType !== "flows.engine.run-decision" && input.eventType !== "flows.engine.interrupted") ||
+            !Schema.is(Fact)(candidate) || candidate.observation.executionId !== input.executionId) {
+            state.uncovered = true;
+            continue;
+        }
+        if (state.observation === undefined || state.uncovered) {
+            state.baseline = state.uncovered ? "legacy" : candidate.baseline;
+            state.fromSequence = input.sequence;
+        }
+        const completeTree = candidate.observation.treeVersion === 1 && candidate.observation.parentPolicy !== undefined &&
+            (candidate.observation.waiting === null || candidate.observation.waiting.point !== undefined &&
+                candidate.observation.waiting.request !== undefined);
+        if (completeTree && (state.treeFromSequence === undefined || state.uncovered)) {
+            state.treeFromSequence = input.sequence;
+            state.treeBaseline = state.uncovered || state.observation !== undefined ? "legacy" : candidate.baseline;
+        }
+        else if (!completeTree) {
+            delete state.treeFromSequence;
+            delete state.treeBaseline;
+        }
+        state.observation = candidate.observation;
+        state.uncovered = false;
+    }
+    const root = states.get(rootExecutionId);
+    let current = root;
+    if (root?.observation !== undefined) {
+        let ordinal = root.observation.roundOrdinal;
+        for (const state of states.values()) {
+            if (state.observation?.lineageId === root.observation.lineageId &&
+                state.observation.roundOrdinal > ordinal) {
+                current = state;
+                ordinal = state.observation.roundOrdinal;
+            }
+        }
+    }
+    const treeApplicable = observed?.humanWaits !== undefined || current?.observation?.treeVersion === 1;
+    const reachable = new Map();
+    if (current?.observation !== undefined)
+        reachable.set(current.observation.executionId, 0);
+    for (let depth = 1; depth <= 64; depth++) {
+        let added = false;
+        for (const [id, state] of states) {
+            const observation = state.observation;
+            if (reachable.has(id) || observation === undefined || observation.parentRunId === null ||
+                observation.parentPolicy === "detach" || reachable.get(observation.parentRunId) !== depth - 1)
+                continue;
+            reachable.set(id, depth);
+            added = true;
+        }
+        if (!added)
+            break;
+    }
+    const tree = [...reachable].map(([id, depth]) => ({ state: states.get(id), depth }));
+    tree.sort((a, b) => a.depth - b.depth ||
+        a.state.observation.createdAtMs - b.state.observation.createdAtMs ||
+        // Execution ids are the reachable-map keys, so no two entries share one
+        // and the comparator never has to report a tie here.
+        (a.state.observation.executionId < b.state.observation.executionId ? -1 : 1));
+    const humanWaits = tree.flatMap(({ state }) => {
+        const observation = state.observation;
+        return !["completed", "failed", "cancelled"].includes(observation.status) &&
+            observation.waiting?.reason === "approval" && observation.waiting.tokenDigest !== null
+            ? [observation] :
+            [];
+    });
+    // SQL and memory stores can enumerate an equal set of waits differently.
+    // Verify every identity and value without making store order semantic.
+    const observedHumanWaits = observed?.humanWaits;
+    const observedWaits = new Map((observedHumanWaits ?? []).map((wait) => [wait.executionId, wait]));
+    const treeCovered = treeApplicable && tree.length > 0 &&
+        // A missing/corrupt stream has unknown ancestry and cannot prove absence of a human wait.
+        [...states.values()].every((state) => state.observation !== undefined && !state.uncovered) &&
+        tree.every(({ state }) => state.observation?.treeVersion === 1 && state.observation.parentPolicy !== undefined &&
+            (state.observation.waiting === null || state.observation.waiting.point !== undefined &&
+                state.observation.waiting.request !== undefined)) &&
+        (observedHumanWaits === undefined || humanWaits.length === observedHumanWaits.length &&
+            observedWaits.size === humanWaits.length && humanWaits.every((wait) => {
+            const other = observedWaits.get(wait.executionId);
+            return other !== undefined && equal(wait, other);
+        }));
+    const view = root?.observation !== undefined && current?.observation !== undefined
+        ? { root: root.observation, current: current.observation, ...(treeApplicable ? { humanWaits } : {}) } :
+        undefined;
+    const covered = view !== undefined && !root?.uncovered && !current?.uncovered &&
+        (!treeApplicable || treeCovered) &&
+        (observed === undefined || equal(view.root, observed.root) && equal(view.current, observed.current));
+    return {
+        view: covered ? view : observed,
+        provenance: {
+            source: covered
+                ? "events"
+                : root?.observation === undefined && !root?.uncovered
+                    ? "legacy-observation"
+                    : "unverified-observation",
+            rootExecutionId,
+            ...(treeApplicable ?
+                {
+                    humanWaits: treeCovered ?
+                        "events" :
+                        current?.observation?.treeVersion === 1
+                            ? "unverified-observation"
+                            : "legacy-observation"
+                } :
+                {}),
+            ...(treeCovered ?
+                {
+                    humanWaitSources: tree.map(({ state }) => ({
+                        executionId: state.observation.executionId,
+                        generation: state.generation,
+                        baseline: state.treeBaseline,
+                        fromSequence: state.treeFromSequence,
+                        throughSequence: state.sequence
+                    }))
+                } :
+                {}),
+            ...(current?.observation === undefined ? {} : { currentExecutionId: current.observation.executionId }),
+            ...(current === undefined ? {} : { generation: current.generation }),
+            ...(current?.baseline === undefined
+                ? {}
+                : { baseline: root?.baseline === "legacy" ? "legacy" : current.baseline }),
+            ...(current?.fromSequence === undefined ? {} : { fromSequence: current.fromSequence }),
+            ...(current === undefined ? {} : { throughSequence: current.sequence })
+        }
+    };
+};
+/** Interpret only the host's explicit root binding, never an ID naming convention.
+ * @category projections
+ * @since 1.0.0
+ */
+export const foldControl = (events, controlRunId, observed) => {
+    let root;
+    let conflicting = false;
+    const inputs = [];
+    for (const event of events) {
+        if (event.runId !== controlRunId)
+            continue;
+        const payload = record(event.payload);
+        if (event.kind === "control.engine.bound") {
+            if (payload.version !== 1 || payload.controlRunId !== controlRunId || typeof payload.executionId !== "string" ||
+                payload.executionId.length === 0) {
+                conflicting = true;
+            }
+            else if (root !== undefined && root !== payload.executionId)
+                conflicting = true;
+            else
+                root = payload.executionId;
+        }
+        if (event.kind === "control.engine.event" && payload.version === 1 && typeof payload.executionId === "string" &&
+            typeof payload.generation === "number" && Number.isSafeInteger(payload.generation) && payload.generation >= 0 &&
+            typeof payload.sequence === "number" && Number.isSafeInteger(payload.sequence) && payload.sequence >= 0 &&
+            typeof payload.eventType === "string") {
+            inputs.push({
+                executionId: payload.executionId,
+                generation: payload.generation,
+                sequence: payload.sequence,
+                eventType: payload.eventType,
+                payload: payload.payload
+            });
+        }
+        if (event.kind === "control.engine.event" &&
+            !(payload.version === 1 && typeof payload.executionId === "string" &&
+                typeof payload.generation === "number" && Number.isSafeInteger(payload.generation) && payload.generation >= 0 &&
+                typeof payload.sequence === "number" && Number.isSafeInteger(payload.sequence) && payload.sequence >= 0 &&
+                typeof payload.eventType === "string")) {
+            if (typeof payload.executionId !== "string")
+                conflicting = true;
+            else {
+                inputs.push({
+                    executionId: payload.executionId,
+                    generation: null,
+                    sequence: -1,
+                    eventType: event.kind,
+                    payload,
+                    gap: true
+                });
+            }
+        }
+        if (event.kind === "control.engine.projection-gap" && typeof payload.executionId === "string") {
+            inputs.push({
+                executionId: payload.executionId,
+                generation: typeof payload.generation === "number" ? payload.generation : null,
+                sequence: -1,
+                eventType: event.kind,
+                payload,
+                gap: true
+            });
+        }
+    }
+    if (root === undefined || conflicting || observed !== undefined && observed.root.executionId !== root) {
+        return observed === undefined ? undefined : {
+            view: observed,
+            provenance: {
+                source: conflicting || root !== undefined ? "unverified-observation" : "legacy-observation",
+                rootExecutionId: observed.root.executionId,
+                currentExecutionId: observed.current.executionId
+            }
+        };
+    }
+    return fold(inputs, root, observed);
+};
+//# sourceMappingURL=ExecutionFact.js.map

package/dist/esm/ExecutionFact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionFact.js","sourceRoot":"","sources":["../../src/ExecutionFact.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAA;AAE1C;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,KAAK,CAAC,KAAK;IACxB,QAAQ,EAAE,MAAM,CAAC,cAAc;IAC/B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAChG,WAAW,EAAE,KAAK,CAAC,WAAW;IAC9B,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IAC7C,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IAC9C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IACvC,SAAS,EAAE,KAAK,CAAC,KAAK;IACtB,YAAY,EAAE,KAAK,CAAC,mBAAmB;IACvC,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IACrD,6EAA6E;IAC7E,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC/C,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACnC,MAAM,EAAE,MAAM,CAAC,cAAc;QAC7B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;QAC1C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QACjD,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpD,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;KACrD,CAAC,CAAC;CACJ,CAAC,CAAA;AAOF;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAChD,WAAW,EAAE,WAAW;CACzB,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACnD,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,WAAW;IACjB,OAAO,EAAE,WAAW;IACpB,qFAAqF;IACrF,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;CACvD,CAAC,CAAA;AAmBF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;IACnF,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,oBAAoB,EAAE,wBAAwB,CAAC,CAAC,CAAC;IACxG,2EAA2E;IAC3E,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;QAC3D,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChD,YAAY,EAAE,MAAM,CAAC,MAAM;QAC3B,eAAe,EAAE,MAAM,CAAC,MAAM;KAC/B,CAAC,CAAC,CAAC;IACJ,kBAAkB,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAClD,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CAChD,CAAC,CAAA;AAEF,MAAM,MAAM,GAAG,CAAC,KAAc,EAA2B,EAAE,CACzD,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,EAAE,CAAA;AAE9G,6EAA6E;AAC7E,kFAAkF;AAClF,MAAM,SAAS,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE;IAC3D,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAA;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC1G,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAChD,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAA;IACvC,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAC/D,GAAG,KAAK,KAAK,CAAC,KAAK,CAAC;QACpB,SAAS,CAAE,IAAgC,CAAC,GAAG,CAAC,EAAG,KAAiC,CAAC,GAAG,CAAC,CAAC,CAC3F,CAAA;AACH,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAW,EAAE,CACtE,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IAC1G,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;IAChF,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;IACxC,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;IAC5E,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;IACxC,IAAI,CAAC,mBAAmB,KAAK,KAAK,CAAC,mBAAmB;IACtD,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;IAClF,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI;QACtE,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,OAAO,CAAC,QAAQ;QAChG,IAAI,CAAC,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,KAAK,CAAC,OAAO,CAAC,KAAK;QACpG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAA4B,EAAE,eAAuB,EAAE,QAAe,EAGzF,EAAE;IAWF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAA;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;QACzC,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU;YAAE,SAAQ;QACrG,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;YACd,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE;oBAC5B,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;oBAClC,QAAQ,EAAE,CAAC,CAAC;oBACZ,SAAS,EAAE,IAAI;iBAChB,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;oBACrE,KAAK,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;oBACvE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;gBACtC,CAAC;gBACD,KAAK,CAAC,SAAS,GAAG,IAAI,CAAA;YACxB,CAAC;YACD,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI;YAAE,SAAQ;QACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;YAC/D,KAAK,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,CAAA;YAC9G,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;QACtC,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ;YAAE,SAAQ;QAC9C,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAA;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QACrC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAA;QACvC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,sEAAsE;YACtE,IACE,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,2BAA2B;gBAClF,CAAC;oBACC,gBAAgB;oBAChB,YAAY;oBACZ,iBAAiB;oBACjB,2BAA2B;oBAC3B,sBAAsB;oBACtB,mBAAmB;iBACpB;qBACE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EACrC,CAAC;gBACD,KAAK,CAAC,SAAS,GAAG,IAAI,CAAA;YACxB,CAAC;YACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,0BAA0B;gBAAE,KAAK,CAAC,SAAS,GAAG,IAAI,CAAA;YAC7G,SAAQ;QACV,CAAC;QACD,IACE,CAAC,KAAK,CAAC,SAAS,KAAK,2BAA2B,IAAI,KAAK,CAAC,SAAS,KAAK,0BAA0B,CAAC;YACnG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,EACtF,CAAC;YACD,KAAK,CAAC,SAAS,GAAG,IAAI,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvD,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAA;YAChE,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAA;QACrC,CAAC;QACD,MAAM,YAAY,GAAG,SAAS,CAAC,WAAW,CAAC,WAAW,KAAK,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,YAAY,KAAK,SAAS;YAC9G,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,IAAI,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS;gBACxF,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAA;QAC1D,IAAI,YAAY,IAAI,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9E,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAC,QAAQ,CAAA;YACvC,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAA;QACzG,CAAC;aAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC,gBAAgB,CAAA;YAC7B,OAAO,KAAK,CAAC,YAAY,CAAA;QAC3B,CAAC;QACD,KAAK,CAAC,WAAW,GAAG,SAAS,CAAC,WAAW,CAAA;QACzC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAA;IACzB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;IACxC,IAAI,OAAO,GAAG,IAAI,CAAA;IAClB,IAAI,IAAI,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAA;QAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,IACE,KAAK,CAAC,WAAW,EAAE,SAAS,KAAK,IAAI,CAAC,WAAW,CAAC,SAAS;gBAC3D,KAAK,CAAC,WAAW,CAAC,YAAY,GAAG,OAAO,EACxC,CAAC;gBACD,OAAO,GAAG,KAAK,CAAA;gBACf,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,CAAA;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,EAAE,UAAU,KAAK,SAAS,IAAI,OAAO,EAAE,WAAW,EAAE,WAAW,KAAK,CAAC,CAAA;IACpG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,IAAI,OAAO,EAAE,WAAW,KAAK,SAAS;QAAE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC,CAAA;IACzF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACzC,IAAI,KAAK,GAAG,KAAK,CAAA;QACjB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YACjC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAA;YACrC,IACE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,WAAW,KAAK,IAAI;gBAClF,WAAW,CAAC,YAAY,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,KAAK,KAAK,GAAG,CAAC;gBAC7F,SAAQ;YACV,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACxB,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,MAAK;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACrF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjB,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK;QACjB,CAAC,CAAC,KAAK,CAAC,WAAY,CAAC,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,WAAY,CAAC,WAAW;QACnE,wEAAwE;QACxE,qDAAqD;QACrD,CAAC,CAAC,CAAC,KAAK,CAAC,WAAY,CAAC,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,WAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAA;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;QAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,WAAY,CAAA;QACtC,OAAO,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC;YACrE,WAAW,CAAC,OAAO,EAAE,MAAM,KAAK,UAAU,IAAI,WAAW,CAAC,OAAO,CAAC,WAAW,KAAK,IAAI;YACxF,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YACjB,EAAE,CAAA;IACN,CAAC,CAAC,CAAA;IACF,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,kBAAkB,GAAG,QAAQ,EAAE,UAAU,CAAA;IAC/C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACjG,MAAM,WAAW,GAAG,cAAc,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QACnD,0FAA0F;QAC1F,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;QAC1F,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CACvB,KAAK,CAAC,WAAW,EAAE,WAAW,KAAK,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,YAAY,KAAK,SAAS;YACpF,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS;gBAChF,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CACrD;QACD,CAAC,kBAAkB,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,kBAAkB,CAAC,MAAM;YAChF,aAAa,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;YACpE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;YACjD,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAClD,CAAC,CAAC,CAAC,CAAA;IACT,MAAM,IAAI,GAAG,IAAI,EAAE,WAAW,KAAK,SAAS,IAAI,OAAO,EAAE,WAAW,KAAK,SAAS;QAChF,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACvG,SAAS,CAAA;IACX,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,OAAO,EAAE,SAAS;QAC3E,CAAC,CAAC,cAAc,IAAI,WAAW,CAAC;QAChC,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;IACtG,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;QAC/B,UAAU,EAAE;YACV,MAAM,EAAE,OAAO;gBACb,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,IAAI,EAAE,WAAW,KAAK,SAAS,IAAI,CAAC,IAAI,EAAE,SAAS;oBACrD,CAAC,CAAC,oBAAoB;oBACtB,CAAC,CAAC,wBAAwB;YAC5B,eAAe;YACf,GAAG,CAAC,cAAc,CAAC,CAAC;gBAClB;oBACE,UAAU,EAAE,WAAW,CAAC,CAAC;wBACvB,QAAiB,CAAC,CAAC;wBACnB,OAAO,EAAE,WAAW,EAAE,WAAW,KAAK,CAAC;4BACvC,CAAC,CAAC,wBAAiC;4BACnC,CAAC,CAAC,oBAA6B;iBAClC,CAAC,CAAC;gBACH,EAAE,CAAC;YACL,GAAG,CAAC,WAAW,CAAC,CAAC;gBACf;oBACE,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;wBACzC,WAAW,EAAE,KAAK,CAAC,WAAY,CAAC,WAAW;wBAC3C,UAAU,EAAE,KAAK,CAAC,UAAU;wBAC5B,QAAQ,EAAE,KAAK,CAAC,YAAa;wBAC7B,YAAY,EAAE,KAAK,CAAC,gBAAiB;wBACrC,eAAe,EAAE,KAAK,CAAC,QAAQ;qBAChC,CAAC,CAAC;iBACJ,CAAC,CAAC;gBACH,EAAE,CAAC;YACL,GAAG,CAAC,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;YACtG,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;YACpE,GAAG,CAAC,OAAO,EAAE,QAAQ,KAAK,SAAS;gBACjC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC5E,GAAG,CAAC,OAAO,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;YACtF,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;SACxE;KACF,CAAA;AACH,CAAC,CAAA;AAYD;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAkC,EAAE,YAAoB,EAAE,QAAe,EAAE,EAAE;IACvG,IAAI,IAAwB,CAAA;IAC5B,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,MAAM,MAAM,GAAiB,EAAE,CAAA;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,KAAK,KAAK,YAAY;YAAE,SAAQ;QAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAC1C,IACE,OAAO,CAAC,OAAO,KAAK,CAAC,IAAI,OAAO,CAAC,YAAY,KAAK,YAAY,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;gBACzG,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;gBACD,WAAW,GAAG,IAAI,CAAA;YACpB,CAAC;iBAAM,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,CAAC,WAAW;gBAAE,WAAW,GAAG,IAAI,CAAA;;gBAC5E,IAAI,GAAG,OAAO,CAAC,WAAW,CAAA;QACjC,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;YACzG,OAAO,OAAO,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU,IAAI,CAAC;YAC7G,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,IAAI,CAAC;YACvG,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,EACrC,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAC,CAAA;QACJ,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACrC,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,CAAC,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;gBAChE,OAAO,OAAO,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU,IAAI,CAAC;gBAC7G,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,IAAI,CAAC;gBACvG,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC,EACxC,CAAC;YACD,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;gBAAE,WAAW,GAAG,IAAI,CAAA;iBAC1D,CAAC;gBAAA,MAAM,CAAC,IAAI,CAAC;oBACd,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,CAAC,CAAC;oBACZ,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,OAAO;oBACP,GAAG,EAAE,IAAI;iBACV,CAAC,CAAA;YAAA,CAAC;QACP,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,+BAA+B,IAAI,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC9F,MAAM,CAAC,IAAI,CAAC;gBACV,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,UAAU,EAAE,OAAO,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;gBAC9E,QAAQ,EAAE,CAAC,CAAC;gBACZ,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,OAAO;gBACP,GAAG,EAAE,IAAI;aACV,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,WAAW,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QACtG,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAC1C,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,WAAW,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,wBAAiC,CAAC,CAAC,CAAC,oBAA6B;gBAC7G,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW;gBAC1C,kBAAkB,EAAE,QAAQ,CAAC,OAAO,CAAC,WAAW;aACjD;SACF,CAAA;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;AACrC,CAAC,CAAA","sourcesContent":["/**\n * Native execution observations, independent of operational ownership leases.\n * @since 1.0.0\n */\n\nimport * as Schema from \"effect/Schema\"\nimport * as Event from \"./JournalEvent.ts\"\n\n/** Native semantic lifecycle fields recorded by the owning writer.\n * @category schemas\n * @since 1.0.0\n */\nexport const Observation = Schema.Struct({\n  executionId: Event.RunId,\n  flowName: Schema.NonEmptyString,\n  status: Schema.Literals([\"pending\", \"running\", \"suspended\", \"completed\", \"failed\", \"cancelled\"]),\n  createdAtMs: Event.TimestampMs,\n  startedAtMs: Schema.NullOr(Event.TimestampMs),\n  finishedAtMs: Schema.NullOr(Event.TimestampMs),\n  parentRunId: Schema.NullOr(Event.RunId),\n  lineageId: Event.RunId,\n  roundOrdinal: Event.NonNegativeQuantity,\n  cancelRequestedAtMs: Schema.NullOr(Event.TimestampMs),\n  // Additive v1 extension: absent means the producer did not cover tree waits.\n  treeVersion: Schema.optional(Schema.Literal(1)),\n  parentPolicy: Schema.optional(Schema.Literals([\"cancel\", \"detach\"])),\n  waiting: Schema.NullOr(Schema.Struct({\n    reason: Schema.NonEmptyString,\n    wakeAtMs: Schema.NullOr(Event.TimestampMs),\n    tokenDigest: Schema.NullOr(Schema.NonEmptyString),\n    point: Schema.optional(Schema.NullOr(Schema.String)),\n    request: Schema.optional(Schema.NullOr(Schema.Json))\n  }))\n})\n/** The value form of a native execution observation.\n * @category models\n * @since 1.0.0\n */\nexport type Observation = typeof Observation.Type\n\n/** A new observation baseline never invents the preceding history.\n * @category schemas\n * @since 1.0.0\n */\nexport const Fact = Schema.Struct({\n  version: Schema.Literal(1),\n  baseline: Schema.Literals([\"created\", \"legacy\"]),\n  observation: Observation\n})\n\n/** A corrupt/legacy row can still settle, but cannot establish a replay baseline.\n * @category schemas\n * @since 1.0.0\n */\nexport const UnavailableFact = Schema.Struct({\n  version: Schema.Literal(1),\n  unavailable: Schema.Literal(\"invalid-observation\")\n})\n\n/** Root identity stays fixed while lifecycle follows its latest trampoline round.\n * @category schemas\n * @since 1.0.0\n */\nexport const View = Schema.Struct({\n  root: Observation,\n  current: Observation,\n  /** Redacted display observations; opaque wake tokens are never journal authority. */\n  humanWaits: Schema.optional(Schema.Array(Observation))\n})\n/** The value form of a logical execution view.\n * @category models\n * @since 1.0.0\n */\nexport type View = typeof View.Type\n\n/** Source positions are native run-local sequence plus native journal generation.\n * @category models\n * @since 1.0.0\n */\nexport interface Input {\n  readonly executionId: string\n  readonly generation: number | null\n  readonly sequence: number\n  readonly eventType: string\n  readonly payload: unknown\n  readonly gap?: boolean\n}\n/** Honest replay coverage of the selected native root and current round.\n * @category schemas\n * @since 1.0.0\n */\nexport const Provenance = Schema.Struct({\n  source: Schema.Literals([\"events\", \"legacy-observation\", \"unverified-observation\"]),\n  rootExecutionId: Schema.String,\n  humanWaits: Schema.optional(Schema.Literals([\"events\", \"legacy-observation\", \"unverified-observation\"])),\n  /** Tree coverage starts independently in every native run-local stream. */\n  humanWaitSources: Schema.optional(Schema.Array(Schema.Struct({\n    executionId: Schema.String,\n    generation: Schema.Number,\n    baseline: Schema.Literals([\"created\", \"legacy\"]),\n    fromSequence: Schema.Number,\n    throughSequence: Schema.Number\n  }))),\n  currentExecutionId: Schema.optional(Schema.String),\n  generation: Schema.optional(Schema.Number),\n  baseline: Schema.optional(Schema.Literals([\"created\", \"legacy\"])),\n  fromSequence: Schema.optional(Schema.Number),\n  throughSequence: Schema.optional(Schema.Number)\n})\n\nconst record = (value: unknown): Record<string, unknown> =>\n  value !== null && typeof value === \"object\" && !Array.isArray(value) ? value as Record<string, unknown> : {}\n\n// The journal canonicalizes object key order. Display metadata compares JSON\n// values, so a writer's insertion order cannot turn an equal question into a gap.\nconst equalJson = (left: unknown, right: unknown): boolean => {\n  if (left === right) return true\n  if (left === null || right === null || typeof left !== \"object\" || typeof right !== \"object\") return false\n  if (Array.isArray(left) || Array.isArray(right)) {\n    return Array.isArray(left) && Array.isArray(right) &&\n      left.length === right.length && left.every((value, index) => equalJson(value, right[index]))\n  }\n  const keys = Object.keys(left).sort()\n  const other = Object.keys(right).sort()\n  return keys.length === other.length && keys.every((key, index) =>\n    key === other[index] &&\n    equalJson((left as Record<string, unknown>)[key], (right as Record<string, unknown>)[key])\n  )\n}\n\n/** Compare semantic state only; heartbeat and owner incarnation are operational.\n * @category projections\n * @since 1.0.0\n */\nexport const equal = (left: Observation, right: Observation): boolean =>\n  left.executionId === right.executionId && left.flowName === right.flowName && left.status === right.status &&\n  left.createdAtMs === right.createdAtMs && left.startedAtMs === right.startedAtMs &&\n  left.finishedAtMs === right.finishedAtMs &&\n  left.parentRunId === right.parentRunId && left.lineageId === right.lineageId &&\n  left.roundOrdinal === right.roundOrdinal &&\n  left.cancelRequestedAtMs === right.cancelRequestedAtMs &&\n  left.treeVersion === right.treeVersion && left.parentPolicy === right.parentPolicy &&\n  (left.waiting === null ? right.waiting === null : right.waiting !== null &&\n    left.waiting.reason === right.waiting.reason && left.waiting.wakeAtMs === right.waiting.wakeAtMs &&\n    left.waiting.tokenDigest === right.waiting.tokenDigest && left.waiting.point === right.waiting.point &&\n    equalJson(left.waiting.request, right.waiting.request))\n\n/**\n * Fold native facts after a separately authenticated root binding. Sequence gaps\n * alone are not loss: SQL journal rollbacks leave unused sequence reservations.\n * A real omission/generation boundary invalidates coverage until a new complete\n * baseline is recorded. Unknown producer versions never become successful replay.\n * @category projections\n * @since 1.0.0\n */\nexport const fold = (inputs: ReadonlyArray<Input>, rootExecutionId: string, observed?: View): {\n  readonly view: View | undefined\n  readonly provenance: typeof Provenance.Type\n} => {\n  interface State {\n    generation: number\n    sequence: number\n    observation?: Observation\n    baseline?: \"created\" | \"legacy\"\n    fromSequence?: number\n    treeFromSequence?: number\n    treeBaseline?: \"created\" | \"legacy\"\n    uncovered: boolean\n  }\n  const states = new Map<string, State>()\n  for (const input of inputs) {\n    let state = states.get(input.executionId)\n    if (input.generation !== null && state !== undefined && input.generation < state.generation) continue\n    if (input.gap) {\n      if (state === undefined) {\n        states.set(input.executionId, {\n          generation: input.generation ?? -1,\n          sequence: -1,\n          uncovered: true\n        })\n      } else {\n        if (input.generation !== null && input.generation > state.generation) {\n          state = { generation: input.generation, sequence: -1, uncovered: true }\n          states.set(input.executionId, state)\n        }\n        state.uncovered = true\n      }\n      continue\n    }\n    if (input.generation === null) continue\n    if (state === undefined || input.generation > state.generation) {\n      state = { generation: input.generation, sequence: -1, uncovered: state !== undefined || input.generation > 0 }\n      states.set(input.executionId, state)\n    }\n    if (input.sequence <= state.sequence) continue\n    state.sequence = input.sequence\n    const payload = record(input.payload)\n    const candidate = payload.executionFact\n    if (candidate === undefined) {\n      // Diagnostic decisions and wake requests are not lifecycle mutations.\n      if (\n        state.observation !== undefined && input.eventType === \"flows.engine.run-decision\" &&\n        ![\n          \"wake-scheduled\",\n          \"claim-lost\",\n          \"activation-lost\",\n          \"steal-refused-owner-alive\",\n          \"child-policy-applied\",\n          \"lease-reconfirmed\"\n        ]\n          .includes(String(payload.decision))\n      ) {\n        state.uncovered = true\n      }\n      if (state.observation !== undefined && input.eventType === \"flows.engine.interrupted\") state.uncovered = true\n      continue\n    }\n    if (\n      (input.eventType !== \"flows.engine.run-decision\" && input.eventType !== \"flows.engine.interrupted\") ||\n      !Schema.is(Fact)(candidate) || candidate.observation.executionId !== input.executionId\n    ) {\n      state.uncovered = true\n      continue\n    }\n    if (state.observation === undefined || state.uncovered) {\n      state.baseline = state.uncovered ? \"legacy\" : candidate.baseline\n      state.fromSequence = input.sequence\n    }\n    const completeTree = candidate.observation.treeVersion === 1 && candidate.observation.parentPolicy !== undefined &&\n      (candidate.observation.waiting === null || candidate.observation.waiting.point !== undefined &&\n          candidate.observation.waiting.request !== undefined)\n    if (completeTree && (state.treeFromSequence === undefined || state.uncovered)) {\n      state.treeFromSequence = input.sequence\n      state.treeBaseline = state.uncovered || state.observation !== undefined ? \"legacy\" : candidate.baseline\n    } else if (!completeTree) {\n      delete state.treeFromSequence\n      delete state.treeBaseline\n    }\n    state.observation = candidate.observation\n    state.uncovered = false\n  }\n  const root = states.get(rootExecutionId)\n  let current = root\n  if (root?.observation !== undefined) {\n    let ordinal = root.observation.roundOrdinal\n    for (const state of states.values()) {\n      if (\n        state.observation?.lineageId === root.observation.lineageId &&\n        state.observation.roundOrdinal > ordinal\n      ) {\n        current = state\n        ordinal = state.observation.roundOrdinal\n      }\n    }\n  }\n  const treeApplicable = observed?.humanWaits !== undefined || current?.observation?.treeVersion === 1\n  const reachable = new Map<string, number>()\n  if (current?.observation !== undefined) reachable.set(current.observation.executionId, 0)\n  for (let depth = 1; depth <= 64; depth++) {\n    let added = false\n    for (const [id, state] of states) {\n      const observation = state.observation\n      if (\n        reachable.has(id) || observation === undefined || observation.parentRunId === null ||\n        observation.parentPolicy === \"detach\" || reachable.get(observation.parentRunId) !== depth - 1\n      ) continue\n      reachable.set(id, depth)\n      added = true\n    }\n    if (!added) break\n  }\n  const tree = [...reachable].map(([id, depth]) => ({ state: states.get(id)!, depth }))\n  tree.sort((a, b) =>\n    a.depth - b.depth ||\n    a.state.observation!.createdAtMs - b.state.observation!.createdAtMs ||\n    // Execution ids are the reachable-map keys, so no two entries share one\n    // and the comparator never has to report a tie here.\n    (a.state.observation!.executionId < b.state.observation!.executionId ? -1 : 1)\n  )\n  const humanWaits = tree.flatMap(({ state }) => {\n    const observation = state.observation!\n    return ![\"completed\", \"failed\", \"cancelled\"].includes(observation.status) &&\n        observation.waiting?.reason === \"approval\" && observation.waiting.tokenDigest !== null\n      ? [observation] :\n      []\n  })\n  // SQL and memory stores can enumerate an equal set of waits differently.\n  // Verify every identity and value without making store order semantic.\n  const observedHumanWaits = observed?.humanWaits\n  const observedWaits = new Map((observedHumanWaits ?? []).map((wait) => [wait.executionId, wait]))\n  const treeCovered = treeApplicable && tree.length > 0 &&\n    // A missing/corrupt stream has unknown ancestry and cannot prove absence of a human wait.\n    [...states.values()].every((state) => state.observation !== undefined && !state.uncovered) &&\n    tree.every(({ state }) =>\n      state.observation?.treeVersion === 1 && state.observation.parentPolicy !== undefined &&\n      (state.observation.waiting === null || state.observation.waiting.point !== undefined &&\n          state.observation.waiting.request !== undefined)\n    ) &&\n    (observedHumanWaits === undefined || humanWaits.length === observedHumanWaits.length &&\n        observedWaits.size === humanWaits.length && humanWaits.every((wait) => {\n          const other = observedWaits.get(wait.executionId)\n          return other !== undefined && equal(wait, other)\n        }))\n  const view = root?.observation !== undefined && current?.observation !== undefined\n    ? { root: root.observation, current: current.observation, ...(treeApplicable ? { humanWaits } : {}) } :\n    undefined\n  const covered = view !== undefined && !root?.uncovered && !current?.uncovered &&\n    (!treeApplicable || treeCovered) &&\n    (observed === undefined || equal(view.root, observed.root) && equal(view.current, observed.current))\n  return {\n    view: covered ? view : observed,\n    provenance: {\n      source: covered\n        ? \"events\"\n        : root?.observation === undefined && !root?.uncovered\n        ? \"legacy-observation\"\n        : \"unverified-observation\",\n      rootExecutionId,\n      ...(treeApplicable ?\n        {\n          humanWaits: treeCovered ?\n            \"events\" as const :\n            current?.observation?.treeVersion === 1\n            ? \"unverified-observation\" as const\n            : \"legacy-observation\" as const\n        } :\n        {}),\n      ...(treeCovered ?\n        {\n          humanWaitSources: tree.map(({ state }) => ({\n            executionId: state.observation!.executionId,\n            generation: state.generation,\n            baseline: state.treeBaseline!,\n            fromSequence: state.treeFromSequence!,\n            throughSequence: state.sequence\n          }))\n        } :\n        {}),\n      ...(current?.observation === undefined ? {} : { currentExecutionId: current.observation.executionId }),\n      ...(current === undefined ? {} : { generation: current.generation }),\n      ...(current?.baseline === undefined\n        ? {}\n        : { baseline: root?.baseline === \"legacy\" ? \"legacy\" : current.baseline }),\n      ...(current?.fromSequence === undefined ? {} : { fromSequence: current.fromSequence }),\n      ...(current === undefined ? {} : { throughSequence: current.sequence })\n    }\n  }\n}\n\n/** Control bridge inputs retain their native run-local positions and generation.\n * @category models\n * @since 1.0.0\n */\nexport interface BridgeEvent {\n  readonly runId?: string | undefined\n  readonly kind: string\n  readonly payload: unknown\n}\n\n/** Interpret only the host's explicit root binding, never an ID naming convention.\n * @category projections\n * @since 1.0.0\n */\nexport const foldControl = (events: ReadonlyArray<BridgeEvent>, controlRunId: string, observed?: View) => {\n  let root: string | undefined\n  let conflicting = false\n  const inputs: Array<Input> = []\n  for (const event of events) {\n    if (event.runId !== controlRunId) continue\n    const payload = record(event.payload)\n    if (event.kind === \"control.engine.bound\") {\n      if (\n        payload.version !== 1 || payload.controlRunId !== controlRunId || typeof payload.executionId !== \"string\" ||\n        payload.executionId.length === 0\n      ) {\n        conflicting = true\n      } else if (root !== undefined && root !== payload.executionId) conflicting = true\n      else root = payload.executionId\n    }\n    if (\n      event.kind === \"control.engine.event\" && payload.version === 1 && typeof payload.executionId === \"string\" &&\n      typeof payload.generation === \"number\" && Number.isSafeInteger(payload.generation) && payload.generation >= 0 &&\n      typeof payload.sequence === \"number\" && Number.isSafeInteger(payload.sequence) && payload.sequence >= 0 &&\n      typeof payload.eventType === \"string\"\n    ) {\n      inputs.push({\n        executionId: payload.executionId,\n        generation: payload.generation,\n        sequence: payload.sequence,\n        eventType: payload.eventType,\n        payload: payload.payload\n      })\n    }\n    if (\n      event.kind === \"control.engine.event\" &&\n      !(payload.version === 1 && typeof payload.executionId === \"string\" &&\n        typeof payload.generation === \"number\" && Number.isSafeInteger(payload.generation) && payload.generation >= 0 &&\n        typeof payload.sequence === \"number\" && Number.isSafeInteger(payload.sequence) && payload.sequence >= 0 &&\n        typeof payload.eventType === \"string\")\n    ) {\n      if (typeof payload.executionId !== \"string\") conflicting = true\n      else {inputs.push({\n          executionId: payload.executionId,\n          generation: null,\n          sequence: -1,\n          eventType: event.kind,\n          payload,\n          gap: true\n        })}\n    }\n    if (event.kind === \"control.engine.projection-gap\" && typeof payload.executionId === \"string\") {\n      inputs.push({\n        executionId: payload.executionId,\n        generation: typeof payload.generation === \"number\" ? payload.generation : null,\n        sequence: -1,\n        eventType: event.kind,\n        payload,\n        gap: true\n      })\n    }\n  }\n  if (root === undefined || conflicting || observed !== undefined && observed.root.executionId !== root) {\n    return observed === undefined ? undefined : {\n      view: observed,\n      provenance: {\n        source: conflicting || root !== undefined ? \"unverified-observation\" as const : \"legacy-observation\" as const,\n        rootExecutionId: observed.root.executionId,\n        currentExecutionId: observed.current.executionId\n      }\n    }\n  }\n  return fold(inputs, root, observed)\n}\n"]}