execweave 0.8.15__tar.gz → 0.8.17__tar.gz

{execweave-0.8.15 → execweave-0.8.17}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: execweave
-Version: 0.8.15
+Version: 0.8.17
 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
@@ -42,10 +42,12 @@ Requires-Python: >=3.10
 Requires-Dist: psutil>=5.9
 Requires-Dist: watchdog>=4.0
 Provides-Extra: dev
+Requires-Dist: pillow>=10.0; extra == 'dev'
 Requires-Dist: pytest>=8.0; extra == 'dev'
 Requires-Dist: pywinpty<4,>=3.0.5; (platform_system == 'Windows') and extra == 'dev'
 Requires-Dist: ruff<0.17,>=0.16; extra == 'dev'
 Provides-Extra: e2e
+Requires-Dist: pillow>=10.0; extra == 'e2e'
 Requires-Dist: playwright>=1.44; extra == 'e2e'
 Requires-Dist: pywinpty<4,>=3.0.5; (platform_system == 'Windows') and extra == 'e2e'
 Provides-Extra: release
@@ -188,6 +190,15 @@ The dashboard is designed to keep large, multi-agent runs inspectable without ch
 - **Large-run folding:** high-cardinality node types can collapse older members while keeping them inspectable.
 - **Selection-focused layout:** selecting an agent or runtime object de-emphasizes unrelated graph traffic.
 
+**Download GIF** saves the graph viewport as it appeared while this Dashboard page
+was open and visible, including labels, folding, camera changes, and elapsed time
+(sampled at up to 10 frames per second). It excludes the inspector and logs. A
+reopened finished run has no recorded screen history and exports a still image.
+Keep the viewport size fixed for a consistent frame; resizing adds padding rather
+than rescaling older frames. Recording stops with an explicit message if the page
+is hidden during a live run, rendering is paused, or the 64 MB recording limit is
+reached; it never substitutes an animation reconstructed from the final graph.
+
 You can tune large-run rendering with:
 
 ```text

{execweave-0.8.15 → execweave-0.8.17}/README.md

@@ -133,6 +133,15 @@ The dashboard is designed to keep large, multi-agent runs inspectable without ch
 - **Large-run folding:** high-cardinality node types can collapse older members while keeping them inspectable.
 - **Selection-focused layout:** selecting an agent or runtime object de-emphasizes unrelated graph traffic.
 
+**Download GIF** saves the graph viewport as it appeared while this Dashboard page
+was open and visible, including labels, folding, camera changes, and elapsed time
+(sampled at up to 10 frames per second). It excludes the inspector and logs. A
+reopened finished run has no recorded screen history and exports a still image.
+Keep the viewport size fixed for a consistent frame; resizing adds padding rather
+than rescaling older frames. Recording stops with an explicit message if the page
+is hidden during a live run, rendering is paused, or the 64 MB recording limit is
+reached; it never substitutes an animation reconstructed from the final graph.
+
 You can tune large-run rendering with:
 
 ```text

{execweave-0.8.15 → execweave-0.8.17}/pyproject.toml

@@ -4,8 +4,8 @@ build-backend = "hatchling.build"
 
 [project]
 name = "execweave"
-# ExecWeave v0.8.15 release metadata
-version = "0.8.15"
+# ExecWeave v0.8.17 release metadata
+version = "0.8.17"
 description = "Turn AI-agent runtime behavior into a local interactive execution graph."
 readme = "README.md"
 requires-python = ">=3.10"
@@ -44,6 +44,7 @@ dependencies = [
 [project.optional-dependencies]
 dev = [
   "pytest>=8.0",
+  "pillow>=10.0",
   "ruff>=0.16,<0.17",
   "pywinpty>=3.0.5,<4; platform_system == 'Windows'",
 ]
@@ -55,6 +56,7 @@ release = [
 # development install stays small; CI installs it and requires the checks to run.
 e2e = [
   "playwright>=1.44",
+  "pillow>=10.0",
   "pywinpty>=3.0.5,<4; platform_system == 'Windows'",
 ]
 
@@ -93,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.15 → execweave-0.8.17}/src/execweave/__init__.py

@@ -1,3 +1,3 @@
 """ExecWeave runtime graph package."""
 
-__version__ = "0.8.15"
+__version__ = "0.8.17"

{execweave-0.8.15 → execweave-0.8.17}/src/execweave/_dashboard_shell_base.py

@@ -6,8 +6,9 @@ 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_limits import resolve_viewer_limits, viewer_limits_bootstrap
 from .viewer_live_layout import inject_live_dashboard_layout
 
 
@@ -70,6 +71,7 @@ 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)
     return _align_agent_panel_topology(inject_agent_panel(_guard_compact_live_snapshot(html)))
 
 
@@ -115,4 +117,4 @@ def render_static_dashboard_html(
         "<body>",
         '<body>\n<!-- unified dashboard: theme is owned by the visible #theme-toggle control -->',
         1,
-    )
+    )

{execweave-0.8.15 → execweave-0.8.17}/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.15 → execweave-0.8.17}/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.15 → execweave-0.8.17}/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.15 → execweave-0.8.17}/src/execweave/live_view.py

@@ -1,7 +1,5 @@
 from __future__ import annotations
 
-import re
-
 from .live_view_extra_style import LIVE_EXTRA_STYLE
 from .live_view_markup import LIVE_MARKUP
 from .live_view_process_layout import LIVE_PROCESS_LAYOUT_SCRIPT
@@ -15,21 +13,6 @@ from .viewer_agent_panel import inject_agent_panel
 from .viewer_dashboard_hardening_v2 import harden_dashboard_html
 
 
-_SAFE_GIF_LZW = (
-    "function lzw(indices,minCodeSize=8){"
-    "const clear=1<<minCodeSize,end=clear+1,out=[];"
-    "let buffer=0,bits=0;const codeSize=minCodeSize+1;"
-    "const chunk=Math.max(1,(1<<codeSize)-clear-8);"
-    "const emit=code=>{buffer|=code<<bits;bits+=codeSize;"
-    "while(bits>=8){out.push(buffer&255);buffer>>>=8;bits-=8}};"
-    "if(!indices.length)emit(clear);"
-    "for(let start=0;start<indices.length;start+=chunk){"
-    "emit(clear);const stop=Math.min(indices.length,start+chunk);"
-    "for(let i=start;i<stop;i++)emit(indices[i])}"
-    "emit(end);if(bits>0)out.push(buffer&255);return out}"
-)
-
-
 def _restore_live_safety_contracts(html: str) -> str:
     """Preserve live-view safety contracts while retiring legacy final-page swapping."""
     html = html.replace(
@@ -62,16 +45,6 @@ def _restore_live_safety_contracts(html: str) -> str:
         1,
     )
 
-    html, lzw_count = re.subn(
-        r"function lzw\(indices,minCodeSize=8\)\{.*?\}\nfunction gifBlocks",
-        _SAFE_GIF_LZW + "\nfunction gifBlocks",
-        html,
-        count=1,
-        flags=re.DOTALL,
-    )
-    if lzw_count != 1:
-        raise RuntimeError("live GIF encoder patch target not found")
-
     open_final_button = '<button id="open-final" type="button">Open final graph</button>'
     if open_final_button not in html:
         raise RuntimeError("legacy final action patch target not found")

{execweave-0.8.15 → execweave-0.8.17}/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.15 → execweave-0.8.17}/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.17/src/execweave/live_view_script_d.py

@@ -0,0 +1,40 @@
+from __future__ import annotations
+
+from .viewer_gif import GIF_SCRIPT
+
+LIVE_SCRIPT_D = r"""
+(()=>{
+const core=window.__execweaveCore;
+if(!core)return;
+const structuredList=document.getElementById('activity-list'),rawLog=document.getElementById('raw-log'),rawRows=document.getElementById('raw-rows'),activityCount=document.getElementById('activity-count'),filterGroup=document.querySelector('.filter-group'),finishedActions=document.getElementById('finished-actions'),replayButton=document.getElementById('replay-run'),gifButton=document.getElementById('download-gif'),openFinalButton=document.getElementById('open-final'),details=document.getElementById('details'),detailsEmpty=document.getElementById('details-empty');
+const MAX_RAW=640;
+let rawEntries=[],logMode='structured',finishedShown=false,finalHtmlCache=null,replaying=false;
+function rawId(entry){return`raw-${entry.stream||'events'}-${entry.line??'x'}-${entry.event?.event_id||entry.event?.sequence||''}`}
+function rawTime(event){const value=event?.timestamp;if(!value)return'—';const d=new Date(value);if(Number.isNaN(d.getTime()))return String(value);return d.toLocaleTimeString([],{hour:'2-digit',minute:'2-digit',second:'2-digit',fractionalSecondDigits:3})}
+function rawEventType(event){return String(event?.event_type||event?.type||'event')}
+function rawRelation(event){return String(event?.relation||'—')}
+function rawSummary(event){try{return JSON.stringify(event)}catch(_){return String(event)}}
+function setRawEntries(items){rawEntries=(items||[]).slice(-MAX_RAW);renderRaw(false)}
+function addRawEntries(items){if(!items?.length)return;rawEntries.push(...items);if(rawEntries.length>MAX_RAW)rawEntries=rawEntries.slice(-MAX_RAW);renderRaw(logMode==='raw')}
+function findGraphEdge(event){const source=event?.source?.id,target=event?.target?.id,relation=event?.relation;if(!source||!target||!relation)return null;const visible=[...document.querySelectorAll('.edge')].find(el=>el.dataset.source===source&&el.dataset.target===target&&el.dataset.relation===String(relation).toLowerCase());return visible?.dataset.edgeId||null}
+function showRaw(entry){const event=entry.event||{};detailsEmpty.hidden=true;details.innerHTML='';const title=document.createElement('div');title.className='current-title';title.textContent=rawEventType(event);const sub=document.createElement('div');sub.className='current-sub';sub.textContent=`${entry.stream||'events.jsonl'} line ${entry.line??'—'} · ${rawRelation(event)}`;const pre=document.createElement('pre');pre.textContent=JSON.stringify(event,null,2);const raw=document.createElement('details');raw.className='raw-toggle';raw.open=true;const summary=document.createElement('summary');summary.textContent='Raw event JSON';raw.append(summary,pre);details.append(title,sub,raw);const nodeMap=new Map();for(const node of(core.getGraph()?.nodes||[])){if(node?.id)nodeMap.set(node.id,node);for(const key of['viewer_member_ids','viewer_agent_member_ids'])for(const member of(node?.attributes?.[key]||[]))nodeMap.set(String(member),node)}const targets=document.createElement('div');targets.className='raw-target-actions';for(const entity of [event.source,event.target]){if(!entity?.id||!nodeMap.has(entity.id))continue;const node=nodeMap.get(entity.id);const button=document.createElement('button');button.type='button';button.textContent=`Inspect ${node.type||'node'}${node.name?` · ${node.name}`:''}`;button.addEventListener('click',()=>core.selectNode(node.id,{syncLog:false}));targets.appendChild(button)}if(targets.childElementCount)details.appendChild(targets)}
+function selectRaw(entry,row){document.querySelectorAll('.raw-row.selected').forEach(el=>el.classList.remove('selected'));row.classList.add('selected');const edge=findGraphEdge(entry.event);if(edge)core.selectEdge(edge,{syncLog:false});showRaw(entry)}
+function renderRaw(scrollLatest=false){rawRows.replaceChildren();activityCount.textContent=logMode==='raw'?`${rawEntries.length} raw event${rawEntries.length===1?'':'s'}`:`${core.getActivities().length} transition${core.getActivities().length===1?'':'s'}`;if(!rawEntries.length){const empty=document.createElement('div');empty.className='empty-activity';empty.textContent='Waiting for runtime or semantic activity…';rawRows.appendChild(empty);return}for(const entry of rawEntries){const row=document.createElement('div');row.className='raw-row';row.dataset.rawId=rawId(entry);const line=document.createElement('span');line.className='raw-line';line.textContent=String(entry.line??'—');const time=document.createElement('span');time.className='raw-time';time.textContent=rawTime(entry.event);const event=document.createElement('span');event.className='raw-event';event.textContent=rawEventType(entry.event);const relation=document.createElement('span');relation.className='raw-relation';relation.textContent=rawRelation(entry.event);const json=document.createElement('span');json.className='raw-json';json.textContent=rawSummary(entry.event);json.title=json.textContent;row.append(line,time,event,relation,json);row.onclick=()=>selectRaw(entry,row);rawRows.appendChild(row)}if(scrollLatest)rawRows.lastElementChild?.scrollIntoView({block:'nearest'})}
+function setLogMode(mode){logMode=mode==='raw'?'raw':'structured';document.querySelectorAll('[data-log-mode]').forEach(button=>button.classList.toggle('active',button.dataset.logMode===logMode));structuredList.hidden=logMode==='raw';rawLog.hidden=logMode!=='raw';filterGroup.hidden=logMode==='raw';if(logMode==='raw')renderRaw(false);else activityCount.textContent=`${core.getActivities().length} transition${core.getActivities().length===1?'':'s'}`}
+document.querySelectorAll('[data-log-mode]').forEach(button=>button.onclick=()=>setLogMode(button.dataset.logMode));
+function onPayload(data){observeGifPayload(data);if(data.kind==='snapshot')setRawEntries(data.raw_events||[]);else if(data.kind==='delta'){const added=[];for(const update of data.updates||[])added.push(...(update.raw_events_added||[]));addRawEntries(added)}}
+function timelineItems(){const activities=core.getActivities().filter(item=>item.edgeId||item.nodeId);return activities.length?activities:[]}
+function revealNode(id){if(!id)return;document.querySelector(`.node[data-id="${CSS.escape(id)}"]`)?.classList.remove('replay-hidden')}
+function revealEdge(id){if(!id)return;const edge=document.querySelector(`.edge[data-edge-id="${CSS.escape(id)}"]`);edge?.classList.remove('replay-hidden');document.querySelector(`.label[data-edge-id="${CSS.escape(id)}"]`)?.classList.remove('replay-hidden');if(edge){revealNode(edge.dataset.source);revealNode(edge.dataset.target)}}
+function restoreReplayDom(){document.querySelectorAll('.replay-hidden,.replay-active').forEach(el=>el.classList.remove('replay-hidden','replay-active'))}
+const sleep=ms=>new Promise(resolve=>setTimeout(resolve,ms));
+async function replayRun(){if(replaying)return;const timeline=timelineItems();if(!timeline.length)return;replaying=true;replayButton.disabled=true;restoreReplayDom();document.querySelectorAll('.node,.edge,.label').forEach(el=>el.classList.add('replay-hidden'));core.setCameraMode('fit');const delay=Math.max(55,Math.min(180,7000/Math.max(1,timeline.length)));for(const item of timeline){document.querySelectorAll('.replay-active').forEach(el=>el.classList.remove('replay-active'));if(item.edgeId){revealEdge(item.edgeId);document.querySelector(`.edge[data-edge-id="${CSS.escape(item.edgeId)}"]`)?.classList.add('replay-active')}if(item.nodeId){revealNode(item.nodeId);document.querySelector(`.node[data-id="${CSS.escape(item.nodeId)}"]`)?.classList.add('replay-active')}core.markLatest(item.nodeId||null,item.edgeId||null);await sleep(delay)}await sleep(380);restoreReplayDom();const last=timeline[timeline.length-1];core.markLatest(last.nodeId||null,last.edgeId||null);replaying=false;replayButton.disabled=false}
+""" + GIF_SCRIPT + r"""
+async function prepareFinalView(){try{const response=await fetch('/final',{cache:'no-store'});if(!response.ok)throw new Error(String(response.status));finalHtmlCache=await response.text()}catch(_){finalHtmlCache=null}}
+function openFinal(){if(!finalHtmlCache)return;document.open();document.write(finalHtmlCache);document.close()}
+function onFinished(){if(finishedShown)return;finishedShown=true;finishedActions.hidden=false;prepareFinalView()}
+replayButton.onclick=replayRun;gifButton.onclick=downloadGif;openFinalButton.onclick=openFinal;
+window.__execweaveDashboard={onPayload,onFinished};
+if(window.__execweaveStaticMode)onFinished();
+})();
+"""

execweave-0.8.17/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.15 → execweave-0.8.17}/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.15 → execweave-0.8.17}/src/execweave/viewer_dashboard_clean.py

@@ -397,9 +397,4 @@ def inject_live_dashboard_clean(html: str) -> str:
         html = html[:render_index] + html[render_index:].replace(render_marker, render_replacement, 1)
     html = html.replace(_LIVE_CORE_EXPORT, _LIVE_CORE_EXPORT_CLEAN, 1)
     html = html.replace(_LIVE_NOOP_STATS, _LIVE_NOOP_STATS_CLEAN, 1)
-    html = html.replace(
-        "const graph=core.getGraph(),positions=core.getPositions(),steps=sortedGifSteps(graph);",
-        "const graph=core.getDisplayGraph?.()||core.getGraph(),positions=core.getPositions(),steps=sortedGifSteps(graph);",
-        1,
-    )
     return html