@openrig/cli 0.5.9 → 0.5.11

package/tui/dist/render.js

@@ -1,3 +1,5 @@
+import { DEFAULT_TIME_ZONE, displayTime } from "./time.js";
+import { connectionsLines } from "./connections/connections-model.js";
 // Hand-rolled ANSI renderer (Phase-0 substrate decision). Pure function:
 // (state, snapshot) → {lines, hitMap, explorerRows}. BOTH panes emit hit
 // targets — explorer rows AND content-pane surfaces (table rows, view tabs,
@@ -18,7 +20,8 @@ import { buildLedgerExplorer } from "./crash-cart/ledger-explorer.js";
 import { runtimeMarkSegs } from "./topology/runtime-marks.js";
 import { barCells, flashActive, reducedMotion, spinnerFrame } from "./motion.js";
 import { explorerWidth, MOTION_FRAME_MS } from "./visual-layout.js";
-import { detailPage, fieldLine, sectionRule, listItem, alignedRow, LABEL_W } from "./detail.js";
+import { detailPage, fieldLine, sectionRule, listItem, alignedRow, LABEL_W, wrapDetailLines } from "./detail.js";
+import { healthAgentLines, healthDetailLines, healthListLines, healthSummaryLine } from "./health/health-model.js";
 function pad(text, width) {
     const t = String(text ?? "");
     if (t.length <= width)
@@ -215,7 +218,7 @@ function workRows(rows, width) {
         ];
     });
 }
-function agentDetailLines(snap, found, contentWidth) {
+function agentDetailLines(snap, found, contentWidth, timeZone = DEFAULT_TIME_ZONE) {
     const { agent, rig, pod } = found;
     const session = agent.session;
     const specInLibrary = !!agent.spec && !!findSpec(snap, agent.spec);
@@ -270,9 +273,19 @@ function agentDetailLines(snap, found, contentWidth) {
                     ...(activityReason ? [{ label: "reason", value: activityReason }] : []),
                     ...(agent.activity?.decidedBy ? [{ label: "decided by", value: agent.activity.decidedBy }] : []),
                     ...(agent.activity?.signalSource || agent.activity?.signalReason ? [{ label: "signal", value: `${agent.activity.signalSource ?? "unknown"} · ${agent.activity.signalReason ?? "no reason"}` }] : []),
-                    ...(agent.activity?.eventAt ? [{ label: "changed", value: agent.activity.eventAt }] : []),
+                    ...(agent.activity?.eventAt ? [{ label: "changed", value: displayTime(agent.activity.eventAt, timeZone) }] : []),
                 ],
             },
+            {
+                title: "HEALTH",
+                lines: healthAgentLines(snap, {
+                    kind: "seat",
+                    rigId: rig.id ?? rig.name,
+                    seatId: agent.nodeId ?? null,
+                    seatName: agent.name,
+                    local: found.host === snap.hosts[0],
+                }, contentWidth),
+            },
             { title: `CURRENT WORK · ${currentRows.length}`, lines: workRows(currentRows, contentWidth) },
             {
                 title: "QUEUE",
@@ -296,16 +309,22 @@ function agentDetailLines(snap, found, contentWidth) {
                 ],
             },
             {
-                title: "SPEC",
+                title: "SPEC · effective seat binding",
                 fields: [specInLibrary
                         ? { label: "spec", value: agent.spec, link: { type: "cross", kind: "spec-of", name: agent.name, target: { host: found.host.name, rig: rig.name, pod: pod.name } } }
                         : { label: "spec", value: agent.spec ? `${agent.spec}  (not in library)` : "—" }],
+                lines: [
+                    ...wrapDetailValue("profile", agent.profile ?? "not served", contentWidth),
+                    ...wrapDetailValue("version", agent.specVersion ?? "not served", contentWidth),
+                    ...wrapDetailValue("source hash", agent.specHash ?? "not served", contentWidth),
+                    ...wrapDetailValue("basis", "Served seat binding; the authored library may have changed since launch.", contentWidth),
+                ],
             },
         ]),
     ];
 }
 function tabsLine(state, suffix) {
-    // S12: four tabs, each its own click zone (the first zone starts at
+    // Each topology tab is its own click zone (the first zone starts at
     // content col 0, preserving the focus-marker floor); `tab graph` = the
     // topology graph view (frame-01 hatchet mainline)
     const labels = [
@@ -313,6 +332,7 @@ function tabsLine(state, suffix) {
         ["recent", state.viewTab === "recent" ? "[ RECENT ]" : "  RECENT  "],
         ["overview", state.viewTab === "overview" ? "[ OVERVIEW ]" : "  OVERVIEW  "],
         ["graph", state.viewTab === "graph" ? "[ GRAPH ]" : "  GRAPH  "],
+        ["health", state.viewTab === "health" ? "[ HEALTH ]" : "  HEALTH  "],
     ];
     const text = `${labels.map(([, label]) => label).join("")}   ${suffix}`;
     const zones = [];
@@ -323,12 +343,6 @@ function tabsLine(state, suffix) {
     }
     return [{ text, zones }];
 }
-function localClock(iso) {
-    const date = new Date(iso);
-    if (Number.isNaN(date.getTime()))
-        return "??:??";
-    return `${String(date.getHours()).padStart(2, "0")}:${String(date.getMinutes()).padStart(2, "0")}`;
-}
 function queueRows(snap) {
     return [...snap.attention, ...snap.blocked, ...snap.inProgress, ...snap.pending, ...snap.recentlyFinished];
 }
@@ -369,53 +383,54 @@ function recentScopeMatches(snap, scope) {
         return false;
     return scope.kind === "instance" || (served.kind === "rig" && served.rig === scope.rig);
 }
-function recentLines(snap, scope, width, expanded) {
+function recentLines(snap, scope, width, expanded, timeZone) {
     if (!recentScopeMatches(snap, scope) || snap.recentTransitions == null)
         return [];
-    const timeW = 5;
     const rows = expanded ? snap.recentTransitions : snap.recentTransitions.slice(-5);
     const lines = [
         ...(expanded ? [] : [{ text: "" }]),
-        sectionRule(`RECENT · ${scope.kind === "instance" ? "instance" : `rig ${scope.rig}`} · material queue transitions · newest last`, width),
+        sectionRule(`RECENT · ${scope.kind === "instance" ? "instance" : `rig ${scope.rig}`}`, width),
+        { text: "  Recorded queue changes · oldest to newest · Enter inspects" },
     ];
     if (rows.length === 0)
         return [...lines, { text: "  No recorded transitions in the current window." }];
-    if (width < 78) {
-        const rigW = scope.kind === "instance" ? 9 : 0;
-        const changeW = Math.max(16, width - timeW - rigW - 2);
-        lines.push({ text: alignedRow([["TIME", timeW], ...(rigW ? [["RIG", rigW]] : []), ["CHANGE", changeW]]) });
-        for (const row of rows) {
-            const action = recentTargetAction(snap, row);
-            lines.push({
-                text: alignedRow([[localClock(row.ts), timeW], ...(rigW ? [[pad(row.rig ?? "?", rigW), rigW]] : []), [pad(row.change, changeW), changeW]]).slice(0, width),
-                ...(action ? { action } : {}),
-            });
-            lines.push({ text: `      ${pad(row.actorSession, Math.max(8, width - 8))}`.slice(0, width), ...(action ? { action } : {}) });
-            lines.push({ text: `      → ${row.target}`.slice(0, width), ...(action ? { action } : {}) });
-            lines.push(...wrapDetailValue("work", recentWorkText(snap, row), width)
-                .map((line) => ({ ...line, ...(action ? { action } : {}) })));
-        }
-        return lines;
-    }
-    const rigW = scope.kind === "instance" ? Math.min(16, Math.max(9, Math.floor(width * 0.13))) : 0;
-    const actorW = Math.min(26, Math.max(16, Math.floor(width * 0.21)));
-    const changeW = Math.min(36, Math.max(20, Math.floor(width * 0.28)));
-    const targetW = Math.max(10, width - timeW - rigW - actorW - changeW - (scope.kind === "instance" ? 4 : 3));
-    lines.push({ text: alignedRow([["TIME", timeW], ...(scope.kind === "instance" ? [["RIG", rigW]] : []), ["ACTOR", actorW], ["CHANGE", changeW], ["TARGET", targetW]]) });
     for (const row of rows) {
-        const action = recentTargetAction(snap, row);
-        const text = alignedRow([
-            [localClock(row.ts), timeW],
-            ...(scope.kind === "instance" ? [[pad(row.rig ?? "?", rigW), rigW]] : []),
-            [pad(row.actorSession, actorW), actorW],
-            [pad(row.change, changeW), changeW],
-            [pad(row.target, targetW), targetW],
-        ]).slice(0, width);
-        lines.push({ text, ...(action ? { action } : {}) });
-        lines.push(...wrapDetailValue("work", recentWorkText(snap, row), width)
-            .map((line) => ({ ...line, ...(action ? { action } : {}) })));
+        lines.push(listItem(`${displayTime(row.ts, timeZone)} · #${row.transitionId}`, { type: "recent-open", transitionId: row.transitionId }), { text: `    ${row.actorSession || "actor unknown"} · ${row.change || "change unknown"}` }, { text: `    ${recentWorkText(snap, row)}` }, { text: `    ${row.targetKind}: ${row.target}${scope.kind === "instance" ? ` · rig ${row.rig ?? "unknown"}` : ""}` }, { text: "" });
     }
-    return lines;
+    return wrapDetailLines(lines, width);
+}
+function recentDetailLines(state, snap, width) {
+    const row = state.recentOpen;
+    const target = recentTargetAction(snap, row);
+    return wrapDetailLines([
+        { text: `Recent event #${row.transitionId} · Esc returns` },
+        fieldLine({ label: "when", value: displayTime(row.ts, state.timeZone) }),
+        fieldLine({ label: "actor", value: row.actorSession || "unknown" }),
+        fieldLine({ label: "change", value: row.change || "unknown" }),
+        fieldLine({ label: "work", value: recentWorkText(snap, row) }),
+        fieldLine({ label: "target", value: `${row.targetKind}: ${row.target}` }),
+        fieldLine({ label: "rig", value: row.rig ?? "not served" }),
+        fieldLine({ label: "queue item", value: row.qitemId }),
+        fieldLine({ label: "raw time", value: row.ts }),
+        { text: "  This is the recorded change, not an independent check of its outcome." },
+        ...(target ? [listItem("Related work / owner", target)] : [{ text: "  Related work is outside the current snapshot." }]),
+        listItem("Back · Esc", { type: "back" }),
+    ], width);
+}
+function timeZoneLines(state, width) {
+    return wrapDetailLines([
+        { text: "Local time · presentation setting" },
+        fieldLine({ label: "timezone", value: state.timeZone }),
+        ...(state.timeZoneWarning ? [{ text: `  ${state.timeZoneWarning}` }] : []),
+        { text: "  Absolute times include date and zone. Daylight saving follows the named zone. Elapsed ages stay relative; source timestamps are unchanged." },
+        { text: "" },
+        { text: "  Change the persistent setting from the shell, then reopen this TUI:" },
+        { text: "  rig config set ui.timezone Europe/London" },
+        { text: "  rig config reset ui.timezone" },
+        { text: "  rig config get ui.timezone --show-source" },
+        { text: "  Default: America/Los_Angeles. OPENRIG_UI_TIMEZONE overrides the file setting on this TUI's instance." },
+        listItem("Back · Esc", { type: "back" }),
+    ], width);
 }
 function specTabsLine(state, name) {
     const active = state.viewTab === "topology" || state.viewTab === "yaml" ? state.viewTab : "configuration";
@@ -495,9 +510,11 @@ function fieldWrapped(label, values) {
 }
 function instanceContentLines(state, snap, host, contentWidth, motion) {
     const lines = tabsLine(state, `instance ${host.name}`);
-    const scope = { kind: "instance" };
+    const scope = { kind: "instance", local: host === snap.hosts[0] };
+    if (state.viewTab === "health")
+        return [...lines, { text: "" }, ...healthListLines(snap, scope, contentWidth)];
     if (state.viewTab === "recent") {
-        const recent = recentLines(snap, scope, contentWidth, true);
+        const recent = recentLines(snap, scope, contentWidth, true, state.timeZone);
         return recent.length > 0
             ? [...lines, ...recent]
             : [...lines, { text: "" }, { text: motion.loading ? `${motion.frame} instance RECENT read pending` : "(instance RECENT window not served)" }];
@@ -555,6 +572,7 @@ function instanceContentLines(state, snap, host, contentWidth, motion) {
         lines.push({ text: "" }, { text: `  style: ${state.graphStyle} · style hatchet|braille|braille-fallback rides the command bar` });
         return lines;
     }
+    lines.push(healthSummaryLine(snap, scope, contentWidth));
     lines.push({ text: state.filter ? `/ filter instance rows: ${state.filter} · / replace · esc clear` : "/ filter instance rows…" });
     const columns = instanceAgentColumns(contentWidth);
     lines.push({ text: tableRow(columns, { rig: "RIG", pod: "POD", seat: "SEAT", runtime: "RT", context: "CTX", status: "STATE", queue: "Q", work: "WORK", now: "NOW" }) });
@@ -608,13 +626,21 @@ function instanceContentLines(state, snap, host, contentWidth, motion) {
         }
     }
     lines.push({ text: "" }, { text: `${host.rigs.length} rigs · ${seatCount} seats · ${workingCount} working · ${attentionCount} need attention · ${openCount} open rows` });
-    lines.push(...recentLines(snap, scope, contentWidth, false));
+    lines.push(...recentLines(snap, scope, contentWidth, false, state.timeZone));
     return lines;
 }
 function contentLines(state, snap, contentWidth, motion) {
     const contentWidthForGraph = contentWidth;
     void contentWidthForGraph;
     const lines = [];
+    if (state.timeZoneHelp)
+        return timeZoneLines(state, contentWidth);
+    if (state.recentOpen)
+        return recentDetailLines(state, snap, contentWidth);
+    if (state.section === "connections")
+        return connectionsLines(snap, contentWidth, state.timeZone);
+    if (state.healthOpen)
+        return healthDetailLines(snap, state.healthOpen, contentWidth, state.timeZone);
     // PULSE is a FULL-WIDTH view handled by an early return in renderScreen
     // (renderPulseScreen) — it never reaches the sidebar+content layout below.
     if (state.section === "topology") {
@@ -641,7 +667,7 @@ function contentLines(state, snap, contentWidth, motion) {
             const found = hostName ? findAgent(snap, leaf.name, { host: hostName, rig: rigName, pod: podName }) : findAgent(snap, leaf.name);
             if (!found)
                 return [{ text: `agent "${leaf.name}" not in the current snapshot` }];
-            return agentDetailLines(snap, found, contentWidth);
+            return agentDetailLines(snap, found, contentWidth, state.timeZone);
         }
         const hostName = state.drill.find((d) => d.kind === "host")?.name;
         const host = (hostName ? snap.hosts.find((candidate) => candidate.name === hostName) : snap.hosts[0]);
@@ -671,8 +697,11 @@ function contentLines(state, snap, contentWidth, motion) {
             .filter((a) => !state.filter || a.name.includes(state.filter) || a.pod.includes(state.filter));
         const suffix = `rig ${rig.name}${podFilter ? ` · pod ${podFilter}` : ""}${state.filter ? ` · filter "${state.filter}"` : ""}`;
         lines.push(...tabsLine(state, suffix));
+        const healthScope = { kind: "rig", rigId: rig.id ?? rig.name, rigName: rig.name, local: host === snap.hosts[0] };
+        if (state.viewTab === "health")
+            return [...lines, { text: "" }, ...healthListLines(snap, healthScope, contentWidth)];
         if (state.viewTab === "recent") {
-            const recent = recentLines(snap, { kind: "rig", rig: rig.name }, contentWidth, true);
+            const recent = recentLines(snap, { kind: "rig", rig: rig.name }, contentWidth, true, state.timeZone);
             return recent.length > 0
                 ? [...lines, ...recent]
                 : [...lines, { text: "" }, { text: motion.loading ? `${motion.frame} rig RECENT read pending` : "(rig RECENT window not served)" }];
@@ -725,6 +754,8 @@ function contentLines(state, snap, contentWidth, motion) {
             lines.push({ text: `  style: ${state.graphStyle} · style hatchet|braille|braille-fallback rides the command bar` });
             return lines;
         }
+        lines.push(listItem("Configuration and human routes", { type: "jump", section: "connections" }));
+        lines.push(healthSummaryLine(snap, healthScope, contentWidth));
         lines.push({ text: state.filter ? `/ filter agents: ${state.filter} · / replace · esc clear` : "/ filter agents…" });
         if (state.viewTab === "overview") {
             lines.push(...detailPage({ text: `rig ${rig.name}` }, [
@@ -805,7 +836,7 @@ function contentLines(state, snap, contentWidth, motion) {
         const attention = rows.filter((agent) => /attention|needs|blocked|unknown|failed/.test(agent.status)).length;
         lines.push({ text: `${rows.length} seats · ${working} working · ${attention} need attention · ${rows.reduce((n, agent) => n + queueFacts(snap, agent.session).count, 0)} open rows` });
         if (!podFilter)
-            lines.push(...recentLines(snap, { kind: "rig", rig: rig.name }, contentWidth, false));
+            lines.push(...recentLines(snap, { kind: "rig", rig: rig.name }, contentWidth, false, state.timeZone));
         return lines;
     }
     if (state.section === "specs") {
@@ -814,8 +845,28 @@ function contentLines(state, snap, contentWidth, motion) {
             const spec = findSpec(snap, leaf.name);
             if (!spec)
                 return [{ text: `spec "${leaf.name}" not in the current snapshot` }];
-            if (spec.kind === "rig") {
+            if (spec.kind === "rig")
                 lines.push(specTabsLine(state, spec.name));
+            lines.push({ text: `${spec.kind} spec ${spec.name}` });
+            lines.push(fieldLine({ label: "purpose", value: spec.description ?? "not declared in the available source" }));
+            lines.push(fieldLine({ label: "provenance", value: `${sourceProvenance(spec)} · ${spec.sourceState ?? "source state not served"}` }));
+            lines.push(fieldLine({ label: "source", value: spec.sourcePath ?? "path unavailable" }));
+            lines.push({ text: "  Authored declaration. Resource availability is not the effective loadout of a running seat." });
+            lines.push(sectionRule("Observed consumers · open for effective runtime/configuration", contentWidth));
+            for (const consumer of spec.consumers ?? []) {
+                const resource = consumer.agent ? "agent" : "rig";
+                lines.push(listItem(`${consumer.agent ?? consumer.rig} · ${consumer.status ?? "unknown"}${consumer.runtime ? ` · ${consumer.runtime}` : ""}${consumer.model ? ` · ${consumer.model}` : ""}`, { type: "drill", resource, name: consumer.agent ?? consumer.rig, target: { host: consumer.host, rig: consumer.rig } }));
+            }
+            if (spec.consumers && !spec.consumers.length)
+                lines.push({ text: "  No consumers observed in the available local inventory (remote seats are not enumerated)." });
+            if (spec.consumers === undefined)
+                lines.push({ text: "  Consumer projection unavailable." });
+            for (const error of snap.readErrors.filter((error) => error.startsWith("nodes(") || error.startsWith("rig-spec(") || error.startsWith("rigs-summary:")))
+                lines.push({ text: `  Inventory incomplete: ${error}` });
+            lines.push(listItem("Back · Esc", { type: "back" }));
+            if (spec.sourceUnavailable)
+                return wrapDetailLines([...lines, { text: `  Source unavailable: ${spec.sourceUnavailable}` }], contentWidth);
+            if (spec.kind === "rig") {
                 if (spec.sourcePath)
                     lines.push(fieldLine({ label: "source", value: `${displayPath(spec.sourcePath, 56)} · ${sourceProvenance(spec)}` }));
                 if (state.viewTab === "topology") {
@@ -827,7 +878,7 @@ function contentLines(state, snap, contentWidth, motion) {
                     lines.push({ text: "" });
                     if (nodes.length === 0) {
                         lines.push({ text: "  (topology projection is empty)" });
-                        return lines;
+                        return wrapDetailLines(lines, contentWidth);
                     }
                     lines.push({ text: `  ${alignedRow(NODE_COLS)}` });
                     lines.push({ text: `  ${"─".repeat(NODE_COLS.reduce((n, [, w]) => n + w + 1, -1))}` });
@@ -839,12 +890,12 @@ function contentLines(state, snap, contentWidth, motion) {
                         for (const edge of graphEdges)
                             lines.push({ text: `  ${alignedRow([[edge.source, 16], ["→", 2], [edge.target, 20]])} (${edge.kind})` });
                     }
-                    return lines;
+                    return wrapDetailLines(lines, contentWidth);
                 }
                 if (state.viewTab === "yaml") {
                     for (const rawLine of (spec.raw ?? "# raw YAML unavailable").split("\n"))
                         lines.push({ text: `  ${rawLine}` });
-                    return lines;
+                    return wrapDetailLines(lines, contentWidth);
                 }
                 const members = spec.pods?.reduce((count, pod) => count + pod.members.length, 0) ?? spec.legacyNodes?.length ?? 0;
                 const edges = (spec.edges?.length ?? 0) + (spec.pods?.reduce((count, pod) => count + pod.edges.length, 0) ?? 0);
@@ -919,12 +970,12 @@ function contentLines(state, snap, contentWidth, motion) {
                         fields: [{ label: "source", value: spec.sourcePath ? `${displayPath(spec.sourcePath, 56)} · ${sourceProvenance(spec)}` : "—" }],
                     },
                     {
-                        title: "where it runs",
+                        title: "Declared rig references",
                         fields: [
                             ...((spec.usedByRigs?.length ?? 0) === 0
-                                ? [{ label: "used by", value: "—" }]
+                                ? [{ label: "declared by", value: "—" }]
                                 : (spec.usedByRigs ?? []).map((rig) => ({
-                                    label: "used by",
+                                    label: "declared by",
                                     value: `rig ${rig}`,
                                     link: { type: "drill", resource: "spec", name: rig },
                                 }))),
@@ -937,7 +988,7 @@ function contentLines(state, snap, contentWidth, motion) {
                     },
                 ]));
             }
-            return lines;
+            return wrapDetailLines(lines, contentWidth);
         }
         lines.push({ text: "SPEC LIBRARY" });
         lines.push({ text: state.filter ? `/ filter specs: ${state.filter} · / replace · esc clear` : "/ filter specs…" });
@@ -1034,6 +1085,16 @@ function contentLines(state, snap, contentWidth, motion) {
         return lines;
     }
     if (state.section === "scopes") {
+        if (!state.scopesMission && snap.execution) {
+            const selected = snap.execution;
+            const instances = selected.lifecycle_instances;
+            return wrapDetailLines([
+                { text: "SCOPES · choose a mission in the explorer" },
+                listItem(`Default mission · ${selected.mission}`, { type: "scopes-mission-open", mission: selected.mission }),
+                { text: `  Workflows: ${instances ? instances.map((instance) => String(instance.status ?? "unknown")).join(", ") || "none bound" : "projection unavailable"}` },
+                { text: `  Execution snapshot: ${displayTime(selected.derived_at, state.timeZone)}. Other missions load when selected.` },
+            ], contentWidth);
+        }
         // SCOPES owns both levels. Both mission-graph and Explorer slice routes land
         // on the same execution-backed canonical detail; store-direct content is
         // composed into that page instead of surviving as a competing destination.
@@ -1047,16 +1108,16 @@ function contentLines(state, snap, contentWidth, motion) {
             return executionContentLines(execution, snap.scopes, snap.readErrors, state.executionOpen, contentWidth, false, snap.sliceDetail, {
                 collapseReqs: state.scopesCollapseReqs,
                 narrative: state.scopesNarrative,
-            });
+            }, state.timeZone);
         }
         if (detail && execution) {
             return executionContentLines(execution, snap.scopes, snap.readErrors, `slice:${detail.id ?? detail.dirName}`, contentWidth, false, snap.sliceDetail, {
                 collapseReqs: state.scopesCollapseReqs,
                 narrative: state.scopesNarrative,
-            });
+            }, state.timeZone);
         }
         if (!detail && missionName) {
-            const lines = executionContentLines(execution, snap.scopes, snap.readErrors, state.executionOpen, contentWidth, !snap.hydratedAt || snap.executionMission !== missionName);
+            const lines = executionContentLines(execution, snap.scopes, snap.readErrors, state.executionOpen, contentWidth, !snap.hydratedAt || snap.executionMission !== missionName, undefined, undefined, state.timeZone);
             return execution ? lines : [{ text: `  ${missionName} EXECUTION` }, ...lines];
         }
         return scopesContentLines(detail, missionName, {
@@ -1180,7 +1241,14 @@ function renderPulseScreen(state, snap, options, inputLine) {
     const contentTargets = [];
     const flashRows = [];
     let flashAck = false;
-    lines.push(pad(`cmd ▸ ${inputLine}▊`, cols));
+    lines.push(pad(`cmd ▸ ${inputLine}▊${inputLine ? "" : "  Tab complete · ? help · timezone"}`, cols));
+    if (options.completion) {
+        lines.push(pad(options.completion.message, cols));
+        for (const candidate of options.completion.candidates.slice(0, 4))
+            lines.push(pad(`  ${candidate}`, cols));
+        if (options.completion.candidates.length > 4)
+            lines.push(pad("  … keep typing to narrow matches", cols));
+    }
     // REGISTRY I3 — the palette overlay: fuzzy rows over the ONE registry; unavailable
     // entries render DIMMED-WITH-REASON, never hidden (PM pin); bounded height.
     if (state.palette) {
@@ -1202,7 +1270,7 @@ function renderPulseScreen(state, snap, options, inputLine) {
     const contentWidth = Math.max(cols - explW - 2, 0);
     const model = buildPulseModel(snap, nowMs);
     const chromeRows = 3; // bottom rule + hint bar + status line
-    const bodyRows = Math.max(rows - 2 - chromeRows, 1);
+    const bodyRows = Math.max(rows - lines.length - chromeRows, 1);
     const maxContentOffset = Math.max(renderPulseView(model).length - bodyRows, 0);
     const contentStart = Math.min(state.contentOffset, maxContentOffset);
     // Lane cells (column-major), CLIPPED to the content width: a cell whose column
@@ -1288,7 +1356,7 @@ function renderPulseScreen(state, snap, options, inputLine) {
     // the footer's live "updated Ns ago" IS the ongoing refresh signal (reader
     // clock), so a settled empty view stays calm. Reduced motion → static "·".
     const loadTag = loading ? `  ${frame} loading` : "";
-    lines.push(pad(`[${state.instanceId}] ${state.section}${drillPath ? " · " + drillPath : ""}${state.lastError ? "  ✗ " + state.lastError : ""}${state.notice ? "  ▸ " + state.notice : ""}${readWarn}${loadTag}`, cols));
+    lines.push(pad(`[${state.instanceId}] ${state.section}${drillPath ? " · " + drillPath : ""}${state.lastError ? "  ✗ " + state.lastError : ""}${state.notice ? "  ▸ " + state.notice : ""}${readWarn}${loadTag}${state.timeZoneWarning ? " · ⚠ timezone; run timezone" : ""}`, cols));
     while (lines.length < rows)
         lines.push("");
     const anyFlash = model.lanes.some((l) => l.rows.some((r) => r.flashed));
@@ -1347,7 +1415,7 @@ function crashCartShell(content, led, contentTitle, cols, rows, inputLine, opts)
     const segRows = {};
     lines.push(pad(`cmd ▸ ${inputLine}▊`, cols));
     lines.push(paneRule(cols, explW, "top", "{ EXPLORER }", contentTitle));
-    // The ledger-fed explorer column: the honest marker, then one row per rig (name + seat count).
+    // The explorer's source note, then any discovered rigs (name + seat count).
     const leftRows = [led.note, "", ...led.rows.map((r) => `${r.label} (${r.seatCount})`)];
     const contentWidth = Math.max(cols - explW - 2, 0);
     if (opts?.wrap)
@@ -1370,7 +1438,7 @@ function crashCartShell(content, led, contentTitle, cols, rows, inputLine, opts)
     lines.push(paneRule(cols, explW, "bottom"));
     lines.push(pad("", cols));
     const scrollHint = contentMaxOffset > 0 ? ` · ↑↓ scroll (${scroll}/${contentMaxOffset})` : "";
-    lines.push(pad(`[crash-cart] daemon down · explorer ${led.note}${scrollHint}`, cols));
+    lines.push(pad(`[crash-cart] ${led.note}${scrollHint}`, cols));
     while (lines.length < rows)
         lines.push("");
     return {
@@ -1412,7 +1480,7 @@ export function renderScreen(state, snap, options = {}, inputLine = "") {
         return crashCartShell(content, led, "CRASH-CART", cols, rows, inputLine, options.confirm ? { wrap: true } : undefined);
     }
     if (options.daemonState === "unverified" && options.daemonEvidence) {
-        const led = buildLedgerExplorer([]); // no rigs listed when we cannot verify — honest empty ledger
+        const led = { note: "daemon unverified", rows: [] }; // No ledger discovery occurred on this path.
         return crashCartShell(renderUnverifiedView(options.daemonEvidence), led, "DAEMON?", cols, rows, inputLine);
     }
     // PULSE (founder Option-B): a content-pane view inside the NORMAL explorer│
@@ -1438,7 +1506,14 @@ export function renderScreen(state, snap, options = {}, inputLine = "") {
     // shell accepts typing from the empty state, so the honest readiness
     // affordance must show BEFORE the first key (no new focus state; stylize
     // gives the cell SGR blink; zero effect on hit geometry).
-    lines.push(pad(`cmd ▸ ${inputLine}▊`, cols));
+    lines.push(pad(`cmd ▸ ${inputLine}▊${inputLine ? "" : "  Tab complete · ? help · timezone"}`, cols));
+    if (options.completion) {
+        lines.push(pad(options.completion.message, cols));
+        for (const candidate of options.completion.candidates.slice(0, 4))
+            lines.push(pad(`  ${candidate}`, cols));
+        if (options.completion.candidates.length > 4)
+            lines.push(pad("  … keep typing to narrow matches", cols));
+    }
     // REGISTRY I3 — the palette overlay: fuzzy rows over the ONE registry; unavailable
     // entries render DIMMED-WITH-REASON, never hidden (PM pin); bounded height.
     if (state.palette) {
@@ -1476,7 +1551,7 @@ export function renderScreen(state, snap, options = {}, inputLine = "") {
     const liveFlashes = (options.rowFlashes ?? []).filter((f) => flashActive(f.at, nowMs, 600, reduced));
     const ackFlashes = (options.rowFlashes ?? []).filter((f) => flashActive(f.at, nowMs, 600, false));
     const chromeRows = footer ? 4 : 3; // bottom rule + hint bar + status line (+ footer)
-    const bodyRows = Math.max(rows - 2 - chromeRows, 1);
+    const bodyRows = Math.max(rows - lines.length - chromeRows, 1);
     const explorerStart = Math.min(Math.max(state.selection - bodyRows + 1, 0), Math.max(explorer.length - bodyRows, 0));
     const contentRows = content.length > bodyRows ? Math.max(bodyRows - 1, 0) : bodyRows;
     const maxContentOffset = Math.max(content.length - contentRows, 0);
@@ -1560,12 +1635,12 @@ export function renderScreen(state, snap, options = {}, inputLine = "") {
             segRows[y] = rowSegs;
     }
     if (footer)
-        lines.push(pad(`≋ ${footer.tsEmitted.slice(11, 16)} ${footer.sourceSession}: ${footer.body}`, cols));
+        lines.push(pad(`≋ ${displayTime(footer.tsEmitted, state.timeZone)} ${footer.sourceSession}: ${footer.body}`, cols));
     const drillPath = state.drill.map((d) => d.name).join(" → ");
     const readWarn = snap.readErrors.length > 0 ? `  ⚠ ${snap.readErrors.length} read(s) failed: ${snap.readErrors[0]}` : "";
     lines.push(paneRule(cols, explW, "bottom"));
     lines.push(pad(keybindHints(state), cols));
-    lines.push(pad(`[${state.instanceId}] ${state.section}${drillPath ? " · " + drillPath : ""}${state.lastError ? "  ✗ " + state.lastError : ""}${state.notice ? "  ▸ " + state.notice : ""}${readWarn}`, cols));
+    lines.push(pad(`[${state.instanceId}] ${state.section}${drillPath ? " · " + drillPath : ""}${state.lastError ? "  ✗ " + state.lastError : ""}${state.notice ? "  ▸ " + state.notice : ""}${readWarn}${state.timeZoneWarning ? " · ⚠ timezone; run timezone" : ""}`, cols));
     while (lines.length < rows)
         lines.push("");
     return {