audit-tools 0.28.0

package/dist/audit/orchestrator/designReviewSnapshot.js

@@ -0,0 +1,135 @@
+/**
+ * Diff-based re-review for audit-code's design-review passes (B2 parity port).
+ *
+ * Friction (the audit-code half of remediate-code's B2): when the structural
+ * inputs to a design-review pass genuinely change, the verdict-bearing pass
+ * (contract-assessment / conceptual-design-critique) re-runs as a FULL pass — an
+ * expensive LLM review (or a multi-perspective fan-out + judge) burned from
+ * scratch even when the change touches only a small part of what the review
+ * reasoned about. Before this port the opposite failure also lurked: the
+ * `*_reviewed` flags were carried forward unconditionally, so a real structural
+ * change never re-triggered the review at all.
+ *
+ * Fix (mirrors `contractPipeline/reviewSnapshot.ts`): when a design-review pass
+ * completes, snapshot the SEMANTIC PROJECTIONS of the exact structural inputs it
+ * reviewed plus its own verdict (the findings it produced). The pass's staleness
+ * is then keyed on those projections — a cosmetic upstream edit projects
+ * identically and keeps the review fresh; a real structural change re-stales it.
+ * When it does re-stale, the re-emit prompt carries the prior verdict + the
+ * precise changed-since-last-review delta and instructs re-affirm-or-revise-only-
+ * affected — never a blind full re-run. Enforced by the tool, not host memory.
+ */
+import { existsSync } from "node:fs";
+import { mkdir } from "node:fs/promises";
+import { join } from "node:path";
+import { diffProjections, readOptionalJsonFile, renderDiffReReviewSection, stableStringifyProjection, writeJsonFile, } from "audit-tools/shared";
+import { DESIGN_REVIEW_INPUTS, projectDesignReviewInput, } from "./designReviewProjection.js";
+/** The two verdict-bearing design-review passes (each snapshots independently). */
+export const DESIGN_REVIEW_PASSES = ["contract", "conceptual"];
+const SNAPSHOT_SCHEMA_VERSION = "audit-code/design-review-snapshot/v1alpha1";
+const SNAPSHOT_DIRNAME = "design-review-snapshots";
+function snapshotDir(artifactsDir) {
+    return join(artifactsDir, SNAPSHOT_DIRNAME);
+}
+export function designReviewSnapshotPath(artifactsDir, pass) {
+    return join(snapshotDir(artifactsDir), `${pass}.json`);
+}
+export function designReviewSnapshotExists(artifactsDir, pass) {
+    return existsSync(designReviewSnapshotPath(artifactsDir, pass));
+}
+export async function readDesignReviewSnapshot(artifactsDir, pass) {
+    return ((await readOptionalJsonFile(designReviewSnapshotPath(artifactsDir, pass))) ?? null);
+}
+/**
+ * Load both design-review snapshots from disk into the bundle-side view, so the
+ * synchronous `deriveAuditState` can compute pass staleness in-memory. Absent
+ * snapshots are simply omitted.
+ */
+export async function loadDesignReviewSnapshots(artifactsDir) {
+    const out = {};
+    for (const pass of DESIGN_REVIEW_PASSES) {
+        const snapshot = await readDesignReviewSnapshot(artifactsDir, pass);
+        if (snapshot)
+            out[pass] = snapshot;
+    }
+    return out;
+}
+/**
+ * Capture a design-review snapshot for a freshly-completed pass: the semantic
+ * projection of every structural input plus the pass's own findings (verdict).
+ */
+export async function captureDesignReviewSnapshot(artifactsDir, pass, priorFindings, bundle, reviewedAt) {
+    const reviewed_inputs = {};
+    for (const input of DESIGN_REVIEW_INPUTS) {
+        reviewed_inputs[input] = projectDesignReviewInput(input, bundle);
+    }
+    const snapshot = {
+        schema_version: SNAPSHOT_SCHEMA_VERSION,
+        pass,
+        reviewed_at: reviewedAt,
+        prior_findings: priorFindings,
+        reviewed_inputs,
+    };
+    await mkdir(snapshotDir(artifactsDir), { recursive: true });
+    await writeJsonFile(designReviewSnapshotPath(artifactsDir, pass), snapshot);
+}
+/**
+ * Compute the re-review delta for a design-review pass against its snapshot:
+ * which structural inputs changed (by semantic projection) since the prior
+ * verdict, and the field-level diff for each.
+ */
+export function computeDesignReReviewDelta(snapshot, bundle) {
+    const changedInputs = [];
+    for (const input of DESIGN_REVIEW_INPUTS) {
+        const current = projectDesignReviewInput(input, bundle);
+        const prior = snapshot.reviewed_inputs[input];
+        const lines = diffProjections(prior, current);
+        if (lines.length > 0)
+            changedInputs.push({ label: input, lines });
+    }
+    return { changedInputs, allUnchanged: changedInputs.length === 0 };
+}
+/**
+ * Whether a design-review pass is stale relative to its snapshot — i.e. the
+ * semantic projection of any structural input has changed since the verdict was
+ * recorded. The synchronous staleness signal `deriveAuditState` consumes.
+ */
+export function isDesignReviewStale(snapshot, bundle) {
+    for (const input of DESIGN_REVIEW_INPUTS) {
+        const prior = stableStringifyProjection(snapshot.reviewed_inputs[input]);
+        const current = stableStringifyProjection(projectDesignReviewInput(input, bundle));
+        if (prior !== current)
+            return true;
+    }
+    return false;
+}
+/**
+ * Render the diff-based re-review section appended to a design-review pass's
+ * re-emit prompt. Delegates the prompt body to the shared
+ * `renderDiffReReviewSection` so the shape matches remediate-code's contract
+ * pipeline exactly.
+ */
+export function renderDesignReReviewSection(snapshot, delta) {
+    return renderDiffReReviewSection({
+        priorPayload: snapshot.prior_findings,
+        changedInputs: delta.changedInputs,
+        allUnchanged: delta.allUnchanged,
+        subjectNoun: "design-review pass",
+    });
+}
+/**
+ * Build the diff-based re-review section for a design-review pass being re-emitted
+ * after staleness, or `undefined` when this is not a re-review (no prior
+ * snapshot — i.e. first authoring). Mirrors remediate-code's
+ * `buildReReviewSection`. The pass-level step is only emitted when the pass is
+ * `missing` (no snapshot → `undefined`) or `stale` (snapshot present → section),
+ * so the section appears exactly on a genuine re-review.
+ */
+export async function buildDesignReReviewSection(artifactsDir, bundle, pass) {
+    const snapshot = await readDesignReviewSnapshot(artifactsDir, pass);
+    if (!snapshot)
+        return undefined;
+    const delta = computeDesignReReviewDelta(snapshot, bundle);
+    return renderDesignReReviewSection(snapshot, delta);
+}
+//# sourceMappingURL=designReviewSnapshot.js.map

package/dist/audit/orchestrator/designReviewSnapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"designReviewSnapshot.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/designReviewSnapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,yBAAyB,EACzB,yBAAyB,EACzB,aAAa,GAEd,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,oBAAoB,EACpB,wBAAwB,GAGzB,MAAM,6BAA6B,CAAC;AAErC,mFAAmF;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAU,CAAC;AAGxE,MAAM,uBAAuB,GAAG,4CAAqD,CAAC;AAkBtF,MAAM,gBAAgB,GAAG,yBAAyB,CAAC;AAEnD,SAAS,WAAW,CAAC,YAAoB;IACvC,OAAO,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,YAAoB,EACpB,IAAsB;IAEtB,OAAO,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,YAAoB,EACpB,IAAsB;IAEtB,OAAO,UAAU,CAAC,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,YAAoB,EACpB,IAAsB;IAEtB,OAAO,CACL,CAAC,MAAM,oBAAoB,CACzB,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAC7C,CAAC,IAAI,IAAI,CACX,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,YAAoB;IAEpB,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,YAAoB,EACpB,IAAsB,EACtB,aAAwB,EACxB,MAA0B,EAC1B,UAAkB;IAElB,MAAM,eAAe,GAAG,EAAwC,CAAC;IACjE,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,eAAe,CAAC,KAAK,CAAC,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,QAAQ,GAAyB;QACrC,cAAc,EAAE,uBAAuB;QACvC,IAAI;QACJ,WAAW,EAAE,UAAU;QACvB,cAAc,EAAE,aAAa;QAC7B,eAAe;KAChB,CAAC;IACF,MAAM,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,aAAa,CAAC,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC9E,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,QAA8B,EAC9B,MAA0B;IAE1B,MAAM,aAAa,GAA0B,EAAE,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAA8B,EAC9B,MAA0B;IAE1B,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,yBAAyB,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,yBAAyB,CACvC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,CACxC,CAAC;QACF,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA8B,EAC9B,KAA0B;IAE1B,OAAO,yBAAyB,CAAC;QAC/B,YAAY,EAAE,QAAQ,CAAC,cAAc;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,WAAW,EAAE,oBAAoB;KAClC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,YAAoB,EACpB,MAA0B,EAC1B,IAAsB;IAEtB,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,KAAK,GAAG,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,OAAO,2BAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACtD,CAAC"}

package/dist/audit/orchestrator/edgeReasoning.d.ts

@@ -0,0 +1,40 @@
+import type { GraphBundle, GraphEdge } from "audit-tools/shared";
+export declare const DEFAULT_EDGE_CONFIDENCE_FLOOR = 0.65;
+/** Bound the candidate set so one pathological repo cannot balloon the call. */
+export declare const MAX_REASONED_EDGES = 200;
+/** One host-supplied reason rewrite, matched to an edge by (from, to, kind). */
+export interface EdgeReasonRewrite {
+    from: string;
+    to: string;
+    /** Optional; when omitted the rewrite matches any candidate with from+to. */
+    kind?: string;
+    reason: string;
+}
+export interface EdgeReasoningResults {
+    rewrites: EdgeReasonRewrite[];
+}
+export interface EdgeReasoningOptions {
+    /** Edges strictly below this confidence are candidates (default 0.65). */
+    confidenceFloor?: number;
+}
+export interface EdgeReasoningSummary {
+    rewritten: number;
+    candidates: number;
+}
+/**
+ * Collect the low-confidence edges (the actual edge objects, so the caller can
+ * mutate `reason` in place) in a deterministic order. Routes are excluded — they
+ * carry no `reason`/`confidence`.
+ */
+export declare function collectLowConfidenceEdges(bundle: GraphBundle, floor?: number): GraphEdge[];
+/** Stable content hash of the candidate edge set, for host-side call caching. */
+export declare function edgeReasoningContentHash(candidates: GraphEdge[]): string;
+/** The single bounded prompt a host runs to produce {@link EdgeReasoningResults}. */
+export declare function buildEdgeReasoningPrompt(candidates: GraphEdge[]): string;
+/**
+ * Apply host-supplied reason rewrites to `bundle` (mutated in place). Only edges
+ * below the confidence floor are eligible; a rewrite that matches no eligible
+ * edge is ignored. Returns a summary; the edge set itself is invariant.
+ */
+export declare function applyEdgeReasoning(bundle: GraphBundle, results: EdgeReasoningResults | undefined, options?: EdgeReasoningOptions): EdgeReasoningSummary;
+//# sourceMappingURL=edgeReasoning.d.ts.map

package/dist/audit/orchestrator/edgeReasoning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edgeReasoning.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/edgeReasoning.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAsBjE,eAAO,MAAM,6BAA6B,OAAO,CAAC;AAClD,gFAAgF;AAChF,eAAO,MAAM,kBAAkB,MAAM,CAAC;AAEtC,gFAAgF;AAChF,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,6EAA6E;IAC7E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,0EAA0E;IAC1E,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAYD;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,WAAW,EACnB,KAAK,GAAE,MAAsC,GAC5C,SAAS,EAAE,CAgBb;AAED,iFAAiF;AACjF,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,CAYxE;AAED,qFAAqF;AACrF,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,MAAM,CAiBxE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE,oBAAoB,GAAG,SAAS,EACzC,OAAO,GAAE,oBAAyB,GACjC,oBAAoB,CA0CtB"}

package/dist/audit/orchestrator/edgeReasoning.js

@@ -0,0 +1,126 @@
+import { createHash } from "node:crypto";
+/**
+ * Phase 4B — optional, bounded edge-reasoning pass.
+ *
+ * A deterministic transform that may only rewrite the human-readable `reason`
+ * of existing low-confidence graph edges. It never adds, removes, re-targets, or
+ * re-weights an edge: the `(from, to, kind, confidence, direction)` identity of
+ * every edge is preserved exactly. Rewrites are host/provider-supplied (the same
+ * conversation-first pattern as the Phase 6 synthesis narrative) — no in-process
+ * LLM call. No rewrites (or the config flag off) → no-op, leaving the
+ * deterministic graph byte-identical. This is part of the
+ * `graph_enrichment_current` obligation.
+ *
+ * The pass is bounded to edges below a confidence floor (default 0.65) because
+ * those are exactly the heuristic edges whose terse machine reason benefits from
+ * a clearer explanation; high-confidence compiler/import edges are left alone.
+ * {@link buildEdgeReasoningPrompt} and {@link edgeReasoningContentHash} let a
+ * host produce and cache that single rewriting call by edge-set content hash.
+ */
+const EDGE_REASONING_VERSION = 1;
+export const DEFAULT_EDGE_CONFIDENCE_FLOOR = 0.65;
+/** Bound the candidate set so one pathological repo cannot balloon the call. */
+export const MAX_REASONED_EDGES = 200;
+function confidenceOf(edge) {
+    return typeof edge.confidence === "number" && Number.isFinite(edge.confidence)
+        ? edge.confidence
+        : 0;
+}
+function edgeSignature(edge) {
+    return `${edge.from}\0${edge.to}\0${edge.kind ?? ""}`;
+}
+/**
+ * Collect the low-confidence edges (the actual edge objects, so the caller can
+ * mutate `reason` in place) in a deterministic order. Routes are excluded — they
+ * carry no `reason`/`confidence`.
+ */
+export function collectLowConfidenceEdges(bundle, floor = DEFAULT_EDGE_CONFIDENCE_FLOOR) {
+    const candidates = [];
+    for (const bucket of [
+        bundle.graphs.imports,
+        bundle.graphs.calls,
+        bundle.graphs.references,
+    ]) {
+        for (const edge of bucket ?? []) {
+            if (confidenceOf(edge) < floor) {
+                candidates.push(edge);
+            }
+        }
+    }
+    return candidates
+        .sort((a, b) => edgeSignature(a).localeCompare(edgeSignature(b)))
+        .slice(0, MAX_REASONED_EDGES);
+}
+/** Stable content hash of the candidate edge set, for host-side call caching. */
+export function edgeReasoningContentHash(candidates) {
+    const basis = JSON.stringify({
+        version: EDGE_REASONING_VERSION,
+        edges: candidates.map((edge) => ({
+            from: edge.from,
+            to: edge.to,
+            kind: edge.kind ?? "",
+            confidence: confidenceOf(edge),
+            reason: edge.reason ?? "",
+        })),
+    });
+    return createHash("sha256").update(basis).digest("hex");
+}
+/** The single bounded prompt a host runs to produce {@link EdgeReasoningResults}. */
+export function buildEdgeReasoningPrompt(candidates) {
+    const lines = candidates.map((edge) => `- from: ${edge.from} | to: ${edge.to} | kind: ${edge.kind ?? "?"} | confidence: ${confidenceOf(edge).toFixed(2)} | current: ${edge.reason ?? "(none)"}`);
+    return [
+        "You are improving the human-readable 'reason' for low-confidence edges in a code dependency graph.",
+        "Each edge links a source file to a target file by a relationship 'kind'.",
+        "For each edge you can improve, write one clear, specific sentence explaining why that relationship plausibly holds.",
+        "Do NOT invent new edges, drop edges, or change which files are linked — only rewrite the reason text.",
+        "Omit any edge whose reason you cannot improve.",
+        "",
+        "Edges:",
+        ...lines,
+        "",
+        'Respond with JSON only: {"rewrites":[{"from":"...","to":"...","kind":"...","reason":"..."}]}',
+    ].join("\n");
+}
+/**
+ * Apply host-supplied reason rewrites to `bundle` (mutated in place). Only edges
+ * below the confidence floor are eligible; a rewrite that matches no eligible
+ * edge is ignored. Returns a summary; the edge set itself is invariant.
+ */
+export function applyEdgeReasoning(bundle, results, options = {}) {
+    const floor = options.confidenceFloor ?? DEFAULT_EDGE_CONFIDENCE_FLOOR;
+    const candidates = collectLowConfidenceEdges(bundle, floor);
+    if (!results || !Array.isArray(results.rewrites) || candidates.length === 0) {
+        return { rewritten: 0, candidates: candidates.length };
+    }
+    const bySignature = new Map();
+    const byEndpoints = new Map();
+    for (const edge of candidates) {
+        bySignature.set(edgeSignature(edge), edge);
+        const endpoints = `${edge.from}\0${edge.to}`;
+        if (!byEndpoints.has(endpoints)) {
+            byEndpoints.set(endpoints, edge);
+        }
+    }
+    let rewritten = 0;
+    const seen = new Set();
+    for (const rewrite of results.rewrites) {
+        if (!rewrite ||
+            typeof rewrite.from !== "string" ||
+            typeof rewrite.to !== "string" ||
+            typeof rewrite.reason !== "string" ||
+            rewrite.reason.trim().length === 0) {
+            continue;
+        }
+        const edge = rewrite.kind !== undefined
+            ? bySignature.get(`${rewrite.from}\0${rewrite.to}\0${rewrite.kind}`)
+            : byEndpoints.get(`${rewrite.from}\0${rewrite.to}`);
+        if (!edge || seen.has(edge)) {
+            continue;
+        }
+        edge.reason = rewrite.reason.trim();
+        seen.add(edge);
+        rewritten += 1;
+    }
+    return { rewritten, candidates: candidates.length };
+}
+//# sourceMappingURL=edgeReasoning.js.map

package/dist/audit/orchestrator/edgeReasoning.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edgeReasoning.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/edgeReasoning.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC;;;;;;;;;;;;;;;;;GAiBG;AAEH,MAAM,sBAAsB,GAAG,CAAC,CAAC;AACjC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC;AAClD,gFAAgF;AAChF,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAyBtC,SAAS,YAAY,CAAC,IAAe;IACnC,OAAO,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;QAC5E,CAAC,CAAC,IAAI,CAAC,UAAU;QACjB,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,aAAa,CAAC,IAAe;IACpC,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAmB,EACnB,QAAgB,6BAA6B;IAE7C,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI;QACnB,MAAM,CAAC,MAAM,CAAC,OAAO;QACrB,MAAM,CAAC,MAAM,CAAC,KAAK;QACnB,MAAM,CAAC,MAAM,CAAC,UAAU;KACzB,EAAE,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;YAChC,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;gBAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU;SACd,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;SAChE,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAClC,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,wBAAwB,CAAC,UAAuB;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC;QAC3B,OAAO,EAAE,sBAAsB;QAC/B,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;YACrB,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC;YAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;SAC1B,CAAC,CAAC;KACJ,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,wBAAwB,CAAC,UAAuB;IAC9D,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAC1B,CAAC,IAAI,EAAE,EAAE,CACP,WAAW,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,YAAY,IAAI,CAAC,IAAI,IAAI,GAAG,kBAAkB,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,MAAM,IAAI,QAAQ,EAAE,CAC3J,CAAC;IACF,OAAO;QACL,oGAAoG;QACpG,0EAA0E;QAC1E,qHAAqH;QACrH,uGAAuG;QACvG,gDAAgD;QAChD,EAAE;QACF,QAAQ;QACR,GAAG,KAAK;QACR,EAAE;QACF,8FAA8F;KAC/F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAmB,EACnB,OAAyC,EACzC,UAAgC,EAAE;IAElC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,IAAI,6BAA6B,CAAC;IACvE,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;IACzD,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAqB,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAqB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAa,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IACE,CAAC,OAAO;YACR,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAChC,OAAO,OAAO,CAAC,EAAE,KAAK,QAAQ;YAC9B,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ;YAClC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAClC,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GACR,OAAO,CAAC,IAAI,KAAK,SAAS;YACxB,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC;YACpE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC;AACtD,CAAC"}

package/dist/audit/orchestrator/executorResult.d.ts

@@ -0,0 +1,71 @@
+import type { ArtifactBundle } from "../io/artifacts.js";
+/**
+ * Structured log event emitted during an executor step. Machine consumers should
+ * read `log_entries` and `degraded` on `ExecutorRunResult` rather than parsing
+ * `progress_summary`.
+ */
+export interface LogEntry {
+    severity: "debug" | "info" | "warn" | "error";
+    message: string;
+    timestamp_ms: number;
+    /** Contextual key/value pairs such as task_id, run_id, analyzer name, file path. */
+    context?: Record<string, unknown>;
+}
+/**
+ * Resolved audit scope, emitted by the intake executor so the conversation-first
+ * loader can echo what is about to be audited (and gate on confirmation when a
+ * mis-scope smell suggests the user targeted the wrong directory).
+ */
+export interface ScopeSummary {
+    /** Absolute path of the resolved repository root being audited. */
+    repo_root: string;
+    /** Count of files that will actually be audited (after disposition filtering). */
+    auditable_file_count: number;
+    /** Whether `repo_root` sits inside a git working tree. */
+    git_available: boolean;
+    /**
+     * Zero or more human-readable warnings that the resolved root may be the wrong
+     * target (e.g. a non-git subdirectory whose ancestor is a repo, or a workspace
+     * member of a parent monorepo). Empty when the scope looks correct.
+     */
+    mis_scope_smells: string[];
+}
+/**
+ * Uniform result of running one audit executor: the updated artifact bundle, the
+ * artifact filenames it wrote (which drive metadata/staleness bookkeeping in
+ * advanceAudit), and a one-line human progress summary. Shared by every executor
+ * module so they need not depend on the internalExecutors barrel.
+ *
+ * `progress_summary` is a human-readable one-liner for UI display only. Machine
+ * consumers should read `log_entries` and `degraded` instead of parsing it.
+ */
+export interface ExecutorRunResult {
+    updated: ArtifactBundle;
+    artifacts_written: string[];
+    progress_summary: string;
+    /**
+     * Optional resolved-scope summary. Only the intake executor sets this; it lets
+     * the loader echo the audit target and gate on confirmation when
+     * `mis_scope_smells` is non-empty.
+     */
+    scope_summary?: ScopeSummary;
+    /**
+     * Structured log events emitted during the step (errors, warnings, partial
+     * failures, analyzer skips). Machine consumers should read this instead of
+     * parsing `progress_summary`.
+     */
+    log_entries?: LogEntry[];
+    /**
+     * Wall-clock milliseconds from executor entry to return, enabling step-latency
+     * tracking without string-parsing.
+     */
+    step_duration_ms?: number;
+    /**
+     * Set to `true` when the step completed but encountered at least one non-fatal
+     * error (e.g. a language-analyzer failure, a line-count error, a missing task
+     * artifact). Lets callers detect partial failure without scanning
+     * `progress_summary`.
+     */
+    degraded?: boolean;
+}
+//# sourceMappingURL=executorResult.d.ts.map

package/dist/audit/orchestrator/executorResult.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executorResult.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorResult.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,oFAAoF;IACpF,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;IAClB,kFAAkF;IAClF,oBAAoB,EAAE,MAAM,CAAC;IAC7B,0DAA0D;IAC1D,aAAa,EAAE,OAAO,CAAC;IACvB;;;;OAIG;IACH,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,cAAc,CAAC;IACxB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,aAAa,CAAC,EAAE,YAAY,CAAC;IAC7B;;;;OAIG;IACH,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC;IACzB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB"}

package/dist/audit/orchestrator/executorResult.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=executorResult.js.map

package/dist/audit/orchestrator/executorResult.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executorResult.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorResult.ts"],"names":[],"mappings":""}

package/dist/audit/orchestrator/executorRunners.d.ts

@@ -0,0 +1,34 @@
+import type { ArtifactBundle } from "../io/artifacts.js";
+import type { ExecutorRunResult } from "./executorResult.js";
+import type { AdvanceAuditOptions } from "./advanceTypes.js";
+import { RunLogger } from "audit-tools/shared";
+/**
+ * Per-dispatch execution context threaded to every executor runner. Carries the
+ * advance options (root, line/size indexes, incoming host results, analyzer
+ * policy, …) plus the run logger + correlation id so a runner that emits its own
+ * structured events (planning's scope event) can do so. The engine stays agnostic;
+ * audit-code picks its own `Ctx` shape (cf. remediate-code's `RemediateCtx`).
+ */
+export interface AuditExecutorCtx {
+    options: AdvanceAuditOptions;
+    log: RunLogger;
+    correlationId: string;
+    obligation: string | null;
+}
+/** A single audit executor: bundle + ctx → the uniform run result. */
+export type AuditExecutorRunner = (bundle: ArtifactBundle, ctx: AuditExecutorCtx) => Promise<ExecutorRunResult>;
+/**
+ * Executor-id → runner. The single source of dispatch (A3 step 4 slice 2a):
+ * `advanceAudit`'s scan path and its `preferredExecutor` forced path both dispatch
+ * through this map, replacing the hand `switch` and the registry⇄switch sync
+ * invariant. Each runner co-locates the per-executor argument adaptation the
+ * switch arm used to do. Slice 2b reuses these same runners inside the obligation
+ * `execute` closures that drive the `advance` fold.
+ *
+ * Executors absent here are the host-delegation *dispatch* points (`agent`,
+ * `rolling_dispatch_executor`): routed through host delegation before reaching
+ * `advanceAudit`, they produce a no-progress handoff (the "no runner" branch)
+ * rather than a deterministic run.
+ */
+export declare const EXECUTOR_RUNNERS: Record<string, AuditExecutorRunner>;
+//# sourceMappingURL=executorRunners.d.ts.map

package/dist/audit/orchestrator/executorRunners.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executorRunners.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorRunners.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAwB/C;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,mBAAmB,CAAC;IAC7B,GAAG,EAAE,SAAS,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,CAChC,MAAM,EAAE,cAAc,EACtB,GAAG,EAAE,gBAAgB,KAClB,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAahC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CA8FhE,CAAC"}

package/dist/audit/orchestrator/executorRunners.js

@@ -0,0 +1,85 @@
+import { runIntakeExecutor, runProviderConfirmationAutoComplete } from "./intakeExecutors.js";
+import { runIntentCheckpointAutoComplete } from "./intentCheckpointExecutor.js";
+import { runStructureExecutor, runDesignAssessmentExecutor, runDesignReviewAutoComplete, } from "./structureExecutors.js";
+import { runPlanningExecutor } from "./planningExecutors.js";
+import { runResultIngestionExecutor, runRuntimeValidationExecutor, runRuntimeValidationUpdateExecutor, runExternalAnalyzerImportExecutor, } from "./ingestionExecutors.js";
+import { runSynthesisExecutor, runSynthesisNarrativeExecutor, } from "./synthesisExecutors.js";
+import { runAutoFixExecutor } from "./autoFixExecutor.js";
+import { runSyntaxResolutionExecutor } from "./syntaxResolutionExecutor.js";
+import { runGraphEnrichmentExecutor } from "./graphEnrichmentExecutor.js";
+import { resolveAuditScope } from "./scope.js";
+/**
+ * Narrow an optional root to a definite string for a runner that requires it,
+ * throwing the canonical "advanceAudit <executor> requires root" error otherwise.
+ */
+function requireRoot(root, executorName) {
+    if (!root) {
+        throw new Error(`advanceAudit ${executorName} requires root`);
+    }
+    return root;
+}
+/**
+ * Executor-id → runner. The single source of dispatch (A3 step 4 slice 2a):
+ * `advanceAudit`'s scan path and its `preferredExecutor` forced path both dispatch
+ * through this map, replacing the hand `switch` and the registry⇄switch sync
+ * invariant. Each runner co-locates the per-executor argument adaptation the
+ * switch arm used to do. Slice 2b reuses these same runners inside the obligation
+ * `execute` closures that drive the `advance` fold.
+ *
+ * Executors absent here are the host-delegation *dispatch* points (`agent`,
+ * `rolling_dispatch_executor`): routed through host delegation before reaching
+ * `advanceAudit`, they produce a no-progress handoff (the "no runner" branch)
+ * rather than a deterministic run.
+ */
+export const EXECUTOR_RUNNERS = {
+    provider_confirmation_executor: async (bundle) => runProviderConfirmationAutoComplete(bundle),
+    intake_executor: async (bundle, { options }) => runIntakeExecutor(bundle, requireRoot(options.root, "intake_executor")),
+    intent_checkpoint_executor: async (bundle, { options }) => runIntentCheckpointAutoComplete(bundle, requireRoot(options.root, "intent_checkpoint_executor"), options.since),
+    // root is intentionally optional: present → buildGraphBundleFromFs, absent →
+    // manifest-only buildGraphBundle.
+    structure_executor: async (bundle, { options }) => runStructureExecutor(bundle, options.root),
+    graph_enrichment_executor: async (bundle, { options }) => runGraphEnrichmentExecutor(bundle, {
+        root: options.root,
+        analyzers: options.analyzers,
+        llmEdgeReasoning: options.graphLlmEdgeReasoning,
+        edgeReasoning: options.edgeReasoningResults,
+    }),
+    design_assessment_executor: async (bundle) => runDesignAssessmentExecutor(bundle),
+    design_review_contract: async (bundle) => runDesignReviewAutoComplete(bundle, "contract"),
+    design_review_conceptual: async (bundle) => runDesignReviewAutoComplete(bundle, "conceptual"),
+    // Legacy: auto-complete both passes.
+    design_review: async (bundle) => runDesignReviewAutoComplete(bundle, "both"),
+    planning_executor: async (bundle, { options, log, correlationId, obligation }) => {
+        const root = requireRoot(options.root, "planning_executor");
+        const plannedScope = resolveAuditScope({ root, since: options.since, bundle });
+        log.event({
+            phase: "advance",
+            kind: "scope",
+            correlationId,
+            obligation: obligation ?? undefined,
+            note: plannedScope.mode === "delta"
+                ? `delta since ${plannedScope.since}: ${plannedScope.seed_files.length} changed + ${plannedScope.expanded_files.length} neighbors; full audit advised before release`
+                : "full audit scope",
+        });
+        return runPlanningExecutor(bundle, root, options.lineIndex ?? {}, options.sizeIndex, plannedScope);
+    },
+    result_ingestion_executor: async (bundle, { options }) => runResultIngestionExecutor(bundle, options.auditResults ?? bundle.audit_results ?? []),
+    runtime_validation_executor: async (bundle, { options }) => runRuntimeValidationExecutor(bundle, requireRoot(options.root, "runtime_validation_executor")),
+    synthesis_executor: async (bundle, { options }) => runSynthesisExecutor(bundle, options.auditResults),
+    synthesis_narrative_executor: async (bundle, { options }) => runSynthesisNarrativeExecutor(bundle, options.narrativeResults),
+    runtime_validation_update_executor: async (bundle, { options }) => {
+        if (!options.runtimeValidationUpdates) {
+            throw new Error("advanceAudit runtime_validation_update_executor requires runtimeValidationUpdates");
+        }
+        return runRuntimeValidationUpdateExecutor(bundle, options.runtimeValidationUpdates);
+    },
+    external_analyzer_import_executor: async (bundle, { options }) => {
+        if (!options.externalAnalyzerResults) {
+            throw new Error("advanceAudit external_analyzer_import_executor requires externalAnalyzerResults");
+        }
+        return runExternalAnalyzerImportExecutor(bundle, options.externalAnalyzerResults);
+    },
+    auto_fix_executor: async (bundle, { options }) => runAutoFixExecutor(bundle, requireRoot(options.root, "auto_fix_executor")),
+    syntax_resolution_executor: async (bundle, { options }) => runSyntaxResolutionExecutor(bundle, requireRoot(options.root, "syntax_resolution_executor")),
+};
+//# sourceMappingURL=executorRunners.js.map

package/dist/audit/orchestrator/executorRunners.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executorRunners.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/executorRunners.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,iBAAiB,EAAE,mCAAmC,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EACL,oBAAoB,EACpB,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,kCAAkC,EAClC,iCAAiC,GAClC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAsB/C;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAwB,EAAE,YAAoB;IACjE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,gBAAgB,YAAY,gBAAgB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAwC;IACnE,8BAA8B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAC/C,mCAAmC,CAAC,MAAM,CAAC;IAC7C,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC7C,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACzE,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACxD,+BAA+B,CAC7B,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,4BAA4B,CAAC,EACvD,OAAO,CAAC,KAAK,CACd;IACH,6EAA6E;IAC7E,kCAAkC;IAClC,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC;IAC5C,yBAAyB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACvD,0BAA0B,CAAC,MAAM,EAAE;QACjC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,gBAAgB,EAAE,OAAO,CAAC,qBAAqB;QAC/C,aAAa,EAAE,OAAO,CAAC,oBAAoB;KAC5C,CAAC;IACJ,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAC3C,2BAA2B,CAAC,MAAM,CAAC;IACrC,sBAAsB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CACvC,2BAA2B,CAAC,MAAM,EAAE,UAAU,CAAC;IACjD,wBAAwB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CACzC,2BAA2B,CAAC,MAAM,EAAE,YAAY,CAAC;IACnD,qCAAqC;IACrC,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC;IAC5E,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE;QAC/E,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC5D,MAAM,YAAY,GAAG,iBAAiB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/E,GAAG,CAAC,KAAK,CAAC;YACR,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;YACb,aAAa;YACb,UAAU,EAAE,UAAU,IAAI,SAAS;YACnC,IAAI,EACF,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC3B,CAAC,CAAC,eAAe,YAAY,CAAC,KAAK,KAAK,YAAY,CAAC,UAAU,CAAC,MAAM,cAAc,YAAY,CAAC,cAAc,CAAC,MAAM,+CAA+C;gBACrK,CAAC,CAAC,kBAAkB;SACzB,CAAC,CAAC;QACH,OAAO,mBAAmB,CACxB,MAAM,EACN,IAAI,EACJ,OAAO,CAAC,SAAS,IAAI,EAAE,EACvB,OAAO,CAAC,SAAS,EACjB,YAAY,CACb,CAAC;IACJ,CAAC;IACD,yBAAyB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACvD,0BAA0B,CACxB,MAAM,EACN,OAAO,CAAC,YAAY,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,CACnD;IACH,2BAA2B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACzD,4BAA4B,CAC1B,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,6BAA6B,CAAC,CACzD;IACH,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC;IACpD,4BAA4B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC1D,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,gBAAgB,CAAC;IACjE,kCAAkC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAChE,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CACb,mFAAmF,CACpF,CAAC;QACJ,CAAC;QACD,OAAO,kCAAkC,CACvC,MAAM,EACN,OAAO,CAAC,wBAAwB,CACjC,CAAC;IACJ,CAAC;IACD,iCAAiC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;QAC/D,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,iFAAiF,CAClF,CAAC;QACJ,CAAC;QACD,OAAO,iCAAiC,CACtC,MAAM,EACN,OAAO,CAAC,uBAAuB,CAChC,CAAC;IACJ,CAAC;IACD,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC/C,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC5E,0BAA0B,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CACxD,2BAA2B,CACzB,MAAM,EACN,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,4BAA4B,CAAC,CACxD;CACJ,CAAC"}

package/dist/audit/orchestrator/executors.d.ts

@@ -0,0 +1,13 @@
+export interface ExecutorDefinition {
+    id: string;
+    kind: "deterministic" | "host_delegation";
+    obligation_ids: string[];
+}
+/**
+ * Returns true when the executor identified by `id` is a host-delegation point
+ * (i.e. it pauses the deterministic pipeline and asks the active LLM agent to
+ * perform work) rather than a deterministic executor.
+ */
+export declare function isHostDelegationExecutor(id: string): boolean;
+export declare const EXECUTOR_REGISTRY: ExecutorDefinition[];
+//# sourceMappingURL=executors.d.ts.map

package/dist/audit/orchestrator/executors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executors.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/executors.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAAC;IAC1C,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAG5D;AAED,eAAO,MAAM,iBAAiB,EAAE,kBAAkB,EAuGjD,CAAC"}