harnery 0.45.0 → 0.45.1

package/src/core/workflow/spawn-opencode.ts

@@ -22,7 +22,6 @@ import { builtinAdapterProfile, validateAdapterEffort } from "../adapters/profil
 import type { AdapterInvocation, AdapterRawResult } from "../adapters/types.ts";
 import { notFoundError } from "./adapters.ts";
 import { buildChildEnv } from "./child-env.ts";
-import { observeSpawnFailure } from "./failure-evidence.ts";
 import { resolveFullAccessArgv, resolveSandboxProjection } from "./sandbox-projection.ts";
 import { isUpstreamFailureText, vendorFailureText } from "./spawn-failure.ts";
 import type { Spawner, SpawnRequest, SpawnResult } from "./types.ts";
@@ -89,19 +88,6 @@ export function buildOpenCodeInvocation(req: SpawnRequest): AdapterInvocation {
 }
 
 export function normalizeOpenCodeResult(raw: AdapterRawResult): SpawnResult {
-  const result = normalizeOpenCodeTransportResult(raw);
-  if (result.ok) return result;
-  const parsed = parseOpenCodeStream(raw.stdout);
-  const text = parsed.text || raw.stdout.trim();
-  return {
-    ...result,
-    text,
-    sessionId: parsed.sessionId,
-    failureEvidence: observeSpawnFailure(raw, text, parsed.text ? "vendor_envelope" : "stdout"),
-  };
-}
-
-function normalizeOpenCodeTransportResult(raw: AdapterRawResult): SpawnResult {
   if (raw.timedOut) {
     return {
       ok: false,

package/src/core/workflow/types.ts

@@ -137,12 +137,11 @@ export interface WorkflowAgentProof {
   session_id?: string;
   result?: ResultDigest;
   error?: string;
-  /** Failed-spawn transport class. It is retained even when a script swallows
-   * the rejection; charging additionally requires validated failure evidence. */
+  /** Set on a failed agent whose spawn was classified uninformative about the
+   * work (ADR 0046): environment (binary absent) or upstream (vendor refused).
+   * Absent ⇒ a work failure. Recorded even when a script's parallel() swallows
+   * the rejection, so the run-level class can still be derived from proof. */
   class?: SpawnFailureClass;
-  /** Failure observations carried from the adapter. Missing observations are
-   * unknown and cannot authorize an uncharged attempt. */
-  failure_evidence?: SpawnFailureEvidence;
   /** Which vendor sandbox mode this agent launched with and why (ADR 0192).
    * Absent on a cached agent, which launched nothing. */
   access?: WorkerAccessDecision;
@@ -363,16 +362,15 @@ export interface WorkflowSpecialistProfile {
 }
 
 /**
- * The positively identified transport cause of a failed spawn (ADR 0046).
- * This class alone proves neither absence of effects nor retry eligibility.
+ * Why a failed run was uninformative about the work (ADR 0046). Absent means
+ * the attempt produced information about the work (or succeeded), which is the
+ * default and is charged against the attempt budget exactly as before.
  *
  * - `environment`: the run never started — a precondition was missing (the
- *   vendor binary was absent). With positive no-effect/output evidence it is
- *   uncharged and not retried: retrying an unchanged
+ *   vendor binary was absent). Uncharged AND not retried: retrying an unchanged
  *   environment cannot help, so the work item stops and names the precondition.
  * - `upstream`: the vendor was reached and refused (5xx, 429, circuit open).
- *   Retry/free-attempt eligibility also requires positive no-effect evidence,
- *   observed absent output, and no refusal. Unsupported evidence stays unknown.
+ *   Uncharged, but retry stays available (bounded by max_uncharged_attempts).
  */
 export type SpawnFailureClass = "environment" | "upstream";
 
@@ -394,30 +392,6 @@ export type SpawnFailureClass = "environment" | "upstream";
  */
 export type RunFailureClass = SpawnFailureClass | "decision";
 
-/** Positive claims name the observation that supports them. A transport error
- * or an empty reply is never evidence that no effects occurred. */
-export type SpawnEffectEvidence =
-  | { state: "unknown" }
-  | { state: "none"; source: "spawn_errno"; reference: "ENOENT" }
-  | { state: "none" | "observed"; source: "adapter_evidence"; reference: string };
-
-export type SpawnRefusalEvidence =
-  | { state: "unknown" }
-  | { state: "refused"; source: "vendor_envelope"; reference: string };
-
-export type SpawnOutputSource = "final_message" | "vendor_envelope" | "stdout";
-
-export type SpawnPartialOutputEvidence =
-  | { state: "unknown" }
-  | { state: "absent"; source: SpawnOutputSource }
-  | { state: "present"; source: SpawnOutputSource; bytes: number; sha256: string };
-
-export interface SpawnFailureEvidence {
-  effect: SpawnEffectEvidence;
-  refusal: SpawnRefusalEvidence;
-  partial_output: SpawnPartialOutputEvidence;
-}
-
 /** What a spawn adapter returns for one subagent run. */
 export interface SpawnResult {
   ok: boolean;
@@ -429,13 +403,9 @@ export interface SpawnResult {
   durationMs: number;
   /** Populated when ok=false. */
   error?: string;
-  /** Transport classification when ok=false; never sufficient by itself to
-   * grant free work or automatic redispatch. */
+  /** Set when ok=false and the failure was positively identified as
+   * uninformative about the work. Absent ⇒ a work failure (charged). */
   class?: SpawnFailureClass;
-  /** Transport classification alone grants neither a retry nor free work.
-   * Absent evidence is explicitly unknown. Positive adapter_evidence claims
-   * require a documented producer observation, never an HTTP/text heuristic. */
-  failureEvidence?: SpawnFailureEvidence;
 }
 
 export interface SpawnRequest {

package/src/lib/identities/assume.ts

@@ -140,7 +140,6 @@ export function reclaimAbandonedLocalConflict(
   let sessionId = conflict.instance_id;
   let ageSecs: number | undefined;
   const liveRow = readLiveCoordinationRow(coordRoot, conflict.instance_id);
-  let expectedGenerationId = liveRow?.v3_generation_id ?? null;
   if (liveRow) {
     adapter = adapterOf(liveRow.platform);
     sessionId = liveRow.session_id || conflict.instance_id;
@@ -154,9 +153,7 @@ export function reclaimAbandonedLocalConflict(
       // It is required to join the exact producer state when recording the sweep.
       adapter = adapterOf(hb.platform);
       sessionId = hb.session_id || conflict.instance_id;
-      expectedGenerationId = hb.v3_generation_id ?? null;
     } catch {
-      expectedGenerationId = null;
       /* content unreadable — still reclaim the file */
     }
     try {
@@ -171,7 +168,6 @@ export function reclaimAbandonedLocalConflict(
     owner: conflict.instance_id,
     nativeSessionId: sessionId,
     adapter,
-    expectedGenerationId,
     observation: "stale_heartbeat",
     ageMs: Math.max(0, (ageSecs ?? 0) * 1_000),
   });

package/src/lib/tunnel/state.ts

@@ -2,7 +2,6 @@
 // <cwd>/.cache/tunnel/; gitignored, so the allowlist is per-machine.
 
 import { spawnSync } from "node:child_process";
-import { randomUUID } from "node:crypto";
 import {
   accessSync,
   chmodSync,
@@ -11,7 +10,6 @@ import {
   mkdirSync,
   readdirSync,
   readFileSync,
-  renameSync,
   statSync,
   unlinkSync,
   writeFileSync,
@@ -106,12 +104,10 @@ export interface TunnelState {
   provider: TunnelProvider;
   url: string;
   gate_pid: number;
-  gate_start_token?: string;
-  cloudflared_start_token?: string;
-  registration_id?: string;
-  provider_state?: "pending" | "ready";
   /** Present for Cloudflare quick tunnels; absent for Tailscale Serve/Funnel. */
   cloudflared_pid?: number;
+  /** Optional provider-side process when a provider owns one. */
+  provider_pid?: number;
   started_at: string;
   target: string;
   vhost: string;
@@ -172,15 +168,7 @@ export function readState(
 }
 
 export function writeState(state: TunnelState, root: string = process.cwd()): void {
-  const path = cachePath(stateFile(state.name), root);
-  const temporary = `${path}.${randomUUID()}.tmp`;
-  try {
-    writeFileSync(temporary, JSON.stringify(state, null, 2), { flag: "wx", mode: 0o600 });
-    renameSync(temporary, path);
-  } catch (error) {
-    if (existsSync(temporary)) unlinkSync(temporary);
-    throw error;
-  }
+  writeFileSync(cachePath(stateFile(state.name), root), JSON.stringify(state, null, 2));
 }
 
 export function clearState(name: string = DEFAULT_INSTANCE, root: string = process.cwd()): void {
@@ -214,60 +202,17 @@ export function isProcessAlive(pid: number): boolean {
   }
 }
 
-export type TunnelReadiness = "ready" | "dead" | "unknown";
-export type TunnelProcessObservation = "same" | "absent" | "different" | "unknown";
-
-export interface TunnelReadinessVerifier {
-  observeProcess(pid: number, originalToken: string): TunnelProcessObservation;
-  withRegistration(state: TunnelState, inspect: () => TunnelReadiness): TunnelReadiness;
-}
+export type ProcessAliveCheck = (pid: number) => boolean;
 
-/** Classify saved original witnesses under the verifier's registration custody. */
-export function tunnelReadiness(
+/** True when both the local gate and its provider-side process are live. */
+export function isTunnelStateLive(
   state: TunnelState,
-  verifier: TunnelReadinessVerifier,
-): TunnelReadiness {
-  if (
-    !state ||
-    typeof state !== "object" ||
-    Object.hasOwn(state, "provider_pid") ||
-    Object.hasOwn(state, "provider_start_token") ||
-    typeof state.registration_id !== "string" ||
-    !state.registration_id ||
-    !Number.isSafeInteger(state.gate_pid) ||
-    state.gate_pid < 1 ||
-    typeof state.gate_start_token !== "string" ||
-    !state.gate_start_token
-  )
-    return "unknown";
-  const targets = [{ pid: state.gate_pid, token: state.gate_start_token }];
-  if (state.provider === "tailscale") {
-    if (
-      state.provider_state !== "ready" ||
-      state.cloudflared_pid !== undefined ||
-      state.cloudflared_start_token !== undefined
-    )
-      return "unknown";
-  } else if (state.provider === "cloudflare") {
-    if (
-      !Number.isSafeInteger(state.cloudflared_pid) ||
-      state.cloudflared_pid! < 1 ||
-      typeof state.cloudflared_start_token !== "string" ||
-      !state.cloudflared_start_token
-    )
-      return "unknown";
-    targets.push({ pid: state.cloudflared_pid!, token: state.cloudflared_start_token });
-  } else return "unknown";
-  try {
-    return verifier.withRegistration(state, () => {
-      const observed = targets.map(({ pid, token }) => verifier.observeProcess(pid, token));
-      if (observed.every((value) => value === "absent")) return "dead";
-      if (observed.every((value) => value === "same")) return "ready";
-      return "unknown";
-    });
-  } catch {
-    return "unknown";
-  }
+  processAlive: ProcessAliveCheck = isProcessAlive,
+): boolean {
+  if (!processAlive(state.gate_pid)) return false;
+  if (state.provider === "tailscale") return true;
+  const providerPid = state.cloudflared_pid ?? state.provider_pid;
+  return typeof providerPid === "number" && processAlive(providerPid);
 }
 
 export function tunnelTargetPort(state: TunnelState): number | null {
@@ -297,15 +242,15 @@ export function tunnelTargetPort(state: TunnelState): number | null {
 export function findLiveTunnelForOrigin(
   port: number,
   vhost: string,
-  root: string,
-  verifier: TunnelReadinessVerifier,
+  root: string = process.cwd(),
+  processAlive: ProcessAliveCheck = isProcessAlive,
 ): TunnelState | null {
   return (
     listStates(root).find(
       (state) =>
         tunnelTargetPort(state) === port &&
         state.vhost === vhost &&
-        tunnelReadiness(state, verifier) === "ready",
+        isTunnelStateLive(state, processAlive),
     ) ?? null
   );
 }

package/dist/commands/turn-rollback.d.ts

@@ -1,5 +0,0 @@
-import type { Command } from "commander";
-import type { EmitContext, HarneryProgramContext } from "../commander.js";
-/** Explicit turn boundaries; hooks cannot infer provider ownership or path scope. */
-export declare function registerTurnRollbackCommand(program: Command, emit: EmitContext, context?: HarneryProgramContext): void;
-//# sourceMappingURL=turn-rollback.d.ts.map

package/dist/commands/turn-rollback.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"turn-rollback.d.ts","sourceRoot":"","sources":["../../src/commands/turn-rollback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAa1E,qFAAqF;AACrF,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,WAAW,EACjB,OAAO,CAAC,EAAE,qBAAqB,GAC9B,IAAI,CA2FN"}

package/dist/commands/turn-rollback.js

@@ -1,76 +0,0 @@
-import { monorepoRoot } from "../core/agents/index.js";
-import { applyTurnRollback, beginTurnRollback, inspectTurnRollback, prepareTurnRollback, sealTurnRollback, } from "../core/turn-rollback/index.js";
-import { readJsonRecord } from "../core/workflow/durable-record.js";
-import { readWorkspaceBinding } from "../core/workflow/workspaces/state.js";
-/** Explicit turn boundaries; hooks cannot infer provider ownership or path scope. */
-export function registerTurnRollbackCommand(program, emit, context) {
-    const command = program
-        .command("turn-rollback")
-        .description("Capture and review exact-path content rollback in an owned workspace");
-    const run = (operation) => async (options) => {
-        try {
-            const coordRoot = context?.resolveCoordRoot?.() ?? context?.repoRoot ?? monorepoRoot();
-            if (!coordRoot)
-                throw new Error("project coordination root is unavailable");
-            emit.config({ format: "json" });
-            const result = await operation(coordRoot, options);
-            emit.data(result);
-            if (result &&
-                typeof result === "object" &&
-                "status" in result &&
-                result.status === "unknown")
-                emit.setExitCode(1);
-        }
-        catch (error) {
-            emit.error({ code: "turn_rollback_refused", message: String(error) });
-            emit.setExitCode(1);
-        }
-    };
-    const binding = (root, options) => {
-        const value = readWorkspaceBinding(root, "local-git-worktree", options.binding);
-        if (!value)
-            throw new Error("immutable workspace binding was not found");
-        return value;
-    };
-    command
-        .command("begin")
-        .description("Capture exact literal paths before a turn")
-        .requiredOption("--binding <id>", "Owned workspace binding ID")
-        .requiredOption("--turn <id>", "Caller turn identity")
-        .requiredOption("--generation <number>", "Increasing turn generation")
-        .requiredOption("--path <file...>", "Exact relative file paths, including planned new files")
-        .action(run((root, options) => beginTurnRollback(root, {
-        binding: binding(root, options),
-        turn: { turn_id: options.turn, generation: Number(options.generation) },
-        paths: options.path,
-    })));
-    for (const operation of ["seal", "prepare", "show"]) {
-        command
-            .command(`${operation} <capture-id>`)
-            .description(`${operation} an exact turn capture`)
-            .requiredOption("--binding <id>", "Owned workspace binding ID")
-            .action((id, options) => run((root, opts) => {
-            const input = { binding: binding(root, opts), capture_id: id };
-            return operation === "seal"
-                ? sealTurnRollback(root, input)
-                : operation === "prepare"
-                    ? prepareTurnRollback(root, input)
-                    : inspectTurnRollback(root, input);
-        })(options));
-    }
-    command
-        .command("apply")
-        .description("Preview a saved proposal, or apply it after exact confirmation")
-        .requiredOption("--binding <id>", "Owned workspace binding ID")
-        .requiredOption("--plan <file>", "Saved JSON proposal returned by prepare")
-        .option("--yes", "Apply this exact proposal; preview is the default")
-        .option("--actor <name>", "Who authorized the restore")
-        .option("--reason <text>", "Why this turn is being restored")
-        .action(run((root, options) => applyTurnRollback(root, {
-        binding: binding(root, options),
-        plan: readJsonRecord(options.plan, "rollback proposal"),
-        yes: options.yes,
-        actor: options.actor,
-        reason: options.reason,
-    })));
-}

package/dist/core/agents/state/unchanged-file.d.ts

@@ -1,44 +0,0 @@
-export interface FileRevision {
-    readonly bytes: Buffer;
-    readonly dev: bigint;
-    readonly ino: bigint;
-    readonly size: bigint;
-    readonly mtimeNs: bigint;
-    readonly ctimeNs: bigint;
-}
-export type DeleteFileResult = {
-    state: "deleted" | "changed" | "missing" | "rejected";
-} | {
-    state: "recovery-required";
-    recoveryPath: string;
-    error?: string;
-} | {
-    state: "error";
-    recoveryPath?: string;
-    error: string;
-};
-export interface FileRecoveryResult {
-    state: "restored" | "retained" | "error";
-    recoveryPath: string;
-    sourcePath?: string;
-    error?: string;
-}
-/** A stable read of one regular file, including its exact bytes and revision. */
-export declare function captureFileRevision(filePath: string): FileRevision | null;
-export declare function fileRevisionMatches(filePath: string, expected: FileRevision): boolean;
-/**
- * Writers must publish by atomic rename, never by an open descriptor to the old
- * inode. The private directory is outside their publication namespace. Moving
- * the row gives deletion custody over that inode without owning its live name.
- * The caller owns the state parent and keeps its topology stable. Its platform
- * permissions define which principals can modify it; this protocol does not
- * exclude principals already authorized to change that parent.
- */
-export declare function deleteFileIfUnchanged(filePath: string, expected: FileRevision, validate: (pinned: FileRevision) => boolean): DeleteFileResult;
-/**
- * Recover same-host/platform/PID-namespace pins after process termination. File fsync
- * protects manifest contents; directory entries are not fsynced, so this does
- * not promise recovery after an OS crash or power loss.
- */
-export declare function recoverInterruptedFileDeletions(directoryPath: string, validate: (sourcePath: string) => boolean): FileRecoveryResult[];
-//# sourceMappingURL=unchanged-file.d.ts.map

package/dist/core/agents/state/unchanged-file.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unchanged-file.d.ts","sourceRoot":"","sources":["../../../../src/core/agents/state/unchanged-file.ts"],"names":[],"mappings":"AAsBA,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,CAAA;CAAE,GACzD;IAAE,KAAK,EAAE,mBAAmB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACpE;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,CAAC;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAsED,iFAAiF;AACjF,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAoCzE;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CAGrF;AAsGD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,OAAO,GAC1C,gBAAgB,CAmFlB;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,GACxC,kBAAkB,EAAE,CA+FtB"}