@sleep2agi/agent-network 2.3.0-preview.17 → 2.3.0-preview.170

package/dist/src/codex-lifecycle-preflight.d.ts

@@ -0,0 +1,79 @@
+import type { ReceiptCheck } from "./codex-lifecycle-receipt";
+export interface RolloutFact {
+    readonly path: string;
+    readonly inode: number | bigint;
+    readonly bytes: number;
+    readonly mtimeMs: number;
+}
+export interface ProcessFact {
+    readonly pid: number;
+    readonly cwd: string | null;
+    /** 子进程实际环境里的 CODEX_HOME(不是 wrapper 继承的那份 —— wrapper 环境不能作承重证据)。 */
+    readonly codexHome: string | null;
+    /** 子进程实际环境里 CommHub token 的短指纹;null = 没读到或该进程不该持有。 */
+    readonly tokenFingerprint: string | null;
+    /** 子进程环境里的 ANET_NODE_MARKER(copresence-identity 的身份 uuid);null = 没有。 */
+    readonly markerUuid: string | null;
+    readonly argv: readonly string[];
+}
+export interface PreflightFacts {
+    readonly alias: string;
+    readonly configNodeId: string | null;
+    /** hub 名册按 alias 精确查到的 node_id;null = hub 不可达或没这个 alias。 */
+    readonly hubNodeId: string | null;
+    readonly home: {
+        readonly dir: string;
+        readonly dirMode: number | null;
+        readonly authMode: number | null;
+        readonly authBytes: number | null;
+        /** Selected custom env_key observed identically in owned Codex TUI/app-server. */
+        readonly providerEnvAttested?: boolean;
+        readonly configTokenFingerprint: string | null;
+        readonly envFileTokenFingerprint: string | null;
+    };
+    readonly workdir: {
+        readonly configProjectDir: string | null;
+        readonly tuiCwd: string | null;
+        readonly tuiArgvDir: string | null;
+        readonly bridgeProjectDir: string | null;
+        readonly statusBarDir: string | null;
+    };
+    readonly session: {
+        readonly threadId: string | null;
+        /** CODEX_HOME 里文件名以 <threadId>.jsonl 结尾的 rollout 全集。 */
+        readonly rolloutMatches: readonly RolloutFact[];
+    };
+    readonly port: {
+        readonly port: number | null;
+        readonly owner: ProcessFact | null;
+    };
+    readonly topology: {
+        /** copresence-identity.json 里的身份 uuid;null = 没有 marker 文件。 */
+        readonly markerUuid: string | null;
+        /** marker 里记的 pid(采集时的观测提示,**不是**身份来源)与现在 tmux pane 的 pid。 */
+        readonly recorded: Readonly<Record<"appsrv" | "bridge" | "tui", number | null>>;
+        readonly live: Readonly<Record<"appsrv" | "bridge" | "tui", number | null>>;
+        /** 每个 tmux 段下带环境的子进程各自的 ANET_NODE_MARKER。 */
+        readonly liveMarkers: Readonly<Record<"appsrv" | "bridge" | "tui", readonly (string | null)[]>>;
+        /** 每个 tmux 段下带环境的子进程各自的 CODEX_HOME(realpath)。 */
+        readonly liveHomes: Readonly<Record<"appsrv" | "bridge" | "tui", readonly (string | null)[]>>;
+    };
+    readonly goal: {
+        readonly state: "active" | "stalled" | "paused" | "achieved" | "none" | "unknown";
+    };
+    readonly children: readonly ProcessFact[];
+    readonly expectedTokenFingerprint: string | null;
+}
+export declare function checkIdentity(f: PreflightFacts): ReceiptCheck;
+export declare function checkHome(f: PreflightFacts): ReceiptCheck;
+export declare function checkWorkdir(f: PreflightFacts): ReceiptCheck;
+export declare function checkSession(f: PreflightFacts): ReceiptCheck;
+export declare function rolloutSnapshot(f: PreflightFacts): ReceiptCheck;
+export declare function compareRollout(before: RolloutFact, after: RolloutFact | null): ReceiptCheck;
+export declare function checkPortOwner(f: PreflightFacts): ReceiptCheck;
+export declare function checkChildEnv(f: PreflightFacts): ReceiptCheck;
+export declare function checkGoalState(f: PreflightFacts): ReceiptCheck;
+export declare function checkTopology(f: PreflightFacts): ReceiptCheck;
+export declare function evaluateCodexPreflight(f: PreflightFacts): ReceiptCheck[];
+/** verify = preflight + 子进程环境 + 跨节点身份验收(identity_attested 由调用方注入;PR-A 里没有探针时给 unknown)。 */
+export declare function evaluateCodexVerify(f: PreflightFacts, identityAttested: ReceiptCheck): ReceiptCheck[];

package/dist/src/codex-lifecycle-receipt.d.ts

@@ -0,0 +1,53 @@
+export type CheckStatus = "pass" | "fail" | "unknown" | "n/a";
+export interface ReceiptCheck {
+    readonly key: string;
+    readonly status: CheckStatus;
+    /** 一句人话:pass 说核到了什么,fail 说差在哪,unknown 说为什么量不到。 */
+    readonly detail: string;
+    /** 可复核的证据(路径、inode、字节数、短指纹……);不得含凭据。 */
+    readonly evidence?: Readonly<Record<string, unknown>>;
+}
+export type LifecycleVerb = "preflight" | "verify" | "start" | "restart" | "resume" | "fork" | "adopt" | "account-install" | "rollback";
+export interface LifecycleReceipt {
+    readonly format: "anet-codex-lifecycle-receipt/1";
+    readonly id: string;
+    readonly verb: LifecycleVerb;
+    readonly alias: string;
+    readonly nodeId: string | null;
+    readonly startedAt: string;
+    readonly finishedAt: string;
+    readonly verdict: "PASS" | "FAIL";
+    /** FAIL 时阻塞的 check key(fail 与 unknown 都算)。 */
+    readonly blocking: readonly string[];
+    readonly checks: readonly ReceiptCheck[];
+}
+/** 每个动词要求哪些 check 必须 pass。preflight 只读,不要求 identity_attested(那是 verify 的活)。 */
+export declare const REQUIRED_CHECKS: Readonly<Record<LifecycleVerb, readonly string[]>>;
+export declare function shortFingerprint(value: string | undefined | null, length?: number): string | null;
+export declare function redactReceipt<T>(value: T, key?: string): T;
+/**
+ * #535 — required checks that may be "n/a" instead of "pass". identity_attested needs a second
+ * local node to send the nonce; a user with one node has no peer, and a verdict that can never be
+ * PASS for them is a verdict nobody can act on (audit: verify/canary/restart rc=2 on a healthy node).
+ * "n/a" stays visible in the receipt and in the summary line; it never turns into "pass".
+ */
+export declare const NOT_APPLICABLE_OK: ReadonlySet<string>;
+export declare const INFORMATIONAL_PREFIXES: readonly string[];
+/** before:home_isolated → home_isolated; rollout_before (restart's renamed snapshot) → rollout_intact. */
+export declare function unprefixedCheckKey(key: string): string;
+export declare function receiptVerdict(verb: LifecycleVerb, checks: readonly ReceiptCheck[]): {
+    verdict: "PASS" | "FAIL";
+    blocking: string[];
+};
+export declare function buildReceipt(opts: {
+    verb: LifecycleVerb;
+    alias: string;
+    nodeId: string | null;
+    startedAt: Date;
+    finishedAt?: Date;
+    checks: readonly ReceiptCheck[];
+}): LifecycleReceipt;
+/** receipts 落在节点目录下 receipts/<id>.json,0600,先写临时文件再 rename(原子)。返回绝对路径。 */
+export declare function writeReceipt(nodeDir: string, receipt: LifecycleReceipt): string;
+/** 终端摘要:一行一 check,PASS/FAIL 在最后;不打印 evidence 里的长值。 */
+export declare function formatReceiptSummary(receipt: LifecycleReceipt): string;

package/dist/src/codex-lifecycle-restart.d.ts

@@ -0,0 +1,88 @@
+/**
+ * #1856 PR-B — `anet node codex start|restart|resume` 的确定性状态机。
+ *
+ * 零 LLM:每一步是「读事实 → 判 → 动作 → 写 receipt check」,顺序固定;所有副作用都经 `RestartActions`
+ * 注入,所以这个文件可以在纯单测里跑完整个流程(含失败与回滚分支)。
+ *
+ * 停:Bridge → TUI → App Server(反向于依赖:先断任务入口,再让 TUI 把 rollout 刷完,最后放掉端口)。
+ * 起:交给 `anet node start <alias> --copresence --tui-first`(App Server → 端口就绪 → exact-session
+ *     TUI 完全恢复 → Bridge),再用 preflight/verify 复核 —— 起的顺序由启动器保证,这里只验证结果。
+ * 任一步 fail → 不再往下;若已停掉进程则尝试一次「回滚」= 按原配置再起一次;仍失败就留在已停状态,
+ * receipt 记录到哪一步、为什么,exit 2。绝不猜、绝不 fallback 到别的线程。
+ */
+import type { ReceiptCheck } from "./codex-lifecycle-receipt.js";
+import type { RolloutFact } from "./codex-lifecycle-preflight.js";
+export type RestartVerb = "start" | "restart" | "resume";
+export type GoalState = "active" | "paused" | "stalled" | "achieved" | "none" | "unknown";
+export type CopresenceRole = "bridge" | "tui" | "appsrv";
+export interface GateResult {
+    /** 该阶段所有 check(preflight 或 verify 的输出)。 */
+    readonly checks: readonly ReceiptCheck[];
+    /** 该阶段 rollout 快照(session_exact 通过时才有)。 */
+    readonly rollout: RolloutFact | null;
+    /** 端口占用者(null = 空闲)。 */
+    readonly port: {
+        readonly port: number | null;
+        readonly ownerPid: number | null;
+        readonly ownerIsOurs: boolean | null;
+    };
+}
+export interface RestartActions {
+    /** 只读核对(PR-A 的 preflight;`after` 阶段可带 identity_attested 变 verify)。 */
+    gate(phase: "before" | "after"): Promise<GateResult>;
+    /** goals.json 的状态摘要 + 内容指纹(unknown = 读不到/不认识的 schema)。 */
+    goalState(): Promise<{
+        state: GoalState;
+        fingerprint: string | null;
+    }>;
+    /** 三个 tmux 会话谁还活着。 */
+    liveSessions(): Promise<Readonly<Record<CopresenceRole, boolean>>>;
+    /** 杀掉一个角色的 tmux 会话并等它消失;ok=false 时 detail 说为什么。 */
+    stopSession(role: CopresenceRole): Promise<{
+        ok: boolean;
+        detail: string;
+    }>;
+    /** 等 rollout 文件字节数稳定(TUI 退出后大 rollout 还在刷盘);返回最终快照。 */
+    waitRolloutSettled(before: RolloutFact | null): Promise<RolloutFact | null>;
+    /** 等端口空闲;超时仍被占用时给出占用者 pid 与「是不是我们自己的 app-server」。 */
+    waitPortFree(): Promise<{
+        free: boolean;
+        ownerPid: number | null;
+        ownerIsOurs: boolean | null;
+    }>;
+    /** 对已核实属于本节点的残留 pid 发 TERM(定向,绝不 pkill -f)。 */
+    termOwnedPid(pid: number): Promise<{
+        ok: boolean;
+        detail: string;
+    }>;
+    /** 跑启动器(`anet node start --copresence --tui-first`);ok=false 时 detail 是它的尾部输出。 */
+    start(): Promise<{
+        ok: boolean;
+        detail: string;
+    }>;
+    /** hub 上该 node_id 是否在超时内回到 online/idle。 */
+    waitHubOnline(): Promise<{
+        ok: boolean;
+        detail: string;
+    }>;
+    /** 跨节点 nonce 探针;未配置时为 undefined(check 记 n/a,#535:单节点不阻塞)。 */
+    nonceProbe?: () => Promise<{
+        ok: boolean;
+        detail: string;
+        evidence?: Record<string, unknown>;
+    }>;
+}
+export interface RestartOutcome {
+    readonly verb: RestartVerb;
+    readonly checks: readonly ReceiptCheck[];
+    /** 走到哪一步停下(PASS 时 = "done")。 */
+    readonly stoppedAt: string;
+    readonly rolledBack: boolean;
+}
+/** #535 — shared with the CLI's verify/canary so every verb says the same thing. */
+export declare const SINGLE_NODE_UNATTESTED_DETAIL = "not applicable: no --probe-from <peer> given (single node) \u2014 cross-node nonce attestation skipped; pass --probe-from <alias> to attest";
+/** before 阶段的门:required 里不许有 fail;unknown 允许(要重启的节点常常就是缺了一截进程)。 */
+export declare function beforeGateBlocks(checks: readonly ReceiptCheck[]): string[];
+/** 三个角色按依赖反向停;返回 stop_order check(顺序本身就是证据)。 */
+export declare function orderedStop(actions: RestartActions, live: Readonly<Record<CopresenceRole, boolean>>): Promise<ReceiptCheck>;
+export declare function runCodexRestart(verb: RestartVerb, actions: RestartActions): Promise<RestartOutcome>;

package/dist/src/codex-login-share-guard.d.ts

@@ -0,0 +1,146 @@
+/** The explicit, documented-as-unsafe override. Spelled once so help, messages and tests agree. */
+export declare const ALLOW_SHARED_CODEX_LOGIN_FLAG = "--allow-shared-codex-login";
+/** Per-node record of where the node's codex credential came from. */
+export declare const CODEX_AUTH_ORIGIN_FILE = ".codex-auth-origin.json";
+/** Host-index filename for a node's origin record: same directory-derived key as
+ *  #1918's record, different suffix, so neither overwrites the other. */
+export declare function codexOriginIndexFile(nodeDir: string): string;
+export type CodexLoginSource = {
+    kind: "host";
+    path: string;
+} | {
+    kind: "fork";
+    sourceAlias: string;
+} | {
+    kind: "account";
+    profileId: string;
+};
+export interface CodexLoginHolder {
+    readonly alias: string;
+    /** Canonical node directory — the identity. */
+    readonly nodeDir: string;
+    /** "current": its last published fingerprint; "origin": the credential it was given. */
+    readonly via: "current" | "origin";
+}
+/**
+ * Fingerprint of an auth.json on disk, or null when there is none or it carries
+ * no refresh token (an API-key login does not rotate, so sharing it is not this
+ * failure). The text is hashed and dropped; nothing here returns or logs it.
+ */
+export declare function codexLoginFingerprintOfFile(authJsonPath: string): string | null;
+export interface FindHoldersOptions {
+    readonly fingerprint: string;
+    /** The node being given the credential — excluded from the result. */
+    readonly selfNodeDir: string;
+    /** Injected for tests; production uses the host index under ~/.anet. */
+    readonly indexDir?: string;
+    /** `.anet/nodes` roots to scan besides the host index. Default: the parent of selfNodeDir. */
+    readonly siblingRoots?: readonly string[];
+}
+/**
+ * Every OTHER node on this host whose published fingerprint, or recorded
+ * credential origin, equals `fingerprint`. Read-only: it never deletes, never
+ * writes, and never opens another node's auth.json.
+ *
+ * A record whose node directory no longer exists describes a node that is
+ * gone and is ignored (#1918's liveness rule: existence, not age).
+ */
+export declare function findCodexLoginHolders(opts: FindHoldersOptions): CodexLoginHolder[];
+export interface StagingDecisionInput {
+    /** The node that would receive the credential. */
+    readonly alias: string;
+    /** Its codex-home — named in the fix instruction. */
+    readonly targetCodexHome: string;
+    /** Fingerprint of the credential about to be handed over; null = not a rotating login. */
+    readonly fingerprint: string | null;
+    readonly holders: readonly CodexLoginHolder[];
+    readonly source: CodexLoginSource;
+    readonly allowShared: boolean;
+    /** Extra "how to fix" line for this command (e.g. fork's --no-codex-login). */
+    readonly extraFix?: readonly string[];
+}
+export type StagingDecision = {
+    readonly kind: "ok";
+    readonly lines: string[];
+} | {
+    readonly kind: "refuse";
+    readonly lines: string[];
+} | {
+    readonly kind: "override";
+    readonly lines: string[];
+};
+/**
+ * Decide whether handing this credential to this node is allowed, and the exact
+ * text to print. Pure — the callers own the I/O and the exit code (1, per #2321).
+ */
+export declare function decideCodexLoginStaging(i: StagingDecisionInput): StagingDecision;
+export interface RecordOriginOptions {
+    readonly nodeDir: string;
+    readonly alias: string;
+    readonly fingerprint: string;
+    readonly source: CodexLoginSource;
+    readonly indexDir?: string;
+    readonly now?: Date;
+}
+/**
+ * Record which credential a node was handed (8-hex fingerprint + where from).
+ * Best effort: a failure is returned as a message, never thrown — a node must
+ * not fail to start because bookkeeping failed.
+ */
+export declare function recordCodexLoginOrigin(o: RecordOriginOptions): string | null;
+export interface SharedLoginGroup {
+    /** 8-hex refresh fingerprint — not a credential. */
+    readonly fingerprint: string;
+    readonly aliases: string[];
+}
+/**
+ * For `anet doctor`: groups of ≥2 live nodes whose CURRENT published
+ * fingerprint is the same. Read-only; aliases only.
+ */
+export declare function sharedCodexLoginGroups(opts?: {
+    indexDir?: string;
+    nodeRoots?: readonly string[];
+}): SharedLoginGroup[];
+export interface EvaluateStagingOptions {
+    /** The node that would receive the credential (may not exist yet, e.g. a fork target). */
+    readonly nodeDir: string;
+    readonly alias: string;
+    readonly targetCodexHome: string;
+    /** The auth.json about to be copied. Read only to hash it. */
+    readonly sourceAuthPath: string;
+    readonly source: CodexLoginSource;
+    readonly allowShared: boolean;
+    readonly extraFix?: readonly string[];
+    /** Holders known without any record — a fork's source node always holds its own login. */
+    readonly knownHolders?: readonly CodexLoginHolder[];
+    readonly indexDir?: string;
+    readonly siblingRoots?: readonly string[];
+}
+export type EvaluatedStaging = StagingDecision & {
+    readonly fingerprint: string | null;
+    readonly holders: readonly CodexLoginHolder[];
+};
+/**
+ * Fingerprint → holders → decision, in one call, for every staging path.
+ * Writes nothing; the caller records the origin once the credential has
+ * actually been handed over (see recordCodexLoginOrigin).
+ */
+export declare function evaluateCodexLoginStaging(o: EvaluateStagingOptions): EvaluatedStaging;
+/**
+ * `anet node codex fork --no-codex-login` deliberately leaves the target without
+ * a credential, and home_isolated would fail on exactly that. The caller runs
+ * the real check with the credential treated as present (so every OTHER rule —
+ * directory mode, CommHub token, env-file token — is still evaluated) and passes
+ * the result here: a pass is re-worded to say what is still owed, a failure
+ * stays the failure it is.
+ */
+export declare function homeCheckPendingOwnLogin<C extends {
+    status: string;
+    detail: string;
+}>(checkAssumingLogin: C, codexHome: string): C;
+/** The step of a host stage plan that newly hands a node a login: auth.json where the node has none.
+ *  A "host-newer" re-stage is an existing node and is not gated (it still gets the #1918 warning). */
+export declare function newLoginStep<T extends {
+    name: string;
+    reason: string;
+}>(plan: readonly T[]): T | undefined;

package/dist/src/codex-menu.d.ts

@@ -0,0 +1,99 @@
+export type CodexKind = "co-presence" | "codex-sdk";
+export interface CodexMenuNode {
+    id: string;
+    alias: string;
+    profile: Record<string, any> | null;
+}
+export interface CodexNodeRow {
+    id: string;
+    alias: string;
+    kind: CodexKind;
+    /** "running" | "stopped" | "partial 1/3" … */
+    state: string;
+    running: boolean;
+    loggedIn: boolean;
+    /** Where the login lives: the node's own CODEX_HOME, or the host's ~/.codex. */
+    loginWhere: "node" | "host";
+    /** Absolute CODEX_HOME for `codex login`; null = codex's own default (~/.codex). */
+    codexHome: string | null;
+    threadId: string | null;
+    model: string;
+    modelIsDefault: boolean;
+}
+export interface CollectEnv {
+    nodesDir: string;
+    /** $HOME — only used to locate the host's ~/.codex/auth.json. */
+    home: string;
+    /** The environment a start would inherit (CODEX_HOME); defaults to process.env. */
+    env?: Record<string, string | undefined>;
+    /** Exact tmux session names on the server anet uses (empty when none). */
+    tmuxSessions?: () => Set<string>;
+    pidAlive?: (pid: number) => boolean;
+}
+export declare function realTmuxSessions(): Set<string>;
+export declare function realPidAlive(pid: number): boolean;
+/** Only codex nodes: co-presence (codex-app-server) and codex-sdk. */
+export declare function collectCodexRows(nodes: CodexMenuNode[], env: CollectEnv): CodexNodeRow[];
+export declare function renderCodexTable(rows: CodexNodeRow[], cwd: string): string;
+export declare const CODEX_CHEAT_SHEET: string;
+export type MenuAction = "start" | "stop" | "restart" | "verify" | "login" | "continue" | "pick" | "model" | "copy" | "delete";
+export declare const MENU_ACTIONS: {
+    key: MenuAction;
+    label: string;
+}[];
+export interface PlannedCommand {
+    /** argv[0] is "anet" (re-invoke this CLI) or "codex". */
+    argv: string[];
+    /** Extra env for the child (only CODEX_HOME for login). */
+    env?: Record<string, string>;
+    /** Shown before the confirm prompt, after the command. */
+    note?: string;
+    /** Shown after the command succeeded. */
+    after?: string;
+}
+export declare function displayQuote(v: string): string;
+export declare function commandLine(cmd: PlannedCommand): string;
+export interface ActionInput {
+    model?: string;
+    newName?: string;
+    workdir?: string;
+}
+/** #528 — not about an existing node: turn a codex conversation started outside anet into a new one. */
+export declare const ADOPT_KEY = "a";
+export declare function planAdopt(newName: string): PlannedCommand;
+export declare function planAction(row: CodexNodeRow, action: MenuAction, input?: ActionInput): PlannedCommand;
+export interface MenuIO {
+    write(s: string): void;
+    /** Resolves to the next line, or null at end of input. */
+    readLine(prompt: string): Promise<string | null>;
+}
+export type Runner = (cmd: PlannedCommand) => Promise<number>;
+export declare function pick(io: MenuIO, prompt: string, max: number, allowAdopt?: boolean): Promise<number | "adopt" | null>;
+/** Returns the process exit code. Runs at most one command. */
+export declare function codexMenu(rows: CodexNodeRow[], io: MenuIO, run: Runner, ctx: {
+    cwd: string;
+}): Promise<number>;
+/** The action step for one codex node. #561: `anet node` (all runtimes) hands codex nodes off to this. */
+export declare function codexNodeActions(row: CodexNodeRow, io: MenuIO, run: Runner, ctx: {
+    cwd: string;
+}): Promise<number>;
+/** Ask for a model id; null (and a message) when none / not a plain id. Shared with node-menu.ts (#561). */
+export declare function askModel(io: MenuIO, current: string): Promise<string | null>;
+/**
+ * Print the exact command, then ask: y/N, or (typedName) the node's name. Run it only then.
+ * The one gate both menus go through (#532 codex, #561 every runtime).
+ */
+export declare function confirmAndRun(io: MenuIO, run: Runner, cmd: PlannedCommand, row: {
+    alias: string;
+}, typedName: boolean): Promise<number>;
+/** A line queue over one readline: scripted input that arrives in one chunk is not lost between prompts. */
+export declare function readlineIO(): MenuIO & {
+    close(): void;
+};
+export declare function realRunner(beforeRun: () => void): Runner;
+/** Entry from cli.ts (`anet node codex` with no arguments). Returns the exit code. */
+export declare function runCodexMenu(nodes: CodexMenuNode[], opts: {
+    nodesDir: string;
+    home: string;
+    cwd?: string;
+}): Promise<number>;

package/dist/src/codex-model-default.d.ts

@@ -0,0 +1,6 @@
+export declare const DEFAULT_CODEX_MODEL = "gpt-5.6-sol";
+export declare const CODEX_MODEL_CHOICES: ReadonlyArray<{
+    readonly id: string;
+    readonly default?: boolean;
+}>;
+export declare function defaultCodexModelForRuntime(runtime: string): string | undefined;

package/dist/src/codex-node-login.d.ts

@@ -0,0 +1,98 @@
+export type CodexLoginKind = "chatgpt" | "api-key" | "none" | "unreadable";
+export interface CodexLoginFacts {
+    readonly loggedIn: boolean;
+    readonly kind: CodexLoginKind;
+    /** #1918 refresh-chain fingerprint (8 hex) — what actually collides. */
+    readonly loginFingerprint: string | null;
+    /** #1856 account fingerprint (sha256(account_id), 16 hex). */
+    readonly accountFingerprint: string | null;
+    /** `email` claim of the id_token, when present. Not a credential. */
+    readonly email: string | null;
+}
+/** What an auth.json says about a login — without ever returning a token. */
+export declare function codexLoginFactsFromText(text: string | null): CodexLoginFacts;
+export declare function codexLoginFactsOfHome(codexHome: string): CodexLoginFacts;
+export interface NodeConfigLike {
+    runtime?: unknown;
+    codexCopresence?: unknown;
+    codexHome?: unknown;
+    env?: unknown;
+    alias?: unknown;
+    node_name?: unknown;
+    name?: unknown;
+}
+/** A node whose runtime runs codex. */
+export declare function isCodexNodeConfig(cfg: NodeConfigLike | null | undefined): boolean;
+export type EffectiveCodexHomeSource = "config.codexHome" | "node-codex-home" | "config.env" | "environment" | "default";
+/**
+ * The CODEX_HOME this node's codex process will get — the same decision
+ * `applyNodeCodexHome` makes on start: the node's own value; otherwise an
+ * inherited CODEX_HOME unless it is another node's codex-home; otherwise
+ * codex's default `~/.codex`.
+ */
+export declare function effectiveCodexHome(nodeDir: string, cfg: NodeConfigLike | null, env: Record<string, string | undefined>, home: string): {
+    codexHome: string;
+    source: EffectiveCodexHomeSource;
+};
+export interface LoginNextStepInput {
+    readonly alias: string;
+    readonly codexHome: string;
+    /** Does the codex-home directory exist yet? codex 0.133 refuses a CODEX_HOME that does not. */
+    readonly homeExists: boolean;
+    /** e.g. `anet node start <alias>`; printed as what comes after the login. */
+    readonly then?: string;
+}
+/**
+ * The one next step for a codex node without a login. Plain text, no token,
+ * nothing executed. `--device-auth` is in `codex login --help` of the pinned
+ * codex (agent-node depends on @openai/codex ^0.133; checked on 0.133.0).
+ */
+export declare function codexLoginNextStepLines(i: LoginNextStepInput): string[];
+export interface CreateLoginGapInput {
+    readonly nodeDir: string;
+    readonly config: NodeConfigLike | null;
+    readonly env: Record<string, string | undefined>;
+    readonly home: string;
+    /**
+     * For a co-presence node whose own codex-home has no login: would its first
+     * start be allowed to stage the host login (#514 gate says "ok")? Injected so
+     * this stays a pure decision; the CLI passes evaluateCodexLoginStaging.
+     */
+    readonly hostLoginWouldBeStaged: (hostAuthPath: string) => boolean;
+}
+/** null = the node will have a usable login; otherwise the CODEX_HOME to log in. */
+export declare function codexCreateLoginGap(i: CreateLoginGapInput): {
+    codexHome: string;
+    homeExists: boolean;
+} | null;
+export interface CodexLoginStatusRow {
+    alias: string;
+    node_id: string | null;
+    runtime: string;
+    copresence: boolean;
+    codex_home: string;
+    codex_home_source: EffectiveCodexHomeSource;
+    logged_in: boolean;
+    login_kind: CodexLoginKind;
+    /** #1918 refresh-chain fingerprint (8 hex). */
+    login_fingerprint: string | null;
+    /** #1856 account fingerprint (16 hex). */
+    account_fingerprint: string | null;
+    email: string | null;
+    /** Other nodes holding the SAME refresh chain — they log each other out. */
+    shared_with: string[];
+    /** Other nodes logged in to the same account with their OWN login — fine. */
+    same_account_as: string[];
+}
+export interface LoginStatusOptions {
+    /** `<workspace>/.anet/nodes` */
+    readonly nodesRoot: string;
+    readonly env: Record<string, string | undefined>;
+    readonly home: string;
+    /** Host index of published fingerprints (#1918); default under `home`. */
+    readonly indexDir?: string;
+}
+/** One row per codex node under `nodesRoot`. Read-only. */
+export declare function codexNodeLoginStatus(o: LoginStatusOptions): CodexLoginStatusRow[];
+/** Human table. Never contains a token: rows carry none. */
+export declare function formatCodexLoginStatus(rows: readonly CodexLoginStatusRow[], workspace: string): string[];

package/dist/src/codex-pending-thread-restart.d.ts

@@ -0,0 +1,69 @@
+/**
+ * #602 — what `anet node start` does with a `codexPendingThread` it finds in
+ * the node config before launching a new co-presence generation.
+ *
+ * The candidate is written by the bridge when the TUI opens a thread that has
+ * not had a conversation yet (codex only writes a rollout on the first turn).
+ * It is bound to the identity marker of the generation that saw it, so a
+ * restart after a crash can carry it over to the next generation without
+ * guessing (`migrateCodexPendingThread`) once its exact rollout exists. A
+ * candidate acknowledged by RPC but never materialized remains pending and
+ * is dropped on the next start, even if the old marker file survived.
+ *
+ * A clean `anet node stop` reaps that generation and removes its marker, but
+ * the candidate stays in the config. Before #602 the next start then refused
+ * for good: "pending Codex thread is not bound to the exact private
+ * previous-generation marker" — every node whose TUI was never used could be
+ * stopped once and never started again.
+ *
+ * A candidate whose marker file is gone AND whose thread has no rollout under
+ * this node's CODEX_HOME holds nothing: codex never persisted the thread, its
+ * app-server generation is gone, and no app-server can resume it. Dropping it
+ * adopts nothing and loses nothing; the new generation starts a fresh thread
+ * exactly like a first start. Everything else keeps the old fail-closed
+ * answer — in particular a candidate whose thread HAS a rollout while the
+ * marker that bound it is gone is never adopted, because nothing proves the
+ * binding was ours.
+ */
+export type PendingThreadAtStart = {
+    kind: "none";
+} | {
+    kind: "migrate";
+    oldMarker: string;
+} | {
+    kind: "drop-unmaterialized";
+    threadId: string;
+} | {
+    kind: "refuse";
+    reason: string;
+};
+export type PendingMarkerFact = {
+    kind: "ok";
+    marker: string;
+} | {
+    kind: "missing";
+} | {
+    kind: "unreadable";
+    cause: string;
+};
+/** Rollout files for exactly this thread id (suffix match, no prefix guessing), or `null` if the search itself failed. */
+export type RolloutLookup = (threadId: string) => string[] | null;
+export declare function decidePendingThreadAtStart(pending: unknown, marker: PendingMarkerFact, rollouts: RolloutLookup): PendingThreadAtStart;
+/**
+ * Apply the decision to an in-memory node config without platform-specific
+ * shortcuts.  Both launchers persist `config` before quiescing the old
+ * generation.  Keeping the deletion here makes the Windows stop -> start
+ * behavior executable in the Linux Docker gate instead of relying only on a
+ * source-shape assertion (the native Windows smoke remains the end-to-end
+ * proof).
+ */
+export declare function reconcilePendingThreadAtStart<T extends Record<string, unknown>>(config: T, marker: PendingMarkerFact, rollouts: RolloutLookup): PendingThreadAtStart & {
+    config: T;
+    changed: boolean;
+};
+/**
+ * Every `*-<threadId>.jsonl` under `<codexHome>/sessions` and
+ * `<codexHome>/archived_sessions`. A missing directory is "no rollouts"; any
+ * other read error makes the whole lookup `null` (the caller then refuses).
+ */
+export declare function findThreadRollouts(codexHome: string, threadId: string): string[] | null;

package/dist/src/codex-reasoning-effort.d.ts

@@ -0,0 +1,17 @@
+/** Codex `config.toml` + `-c` override for thinking / reasoning effort.
+ * Wire name matches app-server JSON (`reasoningEffort`) and client patch field. */
+export declare const CODEX_MODEL_REASONING_EFFORT_KEY = "model_reasoning_effort";
+/** Matches agent-node `types/codex/ReasoningEffort.ts` and models_cache gate. */
+export declare const REASONING_EFFORT_VALUES: readonly ["none", "minimal", "low", "medium", "high", "xhigh"];
+export type ReasoningEffortValue = (typeof REASONING_EFFORT_VALUES)[number];
+export declare function isReasoningEffortValue(v: unknown): v is ReasoningEffortValue;
+export declare function reasoningEffortValidationReason(): string;
+/** `-c` fragment value (no shell quoting). */
+export declare function codexReasoningEffortConfigOverride(effort: ReasoningEffortValue): string;
+/**
+ * Idempotent merge of top-level `model_reasoning_effort` in codex config.toml.
+ * Other tables and keys are preserved byte-for-byte except the managed line.
+ */
+export declare function mergeModelReasoningEffortIntoToml(existing: string, effort: ReasoningEffortValue): string;
+/** Persist `model_reasoning_effort` under a node's `codex-home/`. */
+export declare function writeReasoningEffortToCodexHome(codexHome: string, effort: ReasoningEffortValue): void;