diff --git a/docs/active-work.md b/docs/active-work.md
index 758ab3d..8e8c445 100644
--- a/docs/active-work.md
+++ b/docs/active-work.md
@@ -14,8 +14,9 @@ backlog.
   machine-local: `origin` may name this canonical URL, a release mirror,
   or something else, and therefore has no authority by name alone.
 - Canonical base at this snapshot:
-  `githubsucks/main` @ `4daa1b8` (inline-math framing #145 atop one-command
-  GPU invocation #141 and its landed-state handoff #143; protocol v19).
+  `githubsucks/main` @ `47581f4` (web grammars #146 atop folding Stage 1
+  #142, inline-math framing #145, and one-command GPU invocation #141;
+  protocol v19).
 - On the transfer source, `origin/main` named a release mirror at
   `d3fa632` and lagged badly. On the current destination, `origin` names
   the canonical URL. This difference is why all recovery begins by
@@ -49,7 +50,7 @@ git worktree list
 git status --short --branch
 ```
 
-The `git log` command must expose `4daa1b8` or a newer intentional main.
+The `git log` command must expose `47581f4` or a newer intentional main.
 If it does not, stop and repair the remote/fetch configuration.
 
 ## Active lane: GPU initial target
@@ -59,18 +60,20 @@ If it does not, stop and repair the remote/fetch configuration.
   `../pmacs-gpu-initial-target`.
 - Approved framing branch: `githubsucks/gpu-initial-target-framing`;
   Revision 2 checkpoint `71039d1`.
-- Implementation base: canonical `githubsucks/main` @ `c49a8c7` (folding
-  Stage 1 #142 merged after the framing base); protocol v19 before this work.
-- State: implementation complete and smoke-tested on 2026-07-23; protocol v20;
-  no PR yet. The first portable checkpoint and integration with current
-  canonical `main` are next.
+- Original implementation base: canonical `githubsucks/main` @ `c49a8c7`
+  (folding Stage 1 #142); current canonical `main` @ `47581f4` is integrated
+  conflict-free by merge `d6d4be6`. Protocol was v19 before this work.
+- State: implementation checkpoint `2dd30ec`; integrated, smoke-tested, and
+  fully gated on 2026-07-23 at protocol v20; no PR yet. Publishing the branch
+  is next.
 - Scope delivered: one session-scoped `pmacs --gpu [--socket …] FILE` target,
   protocol-v20 semantic bootstrap, launcher-owned tilde/cwd resolution, exact
   Unix path transport, pre-window target readiness, replica coherence, and the
   approved behavioral acceptance matrix.
-- Verification: formatting and strict Clippy; 1,792 default + 1,968 CRDT
-  library tests; target gate 1 default + 13 CRDT; M4 121; required GPU 152;
-  Vterm Stage 3 5 default + 7 CRDT; workspace sweep 3,260 across 87 suites.
+- Verification after current-main integration: formatting and strict Clippy;
+  1,800 default + 1,976 CRDT library tests; target gate 1 default + 13 CRDT;
+  M4 121; required GPU 152; Vterm Stage 3 5 default + 7 CRDT; workspace sweep
+  3,268 across 87 suites.
   A coherent release launch displayed `README.md` first at protocol v20.
 - Deferred unchanged: automatic GUI selection, multiple files, general
   live-open commands, packaging, and remote GPU paths.
diff --git a/docs/agent-handoff.md b/docs/agent-handoff.md
index bb7335b..b4c52bf 100644
--- a/docs/agent-handoff.md
+++ b/docs/agent-handoff.md
@@ -19,9 +19,9 @@ commands, read `docs/active-work.md` immediately after this file.
 
 ## 1. Where the project stands (2026-07-23)
 
-- `main` @ `63fbc66` (one-command GPU invocation #141 atop documentation
-  refresh #140), protocol **v19** (`SUPPORTED=[6..=19]`; v16 = `ThemeFacts`,
-  v17 = `FontFacts`, v18 = `StatuslineSegments`, v19 = terminal frames/events).
+- `main` @ `47581f4` (web grammars #146 atop folding Stage 1 #142,
+  inline-math framing #145, and one-command GPU invocation #141), protocol
+  **v19** (`SUPPORTED=[6..=19]`; v19 = terminal frames/events).
 - **GPU INITIAL TARGET IMPLEMENTED — PR pending**
   (`docs/gpu-initial-target-framing.md` rev 3; branch `gpu-initial-target`).
   `pmacs --gpu [--socket NAME|PATH] FILE` now transports exact Unix path bytes
diff --git a/docs/gpu-initial-target-framing.md b/docs/gpu-initial-target-framing.md
index 713a374..c93ad68 100644
--- a/docs/gpu-initial-target-framing.md
+++ b/docs/gpu-initial-target-framing.md
@@ -619,13 +619,13 @@ supports both. The final full workspace sweep remains required before PR.
 As-built verification on 2026-07-23:
 
 - `cargo fmt --check` and strict workspace Clippy passed.
-- Library gates passed 1,792 default and 1,968 CRDT tests.
+- Library gates passed 1,800 default and 1,976 CRDT tests.
 - The named initial-target gate passed 1 default and 13 CRDT tests; the
   underlying GPU invocation suite passed 13 CRDT tests.
 - M4 passed 121 tests with the documented basedpyright skip; required real-GPU
   tests passed 152.
 - Vterm Stage 3 passed 5 default and 7 CRDT tests.
-- The workspace CRDT sweep passed 3,260 tests across 87 suites, with 29 ignored
+- The workspace CRDT sweep passed 3,268 tests across 87 suites, with 29 ignored
   and the documented basedpyright case filtered.
 - A coherent release build launched `target/release/pmacs --gpu --socket
   initial-target-smoke README.md` on the real Wayland/Vulkan workstation,