diff --git a/web/src/components/exploration-graph.tsx b/web/src/components/exploration-graph.tsx
index 34afa45..7e53e18 100644
Binary files a/web/src/components/exploration-graph.tsx and b/web/src/components/exploration-graph.tsx differ
diff --git a/web/src/lib/types.ts b/web/src/lib/types.ts
index 6fac143..13ca429 100644
--- a/web/src/lib/types.ts
+++ b/web/src/lib/types.ts
@@ -401,12 +401,12 @@ export interface Company {
 }
 
 // ---- Exploration graph (per task) ----
-export type ExploreKind = "task" | "begin" | "goal" | "intent" | "fact" | "finding" | "hint";
+export type ExploreKind = "task" | "begin" | "goal" | "intent" | "fact" | "finding" | "hint" | "digest";
 export type GoalState = "open" | "met" | "abandoned";
 export type IntentState = "open" | "running" | "paused" | "done" | "blocked" | "exhausted" | "stopped";
 export type FindingState = "confirmed" | "dismissed";
 export type HintState = "active" | "consumed";
-export type ExploreRel = "spawns" | "derived_from" | "yields" | "proves";
+export type ExploreRel = "spawns" | "derived_from" | "yields" | "proves" | "covers";
 
 export interface TaskNode {
   id: string;