@contraagent/ui 0.0.0-stage → 0.2.0

package/dist/elements/shared/ca-definition.js

@@ -0,0 +1,202 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { localized, msg, str } from '@lit/localize';
+import { LitElement, css, html, nothing } from 'lit';
+import { customElement, property } from 'lit/decorators.js';
+import { unsafeHTML } from 'lit/directives/unsafe-html.js';
+import { highlight, mdFile } from '@contraagent/elements/markdown';
+import { instructionsHtml, markInstructions } from '../../words/prompt.js';
+import { facts as row } from '../../words/format.js';
+import { retryTip } from '../../words/attempts.js';
+import { implementationOfLabel, implementationOfTip, outputOfText, outputOfTip, preserveLabel, preserveTip, retriedExceptionsLabel, retriedExceptionsTip, retriesLabel, retriesText } from '../../words/task-definition.js';
+import { RememberedSet } from '../../core/memory.js';
+import { base, factStyles, prose } from '@contraagent/elements/styles';
+import { contractChipStyles } from './contract-parts.js';
+const OPEN_FIRST = new Set(['instructions', 'schema', 'agent']);
+/** A long path cut from the left to its last two parts (`…/plugins/docs`); the full path goes in a tooltip. */
+const tail = (p) => {
+    const parts = p.split('/').filter(Boolean);
+    return parts.length > 2 ? `…/${parts.slice(-2).join('/')}` : p;
+};
+/**
+ * What defines one kind of task: its role, plugin, params and output, the
+ * contracts it declares, and every file (instructions, the role's agent file,
+ * skills, the schema), markdown rendered with a switch to the source.
+ */
+let CaDefinition = class CaDefinition extends LitElement {
+    constructor() {
+        super(...arguments);
+        this.definition = null;
+        /** Remember open files and the rendered/source choice under this id (in the history entry, or the embedded monitor's memory). */
+        this.memory = 'definition';
+        this.open = new RememberedSet('definition:open', this);
+        this.source = new RememberedSet('definition:source', this);
+    }
+    static { this.styles = [
+        base,
+        prose,
+        factStyles,
+        contractChipStyles,
+        css `
+      :host { display: block; }
+      .ct-in { display: flex; align-items: center; gap: 10px; padding: 5px 4px; border-top: 1px solid var(--line); }
+      .df { border-top: 1px solid var(--line); }
+      /* A file: its name opens and closes it (a disclosure button), and a Markdown file has its own toggle beside it. */
+      /* Too narrow for the name and the toggle on one line: the toggle goes under the name. */
+      .df-hd { padding: 6px 2px; display: flex; flex-wrap: wrap; gap: 4px 10px; align-items: center; }
+      .df-sum { flex: 1 1 16em; min-width: 0; display: flex; flex-wrap: wrap; gap: 4px 10px; align-items: center; padding: 0; background: none; border: 0;
+        color: inherit; text-align: start; cursor: pointer; }
+      .df-sum .jmono { min-width: 0; overflow-wrap: anywhere; }
+      .df-tog { flex: none; margin-inline-start: auto; }
+      .df-sum::before { content: '▸'; color: var(--text-muted); width: 10px; flex: none; transition: transform 0.15s; }
+      .df-sum[aria-expanded='true']::before { transform: rotate(90deg); }
+      .py-sig { font-family: var(--mono); font-size: 14px; padding: 10px 14px; background: var(--well); border: 1px solid var(--line);
+        border-radius: 8px; overflow-x: auto; white-space: pre; }
+      .py-where { margin: 6px 2px 12px; font-family: var(--mono); font-size: 11.5px; color: var(--text-muted); overflow-wrap: anywhere; }
+      .py-doc { margin: 0 0 12px; padding: 8px 12px; border-left: 3px solid var(--line2); color: var(--text-2); white-space: pre-wrap; line-height: 1.6; }
+      .src { display: grid; grid-template-columns: auto minmax(0, 1fr); background: var(--well); border: 1px solid var(--line);
+        border-radius: 8px; font-family: var(--mono); font-size: 12px; line-height: 1.55; max-height: 520px; overflow: auto; }
+      .src pre { margin: 0; padding: 10px 12px; white-space: pre; }
+      .src .ln { color: var(--text-muted); text-align: right; user-select: none; border-right: 1px solid var(--line); opacity: 0.7; }
+    `,
+    ]; }
+    willUpdate(changed) {
+        if (changed.has('memory')) {
+            this.open = new RememberedSet(`${this.memory}:open`, this);
+            this.source = new RememberedSet(`${this.memory}:source`, this);
+        }
+    }
+    render() {
+        const def = this.definition;
+        if (!def) {
+            return html `<div class="blank"><span class="ic" aria-hidden="true">⌘</span><b>${msg('No definition')}</b></div>`;
+        }
+        if (def.executor === 'python')
+            return this.python(def);
+        const dirs = def.plugin_dirs || [];
+        const output = def.output_from === 'message'
+            ? row(def.output || '', msg('from the final message', { desc: "The task's output is the agent's last message of a session" }))
+            : def.output || '';
+        const preserve = def.preserve ?? [];
+        const facts = [
+            ...(def.base_kind ? [[implementationOfLabel(), html `<span class="jmono" title=${implementationOfTip()}>${def.base_kind}</span>`]] : []),
+            [msg('Role'), def.role || msg('none', { id: 'none', desc: 'An empty value' })],
+            [
+                dirs.length > 1 ? msg('Plugin directories') : msg('Plugin directory'),
+                dirs.length ? html `${dirs.map((d, i) => html `${i ? ', ' : ''}<span class="jmono" title=${d}>${tail(d)}</span>`)}` : msg('none', { id: 'none', desc: 'An empty value' }),
+            ],
+            [msg('Parameters'), def.params || msg('none', { id: 'none', desc: 'An empty value' })],
+            [
+                msg('Output', { id: 'definition-output', desc: 'The output file of a task definition' }),
+                def.output_of
+                    ? html `<span title=${outputOfTip()}>${row(output, outputOfText(def.output_of))}</span>`
+                    : output || msg('none', { id: 'none', desc: 'An empty value' }),
+            ],
+            ...(preserve.length
+                ? [[preserveLabel(), html `<span class="jmono" title=${preserveTip()}>${preserve.join(', ')}</span>`]]
+                : []),
+            ...((def.validators || []).length ? [[msg('Other checks'), (def.validators || []).join(', ')]] : []),
+            ...(Array.isArray(def.tools) && def.tools.length === 0
+                ? [[msg('Tools', { desc: "The coding agent's tools in a task definition" }), msg('none', { id: 'none', desc: 'An empty value' })]]
+                : []),
+        ];
+        const declared = Array.isArray(def['declared']) ? def['declared'] : [];
+        // The role file this kind runs as goes first, open; other roles' files are folded.
+        const isRole = (f) => f.part === 'agent' && !!def.role && f.path.replace(/^.*\//, '') === `${def.role}.md`;
+        const files = [...(def.files || [])].sort((a, b) => Number(isRole(b)) - Number(isRole(a)));
+        return html `<div class="drv-facts" style="margin-bottom:10px">${facts.map(([k, v]) => html `<span><i>${k}</i>${v}</span>`)}</div>
+      ${declared.length
+            ? html `<h4 class="sect-h">${msg('Checked files')}</h4>
+            ${declared.map((x) => html `<div class="ct-in">
+                <span class="ct-chip">${x.io}</span><span class="jmono">${x.path}</span>
+                <span class="meta" title=${msg('The schema the file is checked against')}>${msg(str `Schema ${x.schema}`)}</span>
+              </div>`)}`
+            : nothing}
+      ${files.length
+            ? html `<h4 class="sect-h">${msg('Files')}</h4>${files.map((f) => this.file(f, isRole(f), !!def.role))}`
+            : html `<div class="meta">${msg(html `No files | defined in Python code (<code>TaskAdapter</code>)`)}</div>`}`;
+    }
+    /** A Python task's kind, shown as its function: signature, where it is, docstring, facts, source. */
+    python(def) {
+        const src = (def.files || []).find((f) => f.part === 'source');
+        const first = def.line ?? 1;
+        const lines = src ? src.text.replace(/\n$/, '').split('\n').length : 0;
+        const retryOn = def.retry_on ?? [];
+        const facts = [
+            [msg('Parameters'), def.params && def.params !== 'none' ? def.params : msg('none', { id: 'none', desc: 'An empty value' })],
+            [msg('Output', { id: 'definition-output', desc: 'The output file of a task definition' }), def.output && def.output !== 'none' ? def.output : msg('none', { id: 'none', desc: 'An empty value' })],
+            ...((def.validators || []).length ? [[msg('Other checks'), (def.validators || []).join(', ')]] : []),
+            ...(def.retries ? [[retriesLabel(), html `<span title=${retryTip()}>${retriesText(def.retries)}</span>`]] : []),
+            ...(def.retries && retryOn.length
+                ? [[retriedExceptionsLabel(), html `<span class="jmono" title=${retriedExceptionsTip()}>${retryOn.join(', ')}</span>`]]
+                : []),
+        ];
+        return html `${def.signature
+            ? html `<div class="py-sig hl">${unsafeHTML(highlight(`def ${def.signature}`, 'python'))}</div>`
+            : nothing}
+      <div class="py-where">
+        ${def.function ?? def.kind}${def.file
+            ? html ` | <span title=${def.file}>${def.file.replace(/^.*\//, '')}${def.line ? `:${def.line}` : ''}</span>`
+            : nothing}
+      </div>
+      ${def.doc ? html `<div class="py-doc">${def.doc}</div>` : nothing}
+      <div class="drv-facts" style="margin-bottom:12px">${facts.map(([k, v]) => html `<span><i>${k}</i>${v}</span>`)}</div>
+      ${src
+            ? html `<h4 class="sect-h">${msg('Source')}</h4>
+            <div class="src">
+              <pre class="ln">${Array.from({ length: lines }, (_, i) => first + i).join('\n')}</pre>
+              <pre class="hl">${unsafeHTML(highlight(src.text.replace(/\n$/, ''), 'python'))}</pre>
+            </div>`
+            : nothing}`;
+    }
+    file(f, isRole = false, hasRole = false) {
+        const id = `${f.part}|${f.path}`;
+        const isMd = /\.md$/i.test(f.path);
+        const instructions = f.part === 'instructions';
+        const showSource = !isMd || this.source.has(id);
+        // Of the role files, only the one this kind uses opens by default.
+        const openFirst = f.part === 'agent' && hasRole ? isRole : OPEN_FIRST.has(f.part);
+        const isOpen = this.open.has(id) || (openFirst && !this.open.has(`closed:${id}`));
+        const toggle = () => {
+            this.open.set(id, !isOpen);
+            this.open.set(`closed:${id}`, isOpen);
+            this.requestUpdate();
+        };
+        const flip = () => {
+            this.source.set(id, !this.source.has(id));
+            this.requestUpdate();
+        };
+        return html `<div class="df">
+      <div class="df-hd">
+        <button type="button" class="df-sum" aria-expanded=${isOpen ? 'true' : 'false'} @click=${toggle}>
+          <span class="tag">${f.part}</span><span class="jmono">${f.path}</span>
+          ${isRole ? html `<span class="ct-chip">${msg('Role of this kind')}</span>` : nothing}
+        </button>
+        ${isMd
+            ? html `<button type="button" class="df-tog" @click=${flip}>${showSource ? msg('Show rendered') : msg('Show source')}</button>`
+            : nothing}
+      </div>
+      ${!isOpen
+            ? nothing
+            : showSource
+                ? html `<pre class="df-text"><code class="hl">${unsafeHTML(instructions ? instructionsHtml(f.text) : highlight(f.text, f.path))}</code></pre>`
+                : unsafeHTML(mdFile(f.text, instructions ? markInstructions : undefined))}
+    </div>`;
+    }
+};
+__decorate([
+    property({ attribute: false })
+], CaDefinition.prototype, "definition", void 0);
+__decorate([
+    property()
+], CaDefinition.prototype, "memory", void 0);
+CaDefinition = __decorate([
+    customElement('ca-definition'),
+    localized()
+], CaDefinition);
+export { CaDefinition };
+//# sourceMappingURL=ca-definition.js.map

package/dist/elements/shared/ca-definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ca-definition.js","sourceRoot":"","sources":["../../../src/elements/shared/ca-definition.ts"],"names":[],"mappings":";;;;;;AACA,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAuB,MAAM,KAAK,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,KAAK,IAAI,GAAG,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC5N,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhE,+GAA+G;AAC/G,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE;IACjC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC,CAAC;AAQF;;;;GAIG;AAGI,IAAM,YAAY,GAAlB,MAAM,YAAa,SAAQ,UAAU;IAArC;;QA8B2B,eAAU,GAA0B,IAAI,CAAC;QACzE,iIAAiI;QACrH,WAAM,GAAG,YAAY,CAAC;QAE1B,SAAI,GAAG,IAAI,aAAa,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;QAClD,WAAM,GAAG,IAAI,aAAa,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;IAiIhE,CAAC;aAnKiB,WAAM,GAAG;QACvB,IAAI;QACJ,KAAK;QACL,UAAU;QACV,kBAAkB;QAClB,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;KAqBF;KACF,AA3BqB,CA2BpB;IASO,UAAU,CAAC,OAA6B;QAC/C,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,GAAG,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,MAAM,OAAO,EAAE,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,GAAG,IAAI,aAAa,CAAC,GAAG,IAAI,CAAC,MAAM,SAAS,EAAE,IAAI,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAEQ,MAAM;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC;QAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,IAAI,CAAA,qEAAqE,GAAG,CAAC,eAAe,CAAC,YAAY,CAAC;QACnH,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,KAAK,SAAS;YAC1C,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,wBAAwB,EAAE,EAAE,IAAI,EAAE,4DAA4D,EAAE,CAAC,CAAC;YAC9H,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;QACpC,MAAM,KAAK,GAAwC;YACjD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,EAAE,EAAE,IAAI,CAAA,6BAA6B,mBAAmB,EAAE,IAAI,GAAG,CAAC,SAAS,SAAS,CAA6B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC9E;gBACE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;gBACrE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,6BAA6B,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;aACxK;YACD,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YACtF;gBACE,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,sCAAsC,EAAE,CAAC;gBACxF,GAAG,CAAC,SAAS;oBACX,CAAC,CAAC,IAAI,CAAA,eAAe,WAAW,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,SAAS;oBACvF,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;aAClE;YACD,GAAG,CAAC,QAAQ,CAAC,MAAM;gBACjB,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,EAAE,IAAI,CAAA,6BAA6B,WAAW,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAA6B,CAAC;gBACjI,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAqB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxH,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBACpD,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,+CAA+C,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAqB,CAAC;gBACtJ,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,UAAU,CAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,mFAAmF;QACnF,MAAM,MAAM,GAAG,CAAC,CAAiB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC;QAC3H,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,OAAO,IAAI,CAAA,qDAAqD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC;QACrH,QAAQ,CAAC,MAAM;YACf,CAAC,CAAC,IAAI,CAAA,sBAAsB,GAAG,CAAC,eAAe,CAAC;cAC1C,QAAQ,CAAC,GAAG,CACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA;wCACe,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,IAAI;2CACrC,GAAG,CAAC,wCAAwC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAA,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC;qBACnG,CACR,EAAE;YACP,CAAC,CAAC,OAAO;QACT,KAAK,CAAC,MAAM;YACZ,CAAC,CAAC,IAAI,CAAA,sBAAsB,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE;YACvG,CAAC,CAAC,IAAI,CAAA,qBAAqB,GAAG,CAAC,IAAI,CAAA,8DAA8D,CAAC,QAAQ,EAAE,CAAC;IACnH,CAAC;IAED,qGAAqG;IAC7F,MAAM,CAAC,GAAmB;QAChC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;QACnC,MAAM,KAAK,GAAwC;YACjD,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC3H,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,sCAAsC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAClM,GAAG,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAqB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxH,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,IAAI,CAAA,eAAe,QAAQ,EAAE,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAA6B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1I,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM;gBAC/B,CAAC,CAAC,CAAC,CAAC,sBAAsB,EAAE,EAAE,IAAI,CAAA,6BAA6B,oBAAoB,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAA6B,CAAC;gBAClJ,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;QACF,OAAO,IAAI,CAAA,GAAG,GAAG,CAAC,SAAS;YACvB,CAAC,CAAC,IAAI,CAAA,0BAA0B,UAAU,CAAC,SAAS,CAAC,OAAO,GAAG,CAAC,SAAS,EAAE,EAAE,QAAQ,CAAC,CAAC,QAAQ;YAC/F,CAAC,CAAC,OAAO;;UAEP,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI;YACnC,CAAC,CAAC,IAAI,CAAA,kBAAkB,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS;YAC3G,CAAC,CAAC,OAAO;;QAEX,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAA,uBAAuB,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO;0DACZ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3G,GAAG;YACH,CAAC,CAAC,IAAI,CAAA,sBAAsB,GAAG,CAAC,QAAQ,CAAC;;gCAEjB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gCAC7D,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;mBACzE;YACX,CAAC,CAAC,OAAO,EAAE,CAAC;IAClB,CAAC;IAEO,IAAI,CAAC,CAAiB,EAAE,MAAM,GAAG,KAAK,EAAE,OAAO,GAAG,KAAK;QAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC;QAC/C,MAAM,UAAU,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChD,mEAAmE;QACnE,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,GAAG,EAAE;YAClB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YACtC,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,EAAE;YAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,CAAC,CAAC;QACF,OAAO,IAAI,CAAA;;6DAE8C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,WAAW,MAAM;8BACzE,CAAC,CAAC,IAAI,8BAA8B,CAAC,CAAC,IAAI;YAC5D,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA,yBAAyB,GAAG,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;;UAEnF,IAAI;YACJ,CAAC,CAAC,IAAI,CAAA,+CAA+C,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,WAAW;YAC9H,CAAC,CAAC,OAAO;;QAEX,CAAC,MAAM;YACP,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,UAAU;gBACV,CAAC,CAAC,IAAI,CAAA,yCAAyC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe;gBAC7I,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;WACxE,CAAC;IACV,CAAC;;AArI+B;IAA/B,QAAQ,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;gDAA0C;AAE7D;IAAX,QAAQ,EAAE;4CAAuB;AAhCvB,YAAY;IAFxB,aAAa,CAAC,eAAe,CAAC;IAC9B,SAAS,EAAE;GACC,YAAY,CAoKxB"}

package/dist/elements/shared/contract-parts.d.ts

@@ -0,0 +1,35 @@
+import { type ContractSpec, type ContractStatus, type FileView } from '@contraagent/api';
+import { type TemplateResult } from 'lit';
+import '@contraagent/elements/check-table/define';
+import '@contraagent/elements/json-tree/define';
+/** An input file's state: found, or missing (and whether the task needed it). */
+export declare function inputChip(o: ContractSpec): TemplateResult;
+/** A checked file's status as a chip, with its cause as the tooltip, and a count after the word when given; '—' without one. */
+export declare function contractChip(s: ContractStatus | null | undefined, count?: number): TemplateResult;
+/** The file's content as a tree, or as text when it is not JSON. */
+export declare function fileContent(f: FileView): TemplateResult;
+/**
+ * The contract on the left of each row, the file's value on the right, a
+ * verdict per field (`<cae-check-table>`); a text result shows the file itself.
+ */
+export declare function fieldCheckTable(o: ContractSpec): TemplateResult;
+/**
+ * The schema as the reader names it: the class name for a model, "text" for a
+ * text result. The class name stays in the tooltip.
+ */
+export declare function schemaName(o: ContractSpec): TemplateResult;
+/** What kind of file it must be, in words. */
+export declare function formatOf(o: ContractSpec): unknown;
+/** The checks beyond the schema (validators), each with its result when the status tells it; null when there are none. */
+export declare function otherChecks(o: ContractSpec): TemplateResult | null;
+/**
+ * What a contract file must be, as labelled lines a reader can follow without
+ * knowing the contract machinery: its format, and (for an output) whether a file
+ * from before the task counts, or (for an input) when it is checked and whether
+ * the task can start without it.
+ */
+export declare function fileConditions(o: ContractSpec, role: 'input' | 'output'): TemplateResult;
+/** A chip that names a checked file's status (`statusChip`), or a neutral label in its shape. */
+export declare const contractChipStyles: import("lit").CSSResult;
+export declare const contractStyles: import("lit").CSSResult;
+//# sourceMappingURL=contract-parts.d.ts.map

package/dist/elements/shared/contract-parts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-parts.d.ts","sourceRoot":"","sources":["../../../src/elements/shared/contract-parts.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,cAAc,EAAE,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEzF,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,KAAK,CAAC;AAM9D,OAAO,0CAA0C,CAAC;AAGlD,OAAO,wCAAwC,CAAC;AAEhD,iFAAiF;AACjF,wBAAgB,SAAS,CAAC,CAAC,EAAE,YAAY,GAAG,cAAc,CAIzD;AAED,gIAAgI;AAChI,wBAAgB,YAAY,CAAC,CAAC,EAAE,cAAc,GAAG,IAAI,GAAG,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,cAAc,CAOjG;AAGD,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,CAAC,EAAE,QAAQ,GAAG,cAAc,CAKvD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,YAAY,GAAG,cAAc,CAuB/D;AAYD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,YAAY,GAAG,cAAc,CAI1D;AAED,8CAA8C;AAC9C,wBAAgB,QAAQ,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAQjD;AAED,0HAA0H;AAC1H,wBAAgB,WAAW,CAAC,CAAC,EAAE,YAAY,GAAG,cAAc,GAAG,IAAI,CAOlE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,cAAc,CAsBxF;AAED,iGAAiG;AACjG,eAAO,MAAM,kBAAkB,yBAM9B,CAAC;AAEF,eAAO,MAAM,cAAc,yBAsB1B,CAAC"}

package/dist/elements/shared/contract-parts.js

@@ -0,0 +1,167 @@
+// A contract file read the way a person checks it: each field of its schema
+// against what the file holds. Templates shared by the outputs view and a task's
+// input/output view (`file-card.ts`); their classes are in `contractStyles`.
+import {} from '@contraagent/api';
+import { msg, str } from '@lit/localize';
+import { css, html, nothing } from 'lit';
+import { facts, localTime } from '../../words/format.js';
+import { contractStatusLabel, contractStatusWhy } from '../../words/contract.js';
+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, rowOf } from '../../adapters/check-rows.js';
+import { contractTone } from '../../lib/tone.js';
+import '@contraagent/elements/json-tree/define';
+/** An input file's state: found, or missing (and whether the task needed it). */
+export function inputChip(o) {
+    const ok = !!o.file.exists;
+    const text = ok ? msg('found') : o.required ? msg('missing (required)') : msg('missing (optional)');
+    return statusChip('ct-chip', { text, tone: ok ? 'done' : o.required ? 'failed' : 'muted' });
+}
+/** A checked file's status as a chip, with its cause as the tooltip, and a count after the word when given; '—' without one. */
+export function contractChip(s, count) {
+    if (!s)
+        return statusChip('ct-chip', { text: '—' });
+    return statusChip('ct-chip', {
+        text: count === undefined ? contractStatusLabel(s) : html `${contractStatusLabel(s)} <b>${count}</b>`,
+        tone: contractTone(s),
+        title: contractStatusWhy(s),
+    });
+}
+/** The file's content as a tree, or as text when it is not JSON. */
+export function fileContent(f) {
+    const c = f.content;
+    return c !== null && typeof c === 'object'
+        ? html `<cae-json-tree .value=${c}></cae-json-tree>`
+        : html `<pre class="jtree">${typeof c === 'string' ? c : msg('Not JSON')}</pre>`;
+}
+/**
+ * The contract on the left of each row, the file's value on the right, a
+ * verdict per field (`<cae-check-table>`); a text result shows the file itself.
+ */
+export function fieldCheckTable(o) {
+    const f = o.file;
+    const rows = checkRowsFromContract(o);
+    const whole = html `<details class="ct-raw">
+    <summary>${wholeFile(f)}</summary>
+    ${fileContent(f)}
+  </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>
+    ${!contentObject(o) ? html `<div class="meta note">${msg('Not a JSON object')}</div>` : nothing}
+    ${whole}`;
+}
+/** How many rows a rows file holds, in words: `3 rows`. */
+function rowCount(f) {
+    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) => facts(msg('Whole file'), `${f.size ?? 0} B`, f.mtime ? msg(str `written ${localTime(f.mtime, true)}`) : '', f.truncated ? msg('truncated') : '');
+/**
+ * The schema as the reader names it: the class name for a model, "text" for a
+ * text result. The class name stays in the tooltip.
+ */
+export function schemaName(o) {
+    const root = rootOf(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>`;
+}
+/** What kind of file it must be, in words. */
+export function formatOf(o) {
+    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>`;
+    return msg(html `JSON object, schema ${schemaName(o)}`);
+}
+/** The checks beyond the schema (validators), each with its result when the status tells it; null when there are none. */
+export function otherChecks(o) {
+    const names = o.validators ?? [];
+    if (!names.length)
+        return null;
+    const errors = (o.errors ?? []).join('\n');
+    const mark = (n) => o.status === 'valid' ? verdict('pass', msg('passed')) : errors.includes(n) ? verdict('fail', msg('failed checks')) : nothing;
+    return html `${names.map((n, i) => html `${i ? ', ' : ''}<span class="jmono">${n}</span> ${mark(n)}`)}`;
+}
+/**
+ * What a contract file must be, as labelled lines a reader can follow without
+ * knowing the contract machinery: its format, and (for an output) whether a file
+ * from before the task counts, or (for an input) when it is checked and whether
+ * the task can start without it.
+ */
+export function fileConditions(o, role) {
+    const format = formatOf(o);
+    const checks = otherChecks(o);
+    const rows = role === 'output'
+        ? [
+            [msg('Format'), format],
+            ...(checks ? [[msg('Other checks'), checks, msg('Checks beyond the schema (validators)')]] : []),
+            [msg('Must be written during the task'), o.fresh ? msg('yes') : msg('no'), o.fresh ? msg('A file from before the task does not count') : msg('A file from before the task counts')],
+            ...(o.preserve?.length
+                ? [[preserveLabel(), html `<span class="jmono">${o.preserve.join(', ')}</span>`, preserveTip()]]
+                : []),
+        ]
+        : [
+            [msg('Format'), format],
+            ...(checks ? [[msg('Other checks'), checks, msg('Checks beyond the schema (validators)')]] : []),
+            [msg('Check time'), msg('when the task starts')],
+            [msg('Required'), o.required ? msg('yes') : msg('no')],
+        ];
+    return html `<dl class="conds">
+    ${rows.map(([k, v, tip]) => html `<dt>${k}</dt><dd title=${tip ?? ''}>${v}</dd>`)}
+  </dl>`;
+}
+/** A chip that names a checked file's status (`statusChip`), or a neutral label in its shape. */
+export const contractChipStyles = css `
+  .ct-chip { display: inline-block; padding: 1px 10px; border-radius: var(--radius-pill); font-size: 11.5px; background: var(--raise); color: var(--text-2); white-space: nowrap; }
+  .ct-chip b { margin-left: 4px; }
+  /* a checked file's status: tinted by its tone, passed quiet with its ✓ in an outline */
+  .ct-chip[data-tone] { background: var(--tone-bg); color: var(--tone); }
+  .ct-chip[data-tone='done'] { background: none; box-shadow: inset 0 0 0 1px var(--line2); color: var(--text-2); }
+`;
+export const contractStyles = css `
+  ${contractChipStyles}
+  ${verdictStyles}
+  .ct-path { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+  .ct-lead { margin: 2px 0 8px; display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 6px; }
+  /* a name's column as wide as its longest name, up to half the width; a long name or value wraps */
+  .conds { display: grid; grid-template-columns: fit-content(50%) minmax(0, 1fr); gap: 2px 14px; margin: 2px 0 10px; font-size: 12px; }
+  .conds dt { color: var(--text-muted); overflow-wrap: anywhere; }
+  .conds dd { margin: 0; color: var(--text-2); min-width: 0; overflow-wrap: anywhere; }
+  .note { margin-top: 6px; }
+  .ct-raw { margin-top: 8px; }
+  .ct-raw > summary { cursor: pointer; color: var(--text-muted); font-size: 12px; }
+  .ct-err { color: var(--status-failed); white-space: pre-wrap; }
+  .ct-fields { border-collapse: collapse; width: 100%; }
+  .ct-fields td { padding: 2px 10px 2px 0; border: 0; font-size: 12px; }
+  .ct-in { display: flex; align-items: center; gap: 10px; padding: 5px 4px; border-top: 1px solid var(--line); }
+  h4 { margin: 8px 0 6px; font-size: 12px; color: var(--text-2); font-weight: 600; }
+  .io-card { border: 1px solid var(--line); border-radius: 10px; padding: 10px 14px; margin-bottom: 10px; background: var(--raise); }
+  .io-hd { display: flex; align-items: center; gap: 10px; margin-bottom: 6px; }
+  .io-from { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 8px; margin: -2px 0 8px; }
+  .io-hd .ct-path { flex: 1; }
+  .io-card.one .io-hd { margin-bottom: 2px; }
+`;
+//# sourceMappingURL=contract-parts.js.map

package/dist/elements/shared/contract-parts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-parts.js","sourceRoot":"","sources":["../../../src/elements/shared/contract-parts.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,iFAAiF;AACjF,6EAA6E;AAC7E,OAAO,EAAyD,MAAM,kBAAkB,CAAC;AACzF,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAuB,MAAM,KAAK,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,0CAA0C,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACtH,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,wCAAwC,CAAC;AAEhD,iFAAiF;AACjF,MAAM,UAAU,SAAS,CAAC,CAAe;IACvC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACpG,OAAO,UAAU,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,YAAY,CAAC,CAAoC,EAAE,KAAc;IAC/E,IAAI,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACpD,OAAO,UAAU,CAAC,SAAS,EAAE;QAC3B,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM;QACpG,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;QACrB,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;KAC5B,CAAC,CAAC;AACL,CAAC;AAGD,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAC,CAAW;IACrC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IACpB,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QACxC,CAAC,CAAC,IAAI,CAAA,yBAAyB,CAAC,mBAAmB;QACnD,CAAC,CAAC,IAAI,CAAA,sBAAsB,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;AACpF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,CAAe;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACjB,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAA;eACL,SAAS,CAAC,CAAC,CAAC;MACrB,WAAW,CAAC,CAAC,CAAC;aACP,CAAC;IACZ,+FAA+F;IAC/F,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA,EAAE,CAAC;IAC5C,0DAA0D;IAC1D,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAA;iBACL,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA,WAAW,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClJ,WAAW,CAAC,CAAC,CAAC;eACP,CAAC;QACZ,OAAO,IAAI,CAAA,0BAA0B,IAAI,gBAAgB,KAAK,aAAa,iBAAiB,EAAE;QAC1F,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC;IACD,6GAA6G;IAC7G,IAAI,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA,0BAA0B,IAAI,gBAAgB,KAAK,aAAa,iBAAiB,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAA,EAAE,CAAC;IAC1J,OAAO,IAAI,CAAA,0BAA0B,IAAI,aAAa,iBAAiB,EAAE;MACrE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA,0BAA0B,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;MAC5F,KAAK,EAAE,CAAC;AACd,CAAC;AAED,2DAA2D;AAC3D,SAAS,QAAQ,CAAC,CAAW;IAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA,GAAG,CAAC,OAAO,CAAC,CAAC;AACtD,CAAC;AAED,wFAAwF;AACxF,MAAM,SAAS,GAAG,CAAC,CAAW,EAAU,EAAE,CACxC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAA,WAAW,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAElJ;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,CAAe;IACxC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,KAAK,MAAM,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC;IACvH,OAAO,IAAI,CAAA,0BAA0B,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,IAAI,KAAK,MAAM,CAAC;AACpF,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,QAAQ,CAAC,CAAe;IACtC,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,CAAC;IAC1C,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC,IAAI,CAAA,oCAAoC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACvG,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAA,eAAe,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,SAAS,CAAC;IACxF,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA,eAAe,GAAG,IAAI,GAAG,CAAC,GAAG,CAAA,sBAAsB,IAAI,EAAE,CAAC,SAAS,CAAC;IACzF,OAAO,GAAG,CAAC,IAAI,CAAA,uBAAuB,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,WAAW,CAAC,CAAe;IACzC,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CACzB,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC/H,OAAO,IAAI,CAAA,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,uBAAuB,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACxG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,CAAe,EAAE,IAAwB;IACtE,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,IAAI,GACR,IAAI,KAAK,QAAQ;QACf,CAAC,CAAC;YACE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;YACvB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,uCAAuC,CAAC,CAA8B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7H,CAAC,GAAG,CAAC,iCAAiC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;YACnL,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM;gBACpB,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,EAAE,IAAI,CAAA,uBAAuB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,CAA8B,CAAC;gBAC5H,CAAC,CAAC,EAAE,CAAC;SACR;QACH,CAAC,CAAC;YACE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;YACvB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,uCAAuC,CAAC,CAA8B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7H,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,sBAAsB,CAAC,CAAC;YAChD,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SACvD,CAAC;IACR,OAAO,IAAI,CAAA;MACP,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA,OAAO,CAAC,kBAAkB,GAAG,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;QAC5E,CAAC;AACT,CAAC;AAED,iGAAiG;AACjG,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAA;;;;;;CAMpC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,GAAG,CAAA;IAC7B,kBAAkB;IAClB,aAAa;;;;;;;;;;;;;;;;;;;;CAoBhB,CAAC"}

package/dist/elements/shared/file-card.d.ts

@@ -0,0 +1,17 @@
+import { type ContractSpec } from '@contraagent/api';
+import { type TemplateResult } from 'lit';
+import { type Producer } from '../../words/contract.js';
+/**
+ * One contract file of a task, as a card: status, path, what it must be, the
+ * field check, the check errors. A task that never ran gets one line saying
+ * why; a task that failed without writing the file gets its status and path
+ * only (the status names the cause).
+ */
+export declare function ioFileCard(o: ContractSpec, role: 'input' | 'output', run?: string, opts?: {
+    producerOf?: (path: string) => Producer | undefined;
+    /** Where the file comes from, as a line under its path ("Output of prepare · zeta"). */
+    origin?: unknown;
+    /** In place of the status chip: an input written by an earlier task shows that task's check of it. */
+    chip?: TemplateResult;
+}): TemplateResult;
+//# sourceMappingURL=file-card.d.ts.map

package/dist/elements/shared/file-card.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-card.d.ts","sourceRoot":"","sources":["../../../src/elements/shared/file-card.ts"],"names":[],"mappings":"AAEA,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,KAAK,CAAC;AACzD,OAAO,EAA+C,KAAK,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGrG;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,CAAC,EAAE,YAAY,EACf,IAAI,EAAE,OAAO,GAAG,QAAQ,EACxB,GAAG,SAAK,EACR,IAAI,GAAE;IACJ,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ,GAAG,SAAS,CAAC;IACpD,wFAAwF;IACxF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,sGAAsG;IACtG,IAAI,CAAC,EAAE,cAAc,CAAC;CAClB,GACL,cAAc,CAuBhB"}

package/dist/elements/shared/file-card.js

@@ -0,0 +1,37 @@
+// A task's contract file as a card, for a task's input and output panes. Its
+// classes are in `contractStyles`.
+import { runRelative } from '@contraagent/api';
+import { msg } from '@lit/localize';
+import { html, nothing } from 'lit';
+import { correctionTip, correctionsLabel, notRunText } from '../../words/contract.js';
+import { contractChip, fieldCheckTable, fileConditions, inputChip } from './contract-parts.js';
+/**
+ * One contract file of a task, as a card: status, path, what it must be, the
+ * field check, the check errors. A task that never ran gets one line saying
+ * why; a task that failed without writing the file gets its status and path
+ * only (the status names the cause).
+ */
+export function ioFileCard(o, role, run = '', opts = {}) {
+    const stat = role === 'output'
+        ? html `${contractChip(o.status)}${(o.rounds ?? 0) > 1
+            ? html ` <span class="meta" title=${correctionTip()}>${correctionsLabel(o.rounds, o.status === 'valid')}</span>`
+            : nothing}`
+        : inputChip(o);
+    const head = html `<div class="io-hd">${opts.chip ?? stat}<span class="jmono ct-path" title=${o.path}>${runRelative(o.path, run)}</span></div>${opts.origin
+        ? html `<div class="meta io-from">${opts.origin}</div>`
+        : nothing}`;
+    if (role === 'output' && o.status === 'refused') {
+        return html `<div class="io-card one">${head}<div class="meta">${notRunText(o, run, opts.producerOf)}</div></div>`;
+    }
+    if (role === 'output' && o.status === 'failed' && !o.file.exists) {
+        return html `<div class="io-card one">${head}</div>`;
+    }
+    const errors = o.errors ?? [];
+    return html `<div class="io-card">
+    ${head}
+    ${fileConditions(o, role)}
+    ${fieldCheckTable(o)}
+    ${errors.length ? html `<h4>${msg('Errors')}</h4><pre class="ct-err">${errors.map((e) => runRelative(e, run)).join('\n')}</pre>` : nothing}
+  </div>`;
+}
+//# sourceMappingURL=file-card.js.map

package/dist/elements/shared/file-card.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-card.js","sourceRoot":"","sources":["../../../src/elements/shared/file-card.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,mCAAmC;AACnC,OAAO,EAAE,WAAW,EAAqB,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAuB,MAAM,KAAK,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,UAAU,EAAiB,MAAM,yBAAyB,CAAC;AACrG,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAE/F;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,CAAe,EACf,IAAwB,EACxB,GAAG,GAAG,EAAE,EACR,OAMI,EAAE;IAEN,MAAM,IAAI,GACR,IAAI,KAAK,QAAQ;QACf,CAAC,CAAC,IAAI,CAAA,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YAC/C,CAAC,CAAC,IAAI,CAAA,6BAA6B,aAAa,EAAE,IAAI,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,SAAS;YAC/G,CAAC,CAAC,OAAO,EAAE;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,IAAI,GAAG,IAAI,CAAA,sBAAsB,IAAI,CAAC,IAAI,IAAI,IAAI,qCAAqC,CAAC,CAAC,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,gBAAgB,IAAI,CAAC,MAAM;QACxJ,CAAC,CAAC,IAAI,CAAA,6BAA6B,IAAI,CAAC,MAAM,QAAQ;QACtD,CAAC,CAAC,OAAO,EAAE,CAAC;IACd,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChD,OAAO,IAAI,CAAA,4BAA4B,IAAI,qBAAqB,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;IACpH,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjE,OAAO,IAAI,CAAA,4BAA4B,IAAI,QAAQ,CAAC;IACtD,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;IAC9B,OAAO,IAAI,CAAA;MACP,IAAI;MACJ,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;MACvB,eAAe,CAAC,CAAC,CAAC;MAClB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA,OAAO,GAAG,CAAC,QAAQ,CAAC,4BAA4B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;SACpI,CAAC;AACV,CAAC"}

package/dist/elements/shared/prompt-text.d.ts

@@ -0,0 +1,5 @@
+import { type TemplateResult } from 'lit';
+import '@contraagent/elements/markdown/define';
+/** `text` in a `<cae-markdown>`, in the reader's language. Call it from a `@localized()` element's render. */
+export declare function promptText(text: string): TemplateResult;
+//# sourceMappingURL=prompt-text.d.ts.map

package/dist/elements/shared/prompt-text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-text.d.ts","sourceRoot":"","sources":["../../../src/elements/shared/prompt-text.ts"],"names":[],"mappings":"AAIA,OAAO,EAAQ,KAAK,cAAc,EAAE,MAAM,KAAK,CAAC;AAChD,OAAO,uCAAuC,CAAC;AAG/C,8GAA8G;AAC9G,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAGvD"}

package/dist/elements/shared/prompt-text.js

@@ -0,0 +1,13 @@
+// A prompt as a reader reads it: markdown with a rendered/source switch, and its
+// leading TELEMETRY line (which run and task it belongs to) apart, so the prose
+// reads as prose.
+import { msg } from '@lit/localize';
+import { html } from 'lit';
+import '@contraagent/elements/markdown/define';
+import { splitTelemetry } from '../../words/prompt.js';
+/** `text` in a `<cae-markdown>`, in the reader's language. Call it from a `@localized()` element's render. */
+export function promptText(text) {
+    const strings = { showRendered: msg('Show rendered'), showSource: msg('Show source') };
+    return html `<cae-markdown .text=${text} .split=${splitTelemetry} .strings=${strings}></cae-markdown>`;
+}
+//# sourceMappingURL=prompt-text.js.map

package/dist/elements/shared/prompt-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-text.js","sourceRoot":"","sources":["../../../src/elements/shared/prompt-text.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,gFAAgF;AAChF,kBAAkB;AAClB,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,IAAI,EAAuB,MAAM,KAAK,CAAC;AAChD,OAAO,uCAAuC,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,8GAA8G;AAC9G,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,OAAO,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;IACvF,OAAO,IAAI,CAAA,uBAAuB,IAAI,WAAW,cAAc,aAAa,OAAO,kBAAkB,CAAC;AACxG,CAAC"}

package/dist/elements/shared/task-chip.d.ts

@@ -0,0 +1,10 @@
+import { type TemplateResult } from 'lit';
+/**
+ * `name` as a chip that sends `ca-open-task` for `task` (a Python task opens on its
+ * output). A task with no key (a running Python task) is a chip that opens nothing.
+ */
+export declare function taskChip(from: EventTarget, name: string, task: {
+    key: string;
+    executor?: string;
+}): TemplateResult;
+//# sourceMappingURL=task-chip.d.ts.map

package/dist/elements/shared/task-chip.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-chip.d.ts","sourceRoot":"","sources":["../../../src/elements/shared/task-chip.ts"],"names":[],"mappings":"AAGA,OAAO,EAAQ,KAAK,cAAc,EAAE,MAAM,KAAK,CAAC;AAGhD;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAOlH"}

package/dist/elements/shared/task-chip.js

@@ -0,0 +1,19 @@
+// A task named in a list, as a chip of its own: the name keeps its `kind · unit`
+// form without a separator between names, and a click opens the task.
+import { isPython } from '@contraagent/api';
+import { html } from 'lit';
+import { emit } from '../../core/events.js';
+/**
+ * `name` as a chip that sends `ca-open-task` for `task` (a Python task opens on its
+ * output). A task with no key (a running Python task) is a chip that opens nothing.
+ */
+export function taskChip(from, name, task) {
+    if (!task.key)
+        return html `<span class="taskchip">${name}</span>`;
+    const open = (e) => {
+        e.stopPropagation(); // the row it sits in may open another task
+        emit(from, 'ca-open-task', { key: task.key, ...(isPython(task) ? { view: 'output' } : {}) });
+    };
+    return html `<button type="button" class="taskchip" title=${task.key} @click=${open}>${name}</button>`;
+}
+//# sourceMappingURL=task-chip.js.map

package/dist/elements/shared/task-chip.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-chip.js","sourceRoot":"","sources":["../../../src/elements/shared/task-chip.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,sEAAsE;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAuB,MAAM,KAAK,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAiB,EAAE,IAAY,EAAE,IAAwC;IAChG,IAAI,CAAC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAA,0BAA0B,IAAI,SAAS,CAAC;IAClE,MAAM,IAAI,GAAG,CAAC,CAAQ,EAAQ,EAAE;QAC9B,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,2CAA2C;QAChE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACxG,CAAC,CAAC;IACF,OAAO,IAAI,CAAA,gDAAgD,IAAI,CAAC,GAAG,WAAW,IAAI,IAAI,IAAI,WAAW,CAAC;AACxG,CAAC"}

package/dist/elements/shell/ca-clock.d.ts

@@ -0,0 +1,13 @@
+import { LitElement } from 'lit';
+/** The wall clock in the header: its own element, so the second tick repaints nothing else. */
+export declare class CaClock extends LitElement {
+    constructor();
+    protected createRenderRoot(): this;
+    render(): string;
+}
+declare global {
+    interface HTMLElementTagNameMap {
+        'ca-clock': CaClock;
+    }
+}
+//# sourceMappingURL=ca-clock.d.ts.map

package/dist/elements/shell/ca-clock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ca-clock.d.ts","sourceRoot":"","sources":["../../../src/elements/shell/ca-clock.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC;AAKjC,+FAA+F;AAC/F,qBAEa,OAAQ,SAAQ,UAAU;;cAKlB,gBAAgB;IAG1B,MAAM;CAGhB;AAED,OAAO,CAAC,MAAM,CAAC;IACb,UAAU,qBAAqB;QAC7B,UAAU,EAAE,OAAO,CAAC;KACrB;CACF"}