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

package/dist/esm/Health.js

@@ -0,0 +1,400 @@
+/** Observational health contracts shared by durable runs and native sessions.
+ * @since 1.0.0
+ */
+import * as Sha256 from "@smthrs/crypto/Sha256";
+import * as Fault from "@smthrs/flow/Fault";
+import { Cause, Effect, Metric, Schema } from "effect";
+import { makeJevSessionChecker } from "./JevSessionChecker.js";
+/** Authoritative subject lifecycle.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const SubjectState = Schema.Literals([
+    "accepted",
+    "running",
+    "parked",
+    "waiting-approval",
+    "completed",
+    "failed",
+    "cancelled",
+    "spawning",
+    "exited"
+]);
+/** Health vocabulary shared with Monitor.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const HealthState = Schema.Literals([
+    "healthy",
+    "stalled",
+    "wedged-node",
+    "runaway-loop",
+    "awaiting-human",
+    "failing",
+    "unknown"
+]);
+/** Only explicit semantic checks establish activity.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Activity = Schema.Literals(["working", "idle", "needs-input", "unknown"]);
+/** Attention never confers permission to act. `needs-resume` is a run parked over
+ * executions its owner released: nothing restarts them until `smthrs runs resume`.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Attention = Schema.Literals(["none", "awaiting-approval", "needs-input", "needs-resume", "unhealthy"]);
+/** Whether a successful reading still describes this subject.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const Freshness = Schema.Literals(["fresh", "stale", "unobserved"]);
+/** Public reasons; arbitrary exception text and terminal bytes never cross this boundary.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const ReasonCode = Schema.Literals([
+    "ok",
+    "no-progress",
+    "awaiting-reply",
+    "prompt-detected",
+    "quota-wait",
+    "timer-wait",
+    "event-wait",
+    "released",
+    "unreachable",
+    "probe-timeout",
+    "probe-error",
+    "owner-changed"
+]);
+/** Validated checker output, containing no authority or ordering fields.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const ProbeReport = Schema.Struct({ activity: Activity, reason: Schema.optional(ReasonCode) });
+const Counter = Schema.Int.pipe(Schema.check(Schema.isGreaterThanOrEqualTo(0)));
+/** A host-stamped observation; its journal sequence is supplied by the durable writer.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const HealthObservation = Schema.Struct({
+    subjectId: Schema.String,
+    state: SubjectState,
+    checkerId: Schema.String,
+    monitorId: Schema.String,
+    incarnation: Schema.String,
+    evidenceSeq: Counter,
+    observedAt: Counter,
+    expiresAt: Counter,
+    durationMs: Counter,
+    baseHealth: Schema.optional(HealthState),
+    outcome: Schema.Literals(["ok", "timeout", "error", "interrupted", "discarded"]),
+    report: Schema.optional(ProbeReport),
+    reason: Schema.optional(ReasonCode)
+});
+/** The additive wire contract rendered by every status surface.
+ * @category schemas
+ * @since 1.0.0
+ */
+export const StatusRollup = Schema.Struct({
+    subjectId: Schema.String,
+    state: SubjectState,
+    activity: Activity,
+    health: HealthState,
+    attention: Attention,
+    freshness: Freshness,
+    reason: Schema.optional(ReasonCode),
+    provenance: Schema.optional(Schema.Struct({
+        checkerId: Schema.String,
+        monitorId: Schema.String,
+        observedAt: Counter,
+        expiresAt: Counter,
+        evidenceSeq: Counter,
+        incarnation: Schema.String,
+        version: Counter
+    })),
+    updatedAt: Counter
+});
+/** Durable event type for observational health.
+ * @category constants
+ * @since 1.0.0
+ */
+export const statusObservedEventType = "control.status.observed";
+/** Opaque identity of the authoritative run ownership and lifecycle point being observed.
+ * Equality is meaningful; lexical or numeric ordering is not.
+ * @category getters
+ * @since 1.0.0
+ */
+export const runIncarnation = (run) => Sha256.digestSync(JSON.stringify([
+    run.runId,
+    run.createdAt,
+    run.updatedAt,
+    run.ownerId ?? null,
+    run.parkedBy ?? null,
+    run.status,
+    run.waitingReason ?? null
+]));
+/** Invalid trusted configuration fails startup instead of silently running another policy.
+ * @category errors
+ * @since 1.0.0
+ */
+export class HealthConfigurationError extends Schema.TaggedError()("HealthConfigurationError", {
+    reason: Schema.Literals(["invalid-policy", "invalid-checker", "invalid-config"])
+}) {
+}
+Fault.register("HealthConfigurationError", "bug");
+/** Safe cadence used by unconfigured hosts.
+ * @category constants
+ * @since 1.0.0
+ */
+export const defaultPolicy = {
+    intervalMs: 5_000,
+    timeoutMs: 2_000,
+    ttlMs: 20_000,
+    stallAfterMs: 120_000,
+    backoff: { initialMs: 5_000, maxMs: 60_000, factor: 2 }
+};
+/** A known engine wait is a lifecycle fact, not missing progress.
+ * @category getters
+ * @since 1.0.0
+ */
+export const waitReason = (state, waitingReason) => state !== "parked" ? undefined : waitingReason === "quota" ?
+    "quota-wait"
+    : waitingReason === "timer"
+        ? "timer-wait"
+        : waitingReason === "event"
+            ? "event-wait"
+            : undefined;
+/** Flow default observes lifecycle without inventing semantic activity.
+ * @category constants
+ * @since 1.0.0
+ */
+export const lifecycleRunChecker = {
+    id: "lifecycle.run",
+    probe: (context) => Effect.succeed({ activity: "unknown", reason: waitReason(context.state, context.summary?.waitingReason) ?? "ok" })
+};
+/** Session default never interprets silence or output movement as task activity.
+ * @category constants
+ * @since 1.0.0
+ */
+export const lifecycleSessionChecker = {
+    id: "lifecycle.session",
+    probe: () => Effect.succeed({ activity: "unknown", reason: "ok" })
+};
+const hostCheckers = (evaluator) => [
+    makeJevSessionChecker({ evaluator })
+];
+/** Checkers every host may bind by id, beyond the lifecycle default it always has.
+ *
+ * Registration is not a binding. A host opts in by naming one of these as a
+ * `HealthBinding.checkerId`; a host that names none keeps the lifecycle
+ * default, and no entry here is ever consulted for an unbound subject.
+ *
+ * @category constants
+ * @since 1.0.0
+ */
+export const registeredCheckers = hostCheckers(undefined);
+const bounded = (value, min, max) => Number.isSafeInteger(value) && value >= min && value <= max;
+const invalid = (reason) => {
+    throw new HealthConfigurationError({ reason });
+};
+/** Admit a host registry and all configured bindings. Unknown checker ids use the lifecycle default.
+ * @category constructors
+ * @since 1.0.0
+ */
+export const makeRegistry = (config = {}, kind = "run", evaluator) => {
+    const fallback = kind === "run" ? lifecycleRunChecker : lifecycleSessionChecker;
+    const checkers = new Map([
+        [fallback.id, fallback],
+        ...hostCheckers(evaluator).map((checker) => [checker.id, checker])
+    ]);
+    for (const checker of config.checkers ?? []) {
+        if (!/^[a-zA-Z0-9][a-zA-Z0-9._/-]{0,127}$/.test(checker.id) || checkers.has(checker.id))
+            invalid("invalid-checker");
+        checkers.set(checker.id, checker);
+    }
+    const resolve = (binding) => {
+        const checker = binding === undefined ? fallback : checkers.get(binding.checkerId) ?? fallback;
+        const merged = { ...defaultPolicy, ...checker.defaults, ...binding?.policy };
+        if (merged.backoff == null || typeof merged.backoff !== "object")
+            invalid("invalid-policy");
+        const policy = { ...merged, backoff: { ...merged.backoff } };
+        if (!bounded(policy.intervalMs, 10, 3_600_000) || !bounded(policy.timeoutMs, 1, 60_000) ||
+            !bounded(policy.ttlMs, policy.timeoutMs, 86_400_000) ||
+            !bounded(policy.stallAfterMs, policy.intervalMs, 86_400_000) ||
+            !bounded(policy.backoff.initialMs, 10, 3_600_000) ||
+            !bounded(policy.backoff.maxMs, policy.backoff.initialMs, 3_600_000) ||
+            !Number.isFinite(policy.backoff.factor) || policy.backoff.factor < 1 || policy.backoff.factor > 10)
+            invalid("invalid-policy");
+        let decoded = undefined;
+        if (checker !== fallback || binding?.checkerId === fallback.id) {
+            if (checker.configSchema !== undefined) {
+                try {
+                    decoded = Schema.decodeUnknownSync(checker.configSchema)(binding?.config);
+                }
+                catch {
+                    invalid("invalid-config");
+                }
+            }
+            else if (binding?.config !== undefined)
+                invalid("invalid-config");
+        }
+        return { checker, config: decoded, policy, exposeOutput: binding?.exposeOutput === true };
+    };
+    const defaults = resolve();
+    const bindings = new Map(Object.entries(config.bindings ?? {}).map(([key, value]) => [key, resolve(value)]));
+    const maxSubjects = config.limits?.maxSubjects ?? 128;
+    const maxConcurrentProbes = config.limits?.maxConcurrentProbes ?? 8;
+    if (!bounded(maxSubjects, 1, 500) || !bounded(maxConcurrentProbes, 1, 64))
+        invalid("invalid-policy");
+    return { resolve: (key) => bindings.get(key) ?? defaults, limits: { maxSubjects, maxConcurrentProbes } };
+};
+/** Failure delay, bounded even when a subject has failed for a long time.
+ * @category getters
+ * @since 1.0.0
+ */
+export const nextDelay = (policy, consecutiveFailures) => consecutiveFailures <= 0 ? policy.intervalMs : Math.max(policy.intervalMs, Math.min(policy.backoff.maxMs, policy.backoff.initialMs * policy.backoff.factor ** Math.min(consecutiveFailures - 1, 32)));
+const outcomes = Metric.counter("smithers.health.probes");
+const durations = Metric.histogram("smithers.health.probe_duration_ms", {
+    boundaries: [1, 10, 100, 1_000, 5_000, 60_000]
+});
+const decodeReport = Schema.decodeUnknownSync(ProbeReport);
+/** Evaluate one trusted checker with bounded timeout and safe failure values. Scope interruption propagates.
+ * The host must still compare current ownership/lifecycle before durably publishing the returned observation.
+ * @category constructors
+ * @since 1.0.0
+ */
+export const evaluate = (check, context, stamp) => Effect.gen(function* () {
+    const subjectId = context.subjectId;
+    const state = context.state;
+    const captured = { ...stamp };
+    const started = yield* Effect.clockWith((clock) => clock.currentTimeMillis);
+    const result = yield* Effect.suspend(() => check.checker.probe(context, check.config)).pipe(Effect.flatMap((candidate) => Effect.try({ try: () => decodeReport(candidate), catch: () => "invalid-report" })), Effect.map((report) => ({ outcome: "ok", report })), Effect.catchCause((cause) => Cause.hasInterruptsOnly(cause)
+        ? Effect.interrupt
+        : Effect.succeed({ outcome: "error", reason: "probe-error" })), Effect.timeoutOrElse({
+        duration: check.policy.timeoutMs,
+        orElse: () => Effect.succeed({ outcome: "timeout", reason: "probe-timeout" })
+    }), Effect.tap((outcome) => Effect.annotateCurrentSpan({
+        outcome: outcome.outcome,
+        activity: "report" in outcome ? outcome.report.activity : "unknown"
+    })), Effect.withSpan("smithers.health.probe", {
+        attributes: {
+            subjectKind: context.session === undefined ? "run" : "session",
+            subjectId,
+            checkerId: check.checker.id,
+            monitorId: captured.monitorId
+        }
+    }));
+    const observedAt = yield* Effect.clockWith((clock) => clock.currentTimeMillis);
+    const durationMs = Math.max(0, observedAt - started);
+    yield* Metric.update(outcomes.pipe(Metric.withAttributes({ outcome: result.outcome })), 1);
+    yield* Metric.update(durations, durationMs);
+    return {
+        subjectId,
+        state,
+        checkerId: check.checker.id,
+        ...captured,
+        observedAt,
+        expiresAt: observedAt + check.policy.ttlMs,
+        durationMs,
+        ...result
+    };
+});
+/** Select evidence for the current opaque owner incarnation, breaking equal evidence ties by durable sequence.
+ * @category projections
+ * @since 1.0.0
+ */
+export const latestObservation = (candidates, subjectId, incarnation) => {
+    let selected;
+    for (const candidate of candidates) {
+        const observation = candidate.observation;
+        if (observation.subjectId !== subjectId || observation.incarnation !== incarnation ||
+            observation.outcome === "discarded")
+            continue;
+        if (selected === undefined || observation.evidenceSeq > selected.observation.evidenceSeq ||
+            observation.evidenceSeq === selected.observation.evidenceSeq && candidate.sequence > selected.sequence)
+            selected = candidate;
+    }
+    return selected;
+};
+/** Pure precedence: lifecycle and approvals win, and stale probes never establish activity.
+ * @category projections
+ * @since 1.0.0
+ */
+export const rollup = (input) => {
+    const latest = input.latest;
+    const reading = latest?.observation;
+    const freshness = reading === undefined ?
+        "unobserved" :
+        reading.subjectId !== input.subjectId || reading.incarnation !== input.incarnation ||
+            reading.state !== input.state ||
+            reading.outcome !== "ok" || reading.report === undefined || input.now < reading.observedAt ||
+            input.now >= reading.expiresAt ||
+            (input.evidenceSeq !== undefined && reading.evidenceSeq < input.evidenceSeq) ?
+            "stale" :
+            "fresh";
+    const terminal = input.state === "completed" || input.state === "failed" || input.state === "cancelled" ||
+        input.state === "exited";
+    const approval = input.state === "waiting-approval" || input.state === "parked" && input.waitingReason === "approval";
+    // Released executions stay parked until an operator resumes the run (#3328).
+    const released = input.state === "parked" && input.waitingReason === "released";
+    const waiting = waitReason(input.state, input.waitingReason);
+    let activity = freshness === "fresh" && !terminal && !approval && !released
+        ? reading.report.activity
+        : "unknown";
+    let health = input.state === "failed" ? "failing" : input.state === "exited" ?
+        input.exitCode === 0 ? "healthy" : input.exitCode == null ? "unknown" : "failing" :
+        terminal ?
+            "healthy" :
+            approval || released ?
+                "awaiting-human" :
+                waiting !== undefined ?
+                    "healthy" :
+                    input.state === "parked" && input.waitingReason === undefined ?
+                        "awaiting-human" :
+                        freshness !== "fresh"
+                            ? "unknown"
+                            : input.baseHealth ?? "unknown";
+    const reason = approval
+        ? "awaiting-reply"
+        : released
+            ? "released"
+            : waiting ?? (freshness === "fresh" ? reading?.report?.reason : reading?.reason);
+    if (!terminal && !approval && !released && waiting === undefined && freshness === "fresh") {
+        if (reason === "unreachable" && health !== "awaiting-human")
+            health = "failing";
+        else if (reason === "no-progress" && health === "healthy")
+            health = "stalled";
+    }
+    if (waiting !== undefined)
+        activity = "unknown";
+    const attention = approval ? "awaiting-approval" : released ?
+        "needs-resume" :
+        activity === "needs-input" ?
+            "needs-input" :
+            ["stalled", "wedged-node", "runaway-loop", "failing"].includes(health)
+                ? "unhealthy"
+                : "none";
+    return {
+        subjectId: input.subjectId,
+        state: input.state,
+        activity,
+        health,
+        attention,
+        freshness,
+        ...(reason === undefined ? {} : { reason }),
+        ...(reading === undefined ? {} : {
+            provenance: {
+                checkerId: reading.checkerId,
+                monitorId: reading.monitorId,
+                observedAt: reading.observedAt,
+                expiresAt: reading.expiresAt,
+                evidenceSeq: reading.evidenceSeq,
+                incarnation: reading.incarnation,
+                version: latest.sequence
+            }
+        }),
+        updatedAt: Math.max(input.updatedAt, reading?.observedAt ?? 0)
+    };
+};
+//# sourceMappingURL=Health.js.map

package/dist/esm/Health.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Health.js","sourceRoot":"","sources":["../../src/Health.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AAE9D;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC1C,UAAU;IACV,SAAS;IACT,QAAQ;IACR,kBAAkB;IAClB,WAAW;IACX,QAAQ;IACR,WAAW;IACX,UAAU;IACV,QAAQ;CACT,CAAC,CAAA;AAMF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;IACzC,SAAS;IACT,SAAS;IACT,aAAa;IACb,cAAc;IACd,gBAAgB;IAChB,SAAS;IACT,SAAS;CACV,CAAC,CAAA;AAMF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAA;AAMtF;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,mBAAmB,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC,CAAA;AAMnH;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAA;AAM1E;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC;IACxC,IAAI;IACJ,aAAa;IACb,gBAAgB;IAChB,iBAAiB;IACjB,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,UAAU;IACV,aAAa;IACb,eAAe;IACf,aAAa;IACb,eAAe;CAChB,CAAC,CAAA;AAMF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;AAMrG,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,KAAK,EAAE,YAAY;IACnB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,WAAW,EAAE,OAAO;IACpB,UAAU,EAAE,OAAO;IACnB,SAAS,EAAE,OAAO;IAClB,UAAU,EAAE,OAAO;IACnB,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAChF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACpC,CAAC,CAAA;AAcF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,KAAK,EAAE,YAAY;IACnB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,WAAW;IACnB,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,SAAS;IACpB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;QACxC,SAAS,EAAE,MAAM,CAAC,MAAM;QACxB,SAAS,EAAE,MAAM,CAAC,MAAM;QACxB,UAAU,EAAE,OAAO;QACnB,SAAS,EAAE,OAAO;QAClB,WAAW,EAAE,OAAO;QACpB,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IACH,SAAS,EAAE,OAAO;CACnB,CAAC,CAAA;AAMF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,CAAA;AAChE;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAe,EAAU,EAAE,CACxD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;IAC/B,GAAG,CAAC,KAAK;IACT,GAAG,CAAC,SAAS;IACb,GAAG,CAAC,SAAS;IACb,GAAG,CAAC,OAAO,IAAI,IAAI;IACnB,GAAG,CAAC,QAAQ,IAAI,IAAI;IACpB,GAAG,CAAC,MAAM;IACV,GAAG,CAAC,aAAa,IAAI,IAAI;CAC1B,CAAC,CAAC,CAAA;AAgFL;;;GAGG;AACH,MAAM,OAAO,wBACX,SAAQ,MAAM,CAAC,WAAW,EAA4B,CAAC,0BAA0B,EAAE;IACjF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;CACjF,CAAC;CACF;AACF,KAAK,CAAC,QAAQ,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAA;AACjD;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAgB;IACxC,UAAU,EAAE,KAAK;IACjB,SAAS,EAAE,KAAK;IAChB,KAAK,EAAE,MAAM;IACb,YAAY,EAAE,OAAO;IACrB,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE;CACxD,CAAA;AACD;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAmB,EAAE,aAAsB,EAA0B,EAAE,CAChG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,KAAK,OAAO,CAAC,CAAC;IAC1D,YAAY;IACZ,CAAC,CAAC,aAAa,KAAK,OAAO;QAC3B,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,aAAa,KAAK,OAAO;YAC3B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS,CAAA;AACf;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkB;IAChD,EAAE,EAAE,eAAe;IACnB,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CACjB,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,IAAI,EAAE,CAAC;CACrH,CAAA;AACD;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAkB;IACpD,EAAE,EAAE,mBAAmB;IACvB,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;CACnE,CAAA;AACD,MAAM,YAAY,GAAG,CAAC,SAA0C,EAAqC,EAAE,CAAC;IACtG,qBAAqB,CAAC,EAAE,SAAS,EAAE,CAAC;CACrC,CAAA;AACD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAsC,YAAY,CAAC,SAAS,CAAC,CAAA;AAC5F,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,GAAW,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,CAAA;AACxH,MAAM,OAAO,GAAG,CAAC,MAA0C,EAAS,EAAE;IACpE,MAAM,IAAI,wBAAwB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAA;AAChD,CAAC,CAAA;AACD;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,SAAuB,EAAE,EACzB,OAA0B,KAAK,EAC/B,SAA+B,EACrB,EAAE;IACZ,MAAM,QAAQ,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,uBAAuB,CAAA;IAC/E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAmC;QACzD,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;QACvB,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAU,CAAC;KAC5E,CAAC,CAAA;IACF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,iBAAiB,CAAC,CAAA;QACnH,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,OAAuB,EAAiB,EAAE;QACzD,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAA;QAC9F,MAAM,MAAM,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAA;QAC5E,IAAI,MAAM,CAAC,OAAO,IAAI,IAAI,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;YAAE,OAAO,CAAC,gBAAgB,CAAC,CAAA;QAC3F,MAAM,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,CAAA;QAC5D,IACE,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC;YACnF,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC;YACpD,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;YAC5D,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,SAAS,CAAC;YACjD,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC;YACnE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,EAAE;YAClG,OAAO,CAAC,gBAAgB,CAAC,CAAA;QAC3B,IAAI,OAAO,GAAY,SAAS,CAAA;QAChC,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,EAAE,SAAS,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC;YAC/D,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACvC,IAAI,CAAC;oBACH,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;gBAC3E,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,CAAC,gBAAgB,CAAC,CAAA;gBAC3B,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,EAAE,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,gBAAgB,CAAC,CAAA;QACrE,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,KAAK,IAAI,EAAE,CAAA;IAC3F,CAAC,CAAA;IACD,MAAM,QAAQ,GAAG,OAAO,EAAE,CAAA;IAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5G,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,WAAW,IAAI,GAAG,CAAA;IACrD,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,IAAI,CAAC,CAAA;IACnE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,EAAE,EAAE,CAAC;QAAE,OAAO,CAAC,gBAAgB,CAAC,CAAA;IACpG,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,QAAQ,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,mBAAmB,EAAE,EAAE,CAAA;AAC1G,CAAC,CAAA;AACD;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAmB,EAAE,mBAA2B,EAAU,EAAE,CACpF,mBAAmB,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CACrD,MAAM,CAAC,UAAU,EACjB,IAAI,CAAC,GAAG,CACN,MAAM,CAAC,OAAO,CAAC,KAAK,EACpB,MAAM,CAAC,OAAO,CAAC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,CAAC,EAAE,EAAE,CAAC,CAC1F,CACF,CAAA;AAUH,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAA;AACzD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,mCAAmC,EAAE;IACtE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;CAC/C,CAAC,CAAA;AACF,MAAM,YAAY,GAAG,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAA;AAC1D;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,KAAoB,EACpB,OAAqB,EACrB,KAAuB,EACW,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAA;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IAC3B,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,CAAA;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;IAC3E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CACzF,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAChH,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAa,EAAE,MAAM,EAAE,CAAC,CAAC,EAC5D,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,SAAS;QAClB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAgB,EAAE,MAAM,EAAE,aAAsB,EAAE,CAAC,CAClF,EACD,MAAM,CAAC,aAAa,CAAC;QACnB,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;QAChC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAkB,EAAE,MAAM,EAAE,eAAwB,EAAE,CAAC;KAChG,CAAC,EACF,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrB,MAAM,CAAC,mBAAmB,CAAC;QACzB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;KACpE,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,uBAAuB,EAAE;QACvC,UAAU,EAAE;YACV,WAAW,EAAE,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YAC9D,SAAS;YACT,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;YAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;SAC9B;KACF,CAAC,CACH,CAAA;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,CAAA;IACpD,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1F,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;IAC3C,OAAO;QACL,SAAS;QACT,KAAK;QACL,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;QAC3B,GAAG,QAAQ;QACX,UAAU;QACV,SAAS,EAAE,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK;QAC1C,UAAU;QACV,GAAG,MAAM;KACV,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAA8C,EAC9C,SAAiB,EACjB,WAAmB,EACc,EAAE;IACnC,IAAI,QAAyC,CAAA;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAA;QACzC,IACE,WAAW,CAAC,SAAS,KAAK,SAAS,IAAI,WAAW,CAAC,WAAW,KAAK,WAAW;YAC9E,WAAW,CAAC,OAAO,KAAK,WAAW;YACnC,SAAQ;QACV,IACE,QAAQ,KAAK,SAAS,IAAI,WAAW,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW;YACpF,WAAW,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,CAAC,WAAW,IAAI,SAAS,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ;YACtG,QAAQ,GAAG,SAAS,CAAA;IACxB,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAiBD;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAkB,EAAgB,EAAE;IACzD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;IAC3B,MAAM,OAAO,GAAG,MAAM,EAAE,WAAW,CAAA;IACnC,MAAM,SAAS,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC;QACvC,YAAY,CAAC,CAAC;QACd,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;YAChF,OAAO,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;YAC7B,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,GAAG,OAAO,CAAC,UAAU;YAC1F,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,SAAS;YAC9B,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;YAChF,OAAO,CAAC,CAAC;YACT,OAAO,CAAA;IACT,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW;QACrG,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAA;IAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,KAAK,kBAAkB,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,KAAK,UAAU,CAAA;IACrH,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,KAAK,UAAU,CAAA;IAC/E,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,CAAA;IAC5D,IAAI,QAAQ,GAAyB,SAAS,KAAK,OAAO,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;QAC/F,CAAC,CAAC,OAAQ,CAAC,MAAO,CAAC,QAAQ;QAC3B,CAAC,CAAC,SAAS,CAAA;IACb,IAAI,MAAM,GAAgB,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;QACzF,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnF,QAAQ,CAAC,CAAC;YACV,SAAS,CAAC,CAAC;YACX,QAAQ,IAAI,QAAQ,CAAC,CAAC;gBACtB,gBAAgB,CAAC,CAAC;gBAClB,OAAO,KAAK,SAAS,CAAC,CAAC;oBACvB,SAAS,CAAC,CAAC;oBACX,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC;wBAC/D,gBAAgB,CAAC,CAAC;wBAClB,SAAS,KAAK,OAAO;4BACrB,CAAC,CAAC,SAAS;4BACX,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,SAAS,CAAA;IACjC,MAAM,MAAM,GAAG,QAAQ;QACrB,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAClF,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,IAAI,OAAO,KAAK,SAAS,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1F,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,gBAAgB;YAAE,MAAM,GAAG,SAAS,CAAA;aAC1E,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,GAAG,SAAS,CAAA;IAC/E,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QAAE,QAAQ,GAAG,SAAS,CAAA;IAC/C,MAAM,SAAS,GAA0B,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAClF,cAAc,CAAC,CAAC;QAChB,QAAQ,KAAK,aAAa,CAAC,CAAC;YAC5B,aAAa,CAAC,CAAC;YACf,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACtE,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,MAAM,CAAA;IACV,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ;QACR,MAAM;QACN,SAAS;QACT,SAAS;QACT,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,UAAU,EAAE;gBACV,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,OAAO,EAAE,MAAO,CAAC,QAAQ;aAC1B;SACF,CAAC;QACF,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,IAAI,CAAC,CAAC;KAC/D,CAAA;AACH,CAAC,CAAA","sourcesContent":["/** Observational health contracts shared by durable runs and native sessions.\n * @since 1.0.0\n */\n\nimport * as Sha256 from \"@smthrs/crypto/Sha256\"\nimport * as Fault from \"@smthrs/flow/Fault\"\nimport type * as Evaluator from \"@smthrs/model/Evaluator\"\nimport { Cause, Effect, Metric, Schema } from \"effect\"\nimport type { ControlEvent, RunSummary } from \"./ControlSchema.ts\"\nimport { makeJevSessionChecker } from \"./JevSessionChecker.ts\"\n\n/** Authoritative subject lifecycle.\n * @category schemas\n * @since 1.0.0\n */\nexport const SubjectState = Schema.Literals([\n  \"accepted\",\n  \"running\",\n  \"parked\",\n  \"waiting-approval\",\n  \"completed\",\n  \"failed\",\n  \"cancelled\",\n  \"spawning\",\n  \"exited\"\n])\n/** Authoritative subject lifecycle.\n * @category models\n * @since 1.0.0\n */\nexport type SubjectState = typeof SubjectState.Type\n/** Health vocabulary shared with Monitor.\n * @category schemas\n * @since 1.0.0\n */\nexport const HealthState = Schema.Literals([\n  \"healthy\",\n  \"stalled\",\n  \"wedged-node\",\n  \"runaway-loop\",\n  \"awaiting-human\",\n  \"failing\",\n  \"unknown\"\n])\n/** Derived subject health.\n * @category models\n * @since 1.0.0\n */\nexport type HealthState = typeof HealthState.Type\n/** Only explicit semantic checks establish activity.\n * @category schemas\n * @since 1.0.0\n */\nexport const Activity = Schema.Literals([\"working\", \"idle\", \"needs-input\", \"unknown\"])\n/** Semantic activity.\n * @category models\n * @since 1.0.0\n */\nexport type Activity = typeof Activity.Type\n/** Attention never confers permission to act. `needs-resume` is a run parked over\n * executions its owner released: nothing restarts them until `smthrs runs resume`.\n * @category schemas\n * @since 1.0.0\n */\nexport const Attention = Schema.Literals([\"none\", \"awaiting-approval\", \"needs-input\", \"needs-resume\", \"unhealthy\"])\n/** Human attention.\n * @category models\n * @since 1.0.0\n */\nexport type Attention = typeof Attention.Type\n/** Whether a successful reading still describes this subject.\n * @category schemas\n * @since 1.0.0\n */\nexport const Freshness = Schema.Literals([\"fresh\", \"stale\", \"unobserved\"])\n/** Reading freshness.\n * @category models\n * @since 1.0.0\n */\nexport type Freshness = typeof Freshness.Type\n/** Public reasons; arbitrary exception text and terminal bytes never cross this boundary.\n * @category schemas\n * @since 1.0.0\n */\nexport const ReasonCode = Schema.Literals([\n  \"ok\",\n  \"no-progress\",\n  \"awaiting-reply\",\n  \"prompt-detected\",\n  \"quota-wait\",\n  \"timer-wait\",\n  \"event-wait\",\n  \"released\",\n  \"unreachable\",\n  \"probe-timeout\",\n  \"probe-error\",\n  \"owner-changed\"\n])\n/** Public reason code.\n * @category models\n * @since 1.0.0\n */\nexport type ReasonCode = typeof ReasonCode.Type\n/** Validated checker output, containing no authority or ordering fields.\n * @category schemas\n * @since 1.0.0\n */\nexport const ProbeReport = Schema.Struct({ activity: Activity, reason: Schema.optional(ReasonCode) })\n/** Validated checker output.\n * @category models\n * @since 1.0.0\n */\nexport type ProbeReport = typeof ProbeReport.Type\nconst Counter = Schema.Int.pipe(Schema.check(Schema.isGreaterThanOrEqualTo(0)))\n\n/** A host-stamped observation; its journal sequence is supplied by the durable writer.\n * @category schemas\n * @since 1.0.0\n */\nexport const HealthObservation = Schema.Struct({\n  subjectId: Schema.String,\n  state: SubjectState,\n  checkerId: Schema.String,\n  monitorId: Schema.String,\n  incarnation: Schema.String,\n  evidenceSeq: Counter,\n  observedAt: Counter,\n  expiresAt: Counter,\n  durationMs: Counter,\n  baseHealth: Schema.optional(HealthState),\n  outcome: Schema.Literals([\"ok\", \"timeout\", \"error\", \"interrupted\", \"discarded\"]),\n  report: Schema.optional(ProbeReport),\n  reason: Schema.optional(ReasonCode)\n})\n/** A host-stamped observation.\n * @category models\n * @since 1.0.0\n */\nexport type HealthObservation = typeof HealthObservation.Type\n/** One observation with its authoritative publication order.\n * @category models\n * @since 1.0.0\n */\nexport interface RecordedObservation {\n  readonly observation: HealthObservation\n  readonly sequence: number\n}\n/** The additive wire contract rendered by every status surface.\n * @category schemas\n * @since 1.0.0\n */\nexport const StatusRollup = Schema.Struct({\n  subjectId: Schema.String,\n  state: SubjectState,\n  activity: Activity,\n  health: HealthState,\n  attention: Attention,\n  freshness: Freshness,\n  reason: Schema.optional(ReasonCode),\n  provenance: Schema.optional(Schema.Struct({\n    checkerId: Schema.String,\n    monitorId: Schema.String,\n    observedAt: Counter,\n    expiresAt: Counter,\n    evidenceSeq: Counter,\n    incarnation: Schema.String,\n    version: Counter\n  })),\n  updatedAt: Counter\n})\n/** The additive wire contract.\n * @category models\n * @since 1.0.0\n */\nexport type StatusRollup = typeof StatusRollup.Type\n/** Durable event type for observational health.\n * @category constants\n * @since 1.0.0\n */\nexport const statusObservedEventType = \"control.status.observed\"\n/** Opaque identity of the authoritative run ownership and lifecycle point being observed.\n * Equality is meaningful; lexical or numeric ordering is not.\n * @category getters\n * @since 1.0.0\n */\nexport const runIncarnation = (run: RunSummary): string =>\n  Sha256.digestSync(JSON.stringify([\n    run.runId,\n    run.createdAt,\n    run.updatedAt,\n    run.ownerId ?? null,\n    run.parkedBy ?? null,\n    run.status,\n    run.waitingReason ?? null\n  ]))\n\n/** Read-only evidence, deliberately excluding mutation ports and terminal text by default.\n * Checkers are trusted host TypeScript, not a sandbox: captured ambient authority remains their author's responsibility.\n * @category models\n * @since 1.0.0\n */\nexport interface ProbeContext {\n  readonly subjectId: string\n  readonly state: SubjectState\n  readonly events: ReadonlyArray<ControlEvent>\n  readonly summary?: RunSummary | undefined\n  readonly session?: {\n    readonly alive: boolean\n    readonly exitCode: number | null\n    readonly outputCursor: number\n    readonly outputTail?: string | undefined\n  } | undefined\n  readonly sinceCursor: number\n}\n/** Bounded polling, expiry and failure backoff.\n * @category models\n * @since 1.0.0\n */\nexport interface CheckPolicy {\n  readonly intervalMs: number\n  readonly timeoutMs: number\n  readonly ttlMs: number\n  /** Grace for silent work before the flow host considers missing progress unhealthy. */\n  readonly stallAfterMs: number\n  readonly backoff: { readonly initialMs: number; readonly maxMs: number; readonly factor: number }\n}\n/** Trusted host checker; supply service requirements around its Effect before registration.\n * @category models\n * @since 1.0.0\n */\nexport interface HealthChecker<C = unknown> {\n  readonly id: string\n  readonly configSchema?: Schema.Codec<C, unknown> | undefined\n  readonly defaults?: Partial<CheckPolicy> | undefined\n  readonly probe: (context: ProbeContext, config: C) => Effect.Effect<ProbeReport, unknown>\n}\n/** Data may select a registered checker but never executable code.\n * @category models\n * @since 1.0.0\n */\nexport interface HealthBinding {\n  readonly checkerId: string\n  readonly config?: unknown\n  readonly policy?: Partial<CheckPolicy> | undefined\n  readonly exposeOutput?: boolean | undefined\n}\n/** Trusted host health configuration.\n * @category models\n * @since 1.0.0\n */\nexport interface HealthConfig {\n  // A heterogeneous registry erases C only after each binding is decoded by its own schema.\n  readonly checkers?: ReadonlyArray<HealthChecker<any>> | undefined\n  readonly bindings?: Readonly<Record<string, HealthBinding>> | undefined\n  readonly limits?: { readonly maxSubjects?: number; readonly maxConcurrentProbes?: number } | undefined\n}\n/** Fully admitted checker binding.\n * @category models\n * @since 1.0.0\n */\nexport interface ResolvedCheck {\n  readonly checker: HealthChecker<any>\n  readonly config: unknown\n  readonly policy: CheckPolicy\n  readonly exposeOutput: boolean\n}\n/** Host registry, built once before admitting subjects.\n * @category models\n * @since 1.0.0\n */\nexport interface Registry {\n  readonly resolve: (key: string) => ResolvedCheck\n  readonly limits: { readonly maxSubjects: number; readonly maxConcurrentProbes: number }\n}\n/** Invalid trusted configuration fails startup instead of silently running another policy.\n * @category errors\n * @since 1.0.0\n */\nexport class HealthConfigurationError\n  extends Schema.TaggedError<HealthConfigurationError>()(\"HealthConfigurationError\", {\n    reason: Schema.Literals([\"invalid-policy\", \"invalid-checker\", \"invalid-config\"])\n  })\n{}\nFault.register(\"HealthConfigurationError\", \"bug\")\n/** Safe cadence used by unconfigured hosts.\n * @category constants\n * @since 1.0.0\n */\nexport const defaultPolicy: CheckPolicy = {\n  intervalMs: 5_000,\n  timeoutMs: 2_000,\n  ttlMs: 20_000,\n  stallAfterMs: 120_000,\n  backoff: { initialMs: 5_000, maxMs: 60_000, factor: 2 }\n}\n/** A known engine wait is a lifecycle fact, not missing progress.\n * @category getters\n * @since 1.0.0\n */\nexport const waitReason = (state: SubjectState, waitingReason?: string): ReasonCode | undefined =>\n  state !== \"parked\" ? undefined : waitingReason === \"quota\" ?\n    \"quota-wait\"\n    : waitingReason === \"timer\"\n    ? \"timer-wait\"\n    : waitingReason === \"event\"\n    ? \"event-wait\"\n    : undefined\n/** Flow default observes lifecycle without inventing semantic activity.\n * @category constants\n * @since 1.0.0\n */\nexport const lifecycleRunChecker: HealthChecker = {\n  id: \"lifecycle.run\",\n  probe: (context) =>\n    Effect.succeed({ activity: \"unknown\", reason: waitReason(context.state, context.summary?.waitingReason) ?? \"ok\" })\n}\n/** Session default never interprets silence or output movement as task activity.\n * @category constants\n * @since 1.0.0\n */\nexport const lifecycleSessionChecker: HealthChecker = {\n  id: \"lifecycle.session\",\n  probe: () => Effect.succeed({ activity: \"unknown\", reason: \"ok\" })\n}\nconst hostCheckers = (evaluator: Evaluator.Evaluator | undefined): ReadonlyArray<HealthChecker<any>> => [\n  makeJevSessionChecker({ evaluator })\n]\n/** Checkers every host may bind by id, beyond the lifecycle default it always has.\n *\n * Registration is not a binding. A host opts in by naming one of these as a\n * `HealthBinding.checkerId`; a host that names none keeps the lifecycle\n * default, and no entry here is ever consulted for an unbound subject.\n *\n * @category constants\n * @since 1.0.0\n */\nexport const registeredCheckers: ReadonlyArray<HealthChecker<any>> = hostCheckers(undefined)\nconst bounded = (value: number, min: number, max: number) => Number.isSafeInteger(value) && value >= min && value <= max\nconst invalid = (reason: HealthConfigurationError[\"reason\"]): never => {\n  throw new HealthConfigurationError({ reason })\n}\n/** Admit a host registry and all configured bindings. Unknown checker ids use the lifecycle default.\n * @category constructors\n * @since 1.0.0\n */\nexport const makeRegistry = (\n  config: HealthConfig = {},\n  kind: \"run\" | \"session\" = \"run\",\n  evaluator?: Evaluator.Evaluator\n): Registry => {\n  const fallback = kind === \"run\" ? lifecycleRunChecker : lifecycleSessionChecker\n  const checkers = new Map<string, ResolvedCheck[\"checker\"]>([\n    [fallback.id, fallback],\n    ...hostCheckers(evaluator).map((checker) => [checker.id, checker] as const)\n  ])\n  for (const checker of config.checkers ?? []) {\n    if (!/^[a-zA-Z0-9][a-zA-Z0-9._/-]{0,127}$/.test(checker.id) || checkers.has(checker.id)) invalid(\"invalid-checker\")\n    checkers.set(checker.id, checker)\n  }\n  const resolve = (binding?: HealthBinding): ResolvedCheck => {\n    const checker = binding === undefined ? fallback : checkers.get(binding.checkerId) ?? fallback\n    const merged = { ...defaultPolicy, ...checker.defaults, ...binding?.policy }\n    if (merged.backoff == null || typeof merged.backoff !== \"object\") invalid(\"invalid-policy\")\n    const policy = { ...merged, backoff: { ...merged.backoff } }\n    if (\n      !bounded(policy.intervalMs, 10, 3_600_000) || !bounded(policy.timeoutMs, 1, 60_000) ||\n      !bounded(policy.ttlMs, policy.timeoutMs, 86_400_000) ||\n      !bounded(policy.stallAfterMs, policy.intervalMs, 86_400_000) ||\n      !bounded(policy.backoff.initialMs, 10, 3_600_000) ||\n      !bounded(policy.backoff.maxMs, policy.backoff.initialMs, 3_600_000) ||\n      !Number.isFinite(policy.backoff.factor) || policy.backoff.factor < 1 || policy.backoff.factor > 10\n    ) invalid(\"invalid-policy\")\n    let decoded: unknown = undefined\n    if (checker !== fallback || binding?.checkerId === fallback.id) {\n      if (checker.configSchema !== undefined) {\n        try {\n          decoded = Schema.decodeUnknownSync(checker.configSchema)(binding?.config)\n        } catch {\n          invalid(\"invalid-config\")\n        }\n      } else if (binding?.config !== undefined) invalid(\"invalid-config\")\n    }\n    return { checker, config: decoded, policy, exposeOutput: binding?.exposeOutput === true }\n  }\n  const defaults = resolve()\n  const bindings = new Map(Object.entries(config.bindings ?? {}).map(([key, value]) => [key, resolve(value)]))\n  const maxSubjects = config.limits?.maxSubjects ?? 128\n  const maxConcurrentProbes = config.limits?.maxConcurrentProbes ?? 8\n  if (!bounded(maxSubjects, 1, 500) || !bounded(maxConcurrentProbes, 1, 64)) invalid(\"invalid-policy\")\n  return { resolve: (key) => bindings.get(key) ?? defaults, limits: { maxSubjects, maxConcurrentProbes } }\n}\n/** Failure delay, bounded even when a subject has failed for a long time.\n * @category getters\n * @since 1.0.0\n */\nexport const nextDelay = (policy: CheckPolicy, consecutiveFailures: number): number =>\n  consecutiveFailures <= 0 ? policy.intervalMs : Math.max(\n    policy.intervalMs,\n    Math.min(\n      policy.backoff.maxMs,\n      policy.backoff.initialMs * policy.backoff.factor ** Math.min(consecutiveFailures - 1, 32)\n    )\n  )\n/** Host-only ordering stamp captured before a probe.\n * @category models\n * @since 1.0.0\n */\nexport interface ObservationStamp {\n  readonly monitorId: string\n  readonly incarnation: string\n  readonly evidenceSeq: number\n}\nconst outcomes = Metric.counter(\"smithers.health.probes\")\nconst durations = Metric.histogram(\"smithers.health.probe_duration_ms\", {\n  boundaries: [1, 10, 100, 1_000, 5_000, 60_000]\n})\nconst decodeReport = Schema.decodeUnknownSync(ProbeReport)\n/** Evaluate one trusted checker with bounded timeout and safe failure values. Scope interruption propagates.\n * The host must still compare current ownership/lifecycle before durably publishing the returned observation.\n * @category constructors\n * @since 1.0.0\n */\nexport const evaluate = (\n  check: ResolvedCheck,\n  context: ProbeContext,\n  stamp: ObservationStamp\n): Effect.Effect<HealthObservation> =>\n  Effect.gen(function*() {\n    const subjectId = context.subjectId\n    const state = context.state\n    const captured = { ...stamp }\n    const started = yield* Effect.clockWith((clock) => clock.currentTimeMillis)\n    const result = yield* Effect.suspend(() => check.checker.probe(context, check.config)).pipe(\n      Effect.flatMap((candidate) => Effect.try({ try: () => decodeReport(candidate), catch: () => \"invalid-report\" })),\n      Effect.map((report) => ({ outcome: \"ok\" as const, report })),\n      Effect.catchCause((cause) =>\n        Cause.hasInterruptsOnly(cause)\n          ? Effect.interrupt\n          : Effect.succeed({ outcome: \"error\" as const, reason: \"probe-error\" as const })\n      ),\n      Effect.timeoutOrElse({\n        duration: check.policy.timeoutMs,\n        orElse: () => Effect.succeed({ outcome: \"timeout\" as const, reason: \"probe-timeout\" as const })\n      }),\n      Effect.tap((outcome) =>\n        Effect.annotateCurrentSpan({\n          outcome: outcome.outcome,\n          activity: \"report\" in outcome ? outcome.report.activity : \"unknown\"\n        })\n      ),\n      Effect.withSpan(\"smithers.health.probe\", {\n        attributes: {\n          subjectKind: context.session === undefined ? \"run\" : \"session\",\n          subjectId,\n          checkerId: check.checker.id,\n          monitorId: captured.monitorId\n        }\n      })\n    )\n    const observedAt = yield* Effect.clockWith((clock) => clock.currentTimeMillis)\n    const durationMs = Math.max(0, observedAt - started)\n    yield* Metric.update(outcomes.pipe(Metric.withAttributes({ outcome: result.outcome })), 1)\n    yield* Metric.update(durations, durationMs)\n    return {\n      subjectId,\n      state,\n      checkerId: check.checker.id,\n      ...captured,\n      observedAt,\n      expiresAt: observedAt + check.policy.ttlMs,\n      durationMs,\n      ...result\n    }\n  })\n\n/** Select evidence for the current opaque owner incarnation, breaking equal evidence ties by durable sequence.\n * @category projections\n * @since 1.0.0\n */\nexport const latestObservation = (\n  candidates: ReadonlyArray<RecordedObservation>,\n  subjectId: string,\n  incarnation: string\n): RecordedObservation | undefined => {\n  let selected: RecordedObservation | undefined\n  for (const candidate of candidates) {\n    const observation = candidate.observation\n    if (\n      observation.subjectId !== subjectId || observation.incarnation !== incarnation ||\n      observation.outcome === \"discarded\"\n    ) continue\n    if (\n      selected === undefined || observation.evidenceSeq > selected.observation.evidenceSeq ||\n      observation.evidenceSeq === selected.observation.evidenceSeq && candidate.sequence > selected.sequence\n    ) selected = candidate\n  }\n  return selected\n}\n/** Authoritative facts supplied independently of checker output.\n * @category models\n * @since 1.0.0\n */\nexport interface RollupInput {\n  readonly subjectId: string\n  readonly state: SubjectState\n  readonly incarnation: string\n  readonly waitingReason?: string | undefined\n  readonly exitCode?: number | null | undefined\n  readonly baseHealth?: HealthState | undefined\n  readonly latest?: RecordedObservation | undefined\n  readonly evidenceSeq?: number | undefined\n  readonly now: number\n  readonly updatedAt: number\n}\n/** Pure precedence: lifecycle and approvals win, and stale probes never establish activity.\n * @category projections\n * @since 1.0.0\n */\nexport const rollup = (input: RollupInput): StatusRollup => {\n  const latest = input.latest\n  const reading = latest?.observation\n  const freshness = reading === undefined ?\n    \"unobserved\" :\n    reading.subjectId !== input.subjectId || reading.incarnation !== input.incarnation ||\n      reading.state !== input.state ||\n      reading.outcome !== \"ok\" || reading.report === undefined || input.now < reading.observedAt ||\n      input.now >= reading.expiresAt ||\n      (input.evidenceSeq !== undefined && reading.evidenceSeq < input.evidenceSeq) ?\n    \"stale\" :\n    \"fresh\"\n  const terminal = input.state === \"completed\" || input.state === \"failed\" || input.state === \"cancelled\" ||\n    input.state === \"exited\"\n  const approval = input.state === \"waiting-approval\" || input.state === \"parked\" && input.waitingReason === \"approval\"\n  // Released executions stay parked until an operator resumes the run (#3328).\n  const released = input.state === \"parked\" && input.waitingReason === \"released\"\n  const waiting = waitReason(input.state, input.waitingReason)\n  let activity: typeof Activity.Type = freshness === \"fresh\" && !terminal && !approval && !released\n    ? reading!.report!.activity\n    : \"unknown\"\n  let health: HealthState = input.state === \"failed\" ? \"failing\" : input.state === \"exited\" ?\n    input.exitCode === 0 ? \"healthy\" : input.exitCode == null ? \"unknown\" : \"failing\" :\n    terminal ?\n    \"healthy\" :\n    approval || released ?\n    \"awaiting-human\" :\n    waiting !== undefined ?\n    \"healthy\" :\n    input.state === \"parked\" && input.waitingReason === undefined ?\n    \"awaiting-human\" :\n    freshness !== \"fresh\"\n    ? \"unknown\"\n    : input.baseHealth ?? \"unknown\"\n  const reason = approval\n    ? \"awaiting-reply\"\n    : released\n    ? \"released\"\n    : waiting ?? (freshness === \"fresh\" ? reading?.report?.reason : reading?.reason)\n  if (!terminal && !approval && !released && waiting === undefined && freshness === \"fresh\") {\n    if (reason === \"unreachable\" && health !== \"awaiting-human\") health = \"failing\"\n    else if (reason === \"no-progress\" && health === \"healthy\") health = \"stalled\"\n  }\n  if (waiting !== undefined) activity = \"unknown\"\n  const attention: typeof Attention.Type = approval ? \"awaiting-approval\" : released ?\n    \"needs-resume\" :\n    activity === \"needs-input\" ?\n    \"needs-input\" :\n    [\"stalled\", \"wedged-node\", \"runaway-loop\", \"failing\"].includes(health)\n    ? \"unhealthy\"\n    : \"none\"\n  return {\n    subjectId: input.subjectId,\n    state: input.state,\n    activity,\n    health,\n    attention,\n    freshness,\n    ...(reason === undefined ? {} : { reason }),\n    ...(reading === undefined ? {} : {\n      provenance: {\n        checkerId: reading.checkerId,\n        monitorId: reading.monitorId,\n        observedAt: reading.observedAt,\n        expiresAt: reading.expiresAt,\n        evidenceSeq: reading.evidenceSeq,\n        incarnation: reading.incarnation,\n        version: latest!.sequence\n      }\n    }),\n    updatedAt: Math.max(input.updatedAt, reading?.observedAt ?? 0)\n  }\n}\n"]}

package/dist/esm/JevSessionChecker.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Session activity judged by the host's existing evaluator.
+ * @since 1.0.0
+ */
+import type * as Evaluator from "@smthrs/model/Evaluator";
+import { Schema } from "effect";
+import type { HealthChecker } from "./Health.ts";
+declare const JevProbeError_base: Schema.Class<JevProbeError, Schema.TaggedStruct<"JevProbeError", {
+    readonly reason: Schema.Literals<readonly ["unconfigured", "http", "timeout", "unreachable", "malformed"]>;
+    readonly status: Schema.optional<Schema.Number>;
+}>, import("effect/Cause").YieldableError>;
+/** The configured judge could not produce a usable observation.
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class JevProbeError extends JevProbeError_base {
+}
+/** Maximum terminal evidence retained for one judgment.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const jevStateTailCharacters: number;
+/** Subscription judgments have a bounded deadline.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const jevRequestTimeoutMs = 45000;
+/** Probe budget, longer than the request deadline.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const jevProbeTimeoutMs = 50000;
+/** Minimum confidence for an activity report.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const jevConfidenceFloor = 0.7;
+/** The host evaluator and its bounded request deadline.
+ * @category models
+ * @since 1.0.0
+ */
+export interface JevSessionCheckerOptions {
+    readonly evaluator?: Evaluator.Evaluator | undefined;
+    readonly timeoutMs?: number | undefined;
+}
+/** Uses the same judge as flow completion, with no independent auth path.
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const makeJevSessionChecker: (options?: JevSessionCheckerOptions) => HealthChecker;
+/** Registered but unconfigured until a host supplies its evaluator.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const jevSessionChecker: HealthChecker;
+export {};
+//# sourceMappingURL=JevSessionChecker.d.ts.map

package/dist/esm/JevSessionChecker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JevSessionChecker.d.ts","sourceRoot":"","sources":["../../src/JevSessionChecker.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAA;AACzD,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,aAAa,EAAe,MAAM,aAAa,CAAA;;;;;AAE7D;;;GAGG;AACH,qBAAa,aAAc,SAAQ,kBAGjC;CAAG;AAYL;;;GAGG;AACH,eAAO,MAAM,sBAAsB,QAAW,CAAA;AAC9C;;;GAGG;AACH,eAAO,MAAM,mBAAmB,QAAS,CAAA;AACzC;;;GAGG;AACH,eAAO,MAAM,iBAAiB,QAAS,CAAA;AACvC;;;GAGG;AACH,eAAO,MAAM,kBAAkB,MAAM,CAAA;AACrC;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,GAAG,SAAS,CAAA;IACpD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACxC;AAoBD;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAAI,UAAS,wBAA6B,KAAG,aAyC7E,CAAA;AACF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,aAAuC,CAAA"}

package/dist/esm/JevSessionChecker.js

@@ -0,0 +1,108 @@
+/**
+ * Session activity judged by the host's existing evaluator.
+ * @since 1.0.0
+ */
+import * as Fault from "@smthrs/flow/Fault";
+import { Effect, Schema } from "effect";
+/** The configured judge could not produce a usable observation.
+ * @category errors
+ * @since 1.0.0
+ */
+export class JevProbeError extends Schema.TaggedError()("JevProbeError", {
+    reason: Schema.Literals(["unconfigured", "http", "timeout", "unreachable", "malformed"]),
+    status: Schema.optional(Schema.Number)
+}) {
+}
+Fault.register("JevProbeError", {
+    unconfigured: "policy",
+    http: "dependency",
+    timeout: "dependency",
+    unreachable: "dependency",
+    malformed: "dependency"
+}, "reason");
+/** Maximum terminal evidence retained for one judgment.
+ * @category constants
+ * @since 1.0.0
+ */
+export const jevStateTailCharacters = 4 * 1024;
+/** Subscription judgments have a bounded deadline.
+ * @category constants
+ * @since 1.0.0
+ */
+export const jevRequestTimeoutMs = 45_000;
+/** Probe budget, longer than the request deadline.
+ * @category constants
+ * @since 1.0.0
+ */
+export const jevProbeTimeoutMs = 50_000;
+/** Minimum confidence for an activity report.
+ * @category constants
+ * @since 1.0.0
+ */
+export const jevConfidenceFloor = 0.7;
+const lifecycleReport = { activity: "unknown", reason: "ok" };
+const activityCriteria = {
+    "working": "the agent is executing tools, editing files, or producing work",
+    "idle": "the agent finished and is producing nothing",
+    "needs-input": "the agent asked the person a question, requested approval or a credential, and is waiting"
+};
+const questions = {
+    activity: {
+        type: "choice",
+        instructions: "Read the tail of this agent session's output. What is the agent doing right now?",
+        criteria: activityCriteria
+    },
+    question: {
+        type: "boolean",
+        instructions: "Does the output end with the agent waiting for a person to answer?"
+    }
+};
+/** Uses the same judge as flow completion, with no independent auth path.
+ * @category constructors
+ * @since 1.0.0
+ */
+export const makeJevSessionChecker = (options = {}) => ({
+    id: "jev.session",
+    defaults: { timeoutMs: jevProbeTimeoutMs, ttlMs: 60_000 },
+    probe: (context) => Effect.gen(function* () {
+        const session = context.session;
+        const tail = session?.outputTail;
+        if (session === undefined || !session.alive || tail === undefined || tail === "")
+            return lifecycleReport;
+        if (options.evaluator === undefined)
+            return yield* Effect.fail(new JevProbeError({ reason: "unconfigured" }));
+        const result = yield* options.evaluator.evaluate({
+            state: { alive: session.alive, exitCode: session.exitCode, outputTail: tail.slice(-jevStateTailCharacters) },
+            questions
+        }).pipe(Effect.mapError((error) => new JevProbeError({
+            reason: error.code === "timeout"
+                ? "timeout"
+                : error.code === "refused"
+                    ? "http"
+                    : error.code === "unreachable"
+                        ? "unreachable"
+                        : "malformed",
+            ...(error.status === undefined ? {} : { status: error.status })
+        })), Effect.timeoutOrElse({
+            duration: options.timeoutMs ?? jevRequestTimeoutMs,
+            orElse: () => Effect.fail(new JevProbeError({ reason: "timeout" }))
+        }));
+        const answer = result.answers.activity;
+        if (answer?.type !== "choice" || !Object.hasOwn(activityCriteria, answer.choice)) {
+            return yield* Effect.fail(new JevProbeError({ reason: "malformed" }));
+        }
+        const confidence = result.confidence?.activity ?? answer.probabilities?.[answer.choice] ?? 0;
+        if (!Number.isFinite(confidence) || confidence < jevConfidenceFloor || confidence > 1)
+            return lifecycleReport;
+        const choice = answer.choice;
+        return choice === "needs-input"
+            ? { activity: choice, reason: "prompt-detected" }
+            : { activity: choice, reason: "ok" };
+    })
+});
+/** Registered but unconfigured until a host supplies its evaluator.
+ * @category constants
+ * @since 1.0.0
+ */
+export const jevSessionChecker = makeJevSessionChecker();
+//# sourceMappingURL=JevSessionChecker.js.map