Upload routes/refinity.js with huggingface_hub

routes/refinity.js

@@ -458,79 +458,6 @@ router.post('/compare-comments-with-corrections', async (req, res) => {
         }
         return out;
       })();
-
-      // Gap-fill fallback: if there are real text edits between prev/current that are NOT covered by any
-      // annotation-derived span, add a sidebar comment with category=other and correction from `current`.
-      // This prevents "missing edits" on datasets where some revisions were made without saved highlights.
-      try {
-        const covered = mergedAnnotations
-          .filter(a => typeof a.start === 'number' && typeof a.end === 'number')
-          .map(a => ({ s: a.start, e: a.end }));
-        const overlapsAny = (s, e) => covered.some(r => !(e <= r.s || s >= r.e));
-
-        const diffParts = safeDiffTokens(prev, current);
-        let oldPos = 0;
-        for (let i = 0; i < diffParts.length; i++) {
-          const part = diffParts[i];
-          const val = Array.isArray(part.value) ? part.value.join('') : String(part.value || '');
-
-          if (part.removed) {
-            const removedText = val;
-            const start = oldPos;
-            const end = oldPos + removedText.length;
-            const next = diffParts[i + 1];
-            const nextVal = next && next.added ? (Array.isArray(next.value) ? next.value.join('') : String(next.value || '')) : '';
-            const hasReplacement = !!(next && next.added);
-
-            if (removedText && end > start && !overlapsAny(start, end)) {
-              mergedAnnotations.push({
-                start,
-                end,
-                removedText,
-                replacementText: hasReplacement ? nextVal : '',
-                category: 'other',
-                isDeleted: !hasReplacement,
-                isInsertion: false,
-                isMove: false,
-              });
-              covered.push({ s: start, e: end });
-            }
-            oldPos += removedText.length;
-            continue;
-          }
-
-          if (part.added) {
-            // Pure insertion (not a paired replacement): attach to a 1-char anchor in prev.
-            const addedText = val;
-            const prevPart = diffParts[i - 1];
-            const isPairedReplacement = !!(prevPart && prevPart.removed);
-            if (!isPairedReplacement && addedText) {
-              const anchor = Math.max(0, oldPos - 1);
-              const start = anchor;
-              const end = Math.min(prev.length, anchor + 1);
-              if (end > start && !overlapsAny(start, end)) {
-                mergedAnnotations.push({
-                  start,
-                  end,
-                  removedText: prev.slice(start, end),
-                  replacementText: addedText,
-                  category: 'other',
-                  isDeleted: false,
-                  isInsertion: true,
-                  isMove: false,
-                });
-                covered.push({ s: start, e: end });
-              }
-            }
-            continue;
-          }
-
-          // unchanged segment advances oldPos
-          oldPos += val.length;
-        }
-
-        mergedAnnotations.sort((a, b) => a.start - b.start || a.end - b.end);
-      } catch {}
     } else {
     // 1) Run diff to find ALL changes (like Show Diff does)
     const diffParts = safeDiffTokens(prev, current);