From a8df2d4ab4cc9203508649b48e44d9a0471ae93a Mon Sep 17 00:00:00 2001
From: Javier Sagredo <javier.sagredo@iohk.io>
Date: Thu, 7 May 2026 00:13:09 +0200
Subject: [PATCH] Drop the "satisfies Foo" label on fam-resolves chain edges
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

The teal-dotted edge between a fam-instance and the matched class
instance already speaks for itself — its endpoints (and the side
panel on click) carry the same information the inline label was
trying to add. The label was just visual noise.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 data/viewer.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/data/viewer.js b/data/viewer.js
index fceca61..45d1fd3 100644
--- a/data/viewer.js
+++ b/data/viewer.js
@@ -679,7 +679,6 @@
                   source: fiNodeId,
                   target: mId,
                   kind: 'fam-resolves',
-                  label: 'satisfies ' + predClassQn.qnName,
                 }});
               }
             }
-- 
2.54.0