explorbot 0.2.3 → 0.2.4

package/boat/prima/src/envelope.ts

@@ -1,6 +1,12 @@
 import { mkdirSync, writeFileSync } from 'node:fs';
 import path from 'node:path';
 
+const EXPECTATION_LABELS = {
+  passed: 'PASSED      ',
+  failed: 'FAILED      ',
+  unverified: 'not verified',
+};
+
 export interface InstanceInfo {
   name: string;
   tabs: number;
@@ -9,59 +15,52 @@ export interface InstanceInfo {
   others: Array<{ name: string; tabs: number }>;
 }
 
-export interface HealAttempt {
-  code: string;
-  outcome: string;
-}
-
 export interface EnvelopeData {
   ok: boolean;
   command: string;
-  healed?: boolean;
-  healNote?: string;
   used?: string[];
   page: { url: string; previousUrl?: string; title: string; state: string; visits: number };
   changes?: string | null;
+  steps?: Array<{ label: string; ok: boolean; proof: string }>;
+  expectations?: Array<{ text: string; status: 'passed' | 'failed' | 'unverified' }>;
+  stepFiles?: string;
+  value?: string;
   answer?: string;
   research?: string;
-  verdict?: { passed: boolean; evidence: string; code: string };
-  failure?: { error: string; attempts: HealAttempt[]; reasoning?: string; compactAria?: string };
+  assertions?: Array<{ code: string; passed: boolean; proof: string[] }>;
+  failure?: { error: string; compactAria?: string };
   instance: InstanceInfo;
-  artifacts?: { aria: string; html: string; network: string };
+  status?: string;
+  artifacts?: { aria: string; html: string; network?: string };
 }
 
 export function renderEnvelope(data: EnvelopeData): string {
-  const sections = [renderResult(data), renderPage(data), renderOutcome(data), ...renderFailure(data), renderInstance(data.instance), renderArtifacts(data)];
+  const sections = [renderResult(data), renderPage(data), renderValue(data), renderChanges(data), renderSteps(data), renderExpectations(data), renderOutcome(data), ...renderFailure(data), renderInstance(data), renderArtifacts(data)];
   return sections.filter((section) => section).join('\n\n');
 }
 
-export function writeArtifacts(dir: string, snapshot: { aria: string | null; html: string | null; requests: unknown[] }): { aria: string; html: string; network: string } {
+export function writeArtifacts(dir: string, snapshot: { aria: string | null; html: string | null; requests: unknown[] }): { aria: string; html: string; network?: string } {
   mkdirSync(dir, { recursive: true });
-  const paths = {
+  const paths: { aria: string; html: string; network?: string } = {
     aria: path.resolve(dir, 'aria.yml'),
     html: path.resolve(dir, 'page.html'),
-    network: path.resolve(dir, 'network.jsonl'),
   };
   writeFileSync(paths.aria, snapshot.aria ?? '', 'utf-8');
   writeFileSync(paths.html, snapshot.html ?? '', 'utf-8');
+
+  if (!snapshot.requests.length) return paths;
+
+  paths.network = path.resolve(dir, 'network.jsonl');
   writeFileSync(paths.network, snapshot.requests.map((request) => `${JSON.stringify(request)}\n`).join(''), 'utf-8');
   return paths;
 }
 
 function renderResult(data: EnvelopeData): string {
   const lines = [`ok: ${data.ok}`, `command: ${data.command}`];
-  const healed = renderHealed(data);
-  if (healed) lines.push(healed);
   if (data.used?.length) lines.push(`used: ${data.used.join('; ')}`);
   return section('Result', lines.join('\n'));
 }
 
-function renderHealed(data: EnvelopeData): string | null {
-  if (data.healed === undefined) return null;
-  if (data.healNote) return `healed: ${data.healed} (${data.healNote})`;
-  return `healed: ${data.healed}`;
-}
-
 function renderPage(data: EnvelopeData): string {
   const { url, previousUrl, title, state, visits } = data.page;
   const urlLabel = `url: ${url}`;
@@ -73,28 +72,59 @@ function renderPage(data: EnvelopeData): string {
   return section('Page', lines.join('\n'));
 }
 
+function renderValue(data: EnvelopeData): string | null {
+  if (data.value === undefined) return null;
+  return section('Value', data.value);
+}
+
+function renderChanges(data: EnvelopeData): string | null {
+  if (data.changes === undefined || data.changes === null) return null;
+  return section('Changes', data.changes);
+}
+
+function renderSteps(data: EnvelopeData): string | null {
+  if (!data.steps?.length) return null;
+
+  const lines: string[] = [];
+  data.steps.forEach((step, index) => {
+    lines.push(`${index + 1}. ${step.ok ? 'ok  ' : 'FAIL'} ${step.label}`);
+    for (const line of (step.proof || '').split('\n').filter(Boolean)) lines.push(`      ${line}`);
+  });
+  if (data.stepFiles) lines.push('', `page after each step: ${data.stepFiles}`);
+  return section('Steps', lines.join('\n'));
+}
+
+function renderExpectations(data: EnvelopeData): string | null {
+  if (!data.expectations?.length) return null;
+  const lines = data.expectations.map((expectation, index) => `${index + 1}. ${EXPECTATION_LABELS[expectation.status]} ${expectation.text}`);
+  return section('Expected outcomes', lines.join('\n'));
+}
+
 function renderOutcome(data: EnvelopeData): string | null {
-  if (data.changes) return section('Changes', data.changes);
   if (data.answer) return section('Answer', data.answer);
   if (data.research) return section('Research', data.research);
-  if (!data.verdict) return null;
-  const lines = [`passed: ${data.verdict.passed}`, `evidence: ${data.verdict.evidence}`, `code: ${data.verdict.code}`];
-  return section('Verdict', lines.join('\n'));
+  if (!data.assertions) return null;
+
+  if (!data.assertions.length) return section('Assertions', 'none ran — no assertion could express this claim, so nothing was checked against the page');
+
+  const lines = data.assertions.map((assertion) => {
+    const code = assertion.code
+      .split('\n')
+      .map((line) => line.trim())
+      .filter((line) => line && !line.startsWith('//'))
+      .join(' ');
+    return `${code}  => ${assertion.passed ? 'PASSED' : 'FAILED'}`;
+  });
+
+  const proof = data.assertions.flatMap((assertion) => assertion.proof);
+  if (proof.length) lines.push('', 'playwright:', ...proof);
+
+  return section('Assertions', lines.join('\n'));
 }
 
 function renderFailure(data: EnvelopeData): Array<string | null> {
   if (!data.failure) return [];
-  const lines = [`error: ${data.failure.error}`];
-  if (data.failure.reasoning) lines.push(`reasoning: ${data.failure.reasoning}`);
-  return [section('Failure', lines.join('\n')), renderAttempts(data.failure.attempts), renderCompactAria(data.failure.compactAria)];
-}
-
-function renderAttempts(attempts: HealAttempt[]): string | null {
-  if (!attempts?.length) return null;
-  const labels = attempts.map((attempt, index) => `${index + 1}. ${attempt.code}`);
-  const width = Math.max(...labels.map((label) => label.length)) + 3;
-  const lines = labels.map((label, index) => align(label, `→ ${attempts[index].outcome}`, width));
-  return section(`Healing attempts (${attempts.length})`, lines.join('\n'));
+  return [section('Failure', `error: ${data.failure.error}`), renderCompactAria(data.failure.compactAria)];
 }
 
 function renderCompactAria(compactAria?: string): string | null {
@@ -102,22 +132,19 @@ function renderCompactAria(compactAria?: string): string | null {
   return section('Current page (compact ARIA)', compactAria);
 }
 
-function renderInstance(instance: InstanceInfo): string {
-  const others = instance.others.map((other) => `${other.name} (${tabsLabel(other.tabs)})`);
-  const lines = [`instance: ${instance.name} (${tabsLabel(instance.tabs)}) | other instances: ${otherInstances(others)}`, browserLine(instance)];
-  return section('Instance', lines.join('\n'));
-}
-
-function otherInstances(others: string[]): string {
-  if (!others.length) return 'none';
-  return others.join(', ');
+function renderInstance(data: EnvelopeData): string | null {
+  const instance = data.instance;
+  const parts = [`${instance.name} (${tabsLabel(instance.tabs)})`, browserLine(instance)];
+  if (instance.others.length) parts.push(`other instances: ${instance.others.map((other) => `${other.name} (${tabsLabel(other.tabs)})`).join(', ')}`);
+  if (data.status) parts.push(`details: prima status ${data.status}`);
+  return section('Instance', parts.join(' | '));
 }
 
 function browserLine(instance: InstanceInfo): string {
-  if (instance.attached) return `browser: attached (${instance.attached})`;
-  if (instance.startedAgo) return `browser: running, started ${instance.startedAgo} ago`;
-  if (instance.tabs > 0) return 'browser: running';
-  return 'browser: not running';
+  if (instance.attached) return `attached to ${instance.attached}`;
+  if (instance.startedAgo) return `running, started ${instance.startedAgo} ago`;
+  if (instance.tabs > 0) return 'running';
+  return 'not running';
 }
 
 function tabsLabel(tabs: number): string {
@@ -125,9 +152,10 @@ function tabsLabel(tabs: number): string {
   return `${tabs} tabs`;
 }
 
-function renderArtifacts(data: EnvelopeData): string | null {
+export function renderArtifacts(data: EnvelopeData): string | null {
   if (!data.artifacts) return null;
-  const lines = [`aria: ${data.artifacts.aria}`, `html: ${data.artifacts.html}`, `network: ${data.artifacts.network}`];
+  const lines = [`aria: ${data.artifacts.aria}`, `html: ${data.artifacts.html}`];
+  if (data.artifacts.network) lines.push(`network: ${data.artifacts.network}`);
   return section('Artifacts', lines.join('\n'));
 }