@telora/daemon 0.21.26 → 0.21.82

package/dist/verification-deterministic.d.ts

@@ -1,56 +0,0 @@
-/**
- * Deterministic verification strategy: run a shell command and map exit 0 to a
- * pass, streaming the full stdout+stderr to a persistent log file under the
- * daemon state dir.
- *
- * Extracted from verification-engine.ts (which owns dispatch + the pass-path
- * side effects) to keep that file under the daemon 800-line limit. The
- * StrategyResult shape lives here because this is the strategy that produces
- * every field on it; verification-engine imports the type back.
- *
- * @module verification-deterministic
- */
-import type { VerificationOutcome } from './queries/verification.js';
-/** Default deterministic timeout when the config sets none: 5 minutes. */
-export declare const DEFAULT_VERIFICATION_TIMEOUT_MS: number;
-export interface StrategyResult {
-    outcome: VerificationOutcome;
-    rationale?: string;
-    exitCode?: number | null;
-    stdoutTail?: string;
-    stderrTail?: string;
-    /**
-     * Absolute path to the persistent full-log file for a deterministic run
-     * (full stdout+stderr, not just the 4000-char tails). Written under the
-     * daemon state dir. Undefined when no log sink was supplied (e.g. a strategy
-     * that runs no shell command). Carried on the result so the feedback loop
-     * (gate_state) can point at it.
-     */
-    logPath?: string;
-    /** Delivery diff against integration, when the strategy resolved one (ai_inspection). */
-    deliveryDiff?: string;
-    /** Baseline-diff attribution: NEW failures the focus introduced (these gate). */
-    newFailures?: string[];
-    /** Baseline-diff attribution: pre-existing base failures (recorded, non-blocking). */
-    preExisting?: string[];
-}
-/**
- * Context for persisting a deterministic run's full log to a file. When
- * supplied, runDeterministicStrategy streams the complete stdout+stderr to
- * `<stateDir>/verification/verification-<deliveryId>-<startedAtMs>.log` and
- * returns the absolute path on the result. Optional so unit tests that only
- * assert exit-code handling can omit it (no file written).
- */
-export interface DeterministicLogContext {
-    deliveryId: string;
-    /** Millisecond timestamp for a stable, unique filename (injectable for tests). */
-    startedAtMs: number;
-    /** Override the log directory (defaults to <stateDir>/verification). */
-    logDir?: string;
-}
-/**
- * Run a configured shell command in the focus's worktree (or the product
- * repo path as fallback). Pass = exit 0.
- */
-export declare function runDeterministicStrategy(config: Record<string, unknown> | null, cwd: string, logContext?: DeterministicLogContext): Promise<StrategyResult>;
-//# sourceMappingURL=verification-deterministic.d.ts.map

package/dist/verification-deterministic.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deterministic.d.ts","sourceRoot":"","sources":["../src/verification-deterministic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAMH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAOrE,0EAA0E;AAC1E,eAAO,MAAM,+BAA+B,QAAgB,CAAC;AAE7D,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,mBAAmB,CAAC;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yFAAyF;IACzF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,sFAAsF;IACtF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,kFAAkF;IAClF,WAAW,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACtC,GAAG,EAAE,MAAM,EACX,UAAU,CAAC,EAAE,uBAAuB,GACnC,OAAO,CAAC,cAAc,CAAC,CAiIzB"}

package/dist/verification-deterministic.js

@@ -1,153 +0,0 @@
-/**
- * Deterministic verification strategy: run a shell command and map exit 0 to a
- * pass, streaming the full stdout+stderr to a persistent log file under the
- * daemon state dir.
- *
- * Extracted from verification-engine.ts (which owns dispatch + the pass-path
- * side effects) to keep that file under the daemon 800-line limit. The
- * StrategyResult shape lives here because this is the strategy that produces
- * every field on it; verification-engine imports the type back.
- *
- * @module verification-deterministic
- */
-import { spawn } from 'node:child_process';
-import { createWriteStream, mkdirSync } from 'node:fs';
-import { resolve as resolvePath } from 'node:path';
-import { resolveGlobalStateDir } from './daemon-process.js';
-import { acquireVerifyHold } from './worktree/verify-interlock.js';
-import { createLogger } from './log.js';
-const log = createLogger({ module: 'verification' });
-/** Default deterministic timeout when the config sets none: 5 minutes. */
-export const DEFAULT_VERIFICATION_TIMEOUT_MS = 5 * 60 * 1000;
-/**
- * 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, logContext) {
-    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;
-    // Open a persistent full-log sink under the state dir (best-effort). The
-    // 4000-char tails stay as inline evidence; the file captures the WHOLE run
-    // so a failure discovered later has the complete output to point at.
-    let logPath;
-    let logStream;
-    if (logContext) {
-        try {
-            const dir = logContext.logDir ?? resolvePath(resolveGlobalStateDir(), 'verification');
-            mkdirSync(dir, { recursive: true });
-            logPath = resolvePath(dir, `verification-${logContext.deliveryId}-${logContext.startedAtMs}.log`);
-            logStream = createWriteStream(logPath, { mode: 0o600 });
-            // Swallow late write/close errors (e.g. the dir removed mid-flush): a log
-            // sink failure must never crash the tick with an unhandled 'error' event.
-            logStream.on('error', (err) => {
-                log.warn(`log stream error for delivery ${logContext.deliveryId}:`, err.message);
-            });
-            logStream.write(`$ ${command}\n(cwd: ${cwd})\n\n`);
-        }
-        catch (err) {
-            log.warn(`failed to open log file for delivery ${logContext.deliveryId}:`, err.message);
-            logPath = undefined;
-            logStream = undefined;
-        }
-    }
-    // Verify interlock: hold the worktree for the lifetime of the verify process so
-    // no daemon-authored commit path (safety / WIP / lockfile, all via guardedCommit)
-    // can snapshot a transient mid-verify tree state. Acquired BEFORE the spawn and
-    // released the instant the process exits (any exit) in `finish`, which every exit
-    // path funnels through. See worktree/verify-interlock.ts.
-    const releaseVerifyHold = acquireVerifyHold(cwd);
-    return new Promise((resolve) => {
-        let child;
-        try {
-            child = spawn('sh', ['-c', command], {
-                cwd,
-                stdio: ['ignore', 'pipe', 'pipe'],
-            });
-        }
-        catch (err) {
-            // Synchronous spawn failure: release the hold and fail the run rather than
-            // leaking a hold that would wedge the worktree forever.
-            releaseVerifyHold();
-            resolve({
-                outcome: 'failed',
-                rationale: `deterministic spawn threw: ${err.message}`,
-                ...(logPath ? { logPath } : {}),
-            });
-            return;
-        }
-        let stdout = '';
-        let stderr = '';
-        const tail = (buf, max = 4000) => buf.length <= max ? buf : buf.slice(buf.length - max);
-        child.stdout?.on('data', (chunk) => {
-            const text = chunk.toString('utf8');
-            logStream?.write(text);
-            stdout += text;
-            stdout = tail(stdout);
-        });
-        child.stderr?.on('data', (chunk) => {
-            const text = chunk.toString('utf8');
-            logStream?.write(text);
-            stderr += text;
-            stderr = tail(stderr);
-        });
-        const finish = (result) => {
-            // Release the verify interlock the instant the process has exited (clean,
-            // killed, or abnormal -- every exit path calls finish). Idempotent, so an
-            // 'error' followed by a 'close' cannot double-release. Released here, before
-            // the log stream flushes, because the mutation window ended at process exit;
-            // the flush is pure I/O and never touches the worktree.
-            releaseVerifyHold();
-            const finalResult = { ...result, ...(logPath ? { logPath } : {}) };
-            if (logStream) {
-                // Resolve only AFTER the stream has flushed + closed, so the full log
-                // file is durable on disk before a caller (or a reader) touches logPath.
-                try {
-                    logStream.end(() => resolve(finalResult));
-                    return;
-                }
-                catch (err) {
-                    // fall through to immediate resolve
-                    log.debug('fall through to immediate resolve', { error: String(err?.message ?? err) });
-                }
-            }
-            resolve(finalResult);
-        };
-        const timer = setTimeout(() => {
-            try {
-                child.kill('SIGKILL');
-            }
-            catch { /* ignore */ }
-        }, timeoutMs);
-        child.on('error', (err) => {
-            clearTimeout(timer);
-            finish({
-                outcome: 'failed',
-                rationale: `deterministic spawn error: ${err.message}`,
-                stdoutTail: stdout,
-                stderrTail: stderr,
-            });
-        });
-        child.on('close', (code) => {
-            clearTimeout(timer);
-            const passed = code === 0;
-            finish({
-                outcome: passed ? 'passed' : 'failed',
-                rationale: passed
-                    ? 'deterministic check passed (exit 0)'
-                    : `deterministic check failed (exit ${code})`,
-                exitCode: code,
-                stdoutTail: stdout,
-                stderrTail: stderr,
-            });
-        });
-    });
-}
-//# sourceMappingURL=verification-deterministic.js.map

package/dist/verification-deterministic.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deterministic.js","sourceRoot":"","sources":["../src/verification-deterministic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACvD,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAExC,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAuC7D;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,MAAsC,EACtC,GAAW,EACX,UAAoC;IAEpC,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,yEAAyE;IACzE,2EAA2E;IAC3E,qEAAqE;IACrE,IAAI,OAA2B,CAAC;IAChC,IAAI,SAAoD,CAAC;IACzD,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,IAAI,WAAW,CAAC,qBAAqB,EAAE,EAAE,cAAc,CAAC,CAAC;YACtF,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACpC,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,gBAAgB,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,WAAW,MAAM,CAAC,CAAC;YAClG,SAAS,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACxD,0EAA0E;YAC1E,0EAA0E;YAC1E,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;gBAC5B,GAAG,CAAC,IAAI,CAAC,iCAAiC,UAAU,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC9F,CAAC,CAAC,CAAC;YACH,SAAS,CAAC,KAAK,CAAC,KAAK,OAAO,WAAW,GAAG,OAAO,CAAC,CAAC;QACrD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,wCAAwC,UAAU,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YACnG,OAAO,GAAG,SAAS,CAAC;YACpB,SAAS,GAAG,SAAS,CAAC;QACxB,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,kFAAkF;IAClF,gFAAgF;IAChF,kFAAkF;IAClF,0DAA0D;IAC1D,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEjD,OAAO,IAAI,OAAO,CAAiB,CAAC,OAAO,EAAE,EAAE;QAC7C,IAAI,KAA+B,CAAC;QACpC,IAAI,CAAC;YACH,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE;gBACnC,GAAG;gBACH,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;aAClC,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,2EAA2E;YAC3E,wDAAwD;YACxD,iBAAiB,EAAE,CAAC;YACpB,OAAO,CAAC;gBACN,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,8BAA+B,GAAa,CAAC,OAAO,EAAE;gBACjE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChC,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,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,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACpC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,MAAM,IAAI,IAAI,CAAC;YACf,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,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACpC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,MAAM,IAAI,IAAI,CAAC;YACf,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,CAAC,MAAsB,EAAE,EAAE;YACxC,0EAA0E;YAC1E,0EAA0E;YAC1E,6EAA6E;YAC7E,6EAA6E;YAC7E,wDAAwD;YACxD,iBAAiB,EAAE,CAAC;YACpB,MAAM,WAAW,GAAG,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACnE,IAAI,SAAS,EAAE,CAAC;gBACd,sEAAsE;gBACtE,yEAAyE;gBACzE,IAAI,CAAC;oBACH,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;oBAC1C,OAAO;gBACT,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACvB,oCAAoC;oBAC1B,GAAG,CAAC,KAAK,CAAC,mCAAmC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpG,CAAC;YACH,CAAC;YACD,OAAO,CAAC,WAAW,CAAC,CAAC;QACvB,CAAC,CAAC;QAEF,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,MAAM,CAAC;gBACL,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,MAAM,CAAC;gBACL,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"}

package/dist/verification-engine.d.ts

@@ -1,94 +0,0 @@
-/**
- * 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.
- *
- * Per-delivery verification is opt-in: it runs only when a delivery carries
- * an explicit method. A delivery with no method does not block -- focus-level
- * AI review is the sole verify->done authority. Humans observe via the focus
- * debug tab, never via a gate.
- *
- * 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 an
- *                      AI inspection driver that walks the reality tree in
- *                      conversation via `telora_reality_tree_*` MCP calls).
- *
- * @module verification-engine
- */
-import { type StrategyResult } from './verification-deterministic.js';
-export { runDeterministicStrategy, type DeterministicLogContext } from './verification-deterministic.js';
-import { type PendingVerification } from './queries/verification.js';
-import type { DaemonConfig } from './types.js';
-export { collectDefaultOnVerifications, resolveDaemonWideVerifyCap, resolveProductVerificationScopes, verificationSemaphore, VerificationSemaphore, __getVerificationSemaphoreForTests, __resetDefaultOnGuardForTests, __getDefaultOnGuardForTests, __markDefaultOnRanForTests, } from './verification-default-on.js';
-import { type InspectionResult } from './ai-inspection-runner.js';
-export declare function runBehavioralStrategy(): Promise<StrategyResult>;
-/**
- * Spawn a tool-augmented Claude runner against the focus worktree to judge
- * whether the injection's FRT statement holds in the code state. Maps the
- * runner verdict to a verification outcome:
- *   - passed       → outcome 'passed' (caller will retire injection)
- *   - failed       → outcome 'failed' (caller will revert delivery to coding)
- *   - inconclusive → outcome 'pending' (caller leaves the row in queue)
- *
- * The strategy itself does NOT call verifyInjection or emit drift proposals;
- * those side effects are wired by runVerificationForDelivery (next task)
- * so the dispatch layer stays the single owner of the pass-path side effect.
- *
- * Drift observations from the runner are returned via the rationale field
- * (compact JSON) so the caller can persist them as crt_drift_proposals.
- */
-export declare function runAiInspectionStrategy(deps: VerificationDeps, v: PendingVerification): Promise<StrategyResult & {
-    inspection?: InspectionResult;
-}>;
-/**
- * The engine's injectable dependency surface lives in verification-deps.ts --
- * a contract, not behavior. Re-exported here so existing importers and the
- * tests that construct deps objects keep resolving through verification-engine.
- */
-export type { DriftProposalCreatePayload, VerificationDeps } from './verification-deps.js';
-import type { VerificationDeps } from './verification-deps.js';
-/**
- * Verify-gate evidence resolution lives in verification-evidence.ts (diff-range
- * resolution, structured change signals, and the missing-slot naming the
- * instrument-fault hold consumes). Imported for use below and re-exported so
- * existing importers/tests that reach these through verification-engine keep
- * resolving.
- */
-export { MERGED_BACK_GIT_STATES, recordedMergeShaForVerify, type VerifyEvidenceDeps, } from './verification-evidence.js';
-/**
- * Run verification for a single delivery.
- *
- * Ordering invariants:
- *   1. Run the strategy.
- *   2. On verdict 'passed' with an injection node: retire injection FIRST
- *      (verifyInjection runs the reality_tree_verify_injection compound op).
- *      If retirement fails, the outcome demotes to 'pending' so the loop
- *      will retry — better to leave the row queued than to record 'passed'
- *      while the graph is in an inconsistent state.
- *   3. Record the (possibly demoted) outcome.
- *   4. Emit any drift_observations the runner attached, regardless of
- *      verdict. Each becomes a crt_drift_proposal in 'proposed' status.
- *
- * Drift emission is best-effort: a single failure logs and continues so
- * one bad observation does not prevent the rest from being persisted.
- */
-export declare function runVerificationForDelivery(v: PendingVerification, deps: VerificationDeps): Promise<StrategyResult>;
-/**
- * One tick: fetch pending verifications across products, dispatch each.
- * Returns counts for telemetry.
- */
-export declare function runVerificationTick(config: DaemonConfig, deps?: Partial<VerificationDeps>): Promise<{
-    checked: number;
-    passed: number;
-    failed: number;
-    pending: number;
-    escalated: number;
-}>;
-//# sourceMappingURL=verification-engine.d.ts.map

package/dist/verification-engine.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-engine.d.ts","sourceRoot":"","sources":["../src/verification-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAA4B,KAAK,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAChG,OAAO,EAAE,wBAAwB,EAAE,KAAK,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AACzG,OAAO,EAKL,KAAK,mBAAmB,EAGzB,MAAM,2BAA2B,CAAC;AAWnC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAe/C,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,EAC1B,gCAAgC,EAChC,qBAAqB,EACrB,qBAAqB,EACrB,kCAAkC,EAClC,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,2BAA2B,CAAC;AAiBnC,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,cAAc,CAAC,CAKrE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAmB7D;AAMD;;;;GAIG;AACH,YAAY,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC3F,OAAO,KAAK,EAA8B,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAkK3F;;;;;;GAMG;AACH,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,KAAK,kBAAkB,GACxB,MAAM,4BAA4B,CAAC;AAYpC;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,cAAc,CAAC,CAsZzB;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,YAAY,EACpB,IAAI,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAC/B,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAwFlG"}