@contraagent/ui 0.1.0 → 0.2.0

package/src/elements/overview/ca-services.ts

@@ -0,0 +1,66 @@
+import type { PlanNode, ServiceSpan } from '@contraagent/api';
+import { localized, msg } from '@lit/localize';
+import { LitElement, css, html, nothing } from 'lit';
+import { customElement, property } from 'lit/decorators.js';
+import { statusWord } from '@contraagent/elements/primitives';
+import { base } from '@contraagent/elements/styles';
+import type { Tone } from '@contraagent/elements';
+import { kindUnit } from '../../words/format.js';
+import { serviceFacts, serviceState, serviceStateLabel, type ServiceState } from '../../words/services.js';
+import { taskChip } from '../shared/task-chip.js';
+
+const TONE: Record<ServiceState, Tone> = { running: 'running', stopped: 'done', failed: 'failed', unknown: 'muted' };
+
+/**
+ * The run's services (`Plan.services`): each start of the long-lived helper a claim
+ * name stands for, one per row, with its state, its claim name, its address, when it
+ * started and stopped and why, and the task whose claim started it.
+ *
+ * @fires ca-open-task - the task chip of the task that started a service was clicked
+ */
+@customElement('ca-services')
+@localized()
+export class CaServices extends LitElement {
+  static override styles = [
+    base,
+    css`
+      :host { display: block; }
+      ul { margin: 0; padding: 0; list-style: none; display: grid; gap: 8px; }
+      li { display: grid; grid-template-columns: max-content 1fr; column-gap: 10px; row-gap: 2px; align-items: baseline; font-size: 12px; }
+      .name { font-family: var(--mono); color: var(--text); overflow-wrap: anywhere; }
+      .addr { font-family: var(--mono); color: var(--text-2); overflow-wrap: anywhere; }
+      .facts { grid-column: 2; color: var(--text-2); overflow-wrap: anywhere; }
+      .by { grid-column: 2; }
+    `,
+  ];
+
+  /** Each start of a service, in start order (`Plan.services`). */
+  @property({ attribute: false }) services: readonly ServiceSpan[] = [];
+  /** The run's tasks (`Plan.nodes`): the task that started a service is named by its kind and unit. */
+  @property({ attribute: false }) nodes: readonly PlanNode[] = [];
+  /** Whether the run still runs: a service with no stop recorded is running only then. */
+  @property({ type: Boolean }) live = false;
+
+  override render() {
+    if (!this.services.length) return html`<div class="meta">${msg('No services')}</div>`;
+    const byKey = new Map(this.nodes.map((n) => [n.key, n]));
+    return html`<ul>
+      ${this.services.map((s) => {
+        const state = serviceState(s, this.live);
+        const node = s.key ? byKey.get(s.key) : undefined;
+        return html`<li>
+          ${statusWord({ text: serviceStateLabel(state), tone: TONE[state] })}
+          <div><span class="name" title="services.jsonl">${s.name}</span>${s.address ? html` <span class="addr">${s.address}</span>` : nothing}</div>
+          <div class="facts">${serviceFacts(s)}</div>
+          ${s.key ? html`<div class="by">${taskChip(this, node ? kindUnit(node) : s.key, node ?? { key: s.key })}</div>` : nothing}
+        </li>`;
+      })}
+    </ul>`;
+  }
+}
+
+declare global {
+  interface HTMLElementTagNameMap {
+    'ca-services': CaServices;
+  }
+}

package/src/elements/overview/index.ts

@@ -7,3 +7,4 @@ export * from './ca-timeline.js';
 export * from './ca-spend-breakdown.js';
 export * from './ca-model-usage.js';
 export * from './ca-quota.js';
+export * from './ca-services.js';

package/src/elements/shared/contract-parts.ts

@@ -10,7 +10,7 @@ import { preserveLabel, preserveTip } from '../../words/task-definition.js';
 import { statusChip } from '@contraagent/elements/primitives';
 import { verdict, verdictStyles } from '@contraagent/elements/check-table';
 import '@contraagent/elements/check-table/define';
-import { checkRowsFromContract, checkTableStrings, contentObject, rootOf } from '../../adapters/check-rows.js';
+import { checkRowsFromContract, checkTableStrings, contentObject, rootOf, rowOf } from '../../adapters/check-rows.js';
 import { contractTone } from '../../lib/tone.js';
 import '@contraagent/elements/json-tree/define';
 
@@ -53,6 +53,15 @@ export function fieldCheckTable(o: ContractSpec): TemplateResult {
   </details>`;
   // A text result (a text file, or one JSON value) has no fields to check: show the file itself.
   if (!rows) return f.exists ? whole : html``;
+  // Rows: the fields of one line, and the lines themselves.
+  if (o.format === 'jsonl') {
+    const lines = html`<details class="ct-raw">
+      <summary>${facts(rowCount(f), `${f.size ?? 0} B`, f.mtime ? msg(str`written ${localTime(f.mtime, true)}`) : '', f.truncated ? msg('truncated') : '')}</summary>
+      ${fileContent(f)}
+    </details>`;
+    return html`<cae-check-table .rows=${rows} .showValues=${false} .strings=${checkTableStrings()}></cae-check-table>
+      ${f.exists ? lines : nothing}`;
+  }
   // No file: the fields it must have, and nothing to check them against; its status chip says it is not there.
   if (!f.exists) return rows.length ? html`<cae-check-table .rows=${rows} .showValues=${false} .strings=${checkTableStrings()}></cae-check-table>` : html``;
   return html`<cae-check-table .rows=${rows} .strings=${checkTableStrings()}></cae-check-table>
@@ -60,6 +69,12 @@ export function fieldCheckTable(o: ContractSpec): TemplateResult {
     ${whole}`;
 }
 
+/** How many rows a rows file holds, in words: `3 rows`. */
+function rowCount(f: FileView): string {
+  const n = Array.isArray(f.content) ? f.content.length : 0;
+  return n === 1 ? msg('1 row') : msg(str`${n} rows`);
+}
+
 /** The fold over a file's content: `Whole file | 1204 B | written Oct 12, 10:38:40`. */
 const wholeFile = (f: FileView): string =>
   facts(msg('Whole file'), `${f.size ?? 0} B`, f.mtime ? msg(str`written ${localTime(f.mtime, true)}`) : '', f.truncated ? msg('truncated') : '');
@@ -70,7 +85,7 @@ const wholeFile = (f: FileView): string =>
  */
 export function schemaName(o: ContractSpec): TemplateResult {
   const root = rootOf(o.schema_name);
-  const shown = o.schema_name === 'text' || root === 'str' ? msg('text') : root ?? o.schema_name;
+  const shown = o.schema_name === 'text' || root === 'str' ? msg('text') : root ?? rowOf(o.schema_name) ?? o.schema_name;
   return html`<b class="jmono" title=${o.schema_ref || o.schema_name}>${shown}</b>`;
 }
 
@@ -78,6 +93,7 @@ export function schemaName(o: ContractSpec): TemplateResult {
 export function formatOf(o: ContractSpec): unknown {
   const tip = o.schema_ref || o.schema_name;
   if (o.schema_name === 'text') return msg('text file');
+  if (o.format === 'jsonl') return msg(html`JSON Lines, one object of schema ${schemaName(o)} per line`);
   const root = rootOf(o.schema_name);
   if (root === 'str') return html`<span title=${tip}>${msg('text (JSON string)')}</span>`;
   if (root) return html`<span title=${tip}>${msg(str`JSON value of type ${root}`)}</span>`;

package/src/elements/shell/ca-monitor.ts

@@ -64,8 +64,10 @@ export class CaMonitor extends LitElement {
   static override styles = [hostThemeStyles, base, tabStyles, monitorStyles];
 
   /**
-   * Where the monitor's API is served, such as `http://127.0.0.1:8787`; '' is
-   * this page's origin. A server on another origin must allow this page's
+   * Where the monitor's API is served, such as `http://127.0.0.1:8787`, or a
+   * path of this page's origin, such as `/monitor` (`contraagent monitor
+   * --base-path` writes it into the page it serves); '' is this page's origin.
+   * A server on another origin must allow this page's
    * (`contraagent monitor --cors-origin`). It takes effect whenever it is set,
    * before or after the element connects: a change closes the old server's
    * feeds and opens the run named by `run`, else the new server's newest run.

package/src/elements/task/header.ts

@@ -10,7 +10,7 @@ import { attemptNames, deferredText, changedFiles, changedFilesTip, changeLabel,
 import { contextWarnedText, contextWarnedTip, peakContextLine, peakContextTip, peakTry } from '../../words/context.js';
 import { readingShort, readingTip } from '../../words/quota.js';
 import { customColumnTip, customValues } from '../../words/row-extras.js';
-import { type Tone } from '../../lib/tone.js';
+import { isStop, type Tone } from '../../lib/tone.js';
 import { executorIcon } from '../../words/executor.js';
 import '@contraagent/elements/json-tree/define';
 import { tagChips, type TranscriptTag } from '@contraagent/elements/transcript';
@@ -48,7 +48,8 @@ function verdict(c: TaskContext): [text: string, tone: Tone] {
       return [cause ? msg(str`Not started: ${cause}`) : msg('Not started'), 'attention'];
     }
     case 'partial': {
-      const why = runRelative(last?.reason, c.run);
+      // An agent task's partial reason is the stop its launch ended on (`partial_on`): said in words.
+      const why = last?.reason && isStop(last.reason) ? stopLabel(last.reason) : runRelative(last?.reason, c.run);
       return [why ? msg(str`Partly done: ${why}`) : msg('Partly done'), 'attention'];
     }
     case 'failed': {
@@ -134,6 +135,7 @@ export function taskHeader(c: TaskContext, key: string, onSearch: (query: string
               </div>`
             : nothing}
           ${node?.priority ? html`<div class="meta" title=${priorityTip()}>${priorityText(node.priority)}</div>` : nothing}
+          ${node?.rerun ? html`<div class="meta">${msg(str`Ran again after a resume: ${node.rerun}`)}</div>` : nothing}
           ${session
             ? html`<div class="whos">
                 ${tagChips([...whoTags(who), ...identityTags(tries)])}
@@ -212,7 +214,9 @@ function changesFold(tries: JournalRow[]) {
     if (!c) return [];
     const at = withChanges > 1 ? (names[i] ?? '') : '';
     const gone = new Set(c.removed);
-    const of = (paths: string[] | undefined, kind: ChangeKind) => (paths ?? []).map((p) => facts(at, p, changeLabel(gone.has(p) ? 'removed' : kind)));
+    const kept = new Set(c.kept);
+    const after = (p: string, kind: ChangeKind): ChangeKind => (gone.has(p) ? 'removed' : kept.has(p) ? 'kept' : kind);
+    const of = (paths: string[] | undefined, kind: ChangeKind) => (paths ?? []).map((p) => facts(at, p, changeLabel(after(p, kind))));
     return [...of(c.created, 'created'), ...of(c.modified, 'modified'), ...of(c.deleted, 'deleted')];
   });
   if (!withChanges) return nothing;

package/src/locales/ja.ts

@@ -11,6 +11,7 @@
     export const templates = {
       'col-runs': `実行`,
 'definition-output': `出力`,
+'h0ddbe8131d040868': html`JSON Lines（1 行ごとに JSON オブジェクト、スキーマ ${0}）`,
 'h5665d16ae525ca0b': html`${0} の出力`,
 'h612ee972e5585763': html`JSON オブジェクト（スキーマ ${0}）`,
 'h876bf17c2237f30a': html`依存先タスク ${0}`,
@@ -170,6 +171,7 @@
 's355f4ca5b99c3871': `入力ファイルに検証エラー`,
 's366ce84377cc68ee': `週`,
 's367d079d1aed1358': `料金`,
+'s3687049d1af562c4': `コピー`,
 's36db253f6326b641': str`この書き出しに含まれないもの: ${0}`,
 's36eb49cc97df66bc': str`所要時間 ${0}`,
 's3700ce266079b566': `Web 検索 1 回`,
@@ -219,6 +221,7 @@
 's47b9912260b01c3c': `Python タスク`,
 's47c42ef44972974f': `未対応のイベント`,
 's48287bbcb6ba7b8d': str`終了 ${0}`,
+'s484059ca23104b6d': `テキストなし`,
 's48e186fb300e5464': `所要時間`,
 's49098dfd8a30a9b7': `モニターのサーバーに接続済み`,
 's491765412b82838e': str`${0} のループ`,
@@ -228,12 +231,14 @@
 's4e7c49654e9033f5': str`修正依頼 ${0} 回で完了 | 最初の検証エラー: ${1}`,
 's4efee5b48a4593cb': `ループ`,
 's4f0af1e75e3f4e0d': `スキーマにない`,
+'s4f0b2143a5fc9bf2': str`再開後に再実行: ${0}`,
 's4f901d8830793b99': str`ホスト ${0}`,
 's4fed3c544c5791df': `エージェントタスク`,
 's50182c197f93c873': str`${0}: ${1} → ${2}`,
 's504d83b92c9ed51e': `日付指定`,
 's51316118c75cbced': `そのモデルで始めたエージェントのセッションの数`,
 's51383b9a7d305b0c': `入力・出力・キャッシュ読み込み・キャッシュ書き込みの合計`,
+'s5144d023ec192e11': `実行が終了した`,
 's521a16a18cfbcf5a': `1 ユニット`,
 's525b03a82e5421df': `失敗の後の、次のモデルでの新しいエージェントのセッション（Router のホップ）`,
 's525c011dcf23c207': `記録から再生した試行（replayed）`,
@@ -245,6 +250,7 @@
 's535a5e9dfeb308f0': `種別`,
 's53c57cf5a0992de1': str`${0}: 未実行`,
 's53c8c76220414382': `不可`,
+'s5410888308ba73df': `開始できず`,
 's54393bfa280ea55b': `プロンプト`,
 's552240946fb80e49': str`フロー呼び出し ${0}`,
 's5552cf25dfb16715': `プラグインディレクトリ`,
@@ -269,6 +275,7 @@
 's5ab755785f15d57e': `並び順`,
 's5b91c14a6a040e1e': `種別ごとのトークンと料金`,
 's5bd56661dc3d893f': `フロー呼び出しごとの締め切り（time_box）`,
+'s5c7b236b3fa997c2': `サービスなし`,
 's5cd51fca94ab558d': str`エージェントのセッション ${0} 回`,
 's5cfa1889ee16f534': `値なし`,
 's5d0bd939d106436c': `実行中にこのタスクが占有する名前（claims）`,
@@ -299,6 +306,7 @@
 's6647f4305129ff48': `ファイルなし`,
 's664bf0dfe5ccdd70': `ツール呼び出しが戻る前に実行が終了`,
 's670ef751f29dc9ae': str`${0} ユニット`,
+'s673f9ec66716c84a': `停止でエラー`,
 's680fc90489553ed6': `タイムライン`,
 's685f61cef2e55d31': `修正依頼`,
 's68818ff23f9c3cd6': `その他の検証`,
@@ -316,6 +324,7 @@
 's6c86e2a18e78587f': str`依存先タスク ${0} が失敗`,
 's6d739294ba8eba32': str`${1} タスク中 ${0} 件完了`,
 's6dbe9cb1faacdff3': str`${0} 文字`,
+'s6e4da2972d0c2e38': `未選択`,
 's6ebc9bd6feae62a3': `読み込み中…`,
 's6f145ecab7e01aae': `API 呼び出し`,
 's6f2d39e45dc290b5': `出力ファイル 1 件`,
@@ -365,6 +374,7 @@
 's7f59f507e02a2f38': `表示形式`,
 's803ce7e1a2294d50': `ファイル`,
 's8076e2fb2b749dd1': `実行 1 件`,
+'s80c0e9fb2bb2e230': `1 行`,
 's8162d2730a5efc31': `モデル切り替えなし`,
 's81729579ad44c896': `変更したファイル 1 件`,
 's822f38a61c9dbabc': str`以前の試行のモデル: ${0}`,
@@ -399,6 +409,7 @@
 's8ad90bcc234667ee': `周回数`,
 's8ae6aab00e87a555': str`${0} の記録から再生したエージェントのセッションと、そこに記録した新しいセッション（replay, record_missing）`,
 's8b14867a2824dc66': `リトライしたタスク`,
+'s8b41b9223ed7838d': `同じロックを持つタスクが共有する常駐の補助プロセス（services.jsonl）`,
 's8bbe7f1c618318b1': `終了したすべての試行から集計（journal.jsonl）`,
 's8c1837e74a81ad0d': str`${0} 分前`,
 's8d3d06c785c3c433': `コーディングエージェントが使ったアカウントまたは API キー（credential）`,
@@ -477,6 +488,7 @@
 'sa116cd3e2e650be3': `リプレイした試行`,
 'sa23567d1be73e6a7': `ターン数の上限`,
 'sa24de5df07476150': str`${0} の締め切りまでに終わらない`,
+'sa31c8369058044aa': `行を折り返す`,
 'sa335a9687e946152': `後続タスクなし`,
 'sa358ec1ff0c833b9': `ロール`,
 'sa35c067275510aa7': `試行`,
@@ -484,6 +496,7 @@
 'sa390213ff60c0fd9': str`実行中のエージェントのセッションの新しいイベント ${0} 件を表示`,
 'sa3c9339de23c1752': `形式`,
 'sa3d3f3845c4fa2c4': str`週の利用率 ${0}（リセット ${1}）`,
+'sa3deee7949f9fece': `停止`,
 'sa3ed6953c910cb53': `アカウント全体の値 | エージェントのセッション開始時に取得`,
 'sa3f961297cb9207f': `各タスクが読み込むファイル`,
 'sa434ad4d2100f245': `作成元`,
@@ -495,6 +508,7 @@
 'sa6295f265bf36f55': str`${0}: トランスクリプト`,
 'sa66db52d0401c35d': str`前の ${0} 行を表示`,
 'sa6ab5184d6315895': `開始日`,
+'sa70d23a470af74da': `項目なし`,
 'sa71f10bfe8f2e3b9': `期待する型`,
 'sa74be5e915086e8e': `縮小（Ctrl + スクロール）`,
 'sa81e2cdaf6921adc': `システム設定に合わせる`,
@@ -532,6 +546,7 @@
 'sb1068f146c4596c3': `検索語`,
 'sb108c2924e1e9e78': `作成、試行の失敗後に削除`,
 'sb1454106d9fa9d78': str`報告なし ${0} 台`,
+'sb16ea30b732565de': str`${0} 行`,
 'sb1ffef0fea624d13': `前の 1 行を表示`,
 'sb26a93fd31e2f700': `登録順`,
 'sb26f6e41558f71ed': `表示中の階層の外`,
@@ -548,6 +563,7 @@
 'sb594f8019b3bf708': str`コンテキストの上限に接近（${0}%）`,
 'sb5ae7a6b849639af': `未実行`,
 'sb6bb16aa7550533d': `タスク実行中の書き込みが必須`,
+'sb76f9199c15fe03c': str`${0} に停止`,
 'sb89b16909f010061': `エージェントのセッション 1 回`,
 'sb945184259a5d73c': str`5 時間枠（${0}）`,
 'sb9724d1e7908c74c': `コンテキストの上限に接近`,
@@ -567,6 +583,7 @@
 'sbca0391cb2c7c054': `タスクの開始時`,
 'sbcce076a4882d945': `依存先タスクが失敗`,
 'sbd4aeb401e751129': `実行を切り替え（r）`,
+'sbd58f76b47025b9c': `停止の記録なし`,
 'sbd9a674a977ac3b7': `再開後`,
 'sbe299a9270c76655': `実行履歴の失敗した試行`,
 'sbe4c836868862bb2': str`${0} の記録から再生したエージェントのセッション（replay）`,
@@ -595,6 +612,7 @@
 'sc6e4815e573036bd': `締め切りまでに終わらない`,
 'sc6fd207e5b80c46e': str`エラーで終了したフロー呼び出し ${0} 件`,
 'sc732f2e2fbe9f15e': `開始`,
+'sc7561e5ea00d47ad': str`全 ${1} 行のうち先頭 ${0} 行`,
 'sc797fd9076cc136d': `タスク`,
 'sc7d1e9a9024b4f9c': `同時実行（上限）`,
 'sc87aeec9d4d28b7c': str`警告のしきい値: ${0}`,
@@ -625,11 +643,13 @@
 'sd173bb96eb4d2577': `入力 / 出力 | キャッシュ読み込み / キャッシュ書き込み`,
 'sd1f67ae2a58049b0': `ファイルの検証に使うスキーマ`,
 'sd26f6fb3acfd5ca0': str`${0} 件を同時実行`,
+'sd3458f28f628e82d': str`${0} に開始（${1}）`,
 'sd381b19c7fd35852': `変更`,
 'sd3c028fcc08b18ab': `登録済みのタスクなし`,
 'sd3ec6686aaaf1324': str`終了（未完了のタスク ${0} 件）`,
 'sd47e3a005069edb9': `ローカルの認証情報（ambient）`,
 'sd58f7e67529b30b0': `終了（失敗したタスク 1 件）`,
+'sd5a1f34cfcac265f': `実行がシグナルで停止された`,
 'sd5da7ee4a43a6b2d': str`トークン: 入力 ${0}、出力 ${1}、キャッシュ読み込み ${2}、キャッシュ書き込み ${3}`,
 'sd5e28ee1c3ede3b6': `所要時間の合計`,
 'sd7338946b42394f4': `失敗`,
@@ -669,6 +689,7 @@
 'se2bad0e4af9e9155': str`キー ${0} 個: ${1}`,
 'se2cd8c3175e8f91f': str`期待する型: ${0}`,
 'se3b4c857f91f80d7': `キーボードショートカット`,
+'se414b08e593473b2': `作成、試行の失敗後も保持`,
 'se4ba2b7d91bd3060': `修正依頼のあったタスク 1 件`,
 'se55f1e3401225b3f': `エージェントのセッションの所要時間の合計`,
 'se5ad61b61dc5c4f6': `モデル切り替え`,
@@ -707,6 +728,7 @@
 'seee3885e38ae0126': `完了しなかった試行`,
 'sef0ce050d92c35e2': str`実行中 ${0} 件`,
 'sefcf950b3cc4fc3b': `言語`,
+'service-running': `稼働中`,
 'sf03233d91a50e834': `所要時間の中央値`,
 'sf067ec3ce4af8ebe': str`タスクは ${0} 回目で完了`,
 'sf083efa5793bc94c': `すべてのエージェントのセッションの合計（同時に実行した分も含む）`,
@@ -722,6 +744,8 @@
 'sf3e2e1c7b6313910': `カスタムビュー`,
 'sf466a6f271f0b682': str`${0} 周目`,
 'sf4897f85932ebf42': `終了後の利用率`,
+'sf4de3bfbfaca12e5': `コピー済み`,
+'sf55d634dcc743595': `サービス`,
 'sf56cc81a8429fcb0': `試行の終了後に、同じアカウントで最初に報告された値`,
 'sf5dbf772d898f6e7': `ユニットごとではなく、実行ごとに 1 回実行されるタスク`,
 'sf6d770c86ee5a684': `フロー呼び出し`,

package/src/words/changes.ts

@@ -2,8 +2,8 @@
 // the patterns its task declares (`changes` in a journal row).
 import { msg, str } from '@lit/localize';
 
-/** What happened to one file in one attempt. `removed`: it created the file, and the file was removed because the attempt failed. */
-export type ChangeKind = 'created' | 'modified' | 'deleted' | 'removed';
+/** What happened to one file in one attempt. `removed`: it created the file, and the file was removed because the attempt failed; `kept`: it created the file, and the file stayed though the attempt failed (`keep_failed_changes`). */
+export type ChangeKind = 'created' | 'modified' | 'deleted' | 'removed' | 'kept';
 
 /** `1 changed file`, `3 changed files`. */
 export const changedFiles = (n: number): string => (n === 1 ? msg('1 changed file') : msg(str`${n} changed files`));
@@ -23,5 +23,7 @@ export function changeLabel(kind: ChangeKind): string {
       return msg('deleted');
     case 'removed':
       return msg('created, removed after the failed attempt');
+    case 'kept':
+      return msg('created, kept after the failed attempt');
   }
 }

package/src/words/index.ts

@@ -18,6 +18,7 @@ export * from './table.js';
 export * from './changes.js';
 export * from './claims.js';
 export * from './rests.js';
+export * from './services.js';
 export * from './time-box.js';
 export * from './row-extras.js';
 export * from './models.js';

package/src/words/panels.ts

@@ -2,7 +2,10 @@
 // written, by its format, and the words of the charts it draws.
 import type { ValueFormat } from '@contraagent/api';
 import type { ChartStrings } from '@contraagent/elements/charts';
+import type { CodeStrings } from '@contraagent/elements/code';
+import type { TreeStrings } from '@contraagent/elements/tree';
 import { msg, str } from '@lit/localize';
+import { getLocale } from '../core/i18n.js';
 import { fmtDur, localTime, tokenCount, usd } from './format.js';
 
 /** A fraction as a percent: `97%`, `4.5%` under 10, `<0.1%` above 0. */
@@ -51,3 +54,18 @@ export const chartStrings = (): Partial<ChartStrings> => ({
   none: '—',
   scale: (low: string, high: string) => msg(str`${low} to ${high}`, { desc: 'A heatmap\'s colour scale: its lowest and highest value' }),
 });
+
+/** The words of a code body (`<cae-code>`), in the UI's language. */
+export const codeStrings = (): Partial<CodeStrings> => ({
+  copy: msg('Copy'),
+  copied: msg('Copied'),
+  wrap: msg('Wrap lines'),
+  empty: msg('No text'),
+  cut: (shown: number, total: number) =>
+    msg(str`First ${shown.toLocaleString(getLocale())} of ${total.toLocaleString(getLocale())} lines`, {
+      desc: 'A code body cut short: the lines shown of all its lines',
+    }),
+});
+
+/** The words of a tree body (`<cae-tree>`), in the UI's language. */
+export const treeStrings = (): Partial<TreeStrings> => ({ empty: msg('No items') });

package/src/words/services.ts

@@ -0,0 +1,57 @@
+// A service (the long-lived helper a claim name stands for, `Plan.services`) in words:
+// its state, when it started and stopped, and why it stopped.
+import type { ServiceSpan } from '@contraagent/api';
+import { msg, str } from '@lit/localize';
+import { facts, fmtDur, localTime } from './format.js';
+
+/** The state of one start of a service: it runs, it stopped, its start failed, or its stop is not recorded. */
+export type ServiceState = 'running' | 'stopped' | 'failed' | 'unknown';
+
+/** The state of one start of a service; `live`: whether its run still runs. */
+export function serviceState(s: ServiceSpan, live: boolean): ServiceState {
+  if (s.start_error) return 'failed';
+  if (s.stopped_at) return 'stopped';
+  return live ? 'running' : 'unknown';
+}
+
+/** The state in words: `running`, `stopped`, `did not start`, `stop not recorded`. */
+export function serviceStateLabel(state: ServiceState): string {
+  switch (state) {
+    case 'running':
+      return msg('running', { id: 'service-running', desc: 'A service that is running' });
+    case 'stopped':
+      return msg('stopped', { desc: 'A service that stopped' });
+    case 'failed':
+      return msg('did not start', { desc: 'A service whose start failed' });
+    default:
+      return msg('stop not recorded', { desc: 'A service of a finished run whose stop is not in services.jsonl' });
+  }
+}
+
+/** Why a service stopped, in words; '' while it runs. */
+export function stopCauseLabel(cause: ServiceSpan['stop_cause']): string {
+  switch (cause) {
+    case 'run_end':
+      return msg('The run ended');
+    case 'interrupted':
+      return msg('The run was stopped by a signal');
+    default:
+      return '';
+  }
+}
+
+/**
+ * The facts of one start of a service, in one line:
+ * `Started 10:02:03 in 1.2s | Stopped 10:05:10 | The run ended`, or `10:02:03 | OSError: port 9000 in use`
+ * for a start that failed (the error is the value, so the line holds no label of its own).
+ */
+export function serviceFacts(s: ServiceSpan): string {
+  if (s.start_error) return facts(localTime(s.started_at), s.start_error);
+  return facts(
+    msg(str`Started ${localTime(s.started_at)} in ${fmtDur(s.start_s ?? 0)}`),
+    s.stopped_at ? msg(str`Stopped ${localTime(s.stopped_at)}`) : '',
+    stopCauseLabel(s.stop_cause),
+    s.stop_error ? msg('Stop failed') : '',
+    s.stop_error,
+  );
+}

package/dist/core/clock.d.ts

@@ -1,20 +0,0 @@
-import type { ReactiveController, ReactiveControllerHost } from 'lit';
-/** Re-renders its host every second while it is connected. */
-export declare class ClockController implements ReactiveController {
-    private readonly host;
-    constructor(host: ReactiveControllerHost);
-    hostConnected(): void;
-    hostDisconnected(): void;
-}
-/**
- * Start times that stay put. A process reports its age in whole seconds, so
- * `now - age` jitters by a second between updates; the first value seen for an
- * id is kept while later ones stay within a few seconds of it.
- */
-export declare class StableStarts {
-    private readonly seen;
-    at(id: string, ageS: number, now?: number): number;
-}
-/** Shared by every view, so the same process shows the same start everywhere. */
-export declare const starts: StableStarts;
-//# sourceMappingURL=clock.d.ts.map

package/dist/core/clock.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"clock.d.ts","sourceRoot":"","sources":["../../src/core/clock.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,KAAK,CAAC;AAStE,8DAA8D;AAC9D,qBAAa,eAAgB,YAAW,kBAAkB;IAC5C,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,sBAAsB;IAGzD,aAAa,IAAI,IAAI;IAIrB,gBAAgB,IAAI,IAAI;CAOzB;AAED;;;;GAIG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA6B;IAClD,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAa,GAAG,MAAM;CAOvD;AAED,iFAAiF;AACjF,eAAO,MAAM,MAAM,cAAqB,CAAC"}

package/dist/core/clock.js

@@ -1,45 +0,0 @@
-const hosts = new Set();
-let timer = null;
-function tick() {
-    for (const h of hosts)
-        h.requestUpdate();
-}
-/** Re-renders its host every second while it is connected. */
-export class ClockController {
-    constructor(host) {
-        this.host = host;
-        host.addController(this);
-    }
-    hostConnected() {
-        hosts.add(this.host);
-        timer ??= setInterval(tick, 1000);
-    }
-    hostDisconnected() {
-        hosts.delete(this.host);
-        if (!hosts.size && timer) {
-            clearInterval(timer);
-            timer = null;
-        }
-    }
-}
-/**
- * Start times that stay put. A process reports its age in whole seconds, so
- * `now - age` jitters by a second between updates; the first value seen for an
- * id is kept while later ones stay within a few seconds of it.
- */
-export class StableStarts {
-    constructor() {
-        this.seen = new Map();
-    }
-    at(id, ageS, now = Date.now()) {
-        const t0 = Math.round(now - ageS * 1000);
-        const prev = this.seen.get(id);
-        if (prev !== undefined && Math.abs(prev - t0) < 5000)
-            return prev;
-        this.seen.set(id, t0);
-        return t0;
-    }
-}
-/** Shared by every view, so the same process shows the same start everywhere. */
-export const starts = new StableStarts();
-//# sourceMappingURL=clock.js.map

package/dist/core/clock.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"clock.js","sourceRoot":"","sources":["../../src/core/clock.ts"],"names":[],"mappings":"AAGA,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;AAChD,IAAI,KAAK,GAA0C,IAAI,CAAC;AAExD,SAAS,IAAI;IACX,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,CAAC,CAAC,aAAa,EAAE,CAAC;AAC3C,CAAC;AAED,8DAA8D;AAC9D,MAAM,OAAO,eAAe;IAC1B,YAA6B,IAA4B;QAA5B,SAAI,GAAJ,IAAI,CAAwB;QACvD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,aAAa;QACX,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,KAAK,KAAK,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,gBAAgB;QACd,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,aAAa,CAAC,KAAK,CAAC,CAAC;YACrB,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,YAAY;IAAzB;QACmB,SAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IAQpD,CAAC;IAPC,EAAE,CAAC,EAAU,EAAE,IAAY,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,IAAI;YAAE,OAAO,IAAI,CAAC;QAClE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACtB,OAAO,EAAE,CAAC;IACZ,CAAC;CACF;AAED,iFAAiF;AACjF,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC"}

package/dist/core/route.d.ts

@@ -1,62 +0,0 @@
-export declare const BUILTIN_TABS: readonly ["overview", "tasks", "journal", "outputs", "definitions", "procs", "stream"];
-export type BuiltinTab = (typeof BUILTIN_TABS)[number];
-/** A built-in view, or a panel the pipeline registered (`panel:<name>`). */
-export type Tab = BuiltinTab | `panel:${string}`;
-/** What the task view shows next to (or instead of) the transcript. */
-export declare const TASK_VIEWS: readonly ["transcript", "input", "output", "definition"];
-export type TaskView = (typeof TASK_VIEWS)[number];
-/** A page that is not one run's: `hosts`, the hosts behind a hub's runs; `trends`, the runs of a period. */
-export type Page = '' | 'hosts' | 'trends';
-/** The lengths of a period the trends page offers, in days, ending today. */
-export declare const TREND_DAYS: readonly [7, 14, 30];
-export interface Route {
-    /** '' for a run's views; `hosts` for the hosts (on a hub), with no run. */
-    page: Page;
-    /** The run; '' until one is picked. */
-    run: string;
-    tab: Tab;
-    /** stream tab: the task key whose transcript is open (null: the latest, `latestTask`). */
-    key: string | null;
-    /** stream tab: what the task view shows. */
-    view: TaskView;
-    /** stream tab: the round shown, 1-based (null: follow the latest). */
-    round: number | null;
-    /** definitions tab: the selected kind (null: the default one). */
-    def: string | null;
-    /** tasks and journal tabs: only this kind (kept, and out of the URL, while another tab is shown). */
-    kind: string;
-    /** journal tab: only this stop ('bad': every attempt that did not complete). */
-    stop: string;
-    /** tasks and journal tabs: a text filter. */
-    q: string;
-    /** overview tab: the pipeline graph's layer, its segments joined by `/` ('': the layer the graph opens on). */
-    layer: string;
-    /** overview tab: the unit highlighted in the pipeline graph. */
-    unit: string;
-    /** overview tab: what is selected in the pipeline graph's layer (a node, a loop box or a mark; '' for nothing). */
-    sel: string;
-    /** trends page: the period, the last `days` days (0: the days `from` to `to`, YYYY-MM-DD). */
-    days: number;
-    from: string;
-    to: string;
-    /** trends page: the time zone its days are counted in ('': the browser's). */
-    tz: string;
-    /** trends page: only the runs of this run group. */
-    group: string;
-    /** trends page: the open tab, a trends panel's `tab` ('': the first, the trends). */
-    trendsTab: string;
-}
-export type RoutePatch = Partial<Route>;
-export declare const DEFAULT_ROUTE: Route;
-export declare function parseRoute(search: string): Route;
-/** The query string for a route: only what differs from the defaults, and only what its tab uses. */
-export declare function formatRoute(r: Route): string;
-/** Apply a patch. Leaving a task (another key, run) forgets its view and round; another run forgets every selection. */
-export declare function applyPatch(r: Route, patch: RoutePatch): Route;
-/**
- * Whether going from `a` to `b` is a move to another place (a new history entry,
- * so Back returns) or only a refinement of this one (the entry is replaced, so
- * typing in a filter, highlighting a unit or selecting in the graph does not fill the history).
- */
-export declare function isNewPlace(a: Route, b: Route): boolean;
-//# sourceMappingURL=route.d.ts.map

package/dist/core/route.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"route.d.ts","sourceRoot":"","sources":["../../src/core/route.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,YAAY,wFAAyF,CAAC;AACnH,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AACvD,4EAA4E;AAC5E,MAAM,MAAM,GAAG,GAAG,UAAU,GAAG,SAAS,MAAM,EAAE,CAAC;AAEjD,uEAAuE;AACvE,eAAO,MAAM,UAAU,0DAA2D,CAAC;AACnF,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,4GAA4G;AAC5G,MAAM,MAAM,IAAI,GAAG,EAAE,GAAG,OAAO,GAAG,QAAQ,CAAC;AAE3C,6EAA6E;AAC7E,eAAO,MAAM,UAAU,sBAAuB,CAAC;AAE/C,MAAM,WAAW,KAAK;IACpB,2EAA2E;IAC3E,IAAI,EAAE,IAAI,CAAC;IACX,uCAAuC;IACvC,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,GAAG,CAAC;IACT,0FAA0F;IAC1F,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,QAAQ,CAAC;IACf,sEAAsE;IACtE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,kEAAkE;IAClE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,qGAAqG;IACrG,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;IACV,+GAA+G;IAC/G,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,mHAAmH;IACnH,GAAG,EAAE,MAAM,CAAC;IACZ,8FAA8F;IAC9F,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,8EAA8E;IAC9E,EAAE,EAAE,MAAM,CAAC;IACX,oDAAoD;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;AAExC,eAAO,MAAM,aAAa,EAAE,KAoB3B,CAAC;AAKF,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAiChD;AAED,qGAAqG;AACrG,wBAAgB,WAAW,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAgC5C;AAED,wHAAwH;AACxH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,GAAG,KAAK,CAY7D;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CAGtD"}