From 0ae75bfdb26f5996497e6a0aaa77914b70437fdf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=90=D0=BD=D1=82=D0=BE=D0=BD=20=D0=A2=D1=80=D0=BE=D1=88?=
 =?UTF-8?q?=D0=B8=D0=BD?= <i@atroshin.ru>
Date: Mon, 17 Aug 2026 01:26:09 +0300
Subject: [PATCH] Shorten 'current ADF' and dedupe files in trace map

---
 frontend/index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/frontend/index.html b/frontend/index.html
index b113615..81d1e9b 100644
--- a/frontend/index.html
+++ b/frontend/index.html
@@ -938,8 +938,8 @@ function map_file_label(m) {
     const d = m.decoded;
     if (!d) return null;
     if (d.ins_hex === 'a4') {  // SELECT
-        if (d.body && d.body.note) return d.body.note;
-        if (d.summary) return d.summary;
+        if (d.body && d.body.note) return d.body.note.replace('current ADF', 'ADF');
+        if (d.summary) return d.summary.replace('current ADF', 'ADF');
         return null;
     }
     if (d.file) return d.file.ef || d.file.fid || null;
@@ -1002,7 +1002,7 @@ function buildTraceMap() {
                     let end = rec.end;
                     let m = k;
                     while (m < access.length && access[m].hasWrite && !access[m].hasRead) {
-                        if (access[m].file) files.push(access[m].file);
+                        if (access[m].file && !files.includes(access[m].file)) files.push(access[m].file);
                         end = access[m].end;
                         m++;
                     }
@@ -1013,7 +1013,7 @@ function buildTraceMap() {
                     let end = rec.end;
                     let m = k;
                     while (m < access.length && !access[m].hasWrite) {
-                        if (access[m].file) files.push(access[m].file);
+                        if (access[m].file && !files.includes(access[m].file)) files.push(access[m].file);
                         end = access[m].end;
                         m++;
                     }