@staix/agent-hub 0.19.0 → 0.21.0

package/src/hub/recovery-authority.ts

@@ -0,0 +1,151 @@
+/** Host-only conductor continuity. Public operation JSON, actor labels and audits grant nothing.
+ * The pin is this registered project's canonical host-owned private key, never a key carried
+ * by a record. Like existing host state, it does not resist a same-OS-user process able to
+ * replace both key and record. Fresh host policy/privacy proof remains mandatory per effect.
+ */
+import { createHmac, randomBytes, randomUUID, timingSafeEqual } from "node:crypto";
+import { closeSync, constants, fstatSync, linkSync, lstatSync, openSync, readSync, renameSync, unlinkSync, writeFileSync } from "node:fs";
+import { isAbsolute, join } from "node:path";
+import { realPath } from "./project.ts";
+
+export interface ConductorRecoveryBinding {
+  schema: 1; operationId: string; peer: string; kind: "restart" | "upgrade";
+  projectId: string; projectRoot: string; stateDir: string; sourceInstanceId: string;
+  targetRoot: string; targetDigest: string; planFingerprint: string; policyDigest: string; boardDigest: string;
+}
+export interface VerifiedRecoveryAuthority { readonly binding: Readonly<ConductorRecoveryBinding> }
+export class RecoveryAuthorityError extends Error {
+  readonly code = "AHUB_RECOVERY_AUTHORITY";
+  constructor() { super("conductor recovery authority unavailable; the person runs it in ahub console or a terminal"); this.name = "RecoveryAuthorityError"; }
+}
+type Current = (binding: Readonly<ConductorRecoveryBinding>) => boolean;
+type PrivateRecord = { binding: Readonly<ConductorRecoveryBinding>; retired: boolean; seal: string };
+type FileRead = { bytes: Buffer; identity: string };
+type Grant = { stateDir: string; directory: string; key: string; record: string; current: Current };
+const grants = new WeakMap<VerifiedRecoveryAuthority, Grant>();
+const KEYS: readonly (keyof ConductorRecoveryBinding)[] = ["schema", "operationId", "peer", "kind", "projectId", "projectRoot", "stateDir", "sourceInstanceId", "targetRoot", "targetDigest", "planFingerprint", "policyDigest", "boardDigest"];
+const UUID = /^[a-f0-9]{8}-[a-f0-9]{4}-[1-8][a-f0-9]{3}-[89ab][a-f0-9]{3}-[a-f0-9]{12}$/;
+const HASH = /^[a-f0-9]{64}$/;
+const MAX_RECORD = 16 * 1024;
+function refuse(): never { throw new RecoveryAuthorityError(); }
+function guarded<T>(work: () => T): T { try { return work(); } catch { return refuse(); } }
+function object(value: unknown, keys: readonly string[]): Record<string, unknown> {
+  if (!value || typeof value !== "object" || Array.isArray(value) || Object.getPrototypeOf(value) !== Object.prototype) refuse();
+  const fields = Object.getOwnPropertyDescriptors(value);
+  if (Reflect.ownKeys(fields).length !== keys.length || keys.some(key => !fields[key] || !Object.hasOwn(fields[key]!, "value"))) refuse();
+  return value as Record<string, unknown>;
+}
+function binding(value: unknown): Readonly<ConductorRecoveryBinding> {
+  const row = object(value, KEYS);
+  if (row.schema !== 1 || typeof row.operationId !== "string" || !UUID.test(row.operationId) || typeof row.peer !== "string" || !/^[a-z][a-z0-9-]{0,31}$/.test(row.peer)
+    || ["user", "hub", "digest"].includes(row.peer) || row.kind !== "restart" && row.kind !== "upgrade") refuse();
+  for (const key of ["projectId", "sourceInstanceId"] as const) if (typeof row[key] !== "string" || !/^[A-Za-z0-9][A-Za-z0-9_-]{0,127}$/.test(row[key])) refuse();
+  for (const key of ["projectRoot", "stateDir", "targetRoot"] as const) {
+    const value = row[key]; if (typeof value !== "string" || value.length > 4096 || !isAbsolute(value) || /[\p{Cc}]/u.test(value) || realPath(value) !== value) refuse();
+  }
+  for (const key of ["targetDigest", "planFingerprint", "policyDigest", "boardDigest"] as const) if (typeof row[key] !== "string" || !HASH.test(row[key])) refuse();
+  return Object.freeze(Object.fromEntries(KEYS.map(key => [key, row[key]])) as unknown as ConductorRecoveryBinding);
+}
+function identity(stat: NonNullable<ReturnType<typeof lstatSync>>): string {
+  return JSON.stringify([stat.dev, stat.ino, stat.mode, stat.uid, stat.nlink, stat.size, stat.mtimeMs, stat.ctimeMs]);
+}
+function directory(stateDir: string): string {
+  if (!isAbsolute(stateDir) || realPath(stateDir) !== stateDir) refuse();
+  const stat = lstatSync(stateDir);
+  if (!stat.isDirectory() || stat.isSymbolicLink() || !process.getuid || stat.uid !== process.getuid() || (stat.mode & 0o022) !== 0) refuse();
+  // Directory contents change during publication; pin its inode, owner and permission, not mtime.
+  return JSON.stringify([stat.dev, stat.ino, stat.uid, stat.mode]);
+}
+function readPrivate(file: string, maximum: number, exact?: number): FileRead {
+  const fd = openSync(file, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
+  try {
+    const before = fstatSync(fd);
+    if (!before.isFile() || before.nlink !== 1 || (before.mode & 0o777) !== 0o600 || !process.getuid || before.uid !== process.getuid()
+      || before.size < 1 || before.size > maximum || exact !== undefined && before.size !== exact) refuse();
+    const bytes = Buffer.alloc(before.size + 1); let size = 0;
+    while (size < bytes.length) { const n = readSync(fd, bytes, size, bytes.length - size, null); if (!n) break; size += n; }
+    if (size !== before.size || identity(fstatSync(fd)) !== identity(before) || identity(lstatSync(file)) !== identity(before) || realPath(file) !== file) refuse();
+    return { bytes: bytes.subarray(0, size), identity: identity(before) };
+  } finally { closeSync(fd); }
+}
+const keyPath = (stateDir: string) => join(stateDir, "conductor-recovery.key");
+const recordPath = (stateDir: string, operationId: string) => join(stateDir, `conductor-recovery.${operationId}.json`);
+function seal(key: Buffer, value: Omit<PrivateRecord, "seal">): string {
+  return createHmac("sha256", key).update("agent-hub/conductor-recovery/v1\n").update(JSON.stringify(value)).digest("hex");
+}
+function encodeRecord(key: Buffer, value: Omit<PrivateRecord, "seal">): Buffer {
+  const bytes = Buffer.from(JSON.stringify({ ...value, seal: seal(key, value) })); if (bytes.length > MAX_RECORD) refuse(); return bytes;
+}
+function checkRecord(stateDir: string, expected: Readonly<ConductorRecoveryBinding>): { key: FileRead; record: FileRead; value: PrivateRecord } {
+  const key = readPrivate(keyPath(stateDir), 32, 32), record = readPrivate(recordPath(stateDir, expected.operationId), MAX_RECORD);
+  const row = object(JSON.parse(record.bytes.toString("utf8")), ["binding", "retired", "seal"]), bound = binding(row.binding);
+  if (typeof row.retired !== "boolean" || typeof row.seal !== "string" || !HASH.test(row.seal) || JSON.stringify(bound) !== JSON.stringify(expected)) refuse();
+  const computed = seal(key.bytes, { binding: bound, retired: row.retired });
+  if (!timingSafeEqual(Buffer.from(row.seal, "hex"), Buffer.from(computed, "hex"))) refuse();
+  return { key, record, value: { binding: bound, retired: row.retired, seal: row.seal } };
+}
+function fresh(current: Current, value: Readonly<ConductorRecoveryBinding>): void { if (current(value) !== true) refuse(); }
+function stillPrivate(file: string, stamp: string): void { if (identity(lstatSync(file)) !== stamp || realPath(file) !== file) refuse(); }
+/** Publish a whole private file, never an empty capability visible to another reader. */
+function publishNew(stateDir: string, file: string, bytes: Buffer): void {
+  const temporary = join(stateDir, `.conductor-recovery.${randomUUID()}.tmp`);
+  try { writeFileSync(temporary, bytes, { flag: "wx", mode: 0o600 }); linkSync(temporary, file); }
+  finally { try { unlinkSync(temporary); } catch (error) { if ((error as NodeJS.ErrnoException).code !== "ENOENT") throw error; } }
+}
+
+/** Call only at the authenticated source's current-conductor boundary. A verifier never creates a key. */
+export function issueConductorRecoveryAuthority(stateDir: string, input: ConductorRecoveryBinding, current: () => boolean): void {
+  return guarded(() => {
+    const value = binding(input), pin = directory(stateDir); if (value.stateDir !== stateDir) refuse(); fresh(current, value);
+    try { readPrivate(keyPath(stateDir), 32, 32); }
+    catch (error) {
+      if ((error as NodeJS.ErrnoException).code !== "ENOENT") throw error;
+      fresh(current, value); publishNew(stateDir, keyPath(stateDir), randomBytes(32));
+    }
+    const key = readPrivate(keyPath(stateDir), 32, 32);
+    try {
+      const existing = checkRecord(stateDir, value); if (existing.value.retired) refuse();
+      fresh(current, value); stillPrivate(keyPath(stateDir), key.identity); stillPrivate(recordPath(stateDir, value.operationId), existing.record.identity);
+      if (directory(stateDir) !== pin) refuse(); return;
+    } catch (error) { if ((error as NodeJS.ErrnoException).code !== "ENOENT") throw error; }
+    fresh(current, value); if (directory(stateDir) !== pin) refuse(); stillPrivate(keyPath(stateDir), key.identity);
+    publishNew(stateDir, recordPath(stateDir, value.operationId), encodeRecord(key.bytes, { binding: value, retired: false }));
+    fresh(current, value); if (directory(stateDir) !== pin) refuse();
+  });
+}
+/** The host supplies expected registry/package binding and a fresh live-RPC or conservative offline policy check. */
+export function authorizeConductorRecovery(stateDir: string, expected: ConductorRecoveryBinding, current: Current): VerifiedRecoveryAuthority {
+  return guarded(() => {
+    const value = binding(expected), pin = directory(stateDir); if (value.stateDir !== stateDir) refuse();
+    const proof = checkRecord(stateDir, value); if (proof.value.retired) refuse(); fresh(current, value);
+    stillPrivate(keyPath(stateDir), proof.key.identity); stillPrivate(recordPath(stateDir, value.operationId), proof.record.identity); if (directory(stateDir) !== pin) refuse();
+    const authority = Object.freeze({ binding: value });
+    grants.set(authority, { stateDir, directory: pin, key: proof.key.identity, record: proof.record.identity, current });
+    return authority;
+  });
+}
+/** Recheck immediately before every host effect, and after any awaited work. */
+export function assertConductorRecovery(authority: VerifiedRecoveryAuthority): void {
+  return guarded(() => {
+    const grant = grants.get(authority); if (!grant) refuse();
+    if (directory(grant.stateDir) !== grant.directory) refuse();
+    const proof = checkRecord(grant.stateDir, authority.binding);
+    if (proof.value.retired || proof.key.identity !== grant.key || proof.record.identity !== grant.record) refuse();
+    fresh(grant.current, authority.binding);
+    stillPrivate(keyPath(grant.stateDir), grant.key); stillPrivate(recordPath(grant.stateDir, authority.binding.operationId), grant.record); if (directory(grant.stateDir) !== grant.directory) refuse();
+  });
+}
+/** Root calls only at an authorized terminal phase. A sealed retirement never reactivates through issuance. */
+export function retireConductorRecovery(authority: VerifiedRecoveryAuthority): void {
+  return guarded(() => {
+    assertConductorRecovery(authority);
+    const grant = grants.get(authority)!;
+    const key = readPrivate(keyPath(grant.stateDir), 32, 32), file = recordPath(grant.stateDir, authority.binding.operationId);
+    const temporary = join(grant.stateDir, `.conductor-recovery.${randomUUID()}.tmp`);
+    try {
+      writeFileSync(temporary, encodeRecord(key.bytes, { binding: authority.binding, retired: true }), { flag: "wx", mode: 0o600 });
+      assertConductorRecovery(authority); renameSync(temporary, file);
+    } finally { try { unlinkSync(temporary); } catch (error) { if ((error as NodeJS.ErrnoException).code !== "ENOENT") throw error; } }
+    grants.delete(authority);
+  });
+}

package/src/hub/recovery-policy.ts

@@ -0,0 +1,220 @@
+/** Fresh, read-only privacy and policy proof for a host-sealed conductor recovery.
+ * This does not reconstruct the daemon's memory-only private-turn flag: the live
+ * admission path must also refuse contextPii before minting a recovery authority.
+ */
+import { Database } from "bun:sqlite";
+import { createHash } from "node:crypto";
+import { closeSync, constants, fstatSync, lstatSync, openSync, readSync } from "node:fs";
+import { isAbsolute, join, resolve } from "node:path";
+import { types } from "node:util";
+import { definitionOf } from "../adapters/registry.ts";
+import type { HubConfig } from "./daemon.ts";
+import type { ConfigSourceTexts } from "./config-reload.ts";
+import { conductorPeer } from "./conductor.ts";
+import { DEFAULT_ROLES } from "./hub-tools.ts";
+import { HUB_DB_BUSY_TIMEOUT_MS } from "./db-timeout.ts";
+import { readInstanceConfig, type InstanceConfigLayer } from "./instance-config.ts";
+import { effectiveInstanceRoles } from "./instances.ts";
+import { realPath } from "./project.ts";
+import { RecoveryAuthorityError } from "./recovery-authority.ts";
+import { peerRosterConfig, rosterAllows } from "./roster.ts";
+import { parseOverlay, parseRouting, type Routing } from "./routing.ts";
+
+export interface RecoveryPolicyProject { root: string; id: string; stateDir: string }
+export interface RecoveryPolicyCapture { policyDigest: string; boardDigest: string }
+/** Host-captured inputs, shared with loadConfig before any module evaluation. */
+export interface RecoveryPolicyInputs { layers: InstanceConfigLayer[]; routing: Routing; texts?: ConfigSourceTexts; routingFallback?: string }
+const MAX_POLICY_BYTES = 1024 * 1024;
+const MAX_ACTOR_TASKS = 4096;
+const MAX_SIGNALS_BYTES = 65536;
+function refuse(): never { throw new RecoveryAuthorityError(); }
+const hash = (text: string): string => createHash("sha256").update(text).digest("hex");
+const stamp = (s: NonNullable<ReturnType<typeof lstatSync>>): string => JSON.stringify([s.dev, s.ino, s.size, s.mode, s.nlink, s.mtimeMs, s.ctimeMs]);
+
+/** Only bounded, regular, stable files; an absent optional policy is different from an unreadable one. */
+function boundedText(file: string, optional = false): string | undefined {
+  let fd: number;
+  try { fd = openSync(file, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK); }
+  catch (error) { if (optional && (error as NodeJS.ErrnoException).code === "ENOENT") return undefined; throw error; }
+  try {
+    const before = fstatSync(fd);
+    if (!before.isFile() || before.nlink !== 1 || before.size > MAX_POLICY_BYTES || realPath(file) !== file) refuse();
+    const bytes = Buffer.alloc(before.size + 1);
+    let length = 0;
+    while (length < bytes.length) { const n = readSync(fd, bytes, length, bytes.length - length, null); if (!n) break; length += n; }
+    if (length !== before.size || stamp(before) !== stamp(fstatSync(fd)) || stamp(before) !== stamp(lstatSync(file))) refuse();
+    return new TextDecoder("utf-8", { fatal: true }).decode(bytes.subarray(0, length));
+  } finally { closeSync(fd); }
+}
+
+/** Derive compatibility from the verified target bytes, never the caller's mutable feature claim. */
+export function readRecoveryTargetFeatures(targetRoot: string): readonly string[] {
+  try {
+    const source = boundedText(join(targetRoot, "src/hub/control-client.ts"))!;
+    // ponytail: one literal array, at most 128 fixed labels. A computed export needs a versioned target manifest.
+    const declarations = [...source.matchAll(/export const DAEMON_FEATURES\s*=\s*(\[[^\]]*\])(?:\s+as const)?\s*;/g)];
+    if (declarations.length !== 1) refuse();
+    const values: unknown = JSON.parse(declarations[0]![1]!);
+    if (!Array.isArray(values) || !values.length || values.length > 128 || values.some(value => typeof value !== "string" || !/^[a-z][a-z0-9_]{0,63}$/.test(value))
+      || new Set(values).size !== values.length || !values.includes("conductor_recovery")) refuse();
+    return Object.freeze([...values]);
+  } catch { return refuse(); }
+}
+
+/** Stable semantic encoding; never evaluate config accessors or serialize runtime objects. */
+function canonical(value: unknown, depth = 0): string {
+  if (depth > 32) refuse();
+  if (value === null || typeof value === "boolean" || typeof value === "string") return JSON.stringify(value);
+  if (typeof value === "number" && Number.isFinite(value)) return JSON.stringify(value);
+  if (types.isProxy(value)) refuse();
+  if (Array.isArray(value)) {
+    if (Object.getPrototypeOf(value) !== Array.prototype || value.length > MAX_POLICY_BYTES) refuse();
+    const fields = Object.getOwnPropertyDescriptors(value);
+    if (Reflect.ownKeys(value).length !== value.length + 1 || Object.values(fields).some(field => !Object.hasOwn(field, "value"))) refuse();
+    const parts: string[] = [];
+    for (let index = 0; index < value.length; index++) {
+      const field = fields[String(index)]; if (!field) refuse();
+      parts.push(canonical(field.value, depth + 1));
+    }
+    return `[${parts.join(",")}]`;
+  }
+  if (!value || typeof value !== "object" || ![Object.prototype, null].includes(Object.getPrototypeOf(value))) refuse();
+  const fields = Object.getOwnPropertyDescriptors(value);
+  if (Reflect.ownKeys(value).some(key => typeof key !== "string") || Object.values(fields).some(field => !Object.hasOwn(field, "value"))) refuse();
+  return `{${Object.keys(fields).sort().filter(key => fields[key]!.value !== undefined).map(key => `${JSON.stringify(key)}:${canonical(fields[key]!.value, depth + 1)}`).join(",")}}`;
+}
+
+function freshRoles(layers: readonly InstanceConfigLayer[], scope: ReturnType<typeof readInstanceConfig>): Record<string, string[]> {
+  const roles = structuredClone(DEFAULT_ROLES);
+  for (const { raw } of layers) if (raw.roles !== undefined) {
+    conductorPeer(raw.roles);
+    for (const [id, list] of Object.entries(raw.roles as Record<string, string[]>)) {
+      const definition = definitionOf(id), ceiling = definition?.routing?.allowedRoles;
+      roles[id] = (ceiling ? list.filter(role => ceiling.includes(role)) : list).filter(role => role !== "planner" || !definition || definition.projection?.plannerEligible === true);
+    }
+  }
+  const configured = Object.fromEntries(scope.catalog.definitions.filter(d => !definitionOf(d.kind)).map(d => [d.kind, [...d.roles]]));
+  const extras = Object.fromEntries(Object.keys(scope.instances ?? {}).map(id => [id, effectiveInstanceRoles(id, scope.instances, roles, scope.catalog)]));
+  return { ...configured, ...roles, ...extras };
+}
+
+function publicActorBoard(stateDir: string, peer: string, routing: Routing): string {
+  const file = join(stateDir, "hub.db"), before = lstatSync(file);
+  if (!before.isFile() || before.isSymbolicLink() || before.nlink !== 1 || realPath(file) !== file) refuse();
+  const db = new Database(file, { readonly: true });
+  db.run(`PRAGMA busy_timeout = ${HUB_DB_BUSY_TIMEOUT_MS}`);
+  try {
+    db.run("BEGIN");
+    // Metadata only. In particular no unrelated task titles, bodies, history or refs are read.
+    const rows = db.query(`SELECT id, state, owner, reviewer,
+      CASE WHEN typeof(signals) = 'text' AND length(CAST(signals AS BLOB)) <= ${MAX_SIGNALS_BYTES} THEN signals ELSE NULL END AS signals
+      FROM tasks WHERE (owner = ? OR reviewer = ?) AND (state NOT IN ('approved', 'cancelled') OR state IS NULL)
+      ORDER BY id LIMIT ${MAX_ACTOR_TASKS + 1}`).all(peer, peer) as { id: number; state: string; owner: string | null; reviewer: string | null; signals: string | null }[];
+    if (rows.length > MAX_ACTOR_TASKS) refuse();
+    let total = 0;
+    for (const row of rows) {
+      if (!Number.isSafeInteger(row.id) || row.id <= 0 || !["proposed", "in_progress", "in_review", "changes_requested"].includes(row.state)
+        || row.signals === null || (total += Buffer.byteLength(row.signals)) > MAX_POLICY_BYTES) refuse();
+      const signals: unknown = JSON.parse(row.signals);
+      if (!Array.isArray(signals) || signals.length > 1024 || signals.some(signal => typeof signal !== "string" || signal.length > 1024)) refuse();
+      if (signals.includes("pii_path") || signals.includes("pii") && routing.constraints.pii === "local_only") refuse();
+    }
+    db.run("COMMIT");
+    const after = lstatSync(file);
+    if (after.dev !== before.dev || after.ino !== before.ino || realPath(file) !== file) refuse();
+    // Unrelated public board activity must not revoke a public conductor's offline continuity.
+    return hash(canonical({ schema: 1, peer, private: false }));
+  } finally { db.close(); }
+}
+
+/** A protected pending edit is not authorization to apply it through a restart. */
+export function assertRecoveryConfiguration(accepted: HubConfig, candidate: HubConfig): void {
+  try {
+    const previous = canonical(accepted), next = canonical(candidate);
+    if (Buffer.byteLength(previous) > 8 * MAX_POLICY_BYTES || Buffer.byteLength(next) > 8 * MAX_POLICY_BYTES || previous !== next) refuse();
+  } catch { return refuse(); }
+}
+
+export function assertRecoveryRouting(accepted: Routing, candidate: Routing): void {
+  try { if (canonical(accepted) !== canonical(candidate)) refuse(); }
+  catch { refuse(); }
+}
+
+/** Unknown future keys are still protected inputs; an older source may not silently authorize a pending edit. */
+export function assertRecoverySourceInputs(accepted: readonly { name: string; raw: Record<string, unknown> }[], candidate: RecoveryPolicyInputs): void {
+  try {
+    const actual: { name: string; raw: Record<string, unknown> }[] = [...candidate.layers];
+    for (const name of ["routing.toml", "routing.local.toml"] as const) {
+      const text = candidate.texts?.[name];
+      if (text != null) {
+        const raw = Bun.TOML.parse(text);
+        if (!raw || typeof raw !== "object" || Array.isArray(raw)) refuse();
+        actual.push({ name, raw: raw as Record<string, unknown> });
+      }
+    }
+    const projection = (rows: readonly { name: string; raw: Record<string, unknown> }[]) => Object.fromEntries(rows.filter(row => Object.keys(row.raw).length > 0).map(row => [row.name, row.raw]));
+    if (canonical(projection(accepted)) !== canonical(projection(actual))) refuse();
+  } catch { refuse(); }
+}
+
+/** One bounded source capture feeds both loadConfig and the recovery proof. No module is evaluated. */
+export function recoveryRoutingFallback(): string {
+  try { return boundedText(resolve(import.meta.dir, "..", "..", "templates", "routing.toml"))!; } catch { return refuse(); }
+}
+
+export function readRecoveryPolicyInputs(root: string, fallback?: string): RecoveryPolicyInputs {
+  try {
+    if (!isAbsolute(root) || realPath(root) !== root) refuse();
+    const layers: InstanceConfigLayer[] = [];
+    const texts: ConfigSourceTexts = { "config.json": null, "config.local.json": null, "routing.toml": null, "routing.local.toml": null };
+    for (const name of ["config.json", "config.local.json"] as const) {
+      const text = boundedText(join(root, ".agenthub", name), true);
+      texts[name] = text ?? null;
+      if (text === undefined) continue;
+      const raw: unknown = JSON.parse(text);
+      if (!raw || typeof raw !== "object" || Array.isArray(raw)) refuse();
+      layers.push({ name, raw: raw as Record<string, unknown> });
+    }
+    const ownMain = boundedText(join(root, ".agenthub", "routing.toml"), true);
+    const main = ownMain ?? fallback ?? recoveryRoutingFallback();
+    if (Buffer.byteLength(main) > MAX_POLICY_BYTES) refuse();
+    const overlay = boundedText(join(root, ".agenthub", "routing.local.toml"), true);
+    texts["routing.toml"] = ownMain ?? null; texts["routing.local.toml"] = overlay ?? null;
+    return { layers, routing: parseRouting(main, overlay === undefined ? undefined : parseOverlay(overlay)), texts, ...(ownMain === undefined ? { routingFallback: main } : {}) };
+  } catch { return refuse(); }
+}
+
+/** currentConfig must be host-loaded from these exact inputs and compared with the running accepted config.
+ * Supplied inputs are never reread from raw config/routing files. Board privacy is always fresh.
+ */
+export function captureRecoveryPolicy(project: RecoveryPolicyProject, peer: string, currentConfig: HubConfig, inputs?: RecoveryPolicyInputs): RecoveryPolicyCapture {
+  try {
+    if (!project.id || !isAbsolute(project.root) || !isAbsolute(project.stateDir) || realPath(project.root) !== project.root || realPath(project.stateDir) !== project.stateDir) refuse();
+    const snapshot = canonical(inputs ?? readRecoveryPolicyInputs(project.root));
+    if (Buffer.byteLength(snapshot) > 8 * MAX_POLICY_BYTES) refuse();
+    // Copy host own-data fields once, so proof evaluation cannot run callbacks or observe mutation mid-capture.
+    const captured = JSON.parse(snapshot) as RecoveryPolicyInputs;
+    const { layers, routing } = captured;
+    if (!Array.isArray(layers) || layers.length > 2 || new Set(layers.map(layer => layer.name)).size !== layers.length
+      || layers.some(layer => !["config.json", "config.local.json"].includes(layer.name) || !layer.raw || typeof layer.raw !== "object" || Array.isArray(layer.raw))) refuse();
+    // Explicit empty runtime definitions: never import a module or trust a retained display catalog.
+    const scope = readInstanceConfig(project.root, layers, []);
+    if (scope.adapter_modules?.length || scope.declaredExternalInstances?.length || currentConfig.adapter_modules?.length) refuse();
+    const roles = freshRoles(layers, scope);
+    if (conductorPeer(roles) !== peer || conductorPeer(currentConfig.roles) !== peer || canonical(roles) !== canonical(currentConfig.roles)
+      || canonical(scope.instances ?? {}) !== canonical(currentConfig.instances ?? {}) || scope.instances?.[peer]?.readOnly === true
+      || !scope.catalog.definitionOf(peer, scope.instances)) refuse();
+    // roster is merged key by key by loadConfig; independently refresh the exact fields that admit the actor.
+    const rawRoster = Object.assign({}, ...layers.map(layer => layer.raw.roster ?? {}));
+    const roster = peerRosterConfig(rawRoster, scope.instances, scope.catalog);
+    if (canonical(roster) !== canonical(currentConfig.roster) || !rosterAllows(roster, peer, currentConfig.pi.enabled, scope.instances, scope.catalog)) refuse();
+    // ponytail: at most 2 MiB config, 2 MiB routing and 4096 actor-bound open rows (1 MiB signals).
+    // A larger board fails closed; the upgrade path is an indexed durable per-actor privacy generation.
+    // Seal version-neutral inputs and the fresh actor decision. Defaults and registry projections may evolve in the verified target.
+    const policy = canonical({ schema: 1, project: { root: project.root, id: project.id, stateDir: project.stateDir }, peer,
+      actor: { conductor: true, rostered: true, writable: true }, sources: layers, texts: captured.texts ?? null,
+      routingFallback: captured.routingFallback ?? null });
+    if (Buffer.byteLength(policy) > 8 * MAX_POLICY_BYTES) refuse();
+    return { policyDigest: hash(policy), boardDigest: publicActorBoard(project.stateDir, peer, routing) };
+  } catch { return refuse(); }
+}

package/src/hub/research.ts

@@ -58,8 +58,8 @@ export interface TaskRecord {
   /** #258 AC11: task briefs handed over for it, and how many of them carried a hub-memory fail note; absent without briefs. */
   briefs?: { delivered: number; withFail: number };
 }
-/** A person's later verdict on one task record: `createdAt` binds it to that task, not a later one with the same id. */
-export interface LabelRecord { schema: typeof RESEARCH_SCHEMA; kind: "label"; project: string; task: number; createdAt: string; label: Label; at: string }
+/** A person's later verdict on one task record: `createdAt` binds it to that task, not a later one with the same id. `by`: the agent that labelled its own task (#933); absent for the person. */
+export interface LabelRecord { schema: typeof RESEARCH_SCHEMA; kind: "label"; project: string; task: number; createdAt: string; label: Label; at: string; by?: string }
 export type ResearchRecord = TaskRecord | LabelRecord;
 
 /** The store name for a project: a hash of its id, never its path. */
@@ -293,15 +293,26 @@ export function formatResearch(r: ResearchReport): string[] {
   return [head, row("all approved tasks", r.overall), ...section("by class", r.byClass), ...section("by owner", r.byOwner), ...section("by model", r.byModel), ...section("by project", r.byProject), ...(Object.keys(r.byMemoryBrief).some((k) => k !== "no brief recorded") ? section("by memory brief", r.byMemoryBrief) : [])];
 }
 
-/** Each approved task once, its last record, and every task's latest label: what both reports count. */
-function latestRecords(records: ResearchRecord[], since: number): { all: TaskRecord[]; labels: Map<string, Label> } {
-  const latest = new Map<string, TaskRecord>(), labels = new Map<string, Label>();
+/**
+ * The label each record counts with: the person's latest label, whatever came after it; an agent's (#933, `by` set) only when the person
+ * never labelled that record, the latest of them then. An agent's verdict on its own task never replaces the person's.
+ */
+function effectiveLabels(records: readonly ResearchRecord[]): Map<string, LabelRecord> {
+  const labels = new Map<string, LabelRecord>();
   for (const r of records) {
-    const key = recordKey(r);
-    if (r.kind === "label") { labels.set(key, r.label); continue; }
-    if (Date.parse(r.approvedAt) >= since) latest.set(key, r);
+    if (r.kind !== "label") continue;
+    const key = recordKey(r), held = labels.get(key);
+    if (r.by === undefined || held === undefined || held.by !== undefined) labels.set(key, r);
   }
-  return { all: [...latest.values()], labels };
+  return labels;
+}
+const labelValues = (labels: Map<string, LabelRecord>): Map<string, Label> => new Map([...labels].map(([key, r]) => [key, r.label]));
+
+/** Each approved task once, its last record, and every task's effective label: what both reports count. */
+function latestRecords(records: ResearchRecord[], since: number): { all: TaskRecord[]; labels: Map<string, Label> } {
+  const latest = new Map<string, TaskRecord>();
+  for (const r of records) if (r.kind === "task" && Date.parse(r.approvedAt) >= since) latest.set(recordKey(r), r);
+  return { all: [...latest.values()], labels: labelValues(effectiveLabels(records)) };
 }
 
 /** The peers that worked on a task: every peer with an attributed event, else (older records) owners, reviewer and token peers. */
@@ -364,15 +375,14 @@ export function formatAddons(rows: AddonComparison[]): string[] {
 
 export const CSV_COLUMNS = ["project", "task", "class", "pii", "outcome", "createdAt", "startedAt", "approvedAt", "wallMs", "activeMs", "owners",
   "reviewer", "reviewRounds", "changesRequested", "checkPassed", "checkFailed", "dones", "reassignments", "firstPass", "stuck", "overlaps", "conflicts",
-  "testsPass", "testsFail", "tokens", "turns", "filesChanged", "models", "label", "writerVersion", "writerSource"] as const;
-/** Task records as CSV with a header row, one row per record, each with the task's latest label; JSONL has every field. */
+  "testsPass", "testsFail", "tokens", "turns", "filesChanged", "models", "label", "labelBy", "writerVersion", "writerSource"] as const;
+/** Task records as CSV with a header row, one row per record, each with its effective label and who gave it (empty: the person); JSONL has every field. */
 export function toCsv(records: ResearchRecord[]): string {
-  const labels = new Map<string, Label>();
-  for (const r of records) if (r.kind === "label") labels.set(recordKey(r), r.label);
+  const labels = effectiveLabels(records);
   const cell = (v: unknown) => { const s = v === null || v === undefined ? "" : String(v); return /[",\n]/.test(s) ? `"${s.replace(/"/g, '""')}"` : s; };
   const rows = records.filter((r): r is TaskRecord => r.kind === "task").map((r) => [r.project, r.task, r.class, r.pii, r.outcome, r.createdAt, r.startedAt,
     r.approvedAt, r.wallMs, r.activeMs, r.owners.join(" "), r.reviewer, r.reviewRounds, r.changesRequested, r.checkPassed, r.checkFailed, r.dones,
     r.reassignments, r.firstPass, r.stuck, r.overlaps, r.conflicts, r.tests.pass, r.tests.fail, r.tokens.total, r.turns, r.filesChanged, r.models.join(" "),
-    labels.get(recordKey(r)) ?? "", r.writer.version, r.writer.source].map(cell).join(","));
+    labels.get(recordKey(r))?.label ?? "", labels.get(recordKey(r))?.by ?? "", r.writer.version, r.writer.source].map(cell).join(","));
   return [CSV_COLUMNS.join(","), ...rows].join("\n") + "\n";
 }

package/src/hub/restart.ts

@@ -7,6 +7,7 @@ import { MAX_HOP } from "./envelope.ts";
 import { validateJournalSnapshot } from "./delivery-journal.ts";
 import { atomicPrivateJSON } from "./recovery-store.ts";
 import { RecoveryDeferredHubError, validateDeferredHub } from "./deferred-hub.ts";
+import { validExternalInstanceBinding, type ExternalInstanceBinding } from "./external-instance.ts";
 
 export const RESTART_SCHEMA_VERSION = 1;
 
@@ -24,6 +25,8 @@ export interface RestartPeerSnapshot {
    * cannot be resumed and a fresh session is accepted instead. Absent in snapshots written
    * before this flag; those are re-derived from disk (#64). */
   sessionPersisted?: boolean;
+  /** Retained stable identity for an explicitly stopped module instance; never authorizes automatic resume. */
+  externalInstance?: ExternalInstanceBinding;
 }
 
 export interface RestartSnapshot {
@@ -41,6 +44,8 @@ export interface RestartSnapshot {
     manualPaused: PeerId[];
     boardDigest: string;
     budgetDigest: string;
+    /** Whole captured binding set; portable identities are covered alongside queue/board integrity. */
+    externalBindingsDigest?: string;
   };
 }
 
@@ -87,7 +92,9 @@ export function readRestartSnapshot(stateDir: string, expected: RestartReadExpec
     }, occupied);
   } catch (error) { if (error instanceof RecoveryDeferredHubError) throw error; return undefined; }
   if (!Array.isArray(s.manualPaused) || !s.manualPaused.every((id) => typeof id === "string") || !Array.isArray(s.peers) || !s.peers.every((peer) => peer && typeof peer === "object" && typeof peer.id === "string" && ["idle", "busy", "paused", "offline"].includes(peer.state as string) && Array.isArray(peer.queueIds) && peer.queueIds.every((id) => typeof id === "string"))) return undefined;
+  if (s.peers.some(peer => Object.hasOwn(peer, "externalInstance") && (peer.state !== "offline" || !validExternalInstanceBinding(peer.externalInstance, expected.projectRoot, peer.id)))) return undefined;
   if (s.integrity !== undefined && (!s.integrity || typeof s.integrity !== "object" || typeof s.integrity.boardDigest !== "string" || typeof s.integrity.budgetDigest !== "string" || !Array.isArray(s.integrity.manualPaused) || !s.integrity.manualPaused.every((id) => typeof id === "string") || !s.integrity.queues || typeof s.integrity.queues !== "object" || !Object.values(s.integrity.queues).every((ids) => Array.isArray(ids) && ids.every((id) => typeof id === "string")))) return undefined;
+  if (s.integrity && Object.hasOwn(s.integrity, "externalBindingsDigest") && (typeof s.integrity.externalBindingsDigest !== "string" || !/^[a-f0-9]{64}$/.test(s.integrity.externalBindingsDigest))) return undefined;
   if (bus.journal !== undefined) { try { validateJournalSnapshot(bus.journal); } catch { return undefined; } }
   return s as RestartSnapshot;
 }