@vibesdotdev/traversal 0.0.0-stage → 1.0.0-rc.0

package/dist/svelte/GraphRunView.svelte

@@ -0,0 +1,222 @@
+<!--
+  Presents recorded traversal projections. No fetch, store, scheduler, or stamp parsing.
+  Missing observation stays unobserved. blockedBy renders only when the projection recorded it.
+-->
+<script lang="ts">
+	import { RunEvidence } from '@vibesdotdev/runnable/svelte';
+	import type { Snippet } from 'svelte';
+	import { Button } from '@vibesdotdev/kit/components/ui/button';
+	import { Badge } from '@vibesdotdev/kit/components/ui/badge';
+	import { Card } from '@vibesdotdev/kit/components/ui/card';
+	import type {
+		TraversalNodeView,
+		TraversalRevisionView,
+		TraversalView,
+		TraversalVisitEvidence,
+	} from '../tracking/traversal-view.js';
+
+	interface Props {
+		traversals: readonly TraversalView[];
+		onselect?: (runId: string) => void;
+		drill?: Snippet<[TraversalNodeView]>;
+	}
+
+	let { traversals, onselect, drill }: Props = $props();
+	let opened = $state<string | null>(null);
+	let evidenceOpen = $state<Record<string, boolean>>({});
+
+	function isBetween(stamp: TraversalVisitEvidence['stamp']): stamp is Extract<TraversalVisitEvidence['stamp'], { between: true }> {
+		return 'between' in stamp && stamp.between === true;
+	}
+
+	function visitKey(record: TraversalVisitEvidence): string {
+		const stamp = record.stamp;
+		const mark = isBetween(stamp)
+			? `between:${stamp.step}:${stamp.coordinationOrdinal}`
+			: `${stamp.id}:${stamp.step}:${stamp.revision}:${stamp.attempt}`;
+		return JSON.stringify([record.run.id, mark]);
+	}
+
+	function nodeKey(traversalId: string, revision: number, nodeId: string): string {
+		return JSON.stringify([traversalId, revision, nodeId]);
+	}
+
+	function panelId(traversalId: string, revision: number): string {
+		return `graph-run-${encodeURIComponent(JSON.stringify([traversalId, revision]))}`;
+	}
+
+	function fact(outcome: TraversalNodeView['outcome']): string {
+		if (outcome === undefined) return 'outcome unobserved';
+		if (outcome.status === 'done') return 'done';
+		if (outcome.status === 'not-done') {
+			return outcome.failure?.message ? `not-done: ${outcome.reason}; ${outcome.failure.message}` : `not-done: ${outcome.reason}`;
+		}
+		if (outcome.status === 'disputed') return `disputed: ${outcome.why}`;
+		if (outcome.cause.kind === 'dependency') return `skipped: ${outcome.reason} (dependency; blockedBy ${outcome.cause.blockedBy.join(', ')})`;
+		return `skipped: ${outcome.reason} (${outcome.cause.kind})`;
+	}
+
+	function recordFact(record: TraversalVisitEvidence): string {
+		const stamp = record.stamp;
+		const where = isBetween(stamp)
+			? `coordinator step ${stamp.step} ordinal ${stamp.coordinationOrdinal}`
+			: `node ${stamp.id} step ${stamp.step} stamp revision ${stamp.revision} attempt ${stamp.attempt}`;
+		const ref = record.run.ref;
+		const reference = ref ? [ref.jobId && `job ${ref.jobId}`, ref.aiCallRunId && `ai call ${ref.aiCallRunId}`, ref.ciRunId && `ci ${ref.ciRunId}`, ref.executionReference && `execution ${ref.executionReference}`].filter(Boolean).join(', ') : '';
+		return [where, `run ${record.run.id}`, `runnable ${record.run.runnableId}`, record.run.parentRunId && `parent ${record.run.parentRunId}`, `run status ${record.run.status}`, fact(record.run.outcome), reference].filter(Boolean).join('; ');
+	}
+
+	function looseVisits(revision: TraversalRevisionView): TraversalVisitEvidence[] {
+		const attached = new Set<string>();
+		for (const step of revision.steps) for (const record of step.coordinators) attached.add(visitKey(record));
+		for (const node of revision.nodes) for (const record of node.records) attached.add(visitKey(record));
+		return revision.visits.filter((record) => !attached.has(visitKey(record)));
+	}
+</script>
+
+{#snippet recordRow(record: TraversalVisitEvidence)}
+	<li class="grid min-w-0 gap-2 rounded-md bg-muted/30 p-3">
+		<p class="break-words text-xs leading-relaxed text-muted-foreground">{recordFact(record)}</p>
+		{#if onselect}
+			<div class="flex flex-wrap gap-2">
+				<Button variant="outline" size="sm" type="button" onclick={() => onselect?.(record.run.id)}>Select run {record.run.id}</Button>
+				{#if record.run.parentRunId}
+					<Button variant="outline" size="sm" type="button" onclick={() => record.run.parentRunId && onselect?.(record.run.parentRunId)}>Select parent {record.run.parentRunId}</Button>
+				{/if}
+			</div>
+		{/if}
+	</li>
+{/snippet}
+
+{#snippet nodeCard(traversalId: string, revision: number, node: TraversalNodeView)}
+	<Card role="article" aria-label={node.node.label ?? node.node.id} data-observation={node.observation} data-outcome={node.outcome?.status} class="gap-3 rounded-lg border-l-4 px-4 py-3 data-[outcome=done]:border-l-success data-[outcome=not-done]:border-l-destructive data-[outcome=disputed]:border-l-warning data-[outcome=skipped]:border-l-muted-foreground">
+		<div class="flex flex-wrap items-start justify-between gap-2"><h5 class="text-sm font-semibold">{node.node.label ?? node.node.id}</h5><Badge variant="outline">{node.observation}</Badge></div>
+		<p>{node.node.id}{#if node.node.kind}; kind {node.node.kind}{/if}; steps {node.steps.join(', ') || 'none'}</p>
+		{#if node.observation === 'recorded'}<p>{fact(node.outcome)}</p>{/if}
+		{#if node.blockedBy !== undefined}<p>Blocked by: {node.blockedBy.length ? node.blockedBy.join(', ') : '(empty)'}</p>{/if}
+		{#if node.failure}<p role="alert">Execution: {node.failure.message} <code>{node.failure.code}</code></p>{/if}
+		{#if node.attempts.length}
+			<details><summary>Durable attempt history ({node.attempts.length})</summary>
+				<ul>{#each node.attempts as attempt}<li>Revision {attempt.revision}, attempt {attempt.attempt}; {fact(attempt.outcome)}; job {attempt.jobId ?? 'not recorded'}</li>{/each}</ul>
+			</details>
+		{/if}
+		{#if node.cohorts.length}
+			<ul aria-label="Cohorts of {node.node.id}">
+				{#each node.cohorts as cohort, index (`${node.node.id}:${index}`)}<li>cohort {cohort.join(' → ')}</li>{/each}
+			</ul>
+		{/if}
+		{#if drill}
+			<Button variant="outline" size="sm" type="button" aria-expanded={opened === nodeKey(traversalId, revision, node.node.id)} aria-controls={panelId(traversalId, revision)} onclick={() => {
+				const key = nodeKey(traversalId, revision, node.node.id);
+				opened = opened === key ? null : key;
+			}}>Details for {node.node.id}</Button>
+		{/if}
+		{#if node.records.length}
+			<ul aria-label="Attempts for {node.node.id}">
+				{#each node.records as record (visitKey(record))}{@render recordRow(record)}{/each}
+			</ul>
+		{/if}
+	</Card>
+{/snippet}
+
+<div class="graph-run text-sm">
+	{#if traversals.length === 0}<p>No traversals recorded.</p>{/if}
+	{#each traversals as traversal (traversal.traversalId)}
+		<section>
+			<h2 class="break-all text-base font-semibold">Traversal <code class="text-sm">{traversal.traversalId}</code></h2>
+			{#each traversal.revisions as revision (revision.revision)}
+				<section>
+					<div class="flex items-center gap-2 border-b border-border pb-3"><h3 class="text-sm font-semibold">Revision {revision.revision}</h3><Badge variant="secondary">{revision.nodes.length} nodes</Badge></div>
+					{#if revision.planAmbiguous}<p>plans ambiguous</p>{/if}
+					{#if revision.executionAmbiguous}<p role="alert">Conflicting execution records; all evidence is retained below.</p>{/if}
+					{#each revision.plans as plan (JSON.stringify([plan.owner.id, plan.artifactId]))}
+						<p>plan {plan.artifactId}; source {plan.plan.source}; strategy {plan.plan.strategy}; onFailure {plan.plan.onFailure}; owner run {plan.owner.id}; run status {plan.owner.status}</p>
+						{#if onselect}<Button variant="outline" size="sm" type="button" onclick={() => onselect?.(plan.owner.id)}>Select run {plan.owner.id}</Button>{/if}
+						{#if plan.plan.cycles.length}
+							<ul aria-label="Cycles in {plan.artifactId}">
+								{#each plan.plan.cycles as cycle, index (`${plan.artifactId}:${index}`)}<li>cycle {cycle.join(' → ')}</li>{/each}
+							</ul>
+						{/if}
+					{/each}
+					{#if revision.nodes.some((node) => node.dependencies.length > 0)}
+						<ul aria-label="Dependency edges">
+							{#each revision.nodes as node (node.node.id)}
+								{#each node.dependencies as edge (`${node.node.id}:${edge.id}`)}
+									<li>{node.node.id} depends on {edge.id}; {edge.inCohort ? 'in cohort' : 'outside cohort'}; observation {edge.observation}{#if edge.observation === 'recorded'}; {fact(edge.outcome)}{/if}</li>
+								{/each}
+							{/each}
+						</ul>
+					{/if}
+					<ol class="tiers">
+						{#each revision.steps as tier (tier.step.index)}
+							<li>
+								<h4 class="text-sm font-semibold">Step {tier.step.index}</h4>
+								<p>{revision.nodes.filter(node => node.steps.includes(tier.step.index) && node.outcome).length} of {tier.step.ids.length} outcomes recorded</p>
+								<p>{tier.step.ids.join(', ') || 'no node ids'}</p>
+								{#if tier.ambiguous}<p>coordinators ambiguous</p>{/if}
+								{#if tier.coordinators.length}
+									<ul aria-label="Coordinators for step {tier.step.index}">
+										{#each tier.coordinators as record (visitKey(record))}{@render recordRow(record)}{/each}
+									</ul>
+								{/if}
+								{#each revision.nodes.filter((node) => node.steps.includes(tier.step.index)) as node (node.node.id)}
+									{@render nodeCard(traversal.traversalId, revision.revision, node)}
+								{/each}
+							</li>
+						{/each}
+					</ol>
+					{#each revision.executions as evidence (JSON.stringify([evidence.owner.id, evidence.artifactId]))}
+						{@const evidenceKey = JSON.stringify([traversal.traversalId, revision.revision, evidence.owner.id, evidence.artifactId])}
+						<details bind:open={evidenceOpen[evidenceKey]}><summary>Recorded execution evidence · {evidence.artifactId}</summary>{#if evidenceOpen[evidenceKey]}<RunEvidence title="Recorded traversal execution" value={evidence.execution} />{/if}</details>
+					{/each}
+					{#each revision.nodes.filter((node) => node.steps.length === 0) as node (node.node.id)}
+						{@render nodeCard(traversal.traversalId, revision.revision, node)}
+					{/each}
+					{#if looseVisits(revision).length}
+						<section>
+							<h4>Visits not attached to a plan node</h4>
+							<ul>
+								{#each looseVisits(revision) as record (visitKey(record))}{@render recordRow(record)}{/each}
+							</ul>
+						</section>
+					{/if}
+					{#if drill && opened}
+						{#each revision.nodes.filter((node) => nodeKey(traversal.traversalId, revision.revision, node.node.id) === opened) as node (node.node.id)}
+							<div id={panelId(traversal.traversalId, revision.revision)}>{@render drill(node)}</div>
+						{/each}
+					{/if}
+				</section>
+			{/each}
+			{#if traversal.unmatched.length}
+				<section>
+					<h3>Unmatched records</h3>
+					<ul>
+						{#each traversal.unmatched as record (visitKey(record))}{@render recordRow(record)}{/each}
+					</ul>
+				</section>
+			{/if}
+			{#each traversal.unmatchedExecutions as evidence (JSON.stringify([evidence.owner.id, evidence.artifactId]))}
+				{@const evidenceKey = JSON.stringify([traversal.traversalId, evidence.revision, evidence.owner.id, evidence.artifactId])}
+				<details bind:open={evidenceOpen[evidenceKey]}><summary>Execution without its recorded plan · revision {evidence.revision}</summary>{#if evidenceOpen[evidenceKey]}<RunEvidence title="Recorded traversal execution" value={evidence.execution} />{/if}</details>
+			{/each}
+		</section>
+	{/each}
+</div>
+
+<style>
+	.graph-run, .graph-run section { display: grid; gap: 0.75rem; min-width: 0; }
+	.tiers {
+		display: grid;
+		grid-template-columns: repeat(auto-fit, minmax(min(100%, 18rem), 1fr));
+		gap: 1rem;
+		margin: 0;
+		padding: 0;
+		list-style: none;
+	}
+	ul { margin: 0; padding-left: 1.25rem; }
+	p { margin: 0; overflow-wrap: anywhere; line-height: 1.6; }
+	details { border: 1px solid var(--border); border-radius: var(--radius); padding: .75rem; }
+	summary { cursor: pointer; font-weight: 500; overflow-wrap: anywhere; }
+	summary:focus-visible { outline: 2px solid var(--ring); outline-offset: 2px; }
+	.tiers > li { display: grid; align-content: start; gap: .75rem; }
+</style>

package/dist/svelte/GraphRunView.svelte.d.ts

@@ -0,0 +1,11 @@
+import type { Snippet } from 'svelte';
+import type { TraversalNodeView, TraversalView } from '../tracking/traversal-view.ts';
+interface Props {
+    traversals: readonly TraversalView[];
+    onselect?: (runId: string) => void;
+    drill?: Snippet<[TraversalNodeView]>;
+}
+declare const GraphRunView: import("svelte").Component<Props, {}, "">;
+type GraphRunView = ReturnType<typeof GraphRunView>;
+export default GraphRunView;
+//# sourceMappingURL=GraphRunView.svelte.d.ts.map

package/dist/svelte/GraphRunView.svelte.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GraphRunView.svelte.d.ts","sourceRoot":"","sources":["../../src/svelte/GraphRunView.svelte.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAItC,OAAO,KAAK,EACV,iBAAiB,EAEjB,aAAa,EAEb,MAAM,+BAA+B,CAAC;AAGvC,UAAU,KAAK;IACd,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IACrC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;CACrC;AAqMF,QAAA,MAAM,YAAY,2CAAwC,CAAC;AAC3D,KAAK,YAAY,GAAG,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC;AACpD,eAAe,YAAY,CAAC"}

package/dist/svelte/index.d.ts

@@ -0,0 +1,3 @@
+export { default as GraphRunView } from './GraphRunView.svelte';
+export { default as GraphRunSection } from './GraphRunSection.svelte';
+//# sourceMappingURL=index.d.ts.map

package/dist/svelte/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/svelte/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/svelte/index.js

@@ -0,0 +1,2 @@
+export { default as GraphRunView } from './GraphRunView.svelte';
+export { default as GraphRunSection } from './GraphRunSection.svelte';

package/dist/tracking/index.d.ts

@@ -0,0 +1,2 @@
+export * from './traversal-view.ts';
+//# sourceMappingURL=index.d.ts.map

package/dist/tracking/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tracking/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC"}

package/dist/tracking/index.js

@@ -0,0 +1,2 @@
+export * from "./traversal-view.js";
+//# sourceMappingURL=index.js.map

package/dist/tracking/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tracking/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC"}

package/dist/tracking/selected-traversal.d.ts

@@ -0,0 +1,9 @@
+import type { RunnableClient, RunnableSnapshot, RunnableWatchSnapshot } from '@vibesdotdev/runnable';
+import { type TraversalView } from './traversal-view.ts';
+/** Only recorded plan evidence admits a descendant read; other selected runs need none. */
+export declare function selectedTraversalRunId(selected: RunnableSnapshot | null): string | null;
+/** The full selected owner supplies artifacts; record-only descendants supply visit stamps. */
+export declare function selectedTraversalViews(selected: RunnableSnapshot | null, records: RunnableWatchSnapshot | null): readonly TraversalView[];
+/** Own only the selected subtree subscription, including a close before admission finishes. */
+export declare function followTraversalRecords(source: Pick<RunnableClient, 'watch'>, runId: string | null, receive: (snapshot: RunnableWatchSnapshot) => void, failed: (cause: unknown) => void): () => Promise<void>;
+//# sourceMappingURL=selected-traversal.d.ts.map

package/dist/tracking/selected-traversal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"selected-traversal.d.ts","sourceRoot":"","sources":["../../src/tracking/selected-traversal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACrG,OAAO,EAAuB,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAG9E,2FAA2F;AAC3F,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAGvF;AAED,+FAA+F;AAC/F,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,gBAAgB,GAAG,IAAI,EACjC,OAAO,EAAE,qBAAqB,GAAG,IAAI,GACnC,SAAS,aAAa,EAAE,CAO1B;AAED,+FAA+F;AAC/F,wBAAgB,sBAAsB,CACrC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,EACrC,KAAK,EAAE,MAAM,GAAG,IAAI,EACpB,OAAO,EAAE,CAAC,QAAQ,EAAE,qBAAqB,KAAK,IAAI,EAClD,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,GAC9B,MAAM,OAAO,CAAC,IAAI,CAAC,CAmBrB"}

package/dist/tracking/selected-traversal.js

@@ -0,0 +1,40 @@
+import { buildTraversalViews } from "./traversal-view.js";
+import { TRAVERSAL_PLAN_ARTIFACT } from "../tracking-schemas.js";
+/** Only recorded plan evidence admits a descendant read; other selected runs need none. */
+export function selectedTraversalRunId(selected) {
+    return selected?.artifacts.some(artifact => artifact.artifactKind === TRAVERSAL_PLAN_ARTIFACT)
+        ? selected.run.id : null;
+}
+/** The full selected owner supplies artifacts; record-only descendants supply visit stamps. */
+export function selectedTraversalViews(selected, records) {
+    if (!selected)
+        return records ? buildTraversalViews(records) : [];
+    const snapshots = [selected, ...(records?.runs ?? []).filter(row => row.run.id !== selected.run.id)];
+    return buildTraversalViews(snapshots).filter(view => view.revisions.some(revision => revision.plans.some(evidence => evidence.owner.id === selected.run.id)));
+}
+/** Own only the selected subtree subscription, including a close before admission finishes. */
+export function followTraversalRecords(source, runId, receive, failed) {
+    if (runId === null)
+        return async () => { };
+    let closed = false;
+    let closing;
+    const opening = source.watch({ under: runId }, snapshot => {
+        if (!closed)
+            receive(snapshot);
+    }, {
+        projection: 'records',
+        onError: cause => { if (!closed)
+            failed(cause); }
+    });
+    // Keep setup rejection handled while the view owns this asynchronous admission.
+    void opening.catch(cause => { if (!closed)
+        failed(cause); });
+    return () => {
+        if (closing)
+            return closing;
+        closed = true;
+        closing = opening.then(stop => stop());
+        return closing;
+    };
+}
+//# sourceMappingURL=selected-traversal.js.map

package/dist/tracking/selected-traversal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selected-traversal.js","sourceRoot":"","sources":["../../src/tracking/selected-traversal.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAsB,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,2FAA2F;AAC3F,MAAM,UAAU,sBAAsB,CAAC,QAAiC;IACvE,OAAO,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,uBAAuB,CAAC;QAC7F,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3B,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,sBAAsB,CACrC,QAAiC,EACjC,OAAqC;IAErC,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAElE,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrG,OAAO,mBAAmB,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CACnF,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CACtE,CAAC,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,sBAAsB,CACrC,MAAqC,EACrC,KAAoB,EACpB,OAAkD,EAClD,MAAgC;IAEhC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,IAAI,EAAE,GAAE,CAAC,CAAC;IAC1C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,OAAkC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,QAAQ,CAAC,EAAE;QACzD,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,EAAE;QACF,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KACjD,CAAC,CAAC;IACH,gFAAgF;IAChF,KAAK,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM;QAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE7D,OAAO,GAAG,EAAE;QACX,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QAC5B,MAAM,GAAG,IAAI,CAAC;QACd,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACvC,OAAO,OAAO,CAAC;IAChB,CAAC,CAAC;AACH,CAAC"}

package/dist/tracking/traversal-view.d.ts

@@ -0,0 +1,68 @@
+import type { RunArtifactWrite, RunnableSnapshot, RunnableTrackedRun, RunnableWatchSnapshot, SkipCause } from '@vibesdotdev/runnable';
+import { type TraversalPlan, type TraversalExecution, type VisitStamp } from '@vibesdotdev/traversal/schemas';
+export type TraversalRunRef = Pick<RunnableTrackedRun, 'id' | 'runnableId' | 'status' | 'parentRunId' | 'outcome' | 'ref'>;
+export type TraversalObservation = 'unobserved' | 'recorded' | 'ambiguous';
+type BlockedBy = Extract<SkipCause, {
+    kind: 'dependency';
+}>['blockedBy'];
+export interface TraversalPlanEvidence {
+    readonly plan: TraversalPlan;
+    readonly artifactId: RunArtifactWrite['id'];
+    readonly owner: TraversalRunRef;
+}
+export interface TraversalExecutionEvidence {
+    readonly traversalId: TraversalPlan['traversalId'];
+    readonly revision: TraversalPlan['revision'];
+    readonly execution: TraversalExecution;
+    readonly artifactId: RunArtifactWrite['id'];
+    readonly owner: TraversalRunRef;
+}
+export interface TraversalVisitEvidence {
+    readonly stamp: VisitStamp;
+    readonly run: TraversalRunRef;
+}
+export interface TraversalDependencyEvidence {
+    readonly id: TraversalPlan['nodes'][number]['dependsOn'][number];
+    readonly inCohort: boolean;
+    readonly observation: TraversalObservation;
+    readonly outcome: RunnableTrackedRun['outcome'];
+}
+export interface TraversalNodeView {
+    readonly node: TraversalPlan['nodes'][number];
+    readonly steps: ReadonlyArray<TraversalPlan['steps'][number]['index']>;
+    readonly cohorts: ReadonlyArray<TraversalPlan['cycles'][number]>;
+    readonly records: readonly TraversalVisitEvidence[];
+    readonly dependencies: readonly TraversalDependencyEvidence[];
+    readonly observation: TraversalObservation;
+    /** Greatest stamp revision, then attempt, when no semantic key collides. History stays on `records`. */
+    readonly outcome: RunnableTrackedRun['outcome'];
+    /** A recorded dependency skip. Unobserved is not treated as blocked. */
+    readonly blockedBy: BlockedBy | undefined;
+    readonly attempts: TraversalExecution['attempts'][string];
+    readonly failure: TraversalExecution['failures'][string] | undefined;
+}
+export interface TraversalStepView {
+    readonly step: TraversalPlan['steps'][number];
+    readonly coordinators: readonly TraversalVisitEvidence[];
+    readonly ambiguous: boolean;
+}
+export interface TraversalRevisionView {
+    readonly revision: TraversalPlan['revision'];
+    readonly plans: readonly TraversalPlanEvidence[];
+    readonly planAmbiguous: boolean;
+    readonly nodes: readonly TraversalNodeView[];
+    readonly steps: readonly TraversalStepView[];
+    readonly visits: readonly TraversalVisitEvidence[];
+    readonly executions: readonly TraversalExecutionEvidence[];
+    readonly executionAmbiguous: boolean;
+}
+export interface TraversalView {
+    readonly traversalId: TraversalPlan['traversalId'];
+    readonly revisions: readonly TraversalRevisionView[];
+    readonly unmatched: readonly TraversalVisitEvidence[];
+    readonly unmatchedExecutions: readonly TraversalExecutionEvidence[];
+}
+/** Project watch runs, or a snapshot list, into per-traversal views. */
+export declare function buildTraversalViews(input: RunnableWatchSnapshot | readonly RunnableSnapshot[]): readonly TraversalView[];
+export {};
+//# sourceMappingURL=traversal-view.d.ts.map

package/dist/tracking/traversal-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"traversal-view.d.ts","sourceRoot":"","sources":["../../src/tracking/traversal-view.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACtI,OAAO,EAA0H,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAEtO,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,IAAI,GAAG,YAAY,GAAG,QAAQ,GAAG,aAAa,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC;AAC3H,MAAM,MAAM,oBAAoB,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,CAAC;AAC3E,KAAK,SAAS,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC,WAAW,CAAC,CAAC;AAEzE,MAAM,WAAW,qBAAqB;IAAG,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAAE;AACrJ,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CAChC;AACD,MAAM,WAAW,sBAAsB;IAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAA;CAAE;AACrG,MAAM,WAAW,2BAA2B;IAC3C,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CAChD;AACD,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACpD,QAAQ,CAAC,YAAY,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,wGAAwG;IACxG,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAChD,wEAAwE;IACxE,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CACrE;AACD,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACzD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC5B;AACD,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACjD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC3D,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACrC;AACD,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,QAAQ,CAAC,SAAS,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACtD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,0BAA0B,EAAE,CAAC;CACpE;AAwID,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,qBAAqB,GAAG,SAAS,gBAAgB,EAAE,GAAG,SAAS,aAAa,EAAE,CAuExH"}