@xoxoai/checkmate 0.6.7 → 0.7.1

package/plugin/src/ui/lists.ts

@@ -0,0 +1,645 @@
+import type { Store } from '../store.ts'
+import type { Html } from './html.ts'
+import type { Page } from './layout.ts'
+import type { ListPage, ListQuery } from '../views.ts'
+import { inbox, operationLog, pagedOperations, pagedPlans, pagedRuns, planList, runList } from '../views.ts'
+import { html, join, pill, plural, time, words } from './html.ts'
+import { heading } from './layout.ts'
+
+type Waiting = ReturnType<typeof inbox>
+
+export function inboxItems(waiting: Waiting) {
+	return [
+		...waiting.gaps.map((gap) => `/plans/${gap.planId}@${gap.revision}/gaps/${gap.gapId}#answer`),
+		...waiting.plans.map((plan) => `/plans/${plan.planId}@${plan.revision}#decide`),
+		...waiting.results.map((result) => `/runs/${result.runId}#decide`),
+	]
+}
+
+export function loopState(loop: { state: string; waitsOn: string }) {
+	const role = loop.waitsOn === 'qa' ? 'QA' : loop.waitsOn
+	return html`<span class="loop"
+		>${pill(loop.state)}${loop.waitsOn === 'none' ? '' : html` <span class="muted small">waits on ${role}</span>`}</span
+	>`
+}
+
+export function inboxCount(waiting: Waiting) {
+	return waiting.gaps.length + waiting.plans.length + waiting.results.length + waiting.requests.length
+}
+
+const countOrder = ['passed', 'failed', 'inconclusive', 'error', 'blocked', 'not_run'] as const
+const countLook: Record<string, [string, string]> = {
+	passed: ['✓', 'pass'],
+	failed: ['✗', 'fail'],
+	inconclusive: ['?', 'unsure'],
+	error: ['!', 'warn'],
+	blocked: ['–', 'block'],
+	not_run: ['–', 'block'],
+}
+
+export function counts(values: Record<string, number>) {
+	const shown = countOrder.filter((key) => values[key])
+	if (!shown.length) return html`<span class="muted">no outcomes yet</span>`
+	return html`<span class="counts"
+		>${shown.map(
+			(key) =>
+				html`<span class="st ${countLook[key][1]}" title="${values[key]} ${words(key)}"
+					><span aria-hidden="true">${countLook[key][0]}</span> ${values[key]}<span class="sr-only">
+						${words(key)}</span
+					></span
+				>`
+		)}</span
+	>`
+}
+
+function group(title: string, items: Html[], key: string) {
+	return html`<section class="group" aria-labelledby="group-${key}">
+		<h2 class="group-h" id="group-${key}">${title} · ${items.length}</h2>
+		${
+			items.length
+				? html`<ul class="items">
+						${items.map((item) => html`<li>${item}</li>`)}
+					</ul>`
+				: html`<p class="none">None.</p>`
+		}
+	</section>`
+}
+
+export function inboxPage(store: Store): Page {
+	const waiting = inbox(store)
+	const total = inboxCount(waiting)
+	const gaps = waiting.gaps.map(
+		(gap) =>
+			html`<a
+				class="item"
+				href="/plans/${gap.planId}@${gap.revision}/gaps/${gap.gapId}#answer"
+				data-nav-item
+				data-key="gap:${gap.planId}:${gap.gapId}"
+				data-announce="New gap ${gap.planId} ${gap.gapId}"
+			>
+				<span class="id">${gap.planId} · ${gap.gapId}</span>
+				<span class="what"
+					>${gap.question}${gap.runId ? html` <span class="muted">· from run ${gap.runId}</span>` : ''}</span
+				>
+				<span class="end">${pill(gap.severity)} <span class="age">${time(gap.since)}</span></span>
+			</a>`
+	)
+	const plans = waiting.plans.map(
+		(plan) =>
+			html`<a
+				class="item"
+				href="/plans/${plan.planId}@${plan.revision}#decide"
+				data-nav-item
+				data-key="plan:${plan.planId}@${plan.revision}"
+				data-announce="${plan.planId}@${plan.revision} waits for approval"
+			>
+				<span class="id">${plan.planId}@${plan.revision}</span>
+				<span class="what">${plan.summary}</span>
+				<span class="end"><span class="age">${time(plan.since)}</span></span>
+			</a>`
+	)
+	const results = waiting.results.map(
+		(result) =>
+			html`<a
+				class="item"
+				href="/runs/${result.runId}#decide"
+				data-nav-item
+				data-key="run:${result.runId}"
+				data-announce="${result.runId} waits for acceptance"
+			>
+				<span class="id">${result.runId}</span>
+				<span class="what"
+					>${result.planId}@${result.revision} · build <code>${result.build}</code> · ${counts(result.counts)}
+					· coverage ${result.coverage}</span
+				>
+				<span class="end"><span class="age">${time(result.since)}</span></span>
+			</a>`
+	)
+	const requests = waiting.requests.map(
+		(request) =>
+			html`<div class="item" data-key="request:${request.planId}">
+				<span class="id">${request.planId}</span>
+				<span class="what"
+					>${request.objective} · target <code>${request.target}</code> · run
+					<code>/checkmate:plan ${request.planId}</code></span
+				>
+				<span class="end">${pill('requested')} <span class="age">${time(request.since)}</span></span>
+			</div>`
+	)
+	const sub = total ? `${plural(total, 'item')} ${total === 1 ? 'waits' : 'wait'} for you, oldest first.` : null
+	const body = total
+		? html`${group('Gaps to answer', gaps, 'gaps')} ${group('Plans to approve', plans, 'plans')}
+			${group('Results to accept', results, 'results')} ${group('Plans to draft', requests, 'requests')}`
+		: emptyInbox(store)
+	return {
+		title: 'Inbox',
+		section: 'inbox',
+		subjects: ['inbox'],
+		body: html`${heading('Inbox', sub)}
+			<div class="stack" data-region="inbox" data-list>${body}</div>`,
+	}
+}
+
+function emptyInbox(store: Store) {
+	const latest = runList(store).slice(-3).reverse()
+	return html`<div class="empty">
+		<p class="empty-title">Nothing waits for you.</p>
+		${
+			latest.length
+				? html`<p>Latest runs:</p>
+						<ul class="items">
+							${latest.map(
+								(run) =>
+									html`<li>
+										<a class="item" href="/runs/${run.runId}" data-nav-item
+											><span class="id">${run.runId}</span
+											><span class="what"
+												>${run.planId}@${run.revision} · build <code>${run.build}</code></span
+											><span class="end">${pill(run.acceptance ?? run.state)}</span></a
+										>
+									</li>`
+							)}
+						</ul>`
+				: ''
+		}
+		<p><a href="/runs">All runs</a></p>
+	</div>`
+}
+
+type Direction = 'asc' | 'desc'
+type Column = { label: string; sort?: string; first?: Direction }
+type Filter = { name: string; label: string; choices: string[][]; strict: boolean }
+
+export type ListSpec = {
+	path: string
+	region: string
+	noun: string
+	search: string
+	columns: Column[]
+	sort: string
+	direction: Direction
+	filters: Filter[]
+}
+
+export type ListState = {
+	q: string
+	size: number
+	page: number
+	sort: string
+	direction: Direction
+	filters: Record<string, string>
+}
+
+const pageSizes = [25, 50, 100]
+
+export function listState(params: URLSearchParams, spec: ListSpec): ListState {
+	const size = Number(params.get('size'))
+	const page = Math.floor(Number(params.get('page')))
+	const sort = params.get('sort') ?? ''
+	const direction = params.get('dir')
+	const filters: Record<string, string> = {}
+	for (const filter of spec.filters) {
+		const value = params.get(filter.name)?.trim() ?? ''
+		if (!value) continue
+		if (filter.strict && !filter.choices.some(([choice]) => choice === value)) continue
+		filters[filter.name] = value
+	}
+	return {
+		q: params.get('q')?.trim() ?? '',
+		size: pageSizes.includes(size) ? size : 25,
+		page: page > 1 ? page : 1,
+		sort: spec.columns.some((column) => column.sort === sort) ? sort : spec.sort,
+		direction: direction === 'asc' || direction === 'desc' ? direction : spec.direction,
+		filters,
+	}
+}
+
+export function listHref(spec: ListSpec, state: ListState, change: Partial<ListState> = {}) {
+	const next = { ...state, ...change }
+	const params = new URLSearchParams()
+	if (next.q) params.set('q', next.q)
+	for (const filter of spec.filters) if (next.filters[filter.name]) params.set(filter.name, next.filters[filter.name])
+	if (next.size !== 25) params.set('size', String(next.size))
+	if (next.sort !== spec.sort) params.set('sort', next.sort)
+	if (next.direction !== spec.direction) params.set('dir', next.direction)
+	if (next.page > 1) params.set('page', String(next.page))
+	const query = params.toString()
+	return query ? `${spec.path}?${query}` : spec.path
+}
+
+function listPage<T>(state: ListState, load: (query: ListQuery) => ListPage<T>) {
+	const query = (page: number) => ({
+		limit: state.size,
+		offset: (page - 1) * state.size,
+		sort: state.sort,
+		direction: state.direction,
+		q: state.q,
+		filters: state.filters,
+	})
+	const page = load(query(state.page))
+	const last = Math.max(1, Math.ceil(page.total / state.size))
+	if (state.page <= last) return { page, state }
+	return { page: load(query(last)), state: { ...state, page: last } }
+}
+
+function options(choices: string[][], selected: string) {
+	return choices.map(
+		([value, label]) => html`<option value="${value}" ${value === selected ? html`selected` : ''}>${label}</option>`
+	)
+}
+
+function filterChoices(filter: Filter, selected: string) {
+	if (!selected || filter.choices.some(([value]) => value === selected)) return filter.choices
+	return [...filter.choices, [selected, selected]]
+}
+
+function filterBar(spec: ListSpec, state: ListState) {
+	const hiddenField = (name: string, value: string, fallback: string) =>
+		html`<input type="hidden" name="${name}" value="${value}" data-default="${fallback}" />`
+	return html`<form class="filters" method="get" action="${spec.path}" role="search" data-list-form>
+		<label class="sr-only" for="q">Search ${spec.noun}s</label>
+		<input
+			id="q"
+			type="search"
+			name="q"
+			value="${state.q}"
+			placeholder="${spec.search}"
+			autocomplete="off"
+			data-search
+		/>
+		${spec.filters.map(
+			(filter) =>
+				html`<label class="sr-only" for="filter-${filter.name}">${filter.label}</label>
+					<select id="filter-${filter.name}" name="${filter.name}" data-default="">
+						${options(filterChoices(filter, state.filters[filter.name] ?? ''), state.filters[filter.name] ?? '')}
+					</select>`
+		)}
+		<label class="sr-only" for="size">Rows per page</label>
+		<select id="size" name="size" data-default="25">
+			${options(
+				pageSizes.map((size) => [String(size), `${size} rows`]),
+				String(state.size)
+			)}
+		</select>
+		${hiddenField('sort', state.sort, spec.sort)} ${hiddenField('dir', state.direction, spec.direction)}
+		<button class="btn" data-list-submit>Filter</button>
+		<a class="btn ghost" href="${spec.path}" data-list-clear>Clear</a>
+	</form>`
+}
+
+function headerCell(spec: ListSpec, state: ListState, column: Column) {
+	if (!column.sort) return html`<th scope="col">${column.label}</th>`
+	const active = state.sort === column.sort
+	const direction: Direction = active ? (state.direction === 'asc' ? 'desc' : 'asc') : (column.first ?? 'asc')
+	const href = listHref(spec, state, { sort: column.sort, direction, page: 1 })
+	const sorted = active ? html` aria-sort="${state.direction === 'asc' ? 'ascending' : 'descending'}"` : ''
+	const arrow = active ? (state.direction === 'asc' ? '↑' : '↓') : '↕'
+	return html`<th scope="col" ${sorted}>
+		<a class="sort${active ? ' on' : ''}" href="${href}" data-list-link
+			>${column.label}<span class="arrow" aria-hidden="true">${arrow}</span></a
+		>
+	</th>`
+}
+
+function pager(spec: ListSpec, state: ListState, total: number) {
+	const last = Math.max(1, Math.ceil(total / state.size))
+	if (last === 1) return ''
+	const link = (page: number, label: string, rel: string) =>
+		page === state.page || page < 1 || page > last
+			? html`<span class="btn small" aria-disabled="true">${label}</span>`
+			: html`<a class="btn small" href="${listHref(spec, state, { page })}" rel="${rel}" data-list-link
+					>${label}</a
+				>`
+	return html`<nav class="pager" aria-label="Pages">
+		${link(1, '« First', 'first')} ${link(state.page - 1, '‹ Previous', 'prev')}
+		<span class="pager-at">Page ${state.page} of ${last}</span>
+		${link(state.page + 1, 'Next ›', 'next')} ${link(last, 'Last »', 'last')}
+	</nav>`
+}
+
+function listRegion(spec: ListSpec, state: ListState, total: number, rows: Html[], tableClass = '') {
+	const first = total ? (state.page - 1) * state.size + 1 : 0
+	const last = Math.min(total, state.page * state.size)
+	const count = total
+		? `Showing ${first}–${last} of ${plural(total, spec.noun)}`
+		: `No ${spec.noun} matches these filters.`
+	return html`<div data-region="${spec.region}" data-list-region>
+		<p class="list-count" data-list-count role="status">${count}</p>
+		${
+			total
+				? html`<div class="scroll">
+							<table class="${tableClass}">
+								<thead>
+									<tr>
+										${spec.columns.map((column) => headerCell(spec, state, column))}
+									</tr>
+								</thead>
+								<tbody>
+									${rows}
+								</tbody>
+							</table>
+						</div>
+						${pager(spec, state, total)}`
+				: ''
+		}
+	</div>`
+}
+
+const planShows = [
+	['', 'All plans'],
+	['needs_decision', 'Open gaps'],
+	['awaiting_approval', 'Awaiting approval'],
+	['blocked', 'Blocked'],
+]
+
+const approvals = [
+	['', 'Any approval'],
+	['pending', 'Pending'],
+	['approved', 'Approved'],
+	['rejected', 'Rejected'],
+	['not_required', 'Not required'],
+]
+
+const waits = [
+	['', 'Anyone'],
+	['oracle', 'Oracle'],
+	['planner', 'Planner'],
+	['qa', 'QA'],
+	['factory', 'Factory'],
+	['none', 'Nobody'],
+]
+
+export function plansSpec(): ListSpec {
+	return {
+		path: '/plans',
+		region: 'plans',
+		noun: 'plan',
+		search: 'Search plans',
+		columns: [
+			{ label: 'Plan', sort: 'plan' },
+			{ label: 'Loop', sort: 'loop' },
+			{ label: 'Tests', sort: 'tests', first: 'desc' },
+			{ label: 'Open gaps', sort: 'gaps', first: 'desc' },
+			{ label: 'Approval', sort: 'approval' },
+			{ label: 'Blocks', sort: 'blocked', first: 'desc' },
+			{ label: 'Updated', sort: 'updated', first: 'desc' },
+		],
+		sort: 'updated',
+		direction: 'desc',
+		filters: [
+			{ name: 'show', label: 'Show', choices: planShows, strict: true },
+			{ name: 'approval', label: 'Approval', choices: approvals, strict: true },
+			{ name: 'waits', label: 'Waits on', choices: waits, strict: true },
+		],
+	}
+}
+
+type PlanRow = ReturnType<typeof pagedPlans>['rows'][number]
+
+function testSummary(tests: PlanRow['tests']) {
+	return html`${plural(tests.total, 'test')}
+		<span class="muted"
+			>· ${tests.ready}
+			ready${tests.blocked ? ` · ${tests.blocked} blocked` : ''}${tests.deferred ? ` · ${tests.deferred} deferred` : ''}</span
+		>`
+}
+
+function requestedPlanRow(row: PlanRow) {
+	return html`<tr data-key="plan:${row.planId}" data-nav-row>
+		<td><span class="mono">${row.planId}</span></td>
+		<td>${loopState(row.loop)}</td>
+		<td><span class="muted">no revision yet</span></td>
+		<td><span class="muted">none</span></td>
+		<td>${pill('requested')}</td>
+		<td><span class="muted">none</span></td>
+		<td class="nowrap">${time(row.since)}</td>
+	</tr>`
+}
+
+function planRow(row: PlanRow) {
+	if (row.status === 'requested') return requestedPlanRow(row)
+	return html`<tr data-key="plan:${row.planId}" data-nav-row>
+		<td>
+			<a class="mono" href="/plans/${row.planId}@${row.revision}" data-nav-item>${row.planId}@${row.revision}</a>
+		</td>
+		<td>${loopState(row.loop)}</td>
+		<td>${testSummary(row.tests)}</td>
+		<td>
+			${
+				row.openGaps.length
+					? join(
+							row.openGaps.map(
+								(id) =>
+									html`<a class="mono" href="/plans/${row.planId}@${row.revision}/gaps/${id}"
+										>${id}${row.openBlockingGaps.includes(id) ? html`<span class="sr-only"> blocking</span>` : ''}</a
+									>`
+							),
+							', '
+						)
+					: html`<span class="muted">none</span>`
+			}
+		</td>
+		<td>${pill(row.approval ?? row.status)}</td>
+		<td>
+			${
+				row.blocked.length
+					? html`<ul class="plain">
+							${row.blocked.map(
+								(block) =>
+									html`<li>
+										<span class="mono">${block.testId}</span> by
+										<span class="mono">${block.dependency}</span>: ${block.cause}
+									</li>`
+							)}
+						</ul>`
+					: html`<span class="muted">none</span>`
+			}
+		</td>
+		<td class="nowrap">${time(row.since)}</td>
+	</tr>`
+}
+
+export function plansPage(store: Store, params: URLSearchParams): Page {
+	const spec = plansSpec()
+	const { page, state } = listPage(listState(params, spec), (query) => pagedPlans(store, query))
+	return {
+		title: 'Plans',
+		section: 'plans',
+		subjects: ['*'],
+		body: html`${heading('Plans', 'Each plan at its latest revision.')} ${filterBar(spec, state)}
+		${listRegion(spec, state, page.total, page.rows.map(planRow))}`,
+	}
+}
+
+const runStatuses = [
+	['', 'All runs'],
+	['started', 'In progress'],
+	['pending', 'Awaiting acceptance'],
+	['approved', 'Accepted'],
+	['rejected', 'Rejected'],
+	['not_required', 'No acceptance needed'],
+]
+
+export function runStatus(row: { state: string; acceptance: string | null }) {
+	if (row.state === 'started') return pill('started', 'in progress')
+	if (row.acceptance === 'approved') return pill('approved', 'accepted')
+	if (row.acceptance === 'pending') return pill('pending', 'awaiting acceptance')
+	return pill(row.acceptance ?? 'finalized')
+}
+
+function distinct(values: string[]) {
+	return [...new Set(values)].sort().map((value) => [value, value])
+}
+
+export function runsSpec(store: Store): ListSpec {
+	const runs = runList(store)
+	return {
+		path: '/runs',
+		region: 'runs',
+		noun: 'run',
+		search: 'Search runs',
+		columns: [
+			{ label: 'Run', sort: 'run' },
+			{ label: 'Plan', sort: 'plan' },
+			{ label: 'Build', sort: 'build' },
+			{ label: 'Tests' },
+			{ label: 'Completion', sort: 'completion' },
+			{ label: 'Coverage', sort: 'coverage' },
+			{ label: 'Status', sort: 'status' },
+			{ label: 'Started', sort: 'started', first: 'desc' },
+		],
+		sort: 'started',
+		direction: 'desc',
+		filters: [
+			{
+				name: 'plan',
+				label: 'Plan',
+				choices: [['', 'All plans'], ...distinct(planList(store).map((row) => row.planId))],
+				strict: false,
+			},
+			{
+				name: 'build',
+				label: 'Build',
+				choices: [['', 'All builds'], ...distinct(runs.map((row) => row.build))],
+				strict: false,
+			},
+			{ name: 'status', label: 'Status', choices: runStatuses, strict: true },
+		],
+	}
+}
+
+type RunRow = ReturnType<typeof pagedRuns>['rows'][number]
+
+function runRow(row: RunRow) {
+	return html`<tr data-key="run:${row.runId}" data-nav-row>
+		<td><a class="mono" href="/runs/${row.runId}" data-nav-item>${row.runId}</a></td>
+		<td><a class="mono" href="/plans/${row.planId}@${row.revision}">${row.planId}@${row.revision}</a></td>
+		<td class="mono">${row.build}</td>
+		<td>${counts(row.counts)}</td>
+		<td>${row.completion ? pill(row.completion) : html`<span class="muted">running</span>`}</td>
+		<td>${row.coverage ? pill(row.coverage) : html`<span class="muted">–</span>`}</td>
+		<td>${runStatus(row)}</td>
+		<td class="nowrap">${time(row.startedAt)}</td>
+	</tr>`
+}
+
+export function runsPage(store: Store, params: URLSearchParams): Page {
+	const spec = runsSpec(store)
+	const { page, state } = listPage(listState(params, spec), (query) => pagedRuns(store, query))
+	return {
+		title: 'Runs',
+		section: 'runs',
+		subjects: ['*'],
+		body: html`${heading('Runs', 'Every run of every plan.')} ${filterBar(spec, state)}
+		${listRegion(spec, state, page.total, page.rows.map(runRow))}`,
+	}
+}
+
+export function subjectLink(subject: string) {
+	const [kind, id] = subject.split(/:(.*)/)
+	if (kind === 'plan') return html`<a class="mono" href="/plans/${id}">${subject}</a>`
+	if (kind === 'run') return html`<a class="mono" href="/runs/${id}">${subject}</a>`
+	if (kind === 'inbox') return html`<a class="mono" href="/">${subject}</a>`
+	return html`<span class="mono">${subject}</span>`
+}
+
+function reasons(response: unknown) {
+	const list = (response as { reasons?: unknown })?.reasons
+	return Array.isArray(list) ? list.map(String) : []
+}
+
+export function logSpec(store: Store): ListSpec {
+	const recent = operationLog(store, { limit: 1000 })
+	return {
+		path: '/log',
+		region: 'log',
+		noun: 'operation',
+		search: 'Search the log',
+		columns: [
+			{ label: 'Time', sort: 'time', first: 'desc' },
+			{ label: 'Actor', sort: 'actor' },
+			{ label: 'Command', sort: 'command' },
+			{ label: 'Status', sort: 'status' },
+			{ label: 'Subjects' },
+			{ label: 'Operation' },
+		],
+		sort: 'time',
+		direction: 'desc',
+		filters: [
+			{
+				name: 'subject',
+				label: 'Subject',
+				choices: [['', 'All subjects'], ...distinct(recent.flatMap((row) => row.subjects))],
+				strict: false,
+			},
+			{
+				name: 'actor',
+				label: 'Actor',
+				choices: [['', 'All actors'], ...distinct(recent.map((row) => row.actor))],
+				strict: false,
+			},
+			{
+				name: 'command',
+				label: 'Command',
+				choices: [['', 'All commands'], ...distinct(recent.map((row) => row.command))],
+				strict: false,
+			},
+			{
+				name: 'status',
+				label: 'Status',
+				choices: [['', 'All statuses'], ...distinct(recent.map((row) => row.status))],
+				strict: false,
+			},
+		],
+	}
+}
+
+type LogRow = ReturnType<typeof pagedOperations>['rows'][number]
+
+function logRow(row: LogRow) {
+	return html`<tr data-key="op:${row.rowid}">
+		<td class="nowrap">${time(row.at)}</td>
+		<td>${row.actor}</td>
+		<td>
+			<span class="mono">${row.command}</span>
+			${row.status === 'rejected' ? html`<div class="reason">${reasons(row.response).join(' ')}</div>` : ''}
+		</td>
+		<td>${pill(row.status === 'rejected' ? 'rejected_operation' : row.status, words(row.status))}</td>
+		<td>
+			${row.subjects.length ? join(row.subjects.map(subjectLink), ' ') : html`<span class="muted">none</span>`}
+		</td>
+		<td class="mono muted">${row.id}</td>
+	</tr>`
+}
+
+export function logPage(store: Store, params: URLSearchParams): Page {
+	const spec = logSpec(store)
+	const { page, state } = listPage(listState(params, spec), (query) => pagedOperations(store, query))
+	return {
+		title: 'Log',
+		section: 'log',
+		subjects: ['*'],
+		body: html`${heading('Log', 'Every write to the workspace.')} ${filterBar(spec, state)}
+		${listRegion(spec, state, page.total, page.rows.map(logRow), 'log')}`,
+	}
+}