harnery 0.42.0 → 0.44.0

package/dist/core/context/index.js

@@ -7,13 +7,21 @@
 import { spawnSync } from "node:child_process";
 import { createHash, randomUUID } from "node:crypto";
 import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync } from "node:fs";
-import { dirname, join } from "node:path";
+import { dirname, isAbsolute, join } from "node:path";
 import { readLiveCoordinationRow } from "../agents/state/live-coordination-view.js";
+import { resolveBinName } from "../config.js";
+import { peerInbox } from "../inbox/peer-messages.js";
+import { project } from "../inbox/service.js";
 import { stateFileMode } from "../storage/modes.js";
+import { acquireNoClobberLease } from "../workflow/workspaces/leases.js";
+import { observationsComparable } from "./observation.js";
+export { observationsComparable } from "./observation.js";
 export const CONTEXT_SCHEMA_VERSION = 1;
 export const MAX_CAPSULE_BYTES = 32 * 1024;
 const MAX_SNAPSHOT_PATHS = 15;
 const MAX_SNAPSHOT_PATH_CHARS = 500;
+const MAX_OBSERVATION_DETAIL_CHARS = 500;
+const MAX_RECOVERY_INPUT_BODY_BYTES = 160;
 /** Parse the context-window shapes exposed by current adapter hook/status data. */
 export function extractContextSample(payload, options) {
     const contextValue = payload.context_window;
@@ -62,19 +70,26 @@ export function extractContextSample(payload, options) {
 }
 /** Persist a latest context sample. Identical measurements are a no-op. */
 export function recordContextSample(coordRoot, instanceId, sample) {
-    const current = readContextState(coordRoot, sample.session_id);
-    const state = current ?? newState({ sessionId: sample.session_id, instanceId, now: sample.observed_at });
-    const changed = !sameMeasurement(state.latest_context, sample);
-    if (!changed)
-        return { state, changed: false };
-    const next = {
-        ...state,
-        instance_id: instanceId,
-        latest_context: sample,
-        updated_at: sample.observed_at,
-    };
-    writeState(coordRoot, next);
-    return { state: next, changed: true };
+    return withContextMutation(coordRoot, sample.session_id, () => {
+        const current = readContextState(coordRoot, sample.session_id);
+        const state = current?.instance_id === instanceId
+            ? current
+            : {
+                ...newState({ sessionId: sample.session_id, instanceId, now: sample.observed_at }),
+                generation: current?.generation ?? 0,
+            };
+        const changed = !sameMeasurement(state.latest_context, sample);
+        if (!changed)
+            return { state, changed: false };
+        const next = {
+            ...state,
+            instance_id: instanceId,
+            latest_context: sample,
+            updated_at: sample.observed_at,
+        };
+        writeState(coordRoot, next);
+        return { state: next, changed: true };
+    });
 }
 /**
  * Snapshot external work state. Repeated PreCompact events reuse the existing
@@ -82,109 +97,213 @@ export function recordContextSample(coordRoot, instanceId, sample) {
  * create a new generation.
  */
 export function checkpointContext(coordRoot, input) {
-    const now = new Date().toISOString();
-    const current = readContextState(coordRoot, input.sessionId) ??
-        newState({ sessionId: input.sessionId, instanceId: input.instanceId, now });
-    if (input.reason === "pre_compact" && current.phase === "checkpointed") {
-        const existing = readLatestCapsule(coordRoot, input.sessionId);
-        if (existing && current.latest_capsule) {
-            return {
-                capsule: existing,
-                path: join(coordRoot, ".harnery", current.latest_capsule),
-                state: current,
-                reused: true,
+    return withContextMutation(coordRoot, input.sessionId, () => {
+        const now = new Date().toISOString();
+        const previous = readContextState(coordRoot, input.sessionId);
+        const current = previous?.instance_id === input.instanceId
+            ? previous
+            : {
+                ...newState({ sessionId: input.sessionId, instanceId: input.instanceId, now }),
+                generation: previous?.generation ?? 0,
             };
+        if (input.reason === "pre_compact" && current.phase === "checkpointed") {
+            const existing = readLatestCapsule(coordRoot, input.sessionId);
+            if (existing && capsuleMatchesState(current, existing, input) && current.latest_capsule) {
+                return {
+                    capsule: existing,
+                    path: join(coordRoot, ".harnery", current.latest_capsule),
+                    state: current,
+                    reused: true,
+                };
+            }
         }
-    }
-    const heartbeat = readHeartbeat(coordRoot, input.instanceId);
-    const generation = current.generation + 1;
-    const capsule = {
-        schema_version: CONTEXT_SCHEMA_VERSION,
-        capsule_id: randomUUID(),
-        generation,
-        created_at: now,
-        reason: input.reason,
-        session: {
-            session_id: input.sessionId,
+        const heartbeat = readHeartbeat(coordRoot, input.instanceId);
+        const generation = current.generation + 1;
+        const capsule = {
+            schema_version: CONTEXT_SCHEMA_VERSION,
+            capsule_id: randomUUID(),
+            generation,
+            created_at: now,
+            reason: input.reason,
+            session: {
+                session_id: input.sessionId,
+                instance_id: input.instanceId,
+                adapter: input.adapter,
+                model: input.model ?? current.latest_context?.model ?? heartbeat?.model,
+            },
+            context: current.latest_context,
+            work: buildWorkSnapshot(heartbeat, input.continuationNote),
+            repo: snapshotRepo(input.cwd),
+        };
+        const relativePath = capsuleRelativePath(input.sessionId, generation);
+        const absolutePath = join(coordRoot, ".harnery", relativePath);
+        writeBoundedJson(absolutePath, capsule, MAX_CAPSULE_BYTES);
+        const next = {
+            ...current,
             instance_id: input.instanceId,
-            adapter: input.adapter,
-            model: input.model ?? current.latest_context?.model ?? heartbeat?.model,
-        },
-        context: current.latest_context,
-        work: buildWorkSnapshot(heartbeat, input.continuationNote),
-        repo: snapshotRepo(input.cwd),
-    };
-    const relativePath = capsuleRelativePath(input.sessionId, generation);
-    const absolutePath = join(coordRoot, ".harnery", relativePath);
-    writeBoundedJson(absolutePath, capsule, MAX_CAPSULE_BYTES);
-    const next = {
-        ...current,
-        instance_id: input.instanceId,
-        phase: "checkpointed",
-        generation,
-        latest_capsule: relativePath,
-        updated_at: now,
-        recovered_at: undefined,
-        compaction_completed_at: undefined,
-        degraded_reason: undefined,
-    };
-    writeState(coordRoot, next);
-    return { capsule, path: absolutePath, state: next, reused: false };
+            phase: "checkpointed",
+            generation,
+            latest_capsule: relativePath,
+            updated_at: now,
+            recovered_at: undefined,
+            compaction_completed_at: undefined,
+            degraded_reason: undefined,
+        };
+        writeState(coordRoot, next);
+        return { capsule, path: absolutePath, state: next, reused: false };
+    });
 }
 /** Prepare a briefing without claiming that a adapter has accepted it yet. */
 export function prepareContextRecovery(coordRoot, input) {
-    const now = new Date().toISOString();
-    const current = readContextState(coordRoot, input.sessionId) ??
-        newState({ sessionId: input.sessionId, instanceId: input.instanceId, now });
-    const capsule = readLatestCapsule(coordRoot, input.sessionId);
-    if (!capsule) {
-        const degraded = {
-            ...current,
-            instance_id: input.instanceId,
-            phase: "degraded",
-            updated_at: now,
-            degraded_reason: "post-compaction signal arrived without a continuity checkpoint",
+    return withContextMutation(coordRoot, input.sessionId, () => {
+        const now = new Date().toISOString();
+        const current = readContextState(coordRoot, input.sessionId) ??
+            newState({ sessionId: input.sessionId, instanceId: input.instanceId, now });
+        // A reused provider ID does not transfer the prior task's context.
+        if (current.instance_id !== input.instanceId)
+            return null;
+        const capsule = readLatestCapsule(coordRoot, input.sessionId);
+        if (!capsule || !capsuleMatchesState(current, capsule, input)) {
+            const degraded = {
+                ...current,
+                instance_id: input.instanceId,
+                phase: "degraded",
+                updated_at: now,
+                degraded_reason: capsule
+                    ? "continuity checkpoint does not match the requesting instance and state"
+                    : "post-compaction signal arrived without a continuity checkpoint",
+            };
+            writeState(coordRoot, degraded);
+            return null;
+        }
+        const liveRepo = snapshotRepo(input.cwd);
+        const briefing = [
+            renderRecoveryBriefing(capsule, liveRepo),
+            renderRecoveryInput(coordRoot, input.instanceId),
+        ]
+            .filter(Boolean)
+            .join("\n\n");
+        return {
+            state: current,
+            capsule,
+            briefing,
+            checkpoint: Object.freeze({
+                session_id: input.sessionId,
+                instance_id: input.instanceId,
+                generation: capsule.generation,
+                capsule_id: capsule.capsule_id,
+                capsule_sha256: capsuleDigest(capsule),
+            }),
         };
-        writeState(coordRoot, degraded);
-        return null;
+    });
+}
+/** Recovery lists input without surfacing it again or changing its receipts. */
+function renderRecoveryInput(coordRoot, instanceId) {
+    const readCommand = `${resolveBinName(coordRoot)} agents inbox list ${instanceId}`;
+    try {
+        const records = peerInbox(coordRoot).records(instanceId);
+        if (records.some((record) => (record.kind !== "message" && record.kind !== "surfaced") ||
+            typeof record.message_id !== "string" ||
+            Buffer.byteLength(record.message_id) > 128)) {
+            throw new Error("inbox input cannot be listed safely");
+        }
+        const { surfaced } = project(records);
+        const messages = records.filter((record) => record.kind === "message" && record.recipient_instance_id === instanceId);
+        const pending = messages.filter((message) => !surfaced.has(message.message_id));
+        const recent = messages.filter((message) => surfaced.has(message.message_id)).slice(-10);
+        if (pending.length === 0 && recent.length === 0)
+            return "";
+        const lines = [
+            "Coordination input after compaction (surfaced does not mean read):",
+            ...pending
+                .slice(0, 25)
+                .map((message) => inputLine(message.message_id, "pending", message.body)),
+            ...recent.map((message) => inputLine(message.message_id, "previously surfaced", message.body)),
+        ];
+        if (pending.length > 25)
+            lines.push(`${pending.length - 25} more pending messages are not listed.`);
+        lines.push(`Recovery did not acknowledge these messages. Read pending input with \`${readCommand}\`.`);
+        return lines.join("\n");
+    }
+    catch {
+        return `Coordination input could not be read. Check \`${readCommand}\` before continuing.`;
+    }
+}
+function inputLine(messageId, status, body) {
+    const text = body.replace(/\s+/g, " ").trim();
+    let excerpt = "";
+    let bytes = 0;
+    for (const character of text) {
+        const size = Buffer.byteLength(character);
+        if (bytes + size > MAX_RECOVERY_INPUT_BODY_BYTES)
+            break;
+        excerpt += character;
+        bytes += size;
     }
-    const liveRepo = snapshotRepo(input.cwd);
-    const briefing = renderRecoveryBriefing(capsule, liveRepo);
-    return { state: current, capsule, briefing };
+    return `- ${messageId} (${status}): ${excerpt}${excerpt.length < text.length ? " [excerpt]" : ""}`;
 }
-/** Advance continuity only after the adapter context channel accepted the briefing. */
+/**
+ * Advance continuity only after the adapter accepted the prepared briefing.
+ * Missing, altered, foreign or superseded checkpoints refuse without writing.
+ * Repeating the same accepted checkpoint is an exact no-op.
+ */
 export function completeContextRecovery(coordRoot, input) {
-    const now = new Date().toISOString();
-    const current = readContextState(coordRoot, input.sessionId) ??
-        newState({ sessionId: input.sessionId, instanceId: input.instanceId, now });
-    const recovered = {
-        ...current,
-        instance_id: input.instanceId,
-        phase: "recovered",
-        updated_at: now,
-        recovered_at: now,
-        degraded_reason: undefined,
-    };
-    writeState(coordRoot, recovered);
-    return recovered;
+    return withContextMutation(coordRoot, input.sessionId, () => {
+        const current = readContextState(coordRoot, input.sessionId);
+        const checkpoint = input.checkpoint;
+        if (!current ||
+            !checkpoint ||
+            checkpoint.session_id !== input.sessionId ||
+            checkpoint.instance_id !== input.instanceId ||
+            !Number.isSafeInteger(checkpoint.generation) ||
+            checkpoint.generation < 1 ||
+            typeof checkpoint.capsule_id !== "string" ||
+            !checkpoint.capsule_id ||
+            !/^[a-f0-9]{64}$/.test(checkpoint.capsule_sha256) ||
+            (current.phase !== "checkpointed" && current.phase !== "recovered"))
+            return null;
+        const capsule = readLatestCapsule(coordRoot, input.sessionId);
+        if (!capsule ||
+            !capsuleMatchesState(current, capsule, input) ||
+            checkpoint.generation !== capsule.generation ||
+            checkpoint.capsule_id !== capsule.capsule_id ||
+            checkpoint.capsule_sha256 !== capsuleDigest(capsule))
+            return null;
+        if (current.phase === "recovered")
+            return current;
+        const now = new Date().toISOString();
+        const recovered = {
+            ...current,
+            phase: "recovered",
+            updated_at: now,
+            recovered_at: now,
+            degraded_reason: undefined,
+        };
+        writeState(coordRoot, recovered);
+        return recovered;
+    });
 }
 /** Record that the adapter, rather than Harnery, reported compaction complete. */
 export function markContextCompactionCompleted(coordRoot, input) {
-    const now = input.observedAt ?? new Date().toISOString();
-    const current = readContextState(coordRoot, input.sessionId) ??
-        newState({ sessionId: input.sessionId, instanceId: input.instanceId, now });
-    const next = {
-        ...current,
-        instance_id: input.instanceId,
-        phase: current.latest_capsule ? current.phase : "degraded",
-        compaction_completed_at: now,
-        updated_at: now,
-        degraded_reason: current.latest_capsule
-            ? current.degraded_reason
-            : "post-compaction signal arrived without a continuity checkpoint",
-    };
-    writeState(coordRoot, next);
-    return next;
+    return withContextMutation(coordRoot, input.sessionId, () => {
+        const now = input.observedAt ?? new Date().toISOString();
+        const current = readContextState(coordRoot, input.sessionId) ??
+            newState({ sessionId: input.sessionId, instanceId: input.instanceId, now });
+        if (current.instance_id !== input.instanceId)
+            return current;
+        const next = {
+            ...current,
+            instance_id: input.instanceId,
+            phase: current.latest_capsule ? current.phase : "degraded",
+            compaction_completed_at: now,
+            updated_at: now,
+            degraded_reason: current.latest_capsule
+                ? current.degraded_reason
+                : "post-compaction signal arrived without a continuity checkpoint",
+        };
+        writeState(coordRoot, next);
+        return next;
+    });
 }
 /** Convenience API for callers whose injection is synchronous and guaranteed. */
 export function recoverContext(coordRoot, input) {
@@ -193,7 +312,19 @@ export function recoverContext(coordRoot, input) {
         const state = readContextState(coordRoot, input.sessionId);
         return { state, capsule: null, briefing: "", recovered: false };
     }
-    const recovered = completeContextRecovery(coordRoot, input);
+    const recovered = completeContextRecovery(coordRoot, {
+        sessionId: input.sessionId,
+        instanceId: input.instanceId,
+        checkpoint: prepared.checkpoint,
+    });
+    if (!recovered) {
+        return {
+            state: readContextState(coordRoot, input.sessionId) ?? prepared.state,
+            capsule: null,
+            briefing: "",
+            recovered: false,
+        };
+    }
     return {
         state: recovered,
         capsule: prepared.capsule,
@@ -206,9 +337,25 @@ export function readContextState(coordRoot, sessionId) {
 }
 export function readLatestCapsule(coordRoot, sessionId) {
     const state = readContextState(coordRoot, sessionId);
-    if (!state?.latest_capsule)
+    if (typeof state?.latest_capsule !== "string" || !state.latest_capsule)
+        return null;
+    const capsule = readJson(join(coordRoot, ".harnery", state.latest_capsule));
+    if (!capsule ||
+        !record(capsule.repo) ||
+        !record(capsule.work) ||
+        typeof capsule.repo.cwd !== "string" ||
+        !Array.isArray(capsule.repo.dirty_paths) ||
+        !capsule.repo.dirty_paths.every((path) => typeof path === "string") ||
+        !Array.isArray(capsule.work.files_held) ||
+        !capsule.work.files_held.every((path) => typeof path === "string")) {
         return null;
-    return readJson(join(coordRoot, ".harnery", state.latest_capsule));
+    }
+    capsule.repo.observation = repoObservation(capsule.repo.observation);
+    capsule.repo.observation_detail = clampString(string(capsule.repo.observation_detail), MAX_OBSERVATION_DETAIL_CHARS);
+    capsule.repo.branch = string(capsule.repo.branch)?.trim() || undefined;
+    capsule.repo.head = string(capsule.repo.head)?.trim() || undefined;
+    capsule.repo.root = string(capsule.repo.root)?.trim() || undefined;
+    return capsule;
 }
 export function renderRecoveryBriefing(capsule, liveRepo) {
     const lines = [
@@ -222,6 +369,38 @@ export function renderRecoveryBriefing(capsule, liveRepo) {
     if (capsule.work.files_held.length > 0) {
         lines.push(`Files held: ${capsule.work.files_held.join(", ")}`);
     }
+    const unknown = [];
+    if (!observationsComparable(capsule.repo, liveRepo)) {
+        for (const [label, repo] of [
+            ["checkpoint", capsule.repo],
+            ["current repository", liveRepo],
+        ]) {
+            if (repo.observation !== "ok") {
+                const detail = clampString(string(repo.observation_detail), MAX_OBSERVATION_DETAIL_CHARS);
+                unknown.push(`${label}: ${repoObservation(repo.observation)}${detail ? ` (${detail})` : ""}`);
+            }
+        }
+    }
+    if (capsule.repo.dirty_paths_truncated || liveRepo.dirty_paths_truncated) {
+        unknown.push("dirty path list is truncated");
+    }
+    if (!capsule.repo.root ||
+        !liveRepo.root ||
+        !isAbsolute(capsule.repo.root) ||
+        !isAbsolute(liveRepo.root)) {
+        unknown.push("repository root is unknown");
+    }
+    else if (capsule.repo.root !== liveRepo.root) {
+        unknown.push("repository root differs from the checkpoint");
+    }
+    if (!capsule.repo.branch?.trim() || !liveRepo.branch?.trim())
+        unknown.push("branch is unknown");
+    if (!capsule.repo.head?.trim() || !liveRepo.head?.trim())
+        unknown.push("HEAD is unknown");
+    if (unknown.length > 0) {
+        lines.push(`Repository could not be verified against the checkpoint: ${unknown.join("; ")}. Re-check before editing.`);
+        return lines.join("\n");
+    }
     const drift = [];
     if (capsule.repo.branch && liveRepo.branch && capsule.repo.branch !== liveRepo.branch) {
         drift.push(`branch changed ${capsule.repo.branch} -> ${liveRepo.branch}`);
@@ -244,24 +423,58 @@ export function renderRecoveryBriefing(capsule, liveRepo) {
 }
 export function snapshotRepo(cwd) {
     const root = git(cwd, ["rev-parse", "--show-toplevel"]);
-    if (!root)
-        return { cwd, dirty_paths: [] };
+    if (!root.ok || !root.out.trim()) {
+        return {
+            cwd: clampString(cwd, 2_000) ?? cwd,
+            observation: "unavailable",
+            observation_detail: `top-level: ${root.ok ? "empty result" : root.reason}`,
+            dirty_paths: [],
+        };
+    }
     const status = git(cwd, ["status", "--porcelain=v1", "--untracked-files=normal"]);
-    const dirty = status
-        ? status
+    const branch = git(cwd, ["rev-parse", "--abbrev-ref", "HEAD"]);
+    const head = git(cwd, ["rev-parse", "HEAD"]);
+    const reads = [
+        ["status", status],
+        ["branch", branch],
+        ["HEAD", head],
+    ];
+    const details = reads.flatMap(([label, read]) => !read.ok
+        ? [`${label}: ${read.reason}`]
+        : label !== "status" && !read.out.trim()
+            ? [`${label}: empty result`]
+            : []);
+    const dirty = status.ok
+        ? status.out
             .split("\n")
             .map((line) => line.trimEnd())
             .filter(Boolean)
-            .map((line) => clampString(line.slice(3).trim(), MAX_SNAPSHOT_PATH_CHARS) ?? "")
+            .map((line) => line.slice(3).trim())
             .filter(Boolean)
         : [];
+    const truncated = dirty.length > MAX_SNAPSHOT_PATHS ||
+        dirty.some((path) => path.length > MAX_SNAPSHOT_PATH_CHARS);
+    if (truncated)
+        details.push("dirty path list is truncated");
     return {
         cwd: clampString(cwd, 2_000) ?? cwd,
-        root: clampString(root, 2_000),
-        branch: git(cwd, ["rev-parse", "--abbrev-ref", "HEAD"]),
-        head: git(cwd, ["rev-parse", "HEAD"]),
-        dirty_paths: dirty.slice(0, MAX_SNAPSHOT_PATHS),
-        ...(dirty.length > MAX_SNAPSHOT_PATHS ? { dirty_paths_truncated: true } : {}),
+        observation: reads.some(([, read]) => !read.ok && read.reason === "timed_out")
+            ? "unavailable"
+            : details.length > 0
+                ? "partial"
+                : "ok",
+        ...(details.length > 0
+            ? {
+                observation_detail: clampString(details.join("; "), MAX_OBSERVATION_DETAIL_CHARS),
+            }
+            : {}),
+        root: clampString(root.out.trim(), 2_000),
+        branch: branch.ok ? branch.out.trim() || undefined : undefined,
+        head: head.ok ? head.out.trim() || undefined : undefined,
+        dirty_paths: dirty
+            .slice(0, MAX_SNAPSHOT_PATHS)
+            .map((path) => path.slice(0, MAX_SNAPSHOT_PATH_CHARS)),
+        ...(truncated ? { dirty_paths_truncated: true } : {}),
     };
 }
 function buildWorkSnapshot(heartbeat, continuationNote) {
@@ -297,6 +510,39 @@ function newState(input) {
         updated_at: input.now,
     };
 }
+function capsuleMatchesState(state, capsule, input) {
+    return (state.session_id === input.sessionId &&
+        state.instance_id === input.instanceId &&
+        capsule.session?.session_id === input.sessionId &&
+        capsule.session?.instance_id === input.instanceId &&
+        capsule.schema_version === CONTEXT_SCHEMA_VERSION &&
+        Number.isSafeInteger(capsule.generation) &&
+        capsule.generation > 0 &&
+        capsule.generation === state.generation &&
+        typeof capsule.capsule_id === "string" &&
+        capsule.capsule_id.length > 0 &&
+        state.latest_capsule === capsuleRelativePath(input.sessionId, capsule.generation));
+}
+function capsuleDigest(capsule) {
+    return createHash("sha256").update(JSON.stringify(capsule)).digest("hex");
+}
+/** Every state writer shares the same crash-recoverable session reservation. */
+function withContextMutation(coordRoot, sessionId, action) {
+    const authority = createHash("sha256").update(sessionId).digest("hex");
+    const lease = acquireNoClobberLease({
+        path: join(contextDir(coordRoot, sessionId), "mutation.lease"),
+        scope: "context-continuity",
+        authoritySha256: authority,
+        staleAfterMs: 30_000,
+        validateStaleOwner: (owner) => owner.authority_sha256 === authority,
+    });
+    try {
+        return action();
+    }
+    finally {
+        lease.release();
+    }
+}
 function writeState(coordRoot, state) {
     writeBoundedJson(statePath(coordRoot, state.session_id), state, MAX_CAPSULE_BYTES);
 }
@@ -336,12 +582,28 @@ function readJson(path) {
 function git(cwd, args) {
     try {
         const result = spawnSync("git", args, { cwd, encoding: "utf8", timeout: 2_000 });
-        return result.status === 0 ? result.stdout.trim() || undefined : undefined;
+        if (result.error) {
+            return {
+                ok: false,
+                reason: result.error.code === "ETIMEDOUT"
+                    ? "timed_out"
+                    : "spawn_error",
+            };
+        }
+        if (result.status === 0)
+            return { ok: true, out: result.stdout.trimEnd() };
+        return {
+            ok: false,
+            reason: /not a git repository/i.test(result.stderr) ? "not_repository" : "failed",
+        };
     }
     catch {
-        return undefined;
+        return { ok: false, reason: "spawn_error" };
     }
 }
+function repoObservation(value) {
+    return value === "ok" || value === "partial" ? value : "unavailable";
+}
 function sameMeasurement(a, b) {
     if (!a)
         return false;

package/dist/core/context/observation.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Repository observation contract shared by context recovery and workflow proof.
+ *
+ * This module has no runtime imports so read-only consumers (the Codec
+ * dashboard, proof readers) can use it without reaching the Git-running
+ * snapshot code in ./index.ts.
+ */
+export type RepoObservation = "ok" | "unavailable" | "partial";
+export interface RepoSnapshot {
+    cwd: string;
+    observation: RepoObservation;
+    /** Bounded explanation of an unavailable or incomplete observation. */
+    observation_detail?: string;
+    root?: string;
+    branch?: string;
+    head?: string;
+    dirty_paths: string[];
+    dirty_paths_truncated?: boolean;
+}
+/** Only explicitly successful observations can establish repository drift. */
+export declare function observationsComparable(a: {
+    observation?: string;
+}, b: {
+    observation?: string;
+}): boolean;
+//# sourceMappingURL=observation.d.ts.map

package/dist/core/context/observation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observation.d.ts","sourceRoot":"","sources":["../../../src/core/context/observation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,MAAM,eAAe,GAAG,IAAI,GAAG,aAAa,GAAG,SAAS,CAAC;AAE/D,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,EAAE,eAAe,CAAC;IAC7B,uEAAuE;IACvE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,8EAA8E;AAC9E,wBAAgB,sBAAsB,CACpC,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EAC3B,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1B,OAAO,CAET"}

package/dist/core/context/observation.js

@@ -0,0 +1,11 @@
+/**
+ * Repository observation contract shared by context recovery and workflow proof.
+ *
+ * This module has no runtime imports so read-only consumers (the Codec
+ * dashboard, proof readers) can use it without reaching the Git-running
+ * snapshot code in ./index.ts.
+ */
+/** Only explicitly successful observations can establish repository drift. */
+export function observationsComparable(a, b) {
+    return a.observation === "ok" && b.observation === "ok";
+}

package/dist/core/diagnostics/bundle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../../src/core/diagnostics/bundle.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,aAAa,EACb,sBAAsB,EAEvB,MAAM,uBAAuB,CAAC;AA0B/B,OAAO,EASL,KAAK,wBAAwB,EAG7B,KAAK,sBAAsB,EAE3B,KAAK,iBAAiB,EAItB,KAAK,yBAAyB,EAC/B,MAAM,eAAe,CAAC;AA2BvB,MAAM,WAAW,4BAA4B;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,IAAI,CAAC;IACX,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,wBAAwB,CAAC;IACnC,OAAO,EAAE,iBAAiB,CAAC;CAC5B;AAED,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IACzD,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,4BAA4B;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IACzD,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,KAAK,GAAE,4BAAiC,GACvC,wBAAwB,CAwG1B;AAkCD,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,MAAM,GACV,yBAAyB,CAsB3B;AAED,gFAAgF;AAChF,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,yBAAyB,CAK3B;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,yBAAyB,CAE7F;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,uBAAuB,EAAE,CA0BjF;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,MAAM,GAAG,4BAA4B,EAAE,CA4C/F;AAqCD,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,GAAG,OAAa,GACf,sBAAsB,CAgBxB"}
+{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../../src/core/diagnostics/bundle.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,aAAa,EACb,sBAAsB,EAEvB,MAAM,uBAAuB,CAAC;AA0B/B,OAAO,EASL,KAAK,wBAAwB,EAG7B,KAAK,sBAAsB,EAE3B,KAAK,iBAAiB,EAItB,KAAK,yBAAyB,EAC/B,MAAM,eAAe,CAAC;AA2BvB,MAAM,WAAW,4BAA4B;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,IAAI,CAAC;IACX,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,wBAAwB,CAAC;IACnC,OAAO,EAAE,iBAAiB,CAAC;CAC5B;AAED,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IACzD,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,4BAA4B;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IACzD,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,KAAK,GAAE,4BAAiC,GACvC,wBAAwB,CAwH1B;AAkCD,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,MAAM,GACV,yBAAyB,CAsB3B;AAED,gFAAgF;AAChF,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,yBAAyB,CAK3B;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,yBAAyB,CAE7F;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,uBAAuB,EAAE,CA0BjF;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,QAAQ,EAAE,MAAM,GAAG,4BAA4B,EAAE,CA4C/F;AAqCD,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,GAAG,OAAa,GACf,sBAAsB,CAgBxB"}