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

package/dist/cjs/DispatchReader.d.ts

@@ -0,0 +1,112 @@
+/**
+ * Read port from the control plane into a trigger store.
+ *
+ * `Control.list` answers `{ _tag: "triggers" }` and `{ _tag: "fires" }` through
+ * this port. The port lives here rather than in `@smthrs/triggers` because that
+ * package already depends on this one (its scheduler launches runs through
+ * `Control`), so the adapter over a real `TriggerStore` is composed by the host
+ * and the plane only ever sees the interface.
+ *
+ * A composition that provides no reader, or provides {@link layerNone}, makes
+ * `Control.list` refuse the two variants with a typed `InvalidInput` naming the
+ * gap. It never answers an empty page: an empty page means "this host has no
+ * triggers", and a host that cannot read its store has no grounds to say so.
+ *
+ * @since 1.0.0
+ */
+import { Context, Effect, Layer } from "effect";
+import type { ControlError } from "./ControlError.ts";
+import { InvalidInput } from "./ControlError.ts";
+import type { FireSummary, ListRequest, TriggerSummary } from "./ControlSchema.ts";
+/**
+ * The `triggers` listing request as the port receives it.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type TriggersRequest = Extract<ListRequest, {
+    readonly _tag: "triggers";
+}>;
+/**
+ * The `fires` listing request as the port receives it.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type FiresRequest = Extract<ListRequest, {
+    readonly _tag: "fires";
+}>;
+/**
+ * The reader `Control.list` pages trigger and fire rows from.
+ *
+ * Each method receives the whole request and answers every row it has for it,
+ * newest fire first. A reader may narrow by the request's `filters` (a SQL
+ * adapter pushes them into the query); `Control.list` applies the same filters
+ * again and pages the rows with `cursor` and `limit`, so a reader that returns
+ * every row is still correct. Paging stays in the plane so both variants page
+ * exactly as `flows` and `runs` do.
+ *
+ * @category services
+ * @since 1.0.0
+ */
+export interface Service {
+    readonly list: (request: TriggersRequest) => Effect.Effect<ReadonlyArray<TriggerSummary>, ControlError>;
+    readonly fires: (request: FiresRequest) => Effect.Effect<ReadonlyArray<FireSummary>, ControlError>;
+}
+declare const DispatchReader_base: Context.ServiceClass<DispatchReader, "/control/DispatchReader", Service>;
+/**
+ * The {@link Service} tag.
+ *
+ * @category services
+ * @since 1.0.0
+ */
+export declare class DispatchReader extends DispatchReader_base {
+}
+/**
+ * The refusal a host without a trigger store answers both variants with.
+ *
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const noStoreIssue = "this host serves no trigger store";
+/**
+ * The typed refusal for a host without a trigger store: `InvalidInput` with
+ * code `invalid_input` and {@link noStoreIssue} as the issue, the same shape
+ * `Control.list` refuses an unsupported run filter with.
+ *
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const refuse: () => InvalidInput;
+/**
+ * Builds a {@link Service} from an implementation of its methods.
+ *
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const make: (implementation: Service) => Service;
+/**
+ * A {@link Service} that serves no trigger store: both methods fail with
+ * {@link refuse}.
+ *
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const makeNone: () => Service;
+/**
+ * Provides {@link DispatchReader} from an implementation.
+ *
+ * @category layers
+ * @since 1.0.0
+ */
+export declare const layer: (implementation: Service) => Layer.Layer<DispatchReader>;
+/**
+ * Provides {@link makeNone}: a reader that refuses both listings because this
+ * host serves no trigger store.
+ *
+ * @category layers
+ * @since 1.0.0
+ */
+export declare const layerNone: Layer.Layer<DispatchReader>;
+export {};
+//# sourceMappingURL=DispatchReader.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DispatchReader.d.ts","sourceRoot":"","sources":["../../src/DispatchReader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAElF;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,CAAA;AAEjF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAA;AAE3E;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,YAAY,CAAC,CAAA;IACvG,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,CAAA;CACnG;;AAED;;;;;GAKG;AACH,qBAAa,cAAe,SAAQ,mBAEnC;CAAG;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,YAAY,sCAAsC,CAAA;AAE/D;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,QAAO,YAAyD,CAAA;AAEnF;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,gBAAgB,OAAO,KAAG,OAA4C,CAAA;AAE3F;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,QAAO,OAIxB,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,gBAAgB,OAAO,KAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CACrB,CAAA;AAErD;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc,CAA6C,CAAA"}

package/dist/cjs/DispatchReader.js

@@ -0,0 +1,45 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var DispatchReader_exports = {};
+__export(DispatchReader_exports, {
+  DispatchReader: () => DispatchReader,
+  layer: () => layer,
+  layerNone: () => layerNone,
+  make: () => make,
+  makeNone: () => makeNone,
+  noStoreIssue: () => noStoreIssue,
+  refuse: () => refuse
+});
+module.exports = __toCommonJS(DispatchReader_exports);
+var import_effect = require("effect");
+var import_ControlError = require("./ControlError.js");
+class DispatchReader extends import_effect.Context.Service()(
+  "/control/DispatchReader"
+) {
+}
+const noStoreIssue = "this host serves no trigger store";
+const refuse = () => new import_ControlError.InvalidInput({ issue: noStoreIssue });
+const make = (implementation) => DispatchReader.of(implementation);
+const makeNone = () => make({
+  list: import_effect.Effect.fn("DispatchReader.list")(() => import_effect.Effect.fail(refuse())),
+  fires: import_effect.Effect.fn("DispatchReader.fires")(() => import_effect.Effect.fail(refuse()))
+});
+const layer = (implementation) => import_effect.Layer.succeed(DispatchReader)(make(implementation));
+const layerNone = import_effect.Layer.succeed(DispatchReader)(makeNone());
+//# sourceMappingURL=DispatchReader.js.map

package/dist/cjs/DispatchReader.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../src/DispatchReader.ts"],
+  "sourcesContent": ["/**\n * Read port from the control plane into a trigger store.\n *\n * `Control.list` answers `{ _tag: \"triggers\" }` and `{ _tag: \"fires\" }` through\n * this port. The port lives here rather than in `@smthrs/triggers` because that\n * package already depends on this one (its scheduler launches runs through\n * `Control`), so the adapter over a real `TriggerStore` is composed by the host\n * and the plane only ever sees the interface.\n *\n * A composition that provides no reader, or provides {@link layerNone}, makes\n * `Control.list` refuse the two variants with a typed `InvalidInput` naming the\n * gap. It never answers an empty page: an empty page means \"this host has no\n * triggers\", and a host that cannot read its store has no grounds to say so.\n *\n * @since 1.0.0\n */\n\nimport { Context, Effect, Layer } from \"effect\"\nimport type { ControlError } from \"./ControlError.ts\"\nimport { InvalidInput } from \"./ControlError.ts\"\nimport type { FireSummary, ListRequest, TriggerSummary } from \"./ControlSchema.ts\"\n\n/**\n * The `triggers` listing request as the port receives it.\n *\n * @category models\n * @since 1.0.0\n */\nexport type TriggersRequest = Extract<ListRequest, { readonly _tag: \"triggers\" }>\n\n/**\n * The `fires` listing request as the port receives it.\n *\n * @category models\n * @since 1.0.0\n */\nexport type FiresRequest = Extract<ListRequest, { readonly _tag: \"fires\" }>\n\n/**\n * The reader `Control.list` pages trigger and fire rows from.\n *\n * Each method receives the whole request and answers every row it has for it,\n * newest fire first. A reader may narrow by the request's `filters` (a SQL\n * adapter pushes them into the query); `Control.list` applies the same filters\n * again and pages the rows with `cursor` and `limit`, so a reader that returns\n * every row is still correct. Paging stays in the plane so both variants page\n * exactly as `flows` and `runs` do.\n *\n * @category services\n * @since 1.0.0\n */\nexport interface Service {\n  readonly list: (request: TriggersRequest) => Effect.Effect<ReadonlyArray<TriggerSummary>, ControlError>\n  readonly fires: (request: FiresRequest) => Effect.Effect<ReadonlyArray<FireSummary>, ControlError>\n}\n\n/**\n * The {@link Service} tag.\n *\n * @category services\n * @since 1.0.0\n */\nexport class DispatchReader extends Context.Service<DispatchReader, Service>()(\n  \"/control/DispatchReader\"\n) {}\n\n/**\n * The refusal a host without a trigger store answers both variants with.\n *\n * @category constants\n * @since 1.0.0\n */\nexport const noStoreIssue = \"this host serves no trigger store\"\n\n/**\n * The typed refusal for a host without a trigger store: `InvalidInput` with\n * code `invalid_input` and {@link noStoreIssue} as the issue, the same shape\n * `Control.list` refuses an unsupported run filter with.\n *\n * @category constructors\n * @since 1.0.0\n */\nexport const refuse = (): InvalidInput => new InvalidInput({ issue: noStoreIssue })\n\n/**\n * Builds a {@link Service} from an implementation of its methods.\n *\n * @category constructors\n * @since 1.0.0\n */\nexport const make = (implementation: Service): Service => DispatchReader.of(implementation)\n\n/**\n * A {@link Service} that serves no trigger store: both methods fail with\n * {@link refuse}.\n *\n * @category constructors\n * @since 1.0.0\n */\nexport const makeNone = (): Service =>\n  make({\n    list: Effect.fn(\"DispatchReader.list\")(() => Effect.fail(refuse())),\n    fires: Effect.fn(\"DispatchReader.fires\")(() => Effect.fail(refuse()))\n  })\n\n/**\n * Provides {@link DispatchReader} from an implementation.\n *\n * @category layers\n * @since 1.0.0\n */\nexport const layer = (implementation: Service): Layer.Layer<DispatchReader> =>\n  Layer.succeed(DispatchReader)(make(implementation))\n\n/**\n * Provides {@link makeNone}: a reader that refuses both listings because this\n * host serves no trigger store.\n *\n * @category layers\n * @since 1.0.0\n */\nexport const layerNone: Layer.Layer<DispatchReader> = Layer.succeed(DispatchReader)(makeNone())\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAiBA,oBAAuC;AAEvC,0BAA6B;AA2CtB,MAAM,uBAAuB,sBAAQ,QAAiC;AAAA,EAC3E;AACF,EAAE;AAAC;AAQI,MAAM,eAAe;AAUrB,MAAM,SAAS,MAAoB,IAAI,iCAAa,EAAE,OAAO,aAAa,CAAC;AAQ3E,MAAM,OAAO,CAAC,mBAAqC,eAAe,GAAG,cAAc;AASnF,MAAM,WAAW,MACtB,KAAK;AAAA,EACH,MAAM,qBAAO,GAAG,qBAAqB,EAAE,MAAM,qBAAO,KAAK,OAAO,CAAC,CAAC;AAAA,EAClE,OAAO,qBAAO,GAAG,sBAAsB,EAAE,MAAM,qBAAO,KAAK,OAAO,CAAC,CAAC;AACtE,CAAC;AAQI,MAAM,QAAQ,CAAC,mBACpB,oBAAM,QAAQ,cAAc,EAAE,KAAK,cAAc,CAAC;AAS7C,MAAM,YAAyC,oBAAM,QAAQ,cAAc,EAAE,SAAS,CAAC;",
+  "names": []
+}

package/dist/cjs/Health.d.ts

@@ -0,0 +1,333 @@
+/** Observational health contracts shared by durable runs and native sessions.
+ * @since 1.0.0
+ */
+import type * as Evaluator from "@smthrs/model/Evaluator";
+import { Cause, Effect, Schema } from "effect";
+import type { ControlEvent, RunSummary } from "./ControlSchema.ts";
+/** Authoritative subject lifecycle.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const SubjectState: Schema.Literals<readonly ["accepted", "running", "parked", "waiting-approval", "completed", "failed", "cancelled", "spawning", "exited"]>;
+/** Authoritative subject lifecycle.
+ * @category models
+ * @since 1.0.0
+ */
+export type SubjectState = typeof SubjectState.Type;
+/** Health vocabulary shared with Monitor.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const HealthState: Schema.Literals<readonly ["healthy", "stalled", "wedged-node", "runaway-loop", "awaiting-human", "failing", "unknown"]>;
+/** Derived subject health.
+ * @category models
+ * @since 1.0.0
+ */
+export type HealthState = typeof HealthState.Type;
+/** Only explicit semantic checks establish activity.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Activity: Schema.Literals<readonly ["working", "idle", "needs-input", "unknown"]>;
+/** Semantic activity.
+ * @category models
+ * @since 1.0.0
+ */
+export type Activity = typeof Activity.Type;
+/** 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 declare const Attention: Schema.Literals<readonly ["none", "awaiting-approval", "needs-input", "needs-resume", "unhealthy"]>;
+/** Human attention.
+ * @category models
+ * @since 1.0.0
+ */
+export type Attention = typeof Attention.Type;
+/** Whether a successful reading still describes this subject.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const Freshness: Schema.Literals<readonly ["fresh", "stale", "unobserved"]>;
+/** Reading freshness.
+ * @category models
+ * @since 1.0.0
+ */
+export type Freshness = typeof Freshness.Type;
+/** Public reasons; arbitrary exception text and terminal bytes never cross this boundary.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const ReasonCode: Schema.Literals<readonly ["ok", "no-progress", "awaiting-reply", "prompt-detected", "quota-wait", "timer-wait", "event-wait", "released", "unreachable", "probe-timeout", "probe-error", "owner-changed"]>;
+/** Public reason code.
+ * @category models
+ * @since 1.0.0
+ */
+export type ReasonCode = typeof ReasonCode.Type;
+/** Validated checker output, containing no authority or ordering fields.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const ProbeReport: Schema.Struct<{
+    readonly activity: Schema.Literals<readonly ["working", "idle", "needs-input", "unknown"]>;
+    readonly reason: Schema.optional<Schema.Literals<readonly ["ok", "no-progress", "awaiting-reply", "prompt-detected", "quota-wait", "timer-wait", "event-wait", "released", "unreachable", "probe-timeout", "probe-error", "owner-changed"]>>;
+}>;
+/** Validated checker output.
+ * @category models
+ * @since 1.0.0
+ */
+export type ProbeReport = typeof ProbeReport.Type;
+/** A host-stamped observation; its journal sequence is supplied by the durable writer.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const HealthObservation: Schema.Struct<{
+    readonly subjectId: Schema.String;
+    readonly state: Schema.Literals<readonly ["accepted", "running", "parked", "waiting-approval", "completed", "failed", "cancelled", "spawning", "exited"]>;
+    readonly checkerId: Schema.String;
+    readonly monitorId: Schema.String;
+    readonly incarnation: Schema.String;
+    readonly evidenceSeq: Schema.Int;
+    readonly observedAt: Schema.Int;
+    readonly expiresAt: Schema.Int;
+    readonly durationMs: Schema.Int;
+    readonly baseHealth: Schema.optional<Schema.Literals<readonly ["healthy", "stalled", "wedged-node", "runaway-loop", "awaiting-human", "failing", "unknown"]>>;
+    readonly outcome: Schema.Literals<readonly ["ok", "timeout", "error", "interrupted", "discarded"]>;
+    readonly report: Schema.optional<Schema.Struct<{
+        readonly activity: Schema.Literals<readonly ["working", "idle", "needs-input", "unknown"]>;
+        readonly reason: Schema.optional<Schema.Literals<readonly ["ok", "no-progress", "awaiting-reply", "prompt-detected", "quota-wait", "timer-wait", "event-wait", "released", "unreachable", "probe-timeout", "probe-error", "owner-changed"]>>;
+    }>>;
+    readonly reason: Schema.optional<Schema.Literals<readonly ["ok", "no-progress", "awaiting-reply", "prompt-detected", "quota-wait", "timer-wait", "event-wait", "released", "unreachable", "probe-timeout", "probe-error", "owner-changed"]>>;
+}>;
+/** A host-stamped observation.
+ * @category models
+ * @since 1.0.0
+ */
+export type HealthObservation = typeof HealthObservation.Type;
+/** One observation with its authoritative publication order.
+ * @category models
+ * @since 1.0.0
+ */
+export interface RecordedObservation {
+    readonly observation: HealthObservation;
+    readonly sequence: number;
+}
+/** The additive wire contract rendered by every status surface.
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const StatusRollup: Schema.Struct<{
+    readonly subjectId: Schema.String;
+    readonly state: Schema.Literals<readonly ["accepted", "running", "parked", "waiting-approval", "completed", "failed", "cancelled", "spawning", "exited"]>;
+    readonly activity: Schema.Literals<readonly ["working", "idle", "needs-input", "unknown"]>;
+    readonly health: Schema.Literals<readonly ["healthy", "stalled", "wedged-node", "runaway-loop", "awaiting-human", "failing", "unknown"]>;
+    readonly attention: Schema.Literals<readonly ["none", "awaiting-approval", "needs-input", "needs-resume", "unhealthy"]>;
+    readonly freshness: Schema.Literals<readonly ["fresh", "stale", "unobserved"]>;
+    readonly reason: Schema.optional<Schema.Literals<readonly ["ok", "no-progress", "awaiting-reply", "prompt-detected", "quota-wait", "timer-wait", "event-wait", "released", "unreachable", "probe-timeout", "probe-error", "owner-changed"]>>;
+    readonly provenance: Schema.optional<Schema.Struct<{
+        readonly checkerId: Schema.String;
+        readonly monitorId: Schema.String;
+        readonly observedAt: Schema.Int;
+        readonly expiresAt: Schema.Int;
+        readonly evidenceSeq: Schema.Int;
+        readonly incarnation: Schema.String;
+        readonly version: Schema.Int;
+    }>>;
+    readonly updatedAt: Schema.Int;
+}>;
+/** The additive wire contract.
+ * @category models
+ * @since 1.0.0
+ */
+export type StatusRollup = typeof StatusRollup.Type;
+/** Durable event type for observational health.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare 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 declare const runIncarnation: (run: RunSummary) => string;
+/** Read-only evidence, deliberately excluding mutation ports and terminal text by default.
+ * Checkers are trusted host TypeScript, not a sandbox: captured ambient authority remains their author's responsibility.
+ * @category models
+ * @since 1.0.0
+ */
+export interface ProbeContext {
+    readonly subjectId: string;
+    readonly state: SubjectState;
+    readonly events: ReadonlyArray<ControlEvent>;
+    readonly summary?: RunSummary | undefined;
+    readonly session?: {
+        readonly alive: boolean;
+        readonly exitCode: number | null;
+        readonly outputCursor: number;
+        readonly outputTail?: string | undefined;
+    } | undefined;
+    readonly sinceCursor: number;
+}
+/** Bounded polling, expiry and failure backoff.
+ * @category models
+ * @since 1.0.0
+ */
+export interface CheckPolicy {
+    readonly intervalMs: number;
+    readonly timeoutMs: number;
+    readonly ttlMs: number;
+    /** Grace for silent work before the flow host considers missing progress unhealthy. */
+    readonly stallAfterMs: number;
+    readonly backoff: {
+        readonly initialMs: number;
+        readonly maxMs: number;
+        readonly factor: number;
+    };
+}
+/** Trusted host checker; supply service requirements around its Effect before registration.
+ * @category models
+ * @since 1.0.0
+ */
+export interface HealthChecker<C = unknown> {
+    readonly id: string;
+    readonly configSchema?: Schema.Codec<C, unknown> | undefined;
+    readonly defaults?: Partial<CheckPolicy> | undefined;
+    readonly probe: (context: ProbeContext, config: C) => Effect.Effect<ProbeReport, unknown>;
+}
+/** Data may select a registered checker but never executable code.
+ * @category models
+ * @since 1.0.0
+ */
+export interface HealthBinding {
+    readonly checkerId: string;
+    readonly config?: unknown;
+    readonly policy?: Partial<CheckPolicy> | undefined;
+    readonly exposeOutput?: boolean | undefined;
+}
+/** Trusted host health configuration.
+ * @category models
+ * @since 1.0.0
+ */
+export interface HealthConfig {
+    readonly checkers?: ReadonlyArray<HealthChecker<any>> | undefined;
+    readonly bindings?: Readonly<Record<string, HealthBinding>> | undefined;
+    readonly limits?: {
+        readonly maxSubjects?: number;
+        readonly maxConcurrentProbes?: number;
+    } | undefined;
+}
+/** Fully admitted checker binding.
+ * @category models
+ * @since 1.0.0
+ */
+export interface ResolvedCheck {
+    readonly checker: HealthChecker<any>;
+    readonly config: unknown;
+    readonly policy: CheckPolicy;
+    readonly exposeOutput: boolean;
+}
+/** Host registry, built once before admitting subjects.
+ * @category models
+ * @since 1.0.0
+ */
+export interface Registry {
+    readonly resolve: (key: string) => ResolvedCheck;
+    readonly limits: {
+        readonly maxSubjects: number;
+        readonly maxConcurrentProbes: number;
+    };
+}
+declare const HealthConfigurationError_base: Schema.Class<HealthConfigurationError, Schema.TaggedStruct<"HealthConfigurationError", {
+    readonly reason: Schema.Literals<readonly ["invalid-policy", "invalid-checker", "invalid-config"]>;
+}>, Cause.YieldableError>;
+/** Invalid trusted configuration fails startup instead of silently running another policy.
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class HealthConfigurationError extends HealthConfigurationError_base {
+}
+/** Safe cadence used by unconfigured hosts.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const defaultPolicy: CheckPolicy;
+/** A known engine wait is a lifecycle fact, not missing progress.
+ * @category getters
+ * @since 1.0.0
+ */
+export declare const waitReason: (state: SubjectState, waitingReason?: string) => ReasonCode | undefined;
+/** Flow default observes lifecycle without inventing semantic activity.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const lifecycleRunChecker: HealthChecker;
+/** Session default never interprets silence or output movement as task activity.
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const lifecycleSessionChecker: HealthChecker;
+/** 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 declare const registeredCheckers: ReadonlyArray<HealthChecker<any>>;
+/** Admit a host registry and all configured bindings. Unknown checker ids use the lifecycle default.
+ * @category constructors
+ * @since 1.0.0
+ */
+export declare const makeRegistry: (config?: HealthConfig, kind?: "run" | "session", evaluator?: Evaluator.Evaluator) => Registry;
+/** Failure delay, bounded even when a subject has failed for a long time.
+ * @category getters
+ * @since 1.0.0
+ */
+export declare const nextDelay: (policy: CheckPolicy, consecutiveFailures: number) => number;
+/** Host-only ordering stamp captured before a probe.
+ * @category models
+ * @since 1.0.0
+ */
+export interface ObservationStamp {
+    readonly monitorId: string;
+    readonly incarnation: string;
+    readonly evidenceSeq: number;
+}
+/** 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 declare const evaluate: (check: ResolvedCheck, context: ProbeContext, stamp: ObservationStamp) => Effect.Effect<HealthObservation>;
+/** Select evidence for the current opaque owner incarnation, breaking equal evidence ties by durable sequence.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const latestObservation: (candidates: ReadonlyArray<RecordedObservation>, subjectId: string, incarnation: string) => RecordedObservation | undefined;
+/** Authoritative facts supplied independently of checker output.
+ * @category models
+ * @since 1.0.0
+ */
+export interface RollupInput {
+    readonly subjectId: string;
+    readonly state: SubjectState;
+    readonly incarnation: string;
+    readonly waitingReason?: string | undefined;
+    readonly exitCode?: number | null | undefined;
+    readonly baseHealth?: HealthState | undefined;
+    readonly latest?: RecordedObservation | undefined;
+    readonly evidenceSeq?: number | undefined;
+    readonly now: number;
+    readonly updatedAt: number;
+}
+/** Pure precedence: lifecycle and approvals win, and stale probes never establish activity.
+ * @category projections
+ * @since 1.0.0
+ */
+export declare const rollup: (input: RollupInput) => StatusRollup;
+export {};
+//# sourceMappingURL=Health.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Health.d.ts","sourceRoot":"","sources":["../../src/Health.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAA;AACzD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAGlE;;;GAGG;AACH,eAAO,MAAM,YAAY,2IAUvB,CAAA;AACF;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD;;;GAGG;AACH,eAAO,MAAM,WAAW,yHAQtB,CAAA;AACF;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AACjD;;;GAGG;AACH,eAAO,MAAM,QAAQ,yEAAiE,CAAA;AACtF;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAC3C;;;;GAIG;AACH,eAAO,MAAM,SAAS,qGAA6F,CAAA;AACnH;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAC7C;;;GAGG;AACH,eAAO,MAAM,SAAS,4DAAoD,CAAA;AAC1E;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAC7C;;;GAGG;AACH,eAAO,MAAM,UAAU,4MAarB,CAAA;AACF;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAC/C;;;GAGG;AACH,eAAO,MAAM,WAAW;;;EAA6E,CAAA;AACrG;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAGjD;;;GAGG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;EAc5B,CAAA;AACF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAC7D;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AACD;;;GAGG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;EAkBvB,CAAA;AACF;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,4BAA4B,CAAA;AAChE;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,UAAU,KAAG,MAS5C,CAAA;AAEL;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;QACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;QAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;QAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KACzC,GAAG,SAAS,CAAA;IACb,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AACD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,uFAAuF;IACvF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAClG;AACD;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,OAAO;IACxC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;IAC5D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,SAAS,CAAA;IACpD,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;CAC1F;AACD;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,SAAS,CAAA;IAClD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC5C;AACD;;;GAGG;AACH,MAAM,WAAW,YAAY;IAE3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAA;IACjE,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,GAAG,SAAS,CAAA;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAA;CACvG;AACD;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAC/B;AACD;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,aAAa,CAAA;IAChD,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;KAAE,CAAA;CACxF;;;;AACD;;;GAGG;AACH,qBAAa,wBACX,SAAQ,6BAEN;CACF;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,WAM3B,CAAA;AACD;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,YAAY,EAAE,gBAAgB,MAAM,KAAG,UAAU,GAAG,SAOvE,CAAA;AACf;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,aAIjC,CAAA;AACD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,aAGrC,CAAA;AAID;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,EAAE,aAAa,CAAC,aAAa,CAAC,GAAG,CAAC,CAA2B,CAAA;AAK5F;;;GAGG;AACH,eAAO,MAAM,YAAY,GACvB,SAAQ,YAAiB,EACzB,OAAM,KAAK,GAAG,SAAiB,EAC/B,YAAY,SAAS,CAAC,SAAS,KAC9B,QAyCF,CAAA;AACD;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,QAAQ,WAAW,EAAE,qBAAqB,MAAM,KAAG,MAO1E,CAAA;AACH;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAC7B;AAMD;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GACnB,OAAO,aAAa,EACpB,SAAS,YAAY,EACrB,OAAO,gBAAgB,KACtB,MAAM,CAAC,MAAM,CAAC,iBAAiB,CA+C9B,CAAA;AAEJ;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,aAAa,CAAC,mBAAmB,CAAC,EAC9C,WAAW,MAAM,EACjB,aAAa,MAAM,KAClB,mBAAmB,GAAG,SAcxB,CAAA;AACD;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AACD;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,WAAW,KAAG,YAwE3C,CAAA"}