@timurproko/a1 0.2.7-dev.1249 → 0.2.7-dev.1252

package/dist/product-identity.js

@@ -1,16 +1,15 @@
 import rawIdentity from "./product-identity.json" with { type: "json" };
 const ENVIRONMENT_KEYS = [
-    "clipboardDiagnostics", "configDir", "dataDir", "databasePath", "developmentHistoryDataDir", "developmentInstanceId", "developmentRoot", "endpoint", "exitNoticePath",
-    "paneId", "probeTrace", "processGuardianPath", "prFooterPreview", "profileHome", "residentFixtureControlDir", "residentProgressObservationDir", "residentProgressRunId", "residentProgressTabId", "residentProgressTabIncarnation", "runtimeDir", "sessionRuntimeId", "skipVersionCheck", "startupTrace", "suggestionDiagnostics", "tabEndpoint", "tabId", "tabReleaseId", "tabToken", "tabsEndpoint", "terminalHostPath", "terminalSessionId",
+    "clipboardDiagnostics", "configDir", "dataDir", "developmentHistoryDataDir", "developmentInstanceId", "developmentRoot", "exitNoticePath",
+    "prFooterPreview", "profileHome", "runtimeDir", "sessionRuntimeId", "skipVersionCheck", "startupTrace", "suggestionDiagnostics",
 ];
 const FILESYSTEM_KEYS = ["slug", "windowsDirectory", "unixDirectory", "temporaryPrefix"];
 const STATE_KEYS = ["windowsControlDirectory", "unixControlDirectory", "developmentDirectory", "piAgentProfile", "piVanillaProfile", "sessionRepositoryDirectory", "sessionWorktreeClaimDirectory"];
-const ENDPOINT_KEYS = ["windowsPipeStem", "unixSocketFilename", "metadataFilename", "supervisorLogFilename", "databaseFilename"];
 const MANIFEST_KEYS = ["releaseFilename", "packageFilename"];
-const PROTOCOL_KEYS = ["namespace", "controlEnvelope", "supervisorSchema", "nativeHostSchema", "structuredAgentSchema", "controlStoreSchema", "promptHistorySchema", "releaseCohortSchema", "updateJournalSchema"];
-const EVIDENCE_KEYS = ["nativeSpikeSchema", "terminalProvenanceSchema", "terminalProofSchema", "terminalTemporalSnapshotSchema", "stableReleaseSchema", "previewReleaseSchema", "releaseCertificationSchema", "previewPlatformVerdictSchema", "piSourceLedgerSchema", "piComponentParitySchema", "piEventFrameParitySchema", "startupTraceSchema", "dependencyLayerSchema", "dependencyLayerCertificationSchema", "runtimePayloadSchema"];
-const ARTIFACT_KEYS = ["cliEntry", "supervisorEntry", "guardianEntry", "uiEntry", "terminalHostAddon", "terminalHostEntry", "nativeCrate", "processGuardianAddon", "releaseTarballStem", "diagnosticStem"];
-const ROOT_KEYS = ["schema", "displayName", "commandName", "packageName", "filesystem", "environment", "state", "endpoint", "manifest", "protocol", "evidence", "artifacts"];
+const PROTOCOL_KEYS = ["namespace", "promptHistorySchema", "releaseCohortSchema", "updateJournalSchema"];
+const EVIDENCE_KEYS = ["stableReleaseSchema", "previewReleaseSchema", "releaseCertificationSchema", "previewPlatformVerdictSchema", "piSourceLedgerSchema", "piComponentParitySchema", "piEventFrameParitySchema", "startupTraceSchema", "dependencyLayerSchema", "dependencyLayerCertificationSchema", "runtimePayloadSchema"];
+const ARTIFACT_KEYS = ["cliEntry", "uiEntry", "releaseTarballStem", "diagnosticStem"];
+const ROOT_KEYS = ["schema", "displayName", "commandName", "packageName", "filesystem", "environment", "state", "manifest", "protocol", "evidence", "artifacts"];
 export function validateProductIdentity(value) {
     const root = exactObject(value, ROOT_KEYS, "product identity");
     const schema = stringValue(root.schema, "product identity schema");
@@ -20,7 +19,6 @@ export function validateProductIdentity(value) {
     const filesystem = stringObject(root.filesystem, FILESYSTEM_KEYS, "filesystem identity");
     const environment = stringObject(root.environment, ENVIRONMENT_KEYS, "environment identity");
     const state = stringObject(root.state, STATE_KEYS, "state identity");
-    const endpoint = stringObject(root.endpoint, ENDPOINT_KEYS, "endpoint identity");
     const manifest = stringObject(root.manifest, MANIFEST_KEYS, "manifest identity");
     const protocol = stringObject(root.protocol, PROTOCOL_KEYS, "protocol identity");
     const evidence = stringObject(root.evidence, EVIDENCE_KEYS, "evidence identity");
@@ -41,8 +39,6 @@ export function validateProductIdentity(value) {
     if (state.windowsControlDirectory !== filesystem.windowsDirectory || state.unixControlDirectory !== filesystem.unixDirectory) {
         throw new TypeError("product state directories must match the filesystem identity");
     }
-    if (endpoint.windowsPipeStem !== filesystem.slug)
-        throw new TypeError("product endpoint stem must match the filesystem slug");
     if (protocol.namespace !== commandName)
         throw new TypeError("product protocol namespace must match the command name");
     if (artifacts.diagnosticStem !== filesystem.slug)
@@ -73,7 +69,6 @@ export function validateProductIdentity(value) {
         filesystem,
         environment,
         state,
-        endpoint,
         manifest,
         protocol,
         evidence,

package/dist/product-identity.json

@@ -13,34 +13,17 @@
         "clipboardDiagnostics": "A1_CLIPBOARD_DIAGNOSTICS",
         "configDir": "A1_CONFIG_DIR",
         "dataDir": "A1_DATA_DIR",
-        "databasePath": "A1_DATABASE_PATH",
         "developmentHistoryDataDir": "A1_DEV_HISTORY_DATA_DIR",
         "developmentInstanceId": "A1_DEV_INSTANCE_ID",
         "developmentRoot": "A1_DEV_ROOT",
-        "endpoint": "A1_ENDPOINT",
         "exitNoticePath": "A1_EXIT_NOTICE_PATH",
-        "paneId": "A1_PANE_ID",
-        "probeTrace": "A1_PROBE_TRACE",
-        "processGuardianPath": "A1_PROCESS_GUARDIAN_PATH",
         "prFooterPreview": "A1_PR_FOOTER_PREVIEW",
         "profileHome": "A1_PROFILE_HOME",
-        "residentFixtureControlDir": "A1_RESIDENT_FIXTURE_CONTROL_DIR",
-        "residentProgressObservationDir": "A1_RESIDENT_PROGRESS_OBSERVATION_DIR",
-        "residentProgressRunId": "A1_RESIDENT_PROGRESS_RUN_ID",
-        "residentProgressTabId": "A1_RESIDENT_PROGRESS_TAB_ID",
-        "residentProgressTabIncarnation": "A1_RESIDENT_PROGRESS_TAB_INCARNATION",
         "runtimeDir": "A1_RUNTIME_DIR",
         "sessionRuntimeId": "A1_SESSION_RUNTIME_ID",
         "skipVersionCheck": "A1_SKIP_VERSION_CHECK",
         "startupTrace": "A1_STARTUP_TRACE",
-        "suggestionDiagnostics": "A1_SUGGESTION_DIAGNOSTICS",
-        "tabEndpoint": "A1_TAB_ENDPOINT",
-        "tabId": "A1_TAB_ID",
-        "tabReleaseId": "A1_TAB_RELEASE_ID",
-        "tabToken": "A1_TAB_TOKEN",
-        "tabsEndpoint": "A1_TABS_ENDPOINT",
-        "terminalHostPath": "A1_TERMINAL_HOST_PATH",
-        "terminalSessionId": "A1_TERMINAL_SESSION_ID"
+        "suggestionDiagnostics": "A1_SUGGESTION_DIAGNOSTICS"
     },
     "state": {
         "windowsControlDirectory": "a1",
@@ -51,33 +34,17 @@
         "sessionRepositoryDirectory": "session-repositories",
         "sessionWorktreeClaimDirectory": "session-worktree-claims"
     },
-    "endpoint": {
-        "windowsPipeStem": "a1",
-        "unixSocketFilename": "supervisor.sock",
-        "metadataFilename": "supervisor.json",
-        "supervisorLogFilename": "supervisor.log",
-        "databaseFilename": "control.sqlite3"
-    },
     "manifest": {
         "releaseFilename": ".a1-release.json",
         "packageFilename": "package.json"
     },
     "protocol": {
         "namespace": "a1",
-        "controlEnvelope": "a1-control-envelope",
-        "supervisorSchema": "a1-supervisor-v1",
-        "nativeHostSchema": "a1-native-host-v1",
-        "structuredAgentSchema": "a1-structured-agent-v1",
-        "controlStoreSchema": "a1-control-store-v1",
         "promptHistorySchema": "a1-prompt-history-v1",
         "releaseCohortSchema": "a1-release-cohort-v1",
         "updateJournalSchema": "a1-update-journal-v1"
     },
     "evidence": {
-        "nativeSpikeSchema": "a1-native-host-spike-evidence-v1",
-        "terminalProvenanceSchema": "a1-terminal-host-provenance-v1",
-        "terminalProofSchema": "a1-terminal-host-proof-v1",
-        "terminalTemporalSnapshotSchema": "a1-terminal-temporal-snapshot-v1",
         "stableReleaseSchema": "a1-stable-release-v1",
         "previewReleaseSchema": "a1-preview-release-v1",
         "releaseCertificationSchema": "a1-release-certification-v1",
@@ -92,13 +59,7 @@
     },
     "artifacts": {
         "cliEntry": "bin/cli.js",
-        "supervisorEntry": "bin/supervisor.js",
-        "guardianEntry": "bin/guardian.js",
         "uiEntry": "bin/ui.js",
-        "terminalHostAddon": "terminal-host",
-        "terminalHostEntry": "host-entry",
-        "nativeCrate": "terminal-host",
-        "processGuardianAddon": "process-guardian",
         "releaseTarballStem": "timurproko-a1",
         "diagnosticStem": "a1"
     }

package/dist/runtime-payload-inventory.json

@@ -3,12 +3,9 @@
   "entryPoints": [
     "bin/activate.js",
     "bin/cli.js",
-    "bin/guardian.js",
-    "bin/supervisor.js",
     "bin/ui.js",
     "bin/update-recovery.js",
     "bin/warmup.js",
-    "dist/foundation/launch-guardian/exit-watcher.js",
     "dist/foundation/startup/startup-descriptor.js",
     "dist/integrations/pi/startup-public.js"
   ],

package/dist/ui/components/index.d.ts

@@ -32,8 +32,8 @@ export { readVisibleHyperlinks } from "./visible-hyperlinks.js";
 export type { VisibleHyperlinkRange, VisibleHyperlinkRow } from "./visible-hyperlinks.js";
 export { renderStatusLine, statusText } from "./status-line.js";
 export type { StatusLineInput } from "./status-line.js";
-export { SUBMITTED_PROMPT_PREFIX_WIDTH, composeSubmittedPromptRows, formatLocalTime, formatSubmittedPromptTime, submittedPromptLayout } from "./submitted-prompt.js";
-export type { SubmittedPromptLayout, SubmittedPromptStyle, UiTimeFormat } from "./submitted-prompt.js";
+export { SUBMITTED_PROMPT_PREFIX_WIDTH, composeSubmittedPromptRows, submittedPromptLayout } from "./submitted-prompt.js";
+export type { SubmittedPromptLayout, SubmittedPromptStyle } from "./submitted-prompt.js";
 export { numericValues, steppedValue, stepperEnds } from "./stepper.js";
 export type { NumericRange } from "./stepper.js";
 export { TranscriptViewport, assertTranscriptViewportFrameDescriptor } from "./transcript-viewport.js";

package/dist/ui/components/index.js

@@ -16,7 +16,7 @@ export { GLOBAL_SCOPE, ShortcutRegistry, assembleShortcuts, assertNoShortcutConf
 export { backgroundSgrSpan, heldNativeHyperlinkStyle, hyperlinkSgrSpan, hyperlinkTargetAtColumn, nativeHyperlinkStyle, overlaySpan } from "./spans.js";
 export { readVisibleHyperlinks } from "./visible-hyperlinks.js";
 export { renderStatusLine, statusText } from "./status-line.js";
-export { SUBMITTED_PROMPT_PREFIX_WIDTH, composeSubmittedPromptRows, formatLocalTime, formatSubmittedPromptTime, submittedPromptLayout } from "./submitted-prompt.js";
+export { SUBMITTED_PROMPT_PREFIX_WIDTH, composeSubmittedPromptRows, submittedPromptLayout } from "./submitted-prompt.js";
 export { numericValues, steppedValue, stepperEnds } from "./stepper.js";
 export { TranscriptViewport, assertTranscriptViewportFrameDescriptor } from "./transcript-viewport.js";
 export { RAIL_COLUMNS, renderEmptyState, withScrollbarRail } from "./surface.js";

package/dist/ui/components/submitted-prompt.d.ts

@@ -1,26 +1,16 @@
-export type UiTimeFormat = "20:00" | "8:00 PM";
-/** Deterministic local hour/minute presentation shared by A1-owned time labels. */
-export declare function formatLocalTime(source: Date | number, format?: UiTimeFormat): string | null;
 /** Visible width of the submitted-prompt prefix (` ❯ `). */
 export declare const SUBMITTED_PROMPT_PREFIX_WIDTH = 3;
 export interface SubmittedPromptStyle {
     readonly prefix?: (text: string) => string;
-    readonly timestamp?: (text: string) => string;
 }
 export interface SubmittedPromptLayout {
     readonly contentWidth: number;
-    readonly timestamp: string | null;
 }
-/** Formats transcript metadata, never render time, in the active A1 time format. */
-export declare function formatSubmittedPromptTime(source: Date | number, format?: UiTimeFormat): string | null;
-/**
- * Computes the width at which the prompt's Markdown body must be rendered.
- * The timestamp is omitted rather than allowing it to crowd useful content.
- */
-export declare function submittedPromptLayout(width: number, source?: Date | number | null, format?: UiTimeFormat): SubmittedPromptLayout;
+/** Computes the width at which the prompt's Markdown body must be rendered. */
+export declare function submittedPromptLayout(width: number): SubmittedPromptLayout;
 /**
  * Composes already-rendered prompt content into the compact submitted bar.
  * Continuations align below the content, not below the prefix, and no row can
  * exceed the supplied terminal width even when the content renderer misbehaves.
  */
-export declare function composeSubmittedPromptRows(contentRows: readonly string[], width: number, source?: Date | number | null, style?: SubmittedPromptStyle, format?: UiTimeFormat): readonly string[];
+export declare function composeSubmittedPromptRows(contentRows: readonly string[], width: number, style?: SubmittedPromptStyle): readonly string[];

package/dist/ui/components/submitted-prompt.js

@@ -1,57 +1,24 @@
-import { displayWidth, truncateToWidth } from "./text.js";
-/** Deterministic local hour/minute presentation shared by A1-owned time labels. */
-export function formatLocalTime(source, format = "8:00 PM") {
-    const date = source instanceof Date ? source : new Date(source);
-    if (!Number.isFinite(date.getTime()))
-        return null;
-    const hour = date.getHours();
-    const minute = String(date.getMinutes()).padStart(2, "0");
-    if (format === "20:00")
-        return `${String(hour).padStart(2, "0")}:${minute}`;
-    return `${hour % 12 || 12}:${minute} ${hour < 12 ? "AM" : "PM"}`;
-}
+import { truncateToWidth } from "./text.js";
 /** Visible width of the submitted-prompt prefix (` ❯ `). */
 export const SUBMITTED_PROMPT_PREFIX_WIDTH = 3;
-const TIMESTAMP_MARGIN = 3;
-const MIN_USEFUL_CONTENT_WIDTH = 8;
-/** Formats transcript metadata, never render time, in the active A1 time format. */
-export function formatSubmittedPromptTime(source, format = "8:00 PM") {
-    return formatLocalTime(source, format);
-}
-/**
- * Computes the width at which the prompt's Markdown body must be rendered.
- * The timestamp is omitted rather than allowing it to crowd useful content.
- */
-export function submittedPromptLayout(width, source, format = "8:00 PM") {
-    const boundedWidth = Math.max(1, width);
-    const timestamp = source === undefined || source === null ? null : formatSubmittedPromptTime(source, format);
-    const timestampReserve = timestamp === null ? 0 : displayWidth(timestamp) + TIMESTAMP_MARGIN;
-    const canShowTimestamp = timestamp !== null
-        && boundedWidth - SUBMITTED_PROMPT_PREFIX_WIDTH - timestampReserve >= MIN_USEFUL_CONTENT_WIDTH;
-    return {
-        contentWidth: Math.max(1, boundedWidth - SUBMITTED_PROMPT_PREFIX_WIDTH - (canShowTimestamp ? timestampReserve : 0)),
-        timestamp: canShowTimestamp ? timestamp : null,
-    };
+/** Computes the width at which the prompt's Markdown body must be rendered. */
+export function submittedPromptLayout(width) {
+    return { contentWidth: Math.max(1, Math.max(1, width) - SUBMITTED_PROMPT_PREFIX_WIDTH) };
 }
 /**
  * Composes already-rendered prompt content into the compact submitted bar.
  * Continuations align below the content, not below the prefix, and no row can
  * exceed the supplied terminal width even when the content renderer misbehaves.
  */
-export function composeSubmittedPromptRows(contentRows, width, source, style = {}, format = "8:00 PM") {
+export function composeSubmittedPromptRows(contentRows, width, style = {}) {
     if (width <= 0)
         return [];
-    const layout = submittedPromptLayout(width, source, format);
+    const layout = submittedPromptLayout(width);
     const prefix = (style.prefix ?? identity)(" ❯ ");
-    const rows = (contentRows.length === 0 ? [""] : contentRows).map((row, index) => {
+    return (contentRows.length === 0 ? [""] : contentRows).map((row, index) => {
         const content = truncateToWidth(row, layout.contentWidth);
-        return `${index === 0 ? prefix : " ".repeat(SUBMITTED_PROMPT_PREFIX_WIDTH)}${content}`;
+        return truncateToWidth(`${index === 0 ? prefix : " ".repeat(SUBMITTED_PROMPT_PREFIX_WIDTH)}${content}`, width);
     });
-    if (layout.timestamp !== null && rows[0] !== undefined) {
-        const gap = Math.max(1, width - displayWidth(rows[0]) - displayWidth(layout.timestamp));
-        rows[0] = `${rows[0]}${" ".repeat(gap)}${(style.timestamp ?? identity)(layout.timestamp)}`;
-    }
-    return rows.map(row => truncateToWidth(row, width));
 }
 function identity(text) {
     return text;

package/dist/ui/components/transcript-viewport.d.ts

@@ -4,10 +4,8 @@ export interface TranscriptPromptAnchor {
     readonly id: string;
     readonly firstRow: number;
     readonly lastRow: number;
-    /** The source first row, including its submitted-prompt styling and timestamp. */
+    /** The source first row, including its submitted-prompt styling. */
     readonly sourceRow: string;
-    /** Right-edge metadata cells omitted from semantic prompt copies. */
-    readonly copySuffixWidth?: number;
     /** Optional source-styled row used only while prominent and not hovered. */
     readonly prominentSourceRow?: string;
 }

package/dist/ui/components/transcript-viewport.js

@@ -266,10 +266,7 @@ export class TranscriptViewport {
             const dock = anchor?.kind === "dock" ? this.#copyableDockRows.get(anchor.fromBottom) : undefined;
             if (prompt !== undefined && anchor?.kind === "document") {
                 const first = anchor.row === prompt.firstRow;
-                const copyRow = first && (prompt.copySuffixWidth ?? 0) > 0
-                    ? truncateToWidth(row, Math.max(0, displayWidth(row) - (prompt.copySuffixWidth ?? 0)))
-                    : row;
-                return selectionCopyLineContent(copyRow, first ? "first" : "continuation");
+                return selectionCopyLineContent(row, first ? "first" : "continuation");
             }
             // Invariant: the dock editor has no prefix; transcript prompts still carry chrome.
             return dock?.prompt !== undefined ? usefulTextLineContent(row, 1) : usefulTextLineContent(row);

package/dist/ui/settings/declarations.d.ts

@@ -1,4 +1,4 @@
-export declare const OWNED_UI_SETTINGS_VERSION = 20;
+export declare const OWNED_UI_SETTINGS_VERSION = 21;
 export type OwnedUiSettingValue = string | number | boolean;
 export type OwnedUiSettingApplication = "live" | "restart";
 export interface OwnedUiSettingDeclaration {
@@ -30,22 +30,10 @@ export declare const OWNED_SETTING_DECLARATIONS: Readonly<{
             id: "generic";
             title: "Generic";
         }>;
-        description: "Auto checks the running channel every 15 minutes while open and installs verified updates silently. Notify checks on startup and shows an update notice; No leaves updates manual. Applies on next start.";
+        description: "Auto checks the running channel every 15 minutes while open and installs verified updates silently, then shows Update installed, restart to update; the next start runs it. No leaves updates manual. Applies on next start.";
         application: "restart";
         defaultValue: "auto";
-        allowedValues: readonly ["auto", "notify", "no"];
-    }>;
-    readonly timeFormat: Readonly<{
-        id: "timeFormat";
-        label: "Time format";
-        section: Readonly<{
-            id: "generic";
-            title: "Generic";
-        }>;
-        description: "Format used by submitted-prompt timestamps and the resident tab clock when Time is enabled.";
-        application: "live";
-        defaultValue: "8:00 PM";
-        allowedValues: readonly ["20:00", "8:00 PM"];
+        allowedValues: readonly ["auto", "no"];
     }>;
     readonly accentColor: Readonly<{
         id: "accentColor";
@@ -191,88 +179,6 @@ export declare const OWNED_SETTING_DECLARATIONS: Readonly<{
         defaultValue: 8;
         allowedValues: readonly [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16];
     }>;
-    readonly tabsPosition: Readonly<{
-        id: "tabsPosition";
-        label: "Position";
-        section: Readonly<{
-            id: "tabs";
-            title: "Tab Bar";
-        }>;
-        description: "Place the resident tab bar at the top or bottom of the terminal.";
-        application: "live";
-        defaultValue: "top";
-        allowedValues: readonly ["top", "bottom"];
-    }>;
-    readonly tabBarPlusMenu: Readonly<{
-        id: "tabBarPlusMenu";
-        label: "Plus menu";
-        section: Readonly<{
-            id: "tabs";
-            title: "Tab Bar";
-        }>;
-        description: "The tabs + offers. With only Agent, + adds an Agent at once; with more, it opens a menu; with none, + is hidden.";
-        application: "live";
-        defaultValue: "agent";
-        allowedValues: readonly ["", "agent", "settings", "changelog", "agent,settings", "agent,changelog", "settings,changelog", "agent,settings,changelog"];
-        flags: readonly (Readonly<{
-            key: "agent";
-            label: "Agent";
-            description: "Add a new Agent tab every time.";
-        }> | Readonly<{
-            key: "settings";
-            label: "Settings";
-            description: "Show the one Settings tab.";
-        }> | Readonly<{
-            key: "changelog";
-            label: "Changelog";
-            description: "Show the one Changelog tab.";
-        }>)[];
-    }>;
-    readonly tabBarRightItems: Readonly<{
-        id: "tabBarRightItems";
-        label: "Widgets";
-        section: Readonly<{
-            id: "tabs";
-            title: "Tab Bar";
-        }>;
-        description: "Choose whether the tab bar's right side shows the executing Version, Time, both, or neither.";
-        application: "live";
-        defaultValue: "version,time";
-        allowedValues: readonly ["", "version", "time", "version,time"];
-        flags: readonly (Readonly<{
-            key: "version";
-            label: "Version";
-            description: "Show the executing A1 version.";
-        }> | Readonly<{
-            key: "time";
-            label: "Time";
-            description: "Show the current time.";
-        }>)[];
-    }>;
-    readonly tabBarBackgroundStyle: Readonly<{
-        id: "tabBarBackgroundStyle";
-        label: "Background";
-        section: Readonly<{
-            id: "tabs";
-            title: "Tab Bar";
-        }>;
-        description: "Tab-bar canvas.";
-        application: "live";
-        defaultValue: "transparent";
-        allowedValues: readonly ["transparent", "black", "accent"];
-    }>;
-    readonly tabsAutoName: Readonly<{
-        id: "tabsAutoName";
-        label: "Auto name";
-        section: Readonly<{
-            id: "tabs";
-            title: "Tab Bar";
-        }>;
-        description: "Automatically name a new tab from its first completed turn with the tab's current model.";
-        application: "live";
-        defaultValue: true;
-        allowedValues: readonly [true, false];
-    }>;
 }>;
 export type OwnedSettingId = keyof typeof OWNED_SETTING_DECLARATIONS;
 export type OwnedSettingValueOf<Id extends OwnedSettingId> = (typeof OWNED_SETTING_DECLARATIONS)[Id]["allowedValues"][number];

package/dist/ui/settings/declarations.js

@@ -1,4 +1,4 @@
-export const OWNED_UI_SETTINGS_VERSION = 20;
+export const OWNED_UI_SETTINGS_VERSION = 21;
 const UI_ACCENT_COLOR_CHOICES = Object.freeze([
     "blue", "purple", "cyan", "green", "orange", "pink",
 ]);
@@ -8,43 +8,15 @@ const GENERIC_SECTION = Object.freeze({ id: "generic", title: "Generic" });
 const APPEARANCE_SECTION = Object.freeze({ id: "appearance", title: "Appearance" });
 const SCROLL_SECTION = Object.freeze({ id: "scroll", title: "Scroll" });
 const AGENT_SECTION = Object.freeze({ id: "agent", title: "Agent" });
-const TABS_SECTION = Object.freeze({ id: "tabs", title: "Tab Bar" });
-/** The tab kinds the strip's `+` can offer, in the order it shows them. */
-const PLUS_MENU_KINDS = Object.freeze([
-    Object.freeze({ key: "agent", label: "Agent", description: "Add a new Agent tab every time." }),
-    Object.freeze({ key: "settings", label: "Settings", description: "Show the one Settings tab." }),
-    Object.freeze({ key: "changelog", label: "Changelog", description: "Show the one Changelog tab." }),
-]);
-/** Every enabled subset of the plus-menu kinds, each in kind order. */
-const PLUS_MENU_VALUES = Object.freeze([
-    "", "agent", "settings", "changelog", "agent,settings", "agent,changelog", "settings,changelog", "agent,settings,changelog",
-]);
-/** The right-side strip items, in their fixed presentation order. */
-const TAB_BAR_RIGHT_ITEMS = Object.freeze([
-    Object.freeze({ key: "version", label: "Version", description: "Show the executing A1 version." }),
-    Object.freeze({ key: "time", label: "Time", description: "Show the current time." }),
-]);
-const TAB_BAR_RIGHT_ITEM_VALUES = Object.freeze(["", "version", "time", "version,time"]);
 export const OWNED_SETTING_DECLARATIONS = Object.freeze({
     updateCheck: Object.freeze({
         id: "updateCheck",
         label: "Update",
         section: GENERIC_SECTION,
-        description: "Auto checks the running channel every 15 minutes while open and installs verified updates silently. Notify checks on startup and shows an update notice; No leaves updates manual. Applies on next start.",
+        description: "Auto checks the running channel every 15 minutes while open and installs verified updates silently, then shows Update installed, restart to update; the next start runs it. No leaves updates manual. Applies on next start.",
         application: "restart",
         defaultValue: "auto",
-        allowedValues: Object.freeze(["auto", "notify", "no"]),
-    }),
-    timeFormat: Object.freeze({
-        id: "timeFormat",
-        label: "Time format",
-        section: GENERIC_SECTION,
-        description: "Format used by submitted-prompt timestamps and the resident tab clock when Time is enabled.",
-        application: "live",
-        defaultValue: "8:00 PM",
-        allowedValues: Object.freeze([
-            "20:00", "8:00 PM",
-        ]),
+        allowedValues: Object.freeze(["auto", "no"]),
     }),
     accentColor: Object.freeze({
         id: "accentColor",
@@ -156,53 +128,6 @@ export const OWNED_SETTING_DECLARATIONS = Object.freeze({
         defaultValue: 8,
         allowedValues: Object.freeze([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]),
     }),
-    tabsPosition: Object.freeze({
-        id: "tabsPosition",
-        label: "Position",
-        section: TABS_SECTION,
-        description: "Place the resident tab bar at the top or bottom of the terminal.",
-        application: "live",
-        defaultValue: "top",
-        allowedValues: Object.freeze(["top", "bottom"]),
-    }),
-    tabBarPlusMenu: Object.freeze({
-        id: "tabBarPlusMenu",
-        label: "Plus menu",
-        section: TABS_SECTION,
-        description: "The tabs + offers. With only Agent, + adds an Agent at once; with more, it opens a menu; with none, + is hidden.",
-        application: "live",
-        defaultValue: "agent",
-        allowedValues: PLUS_MENU_VALUES,
-        flags: PLUS_MENU_KINDS,
-    }),
-    tabBarRightItems: Object.freeze({
-        id: "tabBarRightItems",
-        label: "Widgets",
-        section: TABS_SECTION,
-        description: "Choose whether the tab bar's right side shows the executing Version, Time, both, or neither.",
-        application: "live",
-        defaultValue: "version,time",
-        allowedValues: TAB_BAR_RIGHT_ITEM_VALUES,
-        flags: TAB_BAR_RIGHT_ITEMS,
-    }),
-    tabBarBackgroundStyle: Object.freeze({
-        id: "tabBarBackgroundStyle",
-        label: "Background",
-        section: TABS_SECTION,
-        description: "Tab-bar canvas.",
-        application: "live",
-        defaultValue: "transparent",
-        allowedValues: Object.freeze(["transparent", "black", "accent"]),
-    }),
-    tabsAutoName: Object.freeze({
-        id: "tabsAutoName",
-        label: "Auto name",
-        section: TABS_SECTION,
-        description: "Automatically name a new tab from its first completed turn with the tab's current model.",
-        application: "live",
-        defaultValue: true,
-        allowedValues: Object.freeze([true, false]),
-    }),
 });
 export const OWNED_UI_SETTING_DECLARATIONS = Object.freeze(Object.values(OWNED_SETTING_DECLARATIONS));
 export function isOwnedSettingId(id) {

package/dist/ui/settings/migrations.js

@@ -162,6 +162,22 @@ export const OWNED_UI_SETTINGS_MIGRATIONS = Object.freeze([
             return { ...values };
         },
     }),
+    Object.freeze({
+        to: 21,
+        description: "Retire tab-bar and time-format settings and reduce updates to auto or no.",
+        migrate(values) {
+            const migrated = { ...values };
+            // Compatibility: notify and the legacy boolean both meant "look for updates"; auto now does that.
+            if (migrated.updateCheck === "notify" || migrated.updateCheck === true)
+                migrated.updateCheck = "auto";
+            if (migrated.updateCheck === false)
+                migrated.updateCheck = "no";
+            for (const key of ["tabsPosition", "tabBarPlusMenu", "tabBarRightItems", "tabBarBackgroundStyle", "tabsAutoName", "timeFormat"]) {
+                delete migrated[key];
+            }
+            return migrated;
+        },
+    }),
 ]);
 /** Shape-selected compatibility for the metadata-free product object. */
 export function normalizeOwnedUiSettingsValues(source) {
@@ -171,8 +187,8 @@ export function normalizeOwnedUiSettingsValues(source) {
         values.scrollbarAppearance = "auto";
     if (values.accentColor === "default")
         values.accentColor = "purple";
-    if (values.updateCheck === true)
-        values.updateCheck = "notify";
+    if (values.updateCheck === true || values.updateCheck === "notify")
+        values.updateCheck = "auto";
     else if (values.updateCheck === false)
         values.updateCheck = "no";
     if (values.quitEffect === "off") {