@smthrs/engine-store 0.0.0-stage → 1.0.0-rc.4

package/dist/esm/SelectionStore.d.ts

@@ -0,0 +1,141 @@
+/**
+ * Durable suspected-edge storage for probabilistic selection.
+ *
+ * The store persists advisory beliefs only: training moves edge confidence and
+ * appends evidence, but it never writes scheduler journal records, step keys,
+ * or cache rows (law 5). The edge and snapshot schemas are `Selection`'s own —
+ * one source of truth, so a stored edge is by construction what
+ * `Selection.select` consumes. Evidence entries stay strings: training appends
+ * the observation JSON-encoded, so audits can replay the asymmetric rule
+ * without the schema forking from `Selection.SuspectedEdge`.
+ *
+ * Model-backed selection, CLI verbs, approval routing, auto-appending
+ * proposals, and scheduled recertification cadence are deliberately out of
+ * scope here: `engine-store` must not grow a model dependency, no selection
+ * CLI verbs are exposed yet, approval routing belongs to
+ * `@smthrs/control`, proposal admission still needs human product review, and
+ * cadence belongs to a system-flow/product layer rather than the primitive
+ * store.
+ *
+ * @since 0.1.0
+ */
+import { DurableWriter } from "@smthrs/database/DurableWriter";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Schema from "effect/Schema";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+import * as Selection from "./Selection.ts";
+/**
+ * Training outcomes for a suspected edge: a `hit` is a recertified deferral
+ * that passed, a `miss` is one that failed — the guess was confidently wrong.
+ *
+ * @category schemas
+ * @since 0.1.0
+ */
+export declare const TrainingOutcome: Schema.Literals<readonly ["hit", "miss"]>;
+/**
+ * Training outcomes for a suspected edge.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export type TrainingOutcome = typeof TrainingOutcome.Type;
+/**
+ * One observed result for a stored suspected edge.
+ *
+ * @category schemas
+ * @since 0.1.0
+ */
+export declare const TrainingObservation: Schema.Struct<{
+    readonly scope: Schema.NonEmptyString;
+    readonly affects: Schema.NonEmptyString;
+    readonly outcome: Schema.Literals<readonly ["hit", "miss"]>;
+}>;
+/**
+ * One observed result for a stored suspected edge.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export type TrainingObservation = typeof TrainingObservation.Type;
+/**
+ * Stable selection-store failure codes.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export declare const SelectionStoreErrorCode: Schema.Literals<readonly ["invalid_input", "decode_failed", "persistence_failed"]>;
+/**
+ * Stable selection-store failure codes.
+ *
+ * @category models
+ * @since 1.0.0
+ */
+export type SelectionStoreErrorCode = typeof SelectionStoreErrorCode.Type;
+declare const SelectionStoreError_base: Schema.Class<SelectionStoreError, Schema.TaggedStruct<"@smthrs/engine-store/SelectionStoreError", {
+    readonly code: Schema.Literals<readonly ["invalid_input", "decode_failed", "persistence_failed"]>;
+    readonly message: Schema.String;
+    readonly scope: Schema.optional<Schema.String>;
+    readonly affects: Schema.optional<Schema.String>;
+    readonly cause: Schema.optional<Schema.Unknown>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A rejected public value, corrupt stored row, or unavailable database.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class SelectionStoreError extends SelectionStoreError_base {
+}
+/**
+ * Durable suspected-edge persistence operations. `snapshot` pins the injected
+ * clock's now, never `Date.now()`; `train` applies the asymmetric rule — a
+ * hit gains five percent of the remaining headroom, a miss halves — to
+ * matching stored edges only, ignoring unknown pairs rather than creating
+ * them. Training retains at most {@link maxEvidenceEntries} newest evidence
+ * entries per edge.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export interface Service {
+    readonly upsert: (edges: ReadonlyArray<Selection.SuspectedEdge>) => Effect.Effect<void, SelectionStoreError>;
+    readonly list: () => Effect.Effect<ReadonlyArray<Selection.SuspectedEdge>, SelectionStoreError>;
+    readonly snapshot: () => Effect.Effect<Selection.BeliefSnapshot, SelectionStoreError>;
+    readonly train: (observations: ReadonlyArray<TrainingObservation>) => Effect.Effect<void, SelectionStoreError>;
+}
+declare const SelectionStore_base: Context.ServiceClass<SelectionStore, "@smthrs/engine-store/SelectionStore", Service>;
+/**
+ * Service tag for the durable suspected-edge store.
+ *
+ * @category services
+ * @since 0.1.0
+ */
+export declare class SelectionStore extends SelectionStore_base {
+}
+/**
+ * Maximum evidence entries retained for one suspected edge. Training drops
+ * the oldest entries after this bound and preserves the newest entries in
+ * observation order.
+ *
+ * @category constants
+ * @since 1.0.0
+ */
+export declare const maxEvidenceEntries = 128;
+/**
+ * Builds the SQL-backed suspected-edge store.
+ *
+ * @category constructors
+ * @since 0.1.0
+ */
+export declare const make: Effect.Effect<Service, never, DurableWriter | SqlClient.SqlClient>;
+/**
+ * Provides the SQL-backed suspected-edge store.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export declare const layer: Layer.Layer<SelectionStore, never, DurableWriter | SqlClient.SqlClient>;
+export {};
+//# sourceMappingURL=SelectionStore.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SelectionStore.d.ts","sourceRoot":"","sources":["../../src/SelectionStore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AAE9D,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAC1D,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,2CAAmC,CAAA;AAE/D;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB;;;;EAI9B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAEjE;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,oFAIlC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;;;;;;;;AAEzE;;;;;GAKG;AACH,qBAAa,mBAAoB,SAAQ,wBASxC;CAAG;AAEJ;;;;;;;;;;GAUG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,KAC1C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAA;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC,CAAA;IAC/F,QAAQ,CAAC,QAAQ,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE,mBAAmB,CAAC,CAAA;IACrF,QAAQ,CAAC,KAAK,EAAE,CACd,YAAY,EAAE,aAAa,CAAC,mBAAmB,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAA;CAC9C;;AAED;;;;;GAKG;AACH,qBAAa,cAAe,SAAQ,mBAEnC;CAAG;AA2FJ;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,MAAM,CAAA;AAErC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC,SAAS,CAoGlF,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC,SAAS,CAEnF,CAAA"}

package/dist/esm/SelectionStore.js

@@ -0,0 +1,215 @@
+/**
+ * Durable suspected-edge storage for probabilistic selection.
+ *
+ * The store persists advisory beliefs only: training moves edge confidence and
+ * appends evidence, but it never writes scheduler journal records, step keys,
+ * or cache rows (law 5). The edge and snapshot schemas are `Selection`'s own —
+ * one source of truth, so a stored edge is by construction what
+ * `Selection.select` consumes. Evidence entries stay strings: training appends
+ * the observation JSON-encoded, so audits can replay the asymmetric rule
+ * without the schema forking from `Selection.SuspectedEdge`.
+ *
+ * Model-backed selection, CLI verbs, approval routing, auto-appending
+ * proposals, and scheduled recertification cadence are deliberately out of
+ * scope here: `engine-store` must not grow a model dependency, no selection
+ * CLI verbs are exposed yet, approval routing belongs to
+ * `@smthrs/control`, proposal admission still needs human product review, and
+ * cadence belongs to a system-flow/product layer rather than the primitive
+ * store.
+ *
+ * @since 0.1.0
+ */
+import { DurableWriter } from "@smthrs/database/DurableWriter";
+import * as Clock from "effect/Clock";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Schema from "effect/Schema";
+import * as SqlClient from "effect/unstable/sql/SqlClient";
+import * as Selection from "./Selection.js";
+/**
+ * Training outcomes for a suspected edge: a `hit` is a recertified deferral
+ * that passed, a `miss` is one that failed — the guess was confidently wrong.
+ *
+ * @category schemas
+ * @since 0.1.0
+ */
+export const TrainingOutcome = Schema.Literals(["hit", "miss"]);
+/**
+ * One observed result for a stored suspected edge.
+ *
+ * @category schemas
+ * @since 0.1.0
+ */
+export const TrainingObservation = Schema.Struct({
+    scope: Schema.NonEmptyString,
+    affects: Schema.NonEmptyString,
+    outcome: TrainingOutcome
+});
+/**
+ * Stable selection-store failure codes.
+ *
+ * @category schemas
+ * @since 1.0.0
+ */
+export const SelectionStoreErrorCode = Schema.Literals([
+    "invalid_input",
+    "decode_failed",
+    "persistence_failed"
+]);
+/**
+ * A rejected public value, corrupt stored row, or unavailable database.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export class SelectionStoreError extends Schema.TaggedError()("@smthrs/engine-store/SelectionStoreError", {
+    code: SelectionStoreErrorCode,
+    message: Schema.String,
+    scope: Schema.optional(Schema.String),
+    affects: Schema.optional(Schema.String),
+    cause: Schema.optional(Schema.Unknown)
+}) {
+}
+/**
+ * Service tag for the durable suspected-edge store.
+ *
+ * @category services
+ * @since 0.1.0
+ */
+export class SelectionStore extends Context.Service()("@smthrs/engine-store/SelectionStore") {
+}
+const EvidenceListFromJsonString = Schema.fromJsonString(Schema.Array(Schema.String));
+const EdgeRow = Schema.Struct({
+    scope: Schema.NonEmptyString,
+    affects: Schema.NonEmptyString,
+    confidence: Schema.Number,
+    validFromMs: Selection.NonNegativeSafeInt,
+    evidenceJson: Schema.String
+});
+const invalidInput = (message, cause) => new SelectionStoreError({ code: "invalid_input", message, cause });
+const persistenceFailed = (message, cause) => cause instanceof SelectionStoreError
+    ? cause
+    : new SelectionStoreError({ code: "persistence_failed", message, cause });
+const decodeObservation = (input) => Schema.decodeUnknownEffect(TrainingObservation)(input).pipe(Effect.mapError((cause) => invalidInput("a training observation is invalid", cause)));
+const decodeEdge = (input) => Schema.decodeUnknownEffect(Selection.SuspectedEdge)(input).pipe(Effect.mapError((cause) => invalidInput("a suspected edge is invalid", cause)));
+// `decodeEdge` has already copied and validated this as an array of strings.
+// JSON encoding that closed value cannot fail, so retaining a fictitious
+// schema-error branch here only obscures the actual persistence failures.
+const encodeEvidence = (evidence) => Effect.succeed(JSON.stringify(evidence));
+const decodeEvidence = (evidenceJson, row) => Schema.decodeUnknownEffect(EvidenceListFromJsonString)(evidenceJson).pipe(Effect.mapError((cause) => new SelectionStoreError({
+    code: "decode_failed",
+    message: `stored edge ${row.scope} -> ${row.affects} has invalid evidence`,
+    scope: row.scope,
+    affects: row.affects,
+    cause
+})));
+const decodeRow = (input) => Schema.decodeUnknownEffect(EdgeRow)(input).pipe(Effect.mapError((cause) => new SelectionStoreError({
+    code: "decode_failed",
+    message: "a stored selection edge row is invalid",
+    cause
+})), Effect.flatMap((row) => decodeEvidence(row.evidenceJson, row).pipe(Effect.flatMap((evidence) => Schema.decodeUnknownEffect(Selection.SuspectedEdge)({
+    scope: row.scope,
+    affects: row.affects,
+    confidence: row.confidence,
+    validFromMs: row.validFromMs,
+    evidence
+}).pipe(Effect.mapError((cause) => new SelectionStoreError({
+    code: "decode_failed",
+    message: `stored edge ${row.scope} -> ${row.affects} is invalid`,
+    scope: row.scope,
+    affects: row.affects,
+    cause
+})))))));
+const trainConfidence = (confidence, outcome) => outcome === "hit"
+    ? confidence + 0.05 * (1 - confidence)
+    : confidence * 0.5;
+/**
+ * Maximum evidence entries retained for one suspected edge. Training drops
+ * the oldest entries after this bound and preserves the newest entries in
+ * observation order.
+ *
+ * @category constants
+ * @since 1.0.0
+ */
+export const maxEvidenceEntries = 128;
+/**
+ * Builds the SQL-backed suspected-edge store.
+ *
+ * @category constructors
+ * @since 0.1.0
+ */
+export const make = Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    const writer = yield* DurableWriter;
+    const selectEdge = (observation) => sql `
+      SELECT
+        scope,
+        affects,
+        confidence,
+        valid_from_ms AS "validFromMs",
+        evidence_json AS "evidenceJson"
+      FROM flows_selection_suspected_edges
+      WHERE scope = ${observation.scope}
+        AND affects = ${observation.affects}
+    `;
+    const writeEdge = (edge) => Effect.gen(function* () {
+        const evidenceJson = yield* encodeEvidence(edge.evidence);
+        yield* sql `
+        INSERT INTO flows_selection_suspected_edges (
+          scope, affects, confidence, valid_from_ms, evidence_json
+        ) VALUES (
+          ${edge.scope}, ${edge.affects}, ${edge.confidence}, ${edge.validFromMs}, ${evidenceJson}
+        ) ON CONFLICT (scope, affects) DO UPDATE SET
+          confidence = excluded.confidence,
+          valid_from_ms = excluded.valid_from_ms,
+          evidence_json = excluded.evidence_json
+      `.pipe(Effect.mapError((cause) => persistenceFailed(`could not persist edge ${edge.scope} -> ${edge.affects}`, cause)));
+    });
+    const upsert = Effect.fn("SelectionStore.upsert")((edges) => Effect.gen(function* () {
+        const decoded = yield* Effect.forEach(edges, decodeEdge);
+        yield* writer.write(Effect.forEach(decoded, writeEdge, { discard: true })).pipe(Effect.mapError((cause) => persistenceFailed("could not persist suspected edges", cause)));
+    }));
+    const list = Effect.fn("SelectionStore.list")(() => Effect.gen(function* () {
+        const rows = yield* sql `
+        SELECT
+          scope,
+          affects,
+          confidence,
+          valid_from_ms AS "validFromMs",
+          evidence_json AS "evidenceJson"
+        FROM flows_selection_suspected_edges
+        ORDER BY scope, affects
+      `.pipe(Effect.mapError((cause) => persistenceFailed("could not list suspected edges", cause)));
+        return yield* Effect.forEach(rows, decodeRow);
+    }));
+    const snapshot = Effect.fn("SelectionStore.snapshot")(() => Effect.gen(function* () {
+        const pinnedAtMs = yield* Clock.currentTimeMillis.pipe(Effect.map(Math.floor));
+        const edges = yield* list();
+        return { pinnedAtMs, edges };
+    }));
+    const train = Effect.fn("SelectionStore.train")((observations) => Effect.gen(function* () {
+        const decoded = yield* Effect.forEach(observations, decodeObservation);
+        yield* writer.write(Effect.forEach(decoded, (observation) => Effect.gen(function* () {
+            const rows = yield* selectEdge(observation).pipe(Effect.mapError((cause) => persistenceFailed(`could not read edge ${observation.scope} -> ${observation.affects}`, cause)));
+            const row = rows[0];
+            if (row === undefined)
+                return;
+            const edge = yield* decodeRow(row);
+            yield* writeEdge({
+                ...edge,
+                confidence: trainConfidence(edge.confidence, observation.outcome),
+                evidence: [...edge.evidence, JSON.stringify(observation)].slice(-maxEvidenceEntries)
+            });
+        }), { discard: true })).pipe(Effect.mapError((cause) => persistenceFailed("could not train suspected edges", cause)));
+    }));
+    return { upsert, list, snapshot, train };
+});
+/**
+ * Provides the SQL-backed suspected-edge store.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export const layer = Layer.effect(SelectionStore)(make);
+//# sourceMappingURL=SelectionStore.js.map

package/dist/esm/SelectionStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SelectionStore.js","sourceRoot":"","sources":["../../src/SelectionStore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AAC9D,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,+BAA+B,CAAA;AAC1D,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;AAU/D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,MAAM,CAAC,cAAc;IAC5B,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B,OAAO,EAAE,eAAe;CACzB,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,QAAQ,CAAC;IACrD,eAAe;IACf,eAAe;IACf,oBAAoB;CACrB,CAAC,CAAA;AAUF;;;;;GAKG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAChF,0CAA0C,EAC1C;IACE,IAAI,EAAE,uBAAuB;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACvC,CACF;CAAG;AAwBJ;;;;;GAKG;AACH,MAAM,OAAO,cAAe,SAAQ,OAAO,CAAC,OAAO,EAA2B,CAC5E,qCAAqC,CACtC;CAAG;AAEJ,MAAM,0BAA0B,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;AAErF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC,cAAc;IAC5B,OAAO,EAAE,MAAM,CAAC,cAAc;IAC9B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,WAAW,EAAE,SAAS,CAAC,kBAAkB;IACzC,YAAY,EAAE,MAAM,CAAC,MAAM;CAC5B,CAAC,CAAA;AAIF,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,KAAc,EAAuB,EAAE,CAC5E,IAAI,mBAAmB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpE,MAAM,iBAAiB,GAAG,CAAC,OAAe,EAAE,KAAc,EAAuB,EAAE,CACjF,KAAK,YAAY,mBAAmB;IAClC,CAAC,CAAC,KAAK;IACP,CAAC,CAAC,IAAI,mBAAmB,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAE7E,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAA2D,EAAE,CACpG,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACzD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAC,CACrF,CAAA;AAEH,MAAM,UAAU,GAAG,CAAC,KAAc,EAA+D,EAAE,CACjG,MAAM,CAAC,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC,CAC/E,CAAA;AAEH,6EAA6E;AAC7E,yEAAyE;AACzE,0EAA0E;AAC1E,MAAM,cAAc,GAAG,CAAC,QAA+B,EAAyB,EAAE,CAChF,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;AAE1C,MAAM,cAAc,GAAG,CACrB,YAAoB,EACpB,GAAuC,EACoB,EAAE,CAC7D,MAAM,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,IAAI,mBAAmB,CAAC;IACtB,IAAI,EAAE,eAAe;IACrB,OAAO,EAAE,eAAe,GAAG,CAAC,KAAK,OAAO,GAAG,CAAC,OAAO,uBAAuB;IAC1E,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,OAAO,EAAE,GAAG,CAAC,OAAO;IACpB,KAAK;CACN,CAAC,CACH,CACF,CAAA;AAEH,MAAM,SAAS,GAAG,CAAC,KAAc,EAA+D,EAAE,CAChG,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC7C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,IAAI,mBAAmB,CAAC;IACtB,IAAI,EAAE,eAAe;IACrB,OAAO,EAAE,wCAAwC;IACjD,KAAK;CACN,CAAC,CACH,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACrB,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,MAAM,CAAC,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAClD,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,OAAO,EAAE,GAAG,CAAC,OAAO;IACpB,UAAU,EAAE,GAAG,CAAC,UAAU;IAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;IAC5B,QAAQ;CACT,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,IAAI,mBAAmB,CAAC;IACtB,IAAI,EAAE,eAAe;IACrB,OAAO,EAAE,eAAe,GAAG,CAAC,KAAK,OAAO,GAAG,CAAC,OAAO,aAAa;IAChE,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,OAAO,EAAE,GAAG,CAAC,OAAO;IACpB,KAAK;CACN,CAAC,CACH,CAAC,CACH,CACF,CACF,CACF,CAAA;AAEH,MAAM,eAAe,GAAG,CAAC,UAAkB,EAAE,OAAwB,EAAU,EAAE,CAC/E,OAAO,KAAK,KAAK;IACf,CAAC,CAAC,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC;IACtC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAA;AAEtB;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAErC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAuE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAC1G,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAA;IACtC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,aAAa,CAAA;IAEnC,MAAM,UAAU,GAAG,CAAC,WAAgC,EAAE,EAAE,CACtD,GAAG,CAAS;;;;;;;;sBAQM,WAAW,CAAC,KAAK;wBACf,WAAW,CAAC,OAAO;KACtC,CAAA;IAEH,MAAM,SAAS,GAAG,CAAC,IAA6B,EAA4C,EAAE,CAC5F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACzD,KAAK,CAAC,CAAC,GAAG,CAAA;;;;YAIJ,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,WAAW,KAAK,YAAY;;;;;OAK1F,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAC/B,iBAAiB,CACf,0BAA0B,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,OAAO,EAAE,EACzD,KAAK,CACN,CACF,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEJ,MAAM,MAAM,GAAsB,MAAM,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QACxD,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC7E,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAC,CAC1F,CAAA;IACH,CAAC,CAAC,CACH,CAAA;IAED,MAAM,IAAI,GAAoB,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAAE,CAClE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAS;;;;;;;;;OAS/B,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,gCAAgC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;QAC9F,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC,CAAC,CACH,CAAA;IAED,MAAM,QAAQ,GAAwB,MAAM,CAAC,EAAE,CAAC,yBAAyB,CAAC,CAAC,GAAG,EAAE,CAC9E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;IAC9B,CAAC,CAAC,CACH,CAAA;IAED,MAAM,KAAK,GAAqB,MAAM,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,CACjF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAA;QACtE,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAChC,OAAO,EACP,CAAC,WAAW,EAAE,EAAE,CACd,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,IAAI,CAC9C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,iBAAiB,CACf,uBAAuB,WAAW,CAAC,KAAK,OAAO,WAAW,CAAC,OAAO,EAAE,EACpE,KAAK,CACN,CACF,CACF,CAAA;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACnB,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAM;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;YAClC,KAAK,CAAC,CAAC,SAAS,CAAC;gBACf,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC;gBACjE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,kBAAkB,CAAC;aACrF,CAAC,CAAA;QACJ,CAAC,CAAC,EACJ,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,iCAAiC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IAClG,CAAC,CAAC,CACH,CAAA;IAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;AAC1C,CAAC,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAA4E,KAAK,CAAC,MAAM,CACxG,cAAc,CACf,CAAC,IAAI,CAAC,CAAA","sourcesContent":["/**\n * Durable suspected-edge storage for probabilistic selection.\n *\n * The store persists advisory beliefs only: training moves edge confidence and\n * appends evidence, but it never writes scheduler journal records, step keys,\n * or cache rows (law 5). The edge and snapshot schemas are `Selection`'s own —\n * one source of truth, so a stored edge is by construction what\n * `Selection.select` consumes. Evidence entries stay strings: training appends\n * the observation JSON-encoded, so audits can replay the asymmetric rule\n * without the schema forking from `Selection.SuspectedEdge`.\n *\n * Model-backed selection, CLI verbs, approval routing, auto-appending\n * proposals, and scheduled recertification cadence are deliberately out of\n * scope here: `engine-store` must not grow a model dependency, no selection\n * CLI verbs are exposed yet, approval routing belongs to\n * `@smthrs/control`, proposal admission still needs human product review, and\n * cadence belongs to a system-flow/product layer rather than the primitive\n * store.\n *\n * @since 0.1.0\n */\n\nimport { DurableWriter } from \"@smthrs/database/DurableWriter\"\nimport * as Clock from \"effect/Clock\"\nimport * as Context from \"effect/Context\"\nimport * as Effect from \"effect/Effect\"\nimport * as Layer from \"effect/Layer\"\nimport * as Schema from \"effect/Schema\"\nimport * as SqlClient from \"effect/unstable/sql/SqlClient\"\nimport * as Selection from \"./Selection.ts\"\n\n/**\n * Training outcomes for a suspected edge: a `hit` is a recertified deferral\n * that passed, a `miss` is one that failed — the guess was confidently wrong.\n *\n * @category schemas\n * @since 0.1.0\n */\nexport const TrainingOutcome = Schema.Literals([\"hit\", \"miss\"])\n\n/**\n * Training outcomes for a suspected edge.\n *\n * @category models\n * @since 0.1.0\n */\nexport type TrainingOutcome = typeof TrainingOutcome.Type\n\n/**\n * One observed result for a stored suspected edge.\n *\n * @category schemas\n * @since 0.1.0\n */\nexport const TrainingObservation = Schema.Struct({\n  scope: Schema.NonEmptyString,\n  affects: Schema.NonEmptyString,\n  outcome: TrainingOutcome\n})\n\n/**\n * One observed result for a stored suspected edge.\n *\n * @category models\n * @since 0.1.0\n */\nexport type TrainingObservation = typeof TrainingObservation.Type\n\n/**\n * Stable selection-store failure codes.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const SelectionStoreErrorCode = Schema.Literals([\n  \"invalid_input\",\n  \"decode_failed\",\n  \"persistence_failed\"\n])\n\n/**\n * Stable selection-store failure codes.\n *\n * @category models\n * @since 1.0.0\n */\nexport type SelectionStoreErrorCode = typeof SelectionStoreErrorCode.Type\n\n/**\n * A rejected public value, corrupt stored row, or unavailable database.\n *\n * @category errors\n * @since 1.0.0\n */\nexport class SelectionStoreError extends Schema.TaggedError<SelectionStoreError>()(\n  \"@smthrs/engine-store/SelectionStoreError\",\n  {\n    code: SelectionStoreErrorCode,\n    message: Schema.String,\n    scope: Schema.optional(Schema.String),\n    affects: Schema.optional(Schema.String),\n    cause: Schema.optional(Schema.Unknown)\n  }\n) {}\n\n/**\n * Durable suspected-edge persistence operations. `snapshot` pins the injected\n * clock's now, never `Date.now()`; `train` applies the asymmetric rule — a\n * hit gains five percent of the remaining headroom, a miss halves — to\n * matching stored edges only, ignoring unknown pairs rather than creating\n * them. Training retains at most {@link maxEvidenceEntries} newest evidence\n * entries per edge.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface Service {\n  readonly upsert: (\n    edges: ReadonlyArray<Selection.SuspectedEdge>\n  ) => Effect.Effect<void, SelectionStoreError>\n  readonly list: () => Effect.Effect<ReadonlyArray<Selection.SuspectedEdge>, SelectionStoreError>\n  readonly snapshot: () => Effect.Effect<Selection.BeliefSnapshot, SelectionStoreError>\n  readonly train: (\n    observations: ReadonlyArray<TrainingObservation>\n  ) => Effect.Effect<void, SelectionStoreError>\n}\n\n/**\n * Service tag for the durable suspected-edge store.\n *\n * @category services\n * @since 0.1.0\n */\nexport class SelectionStore extends Context.Service<SelectionStore, Service>()(\n  \"@smthrs/engine-store/SelectionStore\"\n) {}\n\nconst EvidenceListFromJsonString = Schema.fromJsonString(Schema.Array(Schema.String))\n\nconst EdgeRow = Schema.Struct({\n  scope: Schema.NonEmptyString,\n  affects: Schema.NonEmptyString,\n  confidence: Schema.Number,\n  validFromMs: Selection.NonNegativeSafeInt,\n  evidenceJson: Schema.String\n})\n\ntype EdgeRow = typeof EdgeRow.Type\n\nconst invalidInput = (message: string, cause: unknown): SelectionStoreError =>\n  new SelectionStoreError({ code: \"invalid_input\", message, cause })\n\nconst persistenceFailed = (message: string, cause: unknown): SelectionStoreError =>\n  cause instanceof SelectionStoreError\n    ? cause\n    : new SelectionStoreError({ code: \"persistence_failed\", message, cause })\n\nconst decodeObservation = (input: unknown): Effect.Effect<TrainingObservation, SelectionStoreError> =>\n  Schema.decodeUnknownEffect(TrainingObservation)(input).pipe(\n    Effect.mapError((cause) => invalidInput(\"a training observation is invalid\", cause))\n  )\n\nconst decodeEdge = (input: unknown): Effect.Effect<Selection.SuspectedEdge, SelectionStoreError> =>\n  Schema.decodeUnknownEffect(Selection.SuspectedEdge)(input).pipe(\n    Effect.mapError((cause) => invalidInput(\"a suspected edge is invalid\", cause))\n  )\n\n// `decodeEdge` has already copied and validated this as an array of strings.\n// JSON encoding that closed value cannot fail, so retaining a fictitious\n// schema-error branch here only obscures the actual persistence failures.\nconst encodeEvidence = (evidence: ReadonlyArray<string>): Effect.Effect<string> =>\n  Effect.succeed(JSON.stringify(evidence))\n\nconst decodeEvidence = (\n  evidenceJson: string,\n  row: Pick<EdgeRow, \"scope\" | \"affects\">\n): Effect.Effect<ReadonlyArray<string>, SelectionStoreError> =>\n  Schema.decodeUnknownEffect(EvidenceListFromJsonString)(evidenceJson).pipe(\n    Effect.mapError((cause) =>\n      new SelectionStoreError({\n        code: \"decode_failed\",\n        message: `stored edge ${row.scope} -> ${row.affects} has invalid evidence`,\n        scope: row.scope,\n        affects: row.affects,\n        cause\n      })\n    )\n  )\n\nconst decodeRow = (input: unknown): Effect.Effect<Selection.SuspectedEdge, SelectionStoreError> =>\n  Schema.decodeUnknownEffect(EdgeRow)(input).pipe(\n    Effect.mapError((cause) =>\n      new SelectionStoreError({\n        code: \"decode_failed\",\n        message: \"a stored selection edge row is invalid\",\n        cause\n      })\n    ),\n    Effect.flatMap((row) =>\n      decodeEvidence(row.evidenceJson, row).pipe(\n        Effect.flatMap((evidence) =>\n          Schema.decodeUnknownEffect(Selection.SuspectedEdge)({\n            scope: row.scope,\n            affects: row.affects,\n            confidence: row.confidence,\n            validFromMs: row.validFromMs,\n            evidence\n          }).pipe(Effect.mapError((cause) =>\n            new SelectionStoreError({\n              code: \"decode_failed\",\n              message: `stored edge ${row.scope} -> ${row.affects} is invalid`,\n              scope: row.scope,\n              affects: row.affects,\n              cause\n            })\n          ))\n        )\n      )\n    )\n  )\n\nconst trainConfidence = (confidence: number, outcome: TrainingOutcome): number =>\n  outcome === \"hit\"\n    ? confidence + 0.05 * (1 - confidence)\n    : confidence * 0.5\n\n/**\n * Maximum evidence entries retained for one suspected edge. Training drops\n * the oldest entries after this bound and preserves the newest entries in\n * observation order.\n *\n * @category constants\n * @since 1.0.0\n */\nexport const maxEvidenceEntries = 128\n\n/**\n * Builds the SQL-backed suspected-edge store.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const make: Effect.Effect<Service, never, DurableWriter | SqlClient.SqlClient> = Effect.gen(function*() {\n  const sql = yield* SqlClient.SqlClient\n  const writer = yield* DurableWriter\n\n  const selectEdge = (observation: TrainingObservation) =>\n    sql<EdgeRow>`\n      SELECT\n        scope,\n        affects,\n        confidence,\n        valid_from_ms AS \"validFromMs\",\n        evidence_json AS \"evidenceJson\"\n      FROM flows_selection_suspected_edges\n      WHERE scope = ${observation.scope}\n        AND affects = ${observation.affects}\n    `\n\n  const writeEdge = (edge: Selection.SuspectedEdge): Effect.Effect<void, SelectionStoreError> =>\n    Effect.gen(function*() {\n      const evidenceJson = yield* encodeEvidence(edge.evidence)\n      yield* sql`\n        INSERT INTO flows_selection_suspected_edges (\n          scope, affects, confidence, valid_from_ms, evidence_json\n        ) VALUES (\n          ${edge.scope}, ${edge.affects}, ${edge.confidence}, ${edge.validFromMs}, ${evidenceJson}\n        ) ON CONFLICT (scope, affects) DO UPDATE SET\n          confidence = excluded.confidence,\n          valid_from_ms = excluded.valid_from_ms,\n          evidence_json = excluded.evidence_json\n      `.pipe(Effect.mapError((cause) =>\n        persistenceFailed(\n          `could not persist edge ${edge.scope} -> ${edge.affects}`,\n          cause\n        )\n      ))\n    })\n\n  const upsert: Service[\"upsert\"] = Effect.fn(\"SelectionStore.upsert\")((edges) =>\n    Effect.gen(function*() {\n      const decoded = yield* Effect.forEach(edges, decodeEdge)\n      yield* writer.write(Effect.forEach(decoded, writeEdge, { discard: true })).pipe(\n        Effect.mapError((cause) => persistenceFailed(\"could not persist suspected edges\", cause))\n      )\n    })\n  )\n\n  const list: Service[\"list\"] = Effect.fn(\"SelectionStore.list\")(() =>\n    Effect.gen(function*() {\n      const rows = yield* sql<EdgeRow>`\n        SELECT\n          scope,\n          affects,\n          confidence,\n          valid_from_ms AS \"validFromMs\",\n          evidence_json AS \"evidenceJson\"\n        FROM flows_selection_suspected_edges\n        ORDER BY scope, affects\n      `.pipe(Effect.mapError((cause) => persistenceFailed(\"could not list suspected edges\", cause)))\n      return yield* Effect.forEach(rows, decodeRow)\n    })\n  )\n\n  const snapshot: Service[\"snapshot\"] = Effect.fn(\"SelectionStore.snapshot\")(() =>\n    Effect.gen(function*() {\n      const pinnedAtMs = yield* Clock.currentTimeMillis.pipe(Effect.map(Math.floor))\n      const edges = yield* list()\n      return { pinnedAtMs, edges }\n    })\n  )\n\n  const train: Service[\"train\"] = Effect.fn(\"SelectionStore.train\")((observations) =>\n    Effect.gen(function*() {\n      const decoded = yield* Effect.forEach(observations, decodeObservation)\n      yield* writer.write(Effect.forEach(\n        decoded,\n        (observation) =>\n          Effect.gen(function*() {\n            const rows = yield* selectEdge(observation).pipe(\n              Effect.mapError((cause) =>\n                persistenceFailed(\n                  `could not read edge ${observation.scope} -> ${observation.affects}`,\n                  cause\n                )\n              )\n            )\n            const row = rows[0]\n            if (row === undefined) return\n            const edge = yield* decodeRow(row)\n            yield* writeEdge({\n              ...edge,\n              confidence: trainConfidence(edge.confidence, observation.outcome),\n              evidence: [...edge.evidence, JSON.stringify(observation)].slice(-maxEvidenceEntries)\n            })\n          }),\n        { discard: true }\n      )).pipe(Effect.mapError((cause) => persistenceFailed(\"could not train suspected edges\", cause)))\n    })\n  )\n\n  return { upsert, list, snapshot, train }\n})\n\n/**\n * Provides the SQL-backed suspected-edge store.\n *\n * @category layers\n * @since 0.1.0\n */\nexport const layer: Layer.Layer<SelectionStore, never, DurableWriter | SqlClient.SqlClient> = Layer.effect(\n  SelectionStore\n)(make)\n"]}