Preserve bounded EI teardown evidence on dev

Author: JE-Chen

.github/workflows/ei-lifecycle.yml

@@ -0,0 +1,90 @@
+name: AutoControl EI lifecycle evidence
+
+on:
+  push:
+    branches: ["dev"]
+    paths:
+      - "je_auto_control/linux_wayland/**"
+      - "docker/Dockerfile.eis"
+      - "docker/libei_verify.py"
+      - "docker/eis_verify.py"
+      - "docker/eis_server.py"
+      - "pyproject.toml"
+      - ".github/workflows/ei-lifecycle.yml"
+      - "test/unit_test/headless/test_ei_native_verification.py"
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+concurrency:
+  group: ei-lifecycle-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  ei-lifecycle:
+    runs-on: ubuntu-22.04
+    timeout-minutes: 30
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          persist-credentials: false
+
+      - name: Prepare evidence directory
+        run: mkdir -p native-ei
+
+      - name: Set up Docker Buildx
+        # nosemgrep: yaml.github-actions.security.third-party-action-not-pinned-to-commit-sha.third-party-action-not-pinned-to-commit-sha
+        uses: docker/setup-buildx-action@v4  # NOSONAR githubactions:S7637
+
+      - name: Build the isolated EI image
+        id: build
+        # nosemgrep: yaml.github-actions.security.third-party-action-not-pinned-to-commit-sha.third-party-action-not-pinned-to-commit-sha
+        uses: docker/build-push-action@v7  # NOSONAR githubactions:S7637
+        with:
+          context: .
+          file: docker/Dockerfile.eis
+          tags: autocontrol-ei-lifecycle:ci
+          load: true
+          cache-from: type=gha,scope=ei-lifecycle
+          cache-to: type=gha,scope=ei-lifecycle,mode=max
+
+      - name: Record native versions
+        shell: bash
+        run: |
+          docker run --rm --entrypoint sh autocontrol-ei-lifecycle:ci \
+            -c 'python -VV && dpkg-query -W libei1 libeis1' 2>&1 | tee native-ei/versions.log
+
+      - name: Verify half-open teardown and native refusal
+        if: always() && steps.build.outcome == 'success'
+        timeout-minutes: 5
+        shell: bash
+        run: |
+          docker run --rm --name ac-libei-probe --stop-timeout 5 --entrypoint python \
+            autocontrol-ei-lifecycle:ci /opt/verify/libei_verify.py 2>&1 | tee native-ei/libei.log
+
+      - name: Verify the live EIS peer independently
+        if: always() && steps.build.outcome == 'success'
+        timeout-minutes: 5
+        shell: bash
+        run: |
+          docker run --rm --name ac-eis-peer --stop-timeout 5 --entrypoint python \
+            autocontrol-ei-lifecycle:ci /opt/verify/eis_verify.py 2>&1 | tee native-ei/eis.log
+
+      - name: Remove owned verification containers
+        if: always()
+        shell: bash
+        run: |
+          for name in ac-libei-probe ac-eis-peer; do
+            if docker container inspect "$name" >/dev/null 2>&1; then
+              docker rm -f "$name"
+            fi
+          done
+
+      - name: Retain native EI evidence
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: ei-lifecycle-${{ github.run_id }}-${{ github.run_attempt }}
+          path: native-ei/
+          retention-days: 14

CHANGELOG.md

@@ -13,6 +13,11 @@ it shipped into a `## [x.y.z] - date` section of their own; the tag's
 
 ## Unreleased
 
+- Collect isolated native EI lifecycle evidence on selected dev pushes. Bound
+  the half-open teardown child, retain fault traces and descriptor counts,
+  reject unrelated probe failures, and verify native refusal separately from
+  explicit CLI selection. Package runtime behavior is unchanged.
+
 - Run Diagnostics through the shared owner-bound controller with localized
   progress/stop/retry states and no late updates after close. Add scoped
   cancellation primitives to both SDK namespaces and the previously absent

Progress.md

@@ -15,7 +15,7 @@
 `WIP` — 改版仍缺以下內容；原生平台與正式環境驗收缺口另列於後。
 計畫 D1 仍缺 portal session 關閉／恢復、compositor 重啟的狀態與原生驗收、
 擷取結果與擁有者 context 的接合，以及原生 session 的重試／取消／停止控制。
-D2 的原生 EI 釋放驗證與 D3 的錄製／全域停止／Windows 原生崩潰證據仍缺，詳見計畫與下方生命週期待辦。
+D2 仍缺 `ei-lifecycle.yml` 原生結果確認與據此判斷 helper 隔離；D3 的錄製／全域停止／Windows 原生崩潰證據仍缺，詳見計畫與下方生命週期待辦。
 計畫 E（Android／iOS）、G（MCP 逐步揭露）、H（型別深化與總驗收）尚未開始。F 還缺：
 
 - **Remote Desktop 與 Script Builder 仍在啟動時建立**（預設開啟），啟動時間 2.6–2.7 秒裡大半是它們與門面匯入。

README.md

@@ -657,6 +657,15 @@ Literal argv (including whitespace/quotes) and handled `SIGINT` reach the
 child unchanged. Linux first verifies the runner outside the suite's debugger;
 its preflight logs are included in the same artifact.
 
+Selected dev pushes now run `.github/workflows/ei-lifecycle.yml` against an
+isolated libei/libeis container. It runs the silent-peer teardown/refusal probe
+and live EIS peer independently, retaining available version/native logs in
+`ei-lifecycle-<run>-<attempt>` artifacts for 14 days. The teardown child has a
+10-second deadline and faulthandler; only SIGSEGV reached inside `ei_unref` is
+classified as the known upstream fault. A successful cleanup must report equal
+descriptor counts. Other failures fail CI. No compositor, device or consent
+dialog is involved; results must be inspected before changing native cleanup.
+
 Contributions are welcome — see [CONTRIBUTING.md](CONTRIBUTING.md) and
 [CODE_OF_CONDUCT.md](CODE_OF_CONDUCT.md). Two rules the CI enforces: `import
 je_auto_control` must never pull in PySide6, and every feature needs both a headless

README/README_zh-CN.md

@@ -576,6 +576,13 @@ Linux 安装 GDB 后，可在 `--` 前加入 `--native`。
 含空格／引号的 argv 仍是原始参数，已处理的 `SIGINT` 会传给子进程。
 Linux 先在完整套件的 debugger 外验证诊断工具；前置检查记录也收在同一 artifact。
 
+选定的 dev 推送会由 `.github/workflows/ei-lifecycle.yml` 在隔离的 libei／libeis
+容器验证静默 peer 的释放／拒绝与独立的 live EIS peer，将可取得的版本／原生记录保留于
+`ei-lifecycle-<run>-<attempt>` artifact 十四天。释放子进程有十秒时限与 faulthandler；
+只有已进入 `ei_unref` 的 SIGSEGV 才分类为既有上游故障。释放成功必须有相同 fd 数量的
+证据，其余失败仍使 CI 失败。此流程不涉及合成器、设备或授权对话框；修改原生清理前仍须
+检查实际结果。
+
 欢迎贡献——请见 [CONTRIBUTING.md](../CONTRIBUTING.md) 与
 [CODE_OF_CONDUCT.md](../CODE_OF_CONDUCT.md)。CI 会强制两条规则：`import je_auto_control`
 绝不能加载 PySide6；每个功能都必须同时具备无头 API 与 GUI 界面。

README/README_zh-TW.md

@@ -576,6 +576,13 @@ Linux 安裝 GDB 後，可在 `--` 前加入 `--native`。
 含空白／引號的 argv 仍是原始參數，已處理的 `SIGINT` 會傳給子行程。
 Linux 先在完整套件的 debugger 外驗證診斷工具；前置檢查紀錄也收在同一 artifact。
 
+選定的 dev 推送會由 `.github/workflows/ei-lifecycle.yml` 在隔離的 libei／libeis
+容器驗證靜默 peer 的釋放／拒絕與獨立的 live EIS peer，將可取得的版本／原生紀錄保留於
+`ei-lifecycle-<run>-<attempt>` artifact 十四天。釋放子行程有十秒時限與 faulthandler；
+只有已進入 `ei_unref` 的 SIGSEGV 才分類為既有上游故障。釋放成功必須有相同 fd 數量的
+證據，其餘失敗仍使 CI 失敗。此流程不涉及合成器、裝置或授權對話框；修改原生清理前仍須
+檢查實際結果。
+
 歡迎貢獻——請見 [CONTRIBUTING.md](../CONTRIBUTING.md) 與
 [CODE_OF_CONDUCT.md](../CODE_OF_CONDUCT.md)。CI 會強制兩條規則：`import je_auto_control`
 絕不能載入 PySide6；每個功能都必須同時具備無頭 API 與 GUI 介面。

architecture.md

@@ -82,6 +82,15 @@ the runner before tracing the suite. Native aborts retain all-thread
 backtraces and a failing exit. Dev/main upload diagnostics on success or failure.
 It does not import the framework, open devices or change SDK/GUI behavior.
 
+Selected dev pushes now run `.github/workflows/ei-lifecycle.yml` against an
+isolated libei/libeis container. It runs the silent-peer teardown/refusal probe
+and live EIS peer independently, retaining available version/native logs in
+`ei-lifecycle-<run>-<attempt>` artifacts for 14 days. The teardown child has a
+10-second deadline and faulthandler; only SIGSEGV reached inside `ei_unref` is
+classified as the known upstream fault. A successful cleanup must report equal
+descriptor counts. Other failures fail CI. No compositor, device or consent
+dialog is involved; results must be inspected before changing native cleanup.
+
 Wayland input uses Qt-free `_input_state` metadata to distinguish optional
 absence from authority/protocol refusal through portal, libei cache, selector
 and keyboard/mouse layers. Refusal caches hold no traceback or native handle.

architecture_explore.md

@@ -26,7 +26,7 @@ iOS（WebDriverAgent）。核心能力是滑鼠／鍵盤控制、影像辨識、
 | 套件門面 `__all__` 公開名稱數 | 1380 |
 | GUI 分頁數（`main_widget` 註冊） | 49 |
 | MCP 工具數（`build_default_tool_registry()` 實測） | 711 |
-| `test_*.py` 測試檔／測試函式 | 845 / 8,810 |
+| `test_*.py` 測試檔／測試函式 | 846 / 8,820 |
 | 範例腳本 | 43 |
 
 **技術基線**：Python ≥ 3.10、MIT 授權、必要相依只有 `je_open_cv`／`opencv-python`／`pillow`／`mss`／
@@ -1156,14 +1156,14 @@ GUI 是**選用 extra**（`pip install je_auto_control[gui]`，只需要 PySide6
 | `benchmarks/core_latency.py` | 32 行 | 對穩定無頭進入點的可重複煙霧基準測試。 |
 | `examples/` | 43 個腳本 | 從截圖點擊、OCR、排程、遠端桌面、agent loop、可觀測性，一路到 computer-use、Wayland、跨主機 DAG、chatops、pytest/BDD、anchor locator、因果 peer 控制。 |
 | `browser-extension/` | manifest v3 擴充 | 瀏覽器端配合元件（background／content script／popup）。 |
-| `docker/` | Dockerfile ×8 + compose + 9 支驗證／伺服器腳本 | 無頭容器（`Dockerfile`）、帶 XFCE 桌面的容器（`Dockerfile.xfce`),以及四個**驗證用**映像:`Dockerfile.wayland`（sway headless,擷取路徑 + `libei_verify.py` 對真的 libei.so 解析符號）、`Dockerfile.eis`（`eis_server.py` 用 ctypes 綁 libeis 起一個真的 EIS server,`eis_verify.py` 把 libei sender 對著它跑完整握手與發送）、`Dockerfile.portal`（`portal_server.py` 自己佔住 `org.freedesktop.portal.Desktop`,真的 `dbus-daemon` + 真的 liboeffis 跑完 RemoteDesktop 交握）、`Dockerfile.ydotool`（真的 uinput 裝置,`ydotool_verify.py` 直接讀回 `/dev/input/eventN`）、`Dockerfile.seat`（`headless,libinput` + builtin seat,合成器真的吃下 ydotool 裝置,`seat_verify.py` 從 `grim -c` 的像素讀回游標落點）、`Dockerfile.x11`（真的 Xvfb + openbox,`x11_verify.py` 用 `xev` 把注入的事件從真的客戶端讀回（含 `synthetic NO`,這是 XTest 跟 `XSendEvent` 的差別）,另用 ImageMagick `import` 做獨立擷取對照,跑兩種螢幕版面）。全部接在 `.github/workflows/docker.yml`。 |
+| `docker/` | Dockerfile ×8 + compose + 9 支驗證／伺服器腳本 | 無頭容器（`Dockerfile`）、帶 XFCE 桌面的容器（`Dockerfile.xfce`),以及四個**驗證用**映像:`Dockerfile.wayland`（sway headless,擷取路徑 + `libei_verify.py` 對真的 libei.so 解析符號）、`Dockerfile.eis`（`eis_server.py` 用 ctypes 綁 libeis 起一個真的 EIS server,`eis_verify.py` 把 libei sender 對著它跑完整握手與發送）、`Dockerfile.portal`（`portal_server.py` 自己佔住 `org.freedesktop.portal.Desktop`,真的 `dbus-daemon` + 真的 liboeffis 跑完 RemoteDesktop 交握）、`Dockerfile.ydotool`（真的 uinput 裝置,`ydotool_verify.py` 直接讀回 `/dev/input/eventN`）、`Dockerfile.seat`（`headless,libinput` + builtin seat,合成器真的吃下 ydotool 裝置,`seat_verify.py` 從 `grim -c` 的像素讀回游標落點）、`Dockerfile.x11`（真的 Xvfb + openbox,`x11_verify.py` 用 `xev` 把注入的事件從真的客戶端讀回（含 `synthetic NO`,這是 XTest 跟 `XSendEvent` 的差別）,另用 ImageMagick `import` 做獨立擷取對照,跑兩種螢幕版面）。全部接在 `.github/workflows/docker.yml`；`ei-lifecycle.yml` 另在 dev 以同一 EIS 映像分別收集半開釋放／拒絕與 live peer 證據。 |
 | `k8s/helm/` | Helm chart | Kubernetes 部署。 |
 | `ci_templates/.gitlab-ci.yml` | — | 供使用者專案複製的 GitLab CI 範本。 |
 | `scripts/ci_native_diagnostics.py` | repo 專用 CI 診斷腳本 | 合併並串流子行程輸出、記錄套件／執行環境版本與退出碼；Linux 經停用使用者初始化／shell 啟動的 batch GDB 保留各執行緒原生堆疊，以安全暫存啟動器 exec JSON argv 避開舊 GDB 空白解析；SIGINT 傳入子行程，失敗退出不轉成功。Linux 先做獨立前置檢查，dev／main 無頭工作一律上傳七天診斷 artifact；不匯入框架或請求裝置權限。 |
 | `scripts/dev_release.py` | 只用標準函式庫的發佈輔助腳本 | dev 通道（PyPI 的 `je_auto_control_dev`）的版本與比對：`prepare` 把 `dev.toml` 寫成 `pyproject.toml`，版本取 PyPI 最新一版加一個 patch（`dev.toml` 的版本只是下限，不回寫 repo）；`changed dist` 把建好的 wheel 跟 PyPI 最新一版逐檔比對，內容沒變就不上傳。只給 `dev.yml` 的 `publish-dev` job 與拋棄式的 checkout 用，因為 `prepare` 會蓋掉 `pyproject.toml`。 |
 | `docs/` | Sphinx（`API`／`Eng`／`Zh`／`getting_started`） | Read the Docs 文件。 |
 | `architecture_diagram/` | drawio + png | 既有的架構圖原始檔。 |
-| `test/` | `unit_test/headless`（主要）、`unit_test/flow_control`、`integrated_test`、`gui_test`、`manual_test`、`verify`、`test_source` | 845 個 `test_*.py`／8,810 個測試函式。**注意**：`test/unit_test/` 下的 `*_test.py` 是會真的驅動滑鼠鍵盤的手動示範腳本，因此 `pyproject.toml` 把 `python_files` 釘成 `test_*.py`。`unit_test/headless/conftest.py` 有一個 autouse fixture，每個測試結束都沖掉 Qt 排隊中的 `deleteLater()`——不沖會讓殘留的 widget 在後面某個不相干的測試裡被銷毀，曾經整個直譯器 `__fastfail`。`test_doc_counts.py` 守住文件引用的指令／工具／子套件／範例數,`test_doc_line_counts.py` 守住所有行數（`--fix` 可一次重新產生）。 `verify/macos_verify.py` 是在真的 `macos-14` runner 上量測 TCC 到底允許什麼的探針（macOS 是唯一沒有容器可用的支援平台），不被 pytest 收集。 |
+| `test/` | `unit_test/headless`（主要）、`unit_test/flow_control`、`integrated_test`、`gui_test`、`manual_test`、`verify`、`test_source` | 846 個 `test_*.py`／8,820 個測試函式。**注意**：`test/unit_test/` 下的 `*_test.py` 是會真的驅動滑鼠鍵盤的手動示範腳本，因此 `pyproject.toml` 把 `python_files` 釘成 `test_*.py`。`unit_test/headless/conftest.py` 有一個 autouse fixture，每個測試結束都沖掉 Qt 排隊中的 `deleteLater()`——不沖會讓殘留的 widget 在後面某個不相干的測試裡被銷毀，曾經整個直譯器 `__fastfail`。`test_doc_counts.py` 守住文件引用的指令／工具／子套件／範例數,`test_doc_line_counts.py` 守住所有行數（`--fix` 可一次重新產生）。 `verify/macos_verify.py` 是在真的 `macos-14` runner 上量測 TCC 到底允許什麼的探針（macOS 是唯一沒有容器可用的支援平台），不被 pytest 收集。 |
 
 ---
 
@@ -1201,6 +1201,7 @@ GUI 是**選用 extra**（`pip install je_auto_control[gui]`，只需要 PySide6
 | `quality.yml` | ruff、bandit、dependency review、九格矩陣的 headless pytest（含 coverage 地板）與 mypy。 |
 | `platform-smoke.yml` | 跨平台煙霧測試。 |
 | `docker.yml` | 容器映像建置。 |
+| `ei-lifecycle.yml` | 選定 dev 推送的隔離 libei／libeis 驗證；獨立執行有界半開釋放與 live peer，保留版本／原生紀錄十四天，失敗仍失敗，不開啟裝置。 |
 | `action-json-lint.yml` | 用 `python -m je_auto_control.utils.action_lint` 檢查 action JSON。 |
 
 **設定基線**（`pyproject.toml`）：

docker/Dockerfile.eis

@@ -72,6 +72,7 @@ RUN pip install --no-cache-dir --only-binary :all: --upgrade "pip==26.0.1" \
 
 COPY docker/eis_server.py /opt/verify/eis_server.py
 COPY docker/eis_verify.py /opt/verify/eis_verify.py
+COPY docker/libei_verify.py /opt/verify/libei_verify.py
 
 # Runs as root on purpose: one verification, then exit. Not a service image.
 ENV PYTHONUNBUFFERED=1 \