@telora/daemon 0.21.12 → 0.21.81

package/dist/drift/drift-eval-loop.js

@@ -0,0 +1,259 @@
+/**
+ * Periodic drift-evaluation loop tick.
+ *
+ * Walks Done issues and verified deliveries that declared
+ * `completion_artifacts`, probes each declared path against the local
+ * worktree, and upserts a row into `done_artifact_drift_flags` for every
+ * artifact that no longer exists. Idempotent: the product-api upsert
+ * handler dedupes on (product, issue|delivery, kind, ref, status='open').
+ *
+ * Activation: opt-out via TELORA_DRIFT_EVAL_LOOP=0. See
+ * `shouldRunLoop()` in focus-engine.ts.
+ *
+ * @module drift-eval-loop
+ */
+import { access } from 'node:fs/promises';
+import { posix as path } from 'node:path';
+import { configForProduct } from '../shell/config.js';
+import { evaluateArtifacts, } from './drift-evaluator.js';
+import { listDoneWorkArtifacts as defaultListDoneWorkArtifacts, upsertDriftFinding as defaultUpsertDriftFinding, listPendingDriftEvalRequests as defaultListPendingDriftEvalRequests, clearDriftEvalRequest as defaultClearDriftEvalRequest, } from '../queries/drift.js';
+import { runGitSync } from '../git/index.js';
+import { loadEnvConfig } from '@telora/daemon-core';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'drift-eval-loop' });
+/**
+ * Per-product backoff for `listDoneWorkArtifacts` failures. When the
+ * server-side `drift_flag.list_done_work` action fails (e.g. a 500), the
+ * offending product is skipped for `listBackoffMs` so a persistent failure
+ * does not retry-storm every tick. Module-level so the window persists across
+ * `runDriftEvalTick` calls within the daemon process. Keyed productId ->
+ * earliest next-attempt epoch ms. Complements the isolated 'drift' circuit
+ * breaker (queries/shared.ts), which fails fast once the breaker opens.
+ */
+const listDoneWorkBackoffUntil = new Map();
+/**
+ * Resolve the per-product list-failure backoff window (ms).
+ *
+ * The canonical typed declaration of this knob lives in @telora/daemon-core
+ * env-config (TELORA_DRIFT_LIST_BACKOFF_MS, nonNegativeInt default 300000) --
+ * the single source of truth for every operational knob. Read it through
+ * loadEnvConfig() so validation + default (0 disables the backoff) live once in
+ * the Zod schema.
+ */
+function defaultListBackoffMs() {
+    return loadEnvConfig().TELORA_DRIFT_LIST_BACKOFF_MS;
+}
+/** Test-only: clear the per-product list-failure backoff state. */
+export function __resetDriftListBackoffForTesting() {
+    listDoneWorkBackoffUntil.clear();
+}
+function defaultResolveHeadSha(repoPath) {
+    const result = runGitSync(['rev-parse', 'HEAD'], repoPath);
+    if (!result.success)
+        return null;
+    const trimmed = result.output.trim();
+    return trimmed.length === 0 ? null : trimmed;
+}
+const defaultProbeFs = {
+    async exists(absPath) {
+        try {
+            await access(absPath);
+            return true;
+        }
+        catch {
+            return false;
+        }
+    },
+};
+function defaultDeps() {
+    return {
+        listDoneWorkArtifacts: defaultListDoneWorkArtifacts,
+        upsertDriftFinding: defaultUpsertDriftFinding,
+        probeFs: defaultProbeFs,
+        resolveHeadSha: defaultResolveHeadSha,
+        listPendingDriftEvalRequests: defaultListPendingDriftEvalRequests,
+        clearDriftEvalRequest: defaultClearDriftEvalRequest,
+        now: () => Date.now(),
+        listBackoffMs: defaultListBackoffMs(),
+    };
+}
+/**
+ * Convert the API shape (DoneWorkItem) into the evaluator's input shape.
+ * The evaluator does not care about focus/product attribution -- those
+ * fields ride along on the source for later upsert payload assembly.
+ */
+function toEvaluatorInput(item) {
+    const source = {
+        artifacts: item.artifacts,
+    };
+    if (item.issueId !== null)
+        source.issueId = item.issueId;
+    if (item.deliveryId !== null)
+        source.deliveryId = item.deliveryId;
+    return source;
+}
+/**
+ * Resolve an artifact reference against the product's repo root.
+ * The evaluator already does this, but it is repeated here so the tick
+ * stays robust if the evaluator's resolution policy changes later.
+ */
+export function resolveArtifactPath(repoRoot, ref) {
+    if (path.isAbsolute(ref))
+        return ref;
+    return path.join(repoRoot, ref);
+}
+/**
+ * Probe a batch of Done-work items against the filesystem and upsert any
+ * findings via the product-api. Returns counters merged into the caller's
+ * tick result. The caller chooses the listing scope (product-wide or
+ * focus-scoped).
+ */
+async function probeAndUpsert(items, repoPath, deps, counts) {
+    if (items.length === 0)
+        return;
+    counts.workItemsEvaluated += items.length;
+    const headSha = deps.resolveHeadSha(repoPath);
+    const findings = await evaluateArtifacts(items.map(toEvaluatorInput), deps.probeFs, repoPath);
+    counts.findingsProbed += findings.length;
+    // Build a lookup from work-item identity back to focus+product, which
+    // the evaluator does not carry through. Composite key on (issueId,
+    // deliveryId) keeps issue-attributed and delivery-attributed findings
+    // separable.
+    const attribution = new Map();
+    for (const item of items) {
+        const key = `${item.issueId ?? ''}|${item.deliveryId ?? ''}`;
+        attribution.set(key, { focusId: item.focusId, productId: item.productId });
+    }
+    for (const finding of findings) {
+        const key = `${finding.source.issueId ?? ''}|${finding.source.deliveryId ?? ''}`;
+        const attr = attribution.get(key);
+        if (!attr) {
+            counts.errors += 1;
+            log.warn(`[drift-eval-loop] attribution lookup miss for finding ${finding.artifactKind}:${finding.artifactRef}`);
+            continue;
+        }
+        try {
+            const result = await deps.upsertDriftFinding({
+                productId: attr.productId,
+                focusId: attr.focusId,
+                issueId: finding.source.issueId ?? null,
+                deliveryId: finding.source.deliveryId ?? null,
+                artifactKind: finding.artifactKind,
+                artifactRef: finding.artifactRef,
+                evaluatedAgainstSha: headSha,
+            });
+            if (result.inserted)
+                counts.findingsInserted += 1;
+        }
+        catch (err) {
+            counts.errors += 1;
+            log.warn(`[drift-eval-loop] upsert failed for ${finding.artifactKind}:${finding.artifactRef}:`, err.message);
+        }
+    }
+}
+/**
+ * Run one drift-evaluation tick across all products in the daemon config.
+ * Returns counters useful for log lines and tests.
+ */
+export async function runDriftEvalTick(config, depOverrides = {}) {
+    const deps = { ...defaultDeps(), ...depOverrides };
+    const counts = {
+        productsScanned: 0,
+        workItemsEvaluated: 0,
+        findingsProbed: 0,
+        findingsInserted: 0,
+        errors: 0,
+        productsSkipped: 0,
+    };
+    for (const product of config.products) {
+        counts.productsScanned += 1;
+        const pc = configForProduct(config, product);
+        // Skip a product still inside its list-failure backoff window so a
+        // persistent server-side failure does not retry-storm every tick.
+        const nowMs = (deps.now ?? Date.now)();
+        const backoffUntil = listDoneWorkBackoffUntil.get(product.id) ?? 0;
+        if (nowMs < backoffUntil) {
+            counts.productsSkipped += 1;
+            continue;
+        }
+        let items;
+        try {
+            items = await deps.listDoneWorkArtifacts({ productId: product.id });
+            // Success clears any prior backoff for this product.
+            listDoneWorkBackoffUntil.delete(product.id);
+        }
+        catch (err) {
+            counts.errors += 1;
+            listDoneWorkBackoffUntil.set(product.id, nowMs + deps.listBackoffMs);
+            log.warn(`[drift-eval-loop] listDoneWorkArtifacts failed for product ${product.id} (backing off ${deps.listBackoffMs}ms):`, err.message);
+            continue;
+        }
+        await probeAndUpsert(items, pc.repoPath, deps, counts);
+    }
+    if (counts.workItemsEvaluated > 0 || counts.errors > 0 || counts.productsSkipped > 0) {
+        log.info(`[drift-eval-loop] tick: products=${counts.productsScanned} skipped=${counts.productsSkipped} workItems=${counts.workItemsEvaluated} findings=${counts.findingsProbed} inserted=${counts.findingsInserted} errors=${counts.errors}`);
+    }
+    return counts;
+}
+/**
+ * Process user-initiated drift-eval requests. The UI's Re-evaluate button
+ * stamps `product_focuses.drift_eval_requested_at`; this poll picks those
+ * focuses up, runs a focus-scoped probe against the worktree, and clears
+ * the column. Driven on a tighter cadence than `runDriftEvalTick` so the
+ * Re-evaluate signal actually completes the loop the user expects.
+ */
+export async function runPendingDriftEvalRequestsTick(config, depOverrides = {}) {
+    const deps = { ...defaultDeps(), ...depOverrides };
+    const counts = {
+        productsScanned: 0,
+        workItemsEvaluated: 0,
+        findingsProbed: 0,
+        findingsInserted: 0,
+        errors: 0,
+        productsSkipped: 0,
+        requestsProcessed: 0,
+    };
+    for (const product of config.products) {
+        counts.productsScanned += 1;
+        const pc = configForProduct(config, product);
+        let requests;
+        try {
+            requests = await deps.listPendingDriftEvalRequests({ productId: product.id });
+        }
+        catch (err) {
+            counts.errors += 1;
+            log.warn(`[drift-eval-loop] listPendingDriftEvalRequests failed for product ${product.id}:`, err.message);
+            continue;
+        }
+        if (requests.length === 0)
+            continue;
+        for (const request of requests) {
+            counts.requestsProcessed += 1;
+            let items;
+            try {
+                items = await deps.listDoneWorkArtifacts({ focusId: request.focusId });
+            }
+            catch (err) {
+                counts.errors += 1;
+                log.warn(`[drift-eval-loop] listDoneWorkArtifacts failed for focus ${request.focusId}:`, err.message);
+                continue;
+            }
+            await probeAndUpsert(items, pc.repoPath, deps, counts);
+            try {
+                await deps.clearDriftEvalRequest({
+                    focusId: request.focusId,
+                    requestedAt: request.requestedAt,
+                });
+            }
+            catch (err) {
+                counts.errors += 1;
+                log.warn(`[drift-eval-loop] clearDriftEvalRequest failed for focus ${request.focusId}:`, err.message);
+            }
+        }
+    }
+    if (counts.requestsProcessed > 0 || counts.errors > 0) {
+        log.info(`[drift-eval-loop] requests tick: products=${counts.productsScanned} requests=${counts.requestsProcessed} workItems=${counts.workItemsEvaluated} findings=${counts.findingsProbed} inserted=${counts.findingsInserted} errors=${counts.errors}`);
+    }
+    return counts;
+}
+//# sourceMappingURL=drift-eval-loop.js.map

package/dist/drift/drift-eval-loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-eval-loop.js","sourceRoot":"","sources":["../../src/drift/drift-eval-loop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACL,iBAAiB,GAIlB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,qBAAqB,IAAI,4BAA4B,EACrD,kBAAkB,IAAI,yBAAyB,EAC/C,4BAA4B,IAAI,mCAAmC,EACnE,qBAAqB,IAAI,4BAA4B,GAItD,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AA0BxD;;;;;;;;GAQG;AACH,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE3D;;;;;;;;GAQG;AACH,SAAS,oBAAoB;IAC3B,OAAO,aAAa,EAAE,CAAC,4BAA4B,CAAC;AACtD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,iCAAiC;IAC/C,wBAAwB,CAAC,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAgB;IAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACrC,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AAC/C,CAAC;AAED,MAAM,cAAc,GAAY;IAC9B,KAAK,CAAC,MAAM,CAAC,OAAe;QAC1B,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;CACF,CAAC;AAEF,SAAS,WAAW;IAClB,OAAO;QACL,qBAAqB,EAAE,4BAA4B;QACnD,kBAAkB,EAAE,yBAAyB;QAC7C,OAAO,EAAE,cAAc;QACvB,cAAc,EAAE,qBAAqB;QACrC,4BAA4B,EAAE,mCAAmC;QACjE,qBAAqB,EAAE,4BAA4B;QACnD,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;QACrB,aAAa,EAAE,oBAAoB,EAAE;KACtC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,MAAM,MAAM,GAAa;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;IACF,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;QAAE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IACzD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI;QAAE,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,GAAW;IAC/D,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,cAAc,CAC3B,KAAqB,EACrB,QAAgB,EAChB,IAAuB,EACvB,MAA2B;IAE3B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC/B,MAAM,CAAC,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC;IAE1C,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAmB,MAAM,iBAAiB,CACtD,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAC3B,IAAI,CAAC,OAAO,EACZ,QAAQ,CACT,CAAC;IACF,MAAM,CAAC,cAAc,IAAI,QAAQ,CAAC,MAAM,CAAC;IAEzC,sEAAsE;IACtE,mEAAmE;IACnE,sEAAsE;IACtE,aAAa;IACb,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyD,CAAC;IACrF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QAC7D,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACjF,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;YACnB,GAAG,CAAC,IAAI,CACN,yDAAyD,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW,EAAE,CACvG,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,MAAM,MAAM,GAAwB,MAAM,IAAI,CAAC,kBAAkB,CAAC;gBAChE,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI;gBACvC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,IAAI,IAAI;gBAC7C,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,mBAAmB,EAAE,OAAO;aAC7B,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,QAAQ;gBAAE,MAAM,CAAC,gBAAgB,IAAI,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;YACnB,GAAG,CAAC,IAAI,CACN,uCAAuC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW,GAAG,EACpF,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAAoB,EACpB,eAA2C,EAAE;IAE7C,MAAM,IAAI,GAAsB,EAAE,GAAG,WAAW,EAAE,EAAE,GAAG,YAAY,EAAE,CAAC;IACtE,MAAM,MAAM,GAAwB;QAClC,eAAe,EAAE,CAAC;QAClB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,gBAAgB,EAAE,CAAC;QACnB,MAAM,EAAE,CAAC;QACT,eAAe,EAAE,CAAC;KACnB,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAE7C,mEAAmE;QACnE,kEAAkE;QAClE,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,YAAY,GAAG,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,KAAK,GAAG,YAAY,EAAE,CAAC;YACzB,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,IAAI,KAAqB,CAAC;QAC1B,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;YACpE,qDAAqD;YACrD,wBAAwB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;YACnB,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC;YACrE,GAAG,CAAC,IAAI,CACN,8DAA8D,OAAO,CAAC,EAAE,iBAAiB,IAAI,CAAC,aAAa,MAAM,EAChH,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,IAAI,MAAM,CAAC,kBAAkB,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,IAAI,CACN,oCAAoC,MAAM,CAAC,eAAe,YAAY,MAAM,CAAC,eAAe,cAAc,MAAM,CAAC,kBAAkB,aAAa,MAAM,CAAC,cAAc,aAAa,MAAM,CAAC,gBAAgB,WAAW,MAAM,CAAC,MAAM,EAAE,CACpO,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAMD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,MAAoB,EACpB,eAA2C,EAAE;IAE7C,MAAM,IAAI,GAAsB,EAAE,GAAG,WAAW,EAAE,EAAE,GAAG,YAAY,EAAE,CAAC;IACtE,MAAM,MAAM,GAA+B;QACzC,eAAe,EAAE,CAAC;QAClB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,gBAAgB,EAAE,CAAC;QACnB,MAAM,EAAE,CAAC;QACT,eAAe,EAAE,CAAC;QAClB,iBAAiB,EAAE,CAAC;KACrB,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAE7C,IAAI,QAAmC,CAAC;QACxC,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,IAAI,CAAC,4BAA4B,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAChF,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;YACnB,GAAG,CAAC,IAAI,CACN,qEAAqE,OAAO,CAAC,EAAE,GAAG,EACjF,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEpC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,iBAAiB,IAAI,CAAC,CAAC;YAC9B,IAAI,KAAqB,CAAC;YAC1B,IAAI,CAAC;gBACH,KAAK,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YACzE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;gBACnB,GAAG,CAAC,IAAI,CACN,4DAA4D,OAAO,CAAC,OAAO,GAAG,EAC7E,GAAa,CAAC,OAAO,CACvB,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAEvD,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,qBAAqB,CAAC;oBAC/B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,WAAW,EAAE,OAAO,CAAC,WAAW;iBACjC,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;gBACnB,GAAG,CAAC,IAAI,CACN,4DAA4D,OAAO,CAAC,OAAO,GAAG,EAC7E,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,iBAAiB,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CACN,6CAA6C,MAAM,CAAC,eAAe,aAAa,MAAM,CAAC,iBAAiB,cAAc,MAAM,CAAC,kBAAkB,aAAa,MAAM,CAAC,cAAc,aAAa,MAAM,CAAC,gBAAgB,WAAW,MAAM,CAAC,MAAM,EAAE,CAChP,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/drift/drift-evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-evaluator.d.ts","sourceRoot":"","sources":["../../src/drift/drift-evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,MAAM,WAAW,kBAAkB;IACjC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,kBAAkB,CAAC;CAC/B;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;AAEtD,MAAM,WAAW,YAAY;IAC3B,YAAY,EAAE,YAAY,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACnD;AAED,MAAM,WAAW,OAAO;IACtB,yEAAyE;IACzE,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC3C;AAkCD;;;;;;;;;;GAUG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,EAClC,EAAE,EAAE,OAAO,EACX,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,YAAY,EAAE,CAAC,CAOzB"}

package/dist/drift/drift-evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-evaluator.js","sourceRoot":"","sources":["../../src/drift/drift-evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,MAAM,WAAW,CAAC;AA2B1C,SAAS,UAAU,CAAC,QAAgB,EAAE,GAAW;IAC/C,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,IAAc,EACd,IAA4C,EAC5C,IAA0B,EAC1B,EAAW,EACX,QAAgB,EAChB,QAAwB;IAExB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC;gBACZ,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,OAAO;gBACpB,MAAM,EAAE;oBACN,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChE,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1E;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAAkC,EAClC,EAAW,EACX,QAAgB;IAEhB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC5E,MAAM,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/drift/drift-ratify-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-ratify-policy.d.ts","sourceRoot":"","sources":["../../src/drift/drift-ratify-policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,uCAAuC;AACvC,MAAM,MAAM,gBAAgB;AAC1B,6EAA6E;AAC3E,aAAa;AACf,+EAA+E;GAC7E,gBAAgB;AAClB,sDAAsD;GACpD,MAAM,CAAC;AAEX,mFAAmF;AACnF,MAAM,MAAM,yBAAyB;AACnC,sEAAsE;AACpE,kBAAkB;AACpB,iFAAiF;GAC/E,8BAA8B;AAChC,uEAAuE;GACrE,iBAAiB;AACnB,8EAA8E;GAC5E,qBAAqB;AACvB,8EAA8E;GAC5E,oBAAoB;AACtB,+DAA+D;GAC7D,uBAAuB;AACzB,oEAAoE;GAClE,qBAAqB;AACvB,sEAAsE;GACpE,8BAA8B;AAChC,wEAAwE;GACtE,0BAA0B,CAAC;AAE/B,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,gBAAgB,CAAC;IAC9B,MAAM,EAAE,yBAAyB,CAAC;CACnC;AAED,MAAM,WAAW,gCAAgC;IAC/C;;;OAGG;IACH,YAAY,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAwED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,gCAAgC,GACtC,mBAAmB,CAiErB;AAED,wDAAwD;AACxD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,gCAAgC,GAAG,OAAO,CAEjF;AAED,kFAAkF;AAClF,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,gCAAgC,GAAG,OAAO,CAE1F"}

package/dist/drift/drift-ratify-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-ratify-policy.js","sourceRoot":"","sources":["../../src/drift/drift-ratify-policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AA+CH;;;;;GAKG;AACH,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IACxD,kBAAkB;IAClB,UAAU;IACV,aAAa;IACb,kBAAkB;IAClB,gBAAgB;IAChB,kBAAkB;CACnB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IACtD,kBAAkB;IAClB,UAAU;IACV,aAAa;IACb,kBAAkB;IAClB,gBAAgB;CACjB,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,oBAAoB,GAAG,UAAU,CAAC;AAExC,SAAS,UAAU,CACjB,WAA6B,EAC7B,MAAiC;IAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc,CACrB,GAA4B,EAC5B,GAAW;IAEX,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAuC;IAEvC,MAAM,EAAE,YAAY,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAEjD,gEAAgE;IAChE,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAChF,OAAO,UAAU,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IACrD,CAAC;IAED,kFAAkF;IAClF,MAAM,WAAW,GAAG,gBAAgB,KAAK,IAAI,IAAI,gBAAgB,KAAK,SAAS,CAAC;IAChF,IAAI,WAAW,IAAI,CAAC,aAAa,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACpD,oEAAoE;QACpE,OAAO,UAAU,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,GAAG,GAA4B,WAAW;QAC9C,CAAC,CAAE,gBAA4C;QAC/C,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC7C,MAAM,gBAAgB,GAAG,cAAc,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAEjE,8EAA8E;IAC9E,IAAI,MAAM,KAAK,SAAS,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,UAAU,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAClD,CAAC;IAED,qEAAqE;IACrE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,cAAc,GAAG,GAAG,CAAC,sBAAsB,CAAC,CAAC;QAEnD,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;YACnC,yEAAyE;YACzE,kEAAkE;YAClE,OAAO,UAAU,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,cAAc,KAAK,uBAAuB,EAAE,CAAC;YAC/C,sEAAsE;YACtE,2EAA2E;YAC3E,OAAO,UAAU,CAAC,aAAa,EAAE,8BAA8B,CAAC,CAAC;QACnE,CAAC;QAED,6EAA6E;QAC7E,4EAA4E;QAC5E,0CAA0C;QAC1C,OAAO,UAAU,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IACnD,CAAC;IAED,6EAA6E;IAC7E,qDAAqD;IACrD,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,YAAY,KAAK,oBAAoB,EAAE,CAAC;YAC1C,OAAO,UAAU,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,UAAU,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IACtD,CAAC;IAED,6EAA6E;IAC7E,gFAAgF;IAChF,IAAI,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QACzC,OAAO,UAAU,CAAC,aAAa,EAAE,qBAAqB,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;AACxD,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,gBAAgB,CAAC,KAAuC;IACtE,OAAO,qBAAqB,CAAC,KAAK,CAAC,CAAC,WAAW,KAAK,aAAa,CAAC;AACpE,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,yBAAyB,CAAC,KAAuC;IAC/E,OAAO,qBAAqB,CAAC,KAAK,CAAC,CAAC,WAAW,KAAK,gBAAgB,CAAC;AACvE,CAAC"}

package/dist/drift/retention-observation.d.ts

@@ -0,0 +1,126 @@
+/**
+ * Retention observation — the daemon's client-side read of the retention
+ * picture the product-api heartbeat response already carries.
+ *
+ * The heartbeat response body includes `retentionSchedules` (an array of
+ * per-horizon status). The edge function (supabase/functions/product-api/
+ * handlers/daemon-session-handlers.ts) already computes the two states this
+ * focus exists because nothing could tell apart:
+ *   - a horizon declared but neither heartbeat-enforced nor pg_cron-scheduled
+ *     (classifyRetentionDetection -> `unenforced`), and
+ *   - a horizon wired to an enforcer that has never actually removed a row
+ *     (classifyNeverSwept -> `neverSwept`).
+ * It only console-logs them; nothing on the daemon side read the field at all
+ * (`git grep retentionSchedule -- packages` was empty). This module closes that:
+ * it parses the field the daemon already receives, classifies each horizon with
+ * the SAME conditions as the edge (mirrored below, not re-derived differently),
+ * records the per-beat classification into a bounded window, and evaluates the
+ * precondition that gates retiring the pg_cron fallback -- "this environment's
+ * horizons are being held by the app-side sweep" -- from that recorded window.
+ *
+ * Everything here is pure and independently testable. The heartbeat module owns
+ * the window state and feeds observations in on each successful beat.
+ *
+ * DEGRADE-TO-UNKNOWN: a daemon shipped from this repo (via npm) routinely beats
+ * against an environment whose deployed edge bundle predates the field and omits
+ * `retentionSchedules`, or returns a malformed one. That is the ordinary case
+ * for a while, not an edge case: an absent/malformed field yields an `unknown`
+ * observation and never throws, so it can never disturb the heartbeat or the
+ * daemon's own liveness.
+ */
+/**
+ * Per-environment state of ONE declared retention horizon. Daemon-side mirror of
+ * the edge `RetentionJobStatus` interface (daemon-session-handlers.ts). The edge
+ * normalizes snake_case rows to this camelCase shape before returning it on the
+ * heartbeat response, so the daemon receives it camelCase.
+ */
+export interface RetentionJobStatus {
+    job: string;
+    pgCronAvailable: boolean;
+    scheduleInstalled: boolean;
+    horizonDays: number | null;
+    enforcedByHeartbeat: boolean;
+    /** When this horizon was last actually swept, or null if it has never been swept. */
+    lastSweptAt: string | null;
+    /** Rows removed by the most recent recorded sweep, or null if never swept. */
+    lastRowsRemoved: number | null;
+}
+/**
+ * Parse the `retentionSchedules` array off a heartbeat response body.
+ *
+ * Returns the validated array when present and well-formed, or `null` when the
+ * field is absent (older edge bundle) or malformed. Never throws -- reads the
+ * body the daemon already received, adds no round trip.
+ */
+export declare function parseRetentionSchedules(body: unknown): RetentionJobStatus[] | null;
+/**
+ * Classification of a single declared horizon. Mirrors the edge's two pure
+ * classifiers, collapsed into one mutually-exclusive verdict per horizon:
+ *   - `declared_unenforced` = edge `classifyRetentionDetection` unenforced:
+ *     nothing runs it (no heartbeat sweep AND no installed pg_cron schedule).
+ *   - `never_swept` = edge `classifyNeverSwept`: an enforcer is wired
+ *     (heartbeat and/or installed pg_cron) but no sweep has ever been recorded.
+ *   - `healthy` = enforced AND a sweep has actually run (lastSweptAt set).
+ */
+export type RetentionClassification = 'healthy' | 'declared_unenforced' | 'never_swept';
+/** Classify one horizon. Pure. Mirrors the edge conditions exactly. */
+export declare function classifyRetentionJob(s: RetentionJobStatus): RetentionClassification;
+/**
+ * One beat's retention observation. `jobs` is `null` when the beat produced no
+ * usable retention field (older edge bundle / malformed) -- the "unknown"
+ * observation. Otherwise it is the per-horizon classification for that beat.
+ */
+export interface RetentionBeatObservation {
+    atMs: number;
+    jobs: ReadonlyArray<{
+        job: string;
+        classification: RetentionClassification;
+    }> | null;
+}
+/**
+ * Turn a heartbeat response body into a beat observation. Total: an absent or
+ * malformed field yields `{ jobs: null }` (unknown), never a throw.
+ */
+export declare function observeRetentionBeat(body: unknown, atMs: number): RetentionBeatObservation;
+/** How many beats of observation are kept. Bounded so the window never grows. */
+export declare const RETENTION_WINDOW_SIZE = 10;
+/**
+ * Append an observation to the rolling window, bounded to `maxSize`. Pure --
+ * returns a new array; the caller owns the state cell.
+ */
+export declare function recordRetentionObservation(window: readonly RetentionBeatObservation[], obs: RetentionBeatObservation, maxSize?: number): RetentionBeatObservation[];
+/**
+ * How many consecutive most-recent beats must all show every declared horizon
+ * healthy before the retirement precondition is considered held. Keying the
+ * decision to a window (not a single beat) is what makes it a recorded
+ * observation rather than an assumption.
+ */
+export declare const RETENTION_MIN_HEALTHY_BEATS = 3;
+/**
+ * Verdict on the pg_cron-retirement precondition: "this environment's horizons
+ * are being held by the app-side sweep".
+ *   - `yes`     -- every declared horizon observed healthy across the window.
+ *   - `no`      -- at least one horizon is unenforced or never-swept.
+ *   - `unknown` -- too few beats yet, an older/malformed bundle in the window,
+ *                  or no declared horizons observed. Never conflated with `yes`.
+ */
+export type RetirementPreconditionVerdict = {
+    held: 'yes';
+    observedBeats: number;
+} | {
+    held: 'no';
+    reason: string;
+    unhealthyJobs: string[];
+} | {
+    held: 'unknown';
+    reason: string;
+};
+/**
+ * Evaluate the retirement precondition from the recorded window. Pure. The
+ * verdict flips to `yes` ONLY on recorded healthy observations across the
+ * required number of beats; a single `unknown` beat in the required span, or too
+ * few beats, holds it at `unknown` -- it can never claim `held: yes` from an
+ * environment it has not actually observed enforcing.
+ */
+export declare function evaluateRetirementPrecondition(window: readonly RetentionBeatObservation[], minHealthyBeats?: number): RetirementPreconditionVerdict;
+//# sourceMappingURL=retention-observation.d.ts.map

package/dist/drift/retention-observation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention-observation.d.ts","sourceRoot":"","sources":["../../src/drift/retention-observation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAIH;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,eAAe,EAAE,OAAO,CAAC;IACzB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,qFAAqF;IACrF,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,8EAA8E;IAC9E,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAuBD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,OAAO,GAAG,kBAAkB,EAAE,GAAG,IAAI,CAGlF;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,uBAAuB,GAC/B,SAAS,GACT,qBAAqB,GACrB,aAAa,CAAC;AAElB,uEAAuE;AACvE,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,kBAAkB,GAAG,uBAAuB,CAKnF;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,uBAAuB,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;CACtF;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,wBAAwB,CAO1F;AAED,iFAAiF;AACjF,eAAO,MAAM,qBAAqB,KAAK,CAAC;AAExC;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,wBAAwB,EAAE,EAC3C,GAAG,EAAE,wBAAwB,EAC7B,OAAO,SAAwB,GAC9B,wBAAwB,EAAE,CAG5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;;;;;;GAOG;AACH,MAAM,MAAM,6BAA6B,GACrC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC;;;;;;GAMG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,SAAS,wBAAwB,EAAE,EAC3C,eAAe,SAA8B,GAC5C,6BAA6B,CAiC/B"}

package/dist/drift/retention-observation.js

@@ -0,0 +1,143 @@
+/**
+ * Retention observation — the daemon's client-side read of the retention
+ * picture the product-api heartbeat response already carries.
+ *
+ * The heartbeat response body includes `retentionSchedules` (an array of
+ * per-horizon status). The edge function (supabase/functions/product-api/
+ * handlers/daemon-session-handlers.ts) already computes the two states this
+ * focus exists because nothing could tell apart:
+ *   - a horizon declared but neither heartbeat-enforced nor pg_cron-scheduled
+ *     (classifyRetentionDetection -> `unenforced`), and
+ *   - a horizon wired to an enforcer that has never actually removed a row
+ *     (classifyNeverSwept -> `neverSwept`).
+ * It only console-logs them; nothing on the daemon side read the field at all
+ * (`git grep retentionSchedule -- packages` was empty). This module closes that:
+ * it parses the field the daemon already receives, classifies each horizon with
+ * the SAME conditions as the edge (mirrored below, not re-derived differently),
+ * records the per-beat classification into a bounded window, and evaluates the
+ * precondition that gates retiring the pg_cron fallback -- "this environment's
+ * horizons are being held by the app-side sweep" -- from that recorded window.
+ *
+ * Everything here is pure and independently testable. The heartbeat module owns
+ * the window state and feeds observations in on each successful beat.
+ *
+ * DEGRADE-TO-UNKNOWN: a daemon shipped from this repo (via npm) routinely beats
+ * against an environment whose deployed edge bundle predates the field and omits
+ * `retentionSchedules`, or returns a malformed one. That is the ordinary case
+ * for a while, not an edge case: an absent/malformed field yields an `unknown`
+ * observation and never throws, so it can never disturb the heartbeat or the
+ * daemon's own liveness.
+ */
+import { z } from 'zod';
+/**
+ * Strict validator for one horizon status. Strictness is deliberate: the edge
+ * already normalized every field, so any deviation from this exact shape means
+ * an older/malformed bundle, which must degrade to "unknown" rather than be
+ * half-read.
+ */
+const retentionJobStatusSchema = z.object({
+    job: z.string(),
+    pgCronAvailable: z.boolean(),
+    scheduleInstalled: z.boolean(),
+    horizonDays: z.number().nullable(),
+    enforcedByHeartbeat: z.boolean(),
+    lastSweptAt: z.string().nullable(),
+    lastRowsRemoved: z.number().nullable(),
+});
+/** The `retentionSchedules` field as it appears on the heartbeat response body. */
+const heartbeatBodySchema = z.object({
+    retentionSchedules: z.array(retentionJobStatusSchema),
+});
+/**
+ * Parse the `retentionSchedules` array off a heartbeat response body.
+ *
+ * Returns the validated array when present and well-formed, or `null` when the
+ * field is absent (older edge bundle) or malformed. Never throws -- reads the
+ * body the daemon already received, adds no round trip.
+ */
+export function parseRetentionSchedules(body) {
+    const result = heartbeatBodySchema.safeParse(body);
+    return result.success ? result.data.retentionSchedules : null;
+}
+/** Classify one horizon. Pure. Mirrors the edge conditions exactly. */
+export function classifyRetentionJob(s) {
+    const enforced = s.enforcedByHeartbeat || (s.pgCronAvailable && s.scheduleInstalled);
+    if (!enforced)
+        return 'declared_unenforced';
+    if (s.lastSweptAt === null)
+        return 'never_swept';
+    return 'healthy';
+}
+/**
+ * Turn a heartbeat response body into a beat observation. Total: an absent or
+ * malformed field yields `{ jobs: null }` (unknown), never a throw.
+ */
+export function observeRetentionBeat(body, atMs) {
+    const schedules = parseRetentionSchedules(body);
+    if (schedules === null)
+        return { atMs, jobs: null };
+    return {
+        atMs,
+        jobs: schedules.map((s) => ({ job: s.job, classification: classifyRetentionJob(s) })),
+    };
+}
+/** How many beats of observation are kept. Bounded so the window never grows. */
+export const RETENTION_WINDOW_SIZE = 10;
+/**
+ * Append an observation to the rolling window, bounded to `maxSize`. Pure --
+ * returns a new array; the caller owns the state cell.
+ */
+export function recordRetentionObservation(window, obs, maxSize = RETENTION_WINDOW_SIZE) {
+    const next = [...window, obs];
+    return next.length > maxSize ? next.slice(next.length - maxSize) : next;
+}
+/**
+ * How many consecutive most-recent beats must all show every declared horizon
+ * healthy before the retirement precondition is considered held. Keying the
+ * decision to a window (not a single beat) is what makes it a recorded
+ * observation rather than an assumption.
+ */
+export const RETENTION_MIN_HEALTHY_BEATS = 3;
+/**
+ * Evaluate the retirement precondition from the recorded window. Pure. The
+ * verdict flips to `yes` ONLY on recorded healthy observations across the
+ * required number of beats; a single `unknown` beat in the required span, or too
+ * few beats, holds it at `unknown` -- it can never claim `held: yes` from an
+ * environment it has not actually observed enforcing.
+ */
+export function evaluateRetirementPrecondition(window, minHealthyBeats = RETENTION_MIN_HEALTHY_BEATS) {
+    const recent = window.slice(-minHealthyBeats);
+    if (recent.length < minHealthyBeats) {
+        return {
+            held: 'unknown',
+            reason: `insufficient observations (${recent.length}/${minHealthyBeats} beats recorded)`,
+        };
+    }
+    if (recent.some((b) => b.jobs === null)) {
+        return {
+            held: 'unknown',
+            reason: 'a recent beat returned no retention field (older edge bundle or malformed response)',
+        };
+    }
+    // Every recent beat must carry at least one declared horizon; an all-empty
+    // window has nothing to vouch for and is not "held".
+    if (!recent.every((b) => (b.jobs?.length ?? 0) > 0)) {
+        return { held: 'unknown', reason: 'no declared retention horizons observed' };
+    }
+    const unhealthy = new Set();
+    for (const beat of recent) {
+        for (const j of beat.jobs ?? []) {
+            if (j.classification !== 'healthy')
+                unhealthy.add(j.job);
+        }
+    }
+    if (unhealthy.size > 0) {
+        return {
+            held: 'no',
+            reason: 'one or more declared horizons were not healthy across the window',
+            unhealthyJobs: [...unhealthy].sort(),
+        };
+    }
+    return { held: 'yes', observedBeats: recent.length };
+}
+//# sourceMappingURL=retention-observation.js.map

package/dist/drift/retention-observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention-observation.js","sourceRoot":"","sources":["../../src/drift/retention-observation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAoBxB;;;;;GAKG;AACH,MAAM,wBAAwB,GAAkC,CAAC,CAAC,MAAM,CAAC;IACvE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE;IAC5B,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE;IAChC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAC;AAEH,mFAAmF;AACnF,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;CACtD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAa;IACnD,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAgBD,uEAAuE;AACvE,MAAM,UAAU,oBAAoB,CAAC,CAAqB;IACxD,MAAM,QAAQ,GAAG,CAAC,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC;IACrF,IAAI,CAAC,QAAQ;QAAE,OAAO,qBAAqB,CAAC;IAC5C,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,aAAa,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAa,EAAE,IAAY;IAC9D,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACpD,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,cAAc,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAExC;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAA2C,EAC3C,GAA6B,EAC7B,OAAO,GAAG,qBAAqB;IAE/B,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAe7C;;;;;;GAMG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAA2C,EAC3C,eAAe,GAAG,2BAA2B;IAE7C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC;IAC9C,IAAI,MAAM,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,8BAA8B,MAAM,CAAC,MAAM,IAAI,eAAe,kBAAkB;SACzF,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,qFAAqF;SAC9F,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,qDAAqD;IACrD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,kEAAkE;YAC1E,aAAa,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;SACrC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACvD,CAAC"}