@miraland-labs/conduit-bridge 0.14.9 → 0.16.0

package/dist/cli.js

@@ -20,6 +20,7 @@ import { loadOpsEnv, OPS_VERBS, runOps } from "./ops.js";
 import { pumpExecutionSlots, renewLeases } from "./execution.js";
 import { installRunnerService, uninstallRunnerService } from "./service.js";
 import { BRIDGE_PROTOCOL_VERSION, cachedBridgePreflight, unavailableWorkspacePreflight } from "./preflight.js";
+import { executeNextInvestigation } from "./investigation.js";
 import { bridgeVersion } from "./version.js";
 const [command] = process.argv.slice(2);
 /** Install-free form shown in help/output so clean laptops never need `conduit` on PATH. */
@@ -495,6 +496,11 @@ async function runner() {
                 process.exit(0);
             }
             await renewLeases(client, config);
+            if (workspace && onlineDriverIds(config).length) {
+                // Observation runs before authoring: an owner waiting on an answer should not queue behind
+                // a long delivery, and the control plane already counted this slot as busy.
+                progressed = await executeNextInvestigation(client, config, workspace, brief, timeoutMs) || progressed;
+            }
             if (workspace && onlineDriverIds(config).length) {
                 progressed = await pumpExecutionSlots(client, config, workspace, brief, timeoutMs, {
                     heartbeat: async () => {

package/dist/investigation.js

@@ -0,0 +1,260 @@
+/** Read-only investigation lane on Bridge (Slice 5).
+ *
+ * An investigation answers one question against one pinned commit and returns a bounded brief. It
+ * is not an assignment: no delivery, no pull request, no evidence packet, no task state. The run is
+ * held to repo_read + test_run by the same driver projection that enforces read-only diagnosis, and
+ * the worktree it reads is deleted whichever way the run ends.
+ */
+import { z } from "zod";
+import { createAttemptWorktree, removeAttemptWorktree } from "./attempt-worktree.js";
+import { buildWorkspaceBrief, ensureCommitAvailable, normalizeRepositoryUrl } from "./brief.js";
+import { redactSecrets } from "./config.js";
+import { DRIVERS, extractAgentReportJsonText, parseJsonObjectCandidate } from "./driver.js";
+import { pickDriverForClaim, supportsReadOnlyDiagnosis } from "./drivers.js";
+import { changedPathsSince } from "./execution.js";
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+const execFileAsync = promisify(execFile);
+const budgetSchema = z.object({
+    max_files: z.number().int().min(1).max(24).optional().default(8),
+    max_duration_ms: z.number().int().min(10_000).max(15 * 60_000).optional().default(5 * 60_000),
+}).passthrough();
+export const investigationAssignmentSchema = z.object({
+    id: z.string().uuid(),
+    kind: z.literal("repository"),
+    question: z.string().min(1).max(4_000),
+    grants: z.array(z.string()).default([]),
+    budget: budgetSchema.optional().default({}),
+    repository_fingerprint: z.string().nullable().optional().default(null),
+    commit: z.string().nullable().optional().default(null),
+    source_attempt_id: z.string().uuid().nullable().optional().default(null),
+});
+/**
+ * Enforcement is a vendor's claim; verification is ours. Both run on every investigation — this only
+ * records which enforcement, if any, was also in force. Lanes with no read-only mode still qualify:
+ * the run happens in a disposable worktree with no remote credential, and it is checked afterwards.
+ */
+export function boundedByForDriver(driverId) {
+    if (driverId === "codex")
+        return "os_sandbox";
+    if (driverId === "claude-code" || driverId === "cursor")
+        return "tool_allowlist";
+    return "observed_clean";
+}
+/** Mirrors the control plane's bounded result contract; anything else is refused before settlement. */
+const investigationBriefSchema = z.object({
+    summary: z.string().trim().min(1).max(4_000),
+    findings: z.array(z.string().trim().min(1).max(1_000)).max(12).default([]),
+    verification: z.array(z.string().trim().min(1).max(1_000)).max(8).default([]),
+    limitations: z.array(z.string().trim().min(1).max(1_000)).max(8).default([]),
+    files_read: z.number().int().min(0).max(24).default(0),
+    bytes_read: z.number().int().min(0).max(512 * 1024).default(0),
+    commands_run: z.array(z.string().trim().min(1).max(200)).max(10).default([]),
+});
+export function buildInvestigationPrompt(assignment, commit) {
+    return [
+        "You are Conductor's read-only investigation lane. Answer exactly one question about this repository at one pinned commit.",
+        "You have repo_read and test_run only. Do not edit, create, delete, format, commit, branch, push, install, or change any file.",
+        "Read the actual code and run only bounded verification commands that already exist in the project. Never start a server, deploy, or call a production system.",
+        "Ground every finding in files and symbols you actually read. If the answer cannot be settled at this commit, say so in limitations rather than guessing.",
+        "Do not quote secrets, credentials, tokens, or file bodies. Name paths and symbols instead.",
+        "",
+        `PINNED COMMIT ${commit}`,
+        `QUESTION\n${assignment.question}`,
+        `BUDGET\nAt most ${assignment.budget.max_files} files.`,
+        "",
+        "Return only one fenced ```json object with exactly this shape:",
+        '{"summary":"direct answer to the question","findings":["grounded fact with file/symbol"],"verification":["command you actually ran"],"limitations":["what you could not settle"],"files_read":0,"bytes_read":0,"commands_run":["command you actually ran"]}',
+        "summary is a string; the other list fields are arrays of strings. Close the fence and add no prose after it.",
+    ].join("\n");
+}
+/** One message for every unusable answer, so the retry decision reads it rather than guessing. */
+export const UNUSABLE_BRIEF = "Investigation returned no usable brief";
+export function parseInvestigationBrief(text) {
+    let candidate;
+    // A missing fence and a malformed body are the same outcome to the owner: no answer.
+    try {
+        candidate = parseJsonObjectCandidate(extractAgentReportJsonText(text));
+    }
+    catch {
+        throw new Error(UNUSABLE_BRIEF);
+    }
+    const parsed = investigationBriefSchema.safeParse(candidate);
+    if (!parsed.success)
+        throw new Error(UNUSABLE_BRIEF);
+    return parsed.data;
+}
+/**
+ * Identity of the source workspace: HEAD plus its dirty set. Compared before and after the run so an
+ * observer that reached outside its disposable worktree is caught, not assumed away.
+ */
+async function workspaceFingerprint(workspace) {
+    try {
+        const head = await execFileAsync("git", ["-C", workspace, "rev-parse", "HEAD"], { timeout: 30_000 });
+        const dirty = await execFileAsync("git", ["-C", workspace, "status", "--porcelain"], { timeout: 30_000, maxBuffer: 8_000_000 });
+        return `${head.stdout.trim()}\n${dirty.stdout.trim()}`;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Prove the run only looked. A write inside the disposable worktree is discarded anyway, but it
+ * means the answer came from a tree that no longer matches the pinned commit — so the brief is not
+ * evidence about that commit and must not be settled as if it were.
+ */
+export async function verifyObservationOnly(input) {
+    const changed = await changedPathsSince(input.attemptWorkspace, input.commit);
+    // Git could not answer. An unverified read-only claim is not a read-only claim.
+    if (changed === null)
+        return { ok: false, error: "observer_unverifiable", detail: "the worktree could not be compared with the pinned commit" };
+    if (changed.length) {
+        return { ok: false, error: "observer_wrote", detail: `${changed.length} path(s) changed under the pinned commit, starting with ${changed.slice(0, 3).join(", ")}` };
+    }
+    const after = await workspaceFingerprint(input.workspace);
+    if (input.fingerprintBefore === null || after === null) {
+        return { ok: false, error: "observer_unverifiable", detail: "the source workspace could not be fingerprinted" };
+    }
+    if (after !== input.fingerprintBefore) {
+        return { ok: false, error: "observer_wrote", detail: "the source workspace changed during the run" };
+    }
+    return { ok: true };
+}
+async function settle(client, investigationId, body) {
+    await client.request(`/runner/v1/investigations/${investigationId}/settle`, {
+        method: "POST",
+        body: JSON.stringify(body),
+    });
+}
+/**
+ * Poll, claim and run one investigation. Returns true when one was executed, so the caller's cycle
+ * knows it made progress.
+ */
+export async function executeNextInvestigation(client, config, workspace, brief, timeoutMs) {
+    const data = await client.request("/runner/v1/investigations");
+    const assignments = z.array(investigationAssignmentSchema).parse(data.investigations ?? []);
+    const assignment = assignments[0];
+    if (!assignment)
+        return false;
+    // Prefer a lane that enforces read-only, but do not require one. Enforcement is a vendor claim;
+    // the guarantee this lane actually rests on is a disposable worktree plus verification afterwards,
+    // which works the same on every agent — including ones that ship no read-only mode at all.
+    const driverId = pickDriverForClaim(config, null, supportsReadOnlyDiagnosis)
+        ?? pickDriverForClaim(config, null);
+    const driver = driverId ? DRIVERS[driverId] : null;
+    if (!driver) {
+        console.error(`Investigation ${assignment.id} skipped: no online lane on this computer.`);
+        return false;
+    }
+    const liveBrief = await buildWorkspaceBrief(workspace).catch(() => brief);
+    const liveRepository = liveBrief?.repository ? normalizeRepositoryUrl(liveBrief.repository) : null;
+    const commit = assignment.commit;
+    const leaseToken = `${crypto.randomUUID()}${crypto.randomUUID()}`;
+    if (!commit) {
+        await claimThenSettle(client, assignment.id, leaseToken, {
+            lease_token: leaseToken, status: "failed", error: "investigation_commit_missing", retryable: false,
+        });
+        return true;
+    }
+    if (assignment.repository_fingerprint && liveRepository !== assignment.repository_fingerprint) {
+        await claimThenSettle(client, assignment.id, leaseToken, {
+            lease_token: leaseToken, status: "failed", error: "workspace_repository_mismatch", retryable: true,
+        });
+        return true;
+    }
+    if (!(await ensureCommitAvailable(workspace, commit).catch(() => false))) {
+        await claimThenSettle(client, assignment.id, leaseToken, {
+            lease_token: leaseToken, status: "failed", error: "commit_not_available", retryable: true,
+        });
+        return true;
+    }
+    await client.request(`/runner/v1/investigations/${assignment.id}/claim`, {
+        method: "POST",
+        body: JSON.stringify({ lease_token: leaseToken }),
+    });
+    console.log(`Claiming investigation ${assignment.id} at ${commit} on ${driverId ?? "the default lane"}`);
+    const fingerprintBefore = await workspaceFingerprint(workspace);
+    let attemptWorkspace = null;
+    try {
+        attemptWorkspace = await createAttemptWorktree({
+            sourceWorkspace: workspace,
+            attemptId: assignment.id,
+            startCommit: commit,
+        });
+        const result = await driver.run({
+            prompt: buildInvestigationPrompt(assignment, commit),
+            workspace: attemptWorkspace,
+            grants: assignment.grants,
+            verificationCommands: liveBrief?.verification ?? [],
+            deliverable: "repository",
+            // The same signal the read-only diagnosis lane uses; it is what denies edits in the driver.
+            workRole: "diagnose",
+            executionClass: "verify",
+            timeoutMs: Math.min(timeoutMs ?? assignment.budget.max_duration_ms, assignment.budget.max_duration_ms),
+        });
+        if (result.status === "failed") {
+            const message = result.error ?? "Investigation run failed";
+            await settle(client, assignment.id, { lease_token: leaseToken, status: "failed", error: redactSecrets(message).slice(0, 2_000), retryable: true });
+            console.error(`Investigation ${assignment.id} failed: ${redactSecrets(message)}`);
+            return true;
+        }
+        const observed = parseInvestigationBrief(result.resultText ?? "");
+        const check = await verifyObservationOnly({ attemptWorkspace, workspace, commit, fingerprintBefore });
+        if (!check.ok) {
+            // The answer may be perfectly good, but it is no longer an answer about the pinned commit.
+            // Report what happened rather than settling a brief whose ground moved under it.
+            await settle(client, assignment.id, {
+                lease_token: leaseToken, status: "failed", error: `${check.error}: ${check.detail}`.slice(0, 2_000), retryable: true,
+            });
+            console.error(`Investigation ${assignment.id} discarded — ${check.error}: ${check.detail}`);
+            return true;
+        }
+        await settle(client, assignment.id, {
+            lease_token: leaseToken,
+            status: "completed",
+            result: {
+                summary: observed.summary,
+                findings: observed.findings,
+                verification: observed.verification,
+                limitations: observed.limitations,
+                witness: {
+                    repository_fingerprint: assignment.repository_fingerprint ?? liveRepository ?? "unknown",
+                    commit,
+                    observed_at: new Date().toISOString(),
+                    bounded_by: boundedByForDriver(driverId),
+                    files_read: observed.files_read,
+                    bytes_read: observed.bytes_read,
+                    commands_run: observed.commands_run,
+                },
+            },
+        });
+        console.log(`Investigation ${assignment.id} settled with a bounded brief.`);
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : "investigation_failed";
+        await settle(client, assignment.id, {
+            lease_token: leaseToken,
+            status: "failed",
+            error: redactSecrets(message).slice(0, 2_000),
+            // A malformed brief is worth one more try; a broken worktree is not fixed by repeating it.
+            retryable: message === UNUSABLE_BRIEF,
+        }).catch((settleError) => console.error(`Investigation settle failed: ${redactSecrets(settleError instanceof Error ? settleError.message : "unknown")}`));
+        console.error(`Investigation ${assignment.id} failed: ${redactSecrets(message)}`);
+    }
+    finally {
+        if (attemptWorkspace) {
+            await removeAttemptWorktree(workspace, attemptWorkspace)
+                .catch((error) => console.error(`Investigation worktree release failed: ${redactSecrets(error instanceof Error ? error.message : "unknown")}`));
+        }
+    }
+    return true;
+}
+/** Claim only to report why the run cannot start; the control plane needs the reason, not silence. */
+async function claimThenSettle(client, investigationId, leaseToken, body) {
+    await client.request(`/runner/v1/investigations/${investigationId}/claim`, {
+        method: "POST",
+        body: JSON.stringify({ lease_token: leaseToken }),
+    });
+    await settle(client, investigationId, body);
+    console.error(`Investigation ${investigationId} could not start: ${body.error}`);
+}

package/dist/preflight.js

@@ -18,7 +18,7 @@ function modelsFingerprint(config) {
 }
 // Protocol 5 makes the lease-token claim contract explicit. Older Bridges may report a green
 // preflight but cannot claim against the current control plane, so they must be admitted as stale.
-export const BRIDGE_PROTOCOL_VERSION = 5;
+export const BRIDGE_PROTOCOL_VERSION = 7;
 const execFileAsync = promisify(execFile);
 async function defaultCommandRunner(command, args, cwd) {
     try {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@miraland-labs/conduit-bridge",
-  "version": "0.14.9",
+  "version": "0.16.0",
   "description": "Conduit Bridge CLI — join, connect, disconnect, multi-driver lanes, and run Claude Code / Codex / Cursor / OpenCode / Pi / Kiro / Antigravity agents for a Conduit organization",
   "type": "module",
   "bin": {