@telora/daemon 0.15.18 → 0.15.23

package/dist/verification-engine.js

@@ -0,0 +1,167 @@
+/**
+ * Pluggable verification engine -- Differential Focus Spec.
+ *
+ * Each delivery is the materialization of an injection. When the delivery
+ * reaches the 'verify' execution status, this engine selects a strategy
+ * based on the delivery's verification_method and runs it. On a 'passed'
+ * outcome the injection is retired (its FRT statement promotes to CRT)
+ * via the existing reality_tree_verify_injection compound op.
+ *
+ * Methods:
+ *   deterministic   -- run a shell command (tests, lint, types). Pass = exit 0.
+ *   behavioral      -- runtime telemetry observation (scaffold; needs drift
+ *                      detection from delivery 82bdf164 to provide signal).
+ *   ai_inspection   -- AI reads code/state and decides (scaffold; needs the
+ *                      reality-tree-dialog skill driving it).
+ *   human           -- pure no-op: human flips verification_outcome via UI.
+ *
+ * @module verification-engine
+ */
+import { spawn } from 'node:child_process';
+import { getPendingVerifications, recordDeliveryVerificationOutcome, verifyInjectionOnPass, } from './queries/verification.js';
+import { configForProduct } from './config.js';
+const DEFAULT_VERIFICATION_TIMEOUT_MS = 5 * 60 * 1000; // 5 minutes
+/**
+ * Run a configured shell command in the focus's worktree (or the product
+ * repo path as fallback). Pass = exit 0.
+ */
+export async function runDeterministicStrategy(config, cwd) {
+    const command = config?.command;
+    if (typeof command !== 'string' || command.length === 0 || !config) {
+        return {
+            outcome: 'escalated',
+            rationale: 'deterministic strategy missing config.command',
+        };
+    }
+    const timeoutMs = typeof config.timeoutMs === 'number' && config.timeoutMs > 0
+        ? config.timeoutMs
+        : DEFAULT_VERIFICATION_TIMEOUT_MS;
+    return new Promise((resolve) => {
+        const child = spawn('sh', ['-c', command], {
+            cwd,
+            stdio: ['ignore', 'pipe', 'pipe'],
+        });
+        let stdout = '';
+        let stderr = '';
+        const tail = (buf, max = 4000) => buf.length <= max ? buf : buf.slice(buf.length - max);
+        child.stdout?.on('data', (chunk) => {
+            stdout += chunk.toString('utf8');
+            stdout = tail(stdout);
+        });
+        child.stderr?.on('data', (chunk) => {
+            stderr += chunk.toString('utf8');
+            stderr = tail(stderr);
+        });
+        const timer = setTimeout(() => {
+            try {
+                child.kill('SIGKILL');
+            }
+            catch { /* ignore */ }
+        }, timeoutMs);
+        child.on('error', (err) => {
+            clearTimeout(timer);
+            resolve({
+                outcome: 'failed',
+                rationale: `deterministic spawn error: ${err.message}`,
+                stdoutTail: stdout,
+                stderrTail: stderr,
+            });
+        });
+        child.on('close', (code) => {
+            clearTimeout(timer);
+            const passed = code === 0;
+            resolve({
+                outcome: passed ? 'passed' : 'failed',
+                rationale: passed
+                    ? 'deterministic check passed (exit 0)'
+                    : `deterministic check failed (exit ${code})`,
+                exitCode: code,
+                stdoutTail: stdout,
+                stderrTail: stderr,
+            });
+        });
+    });
+}
+export async function runHumanStrategy() {
+    return {
+        outcome: 'pending',
+        rationale: 'human strategy -- awaiting "done done" sign-off via UI',
+    };
+}
+export async function runBehavioralStrategy() {
+    return {
+        outcome: 'pending',
+        rationale: 'behavioral strategy scaffold -- runtime telemetry source not yet wired (see drift detection 82bdf164)',
+    };
+}
+export async function runAiInspectionStrategy() {
+    return {
+        outcome: 'pending',
+        rationale: 'ai_inspection strategy scaffold -- needs Claude process driven by reality-tree-dialog skill',
+    };
+}
+const defaultDeps = (config) => ({
+    getPendingVerifications,
+    recordOutcome: recordDeliveryVerificationOutcome,
+    verifyInjection: verifyInjectionOnPass,
+    runDeterministic: runDeterministicStrategy,
+    resolveCwd: (productId) => {
+        if (!productId)
+            return config.repoPath;
+        const product = config.products.find(p => p.id === productId);
+        if (!product)
+            return config.repoPath;
+        return configForProduct(config, product).repoPath;
+    },
+});
+const STRATEGIES = {
+    deterministic: (deps, v) => deps.runDeterministic(v.verificationConfig, deps.resolveCwd(v.productId)),
+    behavioral: () => runBehavioralStrategy(),
+    ai_inspection: () => runAiInspectionStrategy(),
+    human: () => runHumanStrategy(),
+};
+/**
+ * Run verification for a single delivery. Records the outcome and, on
+ * 'passed', retires the injection.
+ */
+export async function runVerificationForDelivery(v, deps) {
+    const strategy = STRATEGIES[v.verificationMethod];
+    const result = await strategy(deps, v);
+    // Record outcome regardless of method (including pending for human/scaffolds).
+    await deps.recordOutcome(v.deliveryId, result.outcome);
+    // On pass: retire the injection, promote FRT overlay to CRT.
+    if (result.outcome === 'passed' && v.injectionNodeId) {
+        await deps.verifyInjection(v.injectionNodeId);
+    }
+    return result;
+}
+/**
+ * One tick: fetch pending verifications across products, dispatch each.
+ * Returns counts for telemetry.
+ */
+export async function runVerificationTick(config, deps) {
+    const merged = { ...defaultDeps(config), ...deps };
+    const counts = { checked: 0, passed: 0, failed: 0, pending: 0, escalated: 0 };
+    for (const product of config.products) {
+        let pending;
+        try {
+            pending = await merged.getPendingVerifications(product.id);
+        }
+        catch (err) {
+            console.warn(`[verification] fetch failed for product ${product.id}:`, err.message);
+            continue;
+        }
+        for (const v of pending) {
+            counts.checked += 1;
+            try {
+                const r = await runVerificationForDelivery(v, merged);
+                counts[r.outcome] = (counts[r.outcome] ?? 0) + 1;
+            }
+            catch (err) {
+                console.warn(`[verification] tick failed for delivery ${v.deliveryId}:`, err.message);
+            }
+        }
+    }
+    return counts;
+}
+//# sourceMappingURL=verification-engine.js.map

package/dist/verification-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-engine.js","sourceRoot":"","sources":["../src/verification-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EACL,uBAAuB,EACvB,iCAAiC,EACjC,qBAAqB,GAItB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAG/C,MAAM,+BAA+B,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY;AAcnE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAAsC,EACtC,GAAW;IAEX,MAAM,OAAO,GAAG,MAAM,EAAE,OAAO,CAAC;IAChC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACnE,OAAO;YACL,OAAO,EAAE,WAAW;YACpB,SAAS,EAAE,+CAA+C;SAC3D,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,GAAG,CAAC;QAC5E,CAAC,CAAC,MAAM,CAAC,SAAS;QAClB,CAAC,CAAC,+BAA+B,CAAC;IAEpC,OAAO,IAAI,OAAO,CAAiB,CAAC,OAAO,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE;YACzC,GAAG;YACH,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;SAClC,CAAC,CAAC;QAEH,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,GAAG,GAAG,IAAI,EAAE,EAAE,CACvC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;QAExD,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE;YACzC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC;gBAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACvD,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC;gBACN,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,8BAA+B,GAAa,CAAC,OAAO,EAAE;gBACjE,UAAU,EAAE,MAAM;gBAClB,UAAU,EAAE,MAAM;aACnB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC;YAC1B,OAAO,CAAC;gBACN,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;gBACrC,SAAS,EAAE,MAAM;oBACf,CAAC,CAAC,qCAAqC;oBACvC,CAAC,CAAC,oCAAoC,IAAI,GAAG;gBAC/C,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,MAAM;gBAClB,UAAU,EAAE,MAAM;aACnB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB;IACpC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,wDAAwD;KACpE,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB;IAC3C,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,6FAA6F;KACzG,CAAC;AACJ,CAAC;AAcD,MAAM,WAAW,GAAG,CAAC,MAAoB,EAAoB,EAAE,CAAC,CAAC;IAC/D,uBAAuB;IACvB,aAAa,EAAE,iCAAiC;IAChD,eAAe,EAAE,qBAAqB;IACtC,gBAAgB,EAAE,wBAAwB;IAC1C,UAAU,EAAE,CAAC,SAAS,EAAE,EAAE;QACxB,IAAI,CAAC,SAAS;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;QAC9D,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC;QACrC,OAAO,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;IACpD,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,UAAU,GAA4G;IAC1H,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACrG,UAAU,EAAE,GAAG,EAAE,CAAC,qBAAqB,EAAE;IACzC,aAAa,EAAE,GAAG,EAAE,CAAC,uBAAuB,EAAE;IAC9C,KAAK,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE;CAChC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB;IAEtB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEvC,+EAA+E;IAC/E,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAEvD,6DAA6D;IAC7D,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACrD,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,MAAoB,EACpB,IAAgC;IAEhC,MAAM,MAAM,GAAqB,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAE9E,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAA8B,CAAC;QACnC,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CACV,2CAA2C,OAAO,CAAC,EAAE,GAAG,EACvD,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;YACpB,IAAI,CAAC;gBACH,MAAM,CAAC,GAAG,MAAM,0BAA0B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACtD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CACV,2CAA2C,CAAC,CAAC,UAAU,GAAG,EACzD,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@telora/daemon",
-  "version": "0.15.18",
+  "version": "0.15.23",
   "description": "Agent orchestration daemon for Telora - spawns and manages Claude Code instances",
   "type": "module",
   "bin": {