execweave 0.8.16__tar.gz → 0.8.18__tar.gz

{execweave-0.8.16 → execweave-0.8.18}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: execweave
-Version: 0.8.16
+Version: 0.8.18
 Summary: Turn AI-agent runtime behavior into a local interactive execution graph.
 Project-URL: Homepage, https://github.com/Irish-kw/ExecWeave
 Project-URL: Repository, https://github.com/Irish-kw/ExecWeave

{execweave-0.8.16 → execweave-0.8.18}/pyproject.toml

@@ -4,8 +4,8 @@ build-backend = "hatchling.build"
 
 [project]
 name = "execweave"
-# ExecWeave v0.8.16 release metadata
-version = "0.8.16"
+# ExecWeave v0.8.18 release metadata
+version = "0.8.18"
 description = "Turn AI-agent runtime behavior into a local interactive execution graph."
 readme = "README.md"
 requires-python = ">=3.10"
@@ -95,6 +95,14 @@ execweave-scalability = "execweave.scalability_benchmark:main"
 [tool.hatch.build.targets.wheel]
 packages = ["src/execweave"]
 
+[tool.hatch.build.targets.sdist]
+include = [
+  "/src/execweave",
+  "/pyproject.toml",
+  "/README.md",
+  "/LICENSE",
+]
+
 [tool.pytest.ini_options]
 testpaths = ["tests"]
 pythonpath = ["src"]

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/__init__.py

@@ -1,3 +1,3 @@
 """ExecWeave runtime graph package."""
 
-__version__ = "0.8.16"
+__version__ = "0.8.18"

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/_dashboard_shell_base.py

@@ -6,8 +6,11 @@ from typing import Any
 from .live_view import LIVE_HTML as _BASE_LIVE_HTML
 from .viewer_agent_panel import inject_agent_panel
 from .viewer_dashboard_clean import fold_budget_bootstrap, inject_live_dashboard_clean
-from .viewer_limits import resolve_viewer_limits, viewer_limits_bootstrap
 from .viewer_dashboard_focus import inject_live_dashboard_focus
+from .viewer_dashboard_pr70 import inject_pr70_dashboard_repairs
+from .viewer_layout_v2 import inject_layout_v2
+from .viewer_layout_v2_detached import inject_layout_v2_detached_cluster_policy
+from .viewer_limits import resolve_viewer_limits, viewer_limits_bootstrap
 from .viewer_live_layout import inject_live_dashboard_layout
 
 
@@ -70,6 +73,9 @@ def _build_dashboard_html() -> str:
     html = _preserve_semantic_layout_constraints(html)
     html = _preserve_semantic_arrange(html)
     html = _route_ordinary_edges_from_final_positions(html)
+    html = inject_pr70_dashboard_repairs(html)
+    html = inject_layout_v2(html)
+    html = inject_layout_v2_detached_cluster_policy(html)
     return _align_agent_panel_topology(inject_agent_panel(_guard_compact_live_snapshot(html)))
 
 

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/auto_specialized.py

@@ -14,6 +14,8 @@ from urllib.error import HTTPError, URLError
 from urllib.parse import urlsplit, urlunsplit
 from urllib.request import Request, urlopen
 
+from .runtime_endpoint_availability import windows_exclusive_endpoint_available
+
 from .model_runtime import (
     append_model_runtime_records,
     llamacpp_models_to_events,
@@ -214,6 +216,49 @@ def _probe_spec(command: list[str]) -> _ProbeSpec | None:
     return None
 
 
+@dataclass(frozen=True)
+class _LiveProbeAdmission:
+    # Prepared before the child (and any managed relay) is launched. A grace
+    # period is a scheduling aid, never evidence of endpoint ownership.
+    spec: _ProbeSpec | None
+
+
+def prepare_live_specialized_probe(command: list[str]) -> _LiveProbeAdmission:
+    """Do not attach an already listening or uncertain endpoint to a new run.
+
+    A refused connection establishes absence at this pre-launch boundary. A
+    Windows connect timeout requires independent exclusive-bind proof for every
+    resolved loopback address; a timeout alone never authorizes a probe. Other
+    unknown/denied states abstain. This affects automatic catalog polling only,
+    not command execution or explicit request/response capture.
+    """
+    if not os.environ.get(_SEMANTIC_ENV):
+        return _LiveProbeAdmission(None)
+    spec = _probe_spec(command)
+    if spec is None:
+        return _LiveProbeAdmission(None)
+    address = urlsplit(spec.endpoint)
+    try:
+        with socket.create_connection(
+            (str(address.hostname), int(address.port or 80)),
+            timeout=_PROBE_TIMEOUT_SECONDS,
+        ):
+            pass
+    except ConnectionRefusedError:
+        return _LiveProbeAdmission(spec)
+    except TimeoutError:
+        if windows_exclusive_endpoint_available(str(address.hostname), int(address.port or 80)):
+            return _LiveProbeAdmission(spec)
+    except OSError:
+        pass
+    print(
+        f"ExecWeave {spec.runtime} probe: endpoint {spec.endpoint} was not "
+        "proven unused before launch; automatic catalog evidence is disabled.",
+        file=sys.stderr,
+    )
+    return _LiveProbeAdmission(None)
+
+
 def _get_json(url: str, *, timeout: float) -> dict[str, object]:
     request = Request(url, headers={"Accept": "application/json"})
     with urlopen(request, timeout=timeout) as response:
@@ -462,10 +507,18 @@ def auto_specialized_launch(
 
 
 @contextmanager
-def auto_specialized_probe(command: list[str]) -> Iterator[None]:
-    """Run supported local specialized probes without affecting command execution."""
+def auto_specialized_probe(
+    command: list[str],
+    *,
+    admission: _LiveProbeAdmission | None = None,
+) -> Iterator[None]:
+    """Poll a prepared launch, or an explicitly requested library observation.
+
+    RuntimeCollector always supplies pre-launch admission. A direct library
+    caller without admission retains the explicit endpoint-observation API.
+    """
     configured_sidecar = os.environ.get(_SEMANTIC_ENV)
-    spec = _probe_spec(command)
+    spec = admission.spec if admission is not None else _probe_spec(command)
     if not configured_sidecar or spec is None:
         yield
         return

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/collector.py

@@ -16,6 +16,7 @@ from .auto_specialized import (
     auto_specialized_launch,
     auto_specialized_probe,
     prepare_post_command_specialized_probe,
+    prepare_live_specialized_probe,
     run_post_command_specialized_probe,
 )
 from .command import resolve_launch_command
@@ -209,6 +210,7 @@ class RuntimeCollector:
         collector_error_type: str | None = None
         workload_terminated_due_to_collector_error = False
         subreaper_previous: bool | None = None
+        live_probe_admission = prepare_live_specialized_probe(command)
         post_command_probe = prepare_post_command_specialized_probe(command)
         try:
             if watcher is not None:
@@ -235,7 +237,7 @@ class RuntimeCollector:
                     if snapshot is not None:
                         self._record_process_start(snapshot, parent=session, relation="LAUNCHED")
 
-                    with auto_specialized_probe(command):
+                    with auto_specialized_probe(command, admission=live_probe_admission):
                         while process.poll() is None:
                             self._sample_process_tree(root)
                             time.sleep(self.poll_interval)

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/live_core.py

@@ -549,6 +549,11 @@ class _LiveState:
             else _inject_final_theme(render_graph_html(final_graph))
         )
         with self._lock:
+            # The last browser poll may precede the collector's final batch.
+            # Drain complete runtime/semantic records for raw-log and evidence
+            # counters before publishing FINISHED. The canonical graph below,
+            # not the provisional accumulator, remains the graph authority.
+            self._refresh_incremental_locked()
             self._final_graph = final_graph
             self._final_html = rendered_final
             self._finished = True
@@ -563,6 +568,11 @@ class _LiveState:
                 "edges_added": [],
                 "edges_updated": [],
                 "terminal": True,
+                # A counts-only terminal delta loses unpolled nodes/edges and
+                # canonical identity/metadata changes. Reconcile in this same
+                # sequence-visible response, before the client stops polling.
+                # Use the normal projection and payload budget, as on reconnect.
+                "final_graph": self._snapshot_from_accumulator_locked(),
             }
             if not _within_live_payload_budget(node_count, edge_count):
                 terminal["live_payload_compact"] = True

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/live_view_process_layout.py

@@ -254,16 +254,17 @@ function execweaveLayoutDirectedGraph(topo){
   }
   try{
     const graph=new engine.graphlib.Graph();
-    graph.setGraph({rankdir:'LR',nodesep:EXECWEAVE_DAG_GAP,ranksep:48,marginx:16,marginy:16,edgesep:16});
+    graph.setGraph({rankdir:'LR',nodesep:EXECWEAVE_DAG_GAP,ranksep:48,marginx:0,marginy:16,edgesep:16});
     graph.setDefaultEdgeLabel(()=>({}));
     const ids=[];
-    for(const id of topo.spec.keys()){
+    for(const id of [...topo.spec.keys()].sort()){
       if(!nodeById.has(id))continue;
       graph.setNode(id,{width:execweaveWidthOf(id),height:execweaveHeightOf(id)});
       ids.push(id);
     }
     const seen=new Set();
-    for(const edge of edgeById.values()){
+    for(const edge of [...edgeById.values()].sort((a,b)=>edgeId(a).localeCompare(edgeId(b)))){
+      if(typeof execweaveIsStopped==='function'&&execweaveIsStopped(edge))continue;
       if(!topo.spec.has(edge.source)||!topo.spec.has(edge.target)||edge.source===edge.target)continue;
       const key=execweaveEdgeKey(edge.source,edge.target);
       if(seen.has(key))continue;
@@ -301,74 +302,24 @@ function execweaveRestoreSemanticLayoutConstraints(topo,preferred,dagrePlacement
   const nodes=[...nodeById.values()],edges=[...edgeById.values()];
   const componentOf=execweaveComponents(nodes,edges);
 
-  // X constraint: Semantic lanes define bounding constraints.
-  // Dynamically propagate corridor lower bounds across semantic ranks so Dagre
-  // horizontal positions are retained within their architectural corridors.
-  const laneRank = {
-    runtime: 0,
-    root: 1,
-    agent: 2,
-    model: 3,
-    tool: 4,
-    file: 5,
-    endpoint: 6,
-    other: 6
-  };
-
-  // Group non-process nodes by semantic rank
-  const nodesByRank = new Map();
-  for (const [id, before] of preferred) {
-    const node = nodeById.get(id);
-    if (!node) continue;
-    const type = String(node.type || '').toLowerCase();
-    if (type === 'process' || type === 'session' || type === 'runtime') continue;
-    const lane = topo.spec.get(id)?.lane || before.lane || 'other';
-    const rank = laneRank[lane] ?? 3;
-    if (!nodesByRank.has(rank)) nodesByRank.set(rank, []);
-    nodesByRank.get(rank).push(id);
-  }
-
-  // Handle process-like nodes first (pinned to process-tree coordinates)
-  let maxProcessRight = 0;
-  for (const [id, before] of preferred) {
-    const after = topo.spec.get(id), node = nodeById.get(id);
-    if (!after || !node) continue;
-    const type = String(node.type || '').toLowerCase();
-    if (type === 'process' || type === 'session' || type === 'runtime') {
-      if (Number.isFinite(before.x)) after.x = before.x;
-      const pw = topo.width?.get(id) || (typeof execweaveWidthOf === 'function' ? execweaveWidthOf(id) : 160);
-      const px = Number.isFinite(after.x) ? after.x : 0;
-      maxProcessRight = Math.max(maxProcessRight, px + pw);
-    }
-  }
-
-  // Propagate corridor lower bounds across ranks:
-  // rank 1 (root) < rank 2 (agent) < rank 3 (model) < rank 4 (tool) < rank 5 (file) < rank 6 (endpoint)
-  let minAllowedX = maxProcessRight;
-  for (let r = 1; r <= 6; r++) {
-    const ids = nodesByRank.get(r) || [];
-    if (!ids.length) continue;
-    let rankMaxX = minAllowedX;
-    for (const id of ids) {
-      const after = topo.spec.get(id);
-      const before = preferred.get(id);
-      const dagreX = dagrePlacement.get(id)?.x;
-      const laneX = topo.laneX && Number.isFinite(topo.laneX[after?.lane]) ? topo.laneX[after.lane] : before?.x;
-      if (!after) continue;
-
-      const isBundledTarget = edges.some(e => e.target === id && topo.bundleByEdge?.get(edgeId(e))?.size > 1);
-      const candidateX = isBundledTarget && Number.isFinite(laneX) ? laneX : dagreX;
-
-      if (Number.isFinite(candidateX) && candidateX >= minAllowedX) {
-        after.x = candidateX;
-      } else if (Number.isFinite(before?.x) && before.x >= minAllowedX) {
-        after.x = before.x;
-      } else {
-        after.x = minAllowedX;
-      }
-      rankMaxX = Math.max(rankMaxX, after.x);
-    }
-    minAllowedX = rankMaxX + 1;
+  // Constrain X to measured semantic corridors. Dagre supplies ordering and route
+  // control points; process-tree depth is retained within the runtime corridor.
+  // All render paths consume these final coordinates, including Arrange.
+  let floor=-Infinity;
+  for(const [id,before] of preferred){
+    const after=topo.spec.get(id),node=nodeById.get(id);
+    if(!after||!node||!isProcess(node))continue;
+    after.x=before.x;
+    floor=Math.max(floor,after.x+(topo.width?.get(id)||EXECWEAVE_NODE_W)+PROCESS_COL_GAP);
+  }
+  for(const lane of ['root','agent','model','tool','file','endpoint','other']){
+    const ids=[...topo.spec.keys()].filter(id=>topo.spec.get(id)?.lane===lane&&!isProcess(nodeById.get(id)));
+    if(!ids.length)continue;
+    const laneX=Number.isFinite(topo.laneX?.[lane])?topo.laneX[lane]:Math.min(...ids.map(id=>preferred.get(id).x));
+    const x=Math.max(laneX,Number.isFinite(floor)?floor:laneX);
+    let right=x;
+    for(const id of ids){const after=topo.spec.get(id);after.x=x;right=Math.max(right,x+(topo.width?.get(id)||EXECWEAVE_NODE_W))}
+    floor=right+PROCESS_COL_GAP;
   }
 
   // Y constraint: Dagre coordinates optimize positions within semantic lane/component bounds
@@ -462,9 +413,15 @@ function execweaveRestoreSemanticLayoutConstraints(topo,preferred,dagrePlacement
     return{value,members,minX,maxX,minY,maxY,w:maxX-minX,h:maxY-minY};
   }).filter(box=>Number.isFinite(box.minX));
 
+  // Use an aspect-balanced shelf width for disconnected components instead of
+  // forcing every component wider than half a short spine onto its own row.
+  // Component shapes/ordering stay intact; this is packing, not raw graph repair.
+  const columns=Math.max(1,Math.ceil(Math.sqrt(compBoxes.length)));
+  const widest=compBoxes.reduce((width,box)=>Math.max(width,box.w),0);
+  const packingWidth=Math.max(spineWidth,columns*widest+(columns-1)*bandGap);
   let cursorX=spineLeft,cursorY=spineFloor+bandGap,rowHeight=0;
   for(const box of compBoxes){
-    if(cursorX>spineLeft&&cursorX+box.w>spineLeft+spineWidth){
+    if(cursorX>spineLeft&&cursorX+box.w>spineLeft+packingWidth){
       cursorX=spineLeft;cursorY+=rowHeight+bandGap;rowHeight=0;
     }
     const shiftX=cursorX-box.minX,shiftY=cursorY-box.minY;
@@ -565,7 +522,13 @@ function execweaveRouteFromPoints(edge,points){
   return{d,labelX:labelPoint.x,labelY:labelPoint.y-8,kind:execweaveIsSpawn(edge)?'spawn':(forward?'forward':'reverse'),bundle:null};
 }
 const execweaveBuildTopologyBase=execweaveBuildTopology;
-execweaveBuildTopology=function(){return execweaveApplyDirectedGraph(execweaveLayoutRelated(execweaveLayoutProcessTree(execweaveBuildTopologyBase())))};
+execweaveBuildTopology=function(){
+  // Width/height and lane helpers must see THIS build, never the previous graph.
+  const topo=execweaveBuildTopologyBase(),prior=execweaveTopology;
+  execweaveTopology=topo;
+  try{return execweaveApplyDirectedGraph(execweaveLayoutRelated(execweaveLayoutProcessTree(topo)))}
+  finally{execweaveTopology=prior}
+};
 if(typeof window!=='undefined'){
   window.execweaveLayoutDirectedGraph=execweaveLayoutDirectedGraph;
   window.execweaveSeparateOverlappingNodes=execweaveSeparateOverlappingNodes;
@@ -653,13 +616,7 @@ function execweaveWriteDirectedPositions(topo){
   const next=new Map();
   for(const id of nodeById.keys()){
     const spec=topo.spec.get(id);
-    const packed=topo.secondaryPackedIds?.has(id);
-    const laneX=(topo.laneX&&spec?.lane&&Number.isFinite(topo.laneX[spec.lane]))?topo.laneX[spec.lane]:spec?.x;
-    // Connected semantic lanes retain their established X contract. Only
-    // disconnected components use the final 2D packing X; forcing those back
-    // to the lane origin would stack every orphan node on the same rectangle.
-    const initialX=packed?spec?.x:laneX;
-    next.set(id,spec?{x:initialX,y:spec.y}:execweaveDesiredPosition(id));
+    next.set(id,spec?{x:spec.x,y:spec.y}:execweaveDesiredPosition(id));
   }
   positions=next;layerRows=new Map();
   for(const [id,p] of positions){
@@ -673,20 +630,19 @@ function execweaveWriteDirectedPositions(topo){
   for(const edge of edgeById.values())updateEdgeElement(edge);
   svg.classList.toggle('execweave-crowded',!!topo.crowded);
 }
-const execweaveFullLayoutBase=fullLayout;
-fullLayout=function(){
-  const prior=positions;
-  const incoming=[...nodeById.keys()].some(id=>!prior.has(id));
-  if(prior.size&&!incoming){execweaveFullLayoutBase();return}
+function execweaveInstallFinalLayout(priorY){
   execweaveTopology=execweaveBuildTopology();
   execweaveWriteDirectedPositions(execweaveTopology);
+  if(priorY.size&&typeof execweaveRestorePriorYUnlessWorse==='function'){
+    execweaveRestorePriorYUnlessWorse(priorY,execweaveTopology);
+    window.__execweavePr70.paint();
+  }
+}
+fullLayout=function(){
+  execweaveInstallFinalLayout(new Map([...positions].map(([id,p])=>[id,p.y])));
 };
-const execweavePlaceAddedBase=placeAddedNodes;
-placeAddedNodes=function(ids){
-  const incoming=(ids||[]).filter(id=>nodeById.has(id)&&!positions.has(id));
-  if(!incoming.length){execweavePlaceAddedBase(ids);return}
-  execweaveTopology=execweaveBuildTopology();
-  execweaveWriteDirectedPositions(execweaveTopology);
+placeAddedNodes=function(_ids){
+  execweaveInstallFinalLayout(new Map([...positions].map(([id,p])=>[id,p.y])));
 };
 })();
 """.strip()

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/live_view_script_c.py

@@ -12,7 +12,7 @@ function updateJumpLatest(){jumpLatest.hidden=!latestNodeId||latestInsideSafeZon
 function userTookCamera(){if(cameraMode!=='manual')setCameraMode('manual',{apply:false})}
 function zoomBy(factor){userTookCamera();const box=svg.getBoundingClientRect(),mx=box.width/2,my=box.height/2,old=transform.scale,nextScale=Math.min(4,Math.max(.07,old*factor)),gx=(mx-transform.x)/old,gy=(my-transform.y)/old;animateTo({x:mx-gx*nextScale,y:my-gy*nextScale,scale:nextScale},140)}
 function applySearch(){const q=search.value.trim().toLowerCase(),matched=new Set();document.querySelectorAll('.node').forEach(el=>{const ok=!q||el.dataset.search.includes(q);el.classList.toggle('dim',!ok);if(ok)matched.add(el.dataset.id)});document.querySelectorAll('.edge').forEach(el=>{const keep=!q||matched.has(el.dataset.source)||matched.has(el.dataset.target)||el.dataset.relation.includes(q);el.classList.toggle('dim',!keep)})}
-async function poll(){try{const response=await fetch(`/live.json?after=${liveSequence}`,{cache:'no-store'});if(!response.ok)throw new Error(String(response.status));const data=await response.json();if(data.kind==='snapshot'){liveSequence=Number(data.sequence)||0;setSnapshot(data.graph||{});}else if(data.kind==='delta'){if(Number(data.base_sequence)!==liveSequence){liveSequence=-1;setStatus('RESYNCING','resyncing');setTimeout(poll,0);return}for(const update of data.updates||[]){if(Number(update.sequence)!==liveSequence+1){liveSequence=-1;setStatus('RESYNCING','resyncing');setTimeout(poll,0);return}applyDelta(update);liveSequence=Number(update.sequence)}if(!(data.updates||[]).length)liveSequence=Number(data.sequence)||liveSequence;}else if(data.kind==='noop'){liveSequence=Number(data.sequence)||liveSequence;updateStats(data);}window.__execweaveDashboard?.onPayload?.(data);updateEvidence(data);const finished=!!data.live_finished;setStatus(finished?'FINISHED':(protectedMode?'PROTECTED':'LIVE'),finished?'finished':protectedMode?'reconnecting':'');if(finished){window.__execweaveDashboard?.onFinished?.();return}}catch(_){setStatus('RECONNECTING','reconnecting')}setTimeout(poll,500)}
+async function poll(){try{const response=await fetch(`/live.json?after=${liveSequence}`,{cache:'no-store'});if(!response.ok)throw new Error(String(response.status));const data=await response.json();if(data.kind==='snapshot'){liveSequence=Number(data.sequence)||0;setSnapshot(data.graph||{});}else if(data.kind==='delta'){if(Number(data.base_sequence)!==liveSequence){liveSequence=-1;setStatus('RESYNCING','resyncing');setTimeout(poll,0);return}for(const update of data.updates||[]){if(Number(update.sequence)!==liveSequence+1){liveSequence=-1;setStatus('RESYNCING','resyncing');setTimeout(poll,0);return}if(update.terminal&&update.final_graph)setSnapshot(update.final_graph);else applyDelta(update);liveSequence=Number(update.sequence)}if(!(data.updates||[]).length)liveSequence=Number(data.sequence)||liveSequence;}else if(data.kind==='noop'){liveSequence=Number(data.sequence)||liveSequence;updateStats(data);}window.__execweaveDashboard?.onPayload?.(data);updateEvidence(data);const finished=!!data.live_finished;setStatus(finished?'FINISHED':(protectedMode?'PROTECTED':'LIVE'),finished?'finished':protectedMode?'reconnecting':'');if(finished){window.__execweaveDashboard?.onFinished?.();return}}catch(_){setStatus('RECONNECTING','reconnecting')}setTimeout(poll,500)}
 svg.onpointerdown=e=>{if(e.target.closest?.('.node'))return;userTookCamera();stopAnimation();pan={x:e.clientX,y:e.clientY,tx:transform.x,ty:transform.y,travelled:false};svg.classList.add('panning');svg.setPointerCapture(e.pointerId)};svg.onpointermove=e=>{if(!pan)return;if(Math.abs(e.clientX-pan.x)>3||Math.abs(e.clientY-pan.y)>3)pan.travelled=true;transform.x=pan.tx+e.clientX-pan.x;transform.y=pan.ty+e.clientY-pan.y;applyTransform();updateJumpLatest()};svg.onpointerup=e=>{const dragged=!!pan?.travelled;pan=null;svg.classList.remove('panning');try{svg.releasePointerCapture(e.pointerId)}catch(_){}if(!dragged&&!e.target.closest?.('.node'))window.__execweaveClearFocus?.()};svg.addEventListener('wheel',e=>{e.preventDefault();userTookCamera();stopAnimation();const rect=svg.getBoundingClientRect(),mx=e.clientX-rect.left,my=e.clientY-rect.top,old=transform.scale,next=Math.min(4,Math.max(.07,old*Math.exp(-e.deltaY*.0012))),gx=(mx-transform.x)/old,gy=(my-transform.y)/old;transform.scale=next;transform.x=mx-gx*next;transform.y=my-gy*next;applyTransform();updateJumpLatest()},{passive:false});
 function focusRawLogEvent(event){const target=event?.target?.id,source=event?.source?.id;if(target&&nodeById.has(target)){selectNode(target,{syncLog:false});focusNode(target);return}if(source&&nodeById.has(source)){selectNode(source,{syncLog:false});focusNode(source)}}
 // Focus is only exitable if something offers the exit. The control appears with the

execweave-0.8.18/src/execweave/runtime_endpoint_availability.py

@@ -0,0 +1,44 @@
+"""Conservative Winsock fallback for a timed-out pre-launch loopback connect."""
+from __future__ import annotations
+
+import ipaddress
+import socket
+import sys
+from contextlib import ExitStack
+
+
+def windows_exclusive_endpoint_available(host: str, port: int) -> bool:
+    """Require exclusive binds, not a timeout, as evidence of unused addresses.
+
+    A short Windows connect can time out before an unused port reports refusal.
+    SO_EXCLUSIVEADDRUSE prevents taking over an existing bind. Every resolved
+    loopback address must be exclusively bindable at the same instant; sockets
+    are closed before the real relay/child starts. No listener is created and no
+    SO_REUSEADDR is enabled. This proves availability only at the launch boundary,
+    not ownership of an unrelated service started later.
+    """
+    exclusive = getattr(socket, 'SO_EXCLUSIVEADDRUSE', None)
+    if sys.platform != 'win32' or exclusive is None or not 0 < port <= 65535:
+        return False
+    try:
+        addresses = socket.getaddrinfo(host, port, type=socket.SOCK_STREAM,
+                                       proto=socket.IPPROTO_TCP)
+        seen = set()
+        with ExitStack() as stack:
+            for family, kind, protocol, _, address in addresses:
+                if family not in (socket.AF_INET, socket.AF_INET6):
+                    return False
+                if not ipaddress.ip_address(address[0]).is_loopback:
+                    return False
+                key = (family, address)
+                if key in seen:
+                    continue
+                seen.add(key)
+                reservation = stack.enter_context(socket.socket(family, kind, protocol))
+                reservation.setsockopt(socket.SOL_SOCKET, exclusive, 1)
+                if family == socket.AF_INET6:
+                    reservation.setsockopt(socket.IPPROTO_IPV6, socket.IPV6_V6ONLY, 1)
+                reservation.bind(address)
+        return bool(seen)
+    except (OSError, ValueError):
+        return False

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/top.py

@@ -69,6 +69,12 @@ class TerminalState:
 
     def apply_update(self, update: dict[str, object]) -> None:
         self.sequence = int(update.get("sequence", self.sequence) or self.sequence)
+        final_graph = update.get("final_graph")
+        if update.get("terminal") and isinstance(final_graph, dict):
+            # The web client and Top must consume the same authoritative final
+            # entities, including canonical identity replacement, before stopping.
+            self.apply_snapshot(final_graph, self.sequence)
+            return
         self.event_count = int(update.get("event_count", self.event_count) or 0)
         self.node_count = int(update.get("node_count", self.node_count) or 0)
         self.edge_count = int(update.get("edge_count", self.edge_count) or 0)

{execweave-0.8.16 → execweave-0.8.18}/src/execweave/viewer_dashboard_focus.py

@@ -56,9 +56,22 @@ execweaveDashboardGraph=function(data){
   }
   const ollamaRoots=prepared.filter(node=>node?.type==='agent'&&['agent:Ollama','agent:ollama'].includes(String(node.id||'')));
   const ollamaRuntimes=prepared.filter(node=>node?.type==='model_runtime'&&String(node?.attributes?.provider||'').toLowerCase()==='ollama');
-  if(ollamaRoots.length===1&&ollamaRuntimes.length===1){
-    const root=ollamaRoots[0],runtime=ollamaRuntimes[0];presentationAlias.set(runtime.id,root.id);
-    prepared=prepared.filter(node=>node.id!==runtime.id).map(node=>node.id===root.id?{...node,name:'/root'}:node);
+  const runtimeContextSupport=new Map();
+  // Same provider/cardinality does not establish runtime ownership. Compress a
+  // context only when an explicit, unambiguous agent->runtime observation exists.
+  // Otherwise retain the runtime and its original catalog edges, including old
+  // failed-launch artifacts that contain observations of a pre-existing server.
+  for(const runtime of ollamaRuntimes){
+    const incoming=(projected.edges||[]).filter(e=>e?.target===runtime.id&&prepared.some(n=>n.id===e.source&&n.type==='agent'));
+    const owners=[...new Set(incoming.map(e=>e.source))];
+    const root=owners.length===1?ollamaRoots.find(n=>n.id===owners[0]):null;
+    const support=incoming.filter(e=>e.relation==='OBSERVED_MODEL_RUNTIME');
+    const conflict=(a,b)=>['provider','run_id','session_id','conversation_id','provider_session_id','agent_path'].some(k=>
+      a?.[k]&&b?.[k]&&String(a[k])!==String(b[k]));
+    const identities=[runtime.attributes||{},root?.attributes||{},...incoming.map(e=>e.attributes||{})];
+    if(!root||!support.length||identities.some((a,i)=>identities.slice(0,i).some(b=>conflict(a,b))))continue;
+    presentationAlias.set(runtime.id,root.id);runtimeContextSupport.set(runtime.id,support);
+    prepared=prepared.filter(node=>node.id!==runtime.id);
   }
   const normalized=value=>String(value||'').trim().replaceAll('\\\\','/').replace(/\/+$/,'').toLowerCase();
   const canonicalKey=node=>{
@@ -85,10 +98,15 @@ execweaveDashboardGraph=function(data){
   const remapped=[];for(const edge of(projected.edges||[])){
     if(!edge)continue;const source=canonicalId.get(edge.source)||edge.source,target=canonicalId.get(edge.target)||edge.target;
     if(!ids.has(source)||!ids.has(target)||source===target)continue;
-    remapped.push(source===edge.source&&target===edge.target?edge:{...edge,source,target,viewer_canonicalized:true,viewer_original_source:edge.source,viewer_original_target:edge.target});
+    const support=runtimeContextSupport.get(edge.source);
+    if(support){
+      remapped.push({...edge,source,target,viewer_only:true,inferred:true,causal:false,
+        viewer_runtime_context:true,viewer_original_source:edge.source,viewer_original_target:edge.target,
+        viewer_supporting_edges:[...support,edge]});
+    }else remapped.push(source===edge.source&&target===edge.target?edge:{...edge,source,target,viewer_canonicalized:true,viewer_original_source:edge.source,viewer_original_target:edge.target});
   }
   const edgeGroups=new Map();
-  for(const edge of remapped){const key=`${edge.source}\u0000${edge.relation||''}\u0000${edge.target}`,existing=edgeGroups.get(key);if(!existing){edgeGroups.set(key,{...edge,viewer_edge_occurrence_count:1,viewer_edge_occurrence_ids:[edge.id]});continue}existing.viewer_edge_occurrence_count+=1;existing.viewer_edge_occurrence_ids.push(edge.id);existing.count=Number(existing.count||1)+Number(edge.count||1);if(Number.isInteger(edge.first_sequence))existing.first_sequence=Number.isInteger(existing.first_sequence)?Math.min(existing.first_sequence,edge.first_sequence):edge.first_sequence;if(Number.isInteger(edge.last_sequence))existing.last_sequence=Number.isInteger(existing.last_sequence)?Math.max(existing.last_sequence,edge.last_sequence):edge.last_sequence;existing.first_seen=earlier(existing.first_seen,edge.first_seen);existing.last_seen=later(existing.last_seen,edge.last_seen)}
+  for(const edge of remapped){const key=`${edge.source}\u0000${edge.relation||''}\u0000${edge.target}${edge.viewer_runtime_context?'\u0000'+edge.viewer_original_source:''}`,existing=edgeGroups.get(key);if(!existing){edgeGroups.set(key,{...edge,viewer_edge_occurrence_count:1,viewer_edge_occurrence_ids:[edge.id]});continue}existing.viewer_edge_occurrence_count+=1;existing.viewer_edge_occurrence_ids.push(edge.id);existing.count=Number(existing.count||1)+Number(edge.count||1);if(Number.isInteger(edge.first_sequence))existing.first_sequence=Number.isInteger(existing.first_sequence)?Math.min(existing.first_sequence,edge.first_sequence):edge.first_sequence;if(Number.isInteger(edge.last_sequence))existing.last_sequence=Number.isInteger(existing.last_sequence)?Math.max(existing.last_sequence,edge.last_sequence):edge.last_sequence;existing.first_seen=earlier(existing.first_seen,edge.first_seen);existing.last_seen=later(existing.last_seen,edge.last_seen)}
   const edges=[...edgeGroups.values()];
   return{...projected,nodes,edges,node_count:nodes.length,edge_count:edges.length,dashboard_projection:{...(projected.dashboard_projection||{}),hidden_context_node_count:before.length-prepared.length,merged_context_node_count:mergedContextNodeCount,hidden_orphan_file_node_count:0}};
 };