toolroll 0.9.82 → 0.9.84

package/dist/models-ui.d.ts

@@ -2,20 +2,31 @@
  * role picked from live lists, and the models that just arrived. */
 import { type Html } from "./html.js";
 import type { ModelOption, RuntimeState, SeenModel, WatchState } from "./model-catalog.js";
-export declare const MODELS_CSS = ".models{max-width:780px;min-width:0;overflow-wrap:anywhere}.models .card{padding:16px 20px;margin:12px 0;min-width:0}.models h2{margin:24px 0 8px}.models form{margin:0}.models label{display:grid;gap:6px}.models select,.models input[type=search]{box-sizing:border-box;width:100%;max-width:100%;min-width:0}.models button,.models summary,.models .button-link{min-height:44px}.models button{white-space:nowrap}.models summary{padding:12px 0;cursor:pointer}.models .tool{display:flex;gap:12px;align-items:center;justify-content:space-between;flex-wrap:wrap}.models .role{display:grid;grid-template-columns:minmax(0,1fr);gap:8px}.models .role-row{display:flex;gap:12px;align-items:end;flex-wrap:wrap}.models .role-row select{flex:1 1 240px;width:auto;min-width:0}.models .role-name{font-weight:600}.models .new{font-weight:600}.models ul{padding-left:20px}.models .meta{font-size:.86rem}@media(max-width:600px){.models .card{padding:14px}}";
+export declare const MODELS_CSS = ".models{max-width:780px;min-width:0;overflow-wrap:anywhere}.models .card{padding:16px 20px;margin:12px 0;min-width:0}.models h2{margin:24px 0 8px}.models form{margin:0}.models label{display:grid;gap:6px}.models select,.models input[type=search]{box-sizing:border-box;width:100%;max-width:100%;min-width:0}.models button,.models summary,.models .button-link{min-height:44px}.models button{white-space:nowrap}.models summary{padding:12px 0;cursor:pointer}.models .tool{display:flex;gap:12px;align-items:center;justify-content:space-between;flex-wrap:wrap}.models .role{display:grid;grid-template-columns:minmax(0,1fr);gap:8px}.models .role-row{display:flex;gap:12px;align-items:end;flex-wrap:wrap}.models .role-row select{flex:1 1 240px;width:auto;min-width:0}.models .role-name{font-weight:600}.models .new{font-weight:600}.models ul{padding-left:20px}.models .meta{font-size:.86rem}.models .role-read{display:grid;gap:2px;padding:8px 0}.models .editor{display:grid;gap:14px}.models .editor .role select{width:100%}.models .tiers{border-top:1px solid var(--so-line)}.models .tiers .role{margin:0 0 14px}.models .mono{font-family:var(--font-mono,ui-monospace,monospace);font-size:.84rem}.models .preset{display:flex;gap:12px;align-items:center;justify-content:space-between;flex-wrap:wrap}.models .preset p{margin:4px 0 0}.models .preset>div{flex:1 1 280px;min-width:0}.models .button-link{display:inline-flex;align-items:center;padding:0 14px;border:1px solid var(--so-input-line);border-radius:8px;text-decoration:none;color:var(--so-ink);font-weight:600}.models table{width:100%;border-collapse:collapse}.models th,.models td{text-align:left;vertical-align:top;padding:8px 6px;border-bottom:1px solid var(--so-line)}.models .diff th{width:38%;font-weight:600}.models .diff ul{margin:4px 0 0}.models .preview{border-color:var(--so-input-line)}.models .preview form{display:grid;gap:10px;margin-top:12px}.models .preview .cancel{justify-self:start;display:inline-flex;align-items:center;min-height:44px}.models .sizing dt{font-weight:600;margin-top:8px}.models .sizing dd{margin:2px 0 0}.models .editor label:has(input[type=password]){margin-top:4px}@media(max-width:600px){.models .card{padding:14px}.models .diff th,.models .diff td{display:block;width:auto;border:0;padding:4px 0}.models .diff tr{display:block;border-bottom:1px solid var(--so-line);padding:6px 0}.models .recent td{display:block;border:0;padding:2px 0}.models .recent tr{display:block;border-bottom:1px solid var(--so-line);padding:6px 0}.models .recent thead{display:none}}";
+/** One row of the editor: a role at the scope being edited. */
 export type RoleView = {
-    phase: "plan" | "build" | "review" | "repair";
+    /** The slot's form field (model-choices.ts slotKey). */
+    key: string;
     label: string;
-    /** "provider|model", or "inherit" for a repair that follows the builder. */
+    /** "provider|model", or "" when this scope has no row of its own. */
     current: string;
+    /** What runs now, in words, including what is inherited. */
     words: string;
+    /** What "no row here" means for this role: "Same as the builder", "Same as the installation (…)", "Not set". */
+    unset: string;
     groups: {
         label: string;
         provider: string;
         options: ModelOption[];
     }[];
-    /** Repair only: offer "Same as the builder". */
-    inherit?: boolean;
+    /** Behind the tiers disclosure. */
+    tier: boolean;
+};
+export type DiffView = {
+    role: string;
+    before: string;
+    after: string;
+    notes: string[];
 };
 export type ModelsView = {
     runtimes: RuntimeState[];
@@ -29,6 +40,59 @@ export type ModelsView = {
     canManage: boolean;
     said: string | null;
     problem: string | null;
+    /** The scope being edited, the scopes on offer, and the digest of what this page shows. */
+    scope: {
+        value: string;
+        label: string;
+        options: {
+            value: string;
+            label: string;
+        }[];
+        digest: string;
+    };
+    /** "Sized by job", "Opus for everything", or null for a custom set. */
+    inUse: string | null;
+    presets: {
+        name: string;
+        label: string;
+        words: string;
+        inUse: boolean;
+        recommended: boolean;
+    }[];
+    /** Newer models the watch has seen for exact ids in use here. */
+    newer: {
+        from: string;
+        to: string;
+        name: string;
+        roles: string;
+    }[];
+    /** A preset or switch's exact diff, shown before it applies. */
+    preview: {
+        title: string;
+        rows: DiffView[];
+        hidden: Record<string, string>;
+    } | null;
+    /** What still keeps tasks from being filed at this scope, or null. */
+    unresolved: string | null;
+    sizing: {
+        small: string;
+        routine: string;
+        large: string;
+        risky: string;
+        classifier: string;
+    };
+    routing: string;
+    recent: {
+        taskId: string;
+        runId: number;
+        role: string;
+        chosen: string;
+        ranOn: string;
+    }[];
+    waiting: {
+        taskId: string;
+        title: string;
+    }[];
 };
 export declare function modelsHtml(view: ModelsView): Html;
 /** Filters one long picker as you type; the saved choice always stays listed. */

package/dist/models-ui.js

@@ -1,10 +1,10 @@
 /** Settings → Models: the CLIs on this computer, the default agent for each
  * role picked from live lists, and the models that just arrived. */
-import { html, postForm } from "./html.js";
+import { html, postForm, reauth } from "./html.js";
 import { priceWords } from "./model-catalog.js";
 import { whenUtc } from "./when-html.js";
 const when = (iso) => iso === null ? "never" : whenUtc(iso);
-export const MODELS_CSS = `.models{max-width:780px;min-width:0;overflow-wrap:anywhere}.models .card{padding:16px 20px;margin:12px 0;min-width:0}.models h2{margin:24px 0 8px}.models form{margin:0}.models label{display:grid;gap:6px}.models select,.models input[type=search]{box-sizing:border-box;width:100%;max-width:100%;min-width:0}.models button,.models summary,.models .button-link{min-height:44px}.models button{white-space:nowrap}.models summary{padding:12px 0;cursor:pointer}.models .tool{display:flex;gap:12px;align-items:center;justify-content:space-between;flex-wrap:wrap}.models .role{display:grid;grid-template-columns:minmax(0,1fr);gap:8px}.models .role-row{display:flex;gap:12px;align-items:end;flex-wrap:wrap}.models .role-row select{flex:1 1 240px;width:auto;min-width:0}.models .role-name{font-weight:600}.models .new{font-weight:600}.models ul{padding-left:20px}.models .meta{font-size:.86rem}@media(max-width:600px){.models .card{padding:14px}}`;
+export const MODELS_CSS = `.models{max-width:780px;min-width:0;overflow-wrap:anywhere}.models .card{padding:16px 20px;margin:12px 0;min-width:0}.models h2{margin:24px 0 8px}.models form{margin:0}.models label{display:grid;gap:6px}.models select,.models input[type=search]{box-sizing:border-box;width:100%;max-width:100%;min-width:0}.models button,.models summary,.models .button-link{min-height:44px}.models button{white-space:nowrap}.models summary{padding:12px 0;cursor:pointer}.models .tool{display:flex;gap:12px;align-items:center;justify-content:space-between;flex-wrap:wrap}.models .role{display:grid;grid-template-columns:minmax(0,1fr);gap:8px}.models .role-row{display:flex;gap:12px;align-items:end;flex-wrap:wrap}.models .role-row select{flex:1 1 240px;width:auto;min-width:0}.models .role-name{font-weight:600}.models .new{font-weight:600}.models ul{padding-left:20px}.models .meta{font-size:.86rem}.models .role-read{display:grid;gap:2px;padding:8px 0}.models .editor{display:grid;gap:14px}.models .editor .role select{width:100%}.models .tiers{border-top:1px solid var(--so-line)}.models .tiers .role{margin:0 0 14px}.models .mono{font-family:var(--font-mono,ui-monospace,monospace);font-size:.84rem}.models .preset{display:flex;gap:12px;align-items:center;justify-content:space-between;flex-wrap:wrap}.models .preset p{margin:4px 0 0}.models .preset>div{flex:1 1 280px;min-width:0}.models .button-link{display:inline-flex;align-items:center;padding:0 14px;border:1px solid var(--so-input-line);border-radius:8px;text-decoration:none;color:var(--so-ink);font-weight:600}.models table{width:100%;border-collapse:collapse}.models th,.models td{text-align:left;vertical-align:top;padding:8px 6px;border-bottom:1px solid var(--so-line)}.models .diff th{width:38%;font-weight:600}.models .diff ul{margin:4px 0 0}.models .preview{border-color:var(--so-input-line)}.models .preview form{display:grid;gap:10px;margin-top:12px}.models .preview .cancel{justify-self:start;display:inline-flex;align-items:center;min-height:44px}.models .sizing dt{font-weight:600;margin-top:8px}.models .sizing dd{margin:2px 0 0}.models .editor label:has(input[type=password]){margin-top:4px}@media(max-width:600px){.models .card{padding:14px}.models .diff th,.models .diff td{display:block;width:auto;border:0;padding:4px 0}.models .diff tr{display:block;border-bottom:1px solid var(--so-line);padding:6px 0}.models .recent td{display:block;border:0;padding:2px 0}.models .recent tr{display:block;border-bottom:1px solid var(--so-line);padding:6px 0}.models .recent thead{display:none}}`;
 function toolRow(one, manage) {
     const state = one.installed === null ? "Version unknown"
         : one.behind ? html `${one.installed} · <strong>${one.latest} available</strong>`
@@ -16,18 +16,17 @@ function toolRow(one, manage) {
 }
 function roleForm(role, manage) {
     if (!manage)
-        return html `<div class="card role"><strong>${role.label}</strong><span>${role.words}</span></div>`;
+        return html `<div class="role-read"><span class="role-name">${role.label}</span><span>${role.words}</span></div>`;
     const known = role.groups.some(group => group.options.some(option => `${group.provider}|${option.value}` === role.current));
-    const saved = !known && role.current !== "inherit" && role.current !== "" ? html `<option value="${role.current}" selected>${role.words} · current</option>` : "";
+    const saved = !known && role.current !== "" ? html `<option value="${role.current}" selected>${role.words} · current</option>` : "";
     const groups = role.groups.map(group => html `<optgroup label="${group.label}">${group.options.map(option => {
         const value = `${group.provider}|${option.value}`;
         return html `<option value="${value}"${value === role.current ? html ` selected` : ""}>${option.label}</option>`;
     })}</optgroup>`);
-    const inherit = role.inherit ? html `<option value="inherit"${role.current === "inherit" ? html ` selected` : ""}>Same as the builder</option>` : "";
-    const long = role.groups.reduce((sum, group) => sum + group.options.length, 0) > 40;
+    const unset = html `<option value="clear"${role.current === "" ? html ` selected` : ""}>${role.unset}</option>`;
     const count = role.groups.reduce((sum, group) => sum + group.options.length, 0);
-    const id = `role-${role.phase}`;
-    return postForm("/settings/models/agent", html `<label class="role-name" for="${id}">${role.label}</label>${long ? html `<input type="search" data-model-filter hidden aria-label="Search ${role.label.toLowerCase()} models" placeholder="Search ${count} models" autocomplete="off">` : ""}<div class="role-row"><select id="${id}" name="agent">${inherit}${saved}${groups}</select><button type="submit" class="secondary">Save</button></div>`, { attrs: { class: "card role" }, hidden: { phase: role.phase } });
+    const id = `role-${role.key}`;
+    return html `<div class="role"><label class="role-name" for="${id}">${role.label}</label>${count > 40 ? html `<input type="search" data-model-filter hidden aria-label="Search ${role.label.toLowerCase()} models" placeholder="Search ${count} models" autocomplete="off">` : ""}<select id="${id}" name="${role.key}">${unset}${saved}${groups}</select>${role.current === "" ? html `<span class="meta">${role.words}</span>` : ""}</div>`;
 }
 export function modelsHtml(view) {
     const manage = view.canManage && view.csrf !== "";
@@ -44,11 +43,11 @@ export function modelsHtml(view) {
     const watch = manage
         ? html `<details><summary>Automatic checks · ${view.watch.enabled ? "On" : "Off"}</summary>${postForm("/settings/models/watch", html `<p>Check every 6 hours and send a message when a new model or CLI update appears. It uses public lists and sends nothing about you or your projects.</p><button type="submit" class="secondary">${view.watch.enabled ? "Turn off" : "Turn on"}</button>`, { hidden: { enabled: view.watch.enabled ? "0" : "1" } })}</details>`
         : "";
-    return html `<section class="models">${status}${problem}<h2>AI tools</h2>${tools}<p class="meta">Checked ${when(view.watch.checkedAt)} ${check}</p>${fresh}<h2>Default agents</h2><p class="meta">New tasks use these. Approved tasks keep the agents they were approved with.</p>${view.roles.map(role => roleForm(role, manage))}${view.chat === null ? "" : html `<h2>Chat</h2><p>${view.chat.words} · <a href="/settings/lead">Change</a></p>`}${watch}</section>`;
+    return html `<section class="models">${status}${problem}${previewCard(view, manage)}${editorSection(view, manage)}${presetsSection(view, manage)}${sizingSection(view)}${recentSection(view)}<h2>AI tools</h2>${tools}<p class="meta">Checked ${when(view.watch.checkedAt)} ${check}</p>${fresh}${view.chat === null ? "" : html `<h2>Chat</h2><p>${view.chat.words} · <a href="/settings/lead">Change</a></p>`}${watch}</section>`;
 }
 /** Filters one long picker as you type; the saved choice always stays listed. */
 export function modelsScript() {
-    return `(function(){document.querySelectorAll('.models form.role').forEach(function(form){
+    return `(function(){document.querySelectorAll('.models .role').forEach(function(form){
     var search=form.querySelector('[data-model-filter]'),select=form.querySelector('select');
     if(!search||!select)return;search.hidden=false;
     var groups=Array.from(select.querySelectorAll('optgroup')).map(function(g){return{g:g,options:Array.from(g.children)}});
@@ -57,3 +56,47 @@ export function modelsScript() {
       select.value=chosen;});
   })})();`;
 }
+const scopeQuery = (view) => view.scope.value === "installation" ? "" : `&scope=${encodeURIComponent(view.scope.value)}`;
+const password = () => reauth(html `<label>Your Toolroll password<input type="password" name="password" autocomplete="current-password"></label>`);
+/** The roles at the scope being edited: one form, one save, one password. Sizes and tiers sit behind a disclosure. */
+function editorSection(view, manage) {
+    const scopes = view.scope.options.length < 2 ? "" : html `<form method="get" action="/settings/models" class="models-scope"><label for="models-scope">Settings for</label><div class="role-row"><select id="models-scope" name="scope">${view.scope.options.map(one => html `<option value="${one.value}"${one.value === view.scope.value ? html ` selected` : ""}>${one.label}</option>`)}</select><button type="submit" class="secondary">Show</button></div></form>`;
+    const main = view.roles.filter(role => !role.tier), tiers = view.roles.filter(role => role.tier);
+    const inUse = html `<p class="meta">In use: ${view.inUse === null ? "a custom set" : view.inUse}${view.scope.value === "installation" ? "" : html ` · ${view.scope.label}`}</p>`;
+    const unresolved = view.unresolved === null ? "" : html `<p class="problem" role="alert">New tasks can't be filed here yet: ${view.unresolved}</p>`;
+    const rows = html `${main.map(role => roleForm(role, manage))}<details class="tiers"${manage ? "" : html ` open`}><summary>By task size</summary>${tiers.map(role => roleForm(role, manage))}</details>`;
+    const body = manage
+        ? postForm("/settings/models/agent", html `${rows}${password()}<button type="submit">Save</button>`, { attrs: { class: "card editor" }, hidden: { scope: view.scope.value, digest: view.scope.digest } })
+        : html `<div class="card editor">${rows}</div>`;
+    return html `<h2>Models for new tasks</h2>${scopes}${inUse}${unresolved}${body}<p class="meta">Changes apply to tasks filed from now on. Approved and waiting tasks keep the models they were filed with.</p>`;
+}
+/** A preset or a switch shows exactly what it changes, and applies only with a second, password-checked submit. */
+function previewCard(view, manage) {
+    const preview = view.preview;
+    if (preview === null || !manage)
+        return html ``;
+    const back = `/settings/models${view.scope.value === "installation" ? "" : `?scope=${encodeURIComponent(view.scope.value)}`}`;
+    if (preview.rows.length === 0)
+        return html `<div class="card preview" role="status"><h2>${preview.title}</h2><p>Already in use. Nothing would change.</p><a class="button-link" href="${back}">Back</a></div>`;
+    const rows = preview.rows.map(row => html `<tr><th scope="row">${row.role}</th><td><span class="mono">${row.before}</span> → <span class="mono">${row.after}</span>${row.notes.length === 0 ? "" : html `<ul class="meta">${row.notes.map(note => html `<li>${note}</li>`)}</ul>`}</td></tr>`);
+    return html `<div class="card preview"><h2>${preview.title}</h2><p>Review what changes for tasks filed from now on.</p><table class="diff"><tbody>${rows}</tbody></table>${postForm("/settings/models/apply", html `${password()}<button type="submit" class="primary">Apply ${preview.rows.length} change${preview.rows.length === 1 ? "" : "s"}</button><a class="cancel" href="${back}">Cancel</a>`, { hidden: preview.hidden })}</div>`;
+}
+function presetsSection(view, manage) {
+    const presets = view.presets.map(one => html `<div class="card preset"><div><strong>${one.label}</strong>${one.recommended ? html ` <span class="meta">Default</span>` : ""}<p>${one.words}</p></div>${one.inUse ? html `<span class="meta">In use</span>` : manage ? html `<a class="button-link" href="/settings/models?preset=${one.name}${scopeQuery(view)}">Review changes</a>` : ""}</div>`);
+    const newer = view.newer.length === 0 ? "" : html `<h2>Newer models</h2>${view.newer.map(one => html `<div class="card preset"><div><strong>${one.name}</strong><p>Newer than <span class="mono">${one.from}</span>, used by ${one.roles}.</p></div>${manage ? html `<a class="button-link" href="/settings/models?switch=${encodeURIComponent(one.from)}&to=${encodeURIComponent(one.to)}${scopeQuery(view)}">Switch to it</a>` : ""}</div>`)}`;
+    return html `<h2>Presets</h2>${presets}${newer}`;
+}
+/** How a task's size is decided, in plain words, and what routing does at filing. */
+function sizingSection(view) {
+    return html `<h2>How tasks are sized</h2><div class="card sizing"><p>Each task is sized once, when it is filed. ${view.sizing.classifier} If it doesn't answer within 5 seconds, the size comes from the description.</p><dl>
+<dt>Small</dt><dd>${view.sizing.small}. Built by the builder for small tasks, with no plan.</dd>
+<dt>Routine</dt><dd>${view.sizing.routine}. Planned and built by the planner and builder for routine tasks.</dd>
+<dt>Large or risky</dt><dd>Large: ${view.sizing.large}. Risky: ${view.sizing.risky} Planned and built by the large or risky models.</dd></dl>
+<details><summary>More about routing</summary><p>${view.routing}</p><p>Changing a model never re-sizes or re-routes a task that was already filed. One exception: an older build review saved without its own route uses the reviewer set here now.</p></details></div>${view.waiting.length === 0 ? "" : html `<details class="waiting"><summary>${view.waiting.length} plan${view.waiting.length === 1 ? "" : "s"} waiting for approval</summary><p class="meta">They keep the models they were filed with.</p><ul>${view.waiting.map(one => html `<li><a href="/t/${encodeURIComponent(one.taskId)}">${one.title}</a></li>`)}</ul></details>`}`;
+}
+/** The model each recent run was set to, next to the model its provider reported. */
+function recentSection(view) {
+    if (view.recent.length === 0)
+        return html ``;
+    return html `<h2>Recent work</h2><table class="recent"><thead><tr><th scope="col">Task</th><th scope="col">Chosen → ran on</th></tr></thead><tbody>${view.recent.map(one => html `<tr><td><a href="/t/${encodeURIComponent(one.taskId)}">${one.taskId}</a> <span class="meta">${one.role}</span></td><td><span class="mono">${one.chosen}</span> → <span class="mono">${one.ranOn}</span></td></tr>`)}</tbody></table>`;
+}

package/dist/needs-you.d.ts

@@ -15,6 +15,14 @@ export type NeedAction = {
     code: NeedActionCode;
     label: string;
 };
+/** Where "Connect a builder" and "Start the builder" lead (code `start-worker`): the Start a builder page, which shows
+ * the one command to run and the open project's builder state. Every signed-in person can open it, a project-limited
+ * one included (System is instance-only). Never the task's own page, which only repeats that nothing is connected. */
+export declare const START_BUILDER_HREF = "/start-builder";
+/** Start a builder for one task: the page reports that task's own project, whatever project is open. */
+export declare const startBuilderHref: (taskId: string | null) => string;
+/** What starts a builder: run on the machine where the project lives, in the project's folder. */
+export declare const START_BUILDER_COMMAND = "toolroll up";
 /** `build`: the run a sentence names; `provider`: the agent that signed out. */
 export type NeedContext = {
     build?: number | null;

package/dist/needs-you.js

@@ -5,6 +5,14 @@
  *
  * The words never name the machine's internals; `plainSentence` keeps a
  * recorded reason only when it is free of them. */
+/** Where "Connect a builder" and "Start the builder" lead (code `start-worker`): the Start a builder page, which shows
+ * the one command to run and the open project's builder state. Every signed-in person can open it, a project-limited
+ * one included (System is instance-only). Never the task's own page, which only repeats that nothing is connected. */
+export const START_BUILDER_HREF = "/start-builder";
+/** Start a builder for one task: the page reports that task's own project, whatever project is open. */
+export const startBuilderHref = (taskId) => taskId === null ? START_BUILDER_HREF : `${START_BUILDER_HREF}?task=${encodeURIComponent(taskId)}`;
+/** What starts a builder: run on the machine where the project lives, in the project's folder. */
+export const START_BUILDER_COMMAND = "toolroll up";
 const always = () => true;
 const build = (context) => context.build == null ? "the last build" : `build #${context.build}`;
 const Build = (context) => context.build == null ? "The last build" : `Build #${context.build}`;

package/dist/operate.d.ts

@@ -9,9 +9,12 @@ import { type Store } from "./store.js";
 import { type DispatchAdapter } from "./sync.js";
 import { type RolePort, type UpRoleStart } from "./up-processes.js";
 import { type TelegramTransport } from "./telegram.js";
+import { type ProjectIdentities } from "./project-identity.js";
+import { type FolderLookOptions } from "./folder-look.js";
 import { type LeadCliSeams } from "./lead-cli.js";
 import { type Principal, type RemoteRun, type RemoteSource } from "./operate-remote.js";
 import { type PublishExec } from "./publish.js";
+import { type ApplyResult, type ExtraWrite, type ModelChange, type Slot } from "./model-choices.js";
 import { type Runner as CommandRunner } from "./builder.js";
 import { type ReleaseIo } from "./releases.js";
 export type Write = (line: string) => void;
@@ -93,6 +96,8 @@ export type OperateOptions = {
     filingSizer?: Sizer;
     /** Set only by up-role-child.ts: this process is one role of a `toolroll up` (the console or the worker). */
     upRole?: UpRoleHost;
+    /** Injected by tests: how the console looks at project folders off its thread (folder-look.ts). */
+    folderLook?: FolderLookOptions;
 };
 export type OnboardSeams = Partial<Pick<OnboardIo, "home" | "env" | "cwd" | "interactive" | "confirm" | "findRepo" | "checkConnection" | "pullRequests">>;
 export declare const OPERATE_HELP: string;
@@ -152,6 +157,8 @@ export declare function runOperateAs(argv: string[], opts: {
     options?: OperateOptions;
 }): Promise<number>;
 type Context = {
+    /** Injected by tests: how the console looks at project folders off its thread. */
+    folderLook?: FolderLookOptions;
     /** A remote run's person (runOperateAs): every credential check resolves to them. Absent for every local command. */
     principal?: RemoteRun;
     /** The lead token this command runs under: it signs in as its owner. */
@@ -271,3 +278,49 @@ export declare function refreshGithubNightlies(store: Store, now: () => Date, re
  * - `recover [--abandon <campaign>]`: settle campaigns whose runner stopped; with --abandon, a person ends a stuck one.
  */
 export declare function evalsCommand(positional: readonly string[], flags: Map<string, string | true>, context: Context): Promise<number>;
+/**
+ * The saved projects an `up` start couldn't reach (upCommand): each is proved again every `everyMs` while the worker
+ * runs, by `prove` (upProveSaved), so a folder that answers again connects without a restart. Only what the start itself
+ * read from the saved list is here, and the set only shrinks: a line connected, removed from the saved list
+ * (`keepOnly`) or come back as some other checkout (`revoke`) is gone for good, so a line saved again later needs its
+ * recorded admission like any other addition. `retry` answers the proof when one is due and answered, else null.
+ */
+export declare function upDeferredRetry<T>(inputs: readonly string[], prove: (input: string) => Promise<T | null>, everyMs?: number, now?: () => number): {
+    has: (input: string) => boolean;
+    list: () => string[];
+    retry: (input: string) => Promise<T | null>;
+    revoke: (input: string) => void;
+    keepOnly: (saved: readonly string[]) => boolean;
+};
+/**
+ * Whether a saved project's folder is a Git checkout now, read without blocking this thread: `git rev-parse
+ * --show-toplevel` (bounded, its own process), then the real paths of the saved line and of the checkout, resolved off
+ * the thread under a deadline (folder-look.ts). Null when it isn't one, or didn't answer.
+ */
+export declare function upProveSaved(gitRun: (file: string, args: readonly string[], opts?: {
+    cwd?: string;
+}) => Promise<{
+    code: number | null;
+    stdout: string;
+}>, input: string, look?: FolderLookOptions): Promise<{
+    line: string;
+    root: string;
+} | null>;
+/** What `up` hands its next worker after the worker reports which saved projects it still holds start authority for:
+ * only what both still hold. A worker's report can give up an authority, never add or give back one. */
+export declare function upNarrowDeferred(held: readonly string[], reported: readonly string[]): string[];
+/** Resolve the console's project identities after it is listening, never before: the deploy's health check and every
+ * page answer at once, and each project shows up as its folder answers (project-identity.ts `refresh`, its looks a
+ * few at a time under their deadline). Nothing waits on it; a pass that fails leaves those paths unresolved, which
+ * fails closed, for the background pass to try again. */
+export declare function consoleIdentitiesInBackground(identities: ProjectIdentities, paths: readonly string[]): void;
+/** `config set` and `config clear` on the command line, through Settings → Models' one write path (model-choices.ts,
+ * docs/plans/spend-dashboard.md slice 3), under the same target and resulting-configuration checks as the editor: the
+ * person proved themselves with their own password or login at `proved.generation`; a machine credential (a remote
+ * token, the lead's token) never changes which models run. The write re-proves them inside its transaction: still an
+ * unrestricted instance operator, at that very generation, by a proof that still stands. */
+export declare function writeModelRow(store: Store, proved: {
+    actor: string;
+    generation: number;
+    method: string;
+}, scope: string, knownProject: (repo: string) => boolean, slot: Slot | null, to: ModelChange["to"], now: Date, extra?: readonly ExtraWrite[]): ApplyResult;