execweave 0.8.14__tar.gz → 0.8.16__tar.gz

{execweave-0.8.14 → execweave-0.8.16}/.github/workflows/provider-capability-stage-integrity.yml

@@ -78,6 +78,33 @@ jobs:
               && -n "$model_runtime_identity_changed" ]]; then
             args+=(--allow-test-change "tests/test_model_runtime.py=AUD-002 only: the historical llama.cpp request ID assertion now includes the sanitized endpoint scope; the test node ID and runtime privacy contract are unchanged")
           fi
+          threat_model_changed=""
+          if git diff --name-only "$BASELINE_REF...HEAD" \
+              | grep -qx 'tests/test_threat_model.py'; then
+            threat_model_changed=yes
+          fi
+          if [[ "$HEAD_REF" == "fix/0815-threat-model-pid-collision" \
+              && -n "$threat_model_changed" ]]; then
+            args+=(--allow-test-change "tests/test_threat_model.py=0.8.15 RC follow-up makes the existing outliving-child assertion hermetic against ambient host PID collisions; the historical test node ID and product expectation are unchanged")
+          fi
+          if [[ "$HEAD_REF" == "fix/gif-dashboard-parity" ]]; then
+            while IFS= read -r path; do
+              case "$path" in
+                tests/test_dashboard_gif_export_e2e.py)
+                  args+=(--allow-test-change "$path=GIF export now records the real displayed SVG timeline instead of reconstructing animation from the final graph; the historical repeatable-download test node ID is retained and new screenshot-to-decoded-frame parity regressions are added")
+                  ;;
+                tests/test_live_logs_export.py)
+                  args+=(--allow-test-change "$path=the GIF contract now requires captureGifFrame and forbids the retired sortedGifSteps reconstruction path; historical test node IDs remain unchanged")
+                  ;;
+                tests/test_pr25_premerge_hardening_contract.py)
+                  args+=(--allow-test-change "$path=GIF export now freezes measured SVG geometry directly, so the historical hardening assertion must reject the old separate drawGifFrame renderer while retaining the same test node ID")
+                  ;;
+                tests/test_v069_dashboard_release.py)
+                  args+=(--allow-test-change "$path=the GIF encoder changed from the historical fixed-code replay implementation to the recorded-SVG encoder and is now validated through an independent GIF decoder; release/version assertions and historical test node IDs remain intact")
+                  ;;
+              esac
+            done < <(git diff --name-only "$BASELINE_REF...HEAD" -- tests)
+          fi
           if [[ "$HEAD_REF" == "fix/provider-isolation" ]]; then
             while IFS= read -r path; do
               case "$path" in

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: execweave
-Version: 0.8.14
+Version: 0.8.16
 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.14 → execweave-0.8.16}/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.14 → execweave-0.8.16}/pyproject.toml

@@ -4,8 +4,8 @@ build-backend = "hatchling.build"
 
 [project]
 name = "execweave"
-# ExecWeave v0.8.14 release metadata
-version = "0.8.14"
+# ExecWeave v0.8.16 release metadata
+version = "0.8.16"
 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'",
 ]
 

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

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

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

@@ -1,7 +1,9 @@
 from __future__ import annotations
 
+import ctypes
 import os
 import subprocess
+import sys
 import time
 from dataclasses import dataclass
 from pathlib import Path
@@ -22,6 +24,10 @@ from .schema import Entity, RuntimeEvent
 from .sink import JsonlSink
 
 
+_PR_SET_CHILD_SUBREAPER = 36
+_PR_GET_CHILD_SUBREAPER = 37
+
+
 @dataclass(frozen=True)
 class ProcessSnapshot:
     pid: int
@@ -129,6 +135,7 @@ class RuntimeCollector:
         self._network_sample_successes = 0
         self._network_sample_errors = 0
         self._network_access_denied = 0
+        self._collector_children_baseline: dict[int, float] | None = None
 
     def _filesystem_excluded_roots(self) -> list[Path]:
         """Return ExecWeave-owned paths that must never become workload evidence.
@@ -201,6 +208,7 @@ class RuntimeCollector:
         interrupted = False
         collector_error_type: str | None = None
         workload_terminated_due_to_collector_error = False
+        subreaper_previous: bool | None = None
         post_command_probe = prepare_post_command_specialized_probe(command)
         try:
             if watcher is not None:
@@ -211,6 +219,12 @@ class RuntimeCollector:
                     command,
                     server_relay=True,
                 ) as launch_environment:
+                    subreaper_previous = self._enable_linux_child_subreaper()
+                    self._collector_children_baseline = (
+                        self._direct_child_lifetimes()
+                        if subreaper_previous is not None
+                        else None
+                    )
                     process = subprocess.Popen(
                         launch_command,
                         cwd=str(self.watch_root),
@@ -252,6 +266,7 @@ class RuntimeCollector:
                     collector_error_type is not None and bool(owned)
                 )
                 self._terminate_process_tree(process, owned=owned)
+            self._restore_linux_child_subreaper(subreaper_previous)
             if watcher is not None:
                 watcher.stop()
             # A failed termination must not become a false clean result merely
@@ -259,6 +274,7 @@ class RuntimeCollector:
             workload_alive_after_cleanup = any(
                 self._process_is_live(candidate) for candidate in owned
             ) or bool(process is not None and self._owned_live_processes(process))
+            self._collector_children_baseline = None
             self.sink.emit(
                 RuntimeEvent.create(
                     session_id=self.session_id,
@@ -286,6 +302,57 @@ class RuntimeCollector:
                 )
             )
 
+    @staticmethod
+    def _linux_child_subreaper_state() -> bool | None:
+        if not sys.platform.startswith("linux"):
+            return None
+        try:
+            libc = ctypes.CDLL(None, use_errno=True)
+            state = ctypes.c_int()
+            if libc.prctl(_PR_GET_CHILD_SUBREAPER, ctypes.byref(state), 0, 0, 0) != 0:
+                return None
+            return bool(state.value)
+        except (AttributeError, OSError):
+            return None
+
+    @staticmethod
+    def _set_linux_child_subreaper(enabled: bool) -> bool:
+        if not sys.platform.startswith("linux"):
+            return False
+        try:
+            libc = ctypes.CDLL(None, use_errno=True)
+            return libc.prctl(_PR_SET_CHILD_SUBREAPER, int(enabled), 0, 0, 0) == 0
+        except (AttributeError, OSError):
+            return False
+
+    @classmethod
+    def _enable_linux_child_subreaper(cls) -> bool | None:
+        previous = cls._linux_child_subreaper_state()
+        if previous is None:
+            return None
+        if not previous and not cls._set_linux_child_subreaper(True):
+            return None
+        return previous
+
+    @classmethod
+    def _restore_linux_child_subreaper(cls, previous: bool | None) -> None:
+        if previous is False:
+            cls._set_linux_child_subreaper(False)
+
+    @staticmethod
+    def _direct_child_lifetimes() -> dict[int, float]:
+        try:
+            children = psutil.Process(os.getpid()).children(recursive=False)
+        except (psutil.NoSuchProcess, psutil.AccessDenied, psutil.ZombieProcess):
+            return {}
+        lifetimes: dict[int, float] = {}
+        for child in children:
+            try:
+                lifetimes[child.pid] = child.create_time()
+            except (psutil.NoSuchProcess, psutil.AccessDenied, psutil.ZombieProcess):
+                continue
+        return lifetimes
+
     @staticmethod
     def _process_is_live(proc: psutil.Process) -> bool:
         try:
@@ -340,6 +407,21 @@ class RuntimeCollector:
             except (psutil.NoSuchProcess, psutil.AccessDenied, psutil.ZombieProcess):
                 pass
 
+        baseline = self._collector_children_baseline
+        if baseline is not None:
+            try:
+                collector_children = psutil.Process(os.getpid()).children(recursive=False)
+            except (psutil.NoSuchProcess, psutil.AccessDenied, psutil.ZombieProcess):
+                collector_children = []
+            for candidate in collector_children:
+                try:
+                    create_time = candidate.create_time()
+                except (psutil.NoSuchProcess, psutil.AccessDenied, psutil.ZombieProcess):
+                    continue
+                if baseline.get(candidate.pid) == create_time:
+                    continue
+                add_with_descendants(candidate)
+
         snapshots = {**self._seen_processes, **self._discovered_processes}
         for snapshot in snapshots.values():
             tracked = self._process_for_snapshot(snapshot)

{execweave-0.8.14 → execweave-0.8.16}/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.16/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.14 → execweave-0.8.16}/src/execweave/live_view_style.py

@@ -3,7 +3,7 @@ from __future__ import annotations
 LIVE_STYLE = r""":root{color-scheme:dark;--bg:#0a0f16;--panel:#101722;--panel2:#151f2c;--panel3:#0d141e;--text:#edf2f7;--muted:#8fa0b5;--border:#263446;--border-strong:#34485e;--edge:#6f8298;--causal:#65c79b;--noncausal:#e5aa61;--inferred:#b18cff;--selected:#75b8ff;--latest:#77d7ff;--danger:#ff7b86;--node-agent:#1e4b7a;--node-process:#1d4e5f;--node-file:#1f5438;--node-network:#643d1f;--node-tool:#4f2f75;--node-model:#662952;--node-other:#334255;--shadow:0 14px 40px rgba(0,0,0,.18)}
 :root[data-theme="light"]{color-scheme:light;--bg:#eef3f8;--panel:#ffffff;--panel2:#f6f9fc;--panel3:#f9fbfd;--text:#172033;--muted:#66758a;--border:#d5dee8;--border-strong:#b9c7d7;--edge:#738195;--causal:#16855a;--noncausal:#b56a16;--inferred:#7b4dd8;--selected:#2563eb;--latest:#0f8fc5;--danger:#c2414f;--node-agent:#2d6391;--node-process:#2b697b;--node-file:#2c6e49;--node-network:#865328;--node-tool:#673d8e;--node-model:#7f3465;--node-other:#495c72;--shadow:0 14px 35px rgba(30,41,59,.08)}
 *{box-sizing:border-box}html,body{margin:0;width:100%;height:100%;overflow:hidden;background:var(--bg);color:var(--text);font:14px/1.45 Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}
-button,input{font:inherit}button{color:inherit}button:focus-visible,input:focus-visible{outline:2px solid var(--selected);outline-offset:2px}
+button,input,select{font:inherit}button{color:inherit}button:focus-visible,input:focus-visible,select:focus-visible{outline:2px solid var(--selected);outline-offset:2px}
 #app{display:grid;grid-template-columns:minmax(0,1fr) 340px;grid-template-rows:64px minmax(0,1fr) 230px;width:100%;height:100%;gap:0}
 header{grid-column:1/3;display:flex;align-items:center;gap:12px;padding:0 16px;background:color-mix(in srgb,var(--panel) 95%,transparent);border-bottom:1px solid var(--border);box-shadow:0 1px 0 rgba(255,255,255,.02);z-index:10;min-width:0}
 .brand{display:flex;align-items:center;gap:10px;min-width:max-content}.brand-mark{width:28px;height:28px;border-radius:8px;display:grid;place-items:center;background:linear-gradient(145deg,var(--panel2),var(--panel));border:1px solid var(--border-strong);font-weight:800;letter-spacing:-.06em}.brand-copy{display:flex;flex-direction:column;line-height:1.1}.brand-copy strong{font-size:14px}.brand-copy span{font-size:10px;color:var(--muted);letter-spacing:.08em;text-transform:uppercase;margin-top:3px}
@@ -14,6 +14,7 @@ header{grid-column:1/3;display:flex;align-items:center;gap:12px;padding:0 16px;b
 .icon-btn{height:34px;min-width:34px;padding:0 10px;border:1px solid var(--border);border-radius:8px;background:var(--panel2);cursor:pointer;transition:border-color .15s ease,background .15s ease}.icon-btn:hover{border-color:var(--border-strong);background:color-mix(in srgb,var(--panel2) 76%,var(--selected) 8%)}
 #graph-panel{grid-column:1;grid-row:2;min-width:0;min-height:0;display:grid;grid-template-rows:46px minmax(0,1fr);border-right:1px solid var(--border);background:var(--panel3)}
 .panel-bar{display:flex;align-items:center;gap:10px;padding:0 12px;border-bottom:1px solid var(--border);background:var(--panel);min-width:0}.panel-title{font-size:12px;font-weight:750;text-transform:uppercase;letter-spacing:.08em}.panel-subtitle{color:var(--muted);font-size:11px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.panel-spacer{flex:1}
+.graph-file-filter{display:flex;align-items:center;gap:6px;color:var(--muted);font-size:11px;white-space:nowrap}.graph-file-filter select{height:30px;padding:0 8px;border:1px solid var(--border);border-radius:8px;background:var(--panel2);color:var(--text);cursor:pointer}.graph-file-filter select:hover{border-color:var(--border-strong)}
 .segmented{display:flex;align-items:center;padding:2px;border:1px solid var(--border);border-radius:9px;background:var(--panel2);gap:2px}.segmented button{height:28px;padding:0 10px;border:0;border-radius:7px;background:transparent;color:var(--muted);cursor:pointer;font-size:12px}.segmented button:hover{color:var(--text)}.segmented button.active{background:var(--panel);color:var(--text);box-shadow:inset 0 0 0 1px var(--border-strong)}
 .graph-actions{display:flex;align-items:center;gap:6px}.graph-actions button{height:30px;min-width:30px;padding:0 9px;border:1px solid var(--border);border-radius:8px;background:var(--panel2);cursor:pointer;color:var(--muted)}.graph-actions button:hover{color:var(--text);border-color:var(--border-strong)}
 #wrap{position:relative;overflow:hidden;min-width:0;min-height:0;background-image:radial-gradient(circle at 1px 1px,color-mix(in srgb,var(--border) 52%,transparent) 1px,transparent 0);background-size:22px 22px}svg{width:100%;height:100%;display:block;cursor:grab;user-select:none;touch-action:none}svg.panning{cursor:grabbing}

{execweave-0.8.14 → execweave-0.8.16}/src/execweave/viewer_dashboard_clean.py

@@ -99,6 +99,24 @@ function execweaveDashboardGraph(data){
     if(!outgoing.has(edge.source))outgoing.set(edge.source,[]);
     incoming.get(edge.target).push(edge);outgoing.get(edge.source).push(edge);
   }
+  const fileDisplayMode=String(globalThis.__execweaveFileDisplayMode||'changed');
+  const fileTypes=new Set(['file','directory']);
+  const fileMutationEvents=new Set(['filesystem.created','filesystem.modified','filesystem.moved','filesystem.deleted']);
+  const fileMutationRelation=relation=>/(^|_)(WROTE|WRITE|WRITES|CREATE|CREATED|UPDATE|UPDATED|EDIT|EDITED|DELETE|DELETED|MOVE|MOVED|RENAME|RENAMED|PATCH|REPLACE|REPLACED|SAVE|SAVED|MODIFY|MODIFIED)($|_)/.test(String(relation||'').toUpperCase());
+  const fileReadRelation=relation=>/(^|_)(READ|OPEN|SCAN|LIST|STAT|INSPECT|OBSERVE|OBSERVED)($|_)/.test(String(relation||'').toUpperCase());
+  const fileActivity=node=>{
+    if(!fileTypes.has(String(node?.type||'')))return'other';
+    const eventTypes=Array.isArray(node?.event_types)?node.event_types:[];
+    const related=[...(incoming.get(node.id)||[]),...(outgoing.get(node.id)||[])];
+    const relatedEventTypes=related.flatMap(edge=>Array.isArray(edge?.event_types)?edge.event_types:[]);
+    const allEventTypes=[...eventTypes,...relatedEventTypes].map(String);
+    if(allEventTypes.some(value=>fileMutationEvents.has(value)))return'changed';
+    if(related.some(edge=>fileMutationRelation(edge?.relation)))return'changed';
+    const observedEvents=allEventTypes.some(value=>value.startsWith('filesystem.'));
+    if(observedEvents||related.some(edge=>fileReadRelation(edge?.relation)))return'observed';
+    return'unknown';
+  };
+  const fileVisible=node=>{const activity=fileActivity(node);if(activity==='other')return true;if(fileDisplayMode==='hide')return false;if(fileDisplayMode==='all')return true;return activity!=='observed'};
   const provider=node=>String(node?.attributes?.provider||'unknown').toLowerCase();
   const toolName=node=>String(node?.attributes?.tool_name||node?.attributes?.native_name||node?.name||'tool');
   const toolKey=node=>`${provider(node)}\u0000${toolName(node).trim().toLowerCase()}`;
@@ -205,7 +223,10 @@ function execweaveDashboardGraph(data){
   };
   for(const group of groups.values())group.occurrences.sort(occurrenceOrder);
   for(const list of toolOccurrences.values())list.sort(occurrenceOrder);
-  let visibleNodes=allNodes.filter(node=>node&&node.id&&!hiddenIds.has(node.id)).filter(node=>node.type!=='tool'||toolCanonicalId.get(node.id)===node.id).map(node=>{
+  const candidateNodes=allNodes.filter(node=>node&&node.id&&!hiddenIds.has(node.id)).filter(node=>node.type!=='tool'||toolCanonicalId.get(node.id)===node.id);
+  const hiddenFileObservationCount=candidateNodes.filter(node=>fileTypes.has(String(node?.type||''))&&!fileVisible(node)).length;
+  let visibleNodes=candidateNodes.filter(node=>fileVisible(node)).map(node=>{
+    if(fileTypes.has(String(node?.type||'')))return{...node,attributes:{...attrsOf(node),viewer_file_activity:fileActivity(node)}};
     if(node.type!=='tool')return node;
     const occurrences=toolOccurrences.get(node.id)||[],members=toolMembersByRepresentative.get(node.id)||[node];
     if(!occurrences.length&&members.length===1)return node;
@@ -214,7 +235,8 @@ function execweaveDashboardGraph(data){
   });
 
   const canonicalTypes=new Set(['process','file']);
-  const foldableTypes=new Set(['process','file','network_endpoint']);
+  const foldableTypes=new Set(['process','file','directory','network_endpoint']);
+  const foldType=node=>{const type=String(node?.type||'');return type==='file'||type==='directory'?'filesystem':type};
   const declaredBudget=Number(globalThis.__execweaveFoldBudget);
   const FOLD_BUDGET=Number.isFinite(declaredBudget)&&declaredBudget>=1?Math.floor(declaredBudget):12;
   const canonicalGroups=new Map();
@@ -246,19 +268,21 @@ function execweaveDashboardGraph(data){
 
   let foldedNodeCount=0;
   const byType=new Map();
-  for(const node of nodes){const type=String(node?.type||'');if(!foldableTypes.has(type))continue;if(!byType.has(type))byType.set(type,[]);byType.get(type).push(node)}
+  for(const node of nodes){const rawType=String(node?.type||'');if(!foldableTypes.has(rawType))continue;const type=foldType(node);if(!byType.has(type))byType.set(type,[]);byType.get(type).push(node)}
   const folds=[];
   for(const[type,members]of byType){
     if(members.length<=FOLD_BUDGET)continue;
     const recency=node=>String(node?.last_seen||node?.first_seen||'');
     const ordered=[...members].sort((a,b)=>recency(b).localeCompare(recency(a)));
     const older=ordered.slice(FOLD_BUDGET);if(!older.length)continue;
-    const keep=new Set(ordered.slice(0,FOLD_BUDGET).map(node=>node.id));
+    const removeIds=new Set(older.map(node=>node.id));
     const foldId=`viewer:folded:${type}`;
     for(const node of older)canonicalId.set(node.id,foldId);
     foldedNodeCount+=older.length;
-    folds.push({id:foldId,type,name:`${older.length} earlier ${type.replace(/_/g,' ')}${older.length===1?'':'s'}`,first_seen:older.reduce((value,node)=>earlier(value,node.first_seen),null),last_seen:older.reduce((value,node)=>later(value,node.last_seen),null),attributes:{viewer_folded:true,viewer_folded_type:type,viewer_folded_count:older.length,viewer_folded_members:older.map(node=>({id:node.id,name:node.name||node.id,first_seen:node.first_seen||null,last_seen:node.last_seen||null}))}});
-    for(let index=nodes.length-1;index>=0;index--)if(!keep.has(nodes[index].id)&&String(nodes[index].type||'')===type)nodes.splice(index,1);
+    const foldedType=type==='filesystem'?'file_cluster':type,foldedName=type==='filesystem'?`${older.length} earlier files / directories`:`${older.length} earlier ${type.replace(/_/g,' ')}${older.length===1?'':'s'}`;
+    const activities=[...new Set(older.map(node=>node?.attributes?.viewer_file_activity).filter(Boolean))];
+    folds.push({id:foldId,type:foldedType,name:foldedName,first_seen:older.reduce((value,node)=>earlier(value,node.first_seen),null),last_seen:older.reduce((value,node)=>later(value,node.last_seen),null),attributes:{viewer_folded:true,viewer_folded_type:type,viewer_folded_count:older.length,viewer_file_activity:type==='filesystem'?(activities.length===1?activities[0]:'mixed'):undefined,viewer_folded_members:older.map(node=>({id:node.id,type:node.type,name:node.name||node.id,activity:node?.attributes?.viewer_file_activity||null,first_seen:node.first_seen||null,last_seen:node.last_seen||null}))}});
+    for(let index=nodes.length-1;index>=0;index--)if(removeIds.has(nodes[index].id))nodes.splice(index,1);
   }
   nodes.push(...folds);
 
@@ -280,7 +304,7 @@ function execweaveDashboardGraph(data){
   const incident=new Set();for(const edge of edges){incident.add(edge.source);incident.add(edge.target)}
   visibleNodes=nodes.filter(node=>node.type!=='tool'||incident.has(node.id));
   nodeIds=new Set(visibleNodes.map(node=>node.id));edges=edges.filter(edge=>nodeIds.has(edge.source)&&nodeIds.has(edge.target));
-  return{...data,nodes:visibleNodes,edges,node_count:visibleNodes.length,edge_count:edges.length,dashboard_projection:{hidden_detail_node_count:hiddenDetailIds.size,hidden_internal_staging_node_count:internalStagingIds.size,canonicalized_process_occurrence_count:canonicalizedProcessOccurrenceCount,canonicalized_tool_entity_count:[...toolMembersByRepresentative.values()].reduce((sum,members)=>sum+Math.max(0,members.length-1),0),folded_node_count:foldedNodeCount,collapsed_tool_call_count:invocationMap.size,raw_tool_call_detail_count:allNodes.filter(node=>['tool_call','tool_call_observation'].includes(String(node?.type||''))).length}};
+  return{...data,nodes:visibleNodes,edges,node_count:visibleNodes.length,edge_count:edges.length,dashboard_projection:{hidden_detail_node_count:hiddenDetailIds.size,hidden_internal_staging_node_count:internalStagingIds.size,canonicalized_process_occurrence_count:canonicalizedProcessOccurrenceCount,canonicalized_tool_entity_count:[...toolMembersByRepresentative.values()].reduce((sum,members)=>sum+Math.max(0,members.length-1),0),folded_node_count:foldedNodeCount,collapsed_tool_call_count:invocationMap.size,raw_tool_call_detail_count:allNodes.filter(node=>['tool_call','tool_call_observation'].includes(String(node?.type||''))).length,file_display_mode:fileDisplayMode,hidden_file_observation_node_count:hiddenFileObservationCount}};
 }
 """.strip()
 
@@ -310,7 +334,7 @@ _LIVE_SET_SNAPSHOT_CLEAN = "function setSnapshot(data){const signature=`${data.n
 _LIVE_APPLY_DELTA_CLEAN = "function applyDelta(update){if(update.live_payload_compact){updateStats(update);enterProtectiveMode(update);return}const rawNodes=new Map((graph.nodes||[]).map(n=>[n.id,n])),rawEdges=new Map((graph.edges||[]).map(e=>[edgeId(e),e]));for(const node of [...(update.nodes_added||[]),...(update.nodes_updated||[])])if(node?.id)rawNodes.set(node.id,node);for(const edge of [...(update.edges_added||[]),...(update.edges_updated||[])])rawEdges.set(edgeId(edge),edge);graph={...graph,event_count:update.event_count,node_count:update.node_count,edge_count:update.edge_count,nodes:[...rawNodes.values()],edges:[...rawEdges.values()]};const display=execweaveDashboardGraph(graph);updateStats({...update,node_count:display.node_count,edge_count:display.edge_count});if(!withinRenderBudget(display)){enterProtectiveMode(display);return}if(protectedMode)leaveProtectiveMode();nodeById=new Map((display.nodes||[]).map(n=>[n.id,n]));edgeById=new Map((display.edges||[]).map(e=>[edgeId(e),e]));rebuildAdjacency();renderSnapshot();seedActivities();const sortedEdges=[...edgeById.values()].sort((a,b)=>String(a.last_seen||'').localeCompare(String(b.last_seen||''))),sortedNodes=[...nodeById.values()].sort((a,b)=>String(a.last_seen||'').localeCompare(String(b.last_seen||''))),lastEdge=sortedEdges.length?sortedEdges[sortedEdges.length-1]:null,lastNode=sortedNodes.length?sortedNodes[sortedNodes.length-1]:null;markLatest(lastEdge?.target||lastNode?.id||null,lastEdge?edgeId(lastEdge):null);scheduleCamera(false);if(!hasFitted&&positions.size){fit(false);hasFitted=true}}"
 
 _LIVE_CORE_EXPORT = "window.__execweaveCore={getActivities:()=>activities.slice(),getGraph:()=>graph,getPositions:()=>new Map(positions),selectEdge,selectNode,focusNode,markLatest,setCameraMode};"
-_LIVE_CORE_EXPORT_CLEAN = "window.__execweaveCore={getActivities:()=>activities.slice(),getGraph:()=>graph,getDisplayGraph:()=>({...graph,nodes:[...nodeById.values()],edges:[...edgeById.values()],node_count:nodeById.size,edge_count:edgeById.size}),getPositions:()=>new Map(positions),selectEdge,selectNode,focusNode,markLatest,setCameraMode};"
+_LIVE_CORE_EXPORT_CLEAN = "const execweaveFileGraphFilter=document.getElementById('file-graph-filter');globalThis.__execweaveFileDisplayMode=execweaveFileGraphFilter?.value||'changed';if(execweaveFileGraphFilter)execweaveFileGraphFilter.addEventListener('change',()=>{globalThis.__execweaveFileDisplayMode=execweaveFileGraphFilter.value||'changed';setSnapshot(graph)});window.__execweaveCore={getActivities:()=>activities.slice(),getGraph:()=>graph,getDisplayGraph:()=>({...graph,nodes:[...nodeById.values()],edges:[...edgeById.values()],node_count:nodeById.size,edge_count:edgeById.size}),getPositions:()=>new Map(positions),selectEdge,selectNode,focusNode,markLatest,setCameraMode};"
 
 _LIVE_NOOP_STATS = "else if(data.kind==='noop'){liveSequence=Number(data.sequence)||liveSequence;updateStats(data);}"
 _LIVE_NOOP_STATS_CLEAN = "else if(data.kind==='noop'){liveSequence=Number(data.sequence)||liveSequence;updateStats(protectedMode?data:{...data,node_count:nodeById.size,edge_count:edgeById.size});}"
@@ -338,6 +362,11 @@ def inject_standalone_dashboard_clean(html: str) -> str:
 
 def inject_live_dashboard_clean(html: str) -> str:
     """Simplify only the browser canvas; the live JSON protocol remains unchanged."""
+    control_seam = '<div class="panel-spacer"></div>\n    <div class="segmented" aria-label="Camera mode">'
+    control = '<div class="panel-spacer"></div>\n    <label class="graph-file-filter" title="Choose which file and directory nodes appear in the graph"><span>Files</span><select id="file-graph-filter"><option value="changed" selected>Changed only</option><option value="all">All observed</option><option value="hide">Hidden</option></select></label>\n    <div class="segmented" aria-label="Camera mode">'
+    if html.count(control_seam) != 1:
+        raise RuntimeError("file graph filter control seam changed")
+    html = html.replace(control_seam, control, 1)
     marker = "function renderSnapshot(){"
     if "function execweaveDashboardGraph(data){" not in html and marker in html:
         html = html.replace(marker, _DASHBOARD_JS + "\n" + marker, 1)
@@ -368,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

{execweave-0.8.14 → execweave-0.8.16}/src/execweave/viewer_dashboard_hardening_v2.py

@@ -58,26 +58,5 @@ def harden_dashboard_html(html: str) -> str:
         label="delta geometry rerender",
     )
 
-    # PM-008 (discovered while tightening PM-002): GIF replay used the old fixed 160x50
-    # node rectangle even after the dashboard became adaptive. Export is a projection of
-    # the same graph, so its bounds, edge anchors and drawn rectangles must use the same
-    # per-node geometry as Live/Finished/viewer rather than silently reverting to v0.8.2.
-    html = _replace_once(
-        html,
-        "minX=Math.min(minX,p.x);maxX=Math.max(maxX,p.x+160);minY=Math.min(minY,p.y);maxY=Math.max(maxY,p.y+50)",
-        "minX=Math.min(minX,p.x);maxX=Math.max(maxX,p.x+execweaveCameraWidth(node.id));minY=Math.min(minY,p.y);maxY=Math.max(maxY,p.y+execweaveCameraHeight(node.id))",
-        label="gif adaptive bounds",
-    )
-    html = _replace_once(
-        html,
-        "const point=(id,right=false)=>{const p=positions.get(id)||{x:0,y:0};return{x:ox+(p.x+(right?160:0))*scale,y:oy+(p.y+25)*scale}};",
-        "const point=(id,right=false)=>{const p=positions.get(id)||{x:0,y:0},w=execweaveCameraWidth(id),h=execweaveCameraHeight(id);return{x:ox+(p.x+(right?w:0))*scale,y:oy+(p.y+h/2)*scale}};",
-        label="gif adaptive anchors",
-    )
-    html = _replace_once(
-        html,
-        "const x=ox+p.x*scale,y=oy+p.y*scale,w=160*scale,h=50*scale;",
-        "const x=ox+p.x*scale,y=oy+p.y*scale,w=execweaveCameraWidth(node.id)*scale,h=execweaveCameraHeight(node.id)*scale;",
-        label="gif adaptive rectangles",
-    )
+    # GIF captures measured SVG geometry directly; it has no separate layout.
     return html