explorbot 0.5.3 → 0.5.5

package/boat/doc-collector/src/config.ts

@@ -171,6 +171,7 @@ interface DocbotConfig {
     minCanActions?: number;
     minInteractiveElements?: number;
     interactive?: boolean;
+    research?: 'light' | 'full';
   };
 }
 

package/boat/doc-collector/src/docbot.ts

@@ -118,9 +118,11 @@ class DocBot {
           }
         }
 
+        const light = this.useLightResearch();
         const research = await this.explorBot.agentResearcher().research(state, {
-          screenshot: this.shouldUseScreenshots(),
+          screenshot: !light && this.shouldUseScreenshots(),
           force: true,
+          light,
         });
         const pagePath = this.getPageFilePath(state.url);
         const captureState = this.shouldUseScreenshots()
@@ -221,6 +223,13 @@ class DocBot {
     return true;
   }
 
+  private useLightResearch(): boolean {
+    const research = this.config.docs?.research;
+    if (research === 'light') return true;
+    if (research === 'full') return false;
+    return this.config.docs?.interactive !== true;
+  }
+
   private shouldCollapseTemplates(override?: boolean): boolean {
     if (override === false) {
       return false;

package/boat/prima/README.md

@@ -17,25 +17,20 @@ npm install -g prima-cli      # or install it
 
 Prima also ships inside [explorbot](https://www.npmjs.com/package/explorbot), so `npx explorbot prima <command>` runs the same tool if you already have it.
 
-Requires Node.js 24+. Playwright browsers come from `npx playwright install chromium`.
+Requires Node.js 22.13+. Playwright browsers come from `npx playwright install chromium`.
 
 ## Session
 
-Prima needs a browser to drive. Either attach to a `playwright-cli` session:
+Prima drives a browser opened by `playwright-cli` and never launches one itself:
 
 ```bash
 playwright-cli open https://app.example.com
+prima-cli browser
 prima-cli check "the settings page saves a changed theme"
 playwright-cli close
 ```
 
-Or let prima own the browser:
-
-```bash
-prima-cli browser start --url https://app.example.com
-prima-cli do "open the account menu" "choose the settings entry"
-prima-cli browser stop
-```
+`browser` checks that a `playwright-cli` session is open and fails with the command to open one when it is not.
 
 ## Commands
 
@@ -50,7 +45,7 @@ prima-cli browser stop
 | `pw <fn>` | Run a Playwright function expression against the open page |
 | `status <hash>` | Show the artifacts and page detail recorded for an earlier command |
 | `report` | Turn every command of a session into one html and markdown report |
-| `browser start\|stop\|status\|list` | Manage the browsers prima drives |
+| `browser` | Check that a playwright-cli session is open, and fail with the command to open one when it is not |
 | `config` | Show models, config file and paths used by this run |
 
 `check` takes an outcome rather than a click path. It runs on the page you are already on and never reloads it, so an open dialog survives the check. Each `--expected` outcome comes back as PASSED, FAILED, CONTRADICTION or not verified — settled against a screenshot of the whole page, because what a user can see is the proof.

package/boat/prima/package.json

@@ -15,6 +15,6 @@
     "directory": "boat/prima"
   },
   "engines": {
-    "node": ">=24.0.0"
+    "node": ">=22.13.0"
   }
 }

package/boat/prima/src/cli.ts

@@ -1,5 +1,4 @@
 import { Command } from 'commander';
-import { keepServerRunning } from '../../../src/browser-server.ts';
 import { RecommendedModelsCommand } from '../../../src/commands/recommended-models-command.ts';
 import { browserErrorMessage } from '../../../src/utils/browser-errors.ts';
 import { isVerboseMode, setQuietMode } from '../../../src/utils/logger.ts';
@@ -22,8 +21,6 @@ function buildOptions(subcommand: any): PrimaOptions {
     noVision: options.vision === false,
     url: options.url,
     baseUrl: options.baseUrl,
-    show: options.show,
-    headless: options.headless,
     endpoint: options.endpoint,
     pwSession: options.pwSession,
   };
@@ -89,18 +86,6 @@ async function runPrima(options: any, command: string, run: (prima: Prima) => Pr
   process.exit(envelope.ok ? 0 : 1);
 }
 
-async function runBrowser(options: any, run: (prima: Prima) => Promise<boolean>): Promise<void> {
-  let ok = false;
-  try {
-    ok = await run(primaFor(options));
-  } catch (error) {
-    console.error(browserErrorMessage(error));
-    process.exit(1);
-  }
-
-  process.exit(ok ? 0 : 1);
-}
-
 export function createPrimaCommands(name = 'prima'): Command {
   const cmd = new Command(name);
   cmd.description('Drives a web app through described behaviour, not locators');
@@ -179,41 +164,14 @@ export function createPrimaCommands(name = 'prima'): Command {
       process.exit(0);
     });
 
-  const browser = cmd.command('browser').description('Manage the browsers prima drives');
-
-  addBrowserOptions(browser.command('start').description('Start a prima-owned browser and hold it open until Ctrl+C'))
-    .option('-s, --show', 'Launch the browser in a visible window')
-    .option('--headless', 'Launch the browser without a window')
-    .action(async (options) => {
-      await runBrowser(options, async (prima) => {
-        await prima.browserStart();
-        console.log(await prima.browserStatus());
-        return keepServerRunning(() => prima.browserStop());
-      });
-    });
-
-  addBrowserOptions(browser.command('stop').description('Stop the browser of this instance'))
-    .option('--all', 'Stop every running instance')
-    .action(async (options) => {
-      await runBrowser(options, async (prima) => {
-        const stopped = await prima.browserStop(options.all);
-        console.log(await prima.browserStatus());
-        return stopped;
-      });
-    });
-
-  addBrowserOptions(browser.command('status').description('Report the browser of this instance')).action(async (options) => {
-    await runBrowser(options, async (prima) => {
-      console.log(await prima.browserStatus());
-      return true;
-    });
-  });
-
-  addBrowserOptions(browser.command('list').description('List every browser instance that is running')).action(async (options) => {
-    await runBrowser(options, async (prima) => {
-      console.log(await prima.browserList());
-      return true;
-    });
+  addBrowserOptions(cmd.command('browser').description('Check that a playwright-cli session is open for prima to drive')).action(async (options) => {
+    try {
+      console.log(await primaFor(options).browserCheck());
+    } catch (error) {
+      console.error(browserErrorMessage(error));
+      process.exit(1);
+    }
+    process.exit(0);
   });
 
   return cmd;

package/boat/prima/src/envelope.ts

@@ -1,5 +1,6 @@
 import { existsSync, mkdirSync, readdirSync, writeFileSync } from 'node:fs';
 import path from 'node:path';
+import type { SettledExpectation } from '../../../src/test-plan.ts';
 
 export const STATUS_FILE = 'status.json';
 
@@ -26,16 +27,16 @@ export interface EnvelopeData {
   ok: boolean;
   command: string;
   used?: string[];
-  page: { url: string; previousUrl?: string; title: string; state: string; visits: number };
+  page: { url: string; previousUrl?: string; redirectedFrom?: string; title: string; state: string; visits: number };
   changes?: string | null;
   steps?: Array<{ label: string; ok: boolean; unconfirmed?: boolean; proof: string }>;
-  expectations?: Array<{ text: string; status: 'passed' | 'failed' | 'unverified' | 'contradiction'; evidence?: string }>;
+  expectations?: SettledExpectation[];
   warning?: string;
   stepFiles?: string;
   value?: string;
   answer?: string;
   research?: string;
-  assertions?: Array<{ code: string; passed: boolean; proof: string[] }>;
+  assertions?: Array<{ code: string; passed: boolean; proof: string[]; error?: string }>;
   failure?: { error: string; compactAria?: string };
   instance: InstanceInfo;
   status?: string;
@@ -88,12 +89,13 @@ function renderResult(data: EnvelopeData): string {
 }
 
 function renderPage(data: EnvelopeData): string {
-  const { url, previousUrl, title, state, visits } = data.page;
+  const { url, previousUrl, redirectedFrom, title, state, visits } = data.page;
   const urlLabel = `url: ${url}`;
   const stateLabel = `state: ${state}`;
   const width = Math.max(urlLabel.length, stateLabel.length) + 3;
   let changedMarker = '';
   if (previousUrl && previousUrl !== url) changedMarker = `(changed: ${previousUrl} → ${url})`;
+  if (redirectedFrom) changedMarker = `(redirected: ${redirectedFrom} → ${url})`;
   const lines = [align(urlLabel, changedMarker, width), `title: ${title}`, align(stateLabel, `(visit #${visits})`, width)];
   return section('Page', lines.join('\n'));
 }
@@ -129,7 +131,8 @@ function renderExpectations(data: EnvelopeData): string | null {
   const lines: string[] = [];
   data.expectations.forEach((expectation, index) => {
     lines.push(`${index + 1}. ${EXPECTATION_LABELS[expectation.status]} ${expectation.text}`);
-    if (expectation.status !== 'contradiction' && expectation.status !== 'failed') return;
+    if (expectation.resolution) lines.push(`      resolved: ${expectation.resolution}`);
+    if (!expectation.contradicted && !expectation.failed && !expectation.resolution) return;
     for (const line of (expectation.evidence || '').split('\n').filter(Boolean)) lines.push(`      ${line}`);
   });
   return section('Expected outcomes', lines.join('\n'));
@@ -153,7 +156,10 @@ function renderOutcome(data: EnvelopeData): string | null {
       .map((line) => line.trim())
       .filter((line) => line && !line.startsWith('//'))
       .join(' ');
-    return `${code}  => ${assertion.passed ? 'PASSED' : 'FAILED'}`;
+    if (assertion.passed) return `${code}  => PASSED`;
+    const reason = assertion.error?.split('\n').find(Boolean);
+    if (!reason) return `${code}  => FAILED`;
+    return `${code}  => FAILED\n      ${reason}`;
   });
 
   const proof = data.assertions.flatMap((assertion) => assertion.proof);

package/boat/prima/src/help.ts

@@ -27,8 +27,10 @@ export const checkHelp = dedent`
               ### Expected outcomes as PASSED, FAILED, CONTRADICTION or not verified.
               "not verified" means never checked, not false.
   Proof is a full-page screenshot: what a user sees counts, the log only shows actions.
-  CONTRADICTION means screenshot and log disagree; judge the html, aria and
-  screenshot under ### Artifacts yourself.
+  When screenshot and log disagree, the page structure breaks the tie: the outcome
+  becomes PASSED or FAILED with a "resolved:" line naming the side that was wrong.
+  CONTRADICTION remains when it cannot be broken, or when the page holds something
+  it does not display; judge the html, aria and screenshot under ### Artifacts yourself.
   ok is false when any outcome FAILED or CONTRADICTED, or the run could not finish,
   reported as such rather than as an app failure.
   Side issues found on the way go under ### Answer, not as step failures.

package/boat/prima/src/prima.ts

@@ -12,7 +12,7 @@ import { JUDGE_PAGE_CAP, UNDECIDED } from '../../../src/ai/judge.ts';
 import { getPreviousResearch } from '../../../src/ai/researcher/cache.ts';
 import { actionRule, locatorRule } from '../../../src/ai/rules.ts';
 import { createAgentTools, createCodeceptJSTools, createRefTools } from '../../../src/ai/tools.ts';
-import { getAliveEndpoint, launchServer, listInstances, stopServer } from '../../../src/browser-server.ts';
+import { getAliveEndpoint, listInstances } from '../../../src/browser-server.ts';
 import { ConfigCommand } from '../../../src/commands/config-command.ts';
 import { ConfigMissingError, ConfigParser, EXPLORBOT_ENV_VARS, type ExplorbotConfig, outputPath } from '../../../src/config.ts';
 import { ExplorBot } from '../../../src/explorbot.ts';
@@ -73,7 +73,6 @@ export class Prima {
   private artifactsDir?: string;
   private hash?: string;
   private sessionUrl?: string;
-  private server: { close: () => Promise<void> } | null = null;
   private attached: string | null = null;
   private session: SessionRun | null = null;
 
@@ -239,6 +238,10 @@ export class Prima {
 
     if (aiError) return this.failureEnvelope(command, aiError, previousState);
 
+    if (trace.length && ledger.some((entry) => entry.status === 'open')) {
+      await this.judgeUnreportedInstructions(ledger, trace);
+    }
+
     if (trace.length && ledger.some((entry) => entry.status === 'open')) {
       await this.settleLedger(conversation, provider, ledger, trace);
     }
@@ -310,6 +313,32 @@ export class Prima {
     return true;
   }
 
+  private async judgeUnreportedInstructions(ledger: LedgerEntry[], trace: Array<{ label: string; ok: boolean; proof: string }>): Promise<void> {
+    const judge = this.bot.judge?.();
+    if (!judge) return;
+
+    const current = this.bot.stateManager().getCurrentState();
+    let page = '';
+    if (current) page = ((await this.refAriaSnapshot(ActionResult.fromState(current))) || '').slice(0, JUDGE_PAGE_CAP);
+    const actions = trace
+      .map((step) => {
+        if (step.ok) return `ok ${step.label}`;
+        return `FAIL ${step.label}`;
+      })
+      .join('\n');
+    const state = { actions, finalUrl: current?.url || '', finalPage: page };
+
+    const open = ledger.filter((entry) => entry.status === 'open');
+    const decisions = await Promise.all(open.map((entry) => judge.decide(`The actions that ran and the final page show this instruction was carried out: ${entry.text}`, null, state)));
+
+    open.forEach((entry, index) => {
+      if (decisions[index].rejected) return;
+      entry.status = 'done';
+      entry.proof = 'judged from the actions that ran and the final page';
+      trace.push({ label: `done: ${entry.text}`, ok: true, proof: entry.proof });
+    });
+  }
+
   private async settleLedger(conversation: any, provider: any, ledger: LedgerEntry[], trace: Array<{ label: string; ok: boolean; proof: string }>): Promise<void> {
     conversation.addUserText(dedent`
       The run is over and these instructions were never reported:
@@ -376,8 +405,8 @@ export class Prima {
       envelope.warning = 'These outcomes were settled from the run log alone — no screenshot backed them. Set ai.visionModel, or check anything visual with prima ask.';
     }
 
-    const unreached = envelope.expectations.filter((expectation) => expectation.status === 'failed');
-    const contradicted = envelope.expectations.filter((expectation) => expectation.status === 'contradiction');
+    const unreached = envelope.expectations.filter((expectation) => expectation.failed);
+    const contradicted = envelope.expectations.filter((expectation) => expectation.contradicted);
     envelope.ok = !unreached.length && !contradicted.length;
 
     const problems = [...unreached.map((expectation) => `not reached: ${expectation.text}`), ...contradicted.map((expectation) => `the picture and the run disagree about: ${expectation.text}`)];
@@ -455,9 +484,10 @@ export class Prima {
     }
 
     let navigationError: unknown = null;
+    let arrived = true;
 
     try {
-      await this.bot.agentNavigator().visit(target);
+      arrived = await this.bot.agentNavigator().visit(target, { recover: !isUrl });
     } catch (error) {
       navigationError = error;
     }
@@ -467,28 +497,17 @@ export class Prima {
     const used: string[] = [];
     if (isUrl) used.push(code);
     const result = await this.capturedResult(this.bot.stateManager().getCurrentState());
-    return this.successEnvelope(command, used, result, previousState);
-  }
-
-  async browserStart(): Promise<void> {
-    const config = await this.loadConfig();
-    let show = config.playwright.show || false;
-    if (this.options.show) show = true;
-    if (this.options.headless) show = false;
-    this.server = await this.launchOwnServer({ browser: config.playwright.browser, show }, this.instanceName());
+    const envelope = await this.successEnvelope(command, used, result, previousState);
+    if (!arrived) envelope.page.redirectedFrom = target;
+    return envelope;
   }
 
-  async browserStop(all = false): Promise<boolean> {
+  async browserCheck(): Promise<string> {
     await this.loadConfig();
-    if (this.attached) return false;
-
-    if (!all) return this.stopInstance(this.instanceName());
-
-    let stopped = false;
-    for (const instance of listInstances()) {
-      if (await this.stopInstance(instance.name)) stopped = true;
-    }
-    return stopped;
+    const { match, candidates, browser } = await this.discover();
+    await browser?.close().catch(() => {});
+    if (!match) throw this.missingSessionError(candidates);
+    return `browser: ${this.attachmentLabel(match)} at ${match.endpoint}`;
   }
 
   async config(json?: boolean): Promise<string> {
@@ -539,37 +558,6 @@ export class Prima {
     ].join('\n');
   }
 
-  async browserStatus(): Promise<string> {
-    await this.loadConfig();
-    const info = await this.instanceInfo();
-    const endpoint = await getAliveEndpoint(info.name);
-    const others = info.others.map((other) => other.name).join(', ') || 'none';
-    const lines = [`instance: ${info.name} (${info.tabs} ${pluralize(info.tabs, 'tab')}) | other instances: ${others}`];
-    if (!endpoint) lines.push('browser: not running');
-    if (endpoint) lines.push(`browser: running at ${endpoint}`);
-    return lines.join('\n');
-  }
-
-  async browserList(): Promise<string> {
-    await this.loadConfig();
-
-    const lines: string[] = [];
-    for (const instance of listInstances()) {
-      const endpoint = await getAliveEndpoint(instance.name);
-      if (!endpoint) continue;
-      lines.push(`prima --instance ${instance.name}  ${endpoint}`);
-    }
-
-    const discovery = await this.discover();
-    await discovery.browser?.close().catch(() => {});
-    for (const descriptor of discovery.candidates) {
-      lines.push(`playwright-cli --pw-session ${descriptor.title}  ${descriptor.endpoint}`);
-    }
-
-    if (!lines.length) return 'no browser instances running';
-    return lines.join('\n');
-  }
-
   async instanceInfo(): Promise<InstanceInfo> {
     const name = this.instanceName();
     const others = listInstances()
@@ -633,22 +621,27 @@ export class Prima {
     const { match, candidates, browser } = discovered || (await this.discover());
     if (match && (await this.attachToEndpoint(match, browser))) return;
 
-    if (!match && candidates.length) {
+    if (!match && candidates.length) throw this.missingSessionError(candidates);
+
+    if (await this.connectOwnInstance()) return;
+
+    throw this.missingSessionError(candidates);
+  }
+
+  private missingSessionError(candidates: PwServerDescriptor[]): Error {
+    if (candidates.length) {
       const titles = candidates.map((candidate) => candidate.title).join(', ');
-      throw new Error(dedent`
+      return new Error(dedent`
         Several playwright-cli sessions are open: ${titles}
         Pick one with --pw-session <title>.
       `);
     }
 
-    if (await this.connectOwnInstance()) return;
-
-    throw new Error(dedent`
-      No browser to drive for instance "${this.instanceName()}".
-      Open one first:
-        playwright-cli open <url>   prima attaches to this workspace session by default
-        prima browser start         starts a prima-owned browser instead
-      Prima never launches a browser implicitly.
+    return new Error(dedent`
+      No playwright-cli session is open for prima to drive.
+      Start one first:
+        playwright-cli open ${this.options.url || '<url>'}
+      Prima attaches to this workspace session by default and never launches a browser itself.
     `);
   }
 
@@ -718,20 +711,6 @@ export class Prima {
     return true;
   }
 
-  private async launchOwnServer(opts: { browser?: string; show?: boolean }, instance: string): Promise<{ close: () => Promise<void> }> {
-    return launchServer(opts, instance);
-  }
-
-  private async stopInstance(instance: string): Promise<boolean> {
-    if (instance === this.instanceName()) {
-      const server = this.server;
-      this.server = null;
-      await server?.close();
-    }
-
-    return stopServer(instance);
-  }
-
   private isUrlTarget(target: string): boolean {
     const value = target.trim();
     if (value.startsWith('/')) return true;
@@ -1196,8 +1175,6 @@ export interface PrimaOptions {
   noVision?: boolean;
   url?: string;
   baseUrl?: string;
-  show?: boolean;
-  headless?: boolean;
   endpoint?: string;
   pwSession?: string;
 }

package/boat/prima/src/session-log.ts

@@ -4,7 +4,7 @@ import { outputPath } from '../../../src/config.ts';
 import { safeFilename } from '../../../src/utils/strings.ts';
 import { type EnvelopeData, renderEnvelope } from './envelope.ts';
 
-const EXPECTATION_STATUS = { passed: 'passed', failed: 'failed', unverified: 'skipped' };
+const EXPECTATION_STATUS = { passed: 'passed', failed: 'failed', unverified: 'skipped', contradiction: 'failed' };
 
 export function sessionsDir(): string {
   return outputPath('prima', 'sessions');
@@ -74,7 +74,7 @@ function commandSteps(envelope: EnvelopeData): any[] {
 
   for (const expectation of envelope.expectations || []) {
     const entry: any = { category: 'user', title: `expected: ${expectation.text}`, status: EXPECTATION_STATUS[expectation.status], duration: 0 };
-    if (expectation.status === 'failed') entry.error = 'the run did not reach this outcome';
+    if (expectation.failed) entry.error = 'the run did not reach this outcome';
     steps.push(entry);
   }
 
@@ -82,7 +82,7 @@ function commandSteps(envelope: EnvelopeData): any[] {
     const entry: any = { category: 'user', title: assertion.code, status: 'passed', duration: 0, log: assertion.proof.join('\n') };
     if (!assertion.passed) {
       entry.status = 'failed';
-      entry.error = 'the assertion did not hold on the page';
+      entry.error = assertion.error || 'the assertion did not hold on the page';
     }
     steps.push(entry);
   }

package/dist/boat/doc-collector/src/docbot.js

@@ -103,9 +103,11 @@ class DocBot {
                         continue;
                     }
                 }
+                const light = this.useLightResearch();
                 const research = await this.explorBot.agentResearcher().research(state, {
-                    screenshot: this.shouldUseScreenshots(),
+                    screenshot: !light && this.shouldUseScreenshots(),
                     force: true,
+                    light,
                 });
                 const pagePath = this.getPageFilePath(state.url);
                 const captureState = this.shouldUseScreenshots()
@@ -197,6 +199,14 @@ class DocBot {
         }
         return true;
     }
+    useLightResearch() {
+        const research = this.config.docs?.research;
+        if (research === 'light')
+            return true;
+        if (research === 'full')
+            return false;
+        return this.config.docs?.interactive !== true;
+    }
     shouldCollapseTemplates(override) {
         if (override === false) {
             return false;

package/dist/boat/prima/src/cli.js

@@ -1,5 +1,4 @@
 import { Command } from 'commander';
-import { keepServerRunning } from "../../../src/browser-server.js";
 import { RecommendedModelsCommand } from "../../../src/commands/recommended-models-command.js";
 import { browserErrorMessage } from "../../../src/utils/browser-errors.js";
 import { isVerboseMode, setQuietMode } from "../../../src/utils/logger.js";
@@ -20,8 +19,6 @@ function buildOptions(subcommand) {
         noVision: options.vision === false,
         url: options.url,
         baseUrl: options.baseUrl,
-        show: options.show,
-        headless: options.headless,
         endpoint: options.endpoint,
         pwSession: options.pwSession,
     };
@@ -87,17 +84,6 @@ async function runPrima(options, command, run, opts = {}) {
     await prima.stop().catch(() => { });
     process.exit(envelope.ok ? 0 : 1);
 }
-async function runBrowser(options, run) {
-    let ok = false;
-    try {
-        ok = await run(primaFor(options));
-    }
-    catch (error) {
-        console.error(browserErrorMessage(error));
-        process.exit(1);
-    }
-    process.exit(ok ? 0 : 1);
-}
 export function createPrimaCommands(name = 'prima') {
     const cmd = new Command(name);
     cmd.description('Drives a web app through described behaviour, not locators');
@@ -163,37 +149,15 @@ export function createPrimaCommands(name = 'prima') {
             .catch((error) => browserErrorMessage(error)));
         process.exit(0);
     });
-    const browser = cmd.command('browser').description('Manage the browsers prima drives');
-    addBrowserOptions(browser.command('start').description('Start a prima-owned browser and hold it open until Ctrl+C'))
-        .option('-s, --show', 'Launch the browser in a visible window')
-        .option('--headless', 'Launch the browser without a window')
-        .action(async (options) => {
-        await runBrowser(options, async (prima) => {
-            await prima.browserStart();
-            console.log(await prima.browserStatus());
-            return keepServerRunning(() => prima.browserStop());
-        });
-    });
-    addBrowserOptions(browser.command('stop').description('Stop the browser of this instance'))
-        .option('--all', 'Stop every running instance')
-        .action(async (options) => {
-        await runBrowser(options, async (prima) => {
-            const stopped = await prima.browserStop(options.all);
-            console.log(await prima.browserStatus());
-            return stopped;
-        });
-    });
-    addBrowserOptions(browser.command('status').description('Report the browser of this instance')).action(async (options) => {
-        await runBrowser(options, async (prima) => {
-            console.log(await prima.browserStatus());
-            return true;
-        });
-    });
-    addBrowserOptions(browser.command('list').description('List every browser instance that is running')).action(async (options) => {
-        await runBrowser(options, async (prima) => {
-            console.log(await prima.browserList());
-            return true;
-        });
+    addBrowserOptions(cmd.command('browser').description('Check that a playwright-cli session is open for prima to drive')).action(async (options) => {
+        try {
+            console.log(await primaFor(options).browserCheck());
+        }
+        catch (error) {
+            console.error(browserErrorMessage(error));
+            process.exit(1);
+        }
+        process.exit(0);
     });
     return cmd;
 }

package/dist/boat/prima/src/envelope.js

@@ -52,13 +52,15 @@ function renderResult(data) {
     return section('Result', lines.join('\n'));
 }
 function renderPage(data) {
-    const { url, previousUrl, title, state, visits } = data.page;
+    const { url, previousUrl, redirectedFrom, title, state, visits } = data.page;
     const urlLabel = `url: ${url}`;
     const stateLabel = `state: ${state}`;
     const width = Math.max(urlLabel.length, stateLabel.length) + 3;
     let changedMarker = '';
     if (previousUrl && previousUrl !== url)
         changedMarker = `(changed: ${previousUrl} → ${url})`;
+    if (redirectedFrom)
+        changedMarker = `(redirected: ${redirectedFrom} → ${url})`;
     const lines = [align(urlLabel, changedMarker, width), `title: ${title}`, align(stateLabel, `(visit #${visits})`, width)];
     return section('Page', lines.join('\n'));
 }
@@ -96,7 +98,9 @@ function renderExpectations(data) {
     const lines = [];
     data.expectations.forEach((expectation, index) => {
         lines.push(`${index + 1}. ${EXPECTATION_LABELS[expectation.status]} ${expectation.text}`);
-        if (expectation.status !== 'contradiction' && expectation.status !== 'failed')
+        if (expectation.resolution)
+            lines.push(`      resolved: ${expectation.resolution}`);
+        if (!expectation.contradicted && !expectation.failed && !expectation.resolution)
             return;
         for (const line of (expectation.evidence || '').split('\n').filter(Boolean))
             lines.push(`      ${line}`);
@@ -123,7 +127,12 @@ function renderOutcome(data) {
             .map((line) => line.trim())
             .filter((line) => line && !line.startsWith('//'))
             .join(' ');
-        return `${code}  => ${assertion.passed ? 'PASSED' : 'FAILED'}`;
+        if (assertion.passed)
+            return `${code}  => PASSED`;
+        const reason = assertion.error?.split('\n').find(Boolean);
+        if (!reason)
+            return `${code}  => FAILED`;
+        return `${code}  => FAILED\n      ${reason}`;
     });
     const proof = data.assertions.flatMap((assertion) => assertion.proof);
     if (proof.length)

package/dist/boat/prima/src/help.js

@@ -25,8 +25,10 @@ export const checkHelp = dedent `
               ### Expected outcomes as PASSED, FAILED, CONTRADICTION or not verified.
               "not verified" means never checked, not false.
   Proof is a full-page screenshot: what a user sees counts, the log only shows actions.
-  CONTRADICTION means screenshot and log disagree; judge the html, aria and
-  screenshot under ### Artifacts yourself.
+  When screenshot and log disagree, the page structure breaks the tie: the outcome
+  becomes PASSED or FAILED with a "resolved:" line naming the side that was wrong.
+  CONTRADICTION remains when it cannot be broken, or when the page holds something
+  it does not display; judge the html, aria and screenshot under ### Artifacts yourself.
   ok is false when any outcome FAILED or CONTRADICTED, or the run could not finish,
   reported as such rather than as an app failure.
   Side issues found on the way go under ### Answer, not as step failures.