Sync from GitHub 536fc71

frontend/index.html

@@ -265,7 +265,7 @@
         <template x-for="p in spreadPages" :key="p">
           <div class="relative flex-1 min-w-0 grid place-items-center">
             <img :src="`/page/${encodeURIComponent(viewDoc)}/${p}?v=__PAGE_V__`"
-                 @load="nat[p]={w:$event.target.naturalWidth,h:$event.target.naturalHeight}; if(p===viewPage){imgW=$event.target.naturalWidth; imgH=$event.target.naturalHeight;}"
+                 @load="nat[p]={w:$event.target.naturalWidth,h:$event.target.naturalHeight}; if(p===viewPage){imgW=$event.target.naturalWidth; imgH=$event.target.naturalHeight;} console.log('[page-load]', p, $event.target.naturalWidth+'x'+$event.target.naturalHeight, $event.target.currentSrc)"
                  class="col-start-1 row-start-1 block max-h-full max-w-full w-auto h-auto select-none rounded-lg shadow-sm ring-1 ring-navy/10"
                  draggable="false" alt="manual page">
             <!-- box overlay: a rounded rectangle hugging the grounded region,
@@ -668,7 +668,16 @@ function repairGuy() {
             this.recordHistory(ev.message||'done');
           }else if(ev.found){  // point
             this.setPage(ev.page);
-            if(ev.bbox){ this.circle={page:ev.page, bbox:ev.bbox, dims:ev.dims}; find.icon='target'; find.label=`Circled “${ev.target}”`; this.recordHistory(`circled “${ev.target}” on p.${ev.page}`); }
+            if(ev.bbox){ this.circle={page:ev.page, bbox:ev.bbox, dims:ev.dims};
+              // DIAGNOSTIC: is the live overlay using the backend grounding dims?
+              // dimsFromBackend null  -> server not sending dims (restart it).
+              // natLoaded ≠ dimsFromBackend -> displayed page PNG is a different
+              // (e.g. stale/half) resolution than what the box was grounded on;
+              // boxDimsUsed is what the SVG viewBox actually uses to place the box.
+              console.log('[circle-diag]', {page:ev.page, bbox:ev.bbox,
+                dimsFromBackend:ev.dims, natLoaded:this.nat[ev.page],
+                boxDimsUsed:this.boxDims(ev.page), usingBackendDims:!!ev.dims});
+              find.icon='target'; find.label=`Circled “${ev.target}”`; this.recordHistory(`circled “${ev.target}” on p.${ev.page}`); }
             else { find.icon='file-text'; find.label=`Showed “${ev.target}”`; this.recordHistory(`showed “${ev.target}” on p.${ev.page}`); }  // page found, not pinpointed
             find.detail=`p.${ev.page}${meta}`;
           }else{