Agentic doc update refactor

.devcontainer/Dockerfile

@@ -13,6 +13,7 @@ RUN apt-get update && apt-get install -y \
     linux-headers-generic \
     kmod \
     git \
+    gh \
     vim \
     sudo \
     curl \

.github/copilot-instructions.md

@@ -40,6 +40,13 @@ per-process I/O statistics, ELF metadata, and thread information.
 - `docs/CODE_QUALITY.md`: quality tooling details
 - `docs/SCRIPTS.md`: QEMU workflow details
 - `docs/RELEASE.md`: release process and labels
+- `docs/AGENTIC_WORKFLOW.md`: high-level docs-agent workflow guide
+
+### Agentic Workflow Source of Truth
+
+- Author workflow logic in `.github/workflows/update-docs-agent.md`
+- Treat `.github/workflows/update-docs-agent.lock.yml` as generated output
+- Recompile after edits with `gh aw compile update-docs-agent`
 
 ## Code Style and Standards
 

.github/workflows/update-docs-agent.md

@@ -1,22 +1,25 @@
 ---
 description: |
   Keeps ProcLens documentation synchronized with kernel/userspace/release changes.
-  Triggered on pushes to main/master and manual dispatch. It analyzes diffs in src/,
+  Triggered on pull request closure targeting main and manual dispatch. It analyzes diffs in src/,
   e2e/, Makefile, and .github/workflows, then updates matching documentation while
   preserving the project's style and single-source-of-truth rules.
 
 on:
-  push:
-    branches: [main, master]
+  pull_request:
+    branches: [main]
+    types: [closed]
   workflow_dispatch:
 
+if: github.actor != 'github-actions[bot]'
+
 permissions: read-all
 
 network: defaults
 
 safe-outputs:
   create-pull-request:
-    draft: true
+    draft: false
     protected-files: fallback-to-issue
     labels: [automation, documentation]
 
@@ -38,7 +41,7 @@ Your name is ${{ github.workflow }}. You are an Autonomous Technical Writer and
 ### Mission
 
 Keep ProcLens docs aligned with code behavior for both kernel module and userspace CLI paths.
-Treat documentation drift as a failing quality signal and fix it through focused draft pull requests.
+Treat documentation drift as a failing quality signal and fix it through focused pull requests.
 
 ### Project-Specific Ground Truth
 
@@ -102,7 +105,7 @@ Treat documentation drift as a failing quality signal and fix it through focused
 
 5. Produce safe output
 
-- Create a draft pull request with:
+- Create a pull request with:
   - concise summary of detected code-to-doc mappings
   - list of modified docs and why each changed
   - explicit note if no doc update was needed

README.md

@@ -326,6 +326,7 @@ Code formatter that ensures consistent style:
 - [CODE_QUALITY.md](docs/CODE_QUALITY.md) - Static analysis, code formatting, best practices
 - [SCRIPTS.md](docs/SCRIPTS.md) - Detailed script documentation
 - [RELEASE.md](docs/RELEASE.md) - Version release process and guidelines
+- [AGENTIC_WORKFLOW.md](docs/AGENTIC_WORKFLOW.md) - High-level guide for the docs agent workflow
 
 ## Contributing