@telora/daemon 0.18.49 → 0.18.58

package/dist/prd-clearance-engine.js

@@ -1,164 +0,0 @@
-/**
- * PRD obstacle clearance predicate engine -- Staged Assembly: PRD Layer.
- *
- * This module lifts the per-delivery verification engine one altitude up to the
- * PRD Prerequisite Tree (PRT) obstacle. Where `verification-engine.ts` answers
- * "is this delivery's injection cleared?", this answers "is this milestone's
- * obstacle cleared?" -- and, in aggregate, "is the whole milestone complete?".
- *
- * The clearance predicate is BOTH the completion signal AND the divergence
- * detector: a PRD (milestone) is done exactly when every obstacle's verifiable
- * clearance predicate passes. (UDE #4 -> desired effect: milestone completion
- * is computable.)
- *
- * Design constraints (delivery C):
- *   - PURE. No DB access, no reality-tree writes, no module-level mutable state.
- *     The caller fetches obstacles (from `prd_prt_nodes.clearance_predicate`) and
- *     passes them in; this module only computes verdicts.
- *   - Command execution is INJECTED via `ClearanceContext.runCommand` so tests
- *     never shell out. A `defaultRunCommand` is provided for real callers and
- *     mirrors `verification-engine.runDeterministicStrategy` (spawn `sh -c`, tail
- *     output at 4000 chars, exit 0 = pass) -- but returns the raw triple rather
- *     than a StrategyResult, keeping this module side-effect-light.
- *   - NO daemon-loop wiring here. Wiring into the focus/verification loop is a
- *     later delivery (D).
- *
- * Predicate kinds mirror the verification engine's strategy taxonomy:
- *   deterministic  -- run shell checks; all exit 0 => cleared.
- *   behavioral     -- runtime telemetry observation (deferred; no signal source).
- *   ai_inspection  -- AI reads code/state and decides (deferred; no driver).
- *   human          -- a human attests clearance (deferred; out of band).
- *
- * @module prd-clearance-engine
- */
-import { spawn } from 'node:child_process';
-const DEFAULT_CLEARANCE_TIMEOUT_MS = 5 * 60 * 1000; // 5 minutes
-const OUTPUT_TAIL_MAX = 4000;
-// ---------------------------------------------------------------------------
-// Default command runner (mirrors runDeterministicStrategy)
-// ---------------------------------------------------------------------------
-/**
- * Real shell runner: spawn `sh -c <cmd>` in `cwd`, capture stdout/stderr tailed
- * to 4000 chars, resolve `{ exitCode, stdoutTail, stderrTail }`. A spawn error
- * resolves with `exitCode: null` (treated as a non-pass by callers). Mirrors
- * `verification-engine.runDeterministicStrategy` but returns the raw triple.
- */
-export const defaultRunCommand = (cmd, cwd) => {
-    return new Promise((resolve) => {
-        const child = spawn('sh', ['-c', cmd], {
-            cwd,
-            stdio: ['ignore', 'pipe', 'pipe'],
-        });
-        let stdout = '';
-        let stderr = '';
-        const tail = (buf, max = OUTPUT_TAIL_MAX) => 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 */ }
-        }, DEFAULT_CLEARANCE_TIMEOUT_MS);
-        child.on('error', (err) => {
-            clearTimeout(timer);
-            resolve({
-                exitCode: null,
-                stdoutTail: stdout,
-                stderrTail: tail(`${stderr}\n${err.message}`),
-            });
-        });
-        child.on('close', (code) => {
-            clearTimeout(timer);
-            resolve({ exitCode: code, stdoutTail: stdout, stderrTail: stderr });
-        });
-    });
-};
-// ---------------------------------------------------------------------------
-// Evaluation
-// ---------------------------------------------------------------------------
-const DEFERRAL_REASON = {
-    behavioral: 'behavioral clearance deferred -- no runtime telemetry source wired',
-    ai_inspection: 'ai_inspection clearance deferred -- no AI inspection driver wired',
-    human: 'human clearance deferred -- requires out-of-band human attestation',
-};
-/**
- * Evaluate a single obstacle's clearance predicate. PURE.
- *
- * - deterministic: run each check via `ctx.runCommand ?? defaultRunCommand`.
- *   exit 0 = passed. All pass => cleared. No checks (undefined/empty) =>
- *   not cleared, not deferred (a deterministic predicate with nothing to check
- *   cannot assert clearance).
- * - behavioral | ai_inspection | human: deferred (cleared:false, deferred:true);
- *   evidence names the deferral reason.
- */
-export async function evaluateClearance(predicate, ctx) {
-    if (predicate.kind !== 'deterministic') {
-        return {
-            kind: predicate.kind,
-            cleared: false,
-            deferred: true,
-            evidence: DEFERRAL_REASON[predicate.kind],
-        };
-    }
-    const checks = predicate.checks ?? [];
-    if (checks.length === 0) {
-        return {
-            kind: 'deterministic',
-            cleared: false,
-            deferred: false,
-            evidence: 'no checks defined -- deterministic predicate cannot assert clearance',
-            checkResults: [],
-        };
-    }
-    const run = ctx.runCommand ?? defaultRunCommand;
-    const checkResults = [];
-    for (const check of checks) {
-        const { exitCode } = await run(check.cmd, ctx.worktreeDir);
-        checkResults.push({
-            cmd: check.cmd,
-            exitCode,
-            passed: exitCode === 0,
-        });
-    }
-    const passedCount = checkResults.filter(r => r.passed).length;
-    const cleared = passedCount === checkResults.length;
-    return {
-        kind: 'deterministic',
-        cleared,
-        deferred: false,
-        evidence: cleared
-            ? `deterministic clearance passed (${passedCount}/${checkResults.length} checks exit 0)`
-            : `deterministic clearance failed (${passedCount}/${checkResults.length} checks exit 0)`,
-        checkResults,
-    };
-}
-/**
- * Aggregate clearance across all obstacles of a PRT -- the "milestone
- * completion is computable" primitive. PURE; the caller fetches the obstacles
- * (each carrying its `clearance_predicate`).
- *
- * - `allCleared` is true only when there is at least one obstacle AND every
- *   obstacle's verdict is cleared. (An empty obstacle set cannot assert a
- *   complete milestone.)
- * - `deferredCount` counts obstacles whose predicate could not be evaluated
- *   automatically -- these block `allCleared` and flag where human/AI signal
- *   is still required.
- */
-export async function evaluatePrtClearance(obstacles, ctx) {
-    const nodeVerdicts = [];
-    for (const obstacle of obstacles) {
-        const verdict = await evaluateClearance(obstacle.predicate, ctx);
-        nodeVerdicts.push({ nodeId: obstacle.nodeId, verdict });
-    }
-    const allCleared = obstacles.length > 0 && nodeVerdicts.every(nv => nv.verdict.cleared);
-    const deferredCount = nodeVerdicts.filter(nv => nv.verdict.deferred).length;
-    return { nodeVerdicts, allCleared, deferredCount };
-}
-//# sourceMappingURL=prd-clearance-engine.js.map

package/dist/prd-clearance-engine.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prd-clearance-engine.js","sourceRoot":"","sources":["../src/prd-clearance-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,4BAA4B,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY;AAChE,MAAM,eAAe,GAAG,IAAI,CAAC;AA0D7B,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAe,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACxD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;YACrC,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,eAAe,EAAU,EAAE,CAC1D,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,4BAA4B,CAAC,CAAC;QAEjC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE;YACxB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC;gBACN,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,MAAM;gBAClB,UAAU,EAAE,IAAI,CAAC,GAAG,MAAM,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC;aACzD,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,eAAe,GAA4D;IAC/E,UAAU,EAAE,oEAAoE;IAChF,aAAa,EAAE,mEAAmE;IAClF,KAAK,EAAE,oEAAoE;CAC5E,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,SAA6B,EAC7B,GAAqB;IAErB,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC;IACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,sEAAsE;YAChF,YAAY,EAAE,EAAE;SACjB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,IAAI,iBAAiB,CAAC;IAChD,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3D,YAAY,CAAC,IAAI,CAAC;YAChB,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,QAAQ;YACR,MAAM,EAAE,QAAQ,KAAK,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,WAAW,KAAK,YAAY,CAAC,MAAM,CAAC;IAEpD,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,OAAO;QACP,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,OAAO;YACf,CAAC,CAAC,mCAAmC,WAAW,IAAI,YAAY,CAAC,MAAM,iBAAiB;YACxF,CAAC,CAAC,mCAAmC,WAAW,IAAI,YAAY,CAAC,MAAM,iBAAiB;QAC1F,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,SAA8D,EAC9D,GAAqB;IAMrB,MAAM,YAAY,GAAoD,EAAE,CAAC;IACzE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACjE,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IAE5E,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AACrD,CAAC"}