cortad 0.3.9 → 0.3.11

package/lib/text.mjs

@@ -4,8 +4,8 @@ import { failedLines, heldLines } from "./failed-text.mjs";
 import { readLines } from "./read-text.mjs";
 import { at, clip, has, num, PAGE_CHARS, pageOf, plural, SIDE, upper } from "./words.mjs";
 
-// What each verb prints. A result is data for the coding agent: a line meant for the person starts
-// with "For the person:", and a run_status result ends with the next call. A field the API leaves
+// What each verb prints. A result is data for the coding agent, in plain sentences it can hand the
+// person as they are, and a run_status result ends with the next call. A field the API leaves
 // out prints nothing, so the text follows the API as it grows.
 
 const DONE = new Set(["succeeded", "failed", "canceled"]);
@@ -39,8 +39,7 @@ export function statusText(d) {
   lines.push(...contactLines(d.contact, d.app?.data, receipts));
   // While the read runs its lists are zeros ("Journeys (0)", "Questions: 0; 0 asked..."): it is said
   // once, and the lists come when it lands (the server's news says so).
-  // The quote says it when it is said (it names the read with what the run does about it).
-  if (d.read?.complete === false) { if (!d.contact?.ready?.reading || !d.contact.ready.trials) lines.push("Your code is still being read."); }
+  if (d.read?.complete === false) lines.push("Your code is still being read.");
   else if (d.read) lines.push(...readLines(d.read));
   if (d.run) lines.push(...runLines(d.run, "latest "));
   // Trials the read wrote after this run chose its own: the one count that is not the run's.
@@ -49,7 +48,7 @@ export function statusText(d) {
   // Production comes up after the first run (skill: The second run and production).
   if (d.field && d.run) lines.push(`Production: ${d.field.connected ? "connected" : "not connected"}.`);
   if (d.next) lines.push(d.next);
-  if (d.links?.lab && (d.read || d.run)) lines.push(`For the person: ${d.links.lab} shows this in the browser.`);
+  if (d.links?.lab && (d.read || d.run)) lines.push(`The person sees this at ${d.links.lab}`);
   if (d.run && !finished(d.run)) lines.push(`next: run_status ${d.run.jobId}`);
   return lines.join("\n");
 }
@@ -61,8 +60,8 @@ export const unseenText = (door) => `A request to ${door} was answered in words
 // to it, or there is no AI behind it. `followed`: a model call came after it that carried none of its
 // words.
 export const receiptText = (door, followed) => (followed
-  ? `${door} answered your request at once, with no model call inside it; a model call came after it, but its prompt carried none of the words your request sent, so Cortad cannot tell it was this request's answer. That gap is on Cortad's side, and a run leaves this endpoint out.\nFor the person: ${door} answers later in a way Cortad cannot match to the message that asked, so a run leaves it out for now; that gap is on Cortad's side.`
-  : `${door} answered your request at once with no model call inside it, and no model call followed in any process Cortad started. If a worker in another process writes its answer, Cortad does not see that worker, so a run leaves this endpoint out for now; that gap is on Cortad's side. If this endpoint has no AI behind it, nothing is missing.\nFor the person: ${door} answered with no AI call Cortad could see; if its AI runs in a separate worker, a run leaves it out for now, and that gap is on Cortad's side.`);
+  ? `${door} answered your request at once, with no model call inside it; a model call came after it, but its prompt carried none of the words your request sent, so Cortad cannot tell it was this request's answer. That gap is on Cortad's side, and a run leaves this endpoint out.`
+  : `${door} answered your request at once with no model call inside it, and no model call followed in any process Cortad started. If a worker in another process writes its answer, Cortad does not see that worker, so a run leaves this endpoint out for now; that gap is on Cortad's side. If this endpoint has no AI behind it, nothing is missing.`);
 // Only a door the read lists as one no request has reached, and no request has proven since: a sign-up
 // or a guard's reply to a request a later one proved is no worker's answer.
 const receiptsSaid = (receipts = [], c) => {
@@ -185,7 +184,9 @@ function runLines(d, prefix = "") {
   for (const f of d.faults ?? []) lines.push(`Fault${SIDE[f.side] ? ` ${SIDE[f.side]}` : ""}: ${f.what}${f.fix ? ` ${f.fix}` : ""}`);
   for (const s of d.data ?? []) lines.push(`Data: ${s}`);
   // A run the stop line already explains is not said twice as an error.
-  if (d.error && !(d.stopped && d.error.startsWith(d.stopped.why))) lines.push(`Error: ${d.error}`);
+  // A failed run with no stop line of its own was stopped by Cortad, never by their app: said as that, with
+  // our error after it for a note to the team. "Error: timeout exceeded when trying to connect" read as the app's.
+  if (d.error && !(d.stopped && d.error.startsWith(d.stopped.why))) lines.push(d.status === "failed" && !d.stopped ? `The run stopped on Cortad's side, not your app's. Start another run. (Cortad's error: ${d.error})` : `Error: ${d.error}`);
   if (d.verify) lines.push(...verifyLines(d.verify));
   return lines;
 }
@@ -247,10 +248,10 @@ export function nextCall(d) {
   return d.kind === "verify" || d.findings > 0 ? "findings" : "status";
 }
 
-// One line for the person while a run plays: conversations done of the total, whose side any failed
+// One line to hand the person while a run plays: conversations done of the total, whose side any failed
 // reply is on, and the minutes left at the pace measured so far. Cost is measured only at the end.
 export function progressLine(d, now = Date.now()) {
-  if (!d.of) return "For the person: the run has started and is choosing its conversations; none has played yet.";
+  if (!d.of) return "The run has started. No conversation has played yet.";
   const parts = [`${num(d.played ?? 0)} of ${plural(d.of, "conversation")} done.`];
   const total = d.replies?.total ?? d.waited?.of;
   const crashed = d.replies?.crashed ?? 0;
@@ -262,7 +263,7 @@ export function progressLine(d, now = Date.now()) {
   if (total > 0 && ours) parts.push(`${num(ours)} of ${plural(total, "reply", "replies")} so far failed on Cortad's side, not your app's.`);
   const left = Date.parse(d.pace?.endsAt ?? "") - now;
   if (left > 0) parts.push(`About ${plural(Math.ceil(left / 60_000), "minute")} left at the pace your app has answered so far.`);
-  return `For the person: ${parts.join(" ")}`;
+  return parts.join(" ");
 }
 
 export function runText(d) {
@@ -273,7 +274,7 @@ export function runText(d) {
   if (plan) lines.push(plan);
   const offer = productionOffer(d);
   if (offer) lines.push(offer);
-  if (finished(d) && d.url) lines.push(`For the person: the report is at ${d.url}`);
+  if (finished(d) && d.url) lines.push(`The report is at ${d.url}`);
   lines.push(`next: ${nextCall(d)}`);
   return verifyOnceAPage(lines.join("\n"));
 }
@@ -283,7 +284,7 @@ export function runText(d) {
 function productionOffer(d) {
   const v = d.verify;
   if (d.kind !== "verify" || !finished(d) || v?.verdict !== "gone" || !["gone", "less often"].includes(v.heldOut?.moved) || d.field?.connected !== false) return null;
-  return `For the person: the failure in ${v.findingId} is gone on its replays. Connect production to see what your real users are doing as it happens and where your AI still lets them down; field_connect has the steps.`;
+  return `The failure in ${v.findingId} is gone on its replays. Connecting production shows what real users are doing as it happens; field_connect has the steps.`;
 }
 
 export function startedText(d, kind, findingId, said = []) {
@@ -311,7 +312,7 @@ export function waitingText(p, now, limitMs, runner, app) {
   const kind = p.kind === "verify" ? "verify" : "run";
   const waited = `${num((now - Date.parse(p.startedAt)) / 1000)} of up to ${num(limitMs / 1000)} seconds`;
   const head = runner?.state === "up" ? `${answeringText(runner, app)}\nThe ${kind} has waited ${waited}.` : `Your app is still starting for the ${kind}: ${waited}.`;
-  return `${head}\nFor the person: the run has not started yet, after ${waited}.\nnext: run_status pending`;
+  return `${head}\nnext: run_status pending`;
 }
 
 // A spent plan: what the last run found, what was fixed since, what the next run would play.
@@ -322,7 +323,7 @@ export function refusedText(d) {
   if (d.ledger) lines.push(...ledgerLines(d.ledger));
   if (!d.ledger?.plan && d.plans?.length) lines.push(`Plans: ${d.plans.map((p) => `${p.name} $${p.monthlyUsd} a month`).join(", ")}.`);
   lines.push("Nothing ran.");
-  if (d.checkout) lines.push(`For the person: plans and checkout at ${d.checkout}`);
+  if (d.checkout) lines.push(`Plans and checkout are at ${d.checkout}`);
   return lines.join("\n");
 }
 
@@ -536,7 +537,7 @@ function alsoLines(f) {
 export function fieldText(d) {
   const t = d.totals;
   const pct = (k, n) => (n ? `${Math.round((100 * k) / n)}%` : "n/a");
-  const link = d.url ? [`For the person: ${d.url}`] : [];
+  const link = d.url ? [`The person sees this at ${d.url}`] : [];
   if (!t || !t.n) return [`No production conversations read in the last ${plural(d.days, "day")}.`, ...link].join("\n");
   const lines = [
     `Production, last ${plural(d.days, "day")}: ${plural(t.n, "conversation")}, ${num(t.read)} read.`,

package/lib/verbs.mjs

@@ -6,6 +6,7 @@ import { askReach } from "./auto-reach.mjs";
 import { homeOf, projectOf } from "./home.mjs";
 import { reach as reachApp } from "./reach.mjs";
 import { fieldConnectText, fieldText, findingsText, finished, linesOf, notStartedText, refusedText, restartedText, runText, STARTING, startedText, statusText, testedLine, upWaitingText, waitingText } from "./text.mjs";
+import { incidentsText, intelligenceText, outcomesText, queryText } from "./intel-text.mjs";
 
 // The ten things a coding agent may ask of Cortad, each a call to the API with this machine's key
 // and a rendering from lib/text.mjs; `reach` also sends to the app on this machine. The MCP tools
@@ -16,7 +17,7 @@ import { fieldConnectText, fieldText, findingsText, finished, linesOf, notStarte
 // the run before them has its numbers in and its job is still ending: the server holds them until it
 // has, up to the same 45 seconds.
 
-const NOT_CONNECTED = "This folder is not connected to Cortad. Run npx cortad in this folder as a background command: it prints a link for the person to approve.\nFor the person: approve the link npx cortad prints, in a browser where you are signed in to Cortad.";
+const NOT_CONNECTED = "This folder is not connected to Cortad. Run npx cortad in this folder as a background command: it prints a link for the person to approve in a browser where they are signed in to Cortad.";
 const HOLD_S = 45;
 // `wait`: how often it asks whether a run has started, how long the connect command may be gone
 // before no run can start, and how long it waits for one at all.
@@ -286,11 +287,65 @@ export function makeVerbs({ api, token, runner = () => null, fetchImpl = fetch,
     return res.ok ? { text: fieldConnectText(res.data), data: res.data } : failed(res);
   };
 
+  // A world for an AI that is not a chat (the server's world/run.ts): built on this machine from the
+  // app's own seed, planted with problems whose answers are known, discovered by the app's own code.
+  // `ask`: what the agent built or wants tested, kept with the report. Answers at once with the id.
+  const world = async ({ ask } = {}) => {
+    const res = await call("POST", "/mcp/world", ask ? { ask: String(ask) } : {});
+    if (!res.ok) return failed(res);
+    if (res.data?.joined) return { text: `A world is already being tested: ${res.data.jobId}.\nnext: world_status ${res.data.jobId}`, data: res.data };
+    if (!res.data?.started) return { text: `${res.data?.why ?? "No world started."}\nNothing ran.`, data: res.data, isError: true, code: "world_refused" };
+    const planted = Array.isArray(res.data.situations) && res.data.situations.length ? `Planted: ${res.data.situations.join("; ")}.` : `${res.data.worlds ?? ""} worlds.`;
+    return { text: `World started: ${res.data.jobId}. ${planted} Each is tested ${res.data.repeats} times. The person sees it at ${res.data.url}\nnext: world_status ${res.data.jobId}`, data: res.data };
+  };
+  // The one door: the agent says what it built or wants tested, and Cortad decides what kind of test
+  // that is. A world where the app has one and the ask names something it can plant; a run of the
+  // app's chat surfaces otherwise. The answer says which, and what to follow it with.
+  const test = async ({ ask } = {}) => {
+    const res = await call("POST", "/mcp/world", { ...(ask ? { ask: String(ask) } : {}), only: "matched" });
+    if (res.ok && res.data?.started) return { text: `This is tested in a world. World started: ${res.data.jobId}. Planted: ${(res.data.situations ?? []).join("; ")}. Each is tested ${res.data.repeats} times. The person sees it at ${res.data.url}\nnext: world_status ${res.data.jobId}`, data: res.data };
+    if (res.ok && res.data?.joined) return { text: `A world is already being tested: ${res.data.jobId}.\nnext: world_status ${res.data.jobId}`, data: res.data };
+    const why = res.ok ? (res.data?.unmatched ? "Nothing a world can plant is what that is about, so it is tested by a run of the app's chat surfaces." : "No world is written for this app yet, so it is tested by a run of the app's chat surfaces.") : "The world could not be asked, so it is tested by a run of the app's chat surfaces.";
+    const ran = await run({});
+    return { ...ran, text: `${why}\n${ran.text}` };
+  };
+  const worldStatus = async ({ jobId } = {}) => {
+    if (!jobId) return { text: "Name the world: world_status <id>.", isError: true, code: "no_id" };
+    const res = await call("GET", `/mcp/world/${encodeURIComponent(String(jobId))}`);
+    if (!res.ok) return failed(res);
+    const running = res.data.status === "queued" || res.data.status === "running";
+    return { text: `${res.data.text}\nThe person sees this at ${res.data.url}\nnext: ${running ? `world_status ${jobId}` : "status"}`, data: res.data };
+  };
+
   const field = async ({ days } = {}) => {
     const res = await call("GET", `/mcp/field${days ? `?days=${Number(days)}` : ""}`);
     return res.ok ? { text: fieldText(res.data), data: res.data } : failed(res);
   };
 
+  // The Intelligence Layer: the board in numbers, what is wrong, what counts as an outcome, a
+  // subscription to incidents, and a question to the warehouse.
+  const intelligence = async ({ days } = {}) => {
+    const res = await call("GET", `/mcp/intelligence${days ? `?days=${Number(days)}` : ""}`);
+    return res.ok ? { text: intelligenceText(res.data), data: res.data } : failed(res);
+  };
+  const incidents = async () => {
+    const res = await call("GET", "/mcp/incidents");
+    return res.ok ? { text: incidentsText(res.data), data: res.data } : failed(res);
+  };
+  const outcomes = async ({ proposals } = {}) => {
+    const res = proposals ? await call("POST", "/mcp/outcomes", { proposals }) : await call("GET", "/mcp/outcomes");
+    return res.ok ? { text: outcomesText(res.data), data: res.data } : failed(res);
+  };
+  const subscribe = async ({ url }) => {
+    const res = await call("POST", "/mcp/subscribe", { url });
+    return res.ok ? { text: `Subscribed. ${res.data.said}
+Secret, shown once: ${res.data.secret}`, data: res.data } : failed(res);
+  };
+  const query = async (ask) => {
+    const res = await call("POST", "/mcp/query", ask);
+    return res.ok ? { text: queryText(res.data), data: res.data } : { text: queryText(res.data ?? { error: res.text }), data: res.data };
+  };
+
   // `status --changed`: the files Cortad cites that changed since the latest run started, with the
   // findings at them. Empty when there is nothing to say, or nothing could be asked. The code review's
   // files are those of the review shown: the read's misses, or the lines Cortad's team's review cites.
@@ -312,7 +367,7 @@ export function makeVerbs({ api, token, runner = () => null, fetchImpl = fetch,
   };
 
   // `post` and `changed` serve lib/cli.mjs; the MCP answers only the names in TOOLS.
-  return { status, reach, run, run_status: runStatus, wait, findings, verify, dispute, feedback, field_connect: fieldConnect, field, post, changed };
+  return { status, reach, run, run_status: runStatus, wait, findings, verify, dispute, feedback, field_connect: fieldConnect, field, world, world_status: worldStatus, test, connect: fieldConnect, intelligence, incidents, outcomes, subscribe, query, post, changed };
 }
 
 const sizeOf = (path) => { try { return statSync(path).size; } catch { return 0; } };